Category:Logic
![]() | Computing portal |
Here is a list of articles in the Logic category of the Computing portal that unifies foundations of mathematics and computations using computers. Template:Category-Logic/header
Template:Category tree
![]() | 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 182 pages are in this category, out of 182 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
- Analysis (philosophy)
- Antepredicament (philosophy)
- Apophasis (philosophy)
- Arationality (philosophy)
- Argument map (computing)
- Argumentation theory (philosophy)
- Ariadne's thread (logic) (philosophy)
- Aristotelianism (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)
- Critical thinking (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)
- 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)
- 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)
I
- Idea (philosophy)
- Identity (philosophy)
- Identity of indiscernibles (philosophy)
- Imperative logic (philosophy)
- Inclusion (logic) (philosophy)
- Infinite-valued logic (philosophy)
- Informal logic (philosophy)
- InRule Technology (company)
- Intellect (philosophy)
- Intellectualism (philosophy)
- Intension (philosophy)
- 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)
- Normal form (natural deduction) (philosophy)
O
- Object of the mind (philosophy)
- Occam's razor (philosophy)
- Ontological commitment (philosophy)
- Original proof of Gödel's completeness theorem (computing)
- Ostensive definition (philosophy)
P
- Panlogism (philosophy)
- Paradox (philosophy)
- Penrose–Lucas argument (computing)
- Per fas et nefas (philosophy)
- Perception (philosophy)
- Persuasive definition (philosophy)
- Philosophy of logic (philosophy)
- Point of view (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)
- Principle of sufficient reason (philosophy)
- Propositional representation (philosophy)
Q
- Quantifier (logic) (philosophy)
- Quantization (linguistics) (philosophy)
R
- Rationality (philosophy)
- Reactive synthesis (computing)
- Reality (philosophy)
- 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) (computing)
- 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)
Z
- Zhegalkin polynomial (computing)