Re: I just fixed the loophole of the Gettier cases with mt new notion of {linguistic truth}

Liste des GroupesRevenir à c theory 
Sujet : Re: I just fixed the loophole of the Gettier cases with mt new notion of {linguistic truth}
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory
Date : 07. Sep 2024, 14:44:17
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <vbhlbh$1c7u5$7@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14
User-Agent : Mozilla Thunderbird
On 9/7/2024 7:22 AM, Richard Damon wrote:
On 9/6/24 11:31 PM, olcott wrote:
On 9/6/2024 6:10 PM, Richard Damon wrote:
On 9/6/24 8:10 AM, olcott wrote:
On 9/6/2024 6:34 AM, Richard Damon wrote:
On 9/5/24 11:47 PM, olcott wrote:
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.
>
And the problem is you can't just "define away" that insufficiency.
>
Your problem is you just don't know enough to see the problem, and thus assume there isn't one, which is EXACTLY the sort of thing Gettier was pointing out. One of the examples was deducing there was a fire because they saw smoke, but the "smoke" was just a cloud of insects, and not smoke, attracted to the fire that wasn't creating smoke.
>
The justification was incorrect, so should we call that knowledge of fire, and if someone can be convinced they "know" something, when they don't, were they correct in calling it "knowledge", and if we can't actually know that we know something, do we even know it, even if it might be true?
>
>
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.
>
No, you are just showing your ignorance for the words or what the problem is.
>
It is not "stipulated" that knowledge is true, it is a definitional requirement. And the problem that Gettier was talking about is that we can't be certain our interpretation of our observation is correct, so we can't be sure our reaso
>
>
*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
>
Which, since it has no "observations" in it, doesn't talk about the issue here.
>
>
It provides a concrete example of sufficient justification thus
conclusively proving the sufficient justification exists.
>
Nope, just that you don't understand the logic you are talking about.
>
Gettier isn't talking about "Analytic Truth" which is a truth based on the defined definitions, but on Knowledge based on observation, i.e emperical knowledge.
>
>
>
Other justifications would be less certain
https://plato.stanford.edu/entries/induction-problem/
>
>
Which seems to mean that you are just trying to define away the problem by ignoring it.
>
A justified true belief is impossibly false because it is stipulated
to only apply to true beliefs.
>
And that is the problem, you can't TELL if it is a justified true belief, so you can't tell if it is actually knowledge.
>
>
Gettier is talking about knowledge that comes from observations, and the fact that it seems impossible to determine if we are "correctly interpreting" or observations of the world.
>
>
Suppose that Smith and Jones have applied for a certain job.
https://en.wikipedia.org/wiki/Gettier_problem#Case_I
Sufficient evidence that Smith got the job would be the boss
tells Smith he got the job.
>
Nope, The boss might have lied.
>
>
It is 100% impossible that the boss lied because in all
of these cases the belief is stipulated to be true.
 Nope, you don't understand that problem.
 The question is how can you determine that your believe has sufficent reason to be true.
Within the stipulated definitions that I am
providing that is the same as asking how do
you know that a true statement is true?
We could define knowledge differently
as any believe such that we have sufficient
reason to know it is true.
Example your boss tells you you got the job and you
take the job and work on the job for ten years.
This is 100% perfectly sufficient reason to know
you got the job.
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

