Category:Logic
Jump to navigation
Jump to search
|
Logic · Index of logic articles · Outline of logic |
Wikimedia Commons has media related to Logic. |
Pages in this category should be moved to subcategories where applicable. This category may require frequent maintenance to avoid becoming too large. It should directly contain very few, if any, pages and should mainly contain subcategories. |
Logic (from the Greek "logos", which has a variety of meanings including word, thought, idea, argument, account, reason or principle) is the study of reasoning, or the study of the principles and criteria of valid inference and demonstration. It attempts to distinguish good reasoning from bad reasoning.
Subcategories
This category has the following 19 subcategories, out of 19 total.
Pages in category "Logic"
The following 182 pages are in this category, out of 182 total. This list may not reflect recent changes (learn more).
A
C
D
E
F
I
L
- Language, Proof and Logic
- Law of identity
- Lewis's triviality result
- Lexical definition
- Linear logic
- Logic and dialectic
- Logic and rationality
- Logic of argumentation
- Logic of class
- Logic of information
- Logic programming
- Logical abacus
- Logical determinism
- Logical extreme
- Logical harmony
- Logical intuition
- Logical pluralism
- Logical reasoning
- Logos
- Loosely associated statements
M
N
O
P
- Penrose–Lucas argument
- Persuasive definition
- Philosophical analysis
- Philosophical logic
- Philosophy of logic
- Polarity item
- Post's lattice
- Potentiality and actuality
- Pragmatic mapping
- Pragmatic maxim
- Pragmatic theory of truth
- Premise
- Principle of bivalence
- Principle of nonvacuous contrast
- Propositional representation
- Psychology of reasoning
S
- Schrödinger logic
- Segment addition postulate
- Self-reference
- Self-refuting idea
- Ship of Theseus
- Simple non-inferential passage
- Simplification of disjunctive antecedents
- Situational logic
- Social software (social procedure)
- Soku hi
- Speculative reason
- Superassertibility
- Superassertible
- Syncategorematic term
- System F