On constructing a logic for the notion of complete and immediate formal grounding

Francesca Poggiolesi

pp. 1231-1254

in: Joseph Ulatowski, Cory Wright (eds), Minimalism about truth, Synthese 195 (3), 2018.

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.