Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: sci.logic
Subject: {Linguistic/Empirical Distinction} (adaptation of the
 Analytic/Synthetic Distinction)
Date: Wed, 11 Sep 2024 08:13:16 -0500
Organization: A noiseless patient Spider
Lines: 37
Message-ID: <vbs51c$3k9ub$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Wed, 11 Sep 2024 15:13:17 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="1fbca11ebde057c24ab486512c233e96";
	logging-data="3811275"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18Inf1O8sbBgHBSdw92jKQ0"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:V85LnPEkyEDP2E+goIQE7LuXJrQ=
Content-Language: en-US
Bytes: 2561

{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