OurBigBook Wikipedia Bot
Documentation
Mathematical logic
OurBigBook Wikipedia Bot
Mathematics
Fields of mathematics
toc
wiki
nosplit
articles:
1k
Table of contents
1k
1. Constructivism (mathematics)
link
nosplit
Mathematical logic
36
1.1. Apartness relation
link
nosplit
Constructivism (mathematics)
1.2. Axiom schema of predicative separation
link
nosplit
Constructivism (mathematics)
1.3. Bar induction
link
nosplit
Constructivism (mathematics)
1.4. Brouwer–Heyting–Kolmogorov interpretation
link
nosplit
Constructivism (mathematics)
1.5. Brouwer–Hilbert controversy
link
nosplit
Constructivism (mathematics)
1.6. Choice sequence
link
nosplit
Constructivism (mathematics)
1.7. Church's thesis (constructive mathematics)
link
nosplit
Constructivism (mathematics)
1.8. Constructive nonstandard analysis
link
nosplit
Constructivism (mathematics)
1.9. Constructive proof
link
nosplit
Constructivism (mathematics)
1.10. Constructive set theory
link
nosplit
Constructivism (mathematics)
1.11. Constructivism (philosophy of mathematics)
link
nosplit
Constructivism (mathematics)
1.12. Diaconescu's theorem
link
nosplit
Constructivism (mathematics)
1.13. Disjunction and existence properties
link
nosplit
Constructivism (mathematics)
1.14. Finitism
link
nosplit
Constructivism (mathematics)
1.15. Friedman translation
link
nosplit
Constructivism (mathematics)
1.16. Harrop formula
link
nosplit
Constructivism (mathematics)
1.17. Indecomposability (intuitionistic logic)
link
nosplit
Constructivism (mathematics)
1.18. Inhabited set
link
nosplit
Constructivism (mathematics)
1.19. Intuitionism
link
nosplit
Constructivism (mathematics)
9
1.19.1. Arend Heyting
link
nosplit
Intuitionism
1.19.2. Dialectica interpretation
link
nosplit
Intuitionism
1.19.3. Dirk van Dalen
link
nosplit
Intuitionism
1.19.4. Double-negation translation
link
nosplit
Intuitionism
1.19.5. Ethical intuitionism
link
nosplit
Intuitionism
1.19.6. Inquisitive semantics
link
nosplit
Intuitionism
1.19.7. Michael Dummett
link
nosplit
Intuitionism
1.19.8. Spread (intuitionism)
link
nosplit
Intuitionism
1.19.9. Stephen Cole Kleene
link
nosplit
Intuitionism
1.20. Limited principle of omniscience
link
nosplit
Constructivism (mathematics)
1.21. Markov's principle
link
nosplit
Constructivism (mathematics)
1.22. Minimal logic
link
nosplit
Constructivism (mathematics)
1.23. Modulus of continuity
link
nosplit
Constructivism (mathematics)
1.24. Non-constructive algorithm existence proofs
link
nosplit
Constructivism (mathematics)
1.25. Realizability
link
nosplit
Constructivism (mathematics)
1.26. Subcountability
link
nosplit
Constructivism (mathematics)
1.27. Ultrafinitism
link
nosplit
Constructivism (mathematics)
2. Forcing (mathematics)
link
nosplit
Mathematical logic
9
2.1. Generic filter
link
nosplit
Forcing (mathematics)
2.2. Iterated forcing
link
nosplit
Forcing (mathematics)
2.3. Laver property
link
nosplit
Forcing (mathematics)
2.4. List of forcing notions
link
nosplit
Forcing (mathematics)
2.5. Martin's maximum
link
nosplit
Forcing (mathematics)
2.6. Nice name
link
nosplit
Forcing (mathematics)
2.7. Proper forcing axiom
link
nosplit
Forcing (mathematics)
2.8. Ramified forcing
link
nosplit
Forcing (mathematics)
2.9. Sacks property
link
nosplit
Forcing (mathematics)
3. Formal systems
link
nosplit
Mathematical logic
92
3.1. Rules of inference
link
nosplit
Formal systems
36
3.1.1. Absorption (logic)
link
nosplit
Rules of inference
3.1.2. Admissible rule
link
nosplit
Rules of inference
3.1.3. Biconditional elimination
link
nosplit
Rules of inference
3.1.4. Biconditional introduction
link
nosplit
Rules of inference
3.1.5. Commutativity of conjunction
link
nosplit
Rules of inference
3.1.6. Conjunction elimination
link
nosplit
Rules of inference
3.1.7. Conjunction introduction
link
nosplit
Rules of inference
3.1.8. Constructive dilemma
link
nosplit
Rules of inference
3.1.9. Contraposition (traditional logic)
link
nosplit
Rules of inference
3.1.10. Cut rule
link
nosplit
Rules of inference
3.1.11. Destructive dilemma
link
nosplit
Rules of inference
3.1.12. Disjunction elimination
link
nosplit
Rules of inference
3.1.13. Disjunction introduction
link
nosplit
Rules of inference
3.1.14. Disjunctive syllogism
link
nosplit
Rules of inference
3.1.15. Double negation
link
nosplit
Rules of inference
3.1.16. Existential generalization
link
nosplit
Rules of inference
3.1.17. Existential instantiation
link
nosplit
Rules of inference
3.1.18. Exportation (logic)
link
nosplit
Rules of inference
3.1.19. Hypothetical syllogism
link
nosplit
Rules of inference
3.1.20. List of rules of inference
link
nosplit
Rules of inference
3.1.21. List of valid argument forms
link
nosplit
Rules of inference
3.1.22. Material implication (rule of inference)
link
nosplit
Rules of inference
3.1.23. Modus non excipiens
link
nosplit
Rules of inference
3.1.24. Modus ponendo tollens
link
nosplit
Rules of inference
3.1.25. Modus ponens
link
nosplit
Rules of inference
3.1.26. Modus tollens
link
nosplit
Rules of inference
3.1.27. Negation as failure
link
nosplit
Rules of inference
3.1.28. Negation introduction
link
nosplit
Rules of inference
3.1.29. Resolution (logic)
link
nosplit
Rules of inference
3.1.30. Rule of replacement
link
nosplit
Rules of inference
3.1.31. SLD resolution
link
nosplit
Rules of inference
3.1.32. Structural rule
link
nosplit
Rules of inference
3.1.33. Tautology (rule of inference)
link
nosplit
Rules of inference
3.1.34. Transposition (logic)
link
nosplit
Rules of inference
3.1.35. Universal generalization
link
nosplit
Rules of inference
3.1.36. Universal instantiation
link
nosplit
Rules of inference
3.2. Systems of formal logic
link
nosplit
Formal systems
21
3.2.1. Substructural logic
link
nosplit
Systems of formal logic
3.2.2. Alternative semantics
link
nosplit
Systems of formal logic
3.2.3. Attributional calculus
link
nosplit
Systems of formal logic
3.2.4. Aṣṭādhyāyī
link
nosplit
Systems of formal logic
3.2.5. Dependence logic
link
nosplit
Systems of formal logic
3.2.6. Discourse representation theory
link
nosplit
Systems of formal logic
3.2.7. Dynamic semantics
link
nosplit
Systems of formal logic
3.2.8. Epsilon calculus
link
nosplit
Systems of formal logic
3.2.9. Formal ethics
link
nosplit
Systems of formal logic
3.2.10. Frege's propositional calculus
link
nosplit
Systems of formal logic
3.2.11. Higher-order logic
link
nosplit
Systems of formal logic
3.2.12. Implicational propositional calculus
link
nosplit
Systems of formal logic
3.2.13. Independence-friendly logic
link
nosplit
Systems of formal logic
3.2.14. Infinitary logic
link
nosplit
Systems of formal logic
3.2.15. Intermediate logic
link
nosplit
Systems of formal logic
3.2.16. Logics for computability
link
nosplit
Systems of formal logic
3.2.17. Many-sorted logic
link
nosplit
Systems of formal logic
3.2.18. Paraconsistent logic
link
nosplit
Systems of formal logic
3.2.19. Second-order logic
link
nosplit
Systems of formal logic
3.2.20. Zeroth-order logic
link
nosplit
Systems of formal logic
3.2.21. Ω-logic
link
nosplit
Systems of formal logic
3.3. Systems of probability distributions
link
nosplit
Formal systems
6
3.3.1. Burr distribution
link
nosplit
Systems of probability distributions
3.3.2. Metalog distribution
link
nosplit
Systems of probability distributions
3.3.3. Mixture distribution
link
nosplit
Systems of probability distributions
3.3.4. Pearson distribution
link
nosplit
Systems of probability distributions
3.3.5. Quantile-parameterized distribution
link
nosplit
Systems of probability distributions
3.3.6. Tweedie distribution
link
nosplit
Systems of probability distributions
3.4. Systems of set theory
link
nosplit
Formal systems
18
3.4.1. Ackermann set theory
link
nosplit
Systems of set theory
3.4.2. Double extension set theory
link
nosplit
Systems of set theory
3.4.3. Fuzzy set
link
nosplit
Systems of set theory
3.4.4. General set theory
link
nosplit
Systems of set theory
3.4.5. Internal set theory
link
nosplit
Systems of set theory
3.4.6. Kripke–Platek set theory
link
nosplit
Systems of set theory
3.4.7. Kripke–Platek set theory with urelements
link
nosplit
Systems of set theory
3.4.8. List of alternative set theories
link
nosplit
Systems of set theory
3.4.9. Morse–Kelley set theory
link
nosplit
Systems of set theory
3.4.10. Naive set theory
link
nosplit
Systems of set theory
3.4.11. New Foundations
link
nosplit
Systems of set theory
3.4.12. Pocket set theory
link
nosplit
Systems of set theory
3.4.13. Positive set theory
link
nosplit
Systems of set theory
3.4.14. S (set theory)
link
nosplit
Systems of set theory
3.4.15. Semiset
link
nosplit
Systems of set theory
3.4.16. Tarski–Grothendieck set theory
link
nosplit
Systems of set theory
3.4.17. Vague set
link
nosplit
Systems of set theory
3.4.18. Zermelo set theory
link
nosplit
Systems of set theory
3.5. Axiom schema
link
nosplit
Formal systems
3.6. Axiomatic system
link
nosplit
Formal systems
3.7. First principle
link
nosplit
Formal systems
3.8. List of formal systems
link
nosplit
Formal systems
3.9. Physical symbol system
link
nosplit
Formal systems
3.10. Rule of inference
link
nosplit
Formal systems
3.11. Term graph
link
nosplit
Formal systems
4. Independence results
link
nosplit
Mathematical logic
6
4.1. Aronszajn tree
link
nosplit
Independence results
4.2. Diamond principle
link
nosplit
Independence results
4.3. Jech–Kunen tree
link
nosplit
Independence results
4.4. Kurepa tree
link
nosplit
Independence results
4.5. Martin's axiom
link
nosplit
Independence results
4.6. Suslin tree
link
nosplit
Independence results
5. Large-scale mathematical formalization projects
link
nosplit
Mathematical logic
25
5.1. Metamath
link
nosplit
Large-scale mathematical formalization projects
5.2. Mizar system
link
nosplit
Large-scale mathematical formalization projects
5.3. Nicolas Bourbaki
link
nosplit
Large-scale mathematical formalization projects
21
5.3.1. André Martineau
link
nosplit
Nicolas Bourbaki
5.3.2. Bernard Teissier
link
nosplit
Nicolas Bourbaki
5.3.3. Bourbaki dangerous bend symbol
link
nosplit
Nicolas Bourbaki
5.3.4. Charles Pisot
link
nosplit
Nicolas Bourbaki
5.3.5. Daniel Bennequin
link
nosplit
Nicolas Bourbaki
5.3.6. François Bruhat
link
nosplit
Nicolas Bourbaki
5.3.7. Georges Skandalis
link
nosplit
Nicolas Bourbaki
5.3.8. Gilles Lebeau
link
nosplit
Nicolas Bourbaki
5.3.9. Guy Henniart
link
nosplit
Nicolas Bourbaki
5.3.10. Jean-Louis Koszul
link
nosplit
Nicolas Bourbaki
5.3.11. Jean-Louis Verdier
link
nosplit
Nicolas Bourbaki
5.3.12. Jean Coulomb
link
nosplit
Nicolas Bourbaki
5.3.13. Laurent Schwartz
link
nosplit
Nicolas Bourbaki
5.3.14. Pierre Cartier (mathematician)
link
nosplit
Nicolas Bourbaki
5.3.15. René de Possel
link
nosplit
Nicolas Bourbaki
5.3.16. Roger Godement
link
nosplit
Nicolas Bourbaki
5.3.17. Szolem Mandelbrojt
link
nosplit
Nicolas Bourbaki
5.3.18. Séminaire Nicolas Bourbaki
link
nosplit
Nicolas Bourbaki
5.3.19. Séminaire Nicolas Bourbaki (1950–1959)
link
nosplit
Nicolas Bourbaki
5.3.20. Séminaire Nicolas Bourbaki (1960–1969)
link
nosplit
Nicolas Bourbaki
5.3.21. Éléments de mathématique
link
nosplit
Nicolas Bourbaki
5.4. Principia Mathematica
link
nosplit
Large-scale mathematical formalization projects
6. Logical expressions
link
nosplit
Mathematical logic
8
6.1. Atomic formula
link
nosplit
Logical expressions
6.2. Cirquent calculus
link
nosplit
Logical expressions
6.3. Open formula
link
nosplit
Logical expressions
6.4. Polish notation
link
nosplit
Logical expressions
6.5. Sequent
link
nosplit
Logical expressions
6.6. Theorem
link
nosplit
Logical expressions
6.7. Theory (mathematical logic)
link
nosplit
Logical expressions
6.8. Universal quantification
link
nosplit
Logical expressions
7. Logical positivism
link
nosplit
Mathematical logic
40
7.1. A. J. Ayer
link
nosplit
Logical positivism
7.2. Berlin Circle
link
nosplit
Logical positivism
7.3. Carl Gustav Hempel
link
nosplit
Logical positivism
7.4. Coordinative definition
link
nosplit
Logical positivism
7.5. Josef Schächter
link
nosplit
Logical positivism
7.6. Language, Truth, and Logic
link
nosplit
Logical positivism
7.7. Moritz Schlick
link
nosplit
Logical positivism
7.8. Naïve empiricism
link
nosplit
Logical positivism
7.9. Otto Neurath
link
nosplit
Logical positivism
7.10. Phenomenalism
link
nosplit
Logical positivism
7.11. Received view of theories
link
nosplit
Logical positivism
7.12. Structural semantics
link
nosplit
Logical positivism
7.13. Unified Science
link
nosplit
Logical positivism
7.14. Verificationism
link
nosplit
Logical positivism
7.15. Vienna Circle
link
nosplit
Logical positivism
25
7.15.1. Adolf Lindenbaum
link
nosplit
Vienna Circle
7.15.2. Béla Juhos
link
nosplit
Vienna Circle
7.15.3. Café Central
link
nosplit
Vienna Circle
7.15.4. Edgar Zilsel
link
nosplit
Vienna Circle
7.15.5. Eino Kaila
link
nosplit
Vienna Circle
7.15.6. Erkenntnis
link
nosplit
Vienna Circle
7.15.7. Friedrich Waismann
link
nosplit
Vienna Circle
7.15.8. Gustav Bergmann
link
nosplit
Vienna Circle
7.15.9. Herbert Feigl
link
nosplit
Vienna Circle
7.15.10. Institute Vienna Circle / Vienna Circle Society
link
nosplit
Vienna Circle
7.15.11. International Encyclopedia of Unified Science
link
nosplit
Vienna Circle
7.15.12. Josef Frank (architect)
link
nosplit
Vienna Circle
7.15.13. Karl Menger
link
nosplit
Vienna Circle
7.15.14. Kraft Circle
link
nosplit
Vienna Circle
7.15.15. Kurt Grelling
link
nosplit
Vienna Circle
7.15.16. Kurt Gödel
link
nosplit
Vienna Circle
7.15.17. Louis Rougier
link
nosplit
Vienna Circle
7.15.18. Marcel Boll
link
nosplit
Vienna Circle
7.15.19. Olga Hahn-Neurath
link
nosplit
Vienna Circle
7.15.20. Philipp Frank
link
nosplit
Vienna Circle
7.15.21. Rose Rand
link
nosplit
Vienna Circle
7.15.22. Rudolf Carnap
link
nosplit
Vienna Circle
7.15.23. Second Conference on the Epistemology of the Exact Sciences
link
nosplit
Vienna Circle
7.15.24. Victor Kraft
link
nosplit
Vienna Circle
7.15.25. Walter Dubislav
link
nosplit
Vienna Circle
8. Logical truth
link
nosplit
Mathematical logic
13
8.1. Degree of truth
link
nosplit
Logical truth
8.2. Direct proof
link
nosplit
Logical truth
8.3. Fact
link
nosplit
Logical truth
8.4. Faultless disagreement
link
nosplit
Logical truth
8.5. Immutable truth
link
nosplit
Logical truth
8.6. Logical constant
link
nosplit
Logical truth
8.7. Logical form
link
nosplit
Logical truth
8.8. Truth-bearer
link
nosplit
Logical truth
8.9. Truth condition
link
nosplit
Logical truth
8.10. Truth value
link
nosplit
Logical truth
8.11. Two Dogmas of Empiricism
link
nosplit
Logical truth
8.12. Validity (logic)
link
nosplit
Logical truth
8.13. Veridicality
link
nosplit
Logical truth
9. Mathematical axioms
link
nosplit
Mathematical logic
26
9.1. Axioms of set theory
link
nosplit
Mathematical axioms
20
9.1.1. Axiom of choice
link
nosplit
Axioms of set theory
9.1.2. Axiom of adjunction
link
nosplit
Axioms of set theory
9.1.3. Axiom of constructibility
link
nosplit
Axioms of set theory
9.1.4. Axiom of empty set
link
nosplit
Axioms of set theory
9.1.5. Axiom of extensionality
link
nosplit
Axioms of set theory
9.1.6. Axiom of finite choice
link
nosplit
Axioms of set theory
9.1.7. Axiom of global choice
link
nosplit
Axioms of set theory
9.1.8. Axiom of infinity
link
nosplit
Axioms of set theory
9.1.9. Axiom of limitation of size
link
nosplit
Axioms of set theory
9.1.10. Axiom of non-choice
link
nosplit
Axioms of set theory
9.1.11. Axiom of pairing
link
nosplit
Axioms of set theory
9.1.12. Axiom of power set
link
nosplit
Axioms of set theory
9.1.13. Axiom of union
link
nosplit
Axioms of set theory
9.1.14. Axiom schema of replacement
link
nosplit
Axioms of set theory
9.1.15. Axiom schema of specification
link
nosplit
Axioms of set theory
9.1.16. Baumgartner's axiom
link
nosplit
Axioms of set theory
9.1.17. Freiling's axiom of symmetry
link
nosplit
Axioms of set theory
9.1.18. Ground axiom
link
nosplit
Axioms of set theory
9.1.19. Large cardinal
link
nosplit
Axioms of set theory
9.1.20. Wholeness axiom
link
nosplit
Axioms of set theory
9.2. Axiom
link
nosplit
Mathematical axioms
9.3. Blum axioms
link
nosplit
Mathematical axioms
9.4. Kuratowski closure axioms
link
nosplit
Mathematical axioms
9.5. List of axioms
link
nosplit
Mathematical axioms
9.6. Probability axioms
link
nosplit
Mathematical axioms
10. Mathematical logic hierarchies
link
nosplit
Mathematical logic
11
10.1. Hierarchy of functions
link
nosplit
Mathematical logic hierarchies
3
10.1.1. Grzegorczyk hierarchy
link
nosplit
Hierarchy of functions
10.1.2. Hardy hierarchy
link
nosplit
Hierarchy of functions
10.1.3. Slow-growing hierarchy
link
nosplit
Hierarchy of functions
10.2. Analytical hierarchy
link
nosplit
Mathematical logic hierarchies
10.3. Arithmetical hierarchy
link
nosplit
Mathematical logic hierarchies
10.4. Arithmetical set
link
nosplit
Mathematical logic hierarchies
10.5. Borel hierarchy
link
nosplit
Mathematical logic hierarchies
10.6. Difference hierarchy
link
nosplit
Mathematical logic hierarchies
10.7. Projective hierarchy
link
nosplit
Mathematical logic hierarchies
10.8. Wadge hierarchy
link
nosplit
Mathematical logic hierarchies
11. Mathematical logic organizations
link
nosplit
Mathematical logic
4
11.1. Association for Logic, Language and Information
link
nosplit
Mathematical logic organizations
11.2. Association for Symbolic Logic
link
nosplit
Mathematical logic organizations
11.3. European Summer School in Logic, Language and Information
link
nosplit
Mathematical logic organizations
11.4. Scandinavian Logic Society
link
nosplit
Mathematical logic organizations
12. Mathematical logic stubs
link
nosplit
Mathematical logic
90
12.1. Programming language theory stubs
link
nosplit
Mathematical logic stubs
15
12.1.1. Container (type theory)
link
nosplit
Programming language theory stubs
12.1.2. Efferent coupling
link
nosplit
Programming language theory stubs
12.1.3. Jump threading
link
nosplit
Programming language theory stubs
12.1.4. Latent typing
link
nosplit
Programming language theory stubs
12.1.5. Option–operand separation
link
nosplit
Programming language theory stubs
12.1.6. Principal type
link
nosplit
Programming language theory stubs
12.1.7. Refinement type
link
nosplit
Programming language theory stubs
12.1.8. Semantic analysis (compilers)
link
nosplit
Programming language theory stubs
12.1.9. Stream (abstract data type)
link
nosplit
Programming language theory stubs
12.1.10. Subject reduction
link
nosplit
Programming language theory stubs
12.1.11. Syntactic closure
link
nosplit
Programming language theory stubs
12.1.12. Type inhabitation
link
nosplit
Programming language theory stubs
12.1.13. Type variable
link
nosplit
Programming language theory stubs
12.1.14. Typing environment
link
nosplit
Programming language theory stubs
12.1.15. Typing rule
link
nosplit
Programming language theory stubs
12.2. Set theory stubs
link
nosplit
Mathematical logic stubs
44
12.2.1. Adequate pointclass
link
nosplit
Set theory stubs
12.2.2. Admissible set
link
nosplit
Set theory stubs
12.2.3. Almost
link
nosplit
Set theory stubs
12.2.4. Cabal (set theory)
link
nosplit
Set theory stubs
12.2.5. Chang's model
link
nosplit
Set theory stubs
12.2.6. Coanalytic set
link
nosplit
Set theory stubs
12.2.7. Cocountability
link
nosplit
Set theory stubs
12.2.8. Code (set theory)
link
nosplit
Set theory stubs
12.2.9. Critical point (set theory)
link
nosplit
Set theory stubs
12.2.10. Effective descriptive set theory
link
nosplit
Set theory stubs
12.2.11. Erdős cardinal
link
nosplit
Set theory stubs
12.2.12. Extendible cardinal
link
nosplit
Set theory stubs
12.2.13. Game-theoretic rough sets
link
nosplit
Set theory stubs
12.2.14. Hereditarily countable set
link
nosplit
Set theory stubs
12.2.15. Hierarchy (mathematics)
link
nosplit
Set theory stubs
12.2.16. Homogeneous (large cardinal property)
link
nosplit
Set theory stubs
12.2.17. Inductive set
link
nosplit
Set theory stubs
12.2.18. Ineffable cardinal
link
nosplit
Set theory stubs
12.2.19. Iterable cardinal
link
nosplit
Set theory stubs
12.2.20. Jónsson cardinal
link
nosplit
Set theory stubs
12.2.21. Kunen's inconsistency theorem
link
nosplit
Set theory stubs
12.2.22. Kuratowski's free set theorem
link
nosplit
Set theory stubs
12.2.23. Limitation of size
link
nosplit
Set theory stubs
12.2.24. Ordinal definable set
link
nosplit
Set theory stubs
12.2.25. Projection (set theory)
link
nosplit
Set theory stubs
12.2.26. Pseudo-intersection
link
nosplit
Set theory stubs
12.2.27. Reflecting cardinal
link
nosplit
Set theory stubs
12.2.28. Remarkable cardinal
link
nosplit
Set theory stubs
12.2.29. Rowbottom cardinal
link
nosplit
Set theory stubs
12.2.30. Shelah cardinal
link
nosplit
Set theory stubs
12.2.31. Shrewd cardinal
link
nosplit
Set theory stubs
12.2.32. Square principle
link
nosplit
Set theory stubs
12.2.33. Strong cardinal
link
nosplit
Set theory stubs
12.2.34. Strongly compact cardinal
link
nosplit
Set theory stubs
12.2.35. Subcompact cardinal
link
nosplit
Set theory stubs
12.2.36. Subtle cardinal
link
nosplit
Set theory stubs
12.2.37. Superstrong cardinal
link
nosplit
Set theory stubs
12.2.38. Suslin representation
link
nosplit
Set theory stubs
12.2.39. Tall cardinal
link
nosplit
Set theory stubs
12.2.40. Ulam matrix
link
nosplit
Set theory stubs
12.2.41. Unfoldable cardinal
link
nosplit
Set theory stubs
12.2.42. Universally Baire set
link
nosplit
Set theory stubs
12.2.43. Vopěnka's principle
link
nosplit
Set theory stubs
12.2.44. Worldly cardinal
link
nosplit
Set theory stubs
12.3. Abstract structure
link
nosplit
Mathematical logic stubs
12.4. Bernays–Schönfinkel class
link
nosplit
Mathematical logic stubs
12.5. Continuum (set theory)
link
nosplit
Mathematical logic stubs
12.6. Deductive closure
link
nosplit
Mathematical logic stubs
12.7. Extension (predicate logic)
link
nosplit
Mathematical logic stubs
12.8. Friedberg numbering
link
nosplit
Mathematical logic stubs
12.9. Gabbay's separation theorem
link
nosplit
Mathematical logic stubs
12.10. High (computability)
link
nosplit
Mathematical logic stubs
12.11. Honest leftmost branch
link
nosplit
Mathematical logic stubs
12.12. Jensen's covering theorem
link
nosplit
Mathematical logic stubs
12.13. Kleene–Rosser paradox
link
nosplit
Mathematical logic stubs
12.14. LEGO (proof assistant)
link
nosplit
Mathematical logic stubs
12.15. Low (computability)
link
nosplit
Mathematical logic stubs
12.16. Low basis theorem
link
nosplit
Mathematical logic stubs
12.17. Material nonimplication
link
nosplit
Mathematical logic stubs
12.18. Maximal set
link
nosplit
Mathematical logic stubs
12.19. Michael D. Morley
link
nosplit
Mathematical logic stubs
12.20. Milner–Rado paradox
link
nosplit
Mathematical logic stubs
12.21. Modal collapse
link
nosplit
Mathematical logic stubs
12.22. Nested sequent calculus
link
nosplit
Mathematical logic stubs
12.23. Paraconsistent mathematics
link
nosplit
Mathematical logic stubs
12.24. Paradoxes of the Infinite
link
nosplit
Mathematical logic stubs
12.25. Proof mining
link
nosplit
Mathematical logic stubs
12.26. Separating set
link
nosplit
Mathematical logic stubs
12.27. Soft set
link
nosplit
Mathematical logic stubs
12.28. Takeuti's conjecture
link
nosplit
Mathematical logic stubs
12.29. Theory of pure equality
link
nosplit
Mathematical logic stubs
12.30. UTM theorem
link
nosplit
Mathematical logic stubs
12.31. Zero dagger
link
nosplit
Mathematical logic stubs
13. Mathematical logicians
link
nosplit
Mathematical logic
218
13.1. Computability theorists
link
nosplit
Mathematical logicians
8
13.1.1. Alfred Tarski
link
nosplit
Computability theorists
13.1.2. Alonzo Church
link
nosplit
Computability theorists
13.1.3. Emil Leon Post
link
nosplit
Computability theorists
13.1.4. Louise Hay (mathematician)
link
nosplit
Computability theorists
13.1.5. Melvin Fitting
link
nosplit
Computability theorists
13.1.6. Wilhelm Ackermann
link
nosplit
Computability theorists
13.1.7. William Craig (philosopher)
link
nosplit
Computability theorists
13.1.8. William Gasarch
link
nosplit
Computability theorists
13.2. Proof theorists
link
nosplit
Mathematical logicians
8
13.2.1. Dick de Jongh
link
nosplit
Proof theorists
13.2.2. Gaisi Takeuti
link
nosplit
Proof theorists
13.2.3. Jacques Herbrand
link
nosplit
Proof theorists
13.2.4. Jan Śleszyński
link
nosplit
Proof theorists
13.2.5. Jean-Yves Girard
link
nosplit
Proof theorists
13.2.6. Paul Lorenzen
link
nosplit
Proof theorists
13.2.7. T. M. Scanlon
link
nosplit
Proof theorists
13.2.8. William Alvin Howard
link
nosplit
Proof theorists
13.3. Set theorists
link
nosplit
Mathematical logicians
68
13.3.1. Polish set theorists
link
nosplit
Set theorists
13.3.2. Abraham Fraenkel
link
nosplit
Set theorists
13.3.3. Akihiro Kanamori
link
nosplit
Set theorists
13.3.4. Alexander S. Kechris
link
nosplit
Set theorists
13.3.5. Andreas Blass
link
nosplit
Set theorists
13.3.6. Anthony Quinton
link
nosplit
Set theorists
13.3.7. Arnold Oberschelp
link
nosplit
Set theorists
13.3.8. Azriel Lévy
link
nosplit
Set theorists
13.3.9. Bohuslav Balcar
link
nosplit
Set theorists
13.3.10. Cesare Burali-Forti
link
nosplit
Set theorists
13.3.11. Chris Freiling
link
nosplit
Set theorists
13.3.12. Donald A. Martin
link
nosplit
Set theorists
13.3.13. Eduard Helly
link
nosplit
Set theorists
13.3.14. Eric Charles Milner
link
nosplit
Set theorists
13.3.15. Ernst Specker
link
nosplit
Set theorists
13.3.16. Felix Bernstein (mathematician)
link
nosplit
Set theorists
13.3.17. Frederick Rowbottom
link
nosplit
Set theorists
13.3.18. Georg Cantor
link
nosplit
Set theorists
13.3.19. Gottlob Frege
link
nosplit
Set theorists
13.3.20. Géza Fodor (mathematician)
link
nosplit
Set theorists
13.3.21. Haim Gaifman
link
nosplit
Set theorists
13.3.22. Harvey Friedman
link
nosplit
Set theorists
13.3.23. Heinz-Dieter Ebbinghaus
link
nosplit
Set theorists
13.3.24. Heinz Bachmann
link
nosplit
Set theorists
13.3.25. Itay Neeman
link
nosplit
Set theorists
13.3.26. Jack Silver
link
nosplit
Set theorists
13.3.27. Jean E. Rubin
link
nosplit
Set theorists
13.3.28. Joan Bagaria
link
nosplit
Set theorists
13.3.29. Joel David Hamkins
link
nosplit
Set theorists
13.3.30. John Lane Bell
link
nosplit
Set theorists
13.3.31. John R. Steel
link
nosplit
Set theorists
13.3.32. Justin T. Moore
link
nosplit
Set theorists
13.3.33. Keith Devlin
link
nosplit
Set theorists
13.3.34. Leo Harrington
link
nosplit
Set theorists
13.3.35. Lisl Gaal
link
nosplit
Set theorists
13.3.36. Lyudmila Keldysh
link
nosplit
Set theorists
13.3.37. Martin Goldstern
link
nosplit
Set theorists
13.3.38. Matthew Foreman
link
nosplit
Set theorists
13.3.39. Menachem Magidor
link
nosplit
Set theorists
13.3.40. Mikhail Suslin
link
nosplit
Set theorists
13.3.41. Moti Gitik
link
nosplit
Set theorists
13.3.42. Nikolai Luzin
link
nosplit
Set theorists
13.3.43. Patrick Suppes
link
nosplit
Set theorists
13.3.44. Paul Cohen
link
nosplit
Set theorists
13.3.45. Paul Finsler
link
nosplit
Set theorists
13.3.46. Paul Mahlo
link
nosplit
Set theorists
13.3.47. Peter Aczel
link
nosplit
Set theorists
13.3.48. Petr Hájek
link
nosplit
Set theorists
13.3.49. Petr Vopěnka
link
nosplit
Set theorists
13.3.50. Péter Komjáth
link
nosplit
Set theorists
13.3.51. Raphael M. Robinson
link
nosplit
Set theorists
13.3.52. Richard Laver
link
nosplit
Set theorists
13.3.53. Robert M. Solovay
link
nosplit
Set theorists
13.3.54. Ronald Jensen
link
nosplit
Set theorists
13.3.55. Saharon Shelah
link
nosplit
Set theorists
13.3.56. Saul Kripke
link
nosplit
Set theorists
13.3.57. Sophie Piccard
link
nosplit
Set theorists
13.3.58. Steve Jackson (mathematician)
link
nosplit
Set theorists
13.3.59. Sy Friedman
link
nosplit
Set theorists
13.3.60. Thomas Forster (mathematician)
link
nosplit
Set theorists
13.3.61. Thomas Jech
link
nosplit
Set theorists
13.3.62. Udayana
link
nosplit
Set theorists
13.3.63. W. Hugh Woodin
link
nosplit
Set theorists
13.3.64. Willard Van Orman Quine
link
nosplit
Set theorists
13.3.65. William Bigelow Easton
link
nosplit
Set theorists
13.3.66. William S. Zwicker
link
nosplit
Set theorists
13.3.67. Yiannis N. Moschovakis
link
nosplit
Set theorists
13.3.68. Đuro Kurepa
link
nosplit
Set theorists
13.4. A. H. Lightstone
link
nosplit
Mathematical logicians
13.5. Abraham Robinson
link
nosplit
Mathematical logicians
13.6. Adrian Mathias
link
nosplit
Mathematical logicians
13.7. Agata Ciabattoni
link
nosplit
Mathematical logicians
13.8. Albert Muchnik
link
nosplit
Mathematical logicians
13.9. Albert Wohlstetter
link
nosplit
Mathematical logicians
13.10. Alfred North Whitehead
link
nosplit
Mathematical logicians
4
13.10.1. Works by Alfred North Whitehead
link
nosplit
Alfred North Whitehead
13.10.2. Contemporary Whitehead Studies
link
nosplit
Alfred North Whitehead
13.10.3. Inert knowledge
link
nosplit
Alfred North Whitehead
13.10.4. Whitehead's theory of gravitation
link
nosplit
Alfred North Whitehead
13.11. Andrzej Grzegorczyk
link
nosplit
Mathematical logicians
13.12. Anne M. Leggett
link
nosplit
Mathematical logicians
13.13. Arnon Avron
link
nosplit
Mathematical logicians
13.14. Arthur Prior
link
nosplit
Mathematical logicians
13.15. Benedict Freedman
link
nosplit
Mathematical logicians
13.16. Benedikt Löwe
link
nosplit
Mathematical logicians
13.17. Benjamin Abram Bernstein
link
nosplit
Mathematical logicians
13.18. Bertrand Russell
link
nosplit
Mathematical logicians
32
13.18.1. Bertrand Russell Professors of Philosophy
link
nosplit
Bertrand Russell
13.18.2. Works by Bertrand Russell
link
nosplit
Bertrand Russell
13.18.3. 1950 Nobel Prize in Literature
link
nosplit
Bertrand Russell
13.18.4. Alys Pearsall Smith
link
nosplit
Bertrand Russell
13.18.5. Aman (film)
link
nosplit
Bertrand Russell
13.18.6. Barber paradox
link
nosplit
Bertrand Russell
13.18.7. Bertrand Russell's philosophical views
link
nosplit
Bertrand Russell
13.18.8. Bertrand Russell's political views
link
nosplit
Bertrand Russell
13.18.9. Bertrand Russell Professorship of Philosophy
link
nosplit
Bertrand Russell
13.18.10. Cleddon Hall
link
nosplit
Bertrand Russell
13.18.11. Copleston–Russell debate
link
nosplit
Bertrand Russell
13.18.12. Definite description
link
nosplit
Bertrand Russell
13.18.13. Dora Russell
link
nosplit
Bertrand Russell
13.18.14. Edith Finch Russell
link
nosplit
Bertrand Russell
13.18.15. Failure to refer
link
nosplit
Bertrand Russell
13.18.16. Frank Russell, 2nd Earl Russell
link
nosplit
Bertrand Russell
13.18.17. John Russell, 4th Earl Russell
link
nosplit
Bertrand Russell
13.18.18. John Russell, Viscount Amberley
link
nosplit
Bertrand Russell
13.18.19. Knowledge by acquaintance
link
nosplit
Bertrand Russell
13.18.20. Lionel Britton
link
nosplit
Bertrand Russell
13.18.21. Logical atomism
link
nosplit
Bertrand Russell
13.18.22. Patricia Russell
link
nosplit
Bertrand Russell
13.18.23. Pembroke Lodge, Richmond Park
link
nosplit
Bertrand Russell
13.18.24. Richmond Park
link
nosplit
Bertrand Russell
13.18.25. Rollo Russell
link
nosplit
Bertrand Russell
13.18.26. Russell's paradox
link
nosplit
Bertrand Russell
13.18.27. Russell's teapot
link
nosplit
Bertrand Russell
13.18.28. Russell Tribunal
link
nosplit
Bertrand Russell
13.18.29. Scientific temper
link
nosplit
Bertrand Russell
13.18.30. The Bertrand Russell Case
link
nosplit
Bertrand Russell
13.18.31. The Man Who Knew Infinity
link
nosplit
Bertrand Russell
13.18.32. Theory of descriptions
link
nosplit
Bertrand Russell
13.19. Charles Parsons (philosopher)
link
nosplit
Mathematical logicians
13.20. Christine Paulin-Mohring
link
nosplit
Mathematical logicians
13.21. Cristina Sernadas
link
nosplit
Mathematical logicians
13.22. Dag Prawitz
link
nosplit
Mathematical logicians
13.23. Dieter Rödding
link
nosplit
Mathematical logicians
13.24. Dimiter Skordev
link
nosplit
Mathematical logicians
13.25. Ehud Hrushovski
link
nosplit
Mathematical logicians
13.26. Ernst Zermelo
link
nosplit
Mathematical logicians
13.27. Evert Willem Beth
link
nosplit
Mathematical logicians
13.28. Gennady Makanin
link
nosplit
Mathematical logicians
13.29. Gerald Sacks
link
nosplit
Mathematical logicians
13.30. Gisbert Hasenjaeger
link
nosplit
Mathematical logicians
13.31. Grant Olney
link
nosplit
Mathematical logicians
13.32. Greg Hjorth
link
nosplit
Mathematical logicians
13.33. Grigore Moisil
link
nosplit
Mathematical logicians
13.34. Grigori Mints
link
nosplit
Mathematical logicians
13.35. Hajnal Andréka
link
nosplit
Mathematical logicians
13.36. Heinrich Scholz
link
nosplit
Mathematical logicians
13.37. Henk Barendregt
link
nosplit
Mathematical logicians
13.38. Herbert Enderton
link
nosplit
Mathematical logicians
13.39. Ilijas Farah
link
nosplit
Mathematical logicians
13.40. Irving Anellis
link
nosplit
Mathematical logicians
13.41. Itala D'Ottaviano
link
nosplit
Mathematical logicians
13.42. Jacek Malinowski
link
nosplit
Mathematical logicians
13.43. James Earl Baumgartner
link
nosplit
Mathematical logicians
13.44. Jane Kister
link
nosplit
Mathematical logicians
13.45. Jean-Yves Béziau
link
nosplit
Mathematical logicians
13.46. Jerzy Giedymin
link
nosplit
Mathematical logicians
13.47. John Corcoran (logician)
link
nosplit
Mathematical logicians
13.48. John W. Dawson Jr.
link
nosplit
Mathematical logicians
13.49. Jon Barwise
link
nosplit
Mathematical logicians
13.50. Joseph R. Shoenfield
link
nosplit
Mathematical logicians
13.51. Joseph Sgro
link
nosplit
Mathematical logicians
13.52. Judy Green (mathematician)
link
nosplit
Mathematical logicians
13.53. Juliette Kennedy
link
nosplit
Mathematical logicians
13.54. Karel Hrbáček
link
nosplit
Mathematical logicians
13.55. Karl-Georg Niebergall
link
nosplit
Mathematical logicians
13.56. Karl Schröter
link
nosplit
Mathematical logicians
13.57. Katalin Bimbó
link
nosplit
Mathematical logicians
13.58. Keith Stroyan
link
nosplit
Mathematical logicians
13.59. Kurt Schütte
link
nosplit
Mathematical logicians
13.60. Larisa Maksimova
link
nosplit
Mathematical logicians
13.61. Lou van den Dries
link
nosplit
Mathematical logicians
13.62. Lyubomir Ivanov (explorer)
link
nosplit
Mathematical logicians
13.63. László Kalmár
link
nosplit
Mathematical logicians
13.64. Mai Gehrke
link
nosplit
Mathematical logicians
13.65. Marcia Groszek
link
nosplit
Mathematical logicians
13.66. Marian Pour-El
link
nosplit
Mathematical logicians
13.67. Martin Grohe
link
nosplit
Mathematical logicians
13.68. Mary Tiles
link
nosplit
Mathematical logicians
13.69. María Manzano
link
nosplit
Mathematical logicians
13.70. Moshe Vardi
link
nosplit
Mathematical logicians
13.71. Nate Ackerman
link
nosplit
Mathematical logicians
13.72. Noriko H. Arai
link
nosplit
Mathematical logicians
13.73. Paul Benacerraf
link
nosplit
Mathematical logicians
13.74. Paul Bernays
link
nosplit
Mathematical logicians
13.75. Per Martin-Löf
link
nosplit
Mathematical logicians
13.76. Peter A. Loeb
link
nosplit
Mathematical logicians
13.77. Peter B. Andrews
link
nosplit
Mathematical logicians
13.78. Richard Zach
link
nosplit
Mathematical logicians
13.79. Robert Goldblatt
link
nosplit
Mathematical logicians
13.80. Robin Gandy
link
nosplit
Mathematical logicians
13.81. Roland Fraïssé
link
nosplit
Mathematical logicians
13.82. Ruy de Queiroz
link
nosplit
Mathematical logicians
13.83. Sara Negri
link
nosplit
Mathematical logicians
13.84. Siegfried Gottwald
link
nosplit
Mathematical logicians
13.85. Solomon Feferman
link
nosplit
Mathematical logicians
13.86. Sonja Smets
link
nosplit
Mathematical logicians
13.87. Susanna S. Epp
link
nosplit
Mathematical logicians
13.88. Ticio Escobar
link
nosplit
Mathematical logicians
13.89. Tomek Bartoszyński
link
nosplit
Mathematical logicians
13.90. Torkel Franzén
link
nosplit
Mathematical logicians
13.91. Ulrich Kohlenbach
link
nosplit
Mathematical logicians
13.92. Valentin Goranko
link
nosplit
Mathematical logicians
13.93. Verena Huber-Dyson
link
nosplit
Mathematical logicians
13.94. Victor Shestakov
link
nosplit
Mathematical logicians
13.95. Warren Goldfarb
link
nosplit
Mathematical logicians
13.96. William W. Tait
link
nosplit
Mathematical logicians
13.97. Yehoshua Bar-Hillel
link
nosplit
Mathematical logicians
13.98. Zygmunt Zawirski
link
nosplit
Mathematical logicians
14. Predicate logic
link
nosplit
Mathematical logic
19
14.1. Atomic sentence
link
nosplit
Predicate logic
14.2. Begriffsschrift
link
nosplit
Predicate logic
14.3. Clause (logic)
link
nosplit
Predicate logic
14.4. Domain of discourse
link
nosplit
Predicate logic
14.5. Drinker paradox
link
nosplit
Predicate logic
14.6. Empty domain
link
nosplit
Predicate logic
14.7. First-order predicate
link
nosplit
Predicate logic
14.8. Fixed-point logic
link
nosplit
Predicate logic
14.9. Free variables and bound variables
link
nosplit
Predicate logic
14.10. Independence of premise
link
nosplit
Predicate logic
14.11. Intensional logic
link
nosplit
Predicate logic
14.12. Monadic predicate calculus
link
nosplit
Predicate logic
14.13. Predicate variable
link
nosplit
Predicate logic
14.14. Scope (logic)
link
nosplit
Predicate logic
14.15. Second-order predicate
link
nosplit
Predicate logic
14.16. Sentence (mathematical logic)
link
nosplit
Predicate logic
14.17. Standard translation
link
nosplit
Predicate logic
14.18. Tarski's World
link
nosplit
Predicate logic
14.19. Temperature paradox
link
nosplit
Predicate logic
15. Quantifier (logic)
link
nosplit
Mathematical logic
13
15.1. Bounded quantifier
link
nosplit
Quantifier (logic)
15.2. Branching quantifier
link
nosplit
Quantifier (logic)
15.3. Conditional quantifier
link
nosplit
Quantifier (logic)
15.4. Counting quantification
link
nosplit
Quantifier (logic)
15.5. Donkey sentence
link
nosplit
Quantifier (logic)
15.6. Existential quantification
link
nosplit
Quantifier (logic)
15.7. Filter quantifier
link
nosplit
Quantifier (logic)
15.8. Generalized quantifier
link
nosplit
Quantifier (logic)
15.9. Lindström quantifier
link
nosplit
Quantifier (logic)
15.10. Plural quantification
link
nosplit
Quantifier (logic)
15.11. Quantificational variability effect
link
nosplit
Quantifier (logic)
15.12. Quantifier variance
link
nosplit
Quantifier (logic)
15.13. Uniqueness quantification
link
nosplit
Quantifier (logic)
16. Mereology
link
nosplit
Mathematical logic
66
16.1. Holism
link
nosplit
Mereology
32
16.1.1. Modularity
link
nosplit
Holism
16.1.2. Antireductionism
link
nosplit
Holism
16.1.3. Belgitude
link
nosplit
Holism
16.1.4. Confirmation holism
link
nosplit
Holism
16.1.5. Duhem–Quine thesis
link
nosplit
Holism
16.1.6. Emergent evolution
link
nosplit
Holism
16.1.7. Function (computer programming)
link
nosplit
Holism
16.1.8. Gestalt psychology
link
nosplit
Holism
16.1.9. Holism and Evolution
link
nosplit
Holism
16.1.10. Holon (sculpture)
link
nosplit
Holism
16.1.11. Implicate and explicate order
link
nosplit
Holism
16.1.12. Integral theory (Ken Wilber)
link
nosplit
Holism
16.1.13. Logical holism
link
nosplit
Holism
16.1.14. Modular design
link
nosplit
Holism
16.1.15. Noosphere
link
nosplit
Holism
16.1.16. Organicism
link
nosplit
Holism
16.1.17. Orthopathy
link
nosplit
Holism
16.1.18. Powers of Ten (film)
link
nosplit
Holism
16.1.19. Prancercise
link
nosplit
Holism
16.1.20. Process philosophy
link
nosplit
Holism
16.1.21. Relationalism
link
nosplit
Holism
16.1.22. Semantic holism
link
nosplit
Holism
16.1.23. Sphoṭa
link
nosplit
Holism
16.1.24. Structured programming
link
nosplit
Holism
16.1.25. Synergetics (Fuller)
link
nosplit
Holism
16.1.26. Synergy
link
nosplit
Holism
16.1.27. Tektology
link
nosplit
Holism
16.1.28. Theory of Colours
link
nosplit
Holism
16.1.29. Traian Brăileanu
link
nosplit
Holism
16.1.30. Transcendental humanism
link
nosplit
Holism
16.1.31. Transdisciplinarity
link
nosplit
Holism
16.1.32. Wholistic reference
link
nosplit
Holism
16.2. Identity (philosophy)
link
nosplit
Mereology
21
16.2.1. Difference
link
nosplit
Identity (philosophy)
16.2.2. Philosophers of identity
link
nosplit
Identity (philosophy)
16.2.3. Closed concept
link
nosplit
Identity (philosophy)
16.2.4. Difference (philosophy)
link
nosplit
Identity (philosophy)
16.2.5. Endurantism
link
nosplit
Identity (philosophy)
16.2.6. Essence
link
nosplit
Identity (philosophy)
16.2.7. Essentialism
link
nosplit
Identity (philosophy)
16.2.8. Further facts
link
nosplit
Identity (philosophy)
16.2.9. Identity of indiscernibles
link
nosplit
Identity (philosophy)
16.2.10. Law of identity
link
nosplit
Identity (philosophy)
16.2.11. Necessity of identity
link
nosplit
Identity (philosophy)
16.2.12. Nominal identity
link
nosplit
Identity (philosophy)
16.2.13. Nonidentity problem
link
nosplit
Identity (philosophy)
16.2.14. Open individualism
link
nosplit
Identity (philosophy)
16.2.15. Other (philosophy)
link
nosplit
Identity (philosophy)
16.2.16. Personal identity
link
nosplit
Identity (philosophy)
16.2.17. Rose is a rose is a rose is a rose
link
nosplit
Identity (philosophy)
16.2.18. Ship of Theseus
link
nosplit
Identity (philosophy)
16.2.19. Similarity (philosophy)
link
nosplit
Identity (philosophy)
16.2.20. Transworld identity
link
nosplit
Identity (philosophy)
16.2.21. Vertiginous question
link
nosplit
Identity (philosophy)
16.3. Divine simplicity
link
nosplit
Mereology
16.4. Gunk (mereology)
link
nosplit
Mereology
16.5. Mereological essentialism
link
nosplit
Mereology
16.6. Mereological nihilism
link
nosplit
Mereology
16.7. Meronomy
link
nosplit
Mereology
16.8. Multiple occupancy view
link
nosplit
Mereology
16.9. Perdurantism
link
nosplit
Mereology
16.10. Property (philosophy)
link
nosplit
Mereology
16.11. Simple (philosophy)
link
nosplit
Mereology
16.12. Supervenience
link
nosplit
Mereology
16.13. Temporal parts
link
nosplit
Mereology
17. Proof theory
link
nosplit
Mathematical logic
45
17.1. Methods of proof
link
nosplit
Proof theory
7
17.1.1. Conditional proof
link
nosplit
Methods of proof
17.1.2. Counterexample
link
nosplit
Methods of proof
17.1.3. Method of analytic tableaux
link
nosplit
Methods of proof
17.1.4. Proof by contradiction
link
nosplit
Methods of proof
17.1.5. Proof by contrapositive
link
nosplit
Methods of proof
17.1.6. Proof by exhaustion
link
nosplit
Methods of proof
17.1.7. RecycleUnits
link
nosplit
Methods of proof
17.2. Analytic proof
link
nosplit
Proof theory
17.3. Consistency
link
nosplit
Proof theory
17.4. Decidability (logic)
link
nosplit
Proof theory
17.5. Deep inference
link
nosplit
Proof theory
17.6. Focused proof
link
nosplit
Proof theory
17.7. Gentzen's consistency proof
link
nosplit
Proof theory
17.8. Hilbert system
link
nosplit
Proof theory
17.9. Hypersequent
link
nosplit
Proof theory
17.10. Interpretability
link
nosplit
Proof theory
17.11. Japaridze's polymodal logic
link
nosplit
Proof theory
17.12. Judgment (mathematical logic)
link
nosplit
Proof theory
17.13. Lambda-mu calculus
link
nosplit
Proof theory
17.14. LowerUnits
link
nosplit
Proof theory
17.15. Metalanguage
link
nosplit
Proof theory
17.16. Natural deduction
link
nosplit
Proof theory
17.17. Non-surveyable proof
link
nosplit
Proof theory
17.18. Peano–Russell notation
link
nosplit
Proof theory
17.19. Primitive recursive functional
link
nosplit
Proof theory
17.20. Proof calculus
link
nosplit
Proof theory
17.21. Proof compression
link
nosplit
Proof theory
17.22. Proof net
link
nosplit
Proof theory
17.23. Proof procedure
link
nosplit
Proof theory
17.24. Provability logic
link
nosplit
Proof theory
2
17.24.1. Finite model property
link
nosplit
Provability logic
17.24.2. Interpretability logic
link
nosplit
Provability logic
17.25. Pure type system
link
nosplit
Proof theory
17.26. Redundant proof
link
nosplit
Proof theory
17.27. Resolution proof compression by splitting
link
nosplit
Proof theory
17.28. Resolution proof reduction via local context rewriting
link
nosplit
Proof theory
17.29. Self-verifying theories
link
nosplit
Proof theory
17.30. Sequent calculus
link
nosplit
Proof theory
17.31. Structural proof theory
link
nosplit
Proof theory
17.32. System U
link
nosplit
Proof theory
17.33. Tolerant sequence
link
nosplit
Proof theory
17.34. VIPER microprocessor
link
nosplit
Proof theory
17.35. Weak interpretability
link
nosplit
Proof theory
17.36. Ω-consistent theory
link
nosplit
Proof theory
18. Structuralism (philosophy of mathematics)
link
nosplit
Mathematical logic
4
18.1. Benacerraf's identification problem
link
nosplit
Structuralism (philosophy of mathematics)
18.2. James Franklin (philosopher)
link
nosplit
Structuralism (philosophy of mathematics)
18.3. Michael Resnik
link
nosplit
Structuralism (philosophy of mathematics)
18.4. Stewart Shapiro
link
nosplit
Structuralism (philosophy of mathematics)
19. Truth
link
nosplit
Mathematical logic
297
19.1. Theories of truth
link
nosplit
Truth
17
19.1.1. Coherence theory of truth
link
nosplit
Theories of truth
19.1.2. Consensus theory of truth
link
nosplit
Theories of truth
19.1.3. Constructivism (philosophy of science)
link
nosplit
Theories of truth
19.1.4. Correspondence theory of truth
link
nosplit
Theories of truth
19.1.5. Criteria of truth
link
nosplit
Theories of truth
19.1.6. Deflationary theory of truth
link
nosplit
Theories of truth
19.1.7. Dialetheism
link
nosplit
Theories of truth
19.1.8. Epistemic theories of truth
link
nosplit
Theories of truth
19.1.9. Fictionalism
link
nosplit
Theories of truth
19.1.10. Kama
link
nosplit
Theories of truth
19.1.11. Pluralist theories of truth
link
nosplit
Theories of truth
19.1.12. Pragmatic theory of truth
link
nosplit
Theories of truth
19.1.13. Redundancy theory of truth
link
nosplit
Theories of truth
19.1.14. Satya
link
nosplit
Theories of truth
19.1.15. Trivialism
link
nosplit
Theories of truth
19.1.16. Truthmaker theory
link
nosplit
Theories of truth
19.1.17. Two truths doctrine
link
nosplit
Theories of truth
19.2. Affirmation and negation
link
nosplit
Truth
19.3. Age of Enlightenment
link
nosplit
Truth
152
19.3.1. American Enlightenment
link
nosplit
Age of Enlightenment
19.3.2. Enlightenment philosophy
link
nosplit
Age of Enlightenment
19.3.3. French Enlightenment
link
nosplit
Age of Enlightenment
19.3.4. Haskalah
link
nosplit
Age of Enlightenment
19.3.5. People of the Age of Enlightenment
link
nosplit
Age of Enlightenment
19.3.6. Scientific revolution
link
nosplit
Age of Enlightenment
19.3.7. 1750–1775 in Western fashion
link
nosplit
Age of Enlightenment
19.3.8. 1775–1795 in Western fashion
link
nosplit
Age of Enlightenment
19.3.9. 1794 Treason Trials
link
nosplit
Age of Enlightenment
19.3.10. Adam Smith
link
nosplit
Age of Enlightenment
19.3.11. Adamantios Korais
link
nosplit
Age of Enlightenment
19.3.12. Afrancesado
link
nosplit
Age of Enlightenment
19.3.13. Alexander Kokorinov
link
nosplit
Age of Enlightenment
19.3.14. Alexander Mourouzis
link
nosplit
Age of Enlightenment
19.3.15. Alexander Radishchev
link
nosplit
Age of Enlightenment
19.3.16. American Revolution
link
nosplit
Age of Enlightenment
19.3.17. Anthony Ashley-Cooper, 3rd Earl of Shaftesbury
link
nosplit
Age of Enlightenment
19.3.18. Atlantic Revolutions
link
nosplit
Age of Enlightenment
19.3.19. Baroque music
link
nosplit
Age of Enlightenment
19.3.20. Baruch Spinoza
link
nosplit
Age of Enlightenment
19.3.21. Benito Jerónimo Feijóo y Montenegro
link
nosplit
Age of Enlightenment
19.3.22. Benjamin Franklin
link
nosplit
Age of Enlightenment
19.3.23. Bernard Le Bovier de Fontenelle
link
nosplit
Age of Enlightenment
19.3.24. Bernard Nieuwentyt
link
nosplit
Age of Enlightenment
19.3.25. Bowood circle
link
nosplit
Age of Enlightenment
19.3.26. Charles-Augustin de Ferriol d'Argental
link
nosplit
Age of Enlightenment
19.3.27. Christian Thomasius
link
nosplit
Age of Enlightenment
19.3.28. Constitution of 3 May 1791
link
nosplit
Age of Enlightenment
19.3.29. Conversations on the Plurality of Worlds
link
nosplit
Age of Enlightenment
19.3.30. Counter-Enlightenment
link
nosplit
Age of Enlightenment
19.3.31. Declaration of the Rights of Man and of the Citizen
link
nosplit
Age of Enlightenment
19.3.32. Dialectic of Enlightenment
link
nosplit
Age of Enlightenment
19.3.33. Diego de Torres Villarroel
link
nosplit
Age of Enlightenment
19.3.34. Dinicu Golescu
link
nosplit
Age of Enlightenment
19.3.35. Dugald Stewart
link
nosplit
Age of Enlightenment
19.3.36. Education in the Age of Enlightenment
link
nosplit
Age of Enlightenment
19.3.37. Emanuel Swedenborg
link
nosplit
Age of Enlightenment
19.3.38. Encyclopédie
link
nosplit
Age of Enlightenment
19.3.39. Encyclopédistes
link
nosplit
Age of Enlightenment
19.3.40. Enlightened absolutism
link
nosplit
Age of Enlightenment
19.3.41. Enlightenment in Spain
link
nosplit
Age of Enlightenment
19.3.42. Ernst Christian Gottlieb Reinhold
link
nosplit
Age of Enlightenment
19.3.43. Essai sur les mœurs et l'esprit des nations
link
nosplit
Age of Enlightenment
19.3.44. Essay on the Origin of Languages
link
nosplit
Age of Enlightenment
19.3.45. European and American voyages of scientific exploration
link
nosplit
Age of Enlightenment
19.3.46. Figurative system of human knowledge
link
nosplit
Age of Enlightenment
19.3.47. Firmin Abauzit
link
nosplit
Age of Enlightenment
19.3.48. Founding Fathers of the United States
link
nosplit
Age of Enlightenment
19.3.49. Francis Bacon
link
nosplit
Age of Enlightenment
19.3.50. Frederick the Great
link
nosplit
Age of Enlightenment
19.3.51. Friedrich Schleiermacher
link
nosplit
Age of Enlightenment
19.3.52. Gabriel Gruber
link
nosplit
Age of Enlightenment
19.3.53. Galant music
link
nosplit
Age of Enlightenment
19.3.54. Gheorghe Șincai
link
nosplit
Age of Enlightenment
19.3.55. Giambattista Vico
link
nosplit
Age of Enlightenment
19.3.56. Gotthard Friedrich Stender
link
nosplit
Age of Enlightenment
19.3.57. Gottlob Johann Christian Kunth
link
nosplit
Age of Enlightenment
19.3.58. Guillaume Thomas François Raynal
link
nosplit
Age of Enlightenment
19.3.59. Historia narodu polskiego
link
nosplit
Age of Enlightenment
19.3.60. History of Charles XII
link
nosplit
Age of Enlightenment
19.3.61. Idées républicaines
link
nosplit
Age of Enlightenment
19.3.62. Ignacy Krasicki
link
nosplit
Age of Enlightenment
19.3.63. Immanuel Kant
link
nosplit
Age of Enlightenment
19.3.64. Italian Enlightenment
link
nosplit
Age of Enlightenment
19.3.65. Ivan Betskoy
link
nosplit
Age of Enlightenment
19.3.66. Ivan Shuvalov
link
nosplit
Age of Enlightenment
19.3.67. Jacques-François de Villiers
link
nosplit
Age of Enlightenment
19.3.68. James Burnett, Lord Monboddo
link
nosplit
Age of Enlightenment
19.3.69. Jean-Jacques Rousseau
link
nosplit
Age of Enlightenment
19.3.70. Johann Adam von Ickstatt
link
nosplit
Age of Enlightenment
19.3.71. Johann Gottfried Herder
link
nosplit
Age of Enlightenment
19.3.72. Joseph Haydn
link
nosplit
Age of Enlightenment
19.3.73. Joseph Omer Joly de Fleury
link
nosplit
Age of Enlightenment
19.3.74. Joshua Toulmin
link
nosplit
Age of Enlightenment
19.3.75. José Cadalso
link
nosplit
Age of Enlightenment
19.3.76. Justus Henning Böhmer
link
nosplit
Age of Enlightenment
19.3.77. Józef Wybicki
link
nosplit
Age of Enlightenment
19.3.78. Karl Leonhard Reinhold
link
nosplit
Age of Enlightenment
19.3.79. King's Library
link
nosplit
Age of Enlightenment
19.3.80. L'Art de péter
link
nosplit
Age of Enlightenment
19.3.81. Leandro Fernández de Moratín
link
nosplit
Age of Enlightenment
19.3.82. Leiden Draft
link
nosplit
Age of Enlightenment
19.3.83. Letter to M. D'Alembert on Spectacles
link
nosplit
Age of Enlightenment
19.3.84. Liberal Christianity
link
nosplit
Age of Enlightenment
19.3.85. Libertadores
link
nosplit
Age of Enlightenment
19.3.86. List of gardener-botanist explorers of the Enlightenment
link
nosplit
Age of Enlightenment
19.3.87. List of intellectuals of the Enlightenment
link
nosplit
Age of Enlightenment
19.3.88. Louis de Jaucourt
link
nosplit
Age of Enlightenment
19.3.89. Ludwig Heinrich von Nicolay
link
nosplit
Age of Enlightenment
19.3.90. Ludwig van Beethoven
link
nosplit
Age of Enlightenment
19.3.91. Lumières
link
nosplit
Age of Enlightenment
19.3.92. Maine de Biran
link
nosplit
Age of Enlightenment
19.3.93. Marbot family
link
nosplit
Age of Enlightenment
19.3.94. Margaret Bentinck, Duchess of Portland
link
nosplit
Age of Enlightenment
19.3.95. Marquis de Condorcet
link
nosplit
Age of Enlightenment
19.3.96. Martín Sarmiento
link
nosplit
Age of Enlightenment
19.3.97. Maximilian III Joseph, Elector of Bavaria
link
nosplit
Age of Enlightenment
19.3.98. May Revolution
link
nosplit
Age of Enlightenment
19.3.99. Midlands Enlightenment
link
nosplit
Age of Enlightenment
19.3.100. Modern Greek Enlightenment
link
nosplit
Age of Enlightenment
19.3.101. Monitor (Polish newspaper)
link
nosplit
Age of Enlightenment
19.3.102. Nakaz
link
nosplit
Age of Enlightenment
19.3.103. Neoclassicism
link
nosplit
Age of Enlightenment
19.3.104. Nicholas Magens
link
nosplit
Age of Enlightenment
19.3.105. Nicholas Mavrocordatos
link
nosplit
Age of Enlightenment
19.3.106. Nicolay family
link
nosplit
Age of Enlightenment
19.3.107. Nikolay Novikov
link
nosplit
Age of Enlightenment
19.3.108. On Crimes and Punishments
link
nosplit
Age of Enlightenment
19.3.109. Oxford University Studies in the Enlightenment
link
nosplit
Age of Enlightenment
19.3.110. Petru Maior
link
nosplit
Age of Enlightenment
19.3.111. Pierre Bayle
link
nosplit
Age of Enlightenment
19.3.112. Pierre Beaumarchais
link
nosplit
Age of Enlightenment
19.3.113. Polish Enlightenment
link
nosplit
Age of Enlightenment
19.3.114. Polymath
link
nosplit
Age of Enlightenment
19.3.115. Preliminary Discourse to the Encyclopedia of Diderot
link
nosplit
Age of Enlightenment
19.3.116. Rahel Varnhagen
link
nosplit
Age of Enlightenment
19.3.117. Regalism
link
nosplit
Age of Enlightenment
19.3.118. Religious fanaticism
link
nosplit
Age of Enlightenment
19.3.119. René Descartes
link
nosplit
Age of Enlightenment
19.3.120. René Louis de Voyer de Paulmy, Marquis of Argenson
link
nosplit
Age of Enlightenment
19.3.121. Republic of Letters
link
nosplit
Age of Enlightenment
19.3.122. Robert Hooke
link
nosplit
Age of Enlightenment
19.3.123. Roscoe circle
link
nosplit
Age of Enlightenment
19.3.124. Russian Enlightenment
link
nosplit
Age of Enlightenment
19.3.125. Samuel von Pufendorf
link
nosplit
Age of Enlightenment
19.3.126. Samuil Micu-Klein
link
nosplit
Age of Enlightenment
19.3.127. Science in the Age of Enlightenment
link
nosplit
Age of Enlightenment
19.3.128. Scottish Enlightenment
link
nosplit
Age of Enlightenment
19.3.129. Sebastião José de Carvalho e Melo, 1st Marquis of Pombal
link
nosplit
Age of Enlightenment
19.3.130. Sentimentalism (literature)
link
nosplit
Age of Enlightenment
19.3.131. Solomon Judah Loeb Rapoport
link
nosplit
Age of Enlightenment
19.3.132. Spanish American Enlightenment
link
nosplit
Age of Enlightenment
19.3.133. Spanish Enlightenment literature
link
nosplit
Age of Enlightenment
19.3.134. Spanish Universalist School of the 18th century
link
nosplit
Age of Enlightenment
19.3.135. Stanisław Konarski
link
nosplit
Age of Enlightenment
19.3.136. Subreption
link
nosplit
Age of Enlightenment
19.3.137. Supplex Libellus Valachorum
link
nosplit
Age of Enlightenment
19.3.138. Tertulia de Nava
link
nosplit
Age of Enlightenment
19.3.139. The Age of Louis XIV
link
nosplit
Age of Enlightenment
19.3.140. Theodor Gottlieb von Hippel the Elder
link
nosplit
Age of Enlightenment
19.3.141. Theoklitos Farmakidis
link
nosplit
Age of Enlightenment
19.3.142. Transylvanian School
link
nosplit
Age of Enlightenment
19.3.143. Venturi Music Collection
link
nosplit
Age of Enlightenment
19.3.144. Weimar Classicism
link
nosplit
Age of Enlightenment
19.3.145. What Is Enlightenment?
link
nosplit
Age of Enlightenment
19.3.146. Wilhelm von Humboldt
link
nosplit
Age of Enlightenment
19.3.147. William Ogilvie of Pittensear
link
nosplit
Age of Enlightenment
19.3.148. Women in the Enlightenment
link
nosplit
Age of Enlightenment
19.3.149. Words of Peace and Truth
link
nosplit
Age of Enlightenment
19.3.150. Yekaterina Vorontsova-Dashkova
link
nosplit
Age of Enlightenment
19.3.151. Étienne-Gabriel Morelly
link
nosplit
Age of Enlightenment
19.3.152. Étienne Bonnot de Condillac
link
nosplit
Age of Enlightenment
19.4. Al-Haqq
link
nosplit
Truth
19.5. Aletheia
link
nosplit
Truth
19.6. Alethic modality
link
nosplit
Truth
19.7. Alethiology
link
nosplit
Truth
19.8. An Essay on the Nature and Immutability of Truth
link
nosplit
Truth
19.9. Belief
link
nosplit
Truth
92
19.9.1. Cognitive inertia
link
nosplit
Belief
19.9.2. Coherentism
link
nosplit
Belief
19.9.3. Communication of falsehoods
link
nosplit
Belief
19.9.4. Consensus
link
nosplit
Belief
19.9.5. Delusional disorders
link
nosplit
Belief
19.9.6. Delusions
link
nosplit
Belief
19.9.7. Doctrines
link
nosplit
Belief
19.9.8. Doubt
link
nosplit
Belief
19.9.9. Folklore
link
nosplit
Belief
19.9.10. Foundationalism
link
nosplit
Belief
19.9.11. Ideologies
link
nosplit
Belief
19.9.12. Irreligion
link
nosplit
Belief
19.9.13. Misconceptions
link
nosplit
Belief
19.9.14. Religion
link
nosplit
Belief
19.9.15. Religious belief and doctrine
link
nosplit
Belief
19.9.16. Religious faiths, traditions, and movements
link
nosplit
Belief
19.9.17. Superstitions
link
nosplit
Belief
19.9.18. Syncretism
link
nosplit
Belief
19.9.19. Tradition
link
nosplit
Belief
19.9.20. -ism
link
nosplit
Belief
19.9.21. A Luxury of the Understanding
link
nosplit
Belief
19.9.22. Affective disposition theory
link
nosplit
Belief
19.9.23. Alief (mental state)
link
nosplit
Belief
19.9.24. Availability cascade
link
nosplit
Belief
19.9.25. Bad faith
link
nosplit
Belief
19.9.26. Basic belief
link
nosplit
Belief
19.9.27. Belief revision
link
nosplit
Belief
19.9.28. Belief–desire–intention model
link
nosplit
Belief
19.9.29. Believe women
link
nosplit
Belief
19.9.30. Blind men and an elephant
link
nosplit
Belief
19.9.31. Chaos magic
link
nosplit
Belief
19.9.32. Cognitive dissonance
link
nosplit
Belief
19.9.33. Common sense
link
nosplit
Belief
19.9.34. Communal reinforcement
link
nosplit
Belief
19.9.35. Consensus reality
link
nosplit
Belief
19.9.36. Credibility
link
nosplit
Belief
19.9.37. Credulity
link
nosplit
Belief
19.9.38. Cynicism (contemporary)
link
nosplit
Belief
19.9.39. Delusion
link
nosplit
Belief
19.9.40. Dempster–Shafer theory
link
nosplit
Belief
19.9.41. Denial
link
nosplit
Belief
19.9.42. Disposition
link
nosplit
Belief
19.9.43. Disquotational principle
link
nosplit
Belief
19.9.44. Doctrine
link
nosplit
Belief
19.9.45. Doxa
link
nosplit
Belief
19.9.46. Doxastic attitudes
link
nosplit
Belief
19.9.47. Doxastic logic
link
nosplit
Belief
19.9.48. Doxastic voluntarism
link
nosplit
Belief
19.9.49. End-of-history illusion
link
nosplit
Belief
19.9.50. Epistemic closure
link
nosplit
Belief
19.9.51. Eschatological verification
link
nosplit
Belief
19.9.52. Ethics of belief
link
nosplit
Belief
19.9.53. Evidentialism
link
nosplit
Belief
19.9.54. Fact–value distinction
link
nosplit
Belief
19.9.55. Faith
link
nosplit
Belief
19.9.56. False pleasure
link
nosplit
Belief
19.9.57. False tagging theory
link
nosplit
Belief
19.9.58. Folk belief
link
nosplit
Belief
19.9.59. Health belief model
link
nosplit
Belief
19.9.60. Hold come what may
link
nosplit
Belief
19.9.61. Implicit theories of intelligence
link
nosplit
Belief
19.9.62. Infallibilism
link
nosplit
Belief
19.9.63. Intuition
link
nosplit
Belief
19.9.64. Leap of faith
link
nosplit
Belief
19.9.65. Life stance
link
nosplit
Belief
19.9.66. Naivety
link
nosplit
Belief
19.9.67. Open-mindedness
link
nosplit
Belief
19.9.68. Opinion
link
nosplit
Belief
19.9.69. Overbelief
link
nosplit
Belief
19.9.70. Persuasion
link
nosplit
Belief
19.9.71. Philosophy of happiness
link
nosplit
Belief
19.9.72. Plausibility structure
link
nosplit
Belief
19.9.73. Point of view (philosophy)
link
nosplit
Belief
19.9.74. Polyvagal theory
link
nosplit
Belief
19.9.75. Popular belief
link
nosplit
Belief
19.9.76. Pre-theoretic belief
link
nosplit
Belief
19.9.77. Primal world beliefs
link
nosplit
Belief
19.9.78. Public opinion
link
nosplit
Belief
19.9.79. Real life
link
nosplit
Belief
19.9.80. Reality tunnel
link
nosplit
Belief
19.9.81. Recantation
link
nosplit
Belief
19.9.82. Reflective equilibrium
link
nosplit
Belief
19.9.83. Sailors' superstitions
link
nosplit
Belief
19.9.84. Social Axioms Survey
link
nosplit
Belief
19.9.85. Source credibility
link
nosplit
Belief
19.9.86. Spirituality
link
nosplit
Belief
19.9.87. Thought-action fusion
link
nosplit
Belief
19.9.88. True-believer syndrome
link
nosplit
Belief
19.9.89. Urdoxa
link
nosplit
Belief
19.9.90. Wish fulfillment
link
nosplit
Belief
19.9.91. World Values Survey
link
nosplit
Belief
19.9.92. Worldview
link
nosplit
Belief
19.10. Bocca della Verità
link
nosplit
Truth
19.11. Double truth
link
nosplit
Truth
19.12. Eternal statement
link
nosplit
Truth
19.13. Fact-checking
link
nosplit
Truth
19.14. Half-truth
link
nosplit
Truth
19.15. Honesty
link
nosplit
Truth
19.16. John 18:38
link
nosplit
Truth
19.17. Kittum
link
nosplit
Truth
19.18. Kushta
link
nosplit
Truth
19.19. Mshunia Kushta
link
nosplit
Truth
19.20. On Truth
link
nosplit
Truth
19.21. On a Supposed Right to Tell Lies from Benevolent Motives
link
nosplit
Truth
19.22. Post-truth politics
link
nosplit
Truth
19.23. Pro-Truth Pledge
link
nosplit
Truth
19.24. Radical honesty
link
nosplit
Truth
19.25. Religious views on truth
link
nosplit
Truth
19.26. Satyagraha
link
nosplit
Truth
19.27. Speaking truth to power
link
nosplit
Truth
19.28. Substantial truth
link
nosplit
Truth
19.29. Sworn testimony
link
nosplit
Truth
19.30. Testimony of integrity
link
nosplit
Truth
19.31. The truth will set you free
link
nosplit
Truth
19.32. Truth-seeking
link
nosplit
Truth
19.33. Truthiness
link
nosplit
Truth
19.34. Veritas
link
nosplit
Truth
19.35. Via et veritas et vita
link
nosplit
Truth
19.36. Why Truth Matters
link
nosplit
Truth
20. Absoluteness (logic)
link
nosplit
Mathematical logic
21. Abstract logic
link
nosplit
Mathematical logic
22. Algebraic definition
link
nosplit
Mathematical logic
23. Algebraic semantics (mathematical logic)
link
nosplit
Mathematical logic
24. Algebraic sentence
link
nosplit
Mathematical logic
25. Algebraic theory
link
nosplit
Mathematical logic
26. Archive for Mathematical Logic
link
nosplit
Mathematical logic
27. Beta-model
link
nosplit
Mathematical logic
28. Cartesian monoid
link
nosplit
Mathematical logic
29. Class logic
link
nosplit
Mathematical logic
30. Classical mathematics
link
nosplit
Mathematical logic
31. Coherent space
link
nosplit
Mathematical logic
32. Continuous predicate
link
nosplit
Mathematical logic
33. Contraposition
link
nosplit
Mathematical logic
34. Converse relation
link
nosplit
Mathematical logic
35. Craig interpolation
link
nosplit
Mathematical logic
36. Curry's paradox
link
nosplit
Mathematical logic
37. Cyclic negation
link
nosplit
Mathematical logic
38. De Bruijn Factor
link
nosplit
Mathematical logic
39. Diagonal lemma
link
nosplit
Mathematical logic
40. Double turnstile
link
nosplit
Mathematical logic
41. Elementary definition
link
nosplit
Mathematical logic
42. Elementary sentence
link
nosplit
Mathematical logic
43. Elementary theory
link
nosplit
Mathematical logic
44. Entitative graph
link
nosplit
Mathematical logic
45. Equational logic
link
nosplit
Mathematical logic
46. Equiconsistency
link
nosplit
Mathematical logic
47. Extension by definitions
link
nosplit
Mathematical logic
48. Extensions of First Order Logic
link
nosplit
Mathematical logic
49. Finitary
link
nosplit
Mathematical logic
50. Formal calculation
link
nosplit
Mathematical logic
51. Formulario mathematico
link
nosplit
Mathematical logic
52. Fragment (logic)
link
nosplit
Mathematical logic
53. Free choice inference
link
nosplit
Mathematical logic
54. Friedberg–Muchnik theorem
link
nosplit
Mathematical logic
55. Glossary of Principia Mathematica
link
nosplit
Mathematical logic
56. Glossary of mathematical symbols
link
nosplit
Mathematical logic
57. Ground expression
link
nosplit
Mathematical logic
58. Grundlagen der Mathematik
link
nosplit
Mathematical logic
59. Gödel's β function
link
nosplit
Mathematical logic
60. Herbrand interpretation
link
nosplit
Mathematical logic
61. Herbrand structure
link
nosplit
Mathematical logic
62. Hilbert's program
link
nosplit
Mathematical logic
63. Hilbert–Bernays provability conditions
link
nosplit
Mathematical logic
64. Hintikka set
link
nosplit
Mathematical logic
65. Implementation of mathematics in set theory
link
nosplit
Mathematical logic
66. Independence (mathematical logic)
link
nosplit
Mathematical logic
67. Lindenbaum's lemma
link
nosplit
Mathematical logic
68. List of Hilbert systems
link
nosplit
Mathematical logic
69. List of mathematical logic topics
link
nosplit
Mathematical logic
70. List of mathematical symbols by subject
link
nosplit
Mathematical logic
71. List of statements independent of ZFC
link
nosplit
Mathematical logic
72. Literal (mathematical logic)
link
nosplit
Mathematical logic
73. Logical equivalence
link
nosplit
Mathematical logic
74. Logical graph
link
nosplit
Mathematical logic
75. Logical machine
link
nosplit
Mathematical logic
76. LowerUnivalents
link
nosplit
Mathematical logic
77. Ludics
link
nosplit
Mathematical logic
78. Lévy hierarchy
link
nosplit
Mathematical logic
79. Mathematical proof
link
nosplit
Mathematical logic
80. Mathesis universalis
link
nosplit
Mathematical logic
81. Metamathematics
link
nosplit
Mathematical logic
82. Mivar-based approach
link
nosplit
Mathematical logic
83. Monadic second-order logic
link
nosplit
Mathematical logic
84. Non-wellfounded mereology
link
nosplit
Mathematical logic
85. Notre Dame Journal of Formal Logic
link
nosplit
Mathematical logic
86. On Formally Undecidable Propositions of Principia Mathematica and Related Systems
link
nosplit
Mathematical logic
87. Outline of logic
link
nosplit
Mathematical logic
88. Peirce's law
link
nosplit
Mathematical logic
89. Predicate (mathematical logic)
link
nosplit
Mathematical logic
90. Proof-theoretic semantics
link
nosplit
Mathematical logic
91. Proof of impossibility
link
nosplit
Mathematical logic
92. Proof sketch for Gödel's first incompleteness theorem
link
nosplit
Mathematical logic
93. Proposition
link
nosplit
Mathematical logic
94. Pure inductive logic
link
nosplit
Mathematical logic
95. Quantum logic
link
nosplit
Mathematical logic
96. Reverse mathematics
link
nosplit
Mathematical logic
97. Rosser's trick
link
nosplit
Mathematical logic
98. Rules of passage (logic)
link
nosplit
Mathematical logic
99. S2S (mathematics)
link
nosplit
Mathematical logic
100. Schröder–Bernstein property
link
nosplit
Mathematical logic
101. Semantic theory of truth
link
nosplit
Mathematical logic
102. Semicomputable function
link
nosplit
Mathematical logic
103. Simplification of disjunctive antecedents
link
nosplit
Mathematical logic
104. Solèr's theorem
link
nosplit
Mathematical logic
105. Special case
link
nosplit
Mathematical logic
106. Subitizing
link
nosplit
Mathematical logic
107. Superposition calculus
link
nosplit
Mathematical logic
108. T-schema
link
nosplit
Mathematical logic
109. Tarski Lectures
link
nosplit
Mathematical logic
110. Tautology (logic)
link
nosplit
Mathematical logic
111. Timeline of mathematical logic
link
nosplit
Mathematical logic
112. Truth-value semantics
link
nosplit
Mathematical logic
113. Truth function
link
nosplit
Mathematical logic
114. Truth predicate
link
nosplit
Mathematical logic
115. Turnstile (symbol)
link
nosplit
Mathematical logic
116. Vacuous truth
link
nosplit
Mathematical logic
117. Witness (mathematics)
link
nosplit
Mathematical logic
Ancestors
Fields of mathematics
Mathematics
OurBigBook Wikipedia Bot