Rule of inference
Norms for deriving conclusions from premises in deductive logic.
Last updated
A rule of inference is a method for deriving a conclusion from given premises, also known as an inference rule or transformation rule. It acts as a standard for correct reasoning, helping to guide arguments, justify conclusions, and critique faulty ones. Within deductive logic, these rules are argument forms that guarantee truth is preserved: if the premises are true, the conclusion must also be true.
They form the backbone of formal logic, providing the structure for valid arguments. For instance, modus ponens is a well-known rule that takes two premises—one stating "if P then Q" and the other stating "P"—and leads to the conclusion "Q." An example would be: "If it rains, then the ground is wet. It rains. Therefore, the ground is wet." Many other rules exist for different valid argument patterns, such as modus tollens, disjunctive syllogism, constructive dilemma, and existential generalization.
Rules of inference include two main types: rules of implication, which work in one direction from premises to conclusion, and rules of replacement, which state that two expressions are equivalent and can be swapped freely. These rules are distinct from formal fallacies, which are invalid argument forms that contain logical errors. Logicians build formal systems to precisely capture and codify valid reasoning patterns, with different systems using different sets of rules.
Formalisms
For example, propositional logic examines how statements formed with logical operators like "not" and "if...then..." support conclusions, while first-order logic extends this by analyzing the internal structure of propositions, such as names and predicates. Other logical systems explore patterns related to possibility and necessity, beliefs, or events across time. Various formalisms express these systems: natural deduction uses many intuitive rules to mirror natural human reasoning, while Hilbert systems offer minimal frameworks that represent foundational principles without redundancy.
In various fields
Rules of inference are relevant in many fields, including mathematical proofs and automated reasoning in computer science. Their conceptual and psychological foundations are studied by philosophers of logic and cognitive psychologists.
Quick Facts
- Field
- Formal logic
- Contrast
- Formal fallacies (invalid argument forms involving logical errors)
Facts from the source article.
Background
Rules of inference describe the structure of arguments, which consist of premises that support a conclusion. Whether an inference is deductively valid depends only on the form or syntactic structure of the premises and the conclusion, not on the actual content or concrete meaning of the statements. For instance, modus ponens connects two premises of the form 'if P then Q' and 'P' to the conclusion 'Q', and any argument following this pattern is valid regardless of the specific meanings of P and Q.
Logicians distinguish two types of rules: rules of implication, which operate only in one direction from premises to conclusions, and rules of replacement, which state that two expressions are equivalent and can be freely swapped. Rules of implication apply only to complete statements, while rules of replacement can be applied to any part of a compound statement. Deductive rules of inference differ from defeasible argumentation schemes, which provide some support to a conclusion without guaranteeing its truth.
Rules of inference are part of logical systems, and different systems employ distinct sets of rules. For example, universal instantiation is a rule in first-order logic but not in propositional logic. They play a central role in proofs as explicit procedures for deriving new lines from preceding lines. Various formalisms are used to express logical systems, such as natural deduction systems with many intuitive rules and Hilbert systems with minimalistic frameworks.
More in Set Theory & Logic
Sources
Compiled from Wikipedia and the sources listed below. Text from Wikipedia is available under CC BY-SA 4.0; this entry is adapted from it.
- Wikipedia: Rule of inference (CC BY-SA 4.0).
Spotted an error? Know more?
Reader corrections go straight into our review queue. Suggest an edit · How this site is sourced