View source for Index of logic articles

{{Short description|none}}
{{AlphanumericTOC|
 align=center|
 nobreak=|
 numbers=|
 references=|
 externallinks=|
 top=|}}

== A ==
[[Philosophy:A System of Logic|A System of Logic]] --
[[Philosophy:A priori and a posteriori|A priori and a posteriori]] --
Abacus logic --
Abduction (logic) --
Abductive validation --
Academia Analitica --
[[Accuracy and precision]] --
Ad captandum --
[[Philosophy:Ad hoc hypothesis|Ad hoc hypothesis]] --
[[Philosophy:Ad hominem|Ad hominem]] --
[[Philosophy:Affine logic|Affine logic]] --
Affirming the antecedent --
[[Philosophy:Affirming the consequent|Affirming the consequent]] --
[[Algebraic logic]] --
[[Ambiguity]] --
[[Philosophy:Analysis|Analysis]] --
Analysis (journal) --
[[Philosophy:Analytic reasoning|Analytic reasoning]] --
[[Philosophy:Analytic–synthetic distinction|Analytic–synthetic distinction]] --
[[Philosophy:Anangeon|Anangeon]] --
[[Anecdotal evidence]] --
[[Philosophy:Antecedent (logic)|Antecedent (logic)]] --
[[Philosophy:Antepredicament|Antepredicament]] --
[[Philosophy:Anti-psychologism|Anti-psychologism]] --
[[Philosophy:Antinomy|Antinomy]] --
[[Philosophy:Apophasis|Apophasis]] --
[[Appeal to probability]] --
[[Philosophy:Appeal to ridicule|Appeal to ridicule]] --
[[Archive for Mathematical Logic]] --
Arché --
[[Philosophy:Argument|Argument]] --
[[Philosophy:Argument by example|Argument by example]] --
Argument form --
Argument from authority --
[[Argument map]] --
[[Philosophy:Argumentation theory|Argumentation theory]] --
[[Philosophy:Argumentum ad baculum|Argumentum ad baculum]] --
[[Philosophy:Argumentum e contrario|Argumentum e contrario]] --
[[Philosophy:Ariadne's thread (logic)|Ariadne's thread (logic)]] --
Aristotelian logic --
[[Biography:Aristotle|Aristotle]] --
[[Philosophy:Association for Informal Logic and Critical Thinking|Association for Informal Logic and Critical Thinking]] --
[[Organization:Association for Logic, Language and Information|Association for Logic, Language and Information]] --
[[Organization:Association for Symbolic Logic|Association for Symbolic Logic]] --
[[Philosophy:Attacking Faulty Reasoning|Attacking Faulty Reasoning]] --
Australasian Association for Logic --
[[Axiom]] --
[[Philosophy:Axiom independence|Axiom independence]] --
[[Axiom of reducibility]] --
[[Axiomatic system]] --
Axiomatization --

== B ==
[[Backward chaining]] --
[[Philosophy:Barcan formula|Barcan formula]] --
[[Begging the question]] --
[[Begriffsschrift]] --
[[Philosophy:Belief|Belief]] --
[[Philosophy:Belief bias|Belief bias]] --
[[Belief revision]] --
[[Biography:Benson Mates|Benson Mates]] --
[[Philosophy:Bertrand Russell Society|Bertrand Russell Society]] --
[[Biconditional elimination]] --
[[Biconditional introduction]] --
Bivalence and related laws --
[[Philosophy:Blue and Brown Books|Blue and Brown Books]] --
[[Philosophy:Boole's syllogistic|Boole's syllogistic]] --
Boolean algebra (logic) --
[[Boolean algebra (structure)]] --
[[Physics:Boolean network|Boolean network]] --

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

== D ==
[[Biography:Dagfinn Føllesdal|Dagfinn Føllesdal]] --
[[Philosophy:De Interpretatione|De Interpretatione]] --
[[De Morgan's laws]] --
[[Philosophy:Decidability (logic)|Decidability (logic)]] --
[[Decidophobia]] --
Decision making --
[[Decisional balance sheet]] --
[[Deductive closure]] --
[[Deduction theorem]] --
Deductive fallacy --
[[Deductive reasoning]] --
[[Default logic]] --
[[Defeasible logic]] --
[[Defeasible reasoning]] --
[[Definable set]] --
[[Philosophy:Definist fallacy|Definist fallacy]] --
[[Philosophy:Definition|Definition]] --
Definitions of logic --
[[Degree of truth]] --
[[Denying the antecedent]] --
[[Philosophy:Denying the correlative|Denying the correlative]] --
[[Philosophy:Deontic logic|Deontic logic]] --
[[Philosophy:Description|Description]] --
[[Description logic]] --
[[Philosophy:Descriptive fallacy|Descriptive fallacy]] --
[[Philosophy:Deviant logic|Deviant logic]] --
[[Philosophy:Dharmakirti|Dharmakirti]] --
[[Diagrammatic reasoning]] --
Dialectica --
[[Dialectica space]] --
[[Philosophy:Dialetheism|Dialetheism]] --
[[Dichotomy]] --
[[Philosophy:Difference|Difference]] --
[[Digital timing diagram]] --
[[Philosophy:Dignāga|Dignāga]] --
[[Philosophy:Dilemma|Dilemma]] --
[[Disjunction elimination]] --
[[Disjunction introduction]] --
[[Disjunctive normal form]] --
[[Disjunctive syllogism]] --
Dispositional and occurrent belief --
[[Disquotational principle]] --
[[Philosophy:Dissoi logoi|Dissoi logoi]] --
Division of Logic, Methodology, and Philosophy of Science --
[[Philosophy:Don't-care term|Don't-care term]] --
[[Biography:Donald Davidson (philosopher)|Donald Davidson (philosopher)]] --
[[Philosophy:Double counting (fallacy)|Double counting (fallacy)]] --
[[Double negation]] --
[[Philosophy:Double negative|Double negative]] --
Double negation elimination --
[[Philosophy:Doxa|Doxa]] --
[[Drinking the Kool-Aid]] --

== E ==
[[Philosophy:EL++|EL++]] --
[[Philosophy:Ecological fallacy|Ecological fallacy]] --
[[Effective method]] --
Elimination rule --
[[Philosophy:Emotional reasoning|Emotional reasoning]] --
[[Emotions in decision-making]] --
[[Philosophy:Empty name|Empty name]] --
[[Philosophy:Encyclopedia of the Philosophical Sciences|Encyclopedia of the Philosophical Sciences]] --
[[Philosophy:End term|End term]] --
[[Engineered language]] --
Entailment --
[[Entitative graph]] --
[[Philosophy:Enumerative definition|Enumerative definition]] --
[[Philosophy:Epicureanism|Epicureanism]] --
[[Epilogism]] --
[[Philosophy:Epistemic closure|Epistemic closure]] --
[[Equisatisfiability]] --
[[Philosophy:Erotetics|Erotetics]] --
[[Philosophy:Eternal statement|Eternal statement]] --
[[Social:Etymological fallacy|Etymological fallacy]] --
European Summer School in Logic, Language and Information --
[[Philosophy:Evidence|Evidence]] --
Exclusive nor --
[[Exclusive or]] --
[[Philosophy:Existential fallacy|Existential fallacy]] --
[[Existential graph]] --
[[Existential quantification]] --
[[Philosophy:Expert|Expert]] --
Explanandum --
[[Philosophy:Explanation|Explanation]] --
[[Explanatory power]] --
[[Extension (semantics)]] --
[[Philosophy:Extensional context|Extensional context]] --
Extensional definition --

== F ==
[[Philosophy:Fa (concept)|Fa (concept)]] --
[[Philosophy:Fact|Fact]] --
[[Philosophy:Fallacies of definition|Fallacies of definition]] --
[[Fallacy]] --
Fallacy of distribution --
[[Philosophy:Fallacy of four terms|Fallacy of four terms]] --
Fallacy of quoting out of context --
Fallacy of the four terms --
[[Philosophy:False attribution|False attribution]] --
[[Philosophy:False dilemma|False dilemma]] --
[[Philosophy:False equivalence|False equivalence]] --
[[Philosophy:False premise|False premise]] --
[[Philosophy:Fictionalism|Fictionalism]] --
[[Finitary relation]] --
[[Philosophy:Finite model property|Finite model property]] --
[[First-order logic]] --
[[Philosophy:First-order predicate|First-order predicate]] --
First-order predicate calculus --
First-order resolution --
Fitch-style calculus --
Fluidic logic --
[[Physics:Fluidics|Fluidics]] --
[[Philosophy:Formal fallacy|Formal fallacy]] --
[[Formal ontology]] --
[[Formal system]] --
[[Philosophy:Formalism|Formalism]] --
[[Forward chaining]] --
[[Philosophy:Free logic|Free logic]] --
[[Free variables and bound variables]] --
[[Philosophy:Function and Concept|Function and Concept]] --
[[Fuzzy logic]] --

== G ==
[[Game semantics]] --
Ganto's Ax --
[[Geometry of interaction]] --
[[Biography:Gilles-Gaston Granger|Gilles-Gaston Granger]] --
[[Biography:Gongsun Long|Gongsun Long]] --
[[Philosophy:Grammaticality|Grammaticality]] --
[[Philosophy:Greedy reductionism|Greedy reductionism]] --
[[Grundlagen der Mathematik]] --

== H ==
[[Physics:HPO formalism|HPO formalism]] --
[[Halo effect]] --
[[Handbook of Automated Reasoning]] --
[[Philosophy:Hanlon's razor|Hanlon's razor]] --
Hasty generalization --
[[Herbrandization]] --
[[Philosophy:Hetucakra|Hetucakra]] --
[[Heyting algebra]] --
Higher-order predicate --
[[Philosophy:Higher-order thinking|Higher-order thinking]] --
[[Philosophy:Historian's fallacy|Historian's fallacy]] --
[[Philosophy:Historical fallacy|Historical fallacy]] --
[[Philosophy:History of logic|History of logic]] --
[[History of the function concept]] --
[[Philosophy:Hold come what may|Hold come what may]] --
[[Philosophy:Homunculus argument|Homunculus argument]] --
[[Horn clause]] --
[[Philosophy:Hume's fork|Hume's fork]] --
[[Hume's principle]] --
[[Hypothetical syllogism]] --

== I ==
[[Philosophy:Identity|Identity]] --
[[Philosophy:Identity of indiscernibles|Identity of indiscernibles]] --
[[Idola fori]] --
[[Idola specus]] --
[[Idola theatri]] --
[[Idola tribus]] --
[[Philosophy:If-by-whiskey|If-by-whiskey]] --
Iff --
[[Philosophy:Illicit major|Illicit major]] --
[[Philosophy:Illicit minor|Illicit minor]] --
[[Philosophy:Illuminationism|Illuminationism]] --
[[Immutable truth]] --
[[Philosophy:Imperative logic|Imperative logic]] --
[[Implicant]] --
[[Philosophy:Inclusion (logic)|Inclusion (logic)]] --
[[Philosophy:Incomplete comparison|Incomplete comparison]] --
Inconsistent comparison --
[[Philosophy:Inconsistent triad|Inconsistent triad]] --
[[Philosophy:Independence-friendly logic|Independence-friendly logic]] --
[[Philosophy:Indian logic|Indian logic]] --
Inductive logic --
[[Inductive logic programming]] --
[[Philosophy:Inference|Inference]] --
Inference procedure --
Inference rule --
[[Philosophy:Inferential role semantics|Inferential role semantics]] --
[[Philosophy:Infinitary logic|Infinitary logic]] --
[[Infinite regress]] --
[[Infinity]] --
[[Informal fallacy]] --
[[Philosophy:Informal logic|Informal logic]] --
[[Inquiry]] --
Inquiry (philosophy journal) --
[[Insolubilia]] --
Institute for Logic, Language and Computation --
[[Philosophy:Intellectual responsibility|Intellectual responsibility]] --
Intended interpretation --
[[Philosophy:Intension|Intension]] --
Intensional fallacy --
[[Philosophy:Intensional logic|Intensional logic]] --
Intensional statement --
[[Philosophy:Intentional Logic|Intentional Logic]] --
[[Intermediate logic]] --
[[Philosophy:Interpretability|Interpretability]] --
[[Philosophy:Interpretability logic|Interpretability logic]] --
[[Philosophy:Interpretive discussion|Interpretive discussion]] --
Introduction rule --
[[Introduction to Mathematical Philosophy]] --
Intuitionistic linear logic --
[[Intuitionistic logic]] --
Invalid proof --
[[Inventor's paradox]] --
[[Philosophy:Inverse (logic)|Inverse (logic)]] --
[[Inverse consequences]] --
[[Irreducibility]] --
[[Philosophy:Is Logic Empirical?|Is Logic Empirical?]] --
[[Philosophy:Isagoge|Isagoge]] --
[[Biography:Ivor Grattan-Guinness|Ivor Grattan-Guinness]] --

== J ==
[[Philosophy:Jacobus Naveros|Jacobus Naveros]] --
[[Philosophy:Jayanta Bhatta|Jayanta Bhatta]] --
[[Philosophy:Jingle-jangle fallacies|Jingle-jangle fallacies]] --
[[Biography:John Corcoran (logician)|John Corcoran (logician)]] --
John W. Dawson, Jr --
[[Philosophy:Journal of Applied Non-Classical Logics|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)]] --
[[Philosophy:Judgmental language|Judgmental language]] --
[[Philosophy:Just-so story|Just-so story]] --

== K ==
[[Karnaugh map]] --
[[Biology:Kinetic logic|Kinetic logic]] --
[[Philosophy:Knowing and the Known|Knowing and the Known]] --
[[Kripke semantics]] --
Kurt Gödel Society --

== L ==
[[Social:Language|Language]] --
[[Philosophy:Language, Proof and Logic|Language, Proof and Logic]] --
[[Lateral thinking]] --
[[Law of excluded middle]] --
[[Philosophy:Law of identity|Law of identity]] --
Law of non-contradiction --
[[Philosophy:Law of noncontradiction|Law of noncontradiction]] --
[[Philosophy:Law of thought|Law of thought]] --
[[Laws of Form]] --
Laws of logic --
[[Philosophy:Leap of faith|Leap of faith]] --
[[Philosophy:Lemma (logic)|Lemma (logic)]] --
[[Philosophy:Lexical definition|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]] --
[[Philosophy:Logic Lane|Logic Lane]] --
[[Philosophy:Logic Spectacles|Logic Spectacles]] --
[[Engineering:Logic gate|Logic gate]] --
[[Philosophy:Logic in China|Logic in China]] --
[[Philosophy:Logic in Islamic philosophy|Logic in Islamic philosophy]] --
Logic of class --
[[Logic of information]] --
[[Logic programming]] --
Logica Universalis --
[[Philosophy:Logica nova|Logica nova]] --
Logical Analysis and History of Philosophy --
[[Philosophy:Logical Investigations (Husserl)|Logical Investigations (Husserl)]] --
[[Logical Methods in Computer Science]] --
[[Logical abacus]] --
Logical argument --
[[Logical assertion]] --
[[Philosophy:Logical atomism|Logical atomism]] --
[[Logical biconditional]] --
Logical conditional --
[[Logical conjunction]] --
[[Logical constant]] --
[[Logical disjunction]] --
[[Logical equality]] --
[[Logical equivalence]] --
[[Philosophy:Logical extreme|Logical extreme]] --
[[Philosophy:Logical form|Logical form]] --
[[Philosophy:Logical harmony|Logical harmony]] --
[[Philosophy:Logical holism|Logical holism]] --
Logical NAND --
[[Logical NOR]] --
Logical operator --
[[Philosophy:Logical quality|Logical quality]] --
[[Logical truth]] --
[[Philosophy:Logicism|Logicism]] --
[[Logico-linguistic modeling]] --
[[Philosophy:Logos|Logos]] --
[[Philosophy:Loosely associated statements|Loosely associated statements]] --
[[Łoś–Tarski preservation theorem]] --
[[Philosophy:Ludic fallacy|Ludic fallacy]] --
Lwów–Warsaw school of logic --

== M ==
Main contention --
Major term --
[[Markov's principle]] --
Martin Gardner bibliography --
[[Philosophy:Masked-man fallacy|Masked-man fallacy]] --
[[Material conditional]] --
[[Philosophy:Mathematical fallacy|Mathematical fallacy]] --
[[Mathematical logic]] --
[[Philosophy:Meaning (linguistics)|Meaning (linguistics)]] --
[[Meaning (non-linguistic)]] --
[[Philosophy:Meaning (philosophy of language)|Meaning (philosophy of language)]] --
[[Philosophy:Meaningless statement|Meaningless statement]] --
[[Philosophy:Megarian school|Megarian school]] --
[[Philosophy:Mental model theory of reasoning|Mental model theory of reasoning]] --
[[Mereology]] --
[[Philosophy:Meta-communication|Meta-communication]] --
[[Philosophy:Metalanguage|Metalanguage]] --
[[Metalogic]] --
[[Metamathematics]] --
[[Metasyntactic variable]] --
[[Metatheorem]] --
[[Metavariable]] --
[[Philosophy:Middle term|Middle term]] --
[[Minimal axioms for Boolean algebra]] --
[[Minimal logic]] --
Minor premise --
Miscellanea Logica --
[[Philosophy:Missing dollar riddle|Missing dollar riddle]] --
[[Philosophy:Modal fallacy|Modal fallacy]] --
[[Philosophy:Modal fictionalism|Modal fictionalism]] --
[[Modal logic]] --
[[Model theory]] --
[[Modus ponens]] --
[[Modus tollens]] --
[[Philosophy:Moral reasoning|Moral reasoning]] --
[[Motivated reasoning]] --
[[Moving the goalposts]] --
Multigrade predicate --
Multi-valued logic --
[[Philosophy:Multiple-conclusion logic|Multiple-conclusion logic]] --
[[Philosophy:Mutatis mutandis|Mutatis mutandis]] --
[[Philosophy:Mutual knowledge (logic)|Mutual knowledge (logic)]] --
Mutually exclusive events --
[[Philosophy:Münchhausen trilemma|Münchhausen trilemma]] --

== N ==
[[Naive set theory]] --
[[Philosophy:Name|Name]] --
Narrative logic --
[[Philosophy:Natural deduction|Natural deduction]] --
[[Philosophy:Natural kind|Natural kind]] --
[[Philosophy:Natural language|Natural language]] --
Necessary and sufficient --
[[Necessity and sufficiency]] --
[[Negation]] --
[[Philosophy:Neutrality|Neutrality]] --
[[Philosophy:Nirvana fallacy|Nirvana fallacy]] --
[[Philosophy:Nixon diamond|Nixon diamond]] --
[[Philosophy:No true Scotsman|No true Scotsman]] --
[[Philosophy:Nominal identity|Nominal identity]] --
Non-Aristotelian logic --
[[Philosophy:Non-classical logic|Non-classical logic]] --
[[Philosophy:Non-monotonic logic|Non-monotonic logic]] --
[[Philosophy:Non-rigid designator|Non-rigid designator]] --
Non sequitur (logic) --
[[Philosophy:Noneism|Noneism]] --
[[Philosophy:Nonfirstorderizability|Nonfirstorderizability]] --
[[Philosophy:Nordic Journal of Philosophical Logic|Nordic Journal of Philosophical Logic]] --
[[Philosophy:Normal form (natural deduction)|Normal form (natural deduction)]] --
[[Philosophy:Novum Organum|Novum Organum]] --
[[Philosophy:Nyaya|Nyaya]] --
[[Philosophy:Nyāya Sūtras|Nyāya Sūtras]] --

== O ==
[[Philosophy:Object of the mind|Object of the mind]] --
[[Occam's razor]] --
On Formally Undecidable Propositions of Principia Mathematica and Related Systems --
[[Philosophy:One-sided argument|One-sided argument]] --
[[Philosophy:Ontological commitment|Ontological commitment]] --
Open sentence --
[[Philosophy:Opinion|Opinion]] --
[[Philosophy:Opposing Viewpoints series|Opposing Viewpoints series]] --
Ordered logic --
[[Philosophy:Organon|Organon]] --
[[Original proof of Gödel's completeness theorem]] --
[[Biography:Osmund Lewry|Osmund Lewry]] --
[[Philosophy:Ostensive definition|Ostensive definition]] --
[[Outline of logic]] --
[[Philosophy:Overbelief|Overbelief]] --

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

== Q ==
[[Q.E.D.]] --
Quantification --
[[Philosophy:Quantization (linguistics)|Quantization (linguistics)]] --
[[Physics:Quantum logic|Quantum logic]] --

== R ==
[[Philosophy:Ramism|Ramism]] --
[[Philosophy:Rationality|Rationality]] --
Razor (philosophy) --
[[Philosophy:Reason|Reason]] --
[[Philosophy:Reductio ad absurdum|Reductio ad absurdum]] --
[[Philosophy:Reference|Reference]] --
[[Reflective equilibrium]] --
[[Philosophy:Regression fallacy|Regression fallacy]] --
[[Philosophy:Regular modal logic|Regular modal logic]] --
[[Philosophy:Reification (fallacy)|Reification (fallacy)]] --
[[Philosophy:Relativist fallacy|Relativist fallacy]] --
[[Relevance]] --
[[Philosophy:Relevance logic|Relevance logic]] --
Relevant logic --
[[Philosophy:Remarks on the Foundations of Mathematics|Remarks on the Foundations of Mathematics]] --
Retroduction --
[[Philosophy:Retrospective determinism|Retrospective determinism]] --
[[Revolutions in Mathematics]] --
[[Philosophy:Rhetoric|Rhetoric]] --
[[Rigour]] --
[[Biography:Rolandas Pavilionis|Rolandas Pavilionis]] --
[[Round square copula]] --
[[Biography:Rudolf Carnap|Rudolf Carnap]] --
[[Rule of inference]] --
[[Rvachev function]] --

== S ==
SEE-I --
[[Philosophy:Salva congruitate|Salva congruitate]] --
[[Philosophy:Salva veritate|Salva veritate]] --
[[Satisfiability]] --
Scholastic logic --
[[Philosophy:School of Names|School of Names]] --
[[Philosophy:Science of Logic|Science of Logic]] --
[[Scientific temper]] --
[[Philosophy:Second-order predicate|Second-order predicate]] --
[[Segment addition postulate]] --
[[Self-reference]] --
[[Philosophy:Self-refuting idea|Self-refuting idea]] --
[[Philosophy:Self-verifying theories|Self-verifying theories]] --
[[Semantic theory of truth]] --
[[Philosophy:Semantics|Semantics]] --
[[Philosophy:Sense and reference|Sense and reference]] --
[[Sequent]] --
[[Sequent calculus]] --
[[Sequential logic]] --
[[Set (mathematics)]] --
Seven Types of Ambiguity (Empson) --
[[Sheffer stroke]] --
[[Ship of Theseus]] --
[[Philosophy:Simple non-inferential passage|Simple non-inferential passage]] --
[[Philosophy:Singular term|Singular term]] --
Situation --
[[Situational analysis]] --
[[Philosophy:Skeptic's Toolbox|Skeptic's Toolbox]] --
[[Philosophy:Slingshot argument|Slingshot argument]] --
[[Philosophy:Social software (social procedure)|Social software (social procedure)]] --
[[Socratic questioning]] --
[[Philosophy:Soku hi|Soku hi]] --
[[Philosophy:Some Remarks on Logical Form|Some Remarks on Logical Form]] --
Sophism --
[[Philosophy:Sophistical Refutations|Sophistical Refutations]] --
[[Soundness]] --
[[Philosophy:Source credibility|Source credibility]] --
[[Source criticism]] --
[[Special case]] --
[[Philosophy:Specialization (logic)|Specialization (logic)]] --
[[Philosophy:Speculative reason|Speculative reason]] --
[[Spurious relationship]] --
[[Philosophy:Square of opposition|Square of opposition]] --
[[Philosophy:State of affairs|State of affairs]] --
[[Philosophy:Statement (logic)|Statement (logic)]] --
[[Philosophy:Straight and Crooked Thinking|Straight and Crooked Thinking]] --
Straight face test --
[[Straw man]] --
[[Strength (mathematical logic)]] --
[[Strict conditional]] --
Strict implication --
[[Philosophy:Strict logic|Strict logic]] --
[[Structural rule]] --
Studia Logica --
Studies in Logic, Grammar and Rhetoric --
[[Subjective logic]] --
[[Philosophy:Substitution (logic)|Substitution (logic)]] --
[[Philosophy:Substructural logic|Substructural logic]] --
Sufficient condition --
[[Philosophy:Sum of Logic|Sum of Logic]] --
Sunk costs --
[[Supertask]] --
[[Philosophy:Supervaluationism|Supervaluationism]] --
[[Philosophy:Supposition theory|Supposition theory]] --
[[Survivorship bias]] --
[[Philosophy:Syllogism|Syllogism]] --
[[Philosophy:Syllogistic fallacy|Syllogistic fallacy]] --
[[Symbol (formal)]] --
[[Philosophy:Syntactic Structures|Syntactic Structures]] --
[[Philosophy:Syntax (logic)|Syntax (logic)]] --
Synthese --
[[Systems of Logic Based on Ordinals]] --

== T ==
[[T-schema]] --
[[Philosophy:Tacit assumption|Tacit assumption]] --
[[Tarski's undefinability theorem]] --
[[Philosophy:Tautology (logic)|Tautology (logic)]] --
[[Philosophy:Temporal logic|Temporal logic]] --
[[Philosophy:Temporal parts|Temporal parts]] --
Teorema (journal) --
[[Philosophy:Term (argumentation)|Term (argumentation)]] --
[[Philosophy:Term logic|Term logic]] --
Ternary logic --
[[Philosophy:Testability|Testability]] --
[[Tetralemma]] --
Textual case based reasoning --
The False Subtlety of the Four Syllogistic Figures --
[[Philosophy:The Foundations of Arithmetic|The Foundations of Arithmetic]] --
The Geography of Thought --
The Laws of Thought --
[[The Paradoxes of the Infinite]] --
[[Theorem]] --
[[Theoretical definition]] --
[[Finance:Theory and Decision|Theory and Decision]] --
[[Theory of justification]] --
[[Theory of obligationes]] --
Third-cause fallacy --
[[Philosophy:Three men make a tiger|Three men make a tiger]] --
Tolerance (in logic) --
[[Philosophy:Topical logic|Topical logic]] --
[[Philosophy:Topics (Aristotle)|Topics (Aristotle)]] --
[[Philosophy:Tractatus Logico-Philosophicus|Tractatus Logico-Philosophicus]] --
[[Philosophy:Train of thought|Train of thought]] --
[[Philosophy:Trairūpya|Trairūpya]] --
[[Transferable belief model]] --
[[Philosophy:Transparent Intensional Logic|Transparent Intensional Logic]] --
[[TregoED]] --
[[Philosophy:Trikonic|Trikonic]] --
[[Trilemma]] --
[[Philosophy:Trivial objections|Trivial objections]] --
[[Philosophy:Trivialism|Trivialism]] --
[[Truth]] --
[[Philosophy:Truth-bearer|Truth-bearer]] --
[[Philosophy:Truth condition|Truth condition]] --
[[Truth function]] --
[[Philosophy:Truth value|Truth value]] --
[[Philosophy:Truthiness|Truthiness]] --
Truthmaker --
[[Type (model theory)]] --
[[Type theory]] --
[[Philosophy:Type–token distinction|Type–token distinction]] --

== U ==
[[Ultrafinitism]] --
[[Unification (computer science)]] --
[[Unifying theories in mathematics]] --
[[Uniqueness quantification]] --
[[Philosophy:Universal logic|Universal logic]] --
[[Universal quantification]] --
Univocity --
[[Philosophy:Unspoken rule|Unspoken rule]] --
[[Philosophy:Use–mention distinction|Use–mention distinction]] --

== V ==
[[Vacuous truth]] --
[[Philosophy:Vagrant predicate|Vagrant predicate]] --
[[Vagueness]] --
[[Philosophy:Validity (logic)|Validity]] --
[[Philosophy:Valuation-based system|Valuation-based system]] --
Van Gogh fallacy --
[[Venn diagram]] --
[[Vicious circle principle]] --

== W ==
Warnier/Orr diagram --
[[Well-formed formula]] --
[[What the Tortoise Said to Achilles]] --
[[Biography:Willard Van Orman Quine|Willard Van Orman Quine]] --
[[Biography:William Kneale|William Kneale]] --
[[Philosophy:Window operator|Window operator]] --
[[Philosophy:Wisdom of repugnance|Wisdom of repugnance]] --
[[Witness (mathematics)]] --
[[Philosophy:Word sense|Word sense]] --

== Z ==
[[Zhegalkin polynomial]] --

==See also==
* [[Biography:List of logicians|List of logicians]]
* [[List of rules of inference]]
* [[List of mathematical logic topics]]
* There is a list of paradoxes on the [[Philosophy:Paradox|paradox]] page.
* There is a list of fallacies on the [[Informal fallacy|logical fallacy]] page.
* Modern [[Mathematical logic|mathematical logic]] is at the [[List of mathematical logic topics|list of mathematical logic topics]] page.
* For introductory set theory and other supporting material see the list of basic discrete mathematics topics.

{{Logic}}


[[Category:Mathematics-related lists|Logic]]
[[Category:Logic| 1]]

{{Sourceattribution|Index of logic articles}}