On Semantic and Ontic Truth

Abstract

It is argued that we should distinguish ontic truth––the True––that Frege claimed is sui generis and indefinable, from the semantic concept, for which Tarski provided a definition. Frege’s argument that truth is not definable is clarified and Wittgenstein’s introduction of the distinction between saying and showing is interpreted as an attempted response to Frege’s rejection of the correspondence theory. It is argued that conflicts between realism and Dummettian anti-realism result from their proponents not thoroughly distinguishing between the two closely connected ways of thinking about truth. Last, the distinction is used to clarify and endorse the Fregean claim that all true sentences indicate the True, identified as ontic truth.