Deutsch English Français Italiano |
<vbhjtn$1c7u5$3@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
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: Re: {linguistic truth} is the foundation of truth in mathematical logic Date: Sat, 7 Sep 2024 08:19:50 -0500 Organization: A noiseless patient Spider Lines: 40 Message-ID: <vbhjtn$1c7u5$3@dont-email.me> References: <vbdfk4$h64u$1@dont-email.me> <vber20$qdsh$1@dont-email.me> <vberl2$punj$10@dont-email.me> <vbh3ka$19upq$1@dont-email.me> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Injection-Date: Sat, 07 Sep 2024 15:19:51 +0200 (CEST) Injection-Info: dont-email.me; posting-host="fc36cd944b9fa7fa30157002795d809b"; logging-data="1449925"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18t8cdxdZJ7W+VsXDHnX+ru" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:dTe1rUvjUTTvi4j09rfrh7g61CA= In-Reply-To: <vbh3ka$19upq$1@dont-email.me> Content-Language: en-US Bytes: 2529 On 9/7/2024 3:41 AM, Mikko wrote: > 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. > I don't care. When I refer to analytic truth most everyone says that has been disavowed by Quine and the conversation dies right there. The most apt name for truth specified by relations between finite strings is linguistic truth. Truth that requires sense data form the sense organs become empirical truth. This converts the analytic/synthetic distinction into the linguistic/empirical distinction so Willard Van Orman Quine can STFU ! -- Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer