Skip to main content
SpringerLink
Log in

Ein Typenfreies System der Logik mit Ausreichender Mathematischer Anwendungsfähigkeit I

  • Published:
Archiv für mathematische Logik und Grundlagenforschung Aims and scope Submit manuscript

    We’re sorry, something doesn't seem to be working properly.

    Please try refreshing the page. If that doesn't work, please contact support so we can address the problem.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Literatur

  1. W.Ackermann: Ein System der typenfreien Logik I. Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften, N. F., Heft 7, 1941.

  2. —: Widerspruchsfreier Anbau der Logik. Typenfreies System ohne tertium non datur. Journal of Symbolic Logic 15 (1950), S. 33–57.

    Google Scholar 

  3. —: Widerspruchsfreier Aufbau einer typenfreien Logik (erweitertes System). Math. Zeitschrift 55 (1952), S. 364–384.

    Google Scholar 

  4. —: Widerspruchsfreier Aufbau einer typenfreien Logik II. Math. Zeitschr. 57 (1953), S. 155–166.

    Google Scholar 

  5. —: Zur Axiomatik der Mengenlehre. Math. Annalen 131 (1956), S. 336–345.

    Google Scholar 

  6. H. Behmann: Zu den Widersprüchen der Logik und Mengenlehre. Jahresbericht der Deutschen Methematiker-Vereinigung 40 (1931), S. 37–48.

    Google Scholar 

  7. -: Deskription und limitierte Variable (1944, erweitert 1952).

  8. -: Die Ausschaltung der logischen Paradoxien durch die typenfreie Logik mit den Werten „wahr“, „sinnlos“ und „falsch“. (1953). (Die letzten beiden Arbeiten sind durch Handabzug vervielfältigt).

  9. -: Die Besetzungskette und der widerspruchsfreie Prädikatenkalkül (1956). (Vom Verfasser zugesandter Durchschlag eines Manuskripts).

  10. A. Church: A set of postulates for the foundation of logic. Annals of Mathematics 33 (1932), S. 346–366.

    Google Scholar 

  11. —: A set of postulates for the foundation of logic (second paper). Annals of Mathematics 34 (1933), S. 839–864.

    Google Scholar 

  12. —: A proof of freedom from contradiction. Proc. Nat. Acad. of Sciences 21 (1935), S. 275–281.

    Google Scholar 

  13. -: Mathematical Logic. Vorlesungen an der Princetoner Universität 1935/36. Mimeographiert.

  14. H. B. Curry: The paradox of Kleene and Rosser. Transactions American Mathematical Society 50 (1941), S. 454–516.

    Google Scholar 

  15. —: The inconsistency of certain formal logics. Journal of Symbolic Logic 7 (1942), S. 115–117.

    Google Scholar 

  16. -: Philosophische Bemerkungen zu einigen Problemen der mathemathischen Logik. Archiv für Philosophie, Heft 4/2, 1951.

  17. K. Gödel: Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I. Monatshefte für Mathematik und Physik 38 (1931), S. 173–198.

    Google Scholar 

  18. R. Harrop: An investigation of the prepositional calculus used in a particular system of logic. Proceedings of the Cambridge Philosophical Society 50 (1954), S. 495–512.

    Google Scholar 

  19. S. C. Kleene andJ. B. Rosser. The inconsistency of certain formal logics. Transactions American Mathematical Society 36 (1935), S. 630–636.

    Google Scholar 

  20. W. V. Quine: Mathematical Logic. 2. Aufl. 1951.

  21. K. Schütte: Zur Widerspruchsfreiheit einer typenfreien Logik. Math. Annalen 125 (1953), S. 394–400.

    Google Scholar 

  22. —: Ein widerspruchsfreies System der Analysis auf typenfreier Grundlage. Math. Zeitschrift 61 (1954), S. 160–179.

    Google Scholar 

  23. V. Valpola: Ein System der negationslosen Logik mit ausschließlich realisierbaren Prädikaten. Acta Philosophica Fennica, Fasc. IX, 1955.

Download references

Author information

Authors and Affiliations

  1. Lüdenscheid

    Wilhelm Ackermann

Authors
  1. Wilhelm Ackermann
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Ackermann, W. Ein Typenfreies System der Logik mit Ausreichender Mathematischer Anwendungsfähigkeit I. Arch math Logik 4, 3–26 (1958). https://doi.org/10.1007/BF01977111

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF01977111

Search

Navigation