Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Mikko <mikko.levanto@iki.fi>
Newsgroups: comp.theory
Subject: Re: I just fixed the loophole of the Gettier cases
Date: Thu, 5 Sep 2024 10:20:32 +0300
Organization: -
Lines: 40
Message-ID: <vbbm40$8k2u$1@dont-email.me>
References: <vb0lkb$1c1kh$2@dont-email.me> <vb1hdi$1feme$1@dont-email.me> <vb4erg$2s0uc$1@dont-email.me> <vb6hv7$39dvq$1@dont-email.me> <vb71fn$3b4ub$5@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Thu, 05 Sep 2024 09:20:33 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="41e98385bc3f4fa14336b6e96bd31129";
	logging-data="282718"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18xPXkklNLWttGEpasGbmw0"
User-Agent: Unison/2.2
Cancel-Lock: sha1:L5N+86dp0bgoFPa4qNlkCr9US/4=
Bytes: 2131

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

> On 9/3/2024 3:39 AM, Mikko wrote:
>> On 2024-09-02 13:33:36 +0000, olcott said:
>> 
>>> On 9/1/2024 5:58 AM, Mikko wrote:
>>>> On 2024-09-01 03:04:43 +0000, olcott said:
>>>> 
>>>>> *I just fixed the loophole of the Gettier cases*
>>>>> 
>>>>> knowledge is a justified true belief such that the
>>>>> justification is sufficient reason to accept the
>>>>> truth of the belief.
>>>>> 
>>>>> https://en.wikipedia.org/wiki/Gettier_problem
>>>> 
>>>> The remaining loophole is the lack of an exact definition
>>>> of "sufficient reason".
>>>> 
>>> 
>>> Ultimately sufficient reason is correct semantic
>>> entailment from verified facts.
>> 
>> The problem is "verified" facts: what is sufficient verification?
>> 
> 
> Stipulated to be true is always sufficient:
> Cats are a know if animal.

Insufficient for practtical purposes. You may stipulate that
nitroglycerine is not poison but it can kill you anyway.

> Empirically verified to be true in the current moment:
> I have a left hand right now, is sufficient.

I can't verify that.

-- 
Mikko