first-order logic

Meanings

nounfirst-order logic (countable and uncountable, plural first-order logics)

countableuncountablehuman sciencesA formal deductive system extended from propositional logic with the possibility to quantify over individuals of the domain of discourse.
At Cambridge in the mid-1990s, [Demis] Hassabis and [David] Silver encountered a culture still wedded to the midcentury assumptions. They were taught “first order logic,” a system of rigidly unambiguous statements that was used in deductive programming.
2026, Sebastian Mallaby, chapter 2, in The Infinity Machine: Demis Hassabis, DeepMind and the Quest for Superintelligence, Penguin, →ISBN
Synonyms: FOL

nounA formal deductive system extended from propositional logic with the possibility to quantify over individuals of the domain of discourse.

Similar

Also see

Arabic منطق الرتبَة الأولى

Catalan lògica de primer ordre

Finnish ensimmäisen kertaluvun logiikka

ensimmäisen kertaluvun logiikkaformal deductive system expanded from propositional logic

German Prädikatenlogik erster Stufe

Prädikatenlogik erster Stufeformal deductive system expanded from propositional logic

Greek λογική πρώτου βαθμού

λογική πρώτου βαθμού (logikí prótou vathmoú)formal deductive system expanded from propositional logic

Icelandic rökfræði fyrstu stéttar

rökfræði fyrstu stéttarformal deductive system expanded from propositional logic

Polish logika pierwszego rzędu

logika pierwszego rzęduformal deductive system expanded from propositional logic

Spanish lógica de primer orden

Cite this entry

APA

first-order logic. (n.d.). In WatkinsX Dictionary. Retrieved November 4, 2026, from https://dictionary.watkinsx.com/word/first-order%20logic

MLA

“first-order logic.” WatkinsX Dictionary, https://dictionary.watkinsx.com/word/first-order%20logic. Accessed November 4, 2026.

Chicago

WatkinsX Dictionary, s.v. “first-order logic,” accessed November 4, 2026, https://dictionary.watkinsx.com/word/first-order%20logic.