First-order predicate logic, also known as first-order logic (FOL), is a formal system used in mathematics, philosophy, linguistics, and computer science. It extends propositional logic by incorporating quantifiers and predicates, which allows for a more expressive language capable of representing a wider array of statements about the world. This logical system is foundational in various