Skip to main content
SpringerLink
Log in

Normalformen. Identität und Kennzeichnung. Theorien und definitorische Theorie-Erweiterungen. Kompaktheit. Magische Mengen. Fundamentaltheorem. Analytische und synthetische Konsistenz. Unvollständigkeit und Unentscheidbarkeit

  • Book
  • © 1984

Overview

Authors:
  1. Wolfgang Stegmüller

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

    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, Deutschland

    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 (STEGMÜLLER SA, volume 3 / B)

Part of the book sub series: Strukturtypen der Logik (1079)

  • 416 Accesses

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 19.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 29.95
Price excludes VAT (USA)
  • Compact, lightweight 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 (7 chapters)

  1. Front Matter

    Pages N1-IV
    Download chapter PDF

  2. Normalformen

    1. Normalformen

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

  3. Identität

    1. Identität

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

  4. Theorien

    1. 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
Back to top

Keywords

Authors and Affiliations

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

    Wolfgang Stegmüller, Matthias Varga Kibéd

Bibliographic Information

  • Book Title: Normalformen. Identität und Kennzeichnung. Theorien und definitorische Theorie-Erweiterungen. Kompaktheit. Magische Mengen. Fundamentaltheorem. Analytische und synthetische Konsistenz. Unvollständigkeit und Unentscheidbarkeit

  • Authors: Wolfgang Stegmüller, Matthias Varga Kibéd

  • Series Title: Probleme und Resultate der Wissenschaftstheorie und Analytischen Philosophie

  • DOI: https://doi.org/10.1007/978-3-642-61725-6

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1984

  • Softcover ISBN: 978-3-540-12212-8Published: 01 November 1983

  • eBook ISBN: 978-3-642-61725-6Published: 11 December 2013

  • Edition Number: 1

  • Number of Pages: 143

  • Topics: Mathematical Logic and Foundations

Publish with us

Policies and ethics

Back to top

Search

Navigation