Path: ...!weretis.net!feeder9.news.weretis.net!i2pn.org!i2pn2.org!.POSTED!not-for-mail From: Richard Damon Newsgroups: sci.logic Subject: Re: I just fixed the loophole of the Gettier cases Date: Sat, 14 Sep 2024 22:10:52 -0400 Organization: i2pn2 (i2pn.org) Message-ID: References: <24f85bcd40f57685aab93d45f15501178e526d0f@i2pn2.org> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Injection-Date: Sun, 15 Sep 2024 02:10:52 -0000 (UTC) Injection-Info: i2pn2.org; logging-data="2097785"; mail-complaints-to="usenet@i2pn2.org"; posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg"; User-Agent: Mozilla Thunderbird In-Reply-To: Content-Language: en-US X-Spam-Checker-Version: SpamAssassin 4.0.0 Bytes: 2582 Lines: 36 On 9/14/24 5:28 PM, olcott wrote: > On 9/13/2024 3:16 AM, Mikko wrote: >> 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. > > WHY THE HELL WOULD YOU ASSUME THAT I DON'T MEAN ALL OF IT? Obviously, you don't understand the question, because you don't understand the problem. There isn't an "All" that can apply. > >> One can say that the procedure division of a COBOL program is >> fromalized Ensglish but its expressive power is very limited. >> > >