Category:Logic
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 14 subcategories, out of 14 total.
*
A
C
D
M
N
P
R
S
Pages in category "Logic"
The following 173 pages are in this category, out of 173 total.
- Birkhoff's theorem (equational logic) (computing)
- Finite game (computing)
- Logic (computing)
- Outline of logic (computing)
- Term logic (philosophy)
- Index of logic articles (computing)
A
- Antepredicament (philosophy)
- Apophasis (philosophy)
- Arationality (philosophy)
- Argument from anecdote (philosophy)
- Argument map (computing)
- Argumentation theory (philosophy)
- Ariadne's thread (logic) (philosophy)
- Austrian Ludwig Wittgenstein Society (organization)
- Autological word (philosophy)
B
- Belief revision (computing)
- Boolean network (physics)
C
- Canon (basic principle) (philosophy)
- Canonical normal form (computing)
- Circumscription (taxonomy) (philosophy)
- Classical logic (philosophy)
- Colorless green ideas sleep furiously (philosophy)
- Composition of Causes (philosophy)
- Concatenation theory (philosophy)
- Conceptions of logic (philosophy)
- Condensed detachment (philosophy)
- Conditional proof (computing)
- Conflation (philosophy)
- Counterexample (computing)
- Counterintuitive (philosophy)
- Cratylism (philosophy)
D
- Deductive reasoning (computing)
- Defeasible reasoning (computing)
- Definable set (computing)
- Degree of truth (computing)
- Denying the antecedent (computing)
- Diagrammatic reasoning (computing)
- Dialectica space (computing)
- Dialogical logic (philosophy)
- Dichotomy (computing)
- Difference (philosophy)
- Digital timing diagram (computing)
- Discourse representation theory (philosophy)
- Don't-care term (philosophy)
- Drools (philosophy)
E
- Embedded dependency (computing)
- Empty name (philosophy)
- Enumerative definition (philosophy)
- Equality-generating dependency (computing)
- Erotetics (philosophy)
- Existential graph (computing)
- Extensional and intensional definitions (philosophy)
- Extensional context (philosophy)
- Extensionalism (philosophy)
F
- Finite model property (philosophy)
- Finite-valued logic (philosophy)
- Fluidics (physics)
- Focused proof (computing)
- Formal ontology (computing)
- Forward chaining (computing)
- Freethought (philosophy)
G
- The Game of Logic (philosophy)
- Graphoid (computing)
H
- Herbrandization (philosophy)
- History of logic (philosophy)
- HPO formalism (physics)
- Hurford disjunction (philosophy)
I
- Imperative logic (philosophy)
- Inclusion (logic) (philosophy)
- Infinite-valued logic (philosophy)
- Informal logic (philosophy)
- InRule Technology (company)
- International Wittgenstein Symposium (organization)
- Inverse consequences (computing)
L
- Language, Proof and Logic (philosophy)
- Law of identity (philosophy)
- Lewis's triviality result (computing)
- Lexical definition (philosophy)
- Linear logic (computing)
- Logic and dialectic (philosophy)
- Logic and rationality (philosophy)
- Logic of argumentation (philosophy)
- Logic of class (philosophy)
- Logic of information (computing)
- Logic programming (computing)
- Logical abacus (computing)
- Logical determinism (philosophy)
- Logical extreme (philosophy)
- Logical harmony (philosophy)
- Logical intuition (philosophy)
- Logical pluralism (philosophy)
- Logical reasoning (philosophy)
- Logos (philosophy)
- Loosely associated statements (philosophy)
M
- Markov's principle (computing)
- Mathematicism (philosophy)
- Metamathematics (computing)
- Mind (philosophy)
- Modal logic (computing)
- Morton's fork (philosophy)
- Multiple-conclusion logic (philosophy)
- Münchhausen trilemma (computing)
- Mutual exclusivity (computing)
- Mutual knowledge (logic) (philosophy)
N
- Narrative logic (computing)
- Natural kind (philosophy)
- Neutrality (philosophy)
- Non-classical logic (philosophy)
- Non-monotonic logic (philosophy)
- Nonfirstorderizability (philosophy)
- Noogenesis (philosophy)
- Normal form (natural deduction) (philosophy)
O
- Object of the mind (philosophy)
- Ontological commitment (philosophy)
- Original proof of Gödel's completeness theorem (computing)
- Ostensive definition (philosophy)
P
- Panlogism (philosophy)
- Penrose–Lucas argument (computing)
- Per fas et nefas (philosophy)
- Persuasive definition (philosophy)
- Philosophical analysis (philosophy)
- Philosophy of logic (philosophy)
- Polarity item (philosophy)
- Post's lattice (computing)
- Pragmatic mapping (computing)
- Pragmatic maxim (philosophy)
- Pragmatic theory of truth (philosophy)
- Principle of bivalence (computing)
- Principle of nonvacuous contrast (philosophy)
- Propositional representation (philosophy)
Q
- Quantifier (logic) (philosophy)
- Quantization (linguistics) (philosophy)
R
- Reactive synthesis (computing)
- Reason (philosophy)
- Regular modal logic (philosophy)
- Relevance (computing)
- Rival conceptions of logic (philosophy)
S
- Segment addition postulate (computing)
- Self-reference (computing)
- Self-refuting idea (philosophy)
- Ship of Theseus (computing)
- Simple non-inferential passage (philosophy)
- Situational analysis (computing)
- Situational logic (computing)
- Social software (social procedure) (philosophy)
- Soku hi (philosophy)
- Specialization (logic) (philosophy)
- Speculative reason (philosophy)
- Superassertibility (philosophy)
- Superassertible (philosophy)
T
- Tacit assumption (philosophy)
- Testability (philosophy)
- Tetralemma (computing)
- Theoretical definition (computing)
- Topical logic (philosophy)
- Train of thought (philosophy)
- Transferable belief model (computing)
- Trikonic (philosophy)
- Truth-bearer (philosophy)
- Tuple-generating dependency (computing)
U
- Universal logic (philosophy)
- Unspoken rule (philosophy)
V
- Vacuous truth (computing)
- Vagrant predicate (philosophy)
- Vaisheshika (philosophy)
- Valuation-based system (philosophy)
- Vector logic (computing)
W
- Warrant (logic) (philosophy)
- What the Tortoise Said to Achilles (computing)
- Window operator (philosophy)
- Witness (mathematics) (computing)
- World Logic Day (philosophy)
Z
- Zhegalkin polynomial (computing)
Mathematics
Organizations
Books
About