Category:Logic

B

• ► Belief revision‎ (19 P)

C

• ► Classical logic‎ (3 C, 15 P)
• ► Concepts in logic‎ (11 C, 87 P)

F

• ► Formal sciences‎ (14 C, 36 P)

H

• ► History of logic‎ (6 C, 52 P)

L

• ► Logic and statistics‎ (1 C, 14 P)
• ► Logic literature‎ (2 C, 25 P)
• ► Logic organizations‎ (1 C, 9 P)

L cont.

• ► Logic portal‎ (56 P)
• ► Logical fallacies‎ (4 C, 73 P)
• ► Logicians‎ (4 C, 112 P)

M

• ► Mathematical logic‎ (30 C, 144 P)
• ► Metalogic‎ (5 C, 25 P)

N

• ► Non-classical logic‎ (7 C, 37 P)

P

• ► Philosophical logic‎ (16 C, 74 P)
• ► Philosophy of logic‎ (9 C, 20 P)

P cont.

• ► Logic puzzles‎ (3 C, 90 P)

R

• ► Reasoning‎ (4 C, 53 P)

S

• ► Syntax (logic)‎ (5 C, 19 P)

T

• ► Theories of deduction‎ (5 C, 29 P)

Β

• ► Wikipedia books on logic‎ (2 P)

Σ

• ► Logic stubs‎ (144 P)

• Index of logic articles
• Logic
• Portal:Logic
• Outline of logic
• Portal:Contents/Mathematics and logic

A

• Antepredicament
• Apophasis
• Argument map
• Argumentation theory
• Ariadne's thread (logic)
• Austrian Ludwig Wittgenstein Society

B

• Belief revision
• Boolean network

C

• Canon (basic principle)
• Canonical form (Boolean algebra)
• Ceqli
• Circumscription (taxonomy)
• Colorless green ideas sleep furiously
• Composition of Causes
• Concept
• Condensed detachment
• Conditional disjunction
• Conditional proof
• Conditional quantifier
• Conflation
• Cotolerant sequence
• Counterexample
• Counterintuitive
• Cratylism
• Critical thinking
• Cyclic negation

D

• Defeasible reasoning
• Definable set
• Definitions of logic
• Degree of truth
• Denying the antecedent
• Diagrammatic reasoning
• Dialectica space
• Dichotomy
• Difference (philosophy)
• Digital timing diagram
• Division of Logic, Methodology, and Philosophy of Science
• Don't-care term

E

• Empty name
• Enumerative definition
• Epicureanism

E cont.

• Erotetics
• Evolutionary logic
• Existential graph
• Extensional context
• Extensional definition

F

• Fa (concept)
• Finite model property
• Fluidics
• Formal ontology
• Forward chaining

G

• Gain (information retrieval)

H

• Herbrandization
• History of logic
• HPO formalism

I

• Imperative logic
• Informal logic
• Inquiry
• Intended interpretation
• Intension
• International Wittgenstein Symposium
• Inverse consequences

L

• Language, Proof and Logic
• Lexical definition
• List of paradoxes
• Logic of class
• Logic of information
• Logical abacus
• Logical extreme
• Logical harmony
• Loosely associated statements

M

• Markov's principle
• Metamathematics
• Multiple-conclusion logic
• Münchhausen trilemma
• Mutual knowledge (logic)
• Mutually exclusive events

N

• Natural kind
• Neutrality (philosophy)
• Non-monotonic logic
• Nonfirstorderizability
• Normal form (natural deduction)

O

• Object of the mind
• Ontological commitment
• Original proof of Gödel's completeness theorem
• Ostensive definition

P

• Per fas et nefas

P cont.

• Persuasive definition
• Philosophy of logic
• Polarity item
• Post's lattice
• Pragmatic mapping
• Pragmatic maxim
• Pragmatic theory of truth
• Principle of bivalence
• Principle of nonvacuous contrast
• Propositional representation

Q

• Quantification
• Quantization (linguistics)

R

• Regular modal logic
• Relevance
• Retroduction

S

• Segment addition postulate
• Self-reference
• Self-refuting idea
• Ship of Theseus
• Simple non-inferential passage
• Situational analysis
• Social software (social procedure)
• Soku hi
• Specialization (logic)

T

• Tacit assumption
• Term logic
• Testability
• Tetralemma
• Theoretical definition
• Train of thought
• Transferable belief model
• Trikonic
• Truth-bearer

U

• Universal logic
• Unspoken rule

V

• Vacuous truth
• Vagrant predicate
• Valuation-based system
• Vicious circle principle

W

• Warnier/Orr diagram
• What the Tortoise Said to Achilles
• Window operator
• Witness (mathematics)

Z

• Zhegalkin polynomial