Inhalt

• Vorwort
• Grundbegriffe
• Syntax
  • Syntaktischer Schlussbegriff
  • Bausteine
  • Formationsregeln
  • Exkurs: Syntaxbäume
  • Exkurs: Polnische Notation
  • Transformationsregeln (Schlussregeln)
    • Regel der Annahme
    • Regel der Und-Einführung ()
    • Regel der Und-Beseitigung ()
    • Regel der Oder-Einführung ()
    • Regel der Oder-Beseitigung ()
    • Regel der Pfeil-Einführung ()
    • Regel der Pfeil-Beseitigung (, modus ponendo ponens)
    • Regel der Negationseinführung (, schwache reductio ad absurdum)
    • Regel der Nicht-Nicht-Beseitigung (, duplex negatio confirmat)
    • Regel der Allquantor-Einführung ()
    • Regel der Allquantor-Beseitigung ()
    • Regel der Existenzquantor-Einführung ()
    • Regel der Existenzquantor-Beseitigung ()
    • Regel der Identitätseinführung ()
    • Regel der Identitätsbeseitigung (, Substitution salva veritate)
  
  
• Semantik
  • Semantik der Sprache der Aussagenlogik
    • Semantik der Satzbuchstaben
    • Semantik der aussagenlogischen Konnektive
    • Exkurs: Alle aussagenlogischen Konnektive
    • Exkurs: Funktionale Vollständigkeit
  • Semantischer Schlussbegriff I: Aussagenlogik
  • Eigennamen
    • Eigentliche Eigennamen (rigid designators)
    • Kennzeichnungen (definite descriptions)
    • Pronomen im Singular
    • Kollektive Eigennamen (mass terms, non count nouns, singularia tantum)
  • Prädikate
  • Quantoren
  • Semantik der Sprache der Prädikatenlogik
    • Das Diskursuniversum
    • Individuenkonstanten
    • Prädikatbuchstaben
    • Wahrheitsregeln für Prädikate
    • Quantoren
  • Semantischer Schlussbegriff II: Prädikatenlogik
  • Exkurs: Begriffe
  • Übersetzungspraxis
    • Übersetzung von Prädikaten und Begriffen
    • Übersetzung von Quantoren
    • Übersetzung von Eigennamen
  
  
• Weiterführende Fragen der Semantik
  • Russells Probleme
    • Das Problem der Substitution salva veritate
    • Das Problem des Tertium non datur
    • Das Problem der negativen Existenzsätze
  • Russells Lösung: seine Kennzeichnungstheorie
    • Die Lösung des Problems der Substitution salva veritate
    • Die Lösung des Problems des Tertium non datur
    • Die Lösung des Problems der negativen Existenzsätze
  • Freges Bedeutungstheorie
  
  
• Anhang
  • Das logische Quadrat
  • Verwendete Zeichen und Abkürzungen
    • Logische Zeichen
    • Einige griechische Buchstaben
  
  
• Literatur
  • Einführungen
  • Kommentar zur Einführungsliteratur
  • Weiterführende Literatur
  • Kommentar zur weiterführenden Literatur
  • Sonstige zitierte Literatur
  
  
• Index