Untersuchungen über das logische Schließen. I.

Mathematische Zeitschrift 35:176–210 (1935)
  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: 92,168

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

Recherches sur la déduction logique.Gerhard Gentzen, Robert Feys & J. Landrière - 1955 - Presses Universitaires de France.
Günther Patzig. Einleitung. Logische Untersuchungen, by Gottlob Frege, edited by Günther Patzig, Vandenhoeck & Ruprecht, Göttingen1966, pp. 5–29. - Gottlob Frege. Der Gedanke. Eine logische Untersuchung. A reprint of XVIII 93. Logische Untersuchungen, by Gottlob Frege, edited by Günther Patzig, Vandenhoeck & Ruprecht, Göttingen1966, pp. 30–53. - Gottlob Frege. Die Verneinung. Eine logische Untersuchung. A reprint of XVIII 93. Logische Untersuchungen, by Gottlob Frege, edited by Günther Patzig, Vandenhoeck & Ruprecht, Göttingen1966, pp. 54–71. - Gottlob Frege. Logische Untersuchungen. Dritter Teil: Gedankengefüge.Logische Untersuchungen, by Gottlob Frege, edited by Günther Patzig, Vandenhoeck & Ruprecht, Göttingen1966, pp. 72–91. , pp. 36–51.) - Gottlob Frege. Kritische Beleuchtung einiger Punkte in E. Schröders Vorlesungen über die Algebra der Logik. A reprint of 4972. Ibid., pp. 92–112. - Gottlob Frege. Über die Zahlen des Herrn H. Schubert. A reprint of 4915. Logische Untersuchungen,. [REVIEW]I. Angelelli - 1968 - Journal of Symbolic Logic 33 (2):282-284.
On Quine's Approach to Natural Deduction'.Carlo Cellucci - 1995 - In Paolo Leonardi & Marco Santambrogio (eds.), On Quine: New Essays. Cambridge University Press. pp. 314--335.
Gentzen writes in the published version of his doctoral thesis Untersuchun-gen über das logische Schliessen (Investigations into logical reasoning) that he was able to prove the normalization theorem only for intuitionistic natural deduction, but not for classical. To cover the latter, he developed classical sequent calculus and proved a corresponding theorem, the famous cut elim.Jan von Plato - 2008 - Bulletin of Symbolic Logic 14 (2):240-257.
From Axiomatic Logic to Natural Deduction.Jan von Plato - 2014 - Studia Logica 102 (6):1167-1184.
Natural Deduction.Andrzej Indrzejczak - 2015
Logische Untersuchungen über die Grundlagen der Mathematik.Katudi Ono - 1939 - Journal of Symbolic Logic 4 (2):89-90.
A Simulation of Natural Deduction and Gentzen Sequent Calculus.Daniil Kozhemiachenko - 2018 - Logic and Logical Philosophy 27 (1):67-84.
A Brief History of Natural Deduction.Francis Jeffry Pelletier - 1999 - History and Philosophy of Logic 20 (1):1-31.
Wahrheit und Entdeckung. Logische und erkenntnistheoretische Untersuchungen über Aussagen und Aussagenkontexte.Rainer Enskat - 1989 - Zeitschrift für Philosophische Forschung 43 (4):709-711.
V. Logische Untersuchung: Über Intentionale Erlebnisse Und Ihre »Inhalte«.Edmund Husserl - 1985 - Felix Meiner Verlag.
Kategoriale Anschauung (VI. Logische Untersuchung.Dieter Lohmar - 2008 - In Verena E. Mayer & Christopher Erhard (eds.), Edmund Husserl: logische Untersuchungen. Berlin: Akademie Verlag Berlin. pp. 35--209.
Grammatik und Intentionalität (Ⅳ. Logische Untersuchung).Jocelyn Benoist - 2008 - In Verena E. Mayer & Christopher Erhard (eds.), Edmund Husserl: logische Untersuchungen. Berlin: Akademie Verlag Berlin. pp. 123-137.
Kategoriale Anschauung (Ⅵ. Logische Untersuchung, §§ 40-66).Dieter Lohmar - 2008 - In Verena E. Mayer & Christopher Erhard (eds.), Edmund Husserl: logische Untersuchungen. Berlin: Akademie Verlag Berlin.
Die Objektivität der Bedeutung (Ⅰ. Logische Untersuchung, §§ 24-35).Gianfranco Soldati - 2008 - In Verena E. Mayer & Christopher Erhard (eds.), Edmund Husserl: logische Untersuchungen. Berlin: Akademie Verlag Berlin. pp. 61--76.

Analytics

Added to PP
2020-09-13

Downloads
120 (#150,507)

6 months
35 (#101,582)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Inferentialism: Why Rules Matter.Jaroslav Peregrin - 2014 - London and New York: Palgrave-Macmillan.
Weak Assertion.Luca Incurvati & Julian J. Schlöder - 2019 - Philosophical Quarterly 69 (277):741-770.
The Genealogy of ‘∨’.Landon D. C. Elkind & Richard Zach - 2023 - Review of Symbolic Logic 16 (3):862-899.

View all 122 citations / Add more citations

References found in this work

No references found.

Add more references