Logikkalküle 1978 Edition Contributor(s): Richter, Michael (With) |
|
ISBN: 3519023458 ISBN-13: 9783519023456 Publisher: Vieweg+teubner Verlag OUR PRICE: $42.74 Product Type: Paperback Language: German Published: June 1978 |
Additional Information |
BISAC Categories: - Technology & Engineering | Engineering (general) |
Dewey: 620 |
Series: Leitfäden Der Angewandten Mathematik Und Mechanik - Teubner |
Physical Information: 0.5" H x 5.5" W x 8.5" (0.61 lbs) 232 pages |
Descriptions, Reviews, Etc. |
Publisher Description: 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. |