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
Two quotes here from @cdutilhnovaes about this. Also two of her key sources, which I haven’t yet looked into myself (but intend to).pic.twitter.com/CqSK3SAcna
“The materiality of mathematics: Presenting mathematics at the blackboard” by @greiffenhagen makes this much more concrete, through close study of a video of a lecturer presenting a proof of the completeness theorem for propositional logic.pic.twitter.com/Ru0J6xGfmz
Here’s @greiffenhagen showing the embodied, spacial, temporal, interactive nature of a proving of the Dutch Book Argument (cc @cdutilhnovaes)https://twitter.com/Meaningness/status/1005489362052632578 …
(Going to pick up this unfinished thread tomorrow probably—have other things to do now!)
Yesterday’s logic
got out of control. Shorter
here on formal logic as a social practice that is a somewhat-contingent product of cultural evolution:https://twitter.com/Meaningness/status/1150166188476862464 …
Funny, don't remember using this example at all, but it makes a lot of sense that I did
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.