Definition:Johansson's Minimal Logic
Jump to navigation
Jump to search
Definition
Johansson's minimal logic is a subbranch of propositional logic of the intuitionist school.
The philosophical position behind it is that it may be the case that the proof rules:
- The Law of Excluded Middle (a statement is either true or false)
- The Rule of Explosion (from a contradiction anything can be deduced)
do not hold.
Thus this philosophical school allows for the foundation of the study of fuzzy logic.
Axioms of Johansson's Minimal Logic
Rule of Assumption
- An assumption $\phi$ may be introduced at any stage of an argument.
Rule of Conjunction
- If we can conclude both $\phi$ and $\psi$, we may infer the compound statement $\phi \land \psi$.
Rule of Simplification
- $(1): \quad$ If we can conclude $\phi \land \psi$, then we may infer $\phi$.
- $(2): \quad$ If we can conclude $\phi \land \psi$, then we may infer $\psi$.
Rule of Addition
- $(1): \quad$ If we can conclude $\phi$, then we may infer $\phi \lor \psi$.
- $(2): \quad$ If we can conclude $\psi$, then we may infer $\phi \lor \psi$.
Proof by Cases
- If we can conclude $\phi \lor \psi$, and:
- $(1): \quad$ By making the assumption $\phi$, we can conclude $\chi$
- $(2): \quad$ By making the assumption $\psi$, we can conclude $\chi$
- then we may infer $\chi$.
Modus Ponendo Ponens
- If we can conclude $\phi \implies \psi$, and we can also conclude $\phi$, then we may infer $\psi$.
Rule of Implication
- If, by making an assumption $\phi$, we can conclude $\psi$ as a consequence, we may infer $\phi \implies \psi$.
- The conclusion $\phi \implies \psi$ does not depend on the assumption $\phi$, which is thus discharged.
Principle of Non-Contradiction
- If we can conclude both $\phi$ and $\neg \phi$, we may infer a contradiction.
Proof by Contradiction
- If, by making an assumption $\phi$, we can infer a contradiction as a consequence, then we may infer $\neg \phi$.
- The conclusion $\neg \phi$ does not depend upon the assumption $\phi$.
Also known as
This system is also known as Johansson's minimal calculus.
Source of Name
This entry was named for Ingebrigt Johansson.
Sources
- 1965: E.J. Lemmon: Beginning Logic ... (next): Preface (except he refers to it as Johannson's Minimal Calculus)