Beyond Aristotle: Frege's Revolution in Logic

Recommended resources

The freely available resources this lesson will direct you to.

Introduction

Welcome to the first lesson of our new module, "The Logical Turn." In the previous module, we concluded our study of Kant, who sought to map the structure and limits of human reason from within. He argued that the mind imposes its own laws (like causality) on experience, limiting our knowledge to the world of phenomena.

Today, we pivot from the structure of the mind to the structure of language and logic itself. This shift, known as the "logical" or "linguistic" turn, marks the birth of analytic philosophy—a tradition directly aligned with your interest in the philosophy of mathematics and formal methods.

Our journey begins with the German mathematician and philosopher Gottlob Frege. He is arguably the single most important figure in this transition. This lesson addresses the learning outcome: Explain how Frege's predicate logic surpassed the limitations of Aristotelian syllogistic logic. We will explore the logical system that reigned for over two millennia, identify its critical weaknesses, and then see how Frege’s revolutionary new system, laid out in his 1879 work Begriffsschrift ("Concept-Script"), provided the tools to overcome them. For you, with your background in mathematics, Frege's work will reveal a deep and fascinating connection between formal logic and philosophical inquiry.

1. Logic Before Frege: The Aristotelian Tradition

For over 2000 years, from the 4th century BCE until the late 19th century, logic was fundamentally Aristotelian. To understand Frege's revolution, we first need to grasp the system he replaced.

Aristotelian logic is built around analyzing arguments composed of categorical propositions. These propositions all have a subject-predicate structure. A classic example is:

All [Subject: men] are [Predicate: mortal].

Aristotle identified four types of such propositions, which can be organized into the famous Square of Opposition.

The Square of Opposition in Aristotelian Logic — This diagram, the Square of Opposition, illustrates the logical relationships (contradiction, contrariety, etc.) between the four types of categorical propositions in Aristotelian logic: Universal Affirmative (A), Universal Negative (E), Particular Affirmative (I), and Particular Negative (O).

The core of Aristotelian logic is the syllogism, a form of argument with two premises and a conclusion. For example:

All mammals are animals. (Major Premise)
All dogs are mammals. (Minor Premise)
Therefore, all dogs are animals. (Conclusion)

Aristotle's great achievement was to systematically categorize which forms of syllogisms were valid and which were not.

To learn more about this traditional framework, please read the following brief text.

Frege's theory of reference

These notes on 'Frege's theory of reference' by Jeff Speaks begin by outlining the Aristotelian approach that Frege's work would ultimately overthrow.

Please read section 1.2, 'Subject/predicate and the theory of the syllogism.' Focus on how it describes the central role of the subject-predicate distinction in Aristotle's system of logic.

Alongside this tradition focused on terms, there was a separate tradition, dating back to the Stoics, that studied propositional logic (the logic of connectives like 'if...then', 'and', 'or'). However, before Frege, no one had succeeded in uniting these two branches of logic into a single, comprehensive system.

2. The Limitations of Aristotelian Logic

Despite its long dominance, the Aristotelian system had profound limitations. It was unable to capture the logical structure of many kinds of statements, particularly those crucial for mathematics and even complex everyday reasoning.

There were two main problems:

Relational Predicates: Aristotelian logic struggles with sentences that express a relation between two or more things. Consider the sentence "Romeo loves Juliet." In the old system, you would have to treat "loves Juliet" as a single, indivisible predicate of Romeo. This is awkward and obscures the underlying logical structure. The system cannot easily show, for instance, how "Romeo loves Juliet" validly entails "Someone loves Juliet" or "Romeo loves someone."
The Problem of Multiple Generality: This was the most critical failure. The system breaks down when faced with sentences containing more than one expression of generality (like 'all', 'some', 'every', 'a'). The classic example is: "Every boy loves some girl."
Is the subject "Every boy"? If so, the predicate is the clumsy "loves some girl." Or is the subject "some girl" (rephrased)? The subject-predicate structure simply cannot handle the interaction between the two quantifiers, 'every' and 'some'. This inability to handle nested quantifiers made Aristotelian logic completely inadequate for formalizing mathematical proofs.

The following video and text detail these crucial deficiencies.

Frege's Logic: Revolution or Devolution? by Mike Mazza

In this segment from 'Frege's Logic: Revolution or Devolution?', Mike Mazza clearly explains the two main reasons why Aristotelian logic was insufficient for formalizing complex arguments, especially in mathematics.

Watch the section from 00:18:27 to 00:23:25. Pay close attention to the explanations of relational concepts and propositions with 'more than one generality.'

Frege's logic and foundations of arithmetic 1 Fregean logic

These lecture notes from the University of Oxford provide a concise summary of the key deficiencies in the old logic that Frege identified.

Please read section 2, 'Deficiencies in Aristotelian logic.' It clearly lays out the problems with two-place relations and nested quantifiers (the problem of multiple generality).

3. Frege's Revolution: Function, Argument, and Quantifier

Frege's solution was to completely discard the subject-predicate analysis of sentences. Drawing from his mathematical background, he proposed a new analysis based on the concepts of function and argument.

This is the core of his revolution:

