On 7/2/2014 9:52 AM, Bruno Marchal wrote:
The classical theory of knowledge, already present in ancien epistemology is the modal
KT theory, or KT4.
K is [](A -> B) -> ([]A -> []B). It is equivalent with ([]A & [](A -> B)) -> []B. It is
a belief in the modus ponens rule.
T is the important thing: the incorrigibility: you know only truth. []A -> A. The
knowers knows. He might realize latter that he was wrong, but this disqualify his ancien
"knowledge" as knowledge: admitting being wrong provides the admitting it was a belief,
which can be wrong.
"4" is the formula []A -> [][]A. It is used for more stable knowledge than an immediate
sort of knowledge. You know implies that you know that you know.
That makes no sense to me. You define knowing and X as "Believing X and X." But then you
say the knower might be wrong!? You've already assumed he's right as part of defining
"knower". So really you meant "believer" when you wrote "knower"?
Brent
--
You received this message because you are subscribed to the Google Groups
"Everything List" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.
