Strukturtypen der Logik

Diese Absicht wurde verstärkt durch den äußeren Umstand, daß in zunehmendem Maße Mathematikstudenten der Münchner Universität bei mir Logik als Nebenfach wählten. Da diese Kandidaten meist keine Zeit und Gelegenheit hatten, meine Veranstaltungen zu besuchen, kam der verständliche Wunsch auf, ich mög...

Full description

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Format: eBook
Language:German
Published: Berlin, Heidelberg Springer Berlin Heidelberg 1984, 1984
Edition:1st ed. 1984
Series:Probleme und Resultate der Wissenschaftstheorie und Analytischen Philosophie
Subjects:
Online Access:
Collection: Springer Book Archives -2004 - Collection details see MPG.ReNa
LEADER 03632nmm a2200277 u 4500
001 EB000668283
003 EBX01000000000000000521365
005 00000000000000.0
007 cr|||||||||||||||||||||
008 140122 ||| ger
020 |a 9783642617225 
245 0 0 |a Strukturtypen der Logik  |h Elektronische Ressource 
250 |a 1st ed. 1984 
260 |a Berlin, Heidelberg  |b Springer Berlin Heidelberg  |c 1984, 1984 
300 |a XV, 526 S.  |b online resource 
505 0 |a Einleitung: Inhaltsübersicht -- 1. Vorbereitungen -- 1.1 Logische und semiotische Präliminarien -- 1.2 Zur Bezeichnungsweise und Symbolik -- 1.3 Grundbegriffe der Mengenlehre -- I. Logik -- 2. Junktoren -- 3. Quantoren -- 4. Kalküle -- 5. Semantiken: Spielarten der denotationellen und nicht-denotationellen Semantik -- 6. Normalformen -- 7. Identität -- 8. Theorien -- II. Metalogische Ergebnisse -- 9. Kompaktheit -- 10. Das Fundamentaltheorem der Quantorenlogik -- 11. Analytische und synthetische Konsistenz. Zwei Typen von Vollständigkeits-beweisen: solche vom Gödel-Gentzen-Typ und solche vom Henkin-Typ -- 12. Unvollständigkeit und Unentscheidbarkeit -- 13. Selbstreferenz, Tarski-Sätze und die Undefinierbarkeit der Wahrheit -- 14. Abstrakte Semantik: Semantische Strukturen und ihre Isomorphie-Arten -- 15. Auszeichnung der Logik erster Stufe: Die Sätze von Lindström -- Bibliographie -- Autorenregister -- Verzeichnis der Symbole und Abkürzungen 
653 |a Mathematical logic 
653 |a Mathematical Logic and Foundations 
710 2 |a SpringerLink (Online service) 
041 0 7 |a ger  |2 ISO 639-2 
989 |b SBA  |a Springer Book Archives -2004 
490 0 |a Probleme und Resultate der Wissenschaftstheorie und Analytischen Philosophie 
028 5 0 |a 10.1007/978-3-642-61722-5 
856 4 0 |u https://doi.org/10.1007/978-3-642-61722-5?nosfx=y  |x Verlag  |3 Volltext 
082 0 |a 511.3 
520 |a Diese Absicht wurde verstärkt durch den äußeren Umstand, daß in zunehmendem Maße Mathematikstudenten der Münchner Universität bei mir Logik als Nebenfach wählten. Da diese Kandidaten meist keine Zeit und Gelegenheit hatten, meine Veranstaltungen zu besuchen, kam der verständliche Wunsch auf, ich möge "etwas Schriftliches verfassen", das man mit nach Hause nehmen könne. Hinzu kam schließlich noch das Wissen um didaktische Nachteile vieler Logik-Bücher. In den meisten von ihnen werden nur spezielle syntaktische und semantische Verfahren behandelt. Wenn z. B. in einem Werk ausschließlich die axiomatische Methode, in einem weiteren allein das natürliche Schließen und in einem dritten nur der Kalkül der PositivfNegativ-Teile vorgeführt wird, so fällt es selbst einem routinier­ ten Mathematiker schwer, die Gleichwertigkeit dieser Kalkülisierungen 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 Bücher handelten von verschiedenen Gegenständen. Doch dies ist nur die eine Seite der Medaille. In immer mehr Bücher, die das Wort ,Logik' im Titel tragen, werden nämlich umgekehrt mehr oder weniger ausführlich Bereiche einbezogen, die zwar für Untersuchungen zur Logik von Wichtigkeit sind, die jedoch weit über den Rahmen der Logik hinausführen, 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 Maße spielen z. B. algebraische Begriffe eine wichtige Rolle bei logischen Untersuchungen