This paper seeks to question the position of ZF as the dominant system of set theory, and in particular to examine whether there is any philosophical justification for the axiom of foundation. After some historical observations regarding Poincare and Russell, and the notions of circularity and hierarchy, the iterative conception of set is argued to be a semi-constructvist hybrid without philosophical coherence. ZF cannot be justified as necessary to avoid paradoxes, as axiomatizing a coherent notion of set, nor on pragmatic (...) grounds, and should be replaced by a system allowing non-well-founded sets. (shrink)

. Remarkably, despite the tremendous success of axiomatic set-theory in mathematics, logic and meta-mathematics, e.g., model-theory, two philosophical worries about axiomatic set-theory as the adequate catch of the set-concept keep haunting it. Having dealt with one worry in a previous paper in this journal, we now fulfil a promise made there, namely to deal with the second worry. The second worry is the Skolem Paradox and its ensuing Skolemite skepticism. We present a comparatively novel and simple analysis of the argument (...) of the Skolemite skeptic, which will reveal a general assumption concerning the meaning of the set-concept (we call it Connexion M). We argue that the Skolemite skeptics argument is a petitio principii and that consequently we find ourselves in a dialectical situation of stalemate.Few (if any) working set-theoreticians feel a tension – let alone see a paradox – between, on the one hand, what the Löwenheim–Skolem theorems and related results seem to be telling us about the set-concept, and, on the other hand, their uncompromising and successful use of the set-concept and their continuing enthusiasm about it, in other words: their lack of skepticism about the set-concept. Further, most (if not all) working settheoreticians have a relaxed attitude towards the ubiquitous undecidability phenomenon in set-theory, rather than a worrying one. We argue these are genuine philosophical problems about the practice of set-theory. We propound solutions, which crucially involve a renunciation of Connexion M. This breaks the dialectical situation of stalemate against the Skolemite skeptic. (shrink)

Putnam argues that, by ‘reinterpretation’, the Axiom of Constructibility can be saved from empirical refutation. This paper contends that this argument fails, a failure which leaves Putnam's sweeping appeal to the Lowenheim –Skolem Theorem inadequately motivated.

I discuss Skolem's own ideas on his ‘paradox’, some classical disputes between Skolemites and Antiskolemites, and the underlying notion of ‘informal mathematics’, from a point of view which I hope to be rather unusual. I argue that the Skolemite cannot maintain that from an absolute point of view everything is in fact denumerable; on the other hand, the Antiskolemite is left with the onus of explaining the notion of informal mathematical knowledge of the intended model of set theory. 1 conclude (...) that one must take seriously the embodiment of the uncountable into countable languages, as a symptom of some specific features which characterize mathematical languages with respect to other languages. (shrink)

Quine and Davidson employ proxy functions to demonstrate that the use of language (behaviouristically conceived) is compatible with indefinitely many radically different reference relations. They also believe that the use of language (behaviouristically conceived) is all that determines reference. From this they infer that reference is indeterminate, i.e. that there are no facts of the matter as to what singular terms designate and what predicates apply to. Yet referential indeterminacy yields rather dire consequences. One thus does wonder whether one can (...) hold on to a Quine--Davidson stance in semantics-cum-metaphysics and still avoid embracing referential indeterminacy. I argue that one can. Anyone adhering to the behaviouristic account pivotal to the Quine--Davidson stance is bound to acknowledge certain facts about verbal behaviour -- that some utterances are tied to situations, that some utterances are tied to segments in situations, that some predicates have non-contextualised conditions of application, and that use involves causal dependencies. The restrictions from these facts ensure that only reference relations generated by means of rather exceptional proxy functions are compatible with verbal behaviour. I conclude that this allows one to rebuff the Quine--Davidson argument for the indeterminacy of reference, as it were, from within. I moreover tentatively conclude that the line of thought laid out provides good reason for just about anyone to hold that there are facts about reference after all. (shrink)

The volume includes twenty-five research papers presented as gifts to John L. Bell to celebrate his 60th birthday by colleagues, former students, friends and admirers. Like Bell’s own work, the contributions cross boundaries into several inter-related fields. The contributions are new work by highly respected figures, several of whom are among the key figures in their fields. Some examples: in foundations of maths and logic ; analytical philosophy, philosophy of science, philosophy of mathematics and decision theory and foundations of economics. (...) Most articles are contributions to current philosophical debates, but contributions also include some new mathematical results, important historical surveys, and a translation by Wilfrid Hodges of a key work of arabic logic. (shrink)

Two of Hilary Putnam's model-theoretic arguments against metaphysical realism are examined in detail. One of them is developed as an extension of a model-theoretic argument against mathematical realism based on considerations concerning the so-called Skolem-Paradox in set theory. This argument against mathematical realism is also treated explicitly. The article concentrates on the fine structure of the arguments because most commentators have concentrated on the major premisses of Putnam's argument and especially on his treatment of metaphysical realism. It is shown that (...) the validity of Putnam's arguments is doubtful and that realists are by no means forced to accept the theses Putnam ascribes to them. It is concluded that Putnam fails to give convincing arguments for rejecting mathematical or metaphysical realism. Furthermore, Putnam's internal realism is discussed critically. (shrink)