Foundation of a Rigorous Implication

&

Abstract

This manuscript presents an English translation of the work titled “Begründung Einer Strengen Implikation” by the German logician and mathematician Wilhelm Ackermann (1896-1962), first published in June 1956.

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive

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

  • Only published works are available at libraries.

My notes

Similar books and articles

Ackermann Wilhelm. Begründung einer strengen Implikation.Alan Ross Anderson - 1957 - Journal of Symbolic Logic 22 (3):327-328.
In memoriam: Wilhelm Ackermann (1896-1962).Hans Hermes - 1967 - Notre Dame Journal of Formal Logic 8 (1-2):1-8.
Aus dem briefwechsel wilhelm ackermanns.Hans Richard Ackermann - 1983 - History and Philosophy of Logic 4 (1-2):181-202.
Ackermann Wilhelm. Philosophische Bemerkungen zur mathematischen Logik und zur mathematischen Grundlagenforschung. Ratio , vol. 1 no. 1 , pp. 1–20.Ackermann Wilhelm. Philosophical observations on mathematical logic and on investigations into the foundations of mathematics. English translation. Ratio , vol. 1 no. 1 , pp. 1–23. [REVIEW]John van Heijenoort - 1958 - Journal of Symbolic Logic 23 (3):342-343.
Logic, language, and probability.Radu J. Bogdan & Ilkka Niiniluoto (eds.) - 1973 - Dordrecht: D. Reidel Pub. Co..
Ackermann Wilhelm. Widerspruchsfreier Aufbau einer typenfreien Logik. . Mathematische Zeitschrift, vol. 55 , pp. 364–384.Ackermann Wilhelm. Widerspruchsfreier Aufbau einer typenfreien Logik. II. Mathematische Zeitschrift, vol. 57 , pp. 155–166. [REVIEW]Ronald Harrop - 1954 - Journal of Symbolic Logic 19 (4):295-296.
Ackermann Wilhelm. Mengentheoretische Begründung der Logik. Mathematische Annalen, vol. 115 , pp. 1–22.Paul Bernays - 1938 - Journal of Symbolic Logic 3 (2):85-85.
Modalities in Ackermann's “rigorous implication”.Alan Ross Anderson & Nuel D. Belnap - 1959 - Journal of Symbolic Logic 24 (2):107-111.
Ackermann Wilhelm. Widerspruchsfreier Aufbau der Logik I. Typenfreies System ohne tertium non datur. [REVIEW]J. Barkely Rosser - 1951 - Journal of Symbolic Logic 16 (1):72-72.

Analytics

Added to PP
2024-11-30

Downloads
113 (#190,720)

6 months
113 (#50,712)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Fabio De Martin Polo
Ruhr-Universität Bochum (PhD)

Citations of this work

No citations found.

Add more citations

References found in this work

Symbolic Logic.C. I. Lewis & C. H. Langford - 1932 - Erkenntnis 4 (1):65-66.
A Survey of Symbolic Logic.C. I. Lewis - 1918 - Journal of Philosophy, Psychology and Scientific Methods 17 (3):78-79.
Grundlagen der mathematik.David Hilbert & Paul Bernays - 1934 - Berlin,: J. Springer. Edited by Paul Bernays.
Begründung einer strengen Implikation.Wilhelm Ackermann - 1956 - Journal of Symbolic Logic 21 (2):113-128.
Begründung Einer Strengen Implikation.Wilhelm Ackermann - 1957 - Journal of Symbolic Logic 22 (3):327-328.

View all 12 references / Add more references