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 everything-list+unsubscr...@googlegroups.com.
To post to this group, send email to everything-list@googlegroups.com.
Visit this group at https://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.