Date Sujet#  Auteur
1 Sep 24 * I just fixed the loophole of the Gettier cases59olcott
1 Sep 24 +- Re: I just fixed the loophole of the Gettier cases1Python
1 Sep 24 `* Re: I just fixed the loophole of the Gettier cases57Mikko
2 Sep 24  `* Re: I just fixed the loophole of the Gettier cases56olcott
2 Sep 24   +- Re: I just fixed the loophole of the Gettier cases1Richard Damon
2 Sep 24   +- Re: I just fixed the loophole of the Gettier cases1Richard Damon
3 Sep 24   `* Re: I just fixed the loophole of the Gettier cases53Mikko
3 Sep 24    `* Re: I just fixed the loophole of the Gettier cases52olcott
4 Sep 24     +* Re: I just fixed the loophole of the Gettier cases2Richard Damon
4 Sep 24     i`- Re: I just fixed the loophole of the Gettier cases1olcott
5 Sep 24     `* Re: I just fixed the loophole of the Gettier cases49Mikko
5 Sep 24      `* I just fixed the loophole of the Gettier cases with mt new notion of {linguistic truth}48olcott
6 Sep 24       +* Re: I just fixed the loophole of the Gettier cases with mt new notion of {linguistic truth}9Richard Damon
6 Sep 24       i`* Re: I just fixed the loophole of the Gettier cases with mt new notion of {linguistic truth}8olcott
6 Sep 24       i `* Re: I just fixed the loophole of the Gettier cases with mt new notion of {linguistic truth}7Richard Damon
6 Sep 24       i  `* Re: I just fixed the loophole of the Gettier cases with mt new notion of {linguistic truth}6olcott
7 Sep 24       i   `* Re: I just fixed the loophole of the Gettier cases with mt new notion of {linguistic truth}5Richard Damon
7 Sep 24       i    `* Re: I just fixed the loophole of the Gettier cases with mt new notion of {linguistic truth}4olcott
7 Sep 24       i     `* Re: I just fixed the loophole of the Gettier cases with mt new notion of {linguistic truth}3Richard Damon
7 Sep 24       i      `* Re: I just fixed the loophole of the Gettier cases with mt new notion of {linguistic truth}2olcott
7 Sep 24       i       `- Re: I just fixed the loophole of the Gettier cases with mt new notion of {linguistic truth}1Richard Damon
6 Sep 24       `* Re: I just fixed the loophole of the Gettier cases with mt new notion of {linguistic truth}38Mikko
6 Sep 24        `* Re: I just fixed the loophole of the Gettier cases with mt new notion of {linguistic truth}37olcott
6 Sep 24         +* Re: I just fixed the loophole of the Gettier cases with mt new notion of {linguistic truth}5Richard Damon
6 Sep 24         i`* Re: I just fixed the loophole of the Gettier cases with mt new notion of {linguistic truth}4olcott
7 Sep 24         i `* Re: I just fixed the loophole of the Gettier cases with mt new notion of {linguistic truth}3Richard Damon
7 Sep 24         i  `* Re: I just fixed the loophole of the Gettier cases with mt new notion of {linguistic truth}2olcott
7 Sep 24         i   `- Re: I just fixed the loophole of the Gettier cases with mt new notion of {linguistic truth}1Richard Damon
7 Sep 24         `* Re: I just fixed the loophole of the Gettier cases with mt new notion of {linguistic truth}31Mikko
7 Sep 24          `* Re: I just fixed the loophole of the Gettier cases with mt new notion of {linguistic truth}30olcott
8 Sep 24           `* Re: I just fixed the loophole of the Gettier cases with mt new notion of {linguistic truth}29Mikko
8 Sep 24            `* Re: I just fixed the loophole of the Gettier cases with mt new notion of {linguistic truth}28olcott
8 Sep 24             +* Re: I just fixed the loophole of the Gettier cases with mt new notion of {linguistic truth}9Richard Damon
9 Sep 24             i`* Re: I just fixed the loophole of the Gettier cases with mt new notion of {linguistic truth}8olcott
10 Sep 24             i `* Re: I just fixed the loophole of the Gettier cases with mt new notion of {linguistic truth}7Richard Damon
10 Sep 24             i  `* Re: I just fixed the loophole of the Gettier cases with mt new notion of {linguistic truth}6olcott
11 Sep 24             i   `* Re: I just fixed the loophole of the Gettier cases with mt new notion of {linguistic truth}5Richard Damon
11 Sep 24             i    `* Re: I just fixed the loophole of the Gettier cases with mt new notion of {linguistic truth}4olcott
12 Sep 24             i     `* Re: I just fixed the loophole of the Gettier cases with mt new notion of {linguistic truth}3Richard Damon
12 Sep 24             i      `* Re: I just fixed the loophole of the Gettier cases with mt new notion of {linguistic truth}2olcott
12 Sep 24             i       `- Re: I just fixed the loophole of the Gettier cases with mt new notion of {linguistic truth}1Richard Damon
9 Sep 24             `* Re: I just fixed the loophole of the Gettier cases with mt new notion of {linguistic truth}18Mikko
9 Sep 24              `* Re: I just fixed the loophole of the Gettier cases with mt new notion of {linguistic truth}17olcott
10 Sep 24               +- Re: I just fixed the loophole of the Gettier cases with mt new notion of {linguistic truth}1Richard Damon
10 Sep 24               `* Re: I just fixed the loophole of the Gettier cases with mt new notion of {linguistic truth}15Mikko
10 Sep 24                `* Re: I just fixed the loophole of the Gettier cases with mt new notion of {linguistic truth}14olcott
11 Sep 24                 +* Re: I just fixed the loophole of the Gettier cases with mt new notion of {linguistic truth}5Richard Damon
11 Sep 24                 i`* Re: I just fixed the loophole of the Gettier cases with mt new notion of {linguistic truth}4olcott
12 Sep 24                 i `* Re: I just fixed the loophole of the Gettier cases with mt new notion of {linguistic truth}3Richard Damon
12 Sep 24                 i  `* Re: I just fixed the loophole of the Gettier cases with mt new notion of {linguistic truth}2olcott
12 Sep 24                 i   `- Re: I just fixed the loophole of the Gettier cases with mt new notion of {linguistic truth}1Richard Damon
11 Sep 24                 `* Re: I just fixed the loophole of the Gettier cases with mt new notion of {linguistic truth}8Mikko
11 Sep 24                  `* Re: I just fixed the loophole of the Gettier cases with mt new notion of {linguistic truth}7olcott
12 Sep 24                   +* Re: I just fixed the loophole of the Gettier cases with mt new notion of {linguistic truth}3Richard Damon
12 Sep 24                   i`* Re: I just fixed the loophole of the Gettier cases with mt new notion of {linguistic truth}2olcott
12 Sep 24                   i `- Re: I just fixed the loophole of the Gettier cases with mt new notion of {linguistic truth}1Richard Damon
12 Sep 24                   `* Re: I just fixed the loophole of the Gettier cases with mt new notion of {linguistic truth}3Mikko
12 Sep 24                    `* Re: I just fixed the loophole of the Gettier cases with mt new notion of {linguistic truth}2olcott
12 Sep 24                     `- Re: I just fixed the loophole of the Gettier cases with mt new notion of {linguistic truth}1Richard Damon

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal