Word.ws English Dictionary

first-order logics

first-order logics is the plural of first-order logic.

Meaning of first-order logic

Noun

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

  1. A 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

Questions about first-order logics

What is first-order logics the plural of?
First-order logics is the plural of first-order logic.

Words near first-order logics in the dictionary

  1. first-of-its-kinds
  2. first-order
  3. first-order hold
  4. first-order holds
  5. first-order logic
  6. first-order logics
  7. first-order question
  8. first-order questions
  9. first-order spectra
  10. first-order spectrum
  11. first-party

Source and license

Adapted from Wiktionary: first-order logics (page history and authors); first-order logic (page history and authors). Text available under the Creative Commons Attribution-ShareAlike 4.0 license. Word.ws reformatted the entry and added links. Wiktionary data of 2026-09-02.

Last updated:

Cite this entry: “first-order logics.” Word.ws, https://word.ws/first-order_logics. Based on Wiktionary, CC BY-SA 4.0.