User:Soobtoob/Books/Logic

Logic

 * Overview and Academic areas
 * Argumentation theory
 * Axiology
 * Critical thinking
 * Computability theory
 * Formal semantics (logic)
 * History of logic
 * Informal logic
 * Logic in computer science
 * Mathematical logic
 * Mathematics
 * Metalogic
 * Metamathematics
 * Model theory
 * Philosophical logic
 * Philosophy
 * Philosophy of logic
 * Philosophy of mathematics
 * Proof theory
 * Set theory


 * Foundational concepts
 * Abductive reasoning
 * Analytic–synthetic distinction
 * Antinomy
 * A priori and a posteriori
 * Deductive reasoning
 * Definition
 * Description
 * Entailment
 * Inductive reasoning
 * Inference
 * Logical form
 * Logical truth
 * Name
 * Necessity and sufficiency
 * Meaning (linguistics)
 * Paradox
 * Possible world
 * Presupposition
 * Probability
 * Reason
 * Reference
 * Semantics
 * Statement (logic)
 * Strict conditional
 * Substitution (logic)
 * Syntax (logic)
 * Truth
 * Truth value
 * Validity


 * Critical thinking and Informal logic
 * Philosophical analysis
 * Ambiguity
 * Argument
 * Belief
 * Bias
 * Credibility
 * Evidence
 * Explanation
 * Explanatory power
 * Fact
 * Fallacy
 * Inquiry
 * Opinion
 * Occam's razor
 * Premise
 * Propaganda
 * Prudence
 * Relevance
 * Rhetoric
 * Rigour
 * Vagueness


 * Theories of deduction
 * Constructivism (mathematics)
 * Dialetheism
 * Fictionalism
 * Finitism
 * Formalism (mathematics)
 * Intuitionism
 * Logical atomism
 * Logicism
 * Nominalism
 * Platonic realism
 * Pragmatism
 * Philosophical realism


 * Metalogic and metamathematics
 * Cantor's theorem
 * Entscheidungsproblem
 * Church–Turing thesis
 * Consistency
 * Effective method
 * Foundations of mathematics
 * Gödel's completeness theorem
 * Gödel's incompleteness theorems
 * Soundness
 * Completeness
 * Decidability (logic)
 * Interpretation (logic)
 * Löwenheim–Skolem theorem
 * Metatheorem
 * Satisfiability
 * Independence (mathematical logic)
 * Type–token distinction
 * Use–mention distinction


 * General Mathematical logic
 * Formal language
 * Formation rule
 * Formal system
 * Deductive system
 * Formal proof
 * Well-formed formula
 * Set (mathematics)
 * Element (mathematics)
 * Class (set theory)
 * Classical logic
 * Axiom
 * Natural deduction
 * Rule of inference
 * Finitary relation
 * Theorem
 * Axiomatic system
 * Type theory
 * Symbol (formal)
 * Theory (mathematical logic)


 * Traditional logic
 * Term logic
 * Proposition
 * Cogency
 * Syllogism
 * Square of opposition
 * Venn diagram


 * Propositional calculus and Boolean logic
 * Propositional calculus
 * Boolean algebra
 * Boolean function
 * Propositional formula
 * Logical connective
 * Truth table


 * Predicate Logic
 * Predicate logic
 * First-order logic
 * Quantification
 * Predicate (mathematical logic)
 * Second-order logic
 * Monadic predicate calculus


 * Set theory
 * Empty set
 * Enumeration
 * Extensionality
 * Finite set
 * Function (mathematics)
 * Subset
 * Power set
 * Countable set
 * Recursive set
 * Domain of a function
 * Range (mathematics)
 * Ordered pair
 * Uncountable set


 * Model theory
 * Structure (mathematical logic)
 * Non-standard model
 * Finite model theory


 * Computability theory
 * Recursion
 * Recursively enumerable set
 * Decision problem
 * Computable function
 * Primitive recursive function


 * Modal logic
 * Non-classical logic
 * Modal logic
 * Modal operator
 * Deontic logic
 * Doxastic logic
 * Epistemic modal logic
 * Temporal logic


 * Intuitionism
 * Intuitionistic logic
 * Constructive analysis
 * Heyting arithmetic
 * Intuitionistic type theory
 * Constructive set theory


 * Fuzzy logic
 * Fuzzy logic
 * Degree of truth
 * Fuzzy rule
 * Fuzzy set
 * Fuzzy finite element
 * Fuzzy set operations


 * Substructural logic
 * Substructural logic
 * Structural rule
 * Relevance logic
 * Linear logic


 * Paraconsistent and Description logic
 * Paraconsistent logic
 * Description logic
 * Ontology
 * Ontology language


 * Boolean Scope
 * Algebra of sets
 * Boolean algebra (structure)
 * Boolean algebra (logic)
 * Field of sets


 * Boolean functions and connectives
 * Logical NOR
 * Boolean algebras canonically defined
 * Conditioned disjunction
 * Evasive Boolean function
 * Exclusive or
 * Functional completeness
 * Logical biconditional
 * Logical conjunction
 * Logical disjunction
 * Logical equality
 * Negation
 * Lupanov representation
 * Majority function
 * Material conditional
 * Sheffer stroke
 * Symmetric Boolean function
 * Symmetric difference
 * Zhegalkin polynomial


 * Examples of Boolean algebras
 * Boolean domain
 * Interior algebra
 * Lindenbaum–Tarski algebra
 * Two-element Boolean algebra


 * Extensions and generalizations of Boolean Algebra
 * Complete Boolean algebra
 * Derivative algebra (abstract algebra)
 * Free Boolean algebra
 * Heyting algebra
 * Monadic Boolean algebra


 * Syntax of Boolean Algebra
 * Algebraic normal form
 * Boolean conjunctive query
 * Canonical form (Boolean algebra)
 * Conjunctive normal form
 * Disjunctive normal form


 * Technical applications of Boolean Algebra
 * And-inverter graph
 * Logic gate
 * Boolean analysis


 * Theorems and specific laws in Boolean algebra
 * Boolean prime ideal theorem
 * Compactness theorem
 * Consensus theorem
 * De Morgan's laws
 * Duality (order theory)
 * Peirce's law
 * Stone's representation theorem for Boolean algebras


 * Philosophy and Boolean algebra
 * Boole's syllogistic
 * Implicant
 * Entitative graph
 * Existential graph
 * Laws of Form
 * Logical graph
 * Karnaugh map


 * Boolean cleanup
 * Boolean-valued function
 * Boolean-valued model
 * Boolean satisfiability problem
 * Indicator function
 * Espresso heuristic logic minimizer
 * Logical matrix
 * Stone duality
 * Logic


 * Set Theory topics
 * Axiom of choice
 * Axiom of countable choice
 * Axiom of dependent choice
 * Zorn's lemma
 * Burali-Forti paradox
 * Back-and-forth method
 * Cantor's diagonal argument
 * Cantor's first uncountability proof
 * Cantor's paradox
 * Cantor–Bernstein–Schroeder theorem
 * Cardinal number
 * Aleph number
 * Beth number
 * Hartogs number
 * Cardinality
 * Cartesian product
 * Complement (set theory)
 * Continuum (set theory)
 * Suslin's problem
 * Continuum hypothesis
 * Descriptive set theory
 * Analytic set
 * Analytical hierarchy
 * Borel equivalence relation
 * Infinity-Borel set
 * Lightface analytic game
 * Perfect set property
 * Polish space
 * Prewellordering
 * Projective hierarchy
 * Property of Baire
 * Uniformization (set theory)
 * Universally measurable set
 * Determinacy
 * AD+
 * Axiom of determinacy
 * Axiom of projective determinacy
 * Axiom of real determinacy
 * Forcing (mathematics)
 * Hereditary set
 * Inaccessible cardinal
 * Internal set theory
 * Intersection (set theory)
 * Inner model theory
 * Core model
 * Covering lemma
 * Inner model
 * Mouse (set theory)
 * Constructible universe
 * L(R)
 * Large cardinal
 * Linear partial information
 * Multiset
 * Set theory (music)
 * Ordinal number
 * Infinite descending chain
 * Limit ordinal
 * Successor ordinal
 * Transfinite induction
 * Epsilon-induction
 * Well-founded relation
 * Well-order
 * Projection (mathematics)
 * Quasi-set theory
 * Binary relation
 * Rough set
 * Russell's paradox
 * Semiset
 * Alternative set theory
 * General set theory
 * Kripke–Platek set theory with urelements
 * Morse–Kelley set theory
 * Naive set theory
 * New Foundations
 * Pocket set theory
 * Positive set theory
 * S (set theory)
 * Scott–Potter set theory
 * Tarski–Grothendieck set theory
 * Von Neumann–Bernays–Gödel set theory
 * Zermelo–Fraenkel set theory
 * Zermelo set theory
 * Set-theoretic topology
 * Simple theorems in the algebra of sets
 * Θ (set theory)
 * Tree (descriptive set theory)
 * Tree (set theory)
 * Union (set theory)
 * Von Neumann universe
 * Zero sharp


 * Cardinals
 * List of large cardinal properties
 * Equiconsistency
 * Mahlo cardinal
 * Reflecting cardinal
 * Weakly compact cardinal
 * Indescribable cardinal
 * Unfoldable cardinal
 * Shrewd cardinal
 * Subtle cardinal
 * Ineffable cardinal
 * Remarkable cardinal
 * Erdős cardinal
 * Ramsey cardinal
 * Jónsson cardinal
 * Rowbottom cardinal
 * Measurable cardinal
 * Zero dagger
 * Strong cardinal
 * Tall cardinal
 * Woodin cardinal
 * Shelah cardinal
 * Superstrong cardinal
 * Subcompact cardinal
 * Strongly compact cardinal
 * Supercompact cardinal
 * Extendible cardinal
 * Vopěnka's principle
 * Huge cardinal
 * Rank-into-rank
 * Elementary equivalence
 * Critical point (set theory)
 * Reinhardt cardinal


 * Real Sets
 * Real number
 * Borel set
 * Inductive set
 * Suslin set
 * Homogeneously Suslin set
 * Lebesgue measure
 * Universally Baire set
 * Meagre set
 * Null set
 * Conull set
 * Dense set
 * Nowhere dense set


 * Working foundations of Mathematical Logic
 * Peano axioms
 * Mathematical induction
 * Structural induction
 * Recursive definition
 * Urelement
 * Singleton (mathematics)
 * Empty function
 * Universe (mathematics)
 * Axiom schema
 * Mathematical proof
 * Direct proof
 * Reductio ad absurdum
 * Proof by exhaustion
 * Constructive proof
 * Tautology (logic)
 * Arithmetization of analysis
 * Principia Mathematica
 * Hilbert's program
 * Impredicativity
 * Definable real number
 * Algebraic logic
 * Dialectica space
 * Categorical logic


 * More on Model theory
 * Descriptive complexity theory
 * Model checking
 * Trakhtenbrot's theorem
 * Computable model theory
 * Tarski's exponential function problem
 * Undecidable problem
 * Institutional model theory
 * Institution (computer science)
 * Non-standard analysis
 * Non-standard calculus
 * Hyperinteger
 * Hyperreal number
 * Transfer principle
 * Overspill
 * Criticism of non-standard analysis
 * Standard part function
 * Kripke semantics
 * General frame
 * Infinitary logic
 * Many-sorted logic
 * Higher-order logic
 * Lindström quantifier
 * Original proof of Gödel's completeness theorem
 * Skolem's paradox
 * Substructure
 * Skolem normal form
 * Atomic model (mathematical logic)
 * Prime model
 * Saturated model
 * Existentially closed model
 * Ultraproduct
 * Age (model theory)
 * Amalgamation property
 * Hrushovski construction
 * Potential isomorphism
 * Complete theory
 * Morley's categoricity theorem
 * Stability spectrum
 * Morley rank
 * Stable theory
 * Forking extension
 * Strongly minimal theory
 * Stable group
 * Tame group
 * O-minimal theory
 * Weakly o-minimal structure
 * C-minimal theory
 * Spectrum of a theory
 * Vaught conjecture
 * Model complete theory
 * List of first-order theories
 * Conservative extension
 * Elementary class
 * Pseudoelementary class
 * Strength (mathematical logic)
 * Differentially closed field
 * Exponential field
 * Ax–Grothendieck theorem
 * Ax–Kochen theorem
 * Non-standard model of arithmetic
 * Second-order arithmetic
 * Presburger arithmetic
 * Wilkie's theorem
 * Functional predicate
 * T-schema
 * Barwise compactness theorem
 * Löb's theorem
 * Arithmetical set
 * Definable set
 * Ehrenfeucht–Fraïssé game
 * Herbrand interpretation
 * Herbrand structure
 * Term algebra
 * Imaginary element
 * Indiscernibles
 * Interpretation (model theory)
 * Pregeometry (model theory)
 * Quantifier elimination
 * Reduct
 * Signature (logic)
 * Type (model theory)
 * Zariski geometry
 * Continuum


 * Recursion theory
 * Algorithm
 * Μ operator
 * Ackermann function
 * Turing machine
 * Halting problem
 * Computation
 * Markov algorithm
 * Lambda calculus
 * Church–Rosser theorem
 * Calculus of constructions
 * Combinatory logic
 * Post correspondence problem
 * Kleene's recursion theorem
 * Recursively enumerable language
 * Recursive language
 * Rice's theorem
 * Post's theorem
 * Turing degree
 * Effective results in number theory
 * Diophantine set
 * Word problem for groups
 * Arithmetical hierarchy
 * Computational complexity theory
 * Time complexity
 * Complexity class
 * P versus NP problem
 * Cook–Levin theorem
 * List of complexity classes
 * Polynomial hierarchy
 * Exponential hierarchy
 * NP-complete
 * Time hierarchy theorem
 * Space hierarchy theorem
 * Natural proof
 * Hypercomputation
 * Oracle machine


 * More on Proof theory
 * Cut-elimination theorem
 * Tarski's undefinability theorem