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
Table of Contents:
  • 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