Formal logic operates through syntactic derivation rules independent of semantic content.

the verdict

SUPPORTED

the evidence backs this

Recorded sources

2 sources for · 0 against

Counts group repeated records of the same source within each side. They do not measure evidence strength or source independence.

Is it true that formal logic operates through syntactic derivation rules independent of semantic content?

Yes. 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.

Verdict: SUPPORTED · 2 sources for, 0 against · Last checked 5 Aug 2026

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.

Evidence for · 2

Learning Deductive Reasoning from Synthetic Corpus based on Formal Logic

2023

Get citation

Morishita, T., Morio, G., Yamaguchi, A., & Sogawa, Y. (2023). Learning Deductive Reasoning from Synthetic Corpus based on Formal Logic. doi.org. https://doi.org/10.48550/arXiv.2308.07336

See more details

More for · 1

Proof theory for quantified monotone modal logics

2019

Get citation

Negri, S. & Orlandelli, E. (2019). Proof theory for quantified monotone modal logics. doi.org. https://doi.org/10.1093/JIGPAL/JZZ015

Related receipts

Is it true that the Minimalist Program utilizes formal syntactic features for derivation? SUPPORTED related question, same topic
Is it true that Aristotle invented formal logic? SUPPORTED related question, same topic

Receipt History

first checked05 Aug 2026

judged → SUPPORTED · 7405 Aug 2026

Anyone with this link can read the claim and its public receipt, including any personal information in that text. Open permanent receipt.

Check your own claim

Challenge the receipt

I have a source that contradicts this verdict I have a source that supports it No source: request a receipt review Requests are recorded for review. This does not start an automatic check or guarantee a response time.

See the evidence timeline

Citation formatting by citeproc-js (Frank Bennett) and the Citation Style Language project. Source and licenses.

This receipt is an automated verdict against our published method · not an opinion about any author or publication.
Terms · Privacy · How verdicts work