Fandom

Psychology Wiki

Index of logic articles

34,203pages on
this wiki
Add New Page
Talk0 Share

Assessment | Biopsychology | Comparative | Cognitive | Developmental | Language | Individual differences | Personality | Philosophy | Social |
Methods | Statistics | Clinical | Educational | Industrial | Professional items | World psychology |

Philosophy Index: Aesthetics · Epistemology · Ethics · Logic · Metaphysics · Consciousness · Philosophy of Language · Philosophy of Mind · Philosophy of Science · Social and Political philosophy · Philosophies · Philosophers · List of lists


Merge-arrows
It has been suggested that this article or section be merged with Outline of logic. (Discuss)
Template:Index of logic articles/header
Contents: A B C D E F G H I J K L M N O P Q R S T U V W X Y ZSee also


AEdit

Abacus logic -- Abduction (logic) -- Abductive validation -- Affine logic -- Affirming the antecedent --Affirming the consequent -- Antecedent -- Antinomy -- Argument form -- Aristotelian logic -- Axiom -- Axiomatic system -- Axiomatization

BEdit

Backward chaining -- Barcan formula -- Biconditional elimination -- Biconditional introduction -- Bivalence and related laws -- Boolean algebra (logic) -- Boolean algebra (structure)

CEdit

Categorical logic -- Clocked logic --Cointerpretability --College logic -- Combinational logic -- Combinatory logic -- Computability logic -- Conditional -- Conditional proof -- Conjunction elimination --Conjunction introduction -- Conjunctive normal form -- Consequent -- Constructive dilemma -- Contradiction -- Contrapositive -- Control logic -- Converse (logic) -- Converse Barcan formula -- Cotolerance -- Counterfactual conditional -- Curry's paradox

DEdit

De Morgan's laws -- Deduction theorem -- Deductive reasoning -- Degree of truth -- Denying the antecedent -- Deviant logic -- Disjunction elimination -- Disjunction introduction -- Disjunctive normal form -- Disjunctive syllogism -- Double negative -- Double negative elimination

EEdit

Elimination rule -- End term -- Exclusive nor -- Exclusive or -- Existential fallacy -- Existential quantification

FEdit

Fallacy of distribution -- Fallacy of the four terms -- First-order predicate - First-order predicate calculus - First-order resolution -- Fluidic logic -- Forward chaining -- Free variables and bound variables -- Fuzzy logic

GEdit

Game semantics

HEdit

Heyting algebra -- Higher-order predicate -- Horn clause -- Hypothetical syllogism

IEdit

Iff -- Illicit major -- Illicit minor -- Implicant -- Inductive logic -- Inductive logic programming -- Inference procedure -- Inference rule -- Infinitary logic -- Informal logic -- Intensional statement --Interpretability -- Interpretability logic -- Introduction rule --Intuitionistic linear logic -- Intuitionistic logic -- Invalid proof -- Inverse (logic)

KEdit

Karnaugh map

LEdit

language -- Lateral thinking -- Law of excluded middle -- Law of non-contradiction -- Laws of logic -- Laws of Form -- Linear logic -- Logic -- Logic gate -- Logical argument -- Logical assertion -- Logical biconditional -- Logical conditional --Logical conjunction -- Logical disjunction -- Logical equivalence -- Logical fallacy -- Logical language -- Logical nand -- Logical nor -- Logical operator -- Logicism -- Logic programming --logico-linguistic modeling

MEdit

Major premise -- Major term -- Mathematical logic -- Mereology -- Metalogic -- Middle term -- Minimal logic -- Minor premise -- Modal logic -- Modus ponens -- Modus tollens -- Multi-valued logic

NEdit

Naive set theory -- Natural deduction -- Necessary and sufficient -- Negation -- Non-Aristotelian logic -- Nonfirstorderizability -- Non-monotonic logic -- Non sequitur (logic)

OEdit

Open sentence -- Ordered logic

PEdit

Paraconsistent logics -- Paradox -- Pierce's law -- Plural quantification --Polish notation -- Polysyllogism --Predicate -- Principia Mathematica -- Principle of bivalence -- Proof theory -- Proposition -- Propositional calculus -- Provability logic

QEdit

Quantification -- Quantum logic -- Quod erat demonstrandum

REdit

Reductio ad absurdum -- Relevant logic -- Rule of inference

SEdit

Satisfiability -- Scholastic logic -- Second-order predicate -- Self-reference -- Sequent -- Sequent calculus -- Sequential logic -- Singular term -- Soundness -- Square of opposition -- Strict conditional -- Strict implication -- Strict logic -- Structural rule -- Sufficient condition -- Syllogism -- Syllogistic fallacy

TEdit

Tautology -- Temporal logic -- Term -- Term logic -- Ternary logic -- Theorem -- Tolerance -- Trilemma --Truth -- Truth condition -- Truth function -- Truth value -- Type theory

UEdit

Unification -- Universal quantification -- Uniqueness quantification

VEdit

Vacuous truth -- Validity -- Venn diagram

See alsoEdit

.


.

This page uses Creative Commons Licensed content from Wikipedia (view authors).

Ad blocker interference detected!


Wikia is a free-to-use site that makes money from advertising. We have a modified experience for viewers using ad blockers

Wikia is not accessible if you’ve made further modifications. Remove the custom ad blocker rule(s) and the page will load as expected.

Also on Fandom

Random Wiki