A predicate, like "... is mortal," is treated as a function Mortal(x).
This function is "unsaturated" or incomplete. It takes an argument (an object, like Socrates) and returns a value.
The value returned is a truth-value: either True or False. So, Mortal(Socrates) returns True.

This function-argument analysis elegantly solves the problem of relations. A relational predicate like "... loves ..." is simply a two-place function: Loves(x, y).

"Romeo loves Juliet" becomes Loves(romeo, juliet).

To handle generality, Frege introduced quantifiers ('all' $\forall$ and 'some' $\exists$ ) as devices that operate over variables. This allows for a precise analysis of sentences with multiple generality.

"All cats are mammals" becomes: For all x, if x is a cat, then x is a mammal.
$\forall x (C a t (x) \to M amma l (x))$
"Some cats are friendly" becomes: There exists an x, such that x is a cat and x is friendly.
$\exists x (C a t (x) \land F r i e n d l y (x))$

This new syntax allows quantifiers to be nested, perfectly capturing the meaning of sentences that baffled the old logic.

Test your understanding!

Using the function-argument and quantifier notation, how would you represent the two possible meanings of the ambiguous sentence, "Every boy loves some girl"?

Each boy has some girl (possibly a different one) that he loves.
There is one specific girl that every boy loves.

Show answer

Let B(x) stand for "x is a boy," G(y) for "y is a girl," and L(x, y) for "x loves y."

Each boy loves some girl:
$\forall x (B (x) \to \exists y (G (y) \land L (x, y)))$
In English: "For any x, if x is a boy, then there exists some y such that y is a girl and x loves y."
There is one girl loved by every boy:
$\exists y (G (y) \land \forall x (B (x) \to L (x, y)))$
In English: "There exists some y such that y is a girl, and for any x, if x is a boy, then x loves y."

The ability of Frege's logic to precisely distinguish these two readings by changing the scope of the quantifiers demonstrates its vast superiority.

To see a step-by-step breakdown of how Frege's system works, watch the following detailed explanation.

Frege's Logic: Revolution or Devolution? by Mike Mazza

This is the most crucial part of the Mazza video. It walks through Frege's five-step revolution, showing exactly how the function-argument analysis and quantifiers work together to build this powerful new logic.

Please watch from 00:12:02 to 00:15:39 to understand the shift from subject-predicate to function-argument, and then watch the detailed explanation from 00:27:10 to 00:36:22. Follow along as he builds up the notation for relations and multiple generality.

4. A New Universe of Logical Complexity

Frege's achievement was not just a technical fix; it was a fundamental paradigm shift.

Unification: His new logic, now known as predicate logic or first-order logic, unified propositional logic and term logic into a single, coherent system. The Aristotelian analysis of terms and the Stoic analysis of propositions were now both handled within one framework.
Expressive Power: It provided a language capable of expressing the logical form of any statement, no matter how complex, making it suitable for the formalization of mathematical and scientific theories.
A Profound Increase in Complexity: Perhaps most strikingly, Frege's logic is fundamentally more powerful than Aristotelian logic in a way that can be demonstrated mathematically. Aristotelian logic is "trivial" in the technical sense that it is decidable: there is an algorithm that can determine in a finite amount of time whether any given syllogism is valid. In contrast, as was later proven by Church and Turing, Fregean (first-order) logic is undecidable. No such general algorithm exists. This result hints at the incredible richness and complexity that Frege had unlocked.

The following video segment explains this profound difference in power. Given your background, you should find this connection to the theory of computation particularly insightful.

FREGE: Interview with Prof. Michael Potter (1/3)

In this interview, Professor Michael Potter of Cambridge explains the deep significance of Frege's innovation, connecting it to the Church-Turing undecidability theorem.

Please watch from 00:20:12 to 00:25:05. Focus on the distinction between the 'triviality' (decidability) of Aristotelian logic and the 'non-trivial' (undecidable) nature of Fregean logic.

Conclusion

Today we've seen how Gottlob Frege initiated a revolution in logic that had been stagnant for two millennia. By replacing the ancient subject-predicate analysis with a mathematically-inspired function-argument structure and introducing a rigorous theory of quantifiers, he created a formal language of unprecedented power and precision.

Key Takeaways:

Aristotelian Logic, based on the subject-predicate form, dominated Western thought for over 2000 years.
Its primary limitations were its inability to handle relational predicates and sentences with multiple generality (nested quantifiers like 'all' and 'some').
Frege's Revolution was to analyze sentences using the concepts of function and argument, where predicates are functions that yield a truth-value.
This new analysis, combined with a formal theory of quantifiers ( $\forall, \exists$ ) that bind variables, solved the long-standing problems and could express the logical form of vastly more complex statements.
Frege's predicate logic unified the previously separate branches of logic and was powerful enough to serve as a foundation for mathematics, marking a fundamental increase in complexity (from decidable to undecidable).

This new logical tool didn't just solve old problems; it made it possible to ask new philosophical questions with a new level of clarity.

Preview of the next lesson:

Now that we have a grasp of Frege's powerful logical machinery, we will see how he immediately put it to philosophical use. In the next lesson, we will explore Frege's famous distinction between sense (Sinn) and reference (Bedeutung). This distinction arose from puzzles about identity statements (like "The morning star is the evening star") that his own system brought into sharp focus, leading to one of the most foundational theories in the philosophy of language.