The Road to Modern Logic—An Interpretation
@article{Ferreirs2001TheRT, title={The Road to Modern Logic—An Interpretation}, author={Jos{\'e} Ferreir{\'o}s}, journal={Bulletin of Symbolic Logic}, year={2001}, volume={7}, pages={441 - 484} }
Abstract 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…
70 Citations
Logic in the 1930s: Type Theory and Model Theory
- PhilosophyThe Bulletin of Symbolic Logic
- 2013
It is argued that the move from type theory to first-order logic is better understood as a gradual transformation, and further, that the contributions to semantics made in the type-theoretic tradition should be seen as central to the evolution of model theory.
On Dedekind's Logicism
- Philosophy
- 2011
The place of Richard Dedekind in the history of logicism is a controversial matter. From the point of view of contemporary philosophy of mathematics, what is of interest is Dedekind’s contribution to…
8 Logicism , Ontology , and the Epistemology of Second-Order Logic
- Philosophy
- 2018
At the basis of Frege’s logicism is his logic. And, although Frege does clearly distinguish firstfrom second-order quantification, at least in Grundgesetze,1 he never suggests that there might be any…
Hilbert, logicism, and mathematical existence
- PhilosophySynthese
- 2008
David Hilbert’s early foundational views, especially those corresponding to the 1890s, are analysed here. I consider strong evidence for the fact that Hilbert was a logicist at that time, following…
Logicism, Ontology, and the Epistemology of Second-Order Logic
- PhilosophyOxford Scholarship Online
- 2018
In two recent papers, Bob Hale has attempted to free second-order logic of the “staggering existential assumptions” with which Quine famously attempted to saddle it. This chapter argues, first, that…
A different approach to logic: absolute logic
- Philosophy, Computer Science
- 2011
The paper provides both the theoretical material and a fully documented example of deduction to obtain a general and unifying approach to logic and a faithful model of human mathematical deductive process.
A different approach to logic
- Computer Science, Philosophy
- 2011
The paper provides both the theoretical material and two fully documented examples of deduction to obtain a general and unifying approach to logic and a faithful model of human mathematical deductive process.
Notes on Substitution in First–Order Logic
- Economics
- 2004
The outcome for F OL is that substitution is simply string replacement of one constituent by another, and this substitution is also simpler than the standard one, raising the question why substitution is chosen for FOL.
AND THE WORD BECAME FLESH: LOGIC AND THE ONTOLOGICAL ARGUMENT IN LEIBNIZ, KANT AND FREGE
- Philosophy
- 2010
Historically, the philosophical literature on the ontological argument has primarily been concerned with the assessment of the argument in terms of its validity or lack thereof. Rarely have the…
Logical Axiomatizations of Space-Time. Samples from the Literature
- Philosophy
- 2006
The present paper gives samples from an ongoing broader research project which in turn is part of a research direction going back to Reichenbach and others in the 1920’s and tries to give some perspective on the literature related in a broader sense.
References
SHOWING 1-10 OF 86 REFERENCES
19th Century Logic Between Philosophy and Mathematics
- PhilosophyBulletin of Symbolic Logic
- 1999
Abstract The history of modern logic is usually written as the history of mathematical or, more general, symbolic logic. As such it was created by mathematicians. Not regarding its anticipations in…
Hilbert and the emergence of modern mathematical logic
- Philosophy
- 1997
Hilbert's unpublished 1917 lectures on logic, analyzed here, are the beginning of modern metalogic. In them he proved the consistency and Post-completeness (maximal consistency) of propositional…
The emergence of first-order logic
- Philosophy
- 1988
To most mathematical logicians working in the 1980s, first-order logic is the proper and natural framework for mathematics. Yet it was not always so. In 1923, when a young Norwegian mathematician…
The way of logic into mathematics
- Philosophy
- 1997
Using a contextual method the specific development of logic between c. 1830 and 1930 is explained. A characteristic mark of this period is the decomposition of the complex traditional philosophical…
The Formation of Modern Conceptions of Formal Logic in the Development of Geometry
- PhilosophyOsiris
- 1939
In this division of mathematics " all axioms expressing spatial intuitions would be entirely lacking" and the foundations of this science would thereby become as evident as those of arithmetic, while the restriction that it be limited to the study of a threedimensional manifold would be dropped.
From a Logical Point of View
- Philosophy
- 1953
It is the wish of the author to keep general terms distinct from abstract singular terms, so that the over-all dis pensability of some assumption that has always rankled as ad hoc and unintuitive is discovered.
A formulation of the simple theory of types
- MathematicsJournal of Symbolic Logic
- 1940
A formulation of the simple theory oftypes which incorporates certain features of the calculus of λ-conversion into the theory of types and is offered as being of interest on this basis.
Introduction to Mathematical Logic
- Philosophy
- 1991
Alonzo Church was a pioneer in the field of mathematical logic, whose contributions to number theory and the theories of algorithms and computability laid the theoretical foundations of computer science.
A system of axiomatic set theory—Part I
- PhilosophyJournal of Symbolic Logic
- 1937
This chapter defines a function to be a class of pairs in which different elements always have different first members such that, to every element a of its domain there is a unique element b of its converse domain determined by the condition 〈 a, b 〉 ηF .