MCMP – Philosophy of Mathematics

Geometrical Roots of Model Theory: Duality and Relative Consistency


Listen Later

Georg Schiemer (Vienna/MCMP) gives a talk at the MCMP Colloquium (9 July, 2015) titled "Geometrical Roots of Model Theory: Duality and Relative Consistency". Abstract: Axiomatic geometry in Hilbert's Grundlagen der Geometrie (1899) is usually described as model-theoretic in character: theories are understood as theory schemata that implicitly define a number of primitive terms and that can be interpreted in different models. Moreover, starting with Hilbert's work, metatheoretic results concerning the relative consistency of axiom systems and the independence of particular axioms have come into the focus of geometric research. These results are also established in a model-theoretic way, i.e. by the construction of structures with the relevant geometrical properties. The present talk wants to investigate the conceptual roots of this metatheoretic approach in modern axiomatics by looking at an important methodological development in projective geometry between 1810 and 1900. This is the systematic use of the "principle of duality", i.e. the fact that all theorems of projective geometry can be dualized.The aim here will be twofold: First, to assess whether the early contributions to duality (by Gergonne, Poncelet, Chasles, and Pasch among others) can already be described as model-theoretic in character. The discussion of this will be based on a closer examination of two existing justifications of the general principle, namely a transformation-based account and a (proto-)proof-theoretic account based on the axiomatic presentation of projective space. The second aim will be to see in what ways Hilbert's metatheoretic results in Grundlagen, in particular his relative consistency proofs, were influenced by the previous uses of duality in projective geometry.
View all episodesView all episodes
Download on the App Store

MCMP – Philosophy of MathematicsBy MCMP Team

  • 5
  • 5
  • 5
  • 5
  • 5

5

2 ratings


More shows like MCMP – Philosophy of Mathematics

View all
Geld und Leben - Ringvorlesung (WiSe 2009-2010) by Ludwig-Maximilians-Universität München

Geld und Leben - Ringvorlesung (WiSe 2009-2010)

0 Listeners

Fakultät für Chemie und Pharmazie - Digitale Hochschulschriften der LMU - Teil 02/06 by Ludwig-Maximilians-Universität München

Fakultät für Chemie und Pharmazie - Digitale Hochschulschriften der LMU - Teil 02/06

1 Listeners

Hegel lectures by Robert Brandom, LMU Munich by Robert Brandom, Axel Hutter

Hegel lectures by Robert Brandom, LMU Munich

6 Listeners

LMU Statistik I für Studierende der Wirtschaftswissenschaften by PD Dr. Christian Heumann

LMU Statistik I für Studierende der Wirtschaftswissenschaften

0 Listeners

Institut für Produktionswirtschaft und Controlling (LMU) by Prof. Dr. Dr. h.c. Hans-Ulrich Küpper

Institut für Produktionswirtschaft und Controlling (LMU)

0 Listeners

LMU Rechtsphilosophie by Prof. Dr. jur. Dr. jur. h.c. mult. Bernd Schünemann

LMU Rechtsphilosophie

0 Listeners

MCMP – Philosophy of Science by MCMP Team

MCMP – Philosophy of Science

2 Listeners

Epistemology and Philosophy of Science: Prof. Dr. Stephan Hartmann – HD by Ludwig-Maximilians-Universität München

Epistemology and Philosophy of Science: Prof. Dr. Stephan Hartmann – HD

1 Listeners

LMU Physik 2 für Chemiker (PN2) SS2016 by Prof. Dr. Jan Lipfert

LMU Physik 2 für Chemiker (PN2) SS2016

0 Listeners

Medizin - Open Access LMU - Teil 16/22 by Ludwig-Maximilians-Universität München

Medizin - Open Access LMU - Teil 16/22

0 Listeners