Milne P (2013) Not every truth has a truthmaker II. Analysis, 73 (3), pp. 473-481. https://doi.org/10.1093/analys/ant037
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.
Truthmakers; proof; contraction; Goedel sentences; self-reference; logic
Analysis: Volume 73, Issue 3