Intentic Semantics for Potentialist Truthmaking
Paul Gorbow

TL;DR
This paper develops a semantic framework for potentialist truthmaking using intentic states, providing a sound and complete recursive construction for first-order logic, and explores the computational properties of non-hypothetical reasoning.
Contribution
It introduces intentic states for potentialist semantics, extending truthmaking to both classical and intuitionistic logic, and investigates decidability of non-hypothetical logic over Peano Arithmetic.
Findings
Semantic framework based on intentic states is sound and complete.
Supports truthmaking growth and hypothetical refinement relations.
Suggests decidability of non-hypothetical logic over Peano Arithmetic.
Abstract
This draft introduces the technical machinery of a semantic framework for potentialist truthmaking based on our innovation of intentic states, which are structured partial models accounting for our distinction between non-hypothetical and hypothetical reasoning. The framework is developed for first-order logic in a purely relational language and is compatible with both classical and intuitionistic settings. Truthmaking is defined via a recursive construction over intentic states, yielding a semantic consequence relation that is shown to be sound and complete with respect to standard natural deduction. The resulting structure supports two natural extension relations, corresponding to truthmaking growth and hypothetical refinement, which are shown to satisfy the axioms governing Linnebo's bi-modal potentialist semantics. Moreover, we investigate the computational properties of the…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsLogic, programming, and type systems · Logic, Reasoning, and Knowledge · Philosophy and Theoretical Science
