Philosophie Lexikon der Argumente



 
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.

_____________
Anmerkung: Die obigen Begriffscharakterisierungen verstehen sich weder als Definitionen noch als erschöpfende Problemdarstellungen. Sie sollen lediglich den Zugang zu den unten angefügten Quellen erleichtern. - Lexikon der Argumente.
 
Autor Begriff    Weitere Begriffe zu Autor
Field, Hartry Beweistheorie   Field, Hartry
Hilbert, D. Beweistheorie   Hilbert, D.
Logik-Texte Beweistheorie   Logik-Texte
McDowell, John Beweistheorie   McDowell, John


Hg. Martin Schulz, Abfragedatum 20.09.2017