Assertion: priori judgment | /r/HasProperty | true
Facets:
value: always
type: DEGREE
value: in every logically possible world
type: LOCATION
value: everywhere
type: LOCATION
value: since synthetic
type: OTHER
value: in truth-valueless
type: OTHER
Source sentences:
text: Now since according to Kant our a priori formal representations of space and time are both necessary conditions of the possibility of human experience and also necessary conditions of the objective validity or empirical meaningfulness of judgments, which in turn confers truth-valuedness upon propositions, it then follows that a synthetic a priori judgment is a proposition that is true in all and only the humanly experienceable possible worlds and truth-valueless otherwise (Hanna 2001, 239–245).
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).
text: Analytic a priori judgments are necessary in that they are always everywhere true.