Skip to main content
SpringerLink
Log in

Strukturtypen der Logik

  • Book
  • © 1984

Overview

Authors:
  1. Wolfgang Stegmüller

    1. Seminar für Philosophie, Logik und Wissenschaftstheorie, Universität München, München 22, Germany

    View author publications

    You can also search for this author in PubMed   Google Scholar

  2. Matthias Varga Kibéd

    1. Seminar für Philosophie, Logik und Wissenschaftstheorie, Universität München, München 22, Germany

    View author publications

    You can also search for this author in PubMed   Google Scholar

Part of the book series: Probleme und Resultate der Wissenschaftstheorie und Analytischen Philosophie (STEGMUELLER, volume 3)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 139.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 179.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 179.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (16 chapters)

  1. Front Matter

    Pages N1-XV
    Download chapter PDF

  2. Einleitung: Inhaltsübersicht

    1. Einleitung: Inhaltsübersicht

      • Wolfgang Stegmüller, Matthias Varga von Kibéd
      Pages 1-23

  3. Vorbereitungen

    1. Vorbereitungen

      • Wolfgang Stegmüller, Matthias Varga von Kibéd
      Pages 24-46

  4. Logik

    1. Front Matter

      Pages 47-47
      Download chapter PDF

    2. Junktoren

      • Wolfgang Stegmüller, Matthias Varga von Kibéd
      Pages 49-72

    3. Quantoren

      • Wolfgang Stegmüller, Matthias Varga von Kibéd
      Pages 73-96

    4. Kalküle

      • Wolfgang Stegmüller, Matthias Varga von Kibéd
      Pages 97-204

    5. Semantiken: Spielarten der denotationellen und nicht-denotationellen Semantik

      • Wolfgang Stegmüller, Matthias Varga von Kibéd
      Pages 205-230

    6. Normalformen

      • Wolfgang Stegmüller, Matthias Varga von Kibéd
      Pages 231-259

    7. Identität

      • Wolfgang Stegmüller, Matthias Varga von Kibéd
      Pages 260-279

    8. Theorien

      • Wolfgang Stegmüller, Matthias Varga von Kibéd
      Pages 280-291

  5. Metalogische Ergebnisse

    1. Front Matter

      Pages 293-293
      Download chapter PDF

    2. Kompaktheit

      • Wolfgang Stegmüller, Matthias Varga von Kibéd
      Pages 295-314

    3. Das Fundamentaltheorem der Quantorenlogik

      • Wolfgang Stegmüller, Matthias Varga von Kibéd
      Pages 315-329

    4. Analytische und synthetische Konsistenz. Zwei Typen von Vollständigkeitsbeweisen: solche vom Gödel-Gentzen-Typ und solche vom Henkin-Typ

      • Wolfgang Stegmüller, Matthias Varga von Kibéd
      Pages 330-341

    5. Unvollständigkeit und Unentscheidbarkeit

      • Wolfgang Stegmüller, Matthias Varga von Kibéd
      Pages 342-374

    6. Selbstreferenz, Tarski-Sätze und die Undefinierbarkeit der Wahrheit

      • Wolfgang Stegmüller, Matthias Varga von Kibéd
      Pages 375-402

    7. Abstrakte Semantik: Semantische Strukturen und ihre Isomorphie-Arten

      • Wolfgang Stegmüller, Matthias Varga von Kibéd
      Pages 403-457

    8. Auszeichnung der Logik erster Stufe: Die Sätze von Lindström

      • Wolfgang Stegmüller, Matthias Varga von Kibéd
      Pages 458-499

  6. Back Matter

    Pages 499-526
    Download chapter PDF
Back to top

Keywords

About this book

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.

Authors and Affiliations

  • Seminar für Philosophie, Logik und Wissenschaftstheorie, Universität München, München 22, Germany

    Wolfgang Stegmüller, Matthias Varga Kibéd

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation