Logikkalküle

Stuttgart: Teubner (1978)
  Copy   BIBTEX

Abstract

In diesem Buch werden Aspekte der Aussagenlogik und der Prädikaten­ logik der ersten Stufe behandelt. Eine Mathematisierung und Kalkü­ lisierung der Logik kann natürlich ganz verschieden ausfallen, je nach dem, von welchen Motiven man sich primär leiten läßt. Wir stellen drei Gesichtspunkte, die uns auch als die wesentlichsten erscheinen, in den Vordergrund: Die Formalisierung des Wahrheits­ begriffes, die Formalisierung des Beweisbarkeitsbegriffes und das Problem des Suchens nach Beweisen. Diese drei Aspekte führen zu drei verschiedenen Arten von Kalkülen. Die Betonung des Wahrheitsbegriffes führte auf die untersuchung der Hilberttypkalküle von einem Standpunkt, wie er etwa auch im Buch von Rasiowa-Sikorski [Ra-Si] eingenommen wird. Hierbei wurde besonderen Wert auf die algebraischen Techniken gelegt, denn die Natur der Vollständigkeitsbeweise in diesen Kalkülen läßt sich u. E. eigentlich nur algebraisch verstehen. Etwas überspitzt könnte man formulieren, daß die Vollständigkeitsbeweise in Hilberttypkal­ külen Korollare zu Betrachtungen über Kongruenzrelationen in ge­ wissen Boole'schen Algebren sind. Bei den modelltheoretischen Be­ trachtungen haben wir uns kurz ge faßt und nur einige grundlegende Begriffe vorgestellt.

Links

PhilArchive



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

External links

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

Through your library

Similar books and articles

A course in mathematical logic.J. L. Bell - 1977 - New York: sole distributors for the U.S.A. and Canada American Elsevier Pub. Co.. Edited by Moshé Machover.
Logic in Wonderland: an introduction to logic through reading Alice's adventures in Wonderland.Nitsa Movshovitz-Hadar - 2019 - Singapore: WS Education, an imprint of World Scientific Publishing Co Pte. Edited by Atara Shriki.
The two-valued iterative systems of mathematical logic.Emil Leon Post - 1941 - London,: H. Milford, Oxford university press.
Mathematical logic.J. Donald Monk - 1976 - New York: Springer Verlag.
Introduction to mathematical logic.Alonzo Church - 1944 - Princeton,: Princeton University Press. Edited by C. Truesdell.
Principles of mathematical logic.David Hilbert - 1950 - Providence, R.I.: AMS Chelsea. Edited by W. Ackermann & Robert E. Luce.
Mathematical logic.Willard Van Orman Quine - 1951 - Cambridge,: Harvard University Press.
Introduction to mathematical logic.Elliott Mendelson - 1964 - Princeton, N.J.,: Van Nostrand.

Analytics

Added to PP
2023-06-09

Downloads
10 (#1,135,558)

6 months
9 (#259,174)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references