The Deduction Theorem (Before and After Herbrand)

History and Philosophy of Logic 42 (2):129-159 (2021)
  Copy   BIBTEX

Abstract

Attempts to articulate the real meaning or ultimate significance of a famous theorem comprise a major vein of philosophical writing about mathematics. The subfield of mathematical logic has supplie...

Categories

Keywords

Reprint years

DOI

10.1080/01445340.2021.1889117

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 97,078

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Consistency and interpolation in linear continuous logic.Mahya Malekghasemi & Seyed-Mohammad Bagheri - 2023 - Archive for Mathematical Logic 62 (7):931-939.
Craig's Theorem.Frederick Suppe - 2000 - In W. Newton-Smith (ed.), A companion to the philosophy of science. Malden, Mass.: Blackwell. pp. 65–67.
Ruth Barcan Marcus on the Deduction Theorem in Modal Logic.Roberta Ballarin - forthcoming - History and Philosophy of Logic:1-21.
Ruth Barcan Marcus on the Deduction Theorem in Modal Logic.Canada Vancouver - forthcoming - History and Philosophy of Logic:1-21.
The Epsilon Calculus and Herbrand Complexity.Georg Moser & Richard Zach - 2006 - Studia Logica 82 (1):133-155.
Curtis Franks The Autonomy of Mathematical Knowledge: Hilbert's Program Revisited.W. W. Tait - 2011 - History and Philosophy of Logic 32 (2):177 - 183.
Notes on Logic. [REVIEW]P. K. H. - 1967 - Review of Metaphysics 21 (1):161-162.
On undecidability of the propositional logic of an associative binary modality.Michael Kaminski - 2024 - Archive for Mathematical Logic 63 (7):837-857.
An Herbrand theorem for a modal logic.Herman Ruge Jervell - 1972 - Oslo,: Universitetet i Oslo, Matematisk institutt.

Analytics

Added to PP
2021-03-24

Downloads
94 (#189,527)

6 months
24 (#161,129)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Curtis Franks
University of Notre Dame

Citations of this work

Counterpossibles, Consequence and Context.Daniel Nolan - forthcoming - Inquiry: An Interdisciplinary Journal of Philosophy.
Ruth Barcan Marcus.Roberta Ballarin - 2024 - Stanford Encyclopedia of Philosophy.
Ruth Barcan Marcus on the Deduction Theorem in Modal Logic.Roberta Ballarin - forthcoming - History and Philosophy of Logic:1-21.

Add more citations

References found in this work

Null. Null - 2016 - Philosophy Study 6 (9).
Mathematical logic.Willard Van Orman Quine - 1951 - Cambridge,: Harvard University Press.
Wissenschaftslehre.Bernard Bolzano & Alois Höfler - 1837 - Revue de Métaphysique et de Morale 22 (4):15-16.

View all 36 references / Add more references