With material on his early philosophical views, his contributions to set theory and his work on nominalism and higher-order quantification, this book offers a uniquely expansive critical commentary on one of analytical philosophy’s great ...

Direct download(3 more)   Export citation   Bookmark   10 citations  

This dissertation is on infinite regress arguments in philosophy. Its main goals are to explain what such arguments from many distinct philosophical debates have in common, and to provide guidelines for using and evaluating them. Two theories are reviewed: the Paradox Theory and the Failure Theory. According to the Paradox Theory, infinite regress arguments can be used to refute an existentially or universally quantified statement (e.g. to refute the statement that at least one discussion is settled, or the statement that (...) discussions are settled only if there is an agreed-upon criterion to settle them). According to the Failure Theory, infinite regress arguments can be used to demonstrate that a certain solution fails to solve an existentially or universally quantified problem (e.g. to demonstrate that a certain solution fails to settle all discussions, or that it fails to settle even one discussion). In the literature, the Paradox Theory is fairly well-developed, and this dissertation provides the Failure Theory with the same tools. (shrink)

Direct download(4 more)   Export citation   Bookmark   6 citations  

The aim of the paper is to discuss the influence exercised by Russell's thought inGöttingen in the period leading to the formulation of Hilbert's program in theearly twenties. I show that after a period of intense foundational work, culminatingwith the departure from Göttingen of Zermelo and Grelling in 1910 we witnessa reemergence of interest in foundations of mathematics towards the end of 1914. Itis this second period of foundational work that is my specific interest. Through theuse of unpublished archival sources (...) I will describe how Hilbert, Behmann, and Bernays,among others, were influenced by and reacted to the technical and philosophical thesespresented in Principia Mathematica. I also argue that there are some elements of continuity between Russell's approach and Hilbert's program as it was presented inthe early twenties. (shrink)

Direct download(5 more)   Export citation   Bookmark   13 citations  

The year 1897 saw the publication of the first of the modern logical paradoxes. It was published by Cesare Burali-Forti, the Italian mathematician whose name it has come to bear. Burali-Forti's own formulation of the paradox was not altogether satisfactory, as he had confused well-ordered sets as defined by Cantor with what he himself called “perfectly ordered sets”. However, he soon realized his mistake, and published a note admitting the error and making the correction. He concluded the note with the (...) observation that his result could be established on the basis of the correct definition of well-ordered set as easily as for the “perfectly ordered sets” for which it had first been obtained. We shall reproduce his results in their corrected form. (shrink)

Direct download(8 more)   Export citation   Bookmark   4 citations  

Grelling’s Paradox is the paradox which results from considering whether heterologicality, the word-property which a designator has when and only when the designator does not bear the word-property it designates, is had by ‘ ȁ8heterologicality’. Although there has been some philosophical debate over its solution, Grelling’s Paradox is nearly uniformly treated as a variant of either the Liar Paradox or Russell’s Paradox, a paradox which does not present any philosophical challenges not already presented by the two better known paradoxes. The (...) aims of this paper are, first, to offer a precise formulation of Grelling’s Paradox which is clearly distinguished from both the Liar Paradox and Russell’s Paradox; second, to offer a solution to Grelling’s Paradox which both resolves the paradoxical reasoning and accounts for unproblematic predications of heterologicality; and, third, to argue that there are two lessons to be drawn from Grelling’s Paradox which have not yet been drawn from the Liar or Russell’s Paradox. The first lesson is that it is possible for the semantic content of a predicate to be sensitive to the semantic context; i.e., it is possible for a predicate to be an indexical expression. The second lesson is that the semantic content of an indexical predicate, though unproblematic for many cases, can nevertheless be problematic in some cases. (shrink)

Direct download(4 more)   Export citation   Bookmark   3 citations  

In 1909 A. Koyré (1892–1964) came to Göttingen as an exile and there became a student of Edmund Husserl and other philosophers (A. Reinach, M. Scheler): already before leaving his country Russia Koyré read Husserl'sLogical Investigations, a text which interested greatly Russian philosophers and was translated into Russian in the same year. As many other contemporary philosophers, in Göttingen they were discussing on the fundaments of mathematic, Cantor's set theory and Russell's antinomies. On this problems Koyré wrote a long paper (...) inspired to Husserl'sLogical Investigations, read it in the Philosophical Society at Göttingen and submitted it as draft for his Ph.D. dissertation to Prof. Husserl, who refused it. So unhappily the celebrated methodologist and historian of science began his academical career: Koyré came back to write on logical and mathematical paradoxes in 1922 and in 1946–47 saying he was “going back to his first love”. Among other factors this deep interest in mathematic and exact sciences unabled Koyré to analyze Galileo and Newton in his masterly way. (shrink)

No categories

Direct download(3 more)   Export citation   Bookmark   2 citations  

We seek means of distinguishing logical knowledge from other kinds of knowledge, especially mathematics. The attempt is restricted to classical two-valued logic and assumes that the basic notion in logic is the proposition. First, we explain the distinction between the parts and the moments of a whole, and theories of ?sortal terms?, two theories that will feature prominently. Second, we propose that logic comprises four ?momental sectors?: the propositional and the functional calculi, the calculus of asserted propositions, and rules for (...) (in)valid deduction, inference or substitution. Third, we elaborate on two neglected features of logic: the various modes of negating some part(s) of a proposition R, not only its ?external? negation not-R; and the assertion of R in the pair of propositions ?it is (un)true that R? belonging to the neglected logic of asserted propositions, which is usually left unstated. We also address the overlooked task of testing the asserted truth-value of R. Fourth, we locate logic among other foundational studies: set theory and other theories of collections, metamathematics, axiomatisation, definitions, model theory, and abstract and operator algebras. Fifth, we test this characterisation in two important contexts: the formulation of some logical paradoxes, especially the propositional ones; and indirect proof-methods, especially that by contradiction. The outcomes differ for asserted propositions from those for unasserted ones. Finally, we reflect upon self-referring self-reference, and on the relationships between logical and mathematical knowledge. A subject index is appended. (shrink)

Direct download(3 more)   Export citation   Bookmark