Discussion about this post

User's avatar
theSherwood's avatar

I was thinking along the line of syllogisms when I saw the argument maps in Scott’s article. They do seem quite inadequate. But to continue the analogy, syllogisms remained the main formal logic tool for 2000 years until Boom! Predicate logic! Since then, we got fuzzy logic and probabilistic logic and higher-order logic and arithmetic logic and more, each one opening up new shapes of problems to formal reasoning.

Maybe the node and edge maps on their own really are structurally inadequate. What happens when we layer probabilities over the map and probabilities cascade from premises to conclusions? Watch everything change as the user manually updates the probability of some premise and some of the probabilistic conclusions flip.

What about emotional valence, allowing users to score outcomes (even probabilistic outcomes) by how much they matter to the user. Zoom in and out to see computed valence scores in some branches of the graph dominate other branches. Adjust probabilities and the app brings the most newly salient nodes to the fore.

This seems like a really great opportunity to discover new forms of reasoning. The past 2000 years didn’t have our tools.

Drea's avatar

Thank you! So much great work in the space, and the projects I know are finding LLMs transformational. I'm glad we are all seeing the potential.

2 more comments...

Ready for more?