![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)
Pure Logic of Iterated Ground
MCMP – Mathematical Philosophy (Archive 2011/12)
English - November 07, 2012 00:25 - 1 hour - 517 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
Previous Episode: Neuroscience Perspective on the Foundations of Mathematics
Next Episode: Local Dependence
Jon Erling Litland (Oslo) gives a talk at the Workshop on Groundedness (26-27 October, 2012) titled "Pure Logic of Iterated Ground". Abstract: The presently existing logics of ground have not had anything to say about iterated grounding claims, that is, claims of the form: "A grounds that (B grounds C)". I develop a pure logic of iterated ground providing a systematic account of such iterated grounding claims. The logic is developed as a Prawitz style natural deduction system; the grounding operators are provided with both introduction and elimination rules, and normalization can be proved. The resulting logic is a conservative extension of Kit Fine's Pure Logic of Ground.