Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory
Subject: Re: I just fixed the loophole of the Gettier cases with mt new notion
 of {linguistic truth}
Date: Thu, 5 Sep 2024 22:47:42 -0500
Organization: A noiseless patient Spider
Lines: 75
Message-ID: <vbdu0u$mitl$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> <vbbm40$8k2u$1@dont-email.me>
 <vbc9t5$bdtb$1@dont-email.me>
 <535636bb8095cdedbe3140d17c5376e941b2bf15@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Fri, 06 Sep 2024 05:47:42 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="be3ab62c57446c7ddf1fbbd69383ba43";
	logging-data="740277"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19M4jLWmho5g2B5BvCC8f9p"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:OzXNQvbaekujfWHgrQBNkuF+CcM=
In-Reply-To: <535636bb8095cdedbe3140d17c5376e941b2bf15@i2pn2.org>
Content-Language: en-US
Bytes: 4159

On 9/5/2024 9:35 PM, Richard Damon wrote:
> On 9/5/24 8:58 AM, olcott wrote:
>> On 9/5/2024 2:20 AM, Mikko wrote:
>>> 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.
>>>
>>
>> The point is that <is> the way the linguistic truth actually works.
>> Millions of these stipulated relations in a knowledge hierarchy
>> https://en.wikipedia.org/wiki/Ontology_(information_science)
>> comprise human knowledge expressed in language.
>>
>> Stipulated relations are like the Prolog Facts. Truth preserving
>> operations are like the Prolog Rules. Anything unprovable by
>> Facts and Rules in the system is untrue in the system.
>>
>> Self-contradictory expressions are rejected as not truth bearers
>> instead of categorized as undecidable propositions.
> 
> Which just shows you don't even understand the problem that Gettier was 
> pointing out. It isn't "bad logic", it is knowing you have a correct 
> interpretation of your observations.
> 
> Your problem is it is impossible to determine "sufficient verification".
> 

It was a justified true belief (all three were stipulated)
except the justification had a loophole allowing it to be
insufficient justification under Gettier.

Just like it is stipulated to be true, it is now stipulated
to be "sufficient justification". The strongest justification
is a necessary consequence from stipulated truths.

*The simplest example of this is the syllogism*
Major premise: All humans are mortal.
Minor premise: All Greeks are humans.
Conclusion/Consequent: All Greeks are mortal.
https://en.wikipedia.org/wiki/Syllogism#Basic_structure

Other justifications would be less certain
https://plato.stanford.edu/entries/induction-problem/

-- 
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer