There’s also something partly right about the “informal reasoning messes up formal” idea, as shown by the Cognitive Reflection Test. https://en.wikipedia.org/wiki/Cognitive_reflection_test …pic.twitter.com/ef2sCzzgO3
You can add location information to your Tweets, such as your city or precise location, from the web and via third-party applications. You always have the option to delete your Tweet location history. Learn more
Goddesses are spooks, right? ;-) Above you pointed to "propositions" or "beliefs" as spooks, but they reminded me of what many called a "sense" in late 1900s philosophy of language. Also, "senses" wreak havoc with most straightforward "NL-to-logic" translation attempts...
2/ Basically, a person sortof(MUST) sortof(understand) THAT words after "that" sortof(refer) to nebulous mental objects... The (mostly failed) attempts to translate "NL-to-logic" very systematically often mention "intensional contexts" as jargon:https://www.youtube.com/watch?v=iNVXHvqgubo …
I think the simplest explanation is that he had direct perception of independently real mathematical truths, but looking at the descriptions of his dreams it actually fits quite well...
“...a red screen formed by flowing blood as it were. I was observing it. Suddenly a hand began to write on the screen. I became all attention. That hand wrote a number of results in elliptic integrals. They stuck to my mind. As soon as I woke up, I committed them to writing"
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.