Extended and Non‑Classical Logics

Extended and Deviant Logics Introduction Classical logic—the system you may have already studied—works well for many purposes, but it has limitations. Extended logics preserve the core principles of classical logic while adding new operators and symbols to handle special domains like possibility, obligation, and knowledge. Deviant logics, by contrast, challenge one or more fundamental assumptions of classical logic itself, such as the law of excluded middle or the principle of explosion. Understanding these alternatives is important because they show how logical principles can be adapted or revised for different purposes and philosophical questions. Extended Logics: Adding to Classical Logic Extended logics keep classical logic intact but expand it. Think of them as adding new vocabulary and rules to express ideas that classical logic cannot easily capture. Modal Logic: Necessity and Possibility Modal logic introduces two key operators that let us reason about what must be true versus what could be true. The necessity operator $\Box$ means "it is necessary that." So $\Box p$ reads as "it is necessarily the case that $p$." The possibility operator $\Diamond$ means "it is possible that." So $\Diamond p$ reads as "it is possibly the case that $p$." These operators capture an important distinction. Consider: "It is possible that I oversleep tomorrow" ($\Diamond p$) is very different from "It is necessary that I oversleep" ($\Box p$). The first admits that oversleeping could happen; the second says it must happen. A key principle relates these two operators: If something is necessary, it must be possible. This is expressed as: $$\Box p \rightarrow \Diamond p$$ If $p$ is necessarily true, then $p$ is possibly true. This makes intuitive sense: you cannot require something that is impossible. Another important equivalence shows how necessity and possibility are flip sides of each other: $$\Box p \equiv \neg\Diamond\neg p$$ In other words, "$p$ is necessarily true" means exactly the same thing as "it is not possible that $p$ is false." This equivalence will help you understand how these operators work together. Variants of Modal Logic While basic modal logic focuses on necessity and possibility, extensions of modal logic apply this framework to specific domains: Deontic logic introduces operators for obligation ($O$) and permission ($P$) to formalize ethical and legal reasoning. For instance, $Op$ means "$p$ is obligatory" or "you ought to do $p$." Temporal modal logic adds operators for temporal relations like "always" ($\Box$) or "sometimes" ($\Diamond$), allowing us to reason about what holds at all times versus what holds at some time. Epistemic modal logic uses operators like $K$ (for "knows") to distinguish knowledge from mere belief. This is crucial because "I know it will rain" ($Kp$) is philosophically different from "I believe it will rain." These variants show how the modal framework—distinguishing necessity from mere possibility—can be adapted to reason carefully about obligation, time, and knowledge. <extrainfo> Higher-Order Logic Higher-order logic extends quantification beyond individuals to predicates themselves. While classical logic quantifies over objects ("for all people," "there exists a thing"), higher-order logic quantifies over properties and relations ("for all properties," "there exists a relation"). This is a powerful but complex extension that allows for more expressive statements. It may be mentioned in your course, but focus primarily on modal logic if you're unsure where to allocate study time. </extrainfo> Deviant Logics: Challenging Classical Assumptions Deviant logics take a different approach: they reject or modify fundamental rules of classical logic. This is more radical than extension—it means classical logic itself is considered inadequate or incorrect for certain purposes. Intuitionistic Logic: Rejecting Certainty We Can't Construct Intuitionistic logic keeps all the symbols of classical logic but removes one rule: the law of double negation elimination. In classical logic, $\neg\neg p$ (not-not-$p$) always implies $p$. If we can rule out that something is false, it must be true. This seems obvious, but intuitionistic logic rejects it. Why? Intuitionists argue that truth requires constructive proof, not just the absence of falsehood. Showing that "$p$ is false" is impossible doesn't prove that $p$ is true—you need to actually construct a proof of $p$. This rejection has a major consequence: the law of excluded middle ($p \lor \neg p$) is not valid in intuitionistic logic. In classical logic, everything either is or isn't—there's no middle ground. But for intuitionists, if you cannot constructively prove $p$ and cannot constructively prove $\neg p$, then you have no right to assert the disjunction. Practical example: Consider an infinite mathematical sequence. Classically, either a certain property holds for all terms or it doesn't—excluded middle applies. But intuitionistically, we cannot assert this unless we have a constructive method to determine which is the case. Multi-Valued Logics: Beyond True and False Multi-valued logics reject bivalence—the assumption that every proposition is either true or false, with no other options. Instead, they allow three or more truth values: Ternary logics (three values) introduce a third value representing indeterminacy or undetermined. For instance, in Kleene's ternary logic and Łukasiewicz's ternary logic, a proposition can be: True False Indeterminate (or Unknown) This is useful for statements that are neither clearly true nor clearly false. "There is intelligent life on exoplanet X" might be indeterminate in our current state of knowledge, even if it is determinately true or false in reality. Fuzzy logic takes a different approach, assigning each proposition a degree of truth between 0 and 1 (inclusive). Instead of just "true" or "false," a proposition might be true to degree 0.7, meaning it is mostly but not entirely true. This is particularly useful for vague properties like "tall" or "heavy," where boundaries aren't sharp. The key philosophical motivation: the world may not always divide neatly into true-or-false categories. By allowing multiple truth values, these logics can model our actual reasoning more closely. Paraconsistent Logic: Tolerating Contradiction Paraconsistent logics deny the principle of explosion (also called ex falso quodlibet). In classical logic, from a contradiction, anything follows: $$p \land \neg p \rightarrow q$$ If you derive a contradiction, your system "explodes"—every statement becomes derivable, making the logic useless. Paraconsistent logics reject this. They allow contradictions without rendering the system trivial. If you derive both $p$ and $\neg p$, you have a problem, but it doesn't automatically make every other statement true. Why would anyone want this? In real intellectual situations, we sometimes face contradictory information from different sources. Classical logic demands we immediately reject one source or give up reasoning entirely. Paraconsistent logic allows us to work with contradictory premises while keeping our reasoning meaningful, at least in some domains. This is controversial and not widely used, but it shows how logicians question even basic principles when faced with philosophical puzzles. Summary Extended logics enhance classical logic by adding new tools (like modal operators) for specific domains. Deviant logics instead challenge classical logic's assumptions—whether that's double-negation elimination (intuitionistic), bivalence (multi-valued), or explosion (paraconsistent). Each represents a different way of reconsidering what logic should do and what the world requires of a logical system.