On constructing a logic for the notion of complete and immediate formal grounding
pp. 1231-1254
Abstract
In Poggiolesi (2016b) we have introduced a rigorous definition of the notion of complete and immediate formal grounding; in the present paper our aim is to construct a logic for the notion of complete and immediate formal grounding based on that definition. Our logic will have the form of a calculus of natural deduction, will be proved to be sound and complete and will allow us to have fine-grained grounding principles.
Publication details
Published in:
Ulatowski Joseph, Wright Cory (2018) Minimalism about truth. Synthese 195 (3).
Pages: 1231-1254
DOI: 10.1007/s11229-016-1265-z
Full citation:
Poggiolesi Francesca (2018) „On constructing a logic for the notion of complete and immediate formal grounding“. Synthese 195 (3), 1231–1254.