On 4/26/2017 10:21 AM, Bruno Marchal wrote:
Maybe I will just ask you this. 1) Do you agree that consciousness is
a form of knowledge? 2) that knowable obeys the S4 axioms?
S4 =
[](A->B) -> ([]A -> []B) K
[]A->A T
[]A -> [][]A 4
Then incompleteness explains why this works with "[]" payed by
provability, and gives a temporal non nameable subject, which cannot
identify itself with any third person notion.
Are you saying that if [] is interpreted as "knowable" then these axioms
completely characterize "knowable"? And then you reason that "provable"
is characterized by these axioms hence "knowable" and "provable" are the
same thing??
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 https://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.
