more from Kit Fine

Single Idea 14262

[catalogued under 7. Existence / C. Structure of Existence / 1. Grounding / a. Nature of grounding]

Full Idea

The general formal principles of grounding are Transitivity (AB, BC/AC: if A helps ground B and B helps C, then A helps C), Irreflexivity (AA/absurd: A can't ground itself) and Factivity (AB/A; A/B: for grounding both A and B must be the case).

Clarification

AB means 'A helps ground B' (Fine uses a slightly different symbol)

Gist of Idea

Formal grounding needs transitivity of grounding, no self-grounding, and the existence of both parties

Source

Kit Fine (Some Puzzles of Ground [2010], 4)

Book Reference

-: 'Notre Dame Journal of Formal Logic' [-], p.100