First-order logic

Home / Glossary / First-order logic

First-order logic (FOL) (also called first-order predicate calculus (FOPC)) is a formal language incorporating predicate symbols, function symbols, constant symbols, variables, logical connectives and quantifiers, which can be used to express facts about a world. Unlike propositional logic (also known as “sentential logic”), FOL can express general statements or statements about existence, by using quantified variables. “First-order” means that statements which quantify over predicate and function symbols are not allowed.

CycL is not FOL because it does allow quantification over predicates and functions.


7000 North Mopac Expressway, Suite #200
Austin, TX 78731, USA