rule of necessitation

logic

Written by

The Information Architects of Encyclopaedia Britannica

Last updated

July 13, 2026

Quick Summary

In logic, necessity refers to a property of a proposition that makes it impossible for it to be false if it's true, or impossible for it to be true if it's false. A logically necessary proposition is true in all possible worlds.1

Modal logic is a formal system that incorporates concepts like necessity and possibility. It uses operators, such as 'L' for necessity, to express these modalities. A key rule in modal logic is the rule of necessitation, which states that if a proposition is a theorem, then it is also necessary.2

While traditionally seen as analytic or knowable a priori, some philosophers recognize "metaphysically" necessary propositions, like identity statements (e.g., "Water is H₂O"), which are not analytic. The study of logical reasoning also involves strategies for deductive reasoning, often explored in computer science.13

Summary created from Britannica articles using AI. AI can make mistakes, so verify using Britannica articles.

4 Britannica Sources

Ask Britannica AI about this topic

Britannica doesn't have a full article on this topic, so we've curated a list of our relevant coverage.

formal logic
Alternative systems of modal logic
…theorem so is Lα (the rule of necessitation). The intuitive rationale of this rule is that, in a sound axiomatic system, it is expected that every instance of a theorem α will be not merely true but necessarily true—and in that case every instance of Lα will be true.
Read More
…theorem so is Lα (the rule of necessitation). The intuitive rationale of this rule is that, in a sound axiomatic system, it is expected that every instance of a theorem α will be not merely true but necessarily true—and in that case every instance of Lα will be true.
Read More