Category:Definitions/Logic
Jump to navigation
Jump to search
This category contains definitions related to Logic.
Related results can be found in Category:Logic.
Logic is the study of the structure of statements and their truth values, divorced from their conceptual content.
It has frequently been defined as the science of reasoning.
Subcategories
This category has the following 26 subcategories, out of 26 total.
A
- Definitions/Axioms (5 P)
B
- Definitions/Biconditional (12 P)
- Definitions/Bottom (3 P)
C
- Definitions/Conjunction (14 P)
- Definitions/Contradiction (8 P)
D
- Definitions/Disjunction (15 P)
E
- Definitions/Exclusive Or (8 P)
F
- Definitions/Frege Set Theory (1 P)
I
- Definitions/Implication (37 P)
L
- Definitions/Logical NAND (7 P)
- Definitions/Logical NOR (6 P)
M
N
- Definitions/Negation (5 P)
P
- Definitions/Paradoxes (5 P)
S
- Definitions/Statements (7 P)
T
- Definitions/Temporal Logic (1 P)
- Definitions/Top (3 P)
Pages in category "Definitions/Logic"
The following 145 pages are in this category, out of 145 total.
A
- Definition:A Fortiori
- Definition:A Priori
- Definition:Abstraction
- Definition:Absurd
- Definition:Ambiguity
- Definition:Ambiguous
- Definition:Amphiboly
- Definition:Argument Form
- Definition:Argument Form/Specific Form
- Definition:Argumentum ad Baculum
- Definition:Argumentum ad Hominem
- Definition:Argumentum ad Passiones
- Definition:Argumentum ad Verecundiam
- Definition:Aristotelian Logic
- Definition:Aristotelian Truth Value
- Definition:Assertion
- Definition:Assertion Sign
- Definition:Assumption
- Definition:Atom (Logic)
- Definition:Atom (Logic)/Propositional Logic
- Definition:Atom/Linguistic Note
- Definition:Axiom
- Definition:Axiom of Logic
- Definition:Axiom/Also known as
- Definition:Axiom/Logic
B
C
D
I
L
- Definition:Logic
- Definition:Logical Argument
- Definition:Logical Argument/Finitary
- Definition:Logical Axiom
- Definition:Logical Connective
- Definition:Logical Connective/Binary
- Definition:Logical Connective/Unary
- Definition:Logical Constant
- Definition:Logical Derivation
- Definition:Logical Equality
- Definition:Logical Equivalence
- Definition:Logical Form
- Definition:Logical Implication
- Definition:Logical Implication/Distinction with Conditional
- Definition:Logical Inference
- Definition:Logical Operator
- Definition:Logical Value
M
N
P
- Definition:Paradox
- Definition:Postulate
- Definition:Predicate
- Definition:Predicate Logic
- Definition:Predicate/Is of Identity
- Definition:Predicate/Is of Predication
- Definition:Premise
- Definition:Primitive Proposition
- Definition:Principal Operator
- Definition:Proof
- Definition:Property
- Definition:Proposition
- Definition:Propositional Function
- Definition:Propositional Function/Examples
- Definition:Propositional Function/Satisfaction
S
- Definition:Scheme of Abbreviation
- Definition:Scope
- Definition:Scope (Logic)
- Definition:Semantic Consequence
- Definition:Semantic Equivalence
- Definition:Semantics
- Definition:Sentential Calculus
- Definition:Sound Argument
- Definition:Statement
- Definition:Statement Form
- Definition:Subcontrary Statements
- Definition:Subimplicant
- Definition:Subject
- Definition:Substatement of Compound Statement
- Definition:Sufficient Condition
- Definition:Superimplicant
- Definition:Switching Circuit
- Definition:Syllogism
- Definition:Symbolic Logic
- Definition:Syntax
T
- Definition:Tautology
- Definition:Temporal Logic
- Definition:Theorem of Logic
- Definition:Theorem/Logic
- Definition:Theory
- Definition:Theory of Set of Formulas
- Definition:Theory/Set of Formulas
- Definition:Therefore
- Definition:True
- Definition:Truth Preservation
- Definition:Truth Value
- Definition:Truth Value/Aristotelian Logic