A
on studies of formal logic as an embodied, situated, social, cultural, materially-mediated activity.
This view contrasts with:
1 formal logics as Platonic mathematical objects
2 formal logic as an innate mental capacity
-
Show this thread
-
inspired by @cdutilhnovaes’ _Formal Languages in Logic_, about why formality is useful. Her overall explanation of how formal rationality works is closely similar to mine in _The Eggplant_ draft, so it was exciting reading! https://amzn.to/2NQNsxa2 replies 0 retweets 16 likesShow this thread -
The traditional explanation for the power of logic is “expressive precision,” but the experience of attempting to use logic in AI is that it totally fails for that. Specifically, whenever it encounters nebulosity, which is the main point of Part I of _The Eggplant_.
1 reply 0 retweets 19 likesShow this thread -
Another traditional virtue of logic is truth preservation (true premises => true conclusions); but there are nearly no absolute truths in the eggplant-sized world, and deduction does not preserve mostly-truth. So that’s not the answer outside applications in math and CS.pic.twitter.com/JZBRjPqrUH
4 replies 0 retweets 25 likesShow this thread -
Replying to @Meaningness
Maybe formalization in general is work to make formal logic more widely useful - building a parallel formal world (cultural engineering?) that gets as close as possible to the real world
1 reply 0 retweets 0 likes
Yes very much so; and also (less obvious and perhaps more important) we re-engineer the real world to fit formalisms. Technical rationality is nearly useless in the wilderness; it mainly applies to engineered artifacts.
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.