Systems of logic that deviate from first-order logic are logically possible

the verdict

SUPPORTED

the evidence backs this

Recorded sources

1 source for · 0 against

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

AS REPORTEDno primary record reached; this is what the reporting says

Is it true that systems of logic that deviate from first-order logic are logically possible?

Yes. The existence of alternative logical systems, such as higher-order, modal, or intuitionistic logics, is a standard and well-established fact in mathematical logic and philosophy.

Verdict: SUPPORTED · 1 source for, 0 against · Last checked 4 Aug 2026

How claims like this are judged

Judged against reference works: claims of this kind are settled by reference works, not journal abstracts.

Evidence for · 1

Stanford Encyclopedia of Philosophy: The Emergence of First - Order Logic

Contrasts first-order logic with higher-order systems, indicating non-first-order logics exist.

Get citation

Stanford Encyclopedia of Philosophy: The Emergence of First - Order Logic. (n.d.). Stanford Encyclopedia of Philosophy. https://plato.stanford.edu/entries/logic-firstorder-emergence/

Related receipts

Is it true that first-order logic is complete? SUPPORTED related question, same topic
Is it true that a totally ordered set with a last element but no first element is logically possible? CONTESTED related question, same topic
Is it true that instantaneous causation is logically possible? CONTESTED related question, same topic
Is it true that epistemology is logically equivalent to formal logic? REFUTED related question, same topic
Is it true that it is logically consistent to assert that a proposition is possible but false? SUPPORTED related question, same topic
Is it true that first-order logic uses quantified variables over non-logical objects and allows predicates? SUPPORTED related question, same topic

Receipt History

first checked04 Aug 2026

judged → SUPPORTED · 7504 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.

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