Discover this podcast and so much more

Podcasts are free to enjoy without a subscription. We also offer ebooks, audiobooks, and so much more for just $11.99/month.

Geometrical Roots of Model Theory: Duality and Relative Consistency

Geometrical Roots of Model Theory: Duality and Relative Consistency

FromMCMP – Philosophy of Mathematics


Geometrical Roots of Model Theory: Duality and Relative Consistency

FromMCMP – Philosophy of Mathematics

ratings:
Length:
69 minutes
Released:
Jul 14, 2015
Format:
Podcast episode

Description

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.
Released:
Jul 14, 2015
Format:
Podcast episode

Titles in the series (22)

Mathematical Philosophy - the application of logical and mathematical methods in philosophy - is about to experience a tremendous boom in various areas of philosophy. At the new Munich Center for Mathematical Philosophy, which is funded mostly by the German Alexander von Humboldt Foundation, philosophical research will be carried out mathematically, that is, by means of methods that are very close to those used by the scientists. The purpose of doing philosophy in this way is not to reduce philosophy to mathematics or to natural science in any sense; rather mathematics is applied in order to derive philosophical conclusions from philosophical assumptions, just as in physics mathematical methods are used to derive physical predictions from physical laws. Nor is the idea of mathematical philosophy to dismiss any of the ancient questions of philosophy as irrelevant or senseless: although modern mathematical philosophy owes a lot to the heritage of the Vienna and Berlin Circles of Logical Empiricism, unlike the Logical Empiricists most mathematical philosophers today are driven by the same traditional questions about truth, knowledge, rationality, the nature of objects, morality, and the like, which were driving the classical philosophers, and no area of traditional philosophy is taken to be intrinsically misguided or confused anymore. It is just that some of the traditional questions of philosophy can be made much clearer and much more precise in logical-mathematical terms, for some of these questions answers can be given by means of mathematical proofs or models, and on this basis new and more concrete philosophical questions emerge. This may then lead to philosophical progress, and ultimately that is the goal of the Center.