trustme.bro/r/…
✓ checked
trust me, bro:
here is the receipt.
the claim
Formal logic operates through syntactic derivation rules independent of semantic content.
the verdict
SUPPORTED
the evidence backs this
refutedsupported
the weight of evidence
2 sources for · 0 against

Formal logic operates through syntactic derivation rules that are independent of semantic content, a principle supported by studies on formal logic deduction and proof theory.

Evidence for · 2
Learning Deductive Reasoning from Synthetic Corpus based on Formal Logic
2023 · cited by 47
Paper 0 establishes that formal logic deduction systems operate via well-grounded syntactic rules isolated from general knowledge.
See more details
The analysis

The claim states that formal logic operates through syntactic derivation rules independent of semantic content. This is a foundational, standard definition in mathematical logic and proof theory. Paper [0] explicitly studies logical deduction isolated from knowledge/semantics, and Paper [5] demonstrates syntactic proof theory and derivation rules (such as cut elimination) in formal logic systems. Thus, the supporting papers establish the claim fully, and no papers refute it.

More for · 1
Proof theory for quantified monotone modal logics
2019 · cited by 9
Paper 5 details proof-theoretic calculi and syntactic derivation rules (such as cut elimination) within formal logic frameworks.
Everything we examined (12)
We also searched for evidence AGAINST this claim, not only for it.
  1. Learning Deductive Reasoning from Synthetic Corpus based on Formal Logicpeer-reviewedsupports
  2. Brain Inhibitory Mechanisms Are Involved in the Processing of Sentential Negation, Regardless of Its Content. Evidence From EEG Theta and Beta Rhythms.peer-reviewedno side takennot shown: read and judged not to bear on this claim
  3. Quantifiers more or less quantify online: ERP evidence for partial incremental interpretation.peer-reviewedno side takennot shown: read and judged not to bear on this claim
  4. Language models, like humans, show content effects on reasoning tasks.peer-reviewedno side takennot shown: read and judged not to bear on this claim
  5. Naturalizing relevance realization: why agency and cognition are fundamentally not computational.peer-reviewedno side takennot shown: read and judged not to bear on this claim
  6. Proof theory for quantified monotone modal logicspeer-reviewedsupports
  7. Language models and psychological sciences.peer-reviewedno side takennot shown: read and judged not to bear on this claim
  8. How does the human brain process noisy speech in real life? Insights from the second-person neuroscience perspective.peer-reviewedno side takennot shown: read and judged not to bear on this claim
  9. Integrating Logic Rules with Everything Else, Seamlesslypeer-reviewedno side takennot shown: read and judged not to bear on this claim
  10. A Vector Logic for Extensional Formal Semanticspeer-reviewedno side takennot shown: read and judged not to bear on this claim
  11. A Mind-inspired Architecture for Adaptive HRI.peer-reviewedno side takennot shown: read and judged not to bear on this claim
  12. Wittgenstein and Formal Semantics: A Case Study on the Tractarian Notions of Truth-Conditions and Compositionalitypeer-reviewedno side takennot shown: read and judged not to bear on this claim
The paper trail · every fact has a biography
first checked05 Aug 2026
judged → SUPPORTED · 7405 Aug 2026
This receipt carries no identity, shared or not. Sharing publishes your connection to it, not your data.
Check your own claim
Challenge the receipt
trust me, bro: win the argument, pass the class, survive peer review.
This receipt is an automated verdict against our published method · not an opinion about any author or publication.
Terms · Privacy · How verdicts work · Dispute this receipt