Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Mikko <mikko.levanto@iki.fi>
Newsgroups: sci.logic
Subject: Re: {linguistic truth} is the foundation of truth in mathematical logic
Date: Sat, 7 Sep 2024 11:41:46 +0300
Organization: -
Lines: 26
Message-ID: <vbh3ka$19upq$1@dont-email.me>
References: <vbdfk4$h64u$1@dont-email.me> <vber20$qdsh$1@dont-email.me> <vberl2$punj$10@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 07 Sep 2024 10:41:46 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="0718f94d0f30d61f4b7b5b31b7d2bfcf";
	logging-data="1375034"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19/gLID26keLYFnsf59TNP1"
User-Agent: Unison/2.2
Cancel-Lock: sha1:p8EVUIzzl48JK3Yr4Vqu7fYLP6U=
Bytes: 1755

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