我要吃瓜

Citation

Milne P (2013) Not every truth has a truthmaker II. Analysis, 73 (3), pp. 473-481. https://doi.org/10.1093/analys/ant037

Abstract
A proof employing no semantic terms is offered in support of the claim that there can be truths without truthmakers. The logical resources used in the proof are weak but do include the structural rule Contraction.

Keywords
Truthmakers; proof; contraction; Goedel sentences; self-reference; logic

Journal
Analysis: Volume 73, Issue 3