David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Bulletin of Symbolic Logic 7 (4):441-484 (2001)
This paper aims to outline an analysis and interpretation of the process that led to First-Order Logic and its consolidation as a core system of modern logic. We begin with an historical overview of landmarks along the road to modern logic, and proceed to a philosophical discussion casting doubt on the possibility of a purely rational justification of the actual delimitation of First-Order-Logic. On this basis, we advance the thesis that a certain historical tradition was essential to the emergence of modern logic; this traditional context is analyzed as consisting in some guiding principles and, particularly, a set of exemplares (i.e., paradigmatic instances). Then, we proceed to interpret the historical course of development reviewed in section 1, which can broadly be described as a two-phased movement of expansion and then restriction of the scope of logical theory. We shall try to pinpoint ambivalencies in the process, and the main motives for subsequent changes. Among the latter, one may emphasize the spirit of modern axiomatics, the situation of foundational insecurity in the 1920s, the resulting desire to find systems well-behaved from a proof-theoretical point of view, and the metatheoretical results of the 1930s. Not surprisingly, the mathematical and, more specifically, the foundational context in which Firs-Order-Logic matured will be seen to have played a primary role in its shaping
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
Judit X. Madarász, István Németi & Gergely Székely (2006). Twin Paradox and the Logical Foundation of Relativity Theory. Foundations of Physics 36 (5):681-714.
Paolo Mancosu (2005). Harvard 1940–1941: Tarski, Carnap and Quine on a Finitistic Language of Mathematics for Science. History and Philosophy of Logic 26 (4):327-357.
Marcus Kracht (2007). The Emergence of Syntactic Structure. Linguistics and Philosophy 30 (1):47 - 95.
José Ferreirós (2009). Hilbert, Logicism, and Mathematical Existence. Synthese 170 (1):33 - 70.
Jean-Pierre Marquis (2013). Categorical Foundations of Mathematics or How to Provide Foundations for Abstract Mathematics. Review of Symbolic Logic 6 (1):51-75.
Similar books and articles
David Ellerman (2010). The Logic of Partitions: Introduction to the Dual of the Logic of Subsets. Review of Symbolic Logic 3 (2):287-350.
Paulo Oliva (2008). An Analysis of Gödel's Dialectica Interpretation Via Linear Logic. Dialectica 62 (2):269–290.
Risto Vilkko (2007). The Problematic Reconstruction of the Development of Modern Logic. The Proceedings of the Twenty-First World Congress of Philosophy 5:31-35.
J. P. Cleave (1991). A Study of Logics. Oxford University Press.
Graham Priest (2000). Vasil'Év and Imaginary Logic. History and Philosophy of Logic 21 (2):135-146.
Klaus J. Schmidt (2011). On the unity of modal syllogistics in Aristotle. Bochumer Philosophisches Jahrbuch Fur Antike Und Mittelalter 13 (1):54-86.
Gregory H. Moore (1980). Beyond First-Order Logic: The Historical Interplay Between Mathematical Logic and Axiomatic Set Theory. History and Philosophy of Logic 1 (1-2):95-137.
Kevin C. Klement, Gottlob Frege. Internet Encyclopedia of Philosophy.
Catarina Dutilh Novaes (2006). Formalizations Après la Lettre: Studies in Medieval Logic and Semantics. Dissertation, Leiden University
Graeme Forbes (1994). Modern Logic: A Text in Elementary Symbolic Logic. Oxford University Press.
Added to index2009-01-28
Total downloads102 ( #30,299 of 1,726,249 )
Recent downloads (6 months)6 ( #118,705 of 1,726,249 )
How can I increase my downloads?