Erste Stufe Logik (FOL), also known as predicate logic or first-order predicate logic, is a formal system in mathematische Logik that allows for the expression of statements about objects and their relationships. It extends propositional logic by incorporating quantifiers, predicates, and variables, enabling a more nuanced representation of complex Aussagen.
In FOL, statements are built using predicates, which are functions that return true or false based on the input values (objects). For example, the predicate Likes(John, IceCream) states that ‘John likes ice cream.’ This allows us to express relationships between different entities and their properties.
Die FOL verwendet zwei Hauptquantoren: den Existenzquantor (∃) und den Allquantor (∀). Der Existenzquantor erlaubt es, zu behaupten, dass es mindestens ein Objekt gibt, für das ein Prädikat wahr ist, während der Allquantor behauptet, dass ein Prädikat für alle Objekte in einem bestimmten Bereich gilt.
Einer der bedeutenden Vorteile der Prädikatenlogik erster Stufe ist its ability to support reasoning through logische Schlussfolgerung. This means that if certain statements are true, FOL can be used to deduce new truths based on those statements using rules of inference, such as Modus Ponens or Universal Instantiation.
FOL has applications in various fields, including artificial intelligence, where it is used for Wissensrepräsentation and automated reasoning, as well as in computer science for database querying and in formal verification of software and hardware systems.
Despite its expressiveness, First-Order Logic is not without limitations. For instance, it cannot easily represent certain concepts like time or modality without additional frameworks. Nevertheless, it remains a foundational tool for formal reasoning and logic.