This is a list of topics around Boolean algebra and propositional logic.
Articles with a wide scope and introductions
Boolean functions and connectives
Examples of Boolean algebras
Extensions and generalizations
Syntax
Technical applications
Theorems and specific laws
People
Philosophy
Visualization
Unclassified
|
|---|
| | | Overview |
|---|
| | | Academic areas | |
|---|
| | | Foundations | |
|---|
|
| | | | Philosophical logic |
|---|
| | Critical thinking
Informal logic | - Analysis
- Ambiguity
- Argument
- Belief
- Bias
- Credibility
- Evidence
- Explanation
- Explanatory power
- Fact
- Fallacy
- Inquiry
- Opinion
- Parsimony
- Premise
- Propaganda
- Prudence
- Reasoning
- Relevance
- Rhetoric
- Rigor
- Vagueness
|
|---|
| | Theories of
deduction | - Constructivism
- Dialetheism
- Fictionalism
- Finitism
- Formalism
- Intuitionism
- Logical atomism
- Logicism
- Nominalism
- Platonic realism
- Pragmatism
- Realism
|
|---|
|
| | | - Metalogic
- Metamathematics
|
|---|
| | - Cantor's theorem
- Church's theorem
- Church's thesis
- Consistency
- Effective method
- Foundations of mathematics
- Gödel's completeness theorem
- Gödel's incompleteness theorems
- Soundness
- Completeness
- Decidability
- Interpretation
- Löwenheim–Skolem theorem
- Metatheorem
- Satisfiability
- Independence
- Type–token distinction
- Use–mention distinction
|
| | | | | | | Non-classical logic |
|---|
| | | Modal logic | |
|---|
| | | Intuitionism | - Intuitionistic logic
- Constructive analysis
- Heyting arithmetic
- Intuitionistic type theory
- Constructive set theory
|
|---|
| | | Fuzzy logic | - Degree of truth
- Fuzzy rule
- Fuzzy set
- Fuzzy finite element
- Fuzzy set operations
|
|---|
| | | Substructural logic | - Structural rule
- Relevance logic
- Linear logic
|
|---|
| | | Paraconsistent logic | |
|---|
| | | Description logic | - Ontology
- Ontology language
|
|---|
|
| | | | Logicians |
|---|
| | - Anderson
- Aristotle
- Averroes
- Avicenna
- Bain
- Barwise
- Bernays
- Boole
- Boolos
- Cantor
- Carnap
- Church
- Chrysippus
- Curry
- De Morgan
- Frege
- Geach
- Gentzen
- Gödel
- Hilbert
- Kleene
- Kripke
- Leibniz
- Löwenheim
- Peano
- Peirce
- Putnam
- Quine
- Russell
- Schröder
- Scotus
- Skolem
- Smullyan
- Tarski
- Turing
- Whitehead
- William of Ockham
- Wittgenstein
- Zermelo
|
| | | | Lists |
|---|
| | | Topics | - Index of logic articles
- Mathematical logic
- Boolean algebra
- Set theory
|
|---|
| | | Other | |
|---|
|
| | | | | | - Portal
- Category
- Outline
- WikiProject
- Talk
- changes
|
|
