So instead we restrict the ontology to syntactic systems devoid of any semantics; the statement “”Foo” is true” is meaningless.
If reality is “devoid of semantics”, then all statements are meaningless.
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.
If reality is “devoid of semantics”, then all statements are meaningless.
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.