Category:Logic
From HandWiki
Here is a list of articles in the Logic category of the Computing portal that unifies foundations of mathematics and computations using computers.
|
Logic · Index of logic articles · Outline of 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 8 subcategories, out of 8 total.
Pages in category "Logic"
The following 176 pages are in this category, out of 176 total.
A
C
- Philosophy:Canon (basic principle)
- Canonical normal form
- Philosophy:Catch-22 (logic)
- Philosophy:Certainty
- Philosophy:Circumscription (taxonomy)
- Philosophy:Classical logic
- Philosophy:Colorless green ideas sleep furiously
- Philosophy:Composition of Causes
- Philosophy:Composition of causes
- Philosophy:Concatenation theory
- Philosophy:Conceptions of logic
- Philosophy:Condensed detachment
- Conditional proof
- Philosophy:Conflation
- Counterexample
- Philosophy:Counterintuitive
- Philosophy:Cratylism
D
E
F
I
L
- Philosophy:Language, Proof and Logic
- Philosophy:Law of identity
- Lewis's triviality result
- Philosophy:Lexical definition
- Linear logic
- Philosophy:Logic and rationality
- Philosophy:Logic games
- Philosophy:Logic of argumentation
- Philosophy:Logic of class
- Logic of information
- Logic programming
- Philosophy:Logic translation
- Logical abacus
- Philosophy:Logical determinism
- Philosophy:Logical extreme
- Logical graph
- Philosophy:Logical harmony
- Philosophy:Logical intuition
- Philosophy:Logical pluralism
- Philosophy:Logical reasoning
- Philosophy:Loosely associated statements
M
N
O
P
- Philosophy:Panlogism
- Penrose–Lucas argument
- Philosophy:Per fas et nefas
- Philosophy:Persuasive definition
- Philosophy:Philosophy of logic
- Philosophy:Polarity item
- Post's lattice
- Philosophy:Potentiality and actuality
- Pragmatic mapping
- Philosophy:Pragmatic maxim
- Philosophy:Pragmatic theory of truth
- Premise
- Principle of bivalence
- Philosophy:Principle of nonvacuous contrast
- Philosophy:Propositional representation
- Philosophy:Psychology of reasoning
R
S
- Philosophy:Schrödinger logic
- Segment addition postulate
- Self-reference
- Philosophy:Self-refuting idea
- Philosophy:Semantic argument
- Ship of Theseus
- Philosophy:Simple non-inferential passage
- Simplification of disjunctive antecedents
- Situational analysis
- Situational logic
- Philosophy:Social software (research field)
- Philosophy:Social software (social procedure)
- Philosophy:Soku hi
- Philosophy:Specialization (logic)
- Philosophy:Speculative reason
- Philosophy:Superassertibility
- Philosophy:Superassertible
- System F