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
This example is where probability theory and Bayesian stuff come in. "Sort-of all ravens are black" is really "most ravens are black". The formal outcome is "Huginn is more likely to be black", which might be a useful thing to know.
3 replies 1 retweet 0 likes -
Replying to @LightningShade0 @Meaningness
yeah this seems like a weird thing to say, when we have fuzzy logic, probability rules, Bayesian belief networks etc. built to work with sort-of truths. i mean at the very least it's obvious that if most ravens are black then a specific raven is most likely black as well.
2 replies 0 retweets 0 likes
Fuzzy logic is hardly ever used in practice, because it hardly ever works.pic.twitter.com/nOJnDEdBFr
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.