Is AI Still Just a "Reasoning Machine"?
vasilisvj · reddit · 2026-07-14
The author refers to the 1956 Logic Theorist as the "earliest talk-show-style origin of AI," arguing that 70 years later, we are still repeating the same mistake: confusing mechanism with actual understanding.
The core thesis is that whether it's expert systems, neural networks, or language models, they are fundamentally just "syllogism machines in different packaging." They process symbols or statistical patterns without ever truly engaging with the physical world.
Several historical and philosophical concepts are used to back this up:
- Aristotle's formal logic is a "tool," not a "definition."
- phronesis (practical wisdom) cannot be fully captured by formal systems.
- The 1969 frame problem remains genuinely unsolved today.
- Children naturally know that "when you pick up a red block, the blue block doesn't move with it"—this kind of worldly common sense isn't acquired through explicit axioms.
The piece concludes with an open question: Is there a viable path from pattern matching to genuine reasoning, or is this gap fundamental?
More from AGI Musings
- Claude Code skill uses 10 Markdown rules to make outputs ADHD-friendly — alex_verem · 2026-07-22
- AI Power Demand Exposes US Energy Gap, Urging Shift from Scarcity to Abundance — bradneuberg · 2026-07-22
- ControlAI CEO says an international ban on superintelligence is needed to avert extinction risk — zetalyrae · 2026-07-22
- Gary Marcus says LLMs still cannot really do math on their own — GaryMarcus · 2026-07-22
- Gary Marcus says LLM math skills are like knowing only a car’s engine size — GaryMarcus · 2026-07-22
- AI may make digital work infinitely leveraged while offline life gets more human — illscience · 2026-07-22