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
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.
Catarina Dutilh Novaes (2006). Formalizations Après la Lettre: Studies in Medieval Logic and Semantics. Dissertation, Leiden University
Kevin C. Klement, Gottlob Frege. Internet Encyclopedia of Philosophy.
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.
Klaus J. Schmidt (2011). On the unity of modal syllogistics in Aristotle. Bochumer Philosophisches Jahrbuch Fur Antike Und Mittelalter 13 (1):54-86.
Graham Priest (2000). Vasil'Év and Imaginary Logic. History and Philosophy of Logic 21 (2):135-146.
J. P. Cleave (1991). A Study of Logics. Oxford University Press.
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.
Paulo Oliva (2008). An Analysis of Gödel's Dialectica Interpretation Via Linear Logic. Dialectica 62 (2):269–290.
Graeme Forbes (1994). Modern Logic: A Text in Elementary Symbolic Logic. Oxford University Press.
Added to index2009-01-28
Total downloads96 ( #15,390 of 1,410,536 )
Recent downloads (6 months)6 ( #38,533 of 1,410,536 )
How can I increase my downloads?