Philosophie Lexikon der ArgumenteHome | |||
| |||
Hartry Field - Philosophie Lexikon der Argumente | |||
Hartry Field (1946), amerikanischer Philosoph. Hauptwerke sind Wissenschaft ohne Zahlen (1980), Realismus, Mathematik und Modalität (1989) und Wahrheit und die Abwesenheit von Fakten (2001). Seine Forschungsgebiete sind Philosophie der Mathematik, Wissenschaftsphilosophie, Erkenntnistheorie und Metaphysik.
Normdaten zur Katalogisierung: VIAF LCCN GND | |||
Beweistheorie (Mathematik, Logik): In der Beweistheorie 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, David | Beweistheorie | Hilbert, David | |
Logik-Texte | Beweistheorie | Logik-Texte, | |
McDowell, John | Beweistheorie | McDowell, John | |
|