Path: ...!news-out.netnews.com!s1-1.netnews.com!peer02.iad!feed-me.highwinds-media.com!news.highwinds-media.com!nntp.club.cc.cmu.edu!weretis.net!feeder9.news.weretis.net!feeder8.news.weretis.net!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: I just fixed the loophole of the Gettier cases
Date: Fri, 13 Sep 2024 11:16:02 +0300
Organization: -
Lines: 25
Message-ID: <vc0sc2$p3ah$1@dont-email.me>
References: <vb0lj5$1c1kh$1@dont-email.me> <vb1o9g$1g7lq$1@dont-email.me> <vb3t1j$22k1l$1@dont-email.me> <vb4aq6$2r7ok$1@dont-email.me> <vb6p9v$3aebo$1@dont-email.me> <vb70k8$3b4ub$2@dont-email.me> <vbepsc$q8v6$1@dont-email.me> <vbes94$punj$12@dont-email.me> <24f85bcd40f57685aab93d45f15501178e526d0f@i2pn2.org> <vbh3td$1a0lq$1@dont-email.me> <vbnbps$2g6vo$2@dont-email.me> <vbp3r5$2svm1$1@dont-email.me> <vbphp9$2vfau$4@dont-email.me> <vbrg7v$3fphv$1@dont-email.me> <vbs1nf$3im2p$11@dont-email.me> <vbuafl$62lo$1@dont-email.me> <vc03vn$grkl$3@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Fri, 13 Sep 2024 10:16:02 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="c849adcaa44bd3c7f6aff30dad225ec7";
	logging-data="822609"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19Aqn7azTQtATRKBn8ua5vY"
User-Agent: Unison/2.2
Cancel-Lock: sha1:zJretmqiLiaTxi8BNL3lAiIheP0=
X-Received-Bytes: 2180
Bytes: 2350

On 2024-09-13 01:19:51 +0000, olcott said:

> On 9/12/2024 3:58 AM, Mikko wrote:
>> On 2024-09-11 12:16:46 +0000, olcott said:
>> 
>>> On 9/11/2024 2:18 AM, Mikko wrote:
>>>> 
>>>> Who allows the question but not the correct answer? You?
>>>> 
>>> 
>>> The expressivity of language allows this.
>> 
>> Depends on the language. The formal language of the first order Peano
>> arithmetic does not allow questions.
> 
> I am always assuming a language that is at least
> as expressive as formalized English.

That does not mean anything without specification of which formalization
of Enslish. One can say that the procedure division of a COBOL program is
fromalized Ensglish but its expressive power is very limited.

-- 
Mikko