Loading field map
What makes a piece of reasoning logically correct? Is there a single set of logical laws that apply everywhere, or does the correctness of an inference depend on the subject matter? And what exactly are the logical constants—words like 'and', 'or', 'not', 'if'—that seem to carry the weight of validity? These are the questions that drive the philosophy of logic. Unlike formal logic, which builds and studies systems of deduction, the philosophy of logic steps back to ask what those systems mean, whether any one of them is uniquely right, and how logic relates to mathematics, language, and the world.
At the turn of the twentieth century, a crisis in the foundations of mathematics forced philosophers to confront the nature of logical truth directly. Three competing programs emerged, each offering a different answer to the question of what logic is and how it grounds mathematical knowledge.
Logicism, championed by Gottlob Frege and later Bertrand Russell, held that mathematics is reducible to logic. On this view, logical truths are the most general truths about the world, and mathematical theorems are just very long logical derivations. The program aimed to show that all mathematical concepts could be defined in purely logical terms and that all mathematical truths could be proved from logical axioms alone. Logicism treated logic as a body of substantive, universally true principles.
Formalism, associated with David Hilbert, took a different tack. For the formalist, logic is not a body of truths about the world but a game played with symbols according to fixed rules. The meaning of the symbols is secondary; what matters is that the system is consistent and that proofs can be mechanically checked. Formalism arose partly as a response to the paradoxes that had plagued logicism—if logic is about the world, how can it generate contradictions? By treating logic as a formal calculus, the formalist hoped to sidestep metaphysical commitments.
Intuitionism, developed by L. E. J. Brouwer, rejected both logicism and formalism. For the intuitionist, logic is not a universal system given in advance but an expression of the mental constructions that underlie mathematics. The law of excluded middle (P or not-P) is not a logical law at all, because for some propositions we have no construction that would decide them. Intuitionism thus narrowed the scope of classical logic: it accepted only those inferences that could be justified by constructive reasoning. This was not a rejection of logic per se but a demand that logical principles be grounded in the activity of the mathematician.
All three programs shared a crucial assumption: that there is one correct logic. This assumption, later called Logical Monism, was so deeply embedded that it was rarely argued for. Whether logic was a body of truths (logicism), a formal system (formalism), or a description of mental constructions (intuitionism), each camp believed its own logic was the right one. The disagreement was over which logic that was, not over whether there could be more than one.
The dream of a single, complete logical foundation was shattered by Kurt Gödel's incompleteness theorems (1931). Gödel showed that any consistent formal system strong enough to encode arithmetic cannot prove all truths about arithmetic—and cannot prove its own consistency. This result undercut both logicism (since not all mathematical truths are derivable from logical axioms) and formalism (since the consistency of a system cannot be proved within the system itself). Intuitionism survived better, but its rejection of classical logic left it a minority position. By mid-century, the foundational programs had lost their momentum, and philosophers began to ask whether logic needed a foundation at all.
In the 1950s, Willard Van Orman Quine launched a challenge that reshaped the philosophy of logic. Quine's Naturalism in Logic denied that logic has a special a priori status. On his view, logic is part of our total theory of the world—a very central part, but still subject to revision in light of experience. The laws of logic are not immune to empirical evidence; they are simply the most general principles that we find indispensable for organizing our beliefs. This naturalism absorbed the lesson of the failed foundational programs: if logic cannot be grounded in self-evident axioms or formal consistency alone, then we should treat it as continuous with science.
Quine's naturalism had two major consequences. First, it made logical revision a live possibility. If new empirical discoveries or theoretical pressures demanded it, we could in principle revise even the law of non-contradiction. Second, it undercut the idea that logic is a purely formal discipline isolated from the rest of inquiry. Logic, for Quine, is answerable to the same standards as any other part of knowledge: simplicity, explanatory power, and fit with experience.
Naturalism did not replace the foundational programs so much as change the subject. Instead of asking what logic is grounded in, it asked how logic functions within our overall web of belief. This shift opened the door to a more flexible, empirically informed approach to logical theory.
While naturalism focused on the status of logical laws, a different line of inquiry turned to the logical constants themselves. What does it mean to say that 'and' is a logical constant? Two frameworks emerged in the late twentieth century that addressed this question from complementary angles.
Inferentialism, developed by philosophers such as Robert Brandom, holds that the meaning of a logical constant is given entirely by the rules for its use in inference. To understand 'and', for example, is to know that from 'A and B' you can infer A, and from A and B you can infer 'A and B'. Inferentialism rejects the idea that meaning is a matter of reference to objects or truth conditions; instead, it is a matter of the inferential role that expressions play. This framework connects logic to pragmatics and to the social practice of giving and asking for reasons.
Deflationism about Logical Constants takes a different approach. It argues that logical constants do not require a substantive philosophical theory at all. The deflationist agrees that 'and' and 'or' have a function in our language, but denies that this function reveals anything deep about the nature of logic or reality. Logical constants are simply devices that allow us to express complex thoughts; they do not pick out special logical objects or properties. Deflationism thus narrows the ambition of the philosophy of logic: instead of explaining what logical constants really are, it says that the question is misguided.
Inferentialism and deflationism are not rivals in the same arena. Inferentialism offers a positive account of meaning; deflationism says no such account is needed. But both share a suspicion of truth-conditional semantics and a focus on the practical role of logical vocabulary. Together, they have shifted attention away from the search for a single correct logic and toward the question of how logical expressions function in discourse.
The most visible debate in contemporary philosophy of logic is between Logical Monism and Logical Pluralism. Monism, the default position for most of the twentieth century, holds that there is exactly one correct logic. The monist does not deny that many formal systems exist; she denies that more than one of them captures genuine validity. For the monist, nonclassical logics are either notational variants of classical logic or they are mistaken.
Logical Pluralism, which gained prominence in the 1990s through the work of J. C. Beall, Greg Restall, and others, argues that there are multiple correct logics. The pluralist points to the proliferation of nonclassical systems—intuitionistic logic, paraconsistent logic, many-valued logic, relevance logic—and claims that each can be correct for a different domain or purpose. For example, intuitionistic logic may be the right logic for constructive mathematics, while classical logic works for ordinary reasoning about the physical world. Pluralism does not say that every logic is equally good; it says that there is no single standard of logical correctness that applies across all contexts.
The monist typically responds by arguing that apparent disagreements between logics are really disagreements about the subject matter. If two logics give different verdicts on an inference, the monist claims that at most one of them captures the genuine logical consequence relation; the other is really about something else (e.g., provability, or truth in a restricted model). The pluralist counters that the notion of 'genuine logical consequence' is itself context-sensitive, and that we should embrace the diversity of logical systems as a resource rather than a problem.
This debate is directly connected to the earlier foundational programs. Intuitionism, for instance, provides a concrete example of a nonclassical logic that many pluralists cite as evidence. The monist must either show that intuitionistic logic is not really a logic of truth (but of something like constructive provability) or that it is a fragment of classical logic. The pluralist, by contrast, can accept intuitionistic logic as a full-fledged alternative.
Today, the leading frameworks in the philosophy of logic are Logical Pluralism, Naturalism in Logic, and Inferentialism. They agree on several points: that logic is not a fixed a priori system given once and for all; that the meaning of logical vocabulary is tied to its use; and that the failure of the foundational programs means we cannot ground logic in self-evident axioms. But they disagree on what follows from these points.
Naturalism treats logic as a revisable part of science, but it tends to be monistic: Quine himself thought classical logic was the best overall theory. Pluralism rejects that monistic conclusion, arguing that different domains call for different logics. Inferentialism, meanwhile, is largely neutral on the monism/pluralism question; it focuses on how logical constants get their meaning, not on how many correct logics there are. The three frameworks thus coexist, each addressing a different aspect of the philosophy of logic: naturalism asks about the status of logical laws, pluralism asks about their number, and inferentialism asks about the content of logical vocabulary.
The monism/pluralism debate remains the most active front. Pluralists have developed sophisticated arguments based on the idea of logical consequence as a normative relation that can be spelled out in different ways. Monists have responded by refining the notion of logical form and by arguing that pluralism collapses into a form of monism after all. Neither side has won a decisive victory, and the debate has deepened our understanding of what it means for a logic to be 'correct' in the first place.