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 55 subcategories, out of 55 total.
A
- Definitions/Algebraic Logic (1 P)
C
D
- Definitions/Deduction (1 P)
- Definitions/Deontic Logic (7 P)
- Definitions/Direct Proofs (1 P)
E
- Definitions/Entailment (2 P)
F
H
- Definitions/Hypotheses (6 P)
I
- Definitions/Inference (1 P)
- Definitions/Interpretations (5 P)
L
- Definitions/Logical Axioms (4 P)
- Definitions/Logical Connectives (23 P)
M
- Definitions/Main Connective (7 P)
N
- Definitions/Natural Language (5 P)
P
- Definitions/Premises (4 P)
- Definitions/Propositions (2 P)
S
- Definitions/Satisfaction (3 P)
- Definitions/Scope (5 P)
- Definitions/Sorites (1 P)
- Definitions/Syntax (1 P)
T
- Definitions/Tautology (5 P)
- Definitions/Temporal Logic (1 P)
- Definitions/Tense Logic (2 P)
- Definitions/Therefore (5 P)
U
Pages in category "Definitions/Logic"
The following 126 pages are in this category, out of 126 total.
A
- Definition:A Fortiori
- Definition:A Posteriori (Logic)
- Definition:A Priori (Logic)
- Definition:Abstraction
- Definition:Absurd
- Definition:Algebraic Logic
- Definition:Ambiguity
- Definition:Ambiguous
- Definition:Amphiboly
- Definition:Aristotelian Logic
- Definition:Aristotelian Truth Value
- Definition:Assertion
- Definition:Assumption
- Definition:Atom (Logic)
- Definition:Atom/Linguistic Note
- Definition:Axiom
- Definition:Axiom/Logical
B
C
- Definition:Characteristica Generalis
- Definition:Circular Proof
- Definition:Classical Logic
- Definition:Combinatorial Logic
- Definition:Condition
- Definition:Conditional
- Definition:Conditional/Also known as
- Definition:Contradiction
- Definition:Contradictory
- Definition:Contradictory Statements
- Definition:Contrary Statements
- Definition:Corollary
- Definition:Counterexample
D
I
L
- Definition:Language
- Definition:Logic
- Definition:Logical Argument
- Definition:Logical Connective
- Definition:Logical Connective/Binary
- 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 Negation
- Definition:Logical Value
M
P
- Definition:Paradox
- Definition:Postulate
- Definition:Predicate
- Definition:Predicate Logic
- Definition:Predicate/Is of Identity
- Definition:Predicate/Is of Predication
- Definition:Premise
- Definition:Proof
- Definition:Property
- Definition:Proposition
- Definition:Propositional Function
- Definition:Propositional Function/Examples
- Definition:Propositional Function/Satisfaction
- Definition:Propositional Logic
S
T
- Definition:Tautology
- Definition:Temporal Logic
- Definition:Tense Logic
- Definition:Theorem of Logic
- Definition:Theorem/Logic
- Definition:Theory of Set of Formulas
- Definition:Theory/Set of Formulas
- Definition:Therefore
- Definition:Therefore/Also known as
- Definition:Three-Valued Logic
- Definition:True
- Definition:Truth Preservation
- Definition:Truth Value
- Definition:Truth Value/Aristotelian Logic