Assertion: logical truth | /r/HasProperty | a priori
Facets:
value: for maddy
type: TRANSITIVE-OBJECT
Source sentences:
text: If it is accepted that logical truths are a priori, it is natural to think that they must be true or could not be false at least partly in the strong sense that their negations are incompatible with what we are able to know non-empirically.
text: This is especially frequent in philosophers on whose conception logical truths must be a priori or analytic.
text: For Maddy, logical truths are a posteriori, but they cannot be disconfirmed merely by observation and experiment, since they form part of very basic ways of thinking of ours, deeply embedded in our conceptual machinery (a conceptual machinery that is structurally similar to Kant's postulated transcendental organization of the understanding).
text: The only thing that follows (from (ii) alone under the assumptions that model-theoretic validity is sound with respect to logical truth and that logical truths are a priori and analytic) is that no calculus sound with respect to model-theoretic validity can by itself model all the a priori or analytic reasonings that people are able to make.