Published online by Cambridge University Press: 12 March 2014
In [1], page 85, Quine states: “… ponentials of logically true statements are logically true.” It is perhaps of some interest that this assertion is not completely precise as can be seen from counterexamples. One simple example is the following:
Let L be some language in which ‘c’ and ‘b’ are atomic sentential constants. Let ‘c’ be false and ‘b’ true. Suppose that L includes parentheses and the material conditional ‘⊃’ as logical notation, but that ‘b’, at least, counts as extra-logical.