Category:Logic

From Wikipedia, the free encyclopedia

For Wikipedian collaboration on this topic, see the Logic WikiProject.

Logic Portal

Articles and media on this topic in other Wikimedia projects can be found at: Commons Category Logic

The main article for this category is Logic.

See table of logic symbols for explanations of symbols used in logic.

Contents	Top  ·  0-9  ·  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Article· Portal· Category · Task force· Stubs· Stubs· Deletion· Noticeboard· New articles

Philosophy Core areas: Aesthetics · Epistemology · Metaphysics · Logic · Social and political · Ethics Major fields: Philosophy of mind · Philosophy of science · Philosophy of language · Philosophy of religion Traditions: Continental · Analytic · Marxism · Anarchism · Eastern Periods: Ancient · Medieval · Modern · Contemporary

(previous 200) (next 200)

Subcategories

This category has the following 7 subcategories, out of 31 total.

A Arguments B Logic books

B cont. Buddhist logic D Dichotomies F Fuzzy logic

H History of logic L Latin logical phrases

Pages in category "Logic"

The following 192 pages are in this category, out of 367 total. Updates to this list can occasionally be delayed for a few days.

List of topics in logic Mutually exclusive events Logic List of basic topics in logic Portal:Logic A A fortiori argument Abacus logic Abductive reasoning Accessibility relation Ad captandum Affine logic Affirming the consequent Algebraic logic Analogy Anangeon Antecedent (logic) Antepredicament Antinomy Apodicticity Apophasis Argument Argument map Argumentation theory Ariadne's thread (logic) As I Was Going to St Ives Assertoric Association for Symbolic Logic Atomic action Atomic sentence Axiom Axiom independence B Barbershop paradox Barcan formula Belief revision Biconditional elimination Biconditional introduction Boolean algebra (introduction) Boolean algebra (logic) Boolean logic Boolean network Burden of proof C Canonical form Case analysis Catch-22 (logic) Chicken or the egg Chu space Classical logic Classical modal logic Clause (logic) Cogency Cointerpretability Colorless green ideas sleep furiously Combinational logic Common knowledge (logic) Common sense Commutativity of conjunction Comparability Composition of Causes Composition of relations Computability logic Concept Condensed detachment Condition of possibility Conditional disjunction

C cont. Conditional proof Conditional quantifier Conflation Conjunction introduction Conjunctive normal form Connexive logic Connotation Consensus theorem Consequent Consequentia mirabilis Constructive dilemma Continuous predicate Contradiction Contraposition Contraposition (traditional logic) Conversion (logic) Cotolerant sequence Counter-intuitive Counterexample Counterfactual conditional Counterpart theory Credibility Critical thinking Cumulativity Curry's paradox Cyclic negation D De Morgan's laws Decision problem Deduction theorem Deductive closure Deductive reasoning Defeasible logic Defeasible reasoning Definitions of Logic Degree of truth Denying the antecedent Description logic Deviant logic Diagrammatic reasoning Dialectica space Dichotomy Dictum de omni et nullo Difference (philosophy) Digital timing diagram Disjunction elimination Disjunction introduction Distribution of terms Distribution rule Don't-care (logic) Double negative Double negative elimination Downward entailing Doxa Doxastic logic Drinker paradox Dynamic logic E Empty name End term Entailment Entitative graph Enumerative definition Epistemic possibility Equisatisfiability Eristic Erotetics

E cont. Exclusive Exclusive or Existential graph Existential quantification Explanandum Explanation Extension (predicate logic) Extensional context Extensional definition F Faceted boolean query Fallacies of definition Fallacy of distribution Fallacy of four terms Finite model property Fitch's paradox of knowability Fitch-style calculus Fluidics Formal epistemology Formal fallacy Formal semantics Formalism (philosophy) Forward chaining Forward thinking Free variables and bound variables Function and Concept Functional completeness Functional decomposition G Gain (information retrieval) Game semantics Generalization Generalized quantifier Grelling–Nelson paradox H HPO formalism Haecceity Herbrandization History of logic Hume's principle Hypostatic abstraction I Idempotency of entailment If and only if Inconsistent triad Indicative conditional Indirect self-reference Inductive reasoning Inference Informal fallacy Informal logic Inquiry Insolubilia Intended interpretation Intension Intensional definition Intensional fallacy Intensional logic Intensional statement Is logic empirical? Isagoge J Jacobus Naveros Just-so story L Law of excluded middle Law of identity Law of noncontradiction Law of thought

Media in category "Logic"

This category contains only the following file.

Square of Opposition... 54,540 bytes

(previous 200) (next 200)

Categories: Abstraction | Branches of philosophy | Formal sciences | Mathematics | Interdisciplinary fields

Views

• Category
• Discussion
• Current revision

Navigation

• Main Page
• Contents
• Featured content
• Current events

Interaction

• About Wikipedia
• Community portal
• Recent changes
• Contact Wikipedia
• Donate to Wikipedia
• Help

Search

Languages

• Afrikaans
• العربية
• Aragonés
• Asturianu
• Azərbaycan
• Беларуская (тарашкевіца)
• Bosanski
• Български
• Català
• Česky
• Dansk
• Deutsch
• Eesti
• Ελληνικά
• Español
• Esperanto
• فارسی
• Français
• 한국어
• Hrvatski
• Ido
• Bahasa Indonesia
• Interlingua
• Íslenska
• Italiano
• עברית
• ქართული
• Latina
• Latviešu
• Lëtzebuergesch
• Lietuvių
• Magyar
• Македонски
• Nederlands
• 日本語
• ‪Norsk (bokmål)‬
• Novial
• Polski
• Português
• Română
• Русский
• Simple English
• Slovenčina
• Slovenščina
• Српски / Srpski
• Srpskohrvatski / Српскохрватски
• Suomi
• Svenska
• Tagalog
• Tiếng Việt
• Türkçe
• Українська
• ייִדיש
• 中文

• This page was last modified 20:29, 2 June 2008 by Wikipedia user Jmendez. Based on work by Wikipedia user(s) Mdd, Xp54321, AkhtaBot, BOTarate, Treisijs, VolkovBot, Mattisse, El bot de la dieta, MalafayaBot, Bjankuloski06en, Ap4k, Christos Vittoratos, Gregbard, Soman, Mikkalai, Yidisheryid, Anarchia, TXiKiBoT, JAnDbot, Ivan Bajlo, Bluemask, DHN-bot, Martynas Patasius, Escarbot, Gilliam, Tsca.bot, Mathbot, PorthosBot, EugeneZelenko, Bears16, Go for it!, Matt Crypto, Jumbuck, YurikBot, HenkvD, Chira, Mintleaf, Ancheta Wis, Joanjoc, Chalst, Ruud Koot, Yekrats, Romanm, Slipstream@npj, Elwikipedista, Oleg Alexandrov, Burn, Brianjd, Bill Thayer, Gubbubu, Mormegil, Siroxo, Danakil, Lexor, Marc Venot, HamYoyo, Dysprosia and Dominus and Anonymous user(s) of Wikipedia.
• All text is available under the terms of the GNU Free Documentation License. (See Copyrights for details.)
  Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc., a U.S. registered 501(c)(3) tax-deductible nonprofit charity.
  
• About Wikipedia
• Disclaimers

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu -