On the philosophical foundations of free logicFootnote∗

These remarks are slightly revised lectures presented at the College de France in Paris during March of 1980. I want to thank the professors of the College, and especially Professor Jules Vuillemin, for their kind and generous invitation. Thanks also to the National Endowment of Humanities for the Summer stipend in 1979 enabling me to devote part of my time to these lectures. Finally, thanks to Terence Parsons and Ermanno Bencivenga who pointed out errors and suggested improvements.

Notes

• 1956 . Philosophical Studies , 7
   Google Scholar
• Lambert , Karel , ed. 1970 . “ ‘Existential Presuppositions and Uniqueness Presuppositions’ ” . In Philosophical Problems in Logic , 20 Dordrecht : Reidel .
   Google Scholar
• Ouine , W.V. 1960 . Word and Object , 96 New York : Wiley .
   Google Scholar
• Lambert , Karel and Scharle , Thomas . 1967 . ‘A Translation Theorem for Two Systems of Free Logic” . Logique et Analyse , 40 : 328 – 41 .
   Google Scholar
• Burge , Tyler . 1975 . ‘Truth and Singular Terms’ . Nous. , 8 : 309 – 25 .
   Google Scholar
• Meyer , Robert and Lambert , Karel . 1968 . ‘Universally Free Logic and Standard Quantification Theory’ . Journal of Symbolic Logic , 33 : 8 – 26 .
   Web of Science ®Google Scholar
• Skyrms , Brian . 1968 . “Supervaluations: Identity, Existence and Individual Concepts’ . The Journal of Philosophy , LXV : 477 – 83 .
   Google Scholar
• Frege , Gottlob . 1892 . ‘Über Sinn und Bedeutung’ . Zeitschrift für Philosophie und philosophische Kritik , 100 : 25 – 50 . C (new ser., 1890),
   Google Scholar
• Strawson , P. F. 1950 . ‘On Referring’ . Mind , LIX : 320 – 44 .
   Google Scholar
• Fraassen , Bas C. van . 1968 . ‘Presupposition, Implication and Self‐reference’ . The Journal of Philosophy , LXV : 136 – 52 .
   Google Scholar
• 1966 . The Journal of Philosophy , LXIII : 481 – 96 .
   Google Scholar
• Lambert , Karel . 1963 . ‘Existential Import Revisited’ . Notre Dame Journal of Formal Logic , 4 : 288 – 92 .
   Google Scholar
• 1980 . Nonexistent Objects , New Haven : Yale University Press .
   Google Scholar
• 1968 . Fundamenta Mathematicae , 62 : 125 – 64 .
   Google Scholar
• Frege , G. 1949 . “ ‘On Sense and Nominatum’ ” . In Readings in Philosophical Analysis , Edited by: Feigl , H. and Sellars , W. 96 New York : Appleton‐Century‐Crofts .
   Google Scholar
• Thomason , Richmond . 1969 . “ ‘Modal Logic and Metaphysics’ ” . In The Logical Way of Doing Things. , Edited by: Lambert , Karel . New Haven : Yale University Press .
   Google Scholar
• Eaton , Ralph . 1959 . General Logic Edited by: Scribner , Charles . 223 New York
   Google Scholar
• Frege , Gottlob . 1969 . Nachgelassene Schriften Edited by: Meiner , Felix . 97 Hamburg
   Google Scholar
• Carnap , Rudolf . 1947 . Meaning and Necessity , 36 – 37 . Chicago : University of Chicago Press .
   Google Scholar
• 1975 . Nous , 8 : 154
   Google Scholar
• 1959 . My Philosophical Development , 84 London : George Allen & Unwin .
   Google Scholar
• Quine , W. V. Word and Object 177 op. cit.
   Google Scholar
• 1963 . Acta Philosophica Fennica , 16 : 83 – 94 .
   Google Scholar
• Thomason , R. “ ‘Modal Logic and Metaphysics’ ” . In The Logical Way of Doing Things Edited by: Lambert . 127 op. cit.,
   Google Scholar
• Scales , Ronald . 1969 . Reference and Attribution , Irvine : University of California . Ph.D. Dissertation,
   Google Scholar
• Fraassen , Bas C. van and Lambert , Karel . 1972 . Derivation and Counterexample , California : Dickenson, Encino .
   Google Scholar
• Suppes , P. 1957 . Introduction to Logic , New York : Van Nostrand .
   Google Scholar
• Lambert , Karel , ed. Philosophical Problems in Logic 20 – 56 . op. cit.,
   Google Scholar
• Grandy , Richard . 1972 . ‘ Definition of Truth for Theories with Intensional Definite Description Operators’ . Journal of Philosophical Logic , 1 : 137 – 55 .
   Google Scholar
• Burge , Tyler . ‘Truth and Singular Terms’ . 163 – 7 . op. cit.,
   Google Scholar
• Gumb , Raymond . 1979 . ‘An Extended Joint Consistency Theorem for Free Logic’ . Notre Dame Journal of Free Logic , XX : 321 – 36 .
   Google Scholar
• Quine , W. V. 1969 . Set Theory and Its Logic , 14 Cambridge, Mass. : Harvard University Press .
   Google Scholar
• Fraassen , Bas C. van . 1966 . ‘The Completeness of Free Logic” . Zeitschrift für mathematische Logik und Grundlagen der Mathematik , 12 : 219 – 34 .
   Google Scholar
• Fraassen , Bas C. van . “ ‘Presuppositions, Supervaluations and Free Logic’ ” . In The Logical Way of Doing Things Edited by: Lambert , K. 67 – 92 . op. cit.,
   Google Scholar
• Frege , Gottlob . 1980 . “ ‘Sense and Reference’ ” . In The Philosophical Writings of Gottlob Frege , 3rd ed. , Edited by: Geach , P. and Black , M. 56 – 78 . Oxford : Blackwell .
   Google Scholar
• Strawson , P. F. 1950 . ‘On Referring’ . Mind , 59 : 320 – 44 .
   Google Scholar
• Brittan , Gordon . 1979 . Kant's Theory of Science , Princeton, N. J. : Princeton University Press .
   Google Scholar
• Meyer , Robert K. and Lambert , Karel . 1968 . ‘Universally Free Logic and Standard Quantification Theory’ . Journal of Symbolic Logic , 33 : 8 – 25 .
   Web of Science ®Google Scholar
• 1970 . ‘On Prefacing (Ax)A. A(y/x) with (Ay). A Free Quantification Theory Without Identity’ . Zeitschrift für mathematische Logik und Grundlagen der Mathematik. , 16 : 447 – 62 .
   Google Scholar
• Scales , Ronald . 1969 . Attribution and Reference , University of Michigan Microfilms . Ph.D. Thesis,
   Google Scholar
• Smiley , T. J. 1970 . Lectures in Mathematical Logic , London : Cambridge University Press .
   Google Scholar
• 1967 . ‘On Free Description Theory’ . Zeitschrift für mathematische Logik und Grundlagen der Mathematik , 13 : 225 – 40 .
   Google Scholar
• Scott , Dana . 1967 . “ ‘Existence and Description in Formal Logic’ ” . In Bertrand Russell: Philosopher of the Century , Edited by: Schoenman , Ralph . London : Allen & Unwin .
   Google Scholar
• 1977 . ‘Complex Predicates’ . The Monist , 60 : 327 – 40 .
   Google Scholar
• Stalnaker , Robert and Thomason , Richmond . 1968 . ‘Modality and Reference’ . Nous , 2 : 359 – 72 .
   Google Scholar
• Leonard , Henry . 1964 . ‘Essences, Attributes and Predicates’ . Proceedings and Addresses of the American Philosophical Association , XXXVII : 25 – 51 .
   Google Scholar
• These remarks are slightly revised lectures presented at the College de France in Paris during March of 1980. I want to thank the professors of the College, and especially Professor Jules Vuillemin, for their kind and generous invitation. Thanks also to the National Endowment of Humanities for the Summer stipend in 1979 enabling me to devote part of my time to these lectures. Finally, thanks to Terence Parsons and Ermanno Bencivenga who pointed out errors and suggested improvements.
   Google Scholar