Statements have no meaning inherent in themselves. That doesn’t stop us ascribing semantics to things, we just have to stop believing that “P∧(P=>Q) ⊦ Q” has a little XML tag saying “true” stuck to it out there in Plato-space.
Statements have no meaning inherent in themselves. That doesn’t stop us ascribing semantics to things, we just have to stop believing that “P∧(P=>Q) ⊦ Q” has a little XML tag saying “true” stuck to it out there in Plato-space.