Pure logic of many-many ground

• Autores: Jon Erling Litland
• Localización: Journal of Philosophical Logic, ISSN-e 1573-0433, Vol. 45, Nº. 5, 2016, págs. 531-577
• Idioma: inglés
• Texto completo no disponible (Saber más ...)
• Resumen

  • A logic of grounding where what is grounded can be a collection of truths is a "many-many" logic of ground. The idea that grounding might be irreducibly many-many has recently been suggested by Dasgupta ( 2014 ). In this paper I present a range of novel philosophical and logical reasons for being interested in many-many logics of ground. I then show how Fine's State-Space semantics for the Pure Logic of Ground (plg) can be extended to the many-many case, giving rise to the Pure Logic of Many-Many Ground (plmmg). In the second, more technical, part of the paper, I do two things. First, I present an alternative formalization of plg; this allows us to simplify Fine's completeness proof for plg. Second, I formalize plmmg using an infinitary sequent calculus and prove that this formalization is sound and complete.