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

Francesca Poggiolesi (1)

1 IHPST - Institut d'Histoire et de Philosophie des Sciences et des Techniques

In [14] 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.

Mots clés: Logic; derivability; natural deduction; grounding

Domaines: Philosophie

Francesca Poggiolesi. On constructing a logic for the notion of complete and immediate formal grounding. Synthese, 2017, ⟨10.1007/s11229-016-1265-z⟩. ⟨halshs-01474697⟩