Concept
Intuitionistic logic
Overview
various systems of symbolic logic
Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).
Philosophers who discussed Intuitionistic logic
- Kurt Gödel
- Michael Dummett
- Susanne Bobzien
- Saul Kripke
- Edmund Husserl
- Stanisław Jaśkowski
- John Lane Bell
- Ivan Orlov (philosopher)
Related ideas
- Four color theorem
- First-order logic
- Proof assistant
- Law of identity
- Negation
- Truth value
- Kurt Gödel
- Logical equivalence
- Law of noncontradiction
- Law of excluded middle
- Logical conjunction
- Logical connective
- Propositional logic
- Modus ponens
- Intuitionism
- Model theory
- Evidence
- Logical NOR
- Constructivism (philosophy of mathematics)
- Reductio ad absurdum
- Domain of discourse
- Curry–Howard correspondence
- Minimal logic
- Syntax
Opposing perspectives
Place in the tradition
Part of Outline of philosophy.
Narrower topics:
- Boolean function
- Curry–Howard correspondence
- Four color theorem
- Functional completeness
- Rocq
- Stephen Cole Kleene
- Duality (mathematics)
- Agda (programming language)
- Disjoint sets
- Axiom schema
- Constructive proof
- Brouwer–Heyting–Kolmogorov interpretation
- Disjunction and existence properties
- Distributive property
- Finite-valued logic
- Infinite-valued logic
- Negation introduction
- Brouwer–Hilbert controversy
- Dialectica interpretation
- Drinker paradox
- Modal companion