The Road to Modern Logic—An Interpretation

@article{Ferreirs2001TheRT,
  title={The Road to Modern Logic—An Interpretation},
  author={J. Ferreir{\'o}s},
  journal={Bulletin of Symbolic Logic},
  year={2001},
  volume={7},
  pages={441 - 484}
}
  • J. Ferreirós
  • Published 2001
  • Mathematics, Computer Science
  • Bulletin of Symbolic Logic
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… Expand
View on Cambridge Press
idus.us.es
64 Citations
Highly Influential Citations
3
Background Citations
15
Methods Citations
4

64 Citations

Citation Type

Citation Type

Logic in the 1930s: Type Theory and Model Theory
TLDR
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. Expand
LOGIC IN THE 1930s: TYPE THEORY AND MODEL THEORY
TLDR
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. Expand
On Dedekind's Logicism
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… Expand
8 Logicism , Ontology , and the Epistemology of Second-Order Logic
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… Expand
Hilbert, logicism, and mathematical existence
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… Expand
A different approach to logic: absolute logic
The paper is about 'absolute logic': an approach to logic that differs from the standard first-order logic and other known approaches. It should be a new approach the author has created proposing to… Expand
Logicism, Ontology, and the Epistemology of Second-Order Logic
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… Expand
A different approach to logic
TLDR
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. Expand
Notes on Substitution in First–Order Logic
TLDR
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. Expand
AND THE WORD BECAME FLESH: LOGIC AND THE ONTOLOGICAL ARGUMENT IN LEIBNIZ, KANT AND FREGE
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… Expand
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 88 REFERENCES
Notes on types, sets, and logicism, 1930-1950
The present paper is a contribution to the history of logic and its philosophy toward the mid-20th century. It examines the interplay between logic, type theory and set theory during the 1930s and… Expand
19th Century Logic Between Philosophy and Mathematics
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 Scholastic… Expand
Hilbert and the emergence of modern mathematical logic
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… Expand
The emergence of first-order logic
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… Expand
The way of logic into mathematics
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… Expand
The Formation of Modern Conceptions of Formal Logic in the Development of Geometry
TLDR
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. Expand
The Structure of Scientific Revolutions
A good book may have the power to change the way we see the world, but a great book actually becomes part of our daily consciousness, pervading our thinking to the point that we take it for granted,… Expand
From a Logical Point of View
TLDR
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. Expand
A Formulation of the Simple Theory of Types
  • A. Church
  • Mathematics, Computer Science
  • J. Symb. Log.
  • 1940
TLDR
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. Expand
A System of Axiomatic Set Theory
TLDR
The purpose of modifying the von Neumann system is to remain nearer to the structure of the original Zermelo system and at the same time, utilize some of the set-theoretic concepts of the Schroder Logic and of Principia Mathematica that have become familiar to logicians. Expand
...
1
2
3
4
5
...