Logikkalkule

Logikkalkule
Format
Paperback
Publisher
Vieweg+teubner Verlag
Country
Germany
Published
1 June 1978
Pages
232
ISBN
9783519023456

Logikkalkule

This title is printed to order. This book may have been self-published. If so, we cannot guarantee the quality of the content. In the main most books will have gone through the editing process however some may not. We therefore suggest that you be aware of this before ordering this book. If in doubt check either the author or publisher’s details as we are unable to accept any returns unless they are faulty. Please contact us if you have any questions.

In diesem Buch werden Aspekte der Aussagenlogik und der Pradikaten- logik der ersten Stufe behandelt. Eine Mathematisierung und Kalku- lisierung der Logik kann naturlich ganz verschieden ausfallen, je nach dem, von welchen Motiven man sich primar leiten lasst. 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 fuhren zu drei verschiedenen Arten von Kalkulen. Die Betonung des Wahrheitsbegriffes fuhrte auf die untersuchung der Hilberttypkalkule 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 Vollstandigkeitsbeweise in diesen Kalkulen lasst sich u. E. eigentlich nur algebraisch verstehen. Etwas uberspitzt koennte man formulieren, dass die Vollstandigkeitsbeweise in Hilberttypkal- kulen Korollare zu Betrachtungen uber Kongruenzrelationen in ge- wissen Boole'schen Algebren sind. Bei den modelltheoretischen Be- trachtungen haben wir uns kurz ge fasst und nur einige grundlegende Begriffe vorgestellt.

This item is not currently in-stock. It can be ordered online and is expected to ship in 7-14 days

Our stock data is updated periodically, and availability may change throughout the day for in-demand items. Please call the relevant shop for the most current stock information. Prices are subject to change without notice.

Sign in or become a Readings Member to add this title to a wishlist.