Philosophie Lexikon der Argumente

Suche  
 
Beweistheorie (Mathematik, Logik): hier geht es um die Existenz oder Nichtexistenz von endlichen Zeichenketten, aus denen sich eine Aussage herleiten lässt. Daher gehört die Beweistheorie zur Syntax, im Gegensatz zur Modelltheorie, die zur Semantik gehört. Modelltheorie, Semantik, Syntax, Beweis.
 
Autor/Titel Begriff Exzerpt Metadaten
Logik-Texte
 
Bücher bei Amazon
Beweistheorie Hoyningen-Huene II 257ff
Beweistheorie/Hoyningen-Huene: hier wird die Abstraktionstendenz noch weiter getrieben als bei der Modelltheorie und auch für die Definition der metalogischen Begriffe von der Bedeutung der Junktoren abstrahiert, es wird rein syntaktisch vorgegangen. - Ein Kalkül ist nichts anderes als ein System von Erzeugungsregeln für Druckbilder. > Uninterpretiertes formales System - die Kalküle unterscheiden sich in ihrer Verwendung der Operatoren.

> Gegenargumente zu Beweistheorie



> Eigenen Beitrag vorschlagen | > Haben Sie einen Fehler entdeckt? | > Export als BibTeX Datei
 
Hg. Martin Schulz, Abfragedatum 26.04.2017