Index of logic articles

Index of Logic an Index of Wikipedia's Logic articles.

Philosophy Mathematics

Mathematical logic Set theory

Article · Category · Index · Outline · WikiProject

A

A System of Logic -- A priori and a posteriori --

-- -- -- Academia Analitica -- Accuracy and precision -- -- Ad hoc hypothesis -- Ad hominem -- Affine logic -- -- Affirming the consequent -- Algebraic logic -- Ambiguity -- Analysis -- Analysis (journal) -- Analytic reasoning -- Analytic–synthetic distinction -- Anangeon -- Anecdotal evidence -- Antecedent (logic) -- -- Anti-psychologism -- Antinomy -- Apophasis -- Appeal to probability -- Appeal to ridicule -- Archive for Mathematical Logic -- -- Argument -- Argument by example -- -- Argument from authority -- Argument map -- Argumentation theory -- Argumentum ad baculum -- Argumentum e contrario -- Ariadne's thread (logic) -- -- Aristotle -- Association for Informal Logic and Critical Thinking -- Association for Logic, Language and Information -- Association for Symbolic Logic -- Attacking Faulty Reasoning -- Australasian Association for Logic -- Axiom -- Axiom independence -- Axiom of reducibility -- Axiomatic system -- --

B

Backward chaining -- Barcan formula -- Begging the question -- Begriffsschrift -- Belief -- Belief bias -- Belief revision -- Benson Mates --

-- Biconditional elimination -- Biconditional introduction -- -- Blue and Brown Books -- Boole's syllogistic -- -- Boolean algebra (structure) -- Boolean network --

C

Canonical form --

-- Cartesian circle -- Case-based reasoning -- Categorical logic -- Categories (Aristotle) -- Categories (Peirce) -- Category mistake -- Catuṣkoṭi -- Circular definition -- Circular reasoning -- Circular reference -- Circular reporting -- Circumscription (logic) -- Circumscription (taxonomy) -- Classical logic -- -- Cognitive bias -- Cointerpretability -- Colorless green ideas sleep furiously -- Combinational logic -- Combinatory logic -- Combs method -- Common knowledge (logic) -- Commutativity of conjunction -- Completeness (logic) -- -- Compossibility -- Comprehension (logic) -- Computability logic -- Concept -- Conceptualism -- Condensed detachment -- Conditional disjunction -- Conditional probability -- Conditional proof -- Conditional quantifier -- Confirmation bias -- Conflation -- Confusion of the inverse -- Conjunction elimination -- Conjunction fallacy -- Conjunction introduction -- Conjunctive normal form -- Connexive logic -- Connotation -- Consequent -- Consistency -- Constructive dilemma -- Contra principia negantem non est disputandum -- Contradiction -- -- Control logic -- Conventionalism -- Converse (logic) -- -- Correlative-based fallacies -- Counterexample -- Counterfactual conditional -- -- Cratylism -- Credibility -- Criteria of truth -- Critical-Creative Thinking and Behavioral Research Laboratory -- Critical pedagogy -- Critical reading -- Critical thinking -- Critique of Pure Reason -- Curry's paradox -- Cyclic negation --

D

Dagfinn Føllesdal --

-- De Morgan's laws -- Decidability (logic) -- -- -- Decisional balance sheet -- Deductive closure -- Deduction theorem -- -- Deductive reasoning -- Default logic -- Defeasible logic -- Defeasible reasoning -- Definable set -- Definist fallacy -- Definition -- -- Degree of truth -- Denying the antecedent -- Denying the correlative -- Deontic logic -- Description -- Description logic -- Descriptive fallacy -- Deviant logic -- Dharmakirti -- Diagrammatic reasoning -- Dialectica -- Dialectica space -- Dialetheism -- Dichotomy -- Difference (philosophy) -- Digital timing diagram -- Dignāga -- Dilemma -- Disjunction elimination -- Disjunction introduction -- Disjunctive normal form -- Disjunctive syllogism -- -- Disquotational principle -- Dissoi logoi -- -- Don't-care term -- Donald Davidson (philosopher) -- Double counting (fallacy) -- Double negation -- Double negative -- -- Doxa -- Drinking the Kool-Aid --

E

EL++ -- Ecological fallacy -- Effective method --

-- Emotional reasoning -- Emotions in decision-making -- Empty name -- Encyclopedia of the Philosophical Sciences -- -- Engineered language -- -- Entitative graph -- Enumerative definition -- Epicureanism -- Epilogism -- Epistemic closure -- Equisatisfiability -- Erotetics -- Eternal statement -- Etymological fallacy -- European Summer School in Logic, Language and Information -- Evidence -- -- Exclusive or -- Existential fallacy -- Existential graph -- Existential quantification -- Expert -- -- Explanation -- Explanatory power -- Extension (semantics) -- Extensional context -- --

F

-- Fact -- Fallacies of definition -- Fallacy -- -- Fallacy of four terms -- -- -- False attribution -- False dilemma -- False equivalence -- False premise -- Fictionalism -- Finitary relation -- Finite model property -- First-order logic -- First-order predicate -- -- -- -- -- Fluidics -- Formal fallacy -- Formal ontology -- Formal system -- Formalism (philosophy) -- Forward chaining -- Free logic -- Free variables and bound variables -- Function and Concept -- Fuzzy logic --

G

Game semantics --

-- Geometry of interaction -- Gilles-Gaston Granger -- Gongsun Long -- Grammaticality -- Greedy reductionism -- Grundlagen der Mathematik --

H

HPO formalism -- Halo effect -- Handbook of Automated Reasoning -- Hanlon's razor --

-- Herbrandization -- Hetucakra -- Heyting algebra -- -- Higher-order thinking -- Historian's fallacy -- Historical fallacy -- History of logic -- History of the function concept -- Hold come what may -- Homunculus argument -- Horn clause -- Hume's fork -- Hume's principle -- Hypothetical syllogism --

I

Identity (philosophy) -- Identity of indiscernibles -- Idola fori -- Idola specus -- Idola theatri -- Idola tribus --

-- -- Illicit major -- Illicit minor -- Illuminationism -- Immutable truth -- Imperative logic -- Implicant -- Inclusion (logic) -- Incomplete comparison -- Inconsistent comparison -- Inconsistent triad -- Independence-friendly logic -- Indian logic -- -- Inductive logic programming -- Inference -- -- -- Inferential role semantics -- Infinitary logic -- Infinite regress -- Infinity -- Informal fallacy -- Informal logic -- Inquiry -- -- Insolubilia -- Institute for Logic, Language and Computation -- Intellectual responsibility -- -- Intension -- -- Intensional logic -- -- Intentional Logic -- Intermediate logic -- Interpretability -- Interpretability logic -- Interpretive discussion -- -- Introduction to Mathematical Philosophy -- -- Intuitionistic logic -- -- Inventor's paradox -- Inverse (logic) -- Inverse consequences -- -- Is Logic Empirical? -- Isagoge -- Ivor Grattan-Guinness --

J

Jacobus Naveros -- Jayanta Bhatta -- Jingle-jangle fallacies -- John Corcoran (logician) --

-- Journal of Applied Non-Classical Logics -- Journal of Automated Reasoning -- Journal of Logic, Language and Information -- Journal of Logic and Computation -- Journal of Mathematical Logic -- Journal of Philosophical Logic -- Journal of Symbolic Logic -- Judgment (mathematical logic) -- Judgmental language -- Just-so story --

K

Karnaugh map -- Kinetic logic -- Knowing and the Known -- Kripke semantics -- Kurt Gödel Society --

L

Language -- Language, Proof and Logic -- Lateral thinking -- Law of excluded middle -- Law of identity --

-- Law of noncontradiction -- Law of thought -- Laws of Form -- Laws of logic -- Leap of faith -- -- Lexical definition -- Linear logic -- Linguistic and Philosophical Investigations -- Linguistics and Philosophy -- List of fallacies -- List of incomplete proofs -- List of logic journals -- List of paradoxes -- Logic -- Logic Lane -- -- Logic gate -- Logic in China -- Logic in Islamic philosophy -- Logic of class -- Logic of information -- Logic programming -- Logica Universalis -- Logica nova -- Logical Analysis and History of Philosophy -- Logical Investigations (Husserl) -- Logical Methods in Computer Science -- -- -- -- Logical atomism -- Logical biconditional -- -- Logical conjunction -- Logical constant -- Logical disjunction -- Logical equality -- Logical equivalence -- Logical extreme -- Logical form -- Logical harmony -- Logical holism -- -- Logical NOR -- -- Logical quality -- Logical truth -- Logicism -- Logico-linguistic modeling -- Logos -- Loosely associated statements -- Łoś–Tarski preservation theorem -- Ludic fallacy -- --

M

Main contention --

-- Markov's principle -- Martin Gardner bibliography -- Masked-man fallacy -- Material conditional -- Mathematical fallacy -- Mathematical logic -- -- Meaning (non-linguistic) -- -- Meaningless statement -- Megarian school -- Mental model theory of reasoning -- Mereology -- Meta-communication -- Metalanguage -- Metalogic -- Metamathematics -- Metasyntactic variable -- Metatheorem -- Metavariable -- -- Minimal axioms for Boolean algebra -- Minimal logic -- -- Miscellanea Logica -- Missing dollar riddle -- Modal fallacy -- Modal fictionalism -- Modal logic -- Model theory -- Modus ponens -- Modus tollens -- Moral reasoning -- Motivated reasoning -- Moving the goalposts -- -- -- Multiple-conclusion logic -- Mutatis mutandis -- Mutual knowledge (logic) -- -- Münchhausen trilemma --

N

Naive set theory -- Name -- Narrative logic -- Natural deduction -- Natural kind -- Natural language --

-- Necessity and sufficiency -- Negation -- Neutrality (philosophy) -- Nirvana fallacy -- Nixon diamond -- No true Scotsman -- Nominal identity -- -- Non-classical logic -- Non-monotonic logic -- Non-rigid designator -- -- Noneism -- Nonfirstorderizability -- Nordic Journal of Philosophical Logic -- Normal form (natural deduction) -- Novum Organum -- Nyaya -- Nyāya Sūtras --

O

Object of the mind -- Occam's razor -- On Formally Undecidable Propositions of Principia Mathematica and Related Systems --

-- Ontological commitment -- -- Opinion -- Opposing Viewpoints series -- -- Organon -- Original proof of Gödel's completeness theorem -- Osmund Lewry -- Ostensive definition -- Outline of logic -- Overbelief --

P

Package-deal fallacy -- Panlogism -- Paraconsistent logic --

-- Parade of horribles -- Paradox -- -- Pathetic fallacy -- Persuasive definition -- Peter Simons (academic) -- Philosophia Mathematica -- Philosophical logic -- Philosophy of logic -- Peirce's law -- Plural quantification -- Poisoning the well -- Polarity item -- Polish Logic -- Polish notation -- Politician's syllogism -- Polychotomous key -- Polylogism -- Polysyllogism -- Port-Royal Logic -- Possible world -- Post's lattice -- -- Post hoc ergo propter hoc -- Posterior Analytics -- Practical syllogism -- Pragmatic mapping -- Pragmatic maxim -- Pragmatic theory of truth -- -- Pramāṇa-samuccaya -- Precising definition -- Precision questioning -- Predicable -- -- Predicate abstraction -- -- Preferential entailment -- -- Prescriptivity -- Presentism (historical analysis) -- Presupposition -- Principia Mathematica -- Principle of bivalence -- Principle of explosion -- Principle of nonvacuous contrast -- Principle of sufficient reason -- Principles of Mathematical Logic -- Prior Analytics -- Private Eye Project -- -- Probabilistic logic -- Probabilistic logic network -- Problem of future contingents -- Problem of induction -- Process of elimination -- -- Proof-theoretic semantics -- Proof (truth) -- Proof by assertion -- Proof theory -- Propaganda techniques -- Proposition -- Propositional calculus -- Propositional function -- Propositional representation -- Propositional variable -- -- Provability logic -- Proving too much -- Prudence -- Pseudophilosophy -- Psychologism -- Psychologist's fallacy --

Q

Q.E.D. --

-- Quantization (linguistics) -- Quantum logic --

R

Ramism -- Rationality --

-- Reason -- Reductio ad absurdum -- Reference -- Reflective equilibrium -- Regression fallacy -- Regular modal logic -- Reification (fallacy) -- Relativist fallacy -- Relevance -- Relevance logic -- -- Remarks on the Foundations of Mathematics -- -- Retrospective determinism -- Revolutions in Mathematics -- Rhetoric -- Rigour -- Rolandas Pavilionis -- -- Rudolf Carnap -- Rule of inference -- Rvachev function --

S

SEE-I -- Salva congruitate -- Salva veritate -- Satisfiability --

-- School of Names -- Science of Logic -- Scientific temper -- Second-order predicate -- -- Self-reference -- Self-refuting idea -- Self-verifying theories -- Semantic theory of truth -- Semantics -- Sense and reference -- Sequent -- Sequent calculus -- Sequential logic -- Set (mathematics) -- -- Sheffer stroke -- Ship of Theseus -- Simple non-inferential passage -- Singular term -- Situation -- -- Skeptic's Toolbox -- Slingshot argument -- -- Socratic questioning -- Soku hi -- Some Remarks on Logical Form -- -- Sophistical Refutations -- Soundness -- Source credibility -- Source criticism -- Special case -- -- -- Spurious relationship -- Square of opposition -- State of affairs (philosophy) -- Statement (logic) -- Straight and Crooked Thinking -- Straight face test -- Straw man -- Strength (mathematical logic) -- Strict conditional -- -- Strict logic -- Structural rule -- Studia Logica -- Studies in Logic, Grammar and Rhetoric -- Subjective logic -- Substitution (logic) -- Substructural logic -- -- Sum of Logic -- -- Supertask -- Supervaluationism -- Supposition theory -- Survivorship bias -- Syllogism -- -- Symbol (formal) -- Syntactic Structures -- Syntax (logic) -- Synthese -- Systems of Logic Based on Ordinals --

T

T-schema -- Tacit assumption -- Tarski's undefinability theorem -- Tautology (logic) -- Temporal logic -- Temporal parts -- Teorema (journal) -- Term (argumentation) -- Term logic --

-- Testability -- Tetralemma -- -- The False Subtlety of the Four Syllogistic Figures -- The Foundations of Arithmetic -- The Geography of Thought -- The Laws of Thought -- -- Theorem -- Theoretical definition -- Theory and Decision -- -- Theory of obligationes -- -- Three men make a tiger -- -- Topical logic -- Topics (Aristotle) -- Tractatus Logico-Philosophicus -- Train of thought -- Trairūpya -- Transferable belief model -- -- TregoED -- Trikonic -- Trilemma -- Trivial objections -- Trivialism -- Truth -- Truth-bearer -- Truth condition -- Truth function -- Truth value -- Truthiness -- -- Type (model theory) -- Type theory -- Type–token distinction --

U

Ultrafinitism -- Unification (computer science) -- Unifying theories in mathematics -- Uniqueness quantification -- Universal logic -- Universal quantification --

-- Unspoken rule -- Use–mention distinction --

V

Vacuous truth -- Vagrant predicate -- Vagueness -- Validity -- Valuation-based system -- Van Gogh fallacy -- Venn diagram -- Vicious circle principle --

W

Warnier/Orr diagram -- Well-formed formula -- What the Tortoise Said to Achilles -- Willard Van Orman Quine -- William Kneale -- Window operator -- Wisdom of repugnance -- Witness (mathematics) -- Word sense --

Z

Zhegalkin polynomial --

See also

• List of logicians
• List of rules of inference
• List of mathematical logic topics
• There is a list of paradoxes on the paradox page.
• There is a list of fallacies on the logical fallacy page.
• Modern mathematical logic is at the list of mathematical logic topics page.
• For introductory set theory and other supporting material see the
  list of basic discrete mathematics topics
  .