Zusammenfassung
Im ersten Teil dieses Buches wird versucht, alle wichtigen bekannten Kalkülisierungen der modernen Logik sowie im wesentlichen alle semantischen Deutungen von Logiksystemen systematisch zu behandeln. Der zweite Teil des Buches ist einer Darstellung aller bedeutsamen, auf Logiksysteme bezogenen metatheoretischen Resultate gewidmet. Diese Unterscheidung zwischen Logik und Metalogik gilt nur cum grano salis. Denn alle grundlegenden metalogischen Begriffe, wie die Begriffe der logischen Gültigkeit, der Erfüllbarkeit und der logischen Folgerung, werden bereits im ersten Teil eingeführt. Ebenso wird das auf die sechs Typen von Logikkalkülen bezogene Resultat ihrer semantischen Adäquatheit, nämlich deren semantische Korrektheit und semantische Vollständigkeit, bereits im ersten Teil bewiesen. Im zweiten Teil werden also nur die darüber hinausgehenden metalogischen Ergebnisse aufgezeigt und diskutiert.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1984 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Stegmüller, W., von Kibéd, M.V. (1984). Einleitung: Inhaltsübersicht. In: Strukturtypen der Logik. Probleme und Resultate der Wissenschaftstheorie und Analytischen Philosophie, vol 3. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-61722-5_1
Download citation
DOI: https://doi.org/10.1007/978-3-642-61722-5_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-61723-2
Online ISBN: 978-3-642-61722-5
eBook Packages: Springer Book Archive