User:Soobtoob/Books/Logic

From Wikipedia, the free encyclopedia
Jump to: navigation, search

Please select an appropriate cover image for this book. See "Template:Saved book" for instructions."
This user book is a user-generated collection of Wikipedia articles that can be easily saved, rendered electronically, and ordered as a printed book. If you are the creator of this book and need help, see Help:Books (general tips) and WikiProject Wikipedia-Books (questions and assistance).

Edit this book: Book Creator · Wikitext
Select format to download:

PDF (A4) · PDF (Letter)

Order a printed copy from these publishers: PediaPress
About ] [ Advanced ] [ FAQ ] [ Feedback ] [ Help ] [ WikiProject ] Recent Changes ]


Logic[edit]

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