Strukturtypen der Logik (German, Hardcover, 1984 ed.)

Diese Absicht wurde verstarkt durch den ausseren Umstand, dass in zunehmendem Masse Mathematikstudenten der Munchner Universitat bei mir Logik als Nebenfach wahlten. Da diese Kandidaten meist keine Zeit und Gelegenheit hatten, meine Veranstaltungen zu besuchen, kam der verstandliche Wunsch auf, ich moege "etwas Schriftliches verfassen", das man mit nach Hause nehmen koenne. Hinzu kam schliesslich noch das Wissen um didaktische Nachteile vieler Logik-Bucher. In den meisten von ihnen werden nur spezielle syntaktische und semantische Verfahren behandelt. Wenn z. B. in einem Werk ausschliesslich die axiomatische Methode, in einem weiteren allein das naturliche Schliessen und in einem dritten nur der Kalkul der PositivfNegativ-Teile vorgefuhrt wird, so fallt es selbst einem routinier ten Mathematiker schwer, die Gleichwertigkeit dieser Kalkulisierungen einzusehen. Weichen dann auch noch die Systematisierungen der Se mantik erheblich voneinander ab, so wird ein Nichtmathematiker ver mutlich sogar den Eindruck gewinnen, die fraglichen Bucher handelten von verschiedenen Gegenstanden. Doch dies ist nur die eine Seite der Medaille. In immer mehr Bucher, die das Wort ,Logik' im Titel tragen, werden namlich umgekehrt mehr oder weniger ausfuhrlich Bereiche einbezogen, die zwar fur Untersuchungen zur Logik von Wichtigkeit sind, die jedoch weit uber den Rahmen der Logik hinausfuhren, wie z. B. Rekursionstheorie, axiomatische Mengenlehre oder Hilbertsche Beweis theorie. Zieht man die Grenze einmal so weit, so ist nicht zu erkennen, warum nicht noch viel mehr einbezogen werden sollte. In zunehmendem Masse spielen z. B. algebraische Begriffe eine wichtige Rolle bei logischen Untersuchungen.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Probleme und Resultate der Wissenschaftstheorie und Analytischen Philosophie, 3
Release date:	November 1983
First published:	1984
As told to:	Matthias Varga Von Kibed
Dimensions:	235 x 155 x 33mm (L x W x T)
Format:	Hardcover
Pages:	526
Edition:	1984 ed.
ISBN-13:	978-3-540-12210-4
Languages:	German
Categories:	Books > Science & Mathematics > Mathematics > Mathematical foundations > Mathematical logic Promotions
LSN:	3-540-12210-9
Barcode:	9783540122104

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!