Liste des Groupes | Revenir à s logic |
On 9/3/2024 5:44 AM, Mikko wrote:As I don't know and can't (at least now) verify whether your leftOn 2024-09-02 12:24:38 +0000, olcott said:I don't think that is correct.
On 9/2/2024 3:29 AM, Mikko wrote:If the belief is about something real then its justificationOn 2024-09-01 12:56:16 +0000, olcott said:For the justification to be sufficient the consequence of
On 8/31/2024 10:04 PM, olcott wrote:What could be a sufficient reason? Every justification of every*I just fixed the loophole of the Gettier cases*With a Justified true belief, in 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 observer does not know enough to know its true
yet it remains stipulated to be true.
My original correction to this was a JTB such that the
justification necessitates the truth of the belief.
With a [Sufficiently Justified belief], it is stipulated
that the observer does have a sufficient reason to accept
the truth of the belief.
belief involves other belifs that could be false.
the belief must be semantically entailed by its justification.
involves claims about something real. Nothing real is certain.
My left hand exists right now even if it is
a mere figment of my own imagination and five
minutes ago never existed.
The concepts of knowledge and truth are applicable to the knowledgeIf the belief is not about something real then it is not clear*An axiomatic chain of inference based on this*
whether it is correct to call it "belief".
By the theory of simple types I mean the doctrine which says
that the objects of thought (or, in another interpretation,
the symbolic expressions) are divided into types, namely:
individuals, properties of individuals, relations between
individuals, properties of such relations, etc.
...sentences of the form: " a has the property φ ", " b bears
the relation R to c ", etc. are meaningless, if a, b, c, R, φ
are not of types fitting together.
https://en.wikipedia.org/wiki/History_of_type_theory#G%C3%B6del_1944
Les messages affichés proviennent d'usenet.