{Linguistic/Empirical Distinction} (adaptation of the Analytic/Synthetic Distinction)

{Linguistic/Empirical Distinction} (adaptation of the Analytic/Synthetic Distinction) Truth entirely contained within language versus truth requiring sense data from the sense organs, direct observation.
{Linguistic Truth} is entirely comprised of relations between finite strings. *Some of these relations are stipulated to be true* and some of these relations are truth preserving operations between finite stings.
*Haskell Curry has a similar idea*
"an elementary theorem is an elementary statement which is true."
Curry, Haskell 1977. Foundations of Mathematical Logic. New York:
Dover Publications, 45
It seems that all truth within formal mathematical languages is comprised of relations between finite strings that can be specified syntactically.
Thus deriving True(L, x) in language L for expression x would merely need to verify that there is a sequence of truth preserving operations in language L to expression x.
*More specifically*
When expression x of language L is connected to its semantic meaning M by a sequence of truth preserving operations S in language L then and only then is x true in L. This maintains a close connection to the "true on the basis of its meaning" aspect of {Analytic Truth}.
**Montague grammar**
Provides the means for natural language semantics to be formalized syntactically. This allows extending the notion of {Linguistic Truth} to natural languages.
https://en.wikipedia.org/wiki/Montague_grammar
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer