CINXE.COM

<!DOCTYPE html> <html class="client-nojs" lang="en" dir="ltr"> <head> <meta charset="UTF-8"/> <title>Logic - RationalWiki</title> <script>document.documentElement.className="client-js";RLCONF={"wgBreakFrames":!1,"wgSeparatorTransformTable":["",""],"wgDigitTransformTable":["",""],"wgDefaultDateFormat":"dmy","wgMonthNames":["","January","February","March","April","May","June","July","August","September","October","November","December"],"wgRequestId":"Z-Nbo3bZmHn-NJO1YWQ-MgAAAIw","wgCSPNonce":!1,"wgCanonicalNamespace":"","wgCanonicalSpecialPageName":!1,"wgNamespaceNumber":0,"wgPageName":"Logic","wgTitle":"Logic","wgCurRevisionId":2671248,"wgRevisionId":2671248,"wgArticleId":6789,"wgIsArticle":!0,"wgIsRedirect":!1,"wgAction":"view","wgUserName":null,"wgUserGroups":["*"],"wgCategories":["Pages using DynamicPageList parser function","Articles with unsourced statements","Significantly problematic articles","Logic"],"wgPageContentLanguage":"en","wgPageContentModel":"wikitext","wgRelevantPageName":"Logic","wgRelevantArticleId":6789,"wgIsProbablyEditable":!0,"wgRelevantPageIsProbablyEditable":!0, "wgRestrictionEdit":[],"wgRestrictionMove":[],"wgRedirectedFrom":"Logical","wgMediaViewerOnClick":!0,"wgMediaViewerEnabledByDefault":!0,"wgInternalRedirectTargetUrl":"/wiki/Logic"};RLSTATE={"site.styles":"ready","noscript":"ready","user.styles":"ready","user":"ready","user.options":"loading","ext.cite.styles":"ready","ext.math.styles":"ready","skins.vector.styles.legacy":"ready","mediawiki.toc.styles":"ready"};RLPAGEMODULES=["mediawiki.action.view.redirect","ext.cite.ux-enhancements","ext.math.scripts","site","mediawiki.page.startup","mediawiki.page.ready","mediawiki.toc","skins.vector.legacy.js","ext.gadget.ReferenceTooltips","mmv.head","mmv.bootstrap.autostart"];</script> <script>(RLQ=window.RLQ||[]).push(function(){mw.loader.implement("user.options@1hzgi",function($,jQuery,require,module){/*@nomin*/mw.user.tokens.set({"patrolToken":"+\\","watchToken":"+\\","csrfToken":"+\\"}); });});</script> <link rel="stylesheet" href="/w/load.php?lang=en&modules=ext.cite.styles%7Cext.math.styles%7Cmediawiki.toc.styles%7Cskins.vector.styles.legacy&only=styles&skin=vector"/> <script async="" src="/w/load.php?lang=en&modules=startup&only=scripts&raw=1&skin=vector"></script> <meta name="ResourceLoaderDynamicStyles" content=""/> <link rel="stylesheet" href="/w/load.php?lang=en&modules=site.styles&only=styles&skin=vector"/> <meta name="generator" content="MediaWiki 1.35.6"/> <meta name="description" content="Logic is the formal study, and use, of the interrelationship between statements in order to determine whether arguments yield useful, coherent, and correct results, or bullshit.&#91;1&#93;"/> <link rel="alternate" type="application/x-wiki" title="Edit" href="/w/index.php?title=Logic&action=edit"/> <link rel="edit" title="Edit" href="/w/index.php?title=Logic&action=edit"/> <link rel="shortcut icon" href="/favicon.ico"/> <link rel="search" type="application/opensearchdescription+xml" href="/w/opensearch_desc.php" title="RationalWiki (en)"/> <link rel="EditURI" type="application/rsd+xml" href="https://rationalwiki.org/w/api.php?action=rsd"/> <link rel="license" href="/wiki/RationalWiki:Copyrights"/> <link rel="alternate" type="application/atom+xml" title="RationalWiki Atom feed" href="/w/index.php?title=Special:RecentChanges&feed=atom"/> <link rel="canonical" href="https://rationalwiki.org/wiki/Logic"/> <meta property="og:type" content="article"/> <meta property="og:site_name" content="RationalWiki"/> <meta property="og:title" content="Logic"/> <meta property="og:description" content="Logic is the formal study, and use, of the interrelationship between statements in order to determine whether arguments yield useful, coherent, and correct results, or bullshit.&#91;1&#93;"/> <meta property="og:url" content="https://rationalwiki.org/wiki/Logic"/>  </head> <body class="mediawiki ltr sitedir-ltr mw-hide-empty-elt ns-0 ns-subject mw-editable page-Logic rootpage-Logic skin-vector action-view minerva--history-page-action-enabled skin-vector-legacy"> <div id="mw-page-base" class="noprint"></div> <div id="mw-head-base" class="noprint"></div> <div id="content" class="mw-body" role="main"> <a id="top"></a> <div id="siteNotice" class="mw-body-content"><div id="localNotice" lang="en" dir="ltr"><div id="2025_RationalWiki_.27Oregon_Plan.27_Fundraiser"> <table role="presentation" style="margin: 1em auto 1em auto; width: 100%;"> <tbody><tr> <td style="width: 60%; text-align: left;"><big><center><b><a href="/wiki/RationalWiki:Fundraiser" title="RationalWiki:Fundraiser">2025 RationalWiki 'Oregon Plan' Fundraiser</a></b></center></big> <p><b>There is no RationalWiki without you.</b> We are a small non-profit with no staff—we are hundreds of volunteers who document pseudoscience and crankery around the world every day. We will never allow ads because we must remain independent. We cannot rely on big donors with corresponding big agendas. We are not the largest website around, but <a href="/wiki/RationalWiki:Fundraiser" title="RationalWiki:Fundraiser">we believe we play an important role in defending truth and objectivity</a>. </p> </td> <td style="width: 40%; text-align: center;"><big><b><a href="/wiki/RationalWiki:Fundraiser" title="RationalWiki:Fundraiser">Fighting pseudoscience isn't free</a>.<br />We are 100% user-supported! Help and donate $5, $10, $20 or whatever you can today with <img alt="PayPal Logo.png" src="/w/images/thumb/f/fb/PayPal_Logo.png/61px-PayPal_Logo.png" decoding="async" width="61" height="17" srcset="/w/images/thumb/f/fb/PayPal_Logo.png/92px-PayPal_Logo.png 1.5x, /w/images/thumb/f/fb/PayPal_Logo.png/122px-PayPal_Logo.png 2x" data-file-width="883" data-file-height="244" />!</b></big><a href="https://www.paypal.com/donate/?hosted_button_id=67BJMQC85CUFW" title="Donate via PayPal" rel="nofollow"><img alt="" src="/w/images/thumb/1/10/DonateButton.png/100px-DonateButton.png" decoding="async" width="100" height="32" srcset="/w/images/thumb/1/10/DonateButton.png/150px-DonateButton.png 1.5x, /w/images/thumb/1/10/DonateButton.png/200px-DonateButton.png 2x" data-file-width="759" data-file-height="241" /></a> </td></tr></tbody></table> <div role="progressbar" style="width: 100%; border: 2px solid black; position: relative; padding: 2px; border-radius: 18px;"> <a href="/wiki/RationalWiki:Fundraiser" title="RationalWiki:Fundraiser"><span style="text-shadow: -1px -1px 0 #FFFFFF, 1px -1px 0 #FFFFFF, -1px 1px 0 #FFFFFF, 1px 1px 0 #FFFFFF; color: black; font-size: 125%; position: absolute; left: 0%; margin: 0 0 0 10px"><b>Donations so far: $8765.50</b></span></a><a href="/wiki/RationalWiki:Fundraiser" title="RationalWiki:Fundraiser"><span style="text-shadow: -1px -1px 0 #FFFFFF, 1px -1px 0 #FFFFFF, -1px 1px 0 #FFFFFF, 1px 1px 0 #FFFFFF; color: black; font-size: 125%; position: absolute; right: 0%; margin: 0 10px 0 0"><b>Goal: $10000</b></span></a><div style="height: 28px; border-radius: 14px; background-color: hsl(70.124,100%,45%); width: 87.655%;"></div> </div></div></div></div> <div class="mw-indicators mw-body-content"> <div id="mw-indicator-significantly_problematic" class="mw-indicator"><a href="/wiki/Category:Significantly_problematic_articles" title="Category:Significantly problematic articles"><img alt="Significantly problematic article" src="/w/images/thumb/9/9f/Jellybrain.png/25px-Jellybrain.png" decoding="async" width="25" height="25" style="vertical-align: baseline" srcset="/w/images/thumb/9/9f/Jellybrain.png/38px-Jellybrain.png 1.5x, /w/images/thumb/9/9f/Jellybrain.png/50px-Jellybrain.png 2x" data-file-width="800" data-file-height="800" /></a></div> </div> <h1 id="firstHeading" class="firstHeading" lang="en">Logic</h1> <div id="bodyContent" class="mw-body-content"> <div id="siteSub" class="noprint">From RationalWiki</div> <div id="contentSub"><span class="mw-redirectedfrom">(Redirected from <a href="/w/index.php?title=Logical&redirect=no" class="mw-redirect" title="Logical">Logical</a>)</span></div> <div id="contentSub2"></div> <div id="jump-to-nav"></div> <a class="mw-jump-link" href="#mw-head">Jump to navigation</a> <a class="mw-jump-link" href="#searchInput">Jump to search</a> <div id="mw-content-text" lang="en" dir="ltr" class="mw-content-ltr"><div class="mw-parser-output"><table class="infobox" cellpadding="1" cellspacing="0" style="float: right; margin: 0 0 0.5em 0.5em; text-align:left; border: 1px solid #009761; width:175px;"> <tbody><tr> <td style="font-size: 95%; text-align:center; color:White; background-color:#009761"><b>Cogito ergo sum</b><br /><a class="mw-selflink selflink"><font size="4" color="White"><b>Logic and rhetoric</b></font></a> </td></tr> <tr> <td style="background-color:#FFFFFF;" align="center"><a href="/wiki/Category:Logic" title="Category:Logic"><img alt="Icon logic.svg" src="/w/images/thumb/9/99/Icon_logic.svg/100px-Icon_logic.svg.png" decoding="async" width="100" height="100" srcset="/w/images/thumb/9/99/Icon_logic.svg/150px-Icon_logic.svg.png 1.5x, /w/images/thumb/9/99/Icon_logic.svg/200px-Icon_logic.svg.png 2x" data-file-width="200" data-file-height="200" /></a> </td></tr> <tr> <td style="font-size: 95%; color:White; background-color:#009761; text-align:center;"><b>Key articles</b> </td></tr> <tr> <td style="font-size: 95%; background-color:#FFFFFF;"> <ul><li><a href="/wiki/Logical_fallacy" title="Logical fallacy">Logical fallacy</a></li> <li><a href="/wiki/Syllogism" title="Syllogism">Syllogism</a></li> <li><a href="/wiki/Argument" title="Argument">Argument</a></li></ul> </td></tr> <tr> <td style="font-size: 95%; color:White; background-color:#009761; text-align:center;"><b>General logic</b> </td></tr> <tr> <td style="font-size: 95%; background-color:#FFFFFF;"> <ul><li><a href="/wiki/Quote_mining" title="Quote mining">Quote mining</a></li> <li><a href="/wiki/Equivocation" title="Equivocation">Equivocation</a></li> <li><a href="/wiki/Quidquid_latine_dictum_sit,_altum_videtur" title="Quidquid latine dictum sit, altum videtur">Quidquid latine dictum sit, altum videtur</a></li> <li><a href="/wiki/Appeal_to_fear" title="Appeal to fear">Appeal to fear</a></li> <li><a href="/wiki/Authenticity_of_divine_revelation" title="Authenticity of divine revelation">Authenticity of divine revelation</a></li> <li><a href="/wiki/%D8%B3%D9%81%D8%B3%D8%B7%D9%87%E2%80%8C%DB%8C_%D8%AD%D8%AF_%D9%88%D8%B3%D8%B7" title="سفسطه‌ی حد وسط">سفسطه‌ی حد وسط</a></li></ul> </td></tr> <tr> <td style="font-size: 95%; color:White; background-color:#009761; text-align:center;"><b>Bad logic</b> </td></tr> <tr> <td style="font-size: 95%; background-color:#FFFFFF;"> <ul><li><a href="/wiki/Self-refuting_idea" title="Self-refuting idea">Self-refuting idea</a></li> <li><a href="/wiki/Chewbacca_Defense" title="Chewbacca Defense">Chewbacca Defense</a></li> <li><a href="/wiki/Ham_Hightail" title="Ham Hightail">Ham Hightail</a></li> <li><a href="/wiki/Flying_carpet_fallacy" title="Flying carpet fallacy">Flying carpet fallacy</a></li> <li><a href="/wiki/Gambler%27s_fallacy" title="Gambler's fallacy">Gambler's fallacy</a></li> <li><a href="/wiki/Evid%C3%AAncia_suprimida" title="Evidência suprimida">Evidência suprimida</a></li></ul> <div class="vte plainlinks" style="font-size:smaller; text-align:center;"><a href="/wiki/Template:Logicnav" title="Template:Logicnav">v</a> - <a href="/wiki/Template_talk:Logicnav" title="Template talk:Logicnav">t</a> - <a rel="nofollow" class="external text" href="https://rationalwiki.org/w/index.php?title=Template:Logicnav&action=edit">e</a></div> </td></tr></tbody></table> <table class="messagebox mb-brainwatermark mb-warning-orange" style=""> <tbody><tr> <td class="mb-image"><a href="/wiki/File:Warning_icon_orange.svg" class="image"><img alt="Warning icon orange.svg" src="/w/images/thumb/4/4f/Warning_icon_orange.svg/50px-Warning_icon_orange.svg.png" decoding="async" width="50" height="50" srcset="/w/images/thumb/4/4f/Warning_icon_orange.svg/75px-Warning_icon_orange.svg.png 1.5x, /w/images/thumb/4/4f/Warning_icon_orange.svg/100px-Warning_icon_orange.svg.png 2x" data-file-width="400" data-file-height="400" /></a> </td> <td class="mb-text"><b>This page contains too many unsourced statements and needs to be improved</b>. <hr /> <p><b>Logic</b> could use some help. Please research the article's assertions. Whatever is credible should be sourced, and what is not should be removed. </p> </td></tr></tbody></table> <p><br /> </p> <table style="margin: auto; border-collapse:collapse; border-style:none; background-color:transparent;" class="cquote"> <tbody><tr> <td><div style="padding:4px 50px;position:relative;"><span style="position:absolute;left:10px;top:-6px;z-index:1;font-family:'Times New Roman',serif;font-weight:bold;color:#B2B7F2;font-size:36px">“</span><span style="position:absolute;right:10px;bottom:-20px;z-index:1;font-family:'Times New Roman',serif;font-weight:bold;color:#B2B7F2;font-size:36px">”</span>Logic, my dear Zoe, merely enables one to be wrong with authority.</div> </td></tr> <tr> <td style="padding:4px 10px 8px;font-size:smaller;line-height:1.6em;text-align:right;"><cite style="font-style:normal;position:relative;z-index:2">—The Doctor, <i>Doctor Who</i> ("The Wheel in Space")</cite> </td></tr></tbody></table> <div class="thumb tright"><div class="thumbinner" style="width:302px;"><a href="/wiki/File:Argument_terminology_used_in_logic_(en).svg" class="image"><img alt="Argument terminology used in logic (en).svg" src="https://upload.wikimedia.org/wikipedia/commons/thumb/a/a4/Argument_terminology_used_in_logic_%28en%29.svg/330px-Argument_terminology_used_in_logic_%28en%29.svg.png" decoding="async" width="300" height="212" class="thumbimage" srcset="https://upload.wikimedia.org/wikipedia/commons/thumb/a/a4/Argument_terminology_used_in_logic_%28en%29.svg/500px-Argument_terminology_used_in_logic_%28en%29.svg.png 1.5x, https://upload.wikimedia.org/wikipedia/commons/thumb/a/a4/Argument_terminology_used_in_logic_%28en%29.svg/960px-Argument_terminology_used_in_logic_%28en%29.svg.png 2x" data-file-width="1052" data-file-height="744" /></a> <div class="thumbcaption"><div class="magnify"><a href="/wiki/File:Argument_terminology_used_in_logic_(en).svg" class="internal" title="Enlarge"></a></div></div></div></div> <p>Logic is the formal study, and use, of the interrelationship between statements in order to determine whether <a href="/wiki/Argument" title="Argument">arguments</a> yield useful, coherent, and correct results, or <a href="/wiki/Bullshit" title="Bullshit">bullshit</a>.<sup id="cite_ref-1" class="reference"><a href="#cite_note-1">[1]</a></sup> </p><p>Logic is a useful guide to thinking, as it is neutral to properties of things and focuses only on their relationships and what that implies. It is easy when examining a matter to get distracted by what pleases you about it or by the positive social effects believing in a statement's truth might have. Logic abstracts from contents that would make one think that way and can therefore direct our thoughts and others in <a href="/wiki/Truth" title="Truth">a more helpful direction</a>. </p><p>A logical argument has а conclusion which follows from its premises. Arguments come in two types, deductive and inductive. </p><p>In a good inductive argument, the truth of the premises renders the conclusion likely, though not certain. Such an argument is described as strong. But further evidence could be added which would weaken an inductive argument so that even if the premises were true, the conclusion would no longer be likely. </p> <div class="thumb tright"><div class="thumbinner" style="width:302px;"><a href="/wiki/File:Epistemology.png" class="image"><img alt="Epistemology.png" src="https://upload.wikimedia.org/wikipedia/commons/thumb/c/cf/Epistemology.png/300px-Epistemology.png" decoding="async" width="300" height="130" class="thumbimage" srcset="https://upload.wikimedia.org/wikipedia/commons/thumb/c/cf/Epistemology.png/450px-Epistemology.png 1.5x, https://upload.wikimedia.org/wikipedia/commons/thumb/c/cf/Epistemology.png/600px-Epistemology.png 2x" data-file-width="677" data-file-height="294" /></a> <div class="thumbcaption"><div class="magnify"><a href="/wiki/File:Epistemology.png" class="internal" title="Enlarge"></a></div></div></div></div> <p>In a good deductive argument, the truth of the premises guarantees the truth of the conclusion.<sup id="cite_ref-2" class="reference"><a href="#cite_note-2">[2]</a></sup> Such an argument is <a href="/wiki/Logical_validity" class="mw-redirect" title="Logical validity">valid</a>. It is impossible for the conclusion of a valid argument to be false if the premises are true. No matter what other facts crop up, the premises entail the conclusion; a valid argument is thus a good deal more powerful than a merely inductively strong one. What you're really after, though, is a <i>sound</i> argument: a valid argument with premises that actually <i>are</i> true. Since true premises guarantee a true conclusion in a valid argument, and the premises are true, the conclusion of a sound argument is true as well.<sup id="cite_ref-3" class="reference"><a href="#cite_note-3">[note 1]</a></sup> </p><p>The validity of an argument is determined by its structure. Where the argument <i>structure</i> breaks down is known as a formal <a href="/wiki/Logical_fallacy" title="Logical fallacy">logical fallacy</a>. Of course, arguments can have other problems, like false or misleading premises. Within particular contexts, where some particular issue is under scrutiny, arguments might also fall short by missing the point. Such errors are <i>informal</i>, and are sometimes colloquially referred to as informal fallacies. Importantly, even arguments with no true premises can be deductively valid. Such arguments have a solid logical structure and can make interesting hypothetical cases, or they can just be <a href="/wiki/Not_even_wrong" title="Not even wrong">not even wrong</a>. </p><p>Traditional (Aristotelian) and classical logic share an operating assumption that all statements which aren't <a href="/wiki/Not_even_wrong" title="Not even wrong">nonsense</a> are either true or false. For instance, 2 + 2 = 4 is true, 3 - 7 = 84.6 is false. Various non-classical systems of logic include further possible <i>truth values</i> for statements. This isn't entirely as ludicrous as it sounds (contrast with <a href="/wiki/Paraconsistent_logic" title="Paraconsistent logic">paraconsistent logic</a>); for example, three-valued logic poses three states of "true", "false", and "unknown". Other extensions suggest that there are (technically) infinite states, as in <a href="/wiki/Fuzzy_logic" title="Fuzzy logic">fuzzy logic</a>, where a proposition has specific degrees of truth represented by real number values between 0 and 1 (inclusive). However, fuzzy logic should not be confused with probability. Though fuzzy truth values and probability values are real numbers in [0,1], and both fuzzy logic and <a href="/wiki/Bayesian" title="Bayesian">Bayesianism</a> can be used as tools for inductive reasoning, fuzzy logic employs <i>truth functional</i> connectives, whereas probability does not. To say that a connective is truth functional means that the truth values of compound statements employing the connective, like 'or' in 'The ball is blue or it is orange' are functions of the truth values of their component propositions (here, 'The ball is blue' and 'The ball is orange'). For any given connective, the function is always the same. In contrast, the probability of a disjunction P(A or B) is not a straightforward function of the probabilities of its disjuncts P(A) and P(B); it also depends on whether A and B are independent.<sup id="cite_ref-4" class="reference"><a href="#cite_note-4">[note 2]</a></sup> </p> <div id="toc" class="toc" role="navigation" aria-labelledby="mw-toc-heading"><input type="checkbox" role="button" id="toctogglecheckbox" class="toctogglecheckbox" style="display:none" /><div class="toctitle" lang="en" dir="ltr"><h2 id="mw-toc-heading">Contents</h2><span class="toctogglespan"><label class="toctogglelabel" for="toctogglecheckbox"></label></span></div> <ul> <li class="toclevel-1 tocsection-1"><a href="#Formal_logic"><span class="tocnumber">1</span> <span class="toctext">Formal logic</span></a></li> <li class="toclevel-1 tocsection-2"><a href="#The_constitution_of_logic"><span class="tocnumber">2</span> <span class="toctext">The constitution of logic</span></a></li> <li class="toclevel-1 tocsection-3"><a href="#Reason_and_rhetoric"><span class="tocnumber">3</span> <span class="toctext">Reason and rhetoric</span></a></li> <li class="toclevel-1 tocsection-4"><a href="#Using_what_logic_teaches"><span class="tocnumber">4</span> <span class="toctext">Using what logic teaches</span></a></li> <li class="toclevel-1 tocsection-5"><a href="#See_also"><span class="tocnumber">5</span> <span class="toctext">See also</span></a> <ul> <li class="toclevel-2 tocsection-6"><a href="#Want_to_read_this_in_another_language.3F"><span class="tocnumber">5.1</span> <span class="toctext">Want to read this in another language?</span></a></li> </ul> </li> <li class="toclevel-1 tocsection-7"><a href="#External_links"><span class="tocnumber">6</span> <span class="toctext">External links</span></a></li> <li class="toclevel-1 tocsection-8"><a href="#Notes"><span class="tocnumber">7</span> <span class="toctext">Notes</span></a></li> <li class="toclevel-1 tocsection-9"><a href="#References"><span class="tocnumber">8</span> <span class="toctext">References</span></a></li> </ul> </div> <h2><span class="mw-headline" id="Formal_logic">Formal logic</span><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Logic&action=edit&section=1" title="Edit section: Formal logic">edit</a><span class="mw-editsection-bracket">]</span></span></h2> <p>In formal logic, any natural language used in an argument is reduced to abstract symbolism, with the results looking pretty much like equations in algebra or set theory. At its core, logic is the process of boiling down statements into pieces so that each individual step is unobjectionable. Indeed, looking at a single logical step, one might be forgiven for thinking logic is nothing more than stating the obvious, and has no practical use! Yet on another level, that is <i>exactly</i> what it is - each step is unobjectionable, but when placed together we can derive far more complicated ideas and <i>know</i> that they're right because each little jump is "obvious". This abstraction allows the clear and concise analysis of the content of the argument - i.e., not getting bogged down in things like "well it depends on what the definition of 'is' is". </p><p>A simple example would be <i>modus ponens</i>, which at a formal level is written like this (where <i>p</i> and <i>q</i> are variables ranging over propositions): </p> <dl><dd><span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle p\rightarrow q}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi>p</mi> <mo stretchy="false">→</mo> <mi>q</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle p\rightarrow q}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/4e3f9e5de9aaead8d19411bb3ad0dc490a50ec69" class="mwe-math-fallback-image-inline" aria-hidden="true" style="vertical-align: -0.671ex; margin-left: -0.089ex; width:5.942ex; height:2.176ex;" alt="{\displaystyle p\rightarrow q}"/></span></dd></dl> <dl><dd><span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle p}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi>p</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle p}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/81eac1e205430d1f40810df36a0edffdc367af36" class="mwe-math-fallback-image-inline" aria-hidden="true" style="vertical-align: -0.671ex; margin-left: -0.089ex; width:1.259ex; height:2.009ex;" alt="{\displaystyle p}"/></span></dd></dl> <dl><dd><span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \therefore q}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mo>∴</mo> <mi>q</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle \therefore q}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/58e5ae8020e5e8d92cdef9c257071ab9130a2917" class="mwe-math-fallback-image-inline" aria-hidden="true" style="vertical-align: -0.671ex; width:3.265ex; height:2.009ex;" alt="{\displaystyle \therefore q}"/></span></dd></dl> <p>Formal logic is also known as <i>symbolic logic</i> or <i>mathematical logic</i>. </p><p>Formal logic is not a single system, but rather many, with competing and contrary principles; the discipline concerns itself with studying the properties of these different logical systems, both as an end-in-itself (pure mathematics), but also to try to find which formal system best reflects our pre-existing intuitive ideas of what is "logical". </p><p>Logical systems can be distinguished on the basis of which types of statements they concern themselves with: </p> <ul><li><b>propositional calculus</b> is concerned with the relationships between propositions, but not the internal structure of those propositions</li> <li><b>predicate calculus</b> breaks propositions down into subject and predicate, and provides quantifiers (all, some). It is broken up into first-order predicate calculus, which can assert that entities have properties, but cannot talk about those assertions or properties themselves; and higher-order predicate calculus, which enables assertions to be made about propositions and predicates.</li> <li><b><a href="/wiki/Type_theory" title="Type theory">type theory</a></b> extends predicate calculus with the notion that entities belong to certain types; restrictions are imposed on what can be said about entities of different types, to avoid paradoxes such as <a href="/wiki/Russell%27s_paradox" title="Russell's paradox">Russell's paradox</a></li> <li><b><a href="/wiki/Modal_logics" title="Modal logics">modal logic</a></b> is, strictly, concerned with the notions of <i>necessity</i> and <i>possibility</i>, though the term is often used in a broader sense.<sup id="cite_ref-5" class="reference"><a href="#cite_note-5">[3]</a></sup></li> <li><b>temporal logic</b> formalizes temporal statements, and provides past, present and future tense (and aspect also)</li></ul> <p>There is one particular approach to logic which is known as <i>classical</i>, since it is the most popular approach, and the one which is generally presented first in textbooks. This approach is based on certain assumptions, such as the law of the excluded middle (everything is either true or not true, but not neither) and the law of non-contradiction (nothing can be both true and false simultaneously). Non-classical logics question some of the assumptions of classical logic: </p> <ul><li><b>non-reflexive logic</b>: allows for violations of or restrictions on the law of identity, such as <a href="https://en.wikipedia.org/wiki/Newton_da_Costa" class="extiw" title="wp:Newton da Costa" rel="nofollow"><span style="color:#477979 !important;" title="Wikipedia: Newton da Costa">Newton da Costa's</span></a><sup><img alt="" src="https://upload.wikimedia.org/wikipedia/commons/thumb/5/5a/Wikipedia%27s_W.svg/12px-Wikipedia%27s_W.svg.png" decoding="async" width="12" height="12" srcset="https://upload.wikimedia.org/wikipedia/commons/thumb/5/5a/Wikipedia%27s_W.svg/18px-Wikipedia%27s_W.svg.png 1.5x, https://upload.wikimedia.org/wikipedia/commons/thumb/5/5a/Wikipedia%27s_W.svg/24px-Wikipedia%27s_W.svg.png 2x" data-file-width="128" data-file-height="128" /></sup> "Schrödinger logics"<sup id="cite_ref-6" class="reference"><a href="#cite_note-6">[4]</a></sup></li> <li><b>substructural logic</b>: permits fewer rules of inference than those permitted in classical propositional calculus</li> <li><b><a href="/wiki/Relevance_logic" title="Relevance logic">relevance logic</a></b>: attempts to better model our informal ideas of implication, by insisting the premise must be relevant to the conclusion (a type of substructural logic)<sup id="cite_ref-7" class="reference"><a href="#cite_note-7">[5]</a></sup></li> <li><b>linear logic</b>: a system of logic based on the idea of constrained resources (a type of substructural logic)</li> <li><b>paracomplete logic</b>: denies or restricts the law of the excluded middle (every statement must be either true or not true); the chief example is intuitionistic logic, which is inspired by the mathematical movements of intuitionism/constructivism</li> <li><b>many-valued logic</b>: denies the principle of bivalence (every statement is either true or false); distinct from paracomplete logics, as many-valued logics can still validate the Law of the Excluded Middle</li> <li><b><a href="/wiki/Paraconsistent_logic" title="Paraconsistent logic">paraconsistent logic</a></b>: rejects the principle of explosion; permits valid reasoning from contradictory premises.<sup id="cite_ref-8" class="reference"><a href="#cite_note-8">[6]</a></sup> (All relevance logics are paraconsistent, but not all paraconsistent logics are relevant)</li> <li><b>infinitary logic</b>: whereas classical logic only permits finite-length propositions and finite-length proofs, infinitary logic allows propositions and proofs of infinite length</li> <li><b>quantum logic</b>: a system of logic used to reason about quantum mechanical systems</li></ul> <h2><span class="mw-headline" id="The_constitution_of_logic">The constitution of logic</span><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Logic&action=edit&section=2" title="Edit section: The constitution of logic">edit</a><span class="mw-editsection-bracket">]</span></span></h2> <p>The study of logic tries to relate formal logic to natural language argumentation. This has led to an old classification of the activities of the justification into parts, some of which are: </p> <ul><li><b>semantics</b>: The validity of an argument depends upon the meaning or semantics of the sentences that make it up</li> <li><b>inference</b>: The account of how one moves from premises to conclusions in formal and natural language argumentation</li> <li><b>logical form</b>: The identification of the kinds of inference used in argumentation and their representation in formal logic</li></ul> <p>These activities have remained part of logic since the times of <a href="/wiki/Aristotle" title="Aristotle">Aristotle</a>'s Organon, although their nature has changed during the various revolutions that have happened in the subject. </p> <h2><span class="mw-headline" id="Reason_and_rhetoric">Reason and rhetoric</span><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Logic&action=edit&section=3" title="Edit section: Reason and rhetoric">edit</a><span class="mw-editsection-bracket">]</span></span></h2> <p>Outside the academy, arguments are rarely presented in a way that can be readily formalized. This is usually because a formalized rendition makes for poor natural language, and can require stating many things considered "<a href="/wiki/A_priori" class="mw-redirect" title="A priori">obvious</a>". While there are advantages to natural language, a well-crafted presentation can obscure weak points in an argument, including both dubious premises and <a href="/wiki/Logical_fallacy" title="Logical fallacy">questionable inferences</a>. The study of logic without formalisms is known as <i>informal logic</i>. </p><p>When <i>good</i> arguments are assembled into high-quality rhetorical speech, they form robust and even brilliant presentations. When <a href="/wiki/Bullshit" title="Bullshit">poor arguments</a> are presented with skillful rhetoric, fallacious inferences can appear reasonable or be disguised. Technical jargon, for instance, can be used to conceal weak reasoning from a non-expert audience, whose members likely cannot assess the accuracy of the usage. Lots of websites are guilty of this when it comes to science, donning the metaphorical white coat to dress up <a href="/wiki/Woo" title="Woo">woo</a> arguments as though they are grounded in sound scientific fact. </p> <h2><span class="mw-headline" id="Using_what_logic_teaches">Using what logic teaches</span><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Logic&action=edit&section=4" title="Edit section: Using what logic teaches">edit</a><span class="mw-editsection-bracket">]</span></span></h2> <p>While it is often difficult to directly analyze arguments using formal techniques, it is worth the effort to try from time to time. This effort has the double reward of clarifying well and poorly constructed arguments, and reminding one how to construct a good argument oneself. A high quality argument could literally be footnoted or deconstructed in an appendix, expressing every element it contains at a formal level. </p> <h2><span class="mw-headline" id="See_also">See also</span><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Logic&action=edit&section=5" title="Edit section: See also">edit</a><span class="mw-editsection-bracket">]</span></span></h2> <ul><li><a href="/wiki/Fallacy" class="mw-redirect" title="Fallacy">Fallacy</a></li> <li><a href="/wiki/Argument" title="Argument">Argument</a></li> <li><a href="/wiki/Rhetoric" title="Rhetoric">Rhetoric</a></li> <li><a href="/wiki/Modal_logics" title="Modal logics">Modal logics</a></li></ul> <h3><span id="Want_to_read_this_in_another_language?"></span><span class="mw-headline" id="Want_to_read_this_in_another_language.3F">Want to read this in another language?</span><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Logic&action=edit&section=6" title="Edit section: Want to read this in another language?">edit</a><span class="mw-editsection-bracket">]</span></span></h3> <table> <tbody><tr> <td><div lang="fr" style="float:left; position:relative; margin:2px; padding-left:35px;"> <div style="position:absolute; top:1px; left:1px;"><img alt="" src="https://upload.wikimedia.org/wikipedia/commons/thumb/9/9b/Lang-fr.gif/30px-Lang-fr.gif" decoding="async" width="30" height="20" srcset="https://upload.wikimedia.org/wikipedia/commons/thumb/9/9b/Lang-fr.gif/45px-Lang-fr.gif 1.5x, https://upload.wikimedia.org/wikipedia/commons/thumb/9/9b/Lang-fr.gif/60px-Lang-fr.gif 2x" data-file-width="500" data-file-height="333" /></div>Si vous voulez cet article en <a href="/wiki/Category:Fran%C3%A7ais" title="Category:Français">français</a>, il peut être trouvé à <b><a href="/wiki/Logique" title="Logique">Logique</a></b>. </div><br /> </td></tr> <tr> <td><div lang="pt" style="float:left; position:relative; margin:2px; padding-left:35px;"> <div style="position:absolute; top:1px; left:1px;"><img alt="" src="https://upload.wikimedia.org/wikipedia/commons/thumb/a/a5/Lang-pt.gif/30px-Lang-pt.gif" decoding="async" width="30" height="20" srcset="https://upload.wikimedia.org/wikipedia/commons/thumb/a/a5/Lang-pt.gif/45px-Lang-pt.gif 1.5x, https://upload.wikimedia.org/wikipedia/commons/thumb/a/a5/Lang-pt.gif/60px-Lang-pt.gif 2x" data-file-width="600" data-file-height="400" /></div>Se você procura pelo artigo <a href="/wiki/Category:Portugu%C3%AAs" title="Category:Português">em Português</a>, ver <b><a href="/wiki/L%C3%B3gica" title="Lógica">Lógica</a></b>. </div><br /> </td></tr> </tbody></table> <h2><span class="mw-headline" id="External_links">External links</span><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Logic&action=edit&section=7" title="Edit section: External links">edit</a><span class="mw-editsection-bracket">]</span></span></h2> <ul><li>See the <a href="/wiki/Wikipedia" title="Wikipedia">Wikipedia</a> article on <a href="https://en.wikipedia.org/wiki/Logic" class="extiw" title="wp:Logic" rel="nofollow">Logic</a>.</li> <li><a rel="nofollow" class="external text" href="http://www.utm.edu/staff/jfieser/class/120/9-logic.htm">Logic</a>, from <i>Great Issues in Philosophy</i>, by James Fieser (University of Tennessee at Martin)</li></ul> <h2><span class="mw-headline" id="Notes">Notes</span><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Logic&action=edit&section=8" title="Edit section: Notes">edit</a><span class="mw-editsection-bracket">]</span></span></h2> <div class="references-small" style="font-size:90%;"> <div class="mw-references-wrap"><ol class="references"> <li id="cite_note-3"><span class="mw-cite-backlink"><a href="#cite_ref-3">↑</a></span> <span class="reference-text">Although colloquially we call all sorts of things "valid" to mean they make good sense, in technical logical terms, only a whole argument can be valid or invalid, not an individual statement. Validity is a property of arguments and inferences, not of statements. Likewise, although we sometimes call arguments true or false, in the jargon of formal logic only individual statements, never whole arguments, are true or false. Truth and falsity come into play with respect to arguments when we consider the property of arguments called <a href="/wiki/Soundness" class="mw-redirect" title="Soundness">soundness</a>. In short, an argument is sound if and only if it is (1) valid and (2) its premises are in fact true.</span> </li> <li id="cite_note-4"><span class="mw-cite-backlink"><a href="#cite_ref-4">↑</a></span> <span class="reference-text">These systems need not be in conflict, however. Fuzzy logic and Bayesian reasoning are tools for inductive reasoning, and the value they assign to a statement represents the confidence we should have in its truth, which is very different from its actual truth. Thus these systems assigning a partial value to a statement is compatible with the statement itself being simply true (or simply false) as traditional logic dictates.</span> </li> </ol></div></div> <h2><span class="mw-headline" id="References">References</span><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Logic&action=edit&section=9" title="Edit section: References">edit</a><span class="mw-editsection-bracket">]</span></span></h2> <div class="references-small" style="font-size:90%;"> <div class="mw-references-wrap"><ol class="references"> <li id="cite_note-1"><span class="mw-cite-backlink"><a href="#cite_ref-1">↑</a></span> <span class="reference-text"><a rel="nofollow" class="external text" href="https://www.britannica.com/topic/logic">Logic</a>, Encyclopaedia Britannica</span> </li> <li id="cite_note-2"><span class="mw-cite-backlink"><a href="#cite_ref-2">↑</a></span> <span class="reference-text">Schechter, Joshua. 2013. <a rel="nofollow" class="external text" href="https://philpapers.org/archive/SCHDR.pdf">Deductive Reasoning.</a> <i>The Encyclopedia of Mind</i>, Hal Pashler (ed.). Accessed via PhilArchive, November 2, 2023.</span> </li> <li id="cite_note-5"><span class="mw-cite-backlink"><a href="#cite_ref-5">↑</a></span> <span class="reference-text">Garson, James. <a rel="nofollow" class="external text" href="https://plato.stanford.edu/archives/spr2023/entries/logic-modal/">Modal Logic.</a> <i>The Stanford Encyclopedia of Philosophy</i> (Spring 2023 Edition), Edward N. Zalta & Uri Nodelman (eds.). Accessed November 2, 2023.</span> </li> <li id="cite_note-6"><span class="mw-cite-backlink"><a href="#cite_ref-6">↑</a></span> <span class="reference-text"><a rel="nofollow" class="external text" href="https://web.as.miami.edu/personal/obueno/Site/Online_Papers_files/LogicasNao-Reflexivas.pdf">"Lógicas não-reflexivas"</a> - from the abstract: "Non-reflexive logics are logics in which the principle of identity does not hold in general"</span> </li> <li id="cite_note-7"><span class="mw-cite-backlink"><a href="#cite_ref-7">↑</a></span> <span class="reference-text">Mares, Edwin. <a rel="nofollow" class="external text" href="https://plato.stanford.edu/archives/fall2022/entries/logic-relevance/">Relevance Logic.</a> <i>The Stanford Encyclopedia of Philosophy</i> (Fall 2022 Edition), Edward N. Zalta and Uri Nodelman (eds.). Accessed November 2, 2023.</span> </li> <li id="cite_note-8"><span class="mw-cite-backlink"><a href="#cite_ref-8">↑</a></span> <span class="reference-text">Priest, Graham, Koji Tanaka, and Zach Weber. <a rel="nofollow" class="external text" href="https://plato.stanford.edu/archives/spr2022/entries/logic-paraconsistent/">Paraconsistent Logic.</a> <i>The Stanford Encyclopedia of Philosophy</i> (Fall 2022 Edition), Edward N. Zalta (ed.). Accessed November 2, 2023.</span> </li> </ol></div></div>    </div></div><div class="printfooter">Retrieved from "<a dir="ltr" href="https://rationalwiki.org/w/index.php?title=Logic&oldid=2671248">https://rationalwiki.org/w/index.php?title=Logic&oldid=2671248</a>"</div> <div id="catlinks" class="catlinks" data-mw="interface"><div id="mw-normal-catlinks" class="mw-normal-catlinks"><a href="/wiki/Special:Categories" title="Special:Categories">Categories</a>: <ul><li><a href="/wiki/Category:Significantly_problematic_articles" title="Category:Significantly problematic articles">Significantly problematic articles</a></li><li><a href="/wiki/Category:Logic" title="Category:Logic">Logic</a></li></ul></div><div id="mw-hidden-catlinks" class="mw-hidden-catlinks mw-hidden-cats-hidden">Hidden categories: <ul><li><a href="/wiki/Category:Pages_using_DynamicPageList_parser_function" title="Category:Pages using DynamicPageList parser function">Pages using DynamicPageList parser function</a></li><li><a href="/wiki/Category:Articles_with_unsourced_statements" title="Category:Articles with unsourced statements">Articles with unsourced statements</a></li></ul></div></div> </div> </div> <div id="mw-navigation"> <h2>Navigation menu</h2> <div id="mw-head">  <nav id="p-personal" class="vector-menu" aria-labelledby="p-personal-label" role="navigation" > <h3 id="p-personal-label"> <span>Personal tools</span> </h3>  <div class="body vector-menu-content">  <ul class="vector-menu-content-list"><li id="pt-anonuserpage">Not logged in</li><li id="pt-anontalk"><a href="/wiki/Special:MyTalk" title="Discussion about edits from this IP address [n]" accesskey="n">Talk</a></li><li id="pt-anoncontribs"><a href="/wiki/Special:MyContributions" title="A list of edits made from this IP address [y]" accesskey="y">Contributions</a></li><li id="pt-createaccount"><a href="/w/index.php?title=Special:CreateAccount&returnto=Logic" title="You are encouraged to create an account and log in; however, it is not mandatory">Create account</a></li><li id="pt-login"><a href="/w/index.php?title=Special:UserLogin&returnto=Logic" title="You are encouraged to log in; however, it is not mandatory [o]" accesskey="o">Log in</a></li></ul> </div> </nav> <div id="left-navigation">  <nav id="p-namespaces" class="vector-menu vector-menu-tabs vectorTabs" aria-labelledby="p-namespaces-label" role="navigation" > <h3 id="p-namespaces-label"> <span>Namespaces</span> </h3>  <div class="body vector-menu-content">  <ul class="vector-menu-content-list"><li id="ca-nstab-main" class="selected"><a href="/wiki/Logic" title="View the content page [c]" accesskey="c">Page</a></li><li id="ca-talk"><a href="/wiki/Talk:Logic" rel="discussion" title="Discussion about the content page [t]" accesskey="t">Talk</a></li></ul> </div> </nav>  <nav id="p-variants" class="vector-menu-empty emptyPortlet vector-menu vector-menu-dropdown vectorMenu" aria-labelledby="p-variants-label" role="navigation" > <input type="checkbox" class="vector-menu-checkbox vectorMenuCheckbox" aria-labelledby="p-variants-label" /> <h3 id="p-variants-label"> <span>Variants</span> </h3>  <div class="body vector-menu-content">  <ul class="menu vector-menu-content-list"></ul> </div> </nav> </div> <div id="right-navigation">  <nav id="p-views" class="vector-menu vector-menu-tabs vectorTabs" aria-labelledby="p-views-label" role="navigation" > <h3 id="p-views-label"> <span>Views</span> </h3>  <div class="body vector-menu-content">  <ul class="vector-menu-content-list"><li id="ca-view" class="collapsible selected"><a href="/wiki/Logic">Read</a></li><li id="ca-edit" class="collapsible"><a href="/w/index.php?title=Logic&action=edit" title="Edit this page [e]" accesskey="e">Edit</a></li><li id="ca-history" class="collapsible"><a href="/w/index.php?title=Logic&action=history" title="Past revisions of this page [h]" accesskey="h">Fossil record</a></li></ul> </div> </nav>  <nav id="p-cactions" class="vector-menu-empty emptyPortlet vector-menu vector-menu-dropdown vectorMenu" aria-labelledby="p-cactions-label" role="navigation" > <input type="checkbox" class="vector-menu-checkbox vectorMenuCheckbox" aria-labelledby="p-cactions-label" /> <h3 id="p-cactions-label"> <span>More</span> </h3>  <div class="body vector-menu-content">  <ul class="menu vector-menu-content-list"></ul> </div> </nav> <div id="p-search" role="search"> <h3 > <label for="searchInput">Search</label> </h3> <form action="/w/index.php" id="searchform"> <div id="simpleSearch"> <input type="search" name="search" placeholder="Search RationalWiki" title="Search RationalWiki [f]" accesskey="f" id="searchInput"/> <input type="hidden" name="title" value="Special:Search"> <input type="submit" name="fulltext" value="Search" title="Search the pages for this text" id="mw-searchButton" class="searchButton mw-fallbackSearchButton"/> <input type="submit" name="go" value="Go" title="Go to a page with this exact name if it exists" id="searchButton" class="searchButton"/> </div> </form> </div> </div> </div> <div id="mw-panel"> <div id="p-logo" role="banner"> <a title="Visit the main page" class="mw-wiki-logo" href="/wiki/Main_Page"></a> </div>  <nav id="p-navigation" class="vector-menu vector-menu-portal portal portal-first" aria-labelledby="p-navigation-label" role="navigation" > <h3 id="p-navigation-label"> <span>Navigation</span> </h3>  <div class="body vector-menu-content">  <ul class="vector-menu-content-list"><li id="n-mainpage-description"><a href="/wiki/Main_Page" title="Visit the main page [z]" accesskey="z">Main page</a></li><li id="n-recentchanges"><a href="/wiki/Special:RecentChanges" title="A list of recent changes in the wiki [r]" accesskey="r">Recent changes</a></li><li id="n-randompage"><a href="/wiki/Special:Random" title="Load a random mainspace article [x]" accesskey="x">Random page</a></li><li id="n-New-pages"><a href="/wiki/Special:NewPages">New pages</a></li><li id="n-All-logs"><a href="/wiki/Special:Log">All logs</a></li><li id="n-help"><a href="/wiki/Help:Contents" title="RTFM">Help</a></li></ul> </div> </nav>  <nav id="p-support" class="vector-menu vector-menu-portal portal" aria-labelledby="p-support-label" role="navigation" > <h3 id="p-support-label"> <span>Support</span> </h3>  <div class="body vector-menu-content">  <ul class="vector-menu-content-list"><li id="n-Donate"><a href="/wiki/RationalWiki:Site_support">Donate</a></li></ul> </div> </nav>  <nav id="p-community" class="vector-menu vector-menu-portal portal" aria-labelledby="p-community-label" role="navigation" > <h3 id="p-community-label"> <span>Community</span> </h3>  <div class="body vector-menu-content">  <ul class="vector-menu-content-list"><li id="n-Saloon-bar"><a href="/wiki/RationalWiki:Saloon_bar">Saloon bar</a></li><li id="n-To-do-list"><a href="/wiki/RationalWiki:To_do_list">To do list</a></li><li id="n-What-is-going-on.3F"><a href="/wiki/WIGO">What is going on?</a></li><li id="n-Best-of-RationalWiki"><a href="/wiki/RationalWiki:Contents">Best of RationalWiki</a></li><li id="n-About-RationalWiki"><a href="/wiki/RationalWiki">About RationalWiki</a></li><li id="n-Technical-support"><a href="/wiki/RationalWiki:Technical_support">Technical support</a></li><li id="n-Mod-noticeboard"><a href="/wiki/RationalWiki_talk:All_things_in_moderation">Mod noticeboard</a></li><li id="n-RMF-noticeboard"><a href="/wiki/RationalWiki_talk:RationalMedia_Foundation">RMF noticeboard</a></li></ul> </div> </nav>  <nav id="p-Social media" class="vector-menu vector-menu-portal portal" aria-labelledby="p-Social media-label" role="navigation" > <h3 id="p-Social media-label"> <span>Social media</span> </h3>  <div class="body vector-menu-content">  <ul class="vector-menu-content-list"><li id="n-Twitter"><a href="https://twitter.com/RationalWiki" rel="nofollow">Twitter</a></li><li id="n-Mastodon"><a href="https://mstdn.social/@rationalwiki" rel="nofollow">Mastodon</a></li><li id="n-Facebook"><a href="https://www.facebook.com/pages/Rationalwiki/226614404019306" rel="nofollow">Facebook</a></li><li id="n-Discord"><a href="/wiki/RationalWiki:Discord">Discord</a></li><li id="n-Reddit"><a href="/wiki/RationalWiki:Reddit">Reddit</a></li></ul> </div> </nav>  <nav id="p-tb" class="vector-menu vector-menu-portal portal" aria-labelledby="p-tb-label" role="navigation" > <h3 id="p-tb-label"> <span>Tools</span> </h3>  <div class="body vector-menu-content">  <ul class="vector-menu-content-list"><li id="t-whatlinkshere"><a href="/wiki/Special:WhatLinksHere/Logic" title="A list of all wiki pages that link here [j]" accesskey="j">What links here</a></li><li id="t-recentchangeslinked"><a href="/wiki/Special:RecentChangesLinked/Logic" rel="nofollow" title="Recent changes in pages linked from this page [k]" accesskey="k">Related changes</a></li><li id="t-specialpages"><a href="/wiki/Special:SpecialPages" title="A list of all special pages [q]" accesskey="q">Special pages</a></li><li id="t-print"><a href="javascript:print();" rel="alternate" title="Printable version of this page [p]" accesskey="p">Printable version</a></li><li id="t-permalink"><a href="/w/index.php?title=Logic&oldid=2671248" title="Permanent link to this revision of the page">Permanent link</a></li><li id="t-info"><a href="/w/index.php?title=Logic&action=info" title="More information about this page">Page information</a></li></ul> </div> </nav> </div> </div> <footer id="footer" class="mw-footer" role="contentinfo" > <ul id="footer-info" > <li id="footer-info-lastmod"> This page was last edited on 23 August 2024, at 17:00.</li> <li id="footer-info-copyright">Unless explicitly noted otherwise, all content licensed as indicated by <a name="Copyright" href="//rationalwiki.org/wiki/RationalWiki:Copyrights">RationalWiki:Copyrights</a>. <br> For concerns on copyright infringement please see: <a name="Copyright infringement" href="//rationalwiki.org/wiki/RationalWiki:Copyright_violations">RationalWiki:Copyright violations</a></li> </ul> <ul id="footer-places" > <li id="footer-places-privacy"><a href="/wiki/RationalWiki:Privacy_policy" title="RationalWiki:Privacy policy">Privacy policy</a></li> <li id="footer-places-about"><a href="/wiki/RationalWiki:About" class="mw-redirect" title="RationalWiki:About">About RationalWiki</a></li> <li id="footer-places-disclaimer"><a href="/wiki/RationalWiki:General_disclaimer" title="RationalWiki:General disclaimer">Disclaimers</a></li> </ul> <ul id="footer-icons" class="noprint"> <li id="footer-copyrightico"><a href="https://creativecommons.org/licenses/by-sa/3.0/"><img src="/w/88x31.png" alt="CC-BY-SA 3.0, or any later version" width="88" height="31" loading="lazy"/></a></li> <li id="footer-poweredbyico"><a href="https://www.mediawiki.org/"><img src="/w/resources/assets/poweredby_mediawiki_88x31.png" alt="Powered by MediaWiki" srcset="/w/resources/assets/poweredby_mediawiki_132x47.png 1.5x, /w/resources/assets/poweredby_mediawiki_176x62.png 2x" width="88" height="31" loading="lazy"/></a></li> </ul> <div style="clear: both;"></div> </footer> <script>(RLQ=window.RLQ||[]).push(function(){mw.config.set({"wgPageParseReport":{"limitreport":{"cputime":"0.519","walltime":"1.851","ppvisitednodes":{"value":521,"limit":1000000},"postexpandincludesize":{"value":9116,"limit":2097152},"templateargumentsize":{"value":2361,"limit":2097152},"expansiondepth":{"value":10,"limit":40},"expensivefunctioncount":{"value":0,"limit":100},"unstrip-depth":{"value":0,"limit":20},"unstrip-size":{"value":4577,"limit":5000000},"timingprofile":["100.00% 67.198 1 -total"," 56.77% 38.150 1 Template:Logicnav"," 53.47% 35.928 1 Template:Navsidebar"," 46.79% 31.445 2 Template:Navsidebar2"," 43.27% 29.074 2 Template:Randomarticles"," 8.94% 6.008 1 Template:Significantly_problematic"," 7.29% 4.901 2 Template:Reflist"," 5.82% 3.910 1 Template:Sources_needed"," 3.14% 2.111 1 Template:Pt"," 3.11% 2.089 1 Template:Wpl"]},"cachereport":{"origin":"apache5","timestamp":"20250325231454","ttl":86400,"transientcontent":false}}});mw.config.set({"wgBackendResponseTime":50,"wgHostname":"apache5"});});</script></body></html>