gen-briefly-explain-first-order-logic-and-one-common-misconcepti-8cb7

Briefly explain first-order logic and one common misconception about it.

# First-Order Logic **First-order logic** (FOL) is a formal system for expressing statements about objects and their properties. It extends propositional logic by adding: - **Variables** (x, y, z) that range over objects in a domain - **Quantifiers**: ∀ (for all) and ∃ (there exists) - **Predicates**: relations or properties that objects can have - **Functions**: operations that map objects to other objects For example: ∀x (Human(x) → Mortal(x)) means "all humans are mortal." ## Common Misconception **Misconception**: *First-order logic can express any mathematical or logical statement.* **Reality**: FOL has significant limitations. It cannot directly express statements about properties of predicates themselves or quantify over predicates/relations. For instance, mathematical induction requires a second-order statement: "for all properties P, if P(0) and P(n)→P(n+1), then P holds for all natural numbers." This requires quantifying over properties, which moves beyond first-order logic into second-order logic. Similarly, statements like "Alice and Bob have something in common" (∃P(P(Alice) ∧ P(Bob))) require second-order quantification and cannot be expressed in pure FOL.