Re: I just fixed the loophole of the Gettier cases

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