First-order logic

First-order logic is the part of Formal Logic I that lets you symbolize claims about objects using predicates and quantifiers like "all" and "some." It goes beyond propositional logic by showing how things in a domain relate to each other.

What is first-order logic?

First-order logic is the symbolic system in Formal Logic I that lets you make claims about objects, their properties, and the relations between them. Instead of treating whole sentences as single blocks, it breaks them into parts like predicates, variables, identity, and quantifiers.

That is what makes it more expressive than propositional logic. In propositional logic, a sentence like "All humans are mortal" is usually just treated as one statement. In first-order logic, you can show its inner structure, something like: for every object x, if x is a human, then x is mortal.

The big move is quantification. The universal quantifier says "for all" and the existential quantifier says "there exists." Once you add variables, you can say things like "some student is late," "every dog has an owner," or "there is exactly one president." Those are not just different sentences, they have different logical forms, and first-order logic is built to track that difference.

Predicates do the job of saying what kind of thing something is or how things relate. A predicate like Human(x) says x has a property, while a relation like Loves(x, y) says x stands in a relation to y. This matters because a lot of ordinary language is relational, not just about single properties.

Identity is also part of the picture. In Formal Logic I, first-order logic often includes "=" so you can say that two names refer to the same object and test whether substitutions preserve truth. That is why first-order logic shows up in lessons on identity, definite descriptions, and translating quantified statements. It gives you a way to check whether a sentence means what it seems to mean, or whether the wording hides an existence claim, uniqueness claim, or presupposition.

Why first-order logic matters in Formal Logic I

First-order logic is the bridge between ordinary language and precise logical analysis in Formal Logic I. A lot of the course depends on whether you can see the structure inside a sentence, and first-order logic is the tool that makes that structure visible.

It matters most when you translate English into symbols. Statements with "all," "some," "every," "none," and "exactly one" often look simple in English but turn out to have tricky logical form. First-order logic lets you separate the quantifier from the predicate, which is how you avoid mistakes like swapping the order of quantifiers or treating existence as if it were the same thing as universality.

It also supports arguments about identity and definite descriptions. If a phrase like "the tallest building" is being analyzed, first-order logic helps you ask whether the sentence assumes that one and only one building fits the description. That connects directly to Russell-style analysis and to questions about whether a sentence is actually asserting something or smuggling in a presupposition.

You also use first-order logic to see the limits of formal systems. Once a course gets into what formal languages can and cannot express, first-order logic becomes the baseline. Some concepts can be captured cleanly, while others, like higher-order claims about all properties, are out of reach. That contrast is a big part of understanding why formal systems are powerful, but not unlimited.

How first-order logic connects across the course

Predicate

Predicates are the parts of first-order logic that say something about an object or a relation between objects. When you translate a sentence, the predicate is often the content that stays fixed while the quantifier tells you how many objects it applies to. Without predicates, first-order logic would not be able to represent properties like being human or relations like being taller than.

Quantifier

Quantifiers are the engine of first-order logic because they tell you whether you are talking about all objects, some objects, or exactly one object. A lot of translation problems in Formal Logic I come down to choosing the right quantifier and putting it in the right order. The difference between universal and existential claims can completely change whether an argument is valid.

Domain of Discourse

First-order logic always works relative to a domain of discourse, which is the set of objects your variables range over. That domain matters because "all" only means all within the given domain, not literally all things in every possible sense. When you evaluate a formula, you are checking it against a specific universe of objects.

Substitutivity

Substitutivity shows up when you use identity inside first-order logic. If two terms refer to the same object, you can often replace one with the other without changing truth value, but that does not work in every context if meaning or reference becomes complicated. This is one of the places where identity and quantified structure start to interact.

Is first-order logic on the Formal Logic I exam?

A quiz question or problem set item will usually ask you to translate an English statement into first-order logic, then explain whether the result matches the original meaning. You may need to decide between universal and existential quantifiers, identify the predicate, or show why the order of quantifiers matters. In identity problems, you might also have to test whether two names or descriptions refer to the same object and whether substitution is valid.

You will also see first-order logic in passages or short argument analysis. The task is often to spot hidden assumptions, like existence or uniqueness, and to tell whether a sentence is making a claim about every member of a class or just some member of it. If the course reaches formal systems limits, you may be asked to explain why first-order logic can express many mathematical patterns but still cannot capture everything.

First-order logic vs Propositional Logic

Propositional logic treats whole sentences as single units, so it can test connections like and, or, and if then, but it cannot look inside a sentence to talk about objects or quantities. First-order logic adds variables, predicates, and quantifiers, so it can represent statements about all or some objects and about relations among them. If a problem asks you to analyze what the sentence says about things in the world, you usually need first-order logic.

Key things to remember about first-order logic

• First-order logic is the part of Formal Logic I that represents statements about objects, properties, and relations with symbols.

• Quantifiers like "for all" and "there exists" are what let first-order logic go beyond sentence-level logic.

• Predicates tell you what is being said about an object, while variables stand in for the objects themselves.

• Identity matters in first-order logic because it lets you compare whether two terms name the same thing.

• Many translation and analysis problems in the course are really about getting the quantifier structure right.

Frequently asked questions about first-order logic

What is first-order logic in Formal Logic I?

First-order logic is a formal language for talking about objects, their properties, and their relations using variables, predicates, and quantifiers. In Formal Logic I, it is the tool you use when a sentence is about "all," "some," or "the same object."

How is first-order logic different from propositional logic?

Propositional logic treats full statements as indivisible units and focuses on connectives like and, or, and if then. First-order logic goes inside the sentence and lets you say what properties objects have and how objects relate to one another. That is why it handles translation problems with quantifiers much better.

How do quantifiers work in first-order logic?

Quantifiers tell you how many objects a statement is about. The universal quantifier means "for all," and the existential quantifier means "there exists." In practice, the hard part is getting the scope and order right, because changing them can change the meaning of the whole statement.

Why does first-order logic matter for identity and definite descriptions?

Identity lets first-order logic say that two terms refer to the same object, which is crucial for substitution and equality reasoning. Definite descriptions often hide existence and uniqueness claims, so first-order analysis helps you see whether a sentence is actually saying that one and only one thing fits the description.