Sujet : Re: {linguistic truth} is the foundation of truth in mathematical logic
De : mikko.levanto (at) *nospam* iki.fi (Mikko)
Groupes : sci.logicDate : 07. Sep 2024, 09:41:46
Autres entêtes
Organisation : -
Message-ID : <vbh3ka$19upq$1@dont-email.me>
References : 1 2 3
User-Agent : Unison/2.2
On 2024-09-06 12:13:22 +0000, olcott said:
On 9/6/2024 7:03 AM, Mikko wrote:
On 2024-09-05 23:41:55 +0000, olcott said:
A whole body of {linguistic truth} can be defined as expressions
of language that are true on the basis of their meaning expressed
in this same language.
Expressions that can only be known to be true on the basis
of observation belong to a different class of knowledge.
Linguistic things should be discussed in sci.lang.
This group is for things related to logic.
The actual foundation of logical and mathematical truth
is simply relations between finite strings, thus linguistic
truth.
I don't think logicians want to use the word "linguistic" for anything
in foundations of logic.
-- Mikko
{linguistic truth} is the foundation of truth in mathematical logic
Re: {linguistic truth} is the foundation of truth in mathematical logic