Line of inquiry
Inquiring lines›Where does language-model reasonin…›How do modularity, routing, and se…›this line of inquiry
Do language models perform faithful symbolic reasoning independent of semantic grounding?
A broader line of inquiry — a family of 40 specific questions the research asks around this. Follow one into its inquiring-line page, or move sideways to a related line below.
Questions in this line of inquiry 40
Specific inquiring lines the field asks around this — ordered from the most general framing down to the most specific angle.
- Can language models perform purely symbolic reasoning when semantics are removed?
- Can language models perform genuine symbolic reasoning without semantic grounding?
- Can LLMs translate between natural language and formal logic faithfully?
- Why does augmenting symbolic reasoning outperform replacing it entirely?
- Can language models reason without relying on learned semantic patterns?
- Why do LLMs struggle to translate natural language into logical formalizations?
- Why do LLMs fail at faithful autoformalisation of reasoning problems?
- Can language models translate theorems faithfully without semantic loss?
- Can reasoning chains work without logical validity?
- What makes structural logic correlate so strongly with contextual consistency?
- How does semantic reasoning differ from symbolic reasoning in language models?
- Does structured decomposition improve LLM reasoning in other compound tasks?
- Why do language models imitate reasoning form without abstract inference capability?
- Can LLMs successfully translate natural language into formal solver specifications?
- Why do LLMs generate logical forms without preserving semantic content?
- What makes deductive reasoning so brittle in language models overall?
- Can LLMs reliably generate novel working architectures without structured representations?
- How do LLMs lose information when translating natural language to formal logic?
- How does in-context semantic reasoning differ from symbolic reasoning in concept fusion?
- Why do format and structure matter more than actual content in reasoning?
- What makes structured informal reasoning preferable to full formalization?
- Why can LLMs interpret formal logic better than they generate it?
- How does neuro-symbolic design differ from pure LLM reasoning?
- How do semantic and symbolic reasoning capabilities differ in language models?
- Why does augmenting natural language with formal representations outperform full formalization?
- Why does semantic decoupling specifically break LLM reasoning abilities?
- Can autoformalisation from natural language preserve semantic accuracy?
- How do LLMs translate informal prose into logically correct formal specifications?
- What distinguishes LLM Programs from chain-of-thought and agentic frameworks?
- Do LLMs lack architectural scaffolding for compositional reasoning?
- How does the distance between natural language and formal notation affect translation accuracy?
- Can we use LLM language without adopting LLM assumptions?
- How does structural complexity in sentences degrade LLM reasoning systematically?
- How does structural complexity affect LLM performance differently than inferential complexity?
- Why do LLM descriptions of argument schemes work better than formal definitions for classification?
- What concrete problems do LLMs solve at the computational level?
- What makes symbolic operations different from general knowledge questions?
- What makes language an effective parameterization for procedural knowledge?
- Why do recursive belief models require different training than logical derivation?
- Do LLMs have functional linguistic competence or only formal language ability?