![MCMP – Mathematical Philosophy (Archive 2011/12) artwork](https://is4-ssl.mzstatic.com/image/thumb/Podcasts4/v4/6b/4d/08/6b4d08ad-88d8-e7bf-e7fc-e9363daf19a0/mza_981599044798680511.jpg/100x100bb.jpg)
Logical Grounds
MCMP – Mathematical Philosophy (Archive 2011/12)
English - November 27, 2012 00:38 - 57 minutes - 469 MB Video - ★★★★★ - 6 ratingsPhilosophy Society & Culture philosophy logic science language mathematics hannes leitgeb stephan hartmann mcmp lmu Homepage Download Apple Podcasts Google Podcasts Overcast Castro Pocket Casts RSS feed
Fabrice Correia (Neuchâtel) gives a talk at the MCMP Colloquium (15 November, 2012) titled "Logical Grounds". Abstract: Philosophers have recently displayed a strong interest in the idea that some facts or truths hold in virtue of - or, as they say, are grounded in - others facts or truths. Grounding come in various sorts, and my talk will focus on logical grounding as opposed to e.g. metaphysical or normative grounding. I will (i) offer a proof-theoretic characterisation of the concept relative to propositional and first-order languages, (ii) show that so characterised, the concept can be used to characterise some notions of truth-in-a-model and various semantic consequence relations, and finally (iii) connect my concept of logical grounding with the notion of groundedness put forward by Kripke in his "Outline of a Theory of Truth".