Assertion: priori judgment | /r/HasProperty | truth-valueless
Facets:
value: in every logically possible world
type: LOCATION
value: since synthetic
type: OTHER
Source sentences:
text: ” are thinkably deniable—since synthetic a priori judgments are either true or truth-valueless in every logically possible world, it also follows that they are never false in any logically possible world and thus satisfy Kant’s general definition of a necessary truth, i.e., that a proposition is necessary if and only if it is strictly universally true, in that it is true in every member of a complete class of possible worlds and has no possible counterexamples or falsity-makers (Hanna 2001, ch. 5).