"There are universal types; there are things we know we know. We also know there are existential types; that is to say we know there are some things we do not know. But there are also dynamic types; the ones we don't know we don't know."
-
-
I think I get your meaning: that ignorance is only one layer deep i.e. the unknown is both presumed knowledge and the lack of knowledge that allows that presumption? I get the feeling one's opinion on the existence of the unconscious will track with their opinion on this
-
The interesting case is the middle one: existential types, or known unknowns. An instance of an existential type represents evidence that certain facts were known at the time of its creation, but those facts are no longer known at the point we're considering it.
- Show replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.