Suppose our ordinary notion of truth is ‘inconsistent’ in the sense that its meaning is partly given by principles that classically entail a logical contradiction. Should we replace the notion with a consistent surrogate? This paper begins by defusing various arguments in favor of this revisionary proposal, including Kevin Scharp’s contention that we need to replace truth for the purposes of semantic theorizing . Borrowing a certain conservative metasemantic principle from Matti Eklund, the article goes on to build a positive (...) case for the opposite policy: retaining truth as-is. The thought is basically that bivalence for the bulk of what we say in the course of ordinary, scientific, and philosophical inquiry should suffice to justify keeping ‘true’. Two versions of the story are told: one more philosophical, drawing on an analogy to Lewis’ response to Putnam’s paradox; the other more technical, invoking a deviant stran.. (shrink)

Thomas Hofweber takes the semantic paradoxes to motivate a radical reconceptualization of logical validity, rejecting the idea that an inference rule is valid just in case every instance thereof is necessarily truth-preserving. Rather than this “strict validity”, we should identify validity with “generic validity”, where a rule is generically valid just in case its instances are truth preserving, and where this last sentence is a generic, like “Bears are dangerous”. While sympathetic to Hofweber’s view that strict validity should be replaced (...) by something allowing for exceptions, I argue that this should instead be truth-conduciveness, a matter of a large majority of instances being truth-preserving. The fact that inference rules have uncountably many instances, I argue, can be handled by defining truth-conduciveness as relative to finite sets of instances. Moreover, I argue that Hofweber’s position, while seemingly radical, may be less so under closer scrutiny. For the mere claim that classical rules and unrestricted truth rules are generically valid (or truth-conducive) is not in itself controversial. Also, if there is an answer to the question of which of these are also strictly valid, then the claim that generic validity is the central notion in logic is at most an interest-relative matter, since there is then also a fact of the matter as to which inference rules are (not) strictly valid. If no solution operating with strict validity to the paradoxes can be had, however, then the claim that validity should be identified with a weaker notion is better motivated. I argue that it is reasonable, in view of past failures, to conjecture that no ordinary solution will score high enough relative to standard (uncontroversial) desiderata to merit justified belief. Hence, it is unknowable which solution is correct. I further argue that this is best explained by its being metaphysically indeterminate which solution is correct. If this conjecture is true, then we ought instead to think of validity as allowing exceptions, and then take the “true logic” to be one that takes both the classical rules and the truth rules to be valid, i.e., truth-conducive. This logic scores very high on the desiderata on logics, and is therefore preferable to any logic operating with strict validity. (shrink)