Advertisement

Klassenlogik

  • Franz von Kutschera

Zusammenfassung

Für die Leistungsfähigkeit der modernen gegenüber der traditionellen Logik ist vielleicht das Programm des Logizismus, der Begründung der Mathematik aus der Logik, besonders charakteristisch. Dieses Programm konnte erst auf dem Hintergrund von Systemen der Klassen-logik entstehen, die noch stärker sind als die bisher besprochenen Systeme der P.L. Wir wollen in diesem Kapitel nun einen Bück auf ein solches Logiksystem werfen und das Programm des Logizismus am Beispiel der logischen Begründung der Arithmetik erläutern.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag/Wien 1967

Authors and Affiliations

  • Franz von Kutschera
    • 1
  1. 1.Logik und GrundlagenforschungUniversität MünchenDeutschland

Personalised recommendations