First-Order Logic (FOL) is a formal system used in mathematics, philosophy, linguistics, and computer science to express statements about objects and their relationships. It extends propositional logic by incorporating quantifiers and predicates, allowing for more expressive and detailed representations of knowledge and reasoning processes.