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

 
Bücher bei Amazon
I 100
Objektsprache//Metasprache/Field: Bsp Beweistheorie: hier gibt es gar keine Objektebene.
Objektebene: hier machen die Aussagen keine Referenz auf Sätze oder Formeln - und damit auch nicht auf Axiome, Schlussregeln oder Ableitungen.
Beweistheorie: arbeitet mit mathematischen Entitäten.

Fie I
H. Field
Realism, Mathematics and Modality Oxford New York 1989

Fie II
H. Field
Truth and the Absence of Fact Oxford New York 2001

Fie III
H. Field
Science without numbers Princeton New Jersey 1980

> Gegenargumente gegen Field
> Gegenargumente zu Beweistheorie



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