# 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} }

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

#### Topics from this paper

#### 64 Citations

Logic in the 1930s: Type Theory and Model Theory

- Computer Science
- The 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. Expand

LOGIC IN THE 1930s: TYPE THEORY AND MODEL THEORY

- Computer Science
- 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. Expand

On Dedekind's Logicism

- Mathematics
- 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… Expand

8 Logicism , Ontology , and the Epistemology of Second-Order Logic

- 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… Expand

Hilbert, logicism, and mathematical existence

- Philosophy, Computer Science
- Synthese
- 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… Expand

A different approach to logic: absolute logic

- Mathematics
- 2020

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

- 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… Expand

A different approach to logic

- Mathematics, Computer Science
- 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. Expand

Notes on Substitution in First–Order Logic

- Computer Science
- 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. Expand

AND THE WORD BECAME FLESH: LOGIC AND THE ONTOLOGICAL ARGUMENT IN LEIBNIZ, KANT AND FREGE

- Mathematics
- 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… Expand

#### References

SHOWING 1-10 OF 88 REFERENCES

Notes on types, sets, and logicism, 1930-1950

- Philosophy
- 1997

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

- Mathematics
- 1999

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

- Mathematics
- 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… Expand

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… Expand

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… Expand

The Formation of Modern Conceptions of Formal Logic in the Development of Geometry

- Computer Science
- Osiris
- 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. Expand

The Structure of Scientific Revolutions

- Physics, Sociology
- 1962

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

- Computer Science, Psychology
- 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. Expand

A Formulation of the Simple Theory of Types

- Mathematics, Computer Science
- J. Symb. Log.
- 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. Expand

A System of Axiomatic Set Theory

- Computer Science
- 1976

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