Grounds and Consequences
Abstract:We first introduce the intuitive idea of a relation of grounding between facts (§1). Then we propose a definition of this idea, based on a certain theory of the structure of facts (§2, with formalization in an appendix). Finally we consider the idea of proofs of a special kind, namely proofs which follow the grounds of what is proved (§3).
Document Type: Research Article
Publication date: March 1, 2010