Gentzen's anti-formalist ideas

In Reinhard Kahle & Michael Rathjen (eds.), Gentzen's Centenary: The Quest for Consistency. New York: Springer. pp. 25-44 (2015)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

External links

  • This entry has no external links. Add one.
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

Defusing anti-formalist arguments.Nick Zangwill - 2000 - British Journal of Aesthetics 40 (3):376-383.
On the Intuitionistic Background of Gentzen's 1935 and 1936 Consistency Proofs and Their Philosophical Aspects.Yuta Takahashi - 2018 - Annals of the Japan Association for Philosophy of Science 27:1-26.
Gentzen's Proof of Normalization for Natural Deduction.Jan von Plato & G. Gentzen - 2008 - Bulletin of Symbolic Logic 14 (2):240 - 257.
A Note on the Godel-Gentzen Translation.Hajime Ishihara - 2000 - Mathematical Logic Quarterly 46 (1):135-138.
自然演繹法系統之比較. 鄧敦民 - 2016 - NTU Philosophical Review 51 (51):35-70.
Categorical abstract algebraic logic: Gentzen π ‐institutions and the deduction‐detachment property.George Voutsadakis - 2005 - Mathematical Logic Quarterly 51 (6):570-578.
On purported Gentzen formulations of two positive relevent logics.Steve Giambrone - 1985 - Studia Logica 44 (3):233 - 236.
The Collected Papers of Gerhard Gentzen. [REVIEW]G. Kreisel - 1971 - Journal of Philosophy 68 (8):238-265.
Review: Gerhard Gentzen, The Collected Papers of Gerhard Gentzen. [REVIEW]K. Schutte - 1972 - Journal of Symbolic Logic 37 (4):752-753.
Equivalential Gentzen systems and the reduced matrices of the Gentzen systems associated with finitely valued logics.Angel Gil & Jordi Rebagliato - 2006 - Reports on Mathematical Logic.
A note on Gentzen’s ordinal assignment.Annika Kanckos - 2019 - Archive for Mathematical Logic 58 (3-4):347-352.
Gödel's reformulation of Gentzen's first consistency proof for arithmetic: The no-counterexample interpretation.W. W. Tait - 2005 - Bulletin of Symbolic Logic 11 (2):225-238.
The Collected Papers of Gerhard Gentzen.K. Schütte - 1972 - Journal of Symbolic Logic 37 (4):752-753.
A Simulation of Natural Deduction and Gentzen Sequent Calculus.Daniil Kozhemiachenko - 2018 - Logic and Logical Philosophy 27 (1):67-84.
Ideas in Music.John Shand - 2018 - Revista Portuguesa de Filosofia 74 (4):1307-1328.

Analytics

Added to PP
2019-04-26

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Author's Profile

Michael Detlefsen
Last affiliation: University of Notre Dame

Citations of this work

Formalism and Hilbert’s understanding of consistency problems.Michael Detlefsen - 2021 - Archive for Mathematical Logic 60 (5):529-546.

Add more citations

References found in this work

No references found.

Add more references