CINXE.COM

<!DOCTYPE html> <html class="client-nojs vector-feature-language-in-header-enabled vector-feature-language-in-main-page-header-disabled vector-feature-sticky-header-disabled vector-feature-page-tools-pinned-disabled vector-feature-toc-pinned-clientpref-1 vector-feature-main-menu-pinned-disabled vector-feature-limited-width-clientpref-1 vector-feature-limited-width-content-disabled vector-feature-custom-font-size-clientpref-1 vector-feature-appearance-pinned-clientpref-1 vector-feature-night-mode-enabled skin-theme-clientpref-day vector-toc-not-available" lang="en" dir="ltr"> <head> <meta charset="UTF-8"> <title>View source for Logic - Wikipedia</title> <script>(function(){var className="client-js vector-feature-language-in-header-enabled vector-feature-language-in-main-page-header-disabled vector-feature-sticky-header-disabled vector-feature-page-tools-pinned-disabled vector-feature-toc-pinned-clientpref-1 vector-feature-main-menu-pinned-disabled vector-feature-limited-width-clientpref-1 vector-feature-limited-width-content-disabled vector-feature-custom-font-size-clientpref-1 vector-feature-appearance-pinned-clientpref-1 vector-feature-night-mode-enabled skin-theme-clientpref-day vector-toc-not-available";var cookie=document.cookie.match(/(?:^|; )enwikimwclientpreferences=([^;]+)/);if(cookie){cookie[1].split('%2C').forEach(function(pref){className=className.replace(new RegExp('(^| )'+pref.replace(/-clientpref-\w+$|[^\w-]+/g,'')+'-clientpref-\\w+( |$)'),'$1'+pref+'$2');});}document.documentElement.className=className;}());RLCONF={"wgBreakFrames":true,"wgSeparatorTransformTable":["",""],"wgDigitTransformTable":["",""],"wgDefaultDateFormat": "dmy","wgMonthNames":["","January","February","March","April","May","June","July","August","September","October","November","December"],"wgRequestId":"0a2d3c82-2d0d-4063-931d-580ce886ebeb","wgCanonicalNamespace":"","wgCanonicalSpecialPageName":false,"wgNamespaceNumber":0,"wgPageName":"Logic","wgTitle":"Logic","wgCurRevisionId":1260013053,"wgRevisionId":0,"wgArticleId":46426065,"wgIsArticle":false,"wgIsRedirect":false,"wgAction":"edit","wgUserName":null,"wgUserGroups":["*"],"wgCategories":[],"wgPageViewLanguage":"en","wgPageContentLanguage":"en","wgPageContentModel":"wikitext","wgRelevantPageName":"Logic","wgRelevantArticleId":46426065,"wgIsProbablyEditable":true,"wgRelevantPageIsProbablyEditable":true,"wgRestrictionEdit":[],"wgRestrictionMove":[],"wgNoticeProject":"wikipedia","wgCiteReferencePreviewsActive":false,"wgFlaggedRevsParams":{"tags":{"status":{"levels":1}}},"wgMediaViewerOnClick":true,"wgMediaViewerEnabledByDefault":true,"wgPopupsFlags":0,"wgVisualEditor":{"pageLanguageCode": "en","pageLanguageDir":"ltr","pageVariantFallbacks":"en"},"wgMFDisplayWikibaseDescriptions":{"search":true,"watchlist":true,"tagline":false,"nearby":true},"wgWMESchemaEditAttemptStepOversample":false,"wgWMEPageLength":100000,"wgRelatedArticlesCompat":[],"wgEditSubmitButtonLabelPublish":true,"wgULSPosition":"interlanguage","wgULSisCompactLinksEnabled":false,"wgVector2022LanguageInHeader":true,"wgULSisLanguageSelectorEmpty":false,"wgCheckUserClientHintsHeadersJsApi":["brands","architecture","bitness","fullVersionList","mobile","model","platform","platformVersion"],"GEHomepageSuggestedEditsEnableTopics":true,"wgGETopicsMatchModeEnabled":false,"wgGEStructuredTaskRejectionReasonTextInputEnabled":false,"wgGELevelingUpEnabledForUser":false};RLSTATE={"ext.globalCssJs.user.styles":"ready","site.styles":"ready","user.styles":"ready","ext.globalCssJs.user":"ready","user":"ready","user.options":"loading","skins.vector.search.codex.styles":"ready","skins.vector.styles":"ready","skins.vector.icons": "ready","jquery.makeCollapsible.styles":"ready","ext.charinsert.styles":"ready","ext.wikimediamessages.styles":"ready","ext.visualEditor.desktopArticleTarget.noscript":"ready","ext.uls.interlanguage":"ready","ext.wikimediaBadges":"ready"};RLPAGEMODULES=["mediawiki.action.edit.collapsibleFooter","site","mediawiki.page.ready","jquery.makeCollapsible","skins.vector.js","ext.centralNotice.geoIP","ext.charinsert","ext.gadget.ReferenceTooltips","ext.gadget.charinsert","ext.gadget.extra-toolbar-buttons","ext.gadget.refToolbar","ext.gadget.switcher","ext.urlShortener.toolbar","ext.centralauth.centralautologin","mmv.bootstrap","ext.popups","ext.visualEditor.desktopArticleTarget.init","ext.visualEditor.targetLoader","ext.echo.centralauth","ext.eventLogging","ext.wikimediaEvents","ext.navigationTiming","ext.uls.interface","ext.cx.eventlogging.campaigns","ext.checkUser.clientHints","ext.growthExperiments.SuggestedEditSession","wikibase.sidebar.tracking"];</script> <script>(RLQ=window.RLQ||[]).push(function(){mw.loader.impl(function(){return["user.options@12s5i",function($,jQuery,require,module){mw.user.tokens.set({"patrolToken":"+\\","watchToken":"+\\","csrfToken":"+\\"}); }];});});</script> <link rel="stylesheet" href="/w/load.php?lang=en&modules=ext.charinsert.styles%7Cext.uls.interlanguage%7Cext.visualEditor.desktopArticleTarget.noscript%7Cext.wikimediaBadges%7Cext.wikimediamessages.styles%7Cjquery.makeCollapsible.styles%7Cskins.vector.icons%2Cstyles%7Cskins.vector.search.codex.styles&only=styles&skin=vector-2022"> <script async="" src="/w/load.php?lang=en&modules=startup&only=scripts&raw=1&skin=vector-2022"></script> <meta name="ResourceLoaderDynamicStyles" content=""> <link rel="stylesheet" href="/w/load.php?lang=en&modules=site.styles&only=styles&skin=vector-2022"> <meta name="generator" content="MediaWiki 1.44.0-wmf.5"> <meta name="referrer" content="origin"> <meta name="referrer" content="origin-when-cross-origin"> <meta name="robots" content="noindex,nofollow,max-image-preview:standard"> <meta name="format-detection" content="telephone=no"> <meta property="og:image" content="https://upload.wikimedia.org/wikipedia/commons/d/df/Modus_ponendo_ponens.png"> <meta property="og:image:width" content="1200"> <meta property="og:image:height" content="989"> <meta property="og:image" content="https://upload.wikimedia.org/wikipedia/commons/d/df/Modus_ponendo_ponens.png"> <meta property="og:image:width" content="800"> <meta property="og:image:height" content="659"> <meta property="og:image" content="https://upload.wikimedia.org/wikipedia/commons/thumb/d/df/Modus_ponendo_ponens.png/640px-Modus_ponendo_ponens.png"> <meta property="og:image:width" content="640"> <meta property="og:image:height" content="527"> <meta name="viewport" content="width=1120"> <meta property="og:title" content="View source for Logic - Wikipedia"> <meta property="og:type" content="website"> <link rel="preconnect" href="//upload.wikimedia.org"> <link rel="alternate" media="only screen and (max-width: 640px)" href="//en.m.wikipedia.org/wiki/Logic"> <link rel="alternate" type="application/x-wiki" title="Edit this page" href="/w/index.php?title=Logic&action=edit"> <link rel="apple-touch-icon" href="/static/apple-touch/wikipedia.png"> <link rel="icon" href="/static/favicon/wikipedia.ico"> <link rel="search" type="application/opensearchdescription+xml" href="/w/rest.php/v1/search" title="Wikipedia (en)"> <link rel="EditURI" type="application/rsd+xml" href="//en.wikipedia.org/w/api.php?action=rsd"> <link rel="canonical" href="https://en.wikipedia.org/wiki/Logic"> <link rel="license" href="https://creativecommons.org/licenses/by-sa/4.0/deed.en"> <link rel="alternate" type="application/atom+xml" title="Wikipedia Atom feed" href="/w/index.php?title=Special:RecentChanges&feed=atom"> <link rel="dns-prefetch" href="//login.wikimedia.org"> </head> <body class="skin--responsive skin-vector skin-vector-search-vue mediawiki ltr sitedir-ltr mw-hide-empty-elt ns-0 ns-subject mw-editable page-Logic rootpage-Logic skin-vector-2022 action-edit"><a class="mw-jump-link" href="#bodyContent">Jump to content</a> <div class="vector-header-container"> <header class="vector-header mw-header"> <div class="vector-header-start"> <nav class="vector-main-menu-landmark" aria-label="Site"> <div id="vector-main-menu-dropdown" class="vector-dropdown vector-main-menu-dropdown vector-button-flush-left vector-button-flush-right" > <input type="checkbox" id="vector-main-menu-dropdown-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-vector-main-menu-dropdown" class="vector-dropdown-checkbox " aria-label="Main menu" > <label id="vector-main-menu-dropdown-label" for="vector-main-menu-dropdown-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only " aria-hidden="true" ><span class="vector-icon mw-ui-icon-menu mw-ui-icon-wikimedia-menu"></span> <span class="vector-dropdown-label-text">Main menu</span> </label> <div class="vector-dropdown-content"> <div id="vector-main-menu-unpinned-container" class="vector-unpinned-container"> <div id="vector-main-menu" class="vector-main-menu vector-pinnable-element"> <div class="vector-pinnable-header vector-main-menu-pinnable-header vector-pinnable-header-unpinned" data-feature-name="main-menu-pinned" data-pinnable-element-id="vector-main-menu" data-pinned-container-id="vector-main-menu-pinned-container" data-unpinned-container-id="vector-main-menu-unpinned-container" > <div class="vector-pinnable-header-label">Main menu</div> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-pin-button" data-event-name="pinnable-header.vector-main-menu.pin">move to sidebar</button> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-unpin-button" data-event-name="pinnable-header.vector-main-menu.unpin">hide</button> </div> <div id="p-navigation" class="vector-menu mw-portlet mw-portlet-navigation" > <div class="vector-menu-heading"> Navigation </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="n-mainpage-description" class="mw-list-item"><a href="/wiki/Main_Page" title="Visit the main page [z]" accesskey="z"><span>Main page</span></a></li><li id="n-contents" class="mw-list-item"><a href="/wiki/Wikipedia:Contents" title="Guides to browsing Wikipedia"><span>Contents</span></a></li><li id="n-currentevents" class="mw-list-item"><a href="/wiki/Portal:Current_events" title="Articles related to current events"><span>Current events</span></a></li><li id="n-randompage" class="mw-list-item"><a href="/wiki/Special:Random" title="Visit a randomly selected article [x]" accesskey="x"><span>Random article</span></a></li><li id="n-aboutsite" class="mw-list-item"><a href="/wiki/Wikipedia:About" title="Learn about Wikipedia and how it works"><span>About Wikipedia</span></a></li><li id="n-contactpage" class="mw-list-item"><a href="//en.wikipedia.org/wiki/Wikipedia:Contact_us" title="How to contact Wikipedia"><span>Contact us</span></a></li> </ul> </div> </div> <div id="p-interaction" class="vector-menu mw-portlet mw-portlet-interaction" > <div class="vector-menu-heading"> Contribute </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="n-help" class="mw-list-item"><a href="/wiki/Help:Contents" title="Guidance on how to use and edit Wikipedia"><span>Help</span></a></li><li id="n-introduction" class="mw-list-item"><a href="/wiki/Help:Introduction" title="Learn how to edit Wikipedia"><span>Learn to edit</span></a></li><li id="n-portal" class="mw-list-item"><a href="/wiki/Wikipedia:Community_portal" title="The hub for editors"><span>Community portal</span></a></li><li id="n-recentchanges" class="mw-list-item"><a href="/wiki/Special:RecentChanges" title="A list of recent changes to Wikipedia [r]" accesskey="r"><span>Recent changes</span></a></li><li id="n-upload" class="mw-list-item"><a href="/wiki/Wikipedia:File_upload_wizard" title="Add images or other media for use on Wikipedia"><span>Upload file</span></a></li> </ul> </div> </div> </div> </div> </div> </div> </nav> <a href="/wiki/Main_Page" class="mw-logo"> <img class="mw-logo-icon" src="/static/images/icons/wikipedia.png" alt="" aria-hidden="true" height="50" width="50"> <span class="mw-logo-container skin-invert"> <img class="mw-logo-wordmark" alt="Wikipedia" src="/static/images/mobile/copyright/wikipedia-wordmark-en.svg" style="width: 7.5em; height: 1.125em;"> <img class="mw-logo-tagline" alt="The Free Encyclopedia" src="/static/images/mobile/copyright/wikipedia-tagline-en.svg" width="117" height="13" style="width: 7.3125em; height: 0.8125em;"> </span> </a> </div> <div class="vector-header-end"> <div id="p-search" role="search" class="vector-search-box-vue vector-search-box-collapses vector-search-box-show-thumbnail vector-search-box-auto-expand-width vector-search-box"> <a href="/wiki/Special:Search" class="cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only search-toggle" title="Search Wikipedia [f]" accesskey="f"><span class="vector-icon mw-ui-icon-search mw-ui-icon-wikimedia-search"></span> <span>Search</span> </a> <div class="vector-typeahead-search-container"> <div class="cdx-typeahead-search cdx-typeahead-search--show-thumbnail cdx-typeahead-search--auto-expand-width"> <form action="/w/index.php" id="searchform" class="cdx-search-input cdx-search-input--has-end-button"> <div id="simpleSearch" class="cdx-search-input__input-wrapper" data-search-loc="header-moved"> <div class="cdx-text-input cdx-text-input--has-start-icon"> <input class="cdx-text-input__input" type="search" name="search" placeholder="Search Wikipedia" aria-label="Search Wikipedia" autocapitalize="sentences" title="Search Wikipedia [f]" accesskey="f" id="searchInput" > <span class="cdx-text-input__icon cdx-text-input__start-icon"></span> </div> <input type="hidden" name="title" value="Special:Search"> </div> <button class="cdx-button cdx-search-input__end-button">Search</button> </form> </div> </div> </div> <nav class="vector-user-links vector-user-links-wide" aria-label="Personal tools"> <div class="vector-user-links-main"> <div id="p-vector-user-menu-preferences" class="vector-menu mw-portlet emptyPortlet" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> </ul> </div> </div> <div id="p-vector-user-menu-userpage" class="vector-menu mw-portlet emptyPortlet" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> </ul> </div> </div> <nav class="vector-appearance-landmark" aria-label="Appearance"> <div id="vector-appearance-dropdown" class="vector-dropdown " title="Change the appearance of the page's font size, width, and color" > <input type="checkbox" id="vector-appearance-dropdown-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-vector-appearance-dropdown" class="vector-dropdown-checkbox " aria-label="Appearance" > <label id="vector-appearance-dropdown-label" for="vector-appearance-dropdown-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only " aria-hidden="true" ><span class="vector-icon mw-ui-icon-appearance mw-ui-icon-wikimedia-appearance"></span> <span class="vector-dropdown-label-text">Appearance</span> </label> <div class="vector-dropdown-content"> <div id="vector-appearance-unpinned-container" class="vector-unpinned-container"> </div> </div> </div> </nav> <div id="p-vector-user-menu-notifications" class="vector-menu mw-portlet emptyPortlet" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> </ul> </div> </div> <div id="p-vector-user-menu-overflow" class="vector-menu mw-portlet" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="pt-sitesupport-2" class="user-links-collapsible-item mw-list-item user-links-collapsible-item"><a data-mw="interface" href="https://donate.wikimedia.org/wiki/Special:FundraiserRedirector?utm_source=donate&utm_medium=sidebar&utm_campaign=C13_en.wikipedia.org&uselang=en" class=""><span>Donate</span></a> </li> <li id="pt-createaccount-2" class="user-links-collapsible-item mw-list-item user-links-collapsible-item"><a data-mw="interface" href="/w/index.php?title=Special:CreateAccount&returnto=Logic&returntoquery=action%3Dedit%26section%3D38" title="You are encouraged to create an account and log in; however, it is not mandatory" class=""><span>Create account</span></a> </li> <li id="pt-login-2" class="user-links-collapsible-item mw-list-item user-links-collapsible-item"><a data-mw="interface" href="/w/index.php?title=Special:UserLogin&returnto=Logic&returntoquery=action%3Dedit%26section%3D38" title="You're encouraged to log in; however, it's not mandatory. [o]" accesskey="o" class=""><span>Log in</span></a> </li> </ul> </div> </div> </div> <div id="vector-user-links-dropdown" class="vector-dropdown vector-user-menu vector-button-flush-right vector-user-menu-logged-out" title="Log in and more options" > <input type="checkbox" id="vector-user-links-dropdown-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-vector-user-links-dropdown" class="vector-dropdown-checkbox " aria-label="Personal tools" > <label id="vector-user-links-dropdown-label" for="vector-user-links-dropdown-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only " aria-hidden="true" ><span class="vector-icon mw-ui-icon-ellipsis mw-ui-icon-wikimedia-ellipsis"></span> <span class="vector-dropdown-label-text">Personal tools</span> </label> <div class="vector-dropdown-content"> <div id="p-personal" class="vector-menu mw-portlet mw-portlet-personal user-links-collapsible-item" title="User menu" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="pt-sitesupport" class="user-links-collapsible-item mw-list-item"><a href="https://donate.wikimedia.org/wiki/Special:FundraiserRedirector?utm_source=donate&utm_medium=sidebar&utm_campaign=C13_en.wikipedia.org&uselang=en"><span>Donate</span></a></li><li id="pt-createaccount" class="user-links-collapsible-item mw-list-item"><a href="/w/index.php?title=Special:CreateAccount&returnto=Logic&returntoquery=action%3Dedit%26section%3D38" title="You are encouraged to create an account and log in; however, it is not mandatory"><span class="vector-icon mw-ui-icon-userAdd mw-ui-icon-wikimedia-userAdd"></span> <span>Create account</span></a></li><li id="pt-login" class="user-links-collapsible-item mw-list-item"><a href="/w/index.php?title=Special:UserLogin&returnto=Logic&returntoquery=action%3Dedit%26section%3D38" title="You're encouraged to log in; however, it's not mandatory. [o]" accesskey="o"><span class="vector-icon mw-ui-icon-logIn mw-ui-icon-wikimedia-logIn"></span> <span>Log in</span></a></li> </ul> </div> </div> <div id="p-user-menu-anon-editor" class="vector-menu mw-portlet mw-portlet-user-menu-anon-editor" > <div class="vector-menu-heading"> Pages for logged out editors <a href="/wiki/Help:Introduction" aria-label="Learn more about editing"><span>learn more</span></a> </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="pt-anoncontribs" class="mw-list-item"><a href="/wiki/Special:MyContributions" title="A list of edits made from this IP address [y]" accesskey="y"><span>Contributions</span></a></li><li id="pt-anontalk" class="mw-list-item"><a href="/wiki/Special:MyTalk" title="Discussion about edits from this IP address [n]" accesskey="n"><span>Talk</span></a></li> </ul> </div> </div> </div> </div> </nav> </div> </header> </div> <div class="mw-page-container"> <div class="mw-page-container-inner"> <div class="vector-sitenotice-container"> <div id="siteNotice"></div> </div> <div class="vector-column-start"> <div class="vector-main-menu-container"> <div id="mw-navigation"> <nav id="mw-panel" class="vector-main-menu-landmark" aria-label="Site"> <div id="vector-main-menu-pinned-container" class="vector-pinned-container"> </div> </nav> </div> </div> </div> <div class="mw-content-container"> <main id="content" class="mw-body"> <header class="mw-body-header vector-page-titlebar"> <h1 id="firstHeading" class="firstHeading mw-first-heading">View source for Logic</h1> <div id="p-lang-btn" class="vector-dropdown mw-portlet mw-portlet-lang" > <input type="checkbox" id="p-lang-btn-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-p-lang-btn" class="vector-dropdown-checkbox mw-interlanguage-selector" aria-label="This article exist only in this language. Add the article for other languages" > <label id="p-lang-btn-label" for="p-lang-btn-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--action-progressive mw-portlet-lang-heading-0" aria-hidden="true" ><span class="vector-icon mw-ui-icon-language-progressive mw-ui-icon-wikimedia-language-progressive"></span> <span class="vector-dropdown-label-text">Add languages</span> </label> <div class="vector-dropdown-content"> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> </ul> <div class="after-portlet after-portlet-lang"><span class="uls-after-portlet-link"></span></div> </div> </div> </div> </header> <div class="vector-page-toolbar"> <div class="vector-page-toolbar-container"> <div id="left-navigation"> <nav aria-label="Namespaces"> <div id="p-associated-pages" class="vector-menu vector-menu-tabs mw-portlet mw-portlet-associated-pages" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="ca-nstab-main" class="selected vector-tab-noicon mw-list-item"><a href="/wiki/Logic" title="View the content page [c]" accesskey="c"><span>Article</span></a></li><li id="ca-talk" class="vector-tab-noicon mw-list-item"><a href="/wiki/Talk:Logic" rel="discussion" title="Discuss improvements to the content page [t]" accesskey="t"><span>Talk</span></a></li> </ul> </div> </div> <div id="vector-variants-dropdown" class="vector-dropdown emptyPortlet" > <input type="checkbox" id="vector-variants-dropdown-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-vector-variants-dropdown" class="vector-dropdown-checkbox " aria-label="Change language variant" > <label id="vector-variants-dropdown-label" for="vector-variants-dropdown-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet" aria-hidden="true" ><span class="vector-dropdown-label-text">English</span> </label> <div class="vector-dropdown-content"> <div id="p-variants" class="vector-menu mw-portlet mw-portlet-variants emptyPortlet" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> </ul> </div> </div> </div> </div> </nav> </div> <div id="right-navigation" class="vector-collapsible"> <nav aria-label="Views"> <div id="p-views" class="vector-menu vector-menu-tabs mw-portlet mw-portlet-views" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="ca-view" class="vector-tab-noicon mw-list-item"><a href="/wiki/Logic"><span>Read</span></a></li><li id="ca-edit" class="selected vector-tab-noicon mw-list-item"><a href="/w/index.php?title=Logic&action=edit" title="Edit this page"><span>Edit</span></a></li><li id="ca-history" class="vector-tab-noicon mw-list-item"><a href="/w/index.php?title=Logic&action=history" title="Past revisions of this page [h]" accesskey="h"><span>View history</span></a></li> </ul> </div> </div> </nav> <nav class="vector-page-tools-landmark" aria-label="Page tools"> <div id="vector-page-tools-dropdown" class="vector-dropdown vector-page-tools-dropdown" > <input type="checkbox" id="vector-page-tools-dropdown-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-vector-page-tools-dropdown" class="vector-dropdown-checkbox " aria-label="Tools" > <label id="vector-page-tools-dropdown-label" for="vector-page-tools-dropdown-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet" aria-hidden="true" ><span class="vector-dropdown-label-text">Tools</span> </label> <div class="vector-dropdown-content"> <div id="vector-page-tools-unpinned-container" class="vector-unpinned-container"> <div id="vector-page-tools" class="vector-page-tools vector-pinnable-element"> <div class="vector-pinnable-header vector-page-tools-pinnable-header vector-pinnable-header-unpinned" data-feature-name="page-tools-pinned" data-pinnable-element-id="vector-page-tools" data-pinned-container-id="vector-page-tools-pinned-container" data-unpinned-container-id="vector-page-tools-unpinned-container" > <div class="vector-pinnable-header-label">Tools</div> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-pin-button" data-event-name="pinnable-header.vector-page-tools.pin">move to sidebar</button> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-unpin-button" data-event-name="pinnable-header.vector-page-tools.unpin">hide</button> </div> <div id="p-cactions" class="vector-menu mw-portlet mw-portlet-cactions emptyPortlet vector-has-collapsible-items" title="More options" > <div class="vector-menu-heading"> Actions </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="ca-more-view" class="vector-more-collapsible-item mw-list-item"><a href="/wiki/Logic"><span>Read</span></a></li><li id="ca-more-edit" class="selected vector-more-collapsible-item mw-list-item"><a href="/w/index.php?title=Logic&action=edit" title="Edit this page [e]" accesskey="e"><span>Edit</span></a></li><li id="ca-more-history" class="vector-more-collapsible-item mw-list-item"><a href="/w/index.php?title=Logic&action=history"><span>View history</span></a></li> </ul> </div> </div> <div id="p-tb" class="vector-menu mw-portlet mw-portlet-tb" > <div class="vector-menu-heading"> General </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="t-whatlinkshere" class="mw-list-item"><a href="/wiki/Special:WhatLinksHere/Logic" title="List of all English Wikipedia pages containing links to this page [j]" accesskey="j"><span>What links here</span></a></li><li id="t-recentchangeslinked" class="mw-list-item"><a href="/wiki/Special:RecentChangesLinked/Logic" rel="nofollow" title="Recent changes in pages linked from this page [k]" accesskey="k"><span>Related changes</span></a></li><li id="t-upload" class="mw-list-item"><a href="/wiki/Wikipedia:File_Upload_Wizard" title="Upload files [u]" accesskey="u"><span>Upload file</span></a></li><li id="t-specialpages" class="mw-list-item"><a href="/wiki/Special:SpecialPages" title="A list of all special pages [q]" accesskey="q"><span>Special pages</span></a></li><li id="t-info" class="mw-list-item"><a href="/w/index.php?title=Logic&action=info" title="More information about this page"><span>Page information</span></a></li><li id="t-urlshortener" class="mw-list-item"><a href="/w/index.php?title=Special:UrlShortener&url=https%3A%2F%2Fen.wikipedia.org%2Fw%2Findex.php%3Ftitle%3DLogic%26action%3Dedit%26section%3D38"><span>Get shortened URL</span></a></li><li id="t-urlshortener-qrcode" class="mw-list-item"><a href="/w/index.php?title=Special:QrCode&url=https%3A%2F%2Fen.wikipedia.org%2Fw%2Findex.php%3Ftitle%3DLogic%26action%3Dedit%26section%3D38"><span>Download QR code</span></a></li> </ul> </div> </div> <div id="p-wikibase-otherprojects" class="vector-menu mw-portlet mw-portlet-wikibase-otherprojects" > <div class="vector-menu-heading"> In other projects </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="t-wikibase" class="wb-otherproject-link wb-otherproject-wikibase-dataitem mw-list-item"><a href="https://www.wikidata.org/wiki/Special:EntityPage/Q8078" title="Structured data on this page hosted by Wikidata [g]" accesskey="g"><span>Wikidata item</span></a></li> </ul> </div> </div> </div> </div> </div> </div> </nav> </div> </div> </div> <div class="vector-column-end"> <div class="vector-sticky-pinned-container"> <nav class="vector-page-tools-landmark" aria-label="Page tools"> <div id="vector-page-tools-pinned-container" class="vector-pinned-container"> </div> </nav> <nav class="vector-appearance-landmark" aria-label="Appearance"> <div id="vector-appearance-pinned-container" class="vector-pinned-container"> <div id="vector-appearance" class="vector-appearance vector-pinnable-element"> <div class="vector-pinnable-header vector-appearance-pinnable-header vector-pinnable-header-pinned" data-feature-name="appearance-pinned" data-pinnable-element-id="vector-appearance" data-pinned-container-id="vector-appearance-pinned-container" data-unpinned-container-id="vector-appearance-unpinned-container" > <div class="vector-pinnable-header-label">Appearance</div> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-pin-button" data-event-name="pinnable-header.vector-appearance.pin">move to sidebar</button> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-unpin-button" data-event-name="pinnable-header.vector-appearance.unpin">hide</button> </div> </div> </div> </nav> </div> </div> <div id="bodyContent" class="vector-body" aria-labelledby="firstHeading" data-mw-ve-target-container> <div class="vector-body-before-content"> <div class="mw-indicators"> </div> </div> <div id="contentSub"><div id="mw-content-subtitle">← <a href="/wiki/Logic" title="Logic">Logic</a></div></div> <div id="mw-content-text" class="mw-body-content"><p>You do not have permission to edit this page, for the following reasons: </p> <ul class="permissions-errors"><li class="mw-permissionerror-blockedtext"> <div id="mw-blocked-text" style="border: 1px solid #AAA; background-color: var(--background-color-warning-subtle, ivory); color: inherit; padding: 1.5em; width: 100%; box-sizing: border-box;"> <div style="text-align: center;"><span style="font-size: 26px;"><span typeof="mw:File"><a href="/wiki/File:Stop_hand_nuvola.svg" class="mw-file-description"><img src="//upload.wikimedia.org/wikipedia/en/thumb/f/f1/Stop_hand_nuvola.svg/50px-Stop_hand_nuvola.svg.png" decoding="async" width="50" height="50" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/en/thumb/f/f1/Stop_hand_nuvola.svg/75px-Stop_hand_nuvola.svg.png 1.5x, //upload.wikimedia.org/wikipedia/en/thumb/f/f1/Stop_hand_nuvola.svg/100px-Stop_hand_nuvola.svg.png 2x" data-file-width="240" data-file-height="240" /></a></span><b> This IP address has been <a href="/wiki/Wikipedia:Blocking_policy" title="Wikipedia:Blocking policy">blocked</a> from <i>editing</i> Wikipedia.</b></span><br /><span style="font-size: 18px;">This does not affect your ability to <i>read</i> Wikipedia pages.</span></div><div class="paragraphbreak" style="margin-top:0.5em"></div><b>Most people who see this message have done nothing wrong.</b> Some kinds of blocks restrict editing from specific service providers or telecom companies in response to recent abuse or vandalism, and can sometimes affect other users who are unrelated to that abuse. Review the information below for assistance if you do not believe that you have done anything wrong.<div class="paragraphbreak" style="margin-top:0.5em"></div> <p>The IP address or range 8.222.128.0/17 has been <a href="/wiki/Wikipedia:Blocking_policy" title="Wikipedia:Blocking policy">blocked</a> by <a href="/wiki/User:L235" title="User:L235">‪L235‬</a> for the following reason(s): </p> <div style="padding:10px; background:var(--background-color-base, white); color:inherit; border:1px #666 solid;"> <div class="user-block colocation-webhost" style="margin-bottom: 0.5em; background-color: #ffefd5; border: 1px solid #AAA; padding: 0.7em;"> <figure class="mw-halign-left" typeof="mw:File"><span><img src="//upload.wikimedia.org/wikipedia/commons/thumb/5/53/Server-multiple.svg/40px-Server-multiple.svg.png" decoding="async" width="40" height="57" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/5/53/Server-multiple.svg/60px-Server-multiple.svg.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/5/53/Server-multiple.svg/80px-Server-multiple.svg.png 2x" data-file-width="744" data-file-height="1052" /></span><figcaption></figcaption></figure><b>The <a href="/wiki/IP_address" title="IP address">IP address</a> that you are currently using has been blocked because it is believed to be a <a href="/wiki/Web_hosting_service" title="Web hosting service">web host provider</a> or <a href="/wiki/Colocation_centre" title="Colocation centre">colocation provider</a>.</b> To prevent abuse, <a href="/wiki/Wikipedia:Open_proxies" title="Wikipedia:Open proxies">web hosts and colocation providers may be blocked</a> from editing Wikipedia. <div style="border-top: 1px solid #AAA; clear: both">You will not be able to edit Wikipedia using a web host or colocation provider because it hides your IP address, much like a <a href="/wiki/Wikipedia:Open_proxies" title="Wikipedia:Open proxies">proxy</a> or <a href="/wiki/Virtual_private_network" title="Virtual private network">VPN</a>. <p><b>We recommend that you attempt to use another connection to edit.</b> For example, if you use a proxy or VPN to connect to the internet, turn it off when editing Wikipedia. If you edit using a mobile connection, try using a Wi-Fi connection, and vice versa. If you are using a corporate internet connection, switch to a different Wi-Fi network. If you have a Wikipedia account, please log in. </p><p>If you do not have any other way to edit Wikipedia, you will need to <a href="/wiki/Wikipedia:IP_block_exemption#Requesting_and_granting_exemption" title="Wikipedia:IP block exemption">request an IP block exemption</a>. </p> <style data-mw-deduplicate="TemplateStyles:r1214851843">.mw-parser-output .hidden-begin{box-sizing:border-box;width:100%;padding:5px;border:none;font-size:95%}.mw-parser-output .hidden-title{font-weight:bold;line-height:1.6;text-align:left}.mw-parser-output .hidden-content{text-align:left}@media all and (max-width:500px){.mw-parser-output .hidden-begin{width:auto!important;clear:none!important;float:none!important}}</style><div class="hidden-begin mw-collapsible mw-collapsed" style=""><div class="hidden-title skin-nightmode-reset-color" style="text-align:center;">How to appeal if you are confident that your connection does not use a colocation provider's IP address:</div><div class="hidden-content mw-collapsible-content" style=""> If you are confident that you are not using a web host, you may <a href="/wiki/Wikipedia:Appealing_a_block" title="Wikipedia:Appealing a block">appeal this block</a> by adding the following text on your <a href="/wiki/Help:Talk_pages" title="Help:Talk pages">talk page</a>: <code>{{<a href="/wiki/Template:Unblock" title="Template:Unblock">unblock</a>|reason=Caught by a colocation web host block but this host or IP is not a web host. My IP address is _______. <i>Place any further information here.</i> ~~~~}}</code>. <b>You must fill in the blank with your IP address for this block to be investigated.</b> Your IP address can be determined <span class="plainlinks"><b><a class="external text" href="https://en.wikipedia.org/wiki/Wikipedia:Get_my_IP_address?withJS=MediaWiki:Get-my-ip.js">here</a></b></span>. Alternatively, if you wish to keep your IP address private you can use the <a href="/wiki/Wikipedia:Unblock_Ticket_Request_System" title="Wikipedia:Unblock Ticket Request System">unblock ticket request system</a>. There are several reasons you might be editing using the IP address of a web host or colocation provider (such as if you are using VPN software or a business network); please use this method of appeal only if you think your IP address is in fact not a web host or colocation provider.</div></div> <p><span class="sysop-show" style="font-size: 85%;"><span style="border:#707070 solid 1px;background-color:#ffe0e0;padding:2px"><b>Administrators:</b></span> The <a href="/wiki/Wikipedia:IP_block_exemption" title="Wikipedia:IP block exemption">IP block exemption</a> user right should only be applied to allow users to edit using web host in exceptional circumstances, and requests should usually be directed to the functionaries team via email. If you intend to give the IPBE user right, a <a href="/wiki/Wikipedia:CheckUser" title="Wikipedia:CheckUser">CheckUser</a> needs to take a look at the account. This can be requested most easily at <a href="/wiki/Wikipedia:SPI#Quick_CheckUser_requests" class="mw-redirect" title="Wikipedia:SPI">SPI Quick Checkuser Requests</a>. <b>Unblocking</b> an IP or IP range with this template <b>is highly discouraged</b> without at least contacting the blocking administrator.</span> </p> </div></div> </div> <p>This block will expire on 18:23, 24 August 2026. Your current IP address is 8.222.208.146. </p> <div class="paragraphbreak" style="margin-top:0.5em"></div><div style="font-size: 16px;"> <p>Even when blocked, you will <i>usually</i> still be able to edit your <a href="/wiki/Special:MyTalk" title="Special:MyTalk">user talk page</a>, as well as <a href="/wiki/Wikipedia:Emailing_users" title="Wikipedia:Emailing users">email</a> administrators and other editors. </p> </div> <div class="paragraphbreak" style="margin-top:0.5em"></div><div style="font-size: 16px;"> <p>For information on how to proceed, please read the <b><a href="/wiki/Wikipedia:Appealing_a_block#Common_questions" title="Wikipedia:Appealing a block">FAQ for blocked users</a></b> and the <a href="/wiki/Wikipedia:Appealing_a_block" title="Wikipedia:Appealing a block">guideline on block appeals</a>. The <a href="/wiki/Wikipedia:Guide_to_appealing_blocks" title="Wikipedia:Guide to appealing blocks">guide to appealing blocks</a> may also be helpful. </p> </div> <p>Other useful links: <a href="/wiki/Wikipedia:Blocking_policy" title="Wikipedia:Blocking policy">Blocking policy</a> · <a href="/wiki/Help:I_have_been_blocked" title="Help:I have been blocked">Help:I have been blocked</a> </p> </div></li><li class="mw-permissionerror-globalblocking-blockedtext-range"> <div id="mw-blocked-text" style="border: 1px solid #AAA; background-color: var(--background-color-warning-subtle, ivory); color: inherit; padding: 1.5em; width: 100%; box-sizing: border-box;"> <div style="text-align: center;"><span style="font-size: 26px;"><span typeof="mw:File"><a href="/wiki/File:Stop_hand_nuvola.svg" class="mw-file-description"><img src="//upload.wikimedia.org/wikipedia/en/thumb/f/f1/Stop_hand_nuvola.svg/50px-Stop_hand_nuvola.svg.png" decoding="async" width="50" height="50" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/en/thumb/f/f1/Stop_hand_nuvola.svg/75px-Stop_hand_nuvola.svg.png 1.5x, //upload.wikimedia.org/wikipedia/en/thumb/f/f1/Stop_hand_nuvola.svg/100px-Stop_hand_nuvola.svg.png 2x" data-file-width="240" data-file-height="240" /></a></span><b> This IP address range has been <a href="https://meta.wikimedia.org/wiki/Global_blocks" class="extiw" title="m:Global blocks">globally blocked</a>.</b></span><br /><span style="font-size: 18px;">This does not affect your ability to <i>read</i> Wikipedia pages.</span></div><div class="paragraphbreak" style="margin-top:0.5em"></div><b>Most people who see this message have done nothing wrong.</b> Some kinds of blocks restrict editing from specific service providers or telecom companies in response to recent abuse or vandalism, and can sometimes affect other users who are unrelated to that abuse. Review the information below for assistance if you do not believe that you have done anything wrong.<div class="paragraphbreak" style="margin-top:0.5em"></div><div class="paragraphbreak" style="margin-top:0.5em"></div> <p>This block affects editing on all Wikimedia wikis. </p><p>The IP address or range 8.222.128.0/17 has been globally <a href="/wiki/Wikipedia:Blocking_policy" title="Wikipedia:Blocking policy">blocked</a> by <a href="/wiki/User:Jon_Kolbert" title="User:Jon Kolbert">‪Jon Kolbert‬</a> for the following reason(s): </p> <div style="padding:10px; background:var(--background-color-base, white); color:inherit; border:1px #666 solid;"> <p><a href="https://meta.wikimedia.org/wiki/Special:MyLanguage/NOP" class="extiw" title="m:Special:MyLanguage/NOP">Open proxy/Webhost</a>: See the <a href="https://meta.wikimedia.org/wiki/WM:OP/H" class="extiw" title="m:WM:OP/H">help page</a> if you are affected </p> </div> <p>This block will expire on 15:12, 27 August 2028. Your current IP address is 8.222.208.146. </p> <div class="paragraphbreak" style="margin-top:0.5em"></div><div style="font-size: 16px;"> <p>Even while globally blocked, you will <i>usually</i> still be able to edit pages on <a href="https://meta.wikimedia.org/wiki/" class="extiw" title="m:">Meta-Wiki</a>. </p> </div> <div class="paragraphbreak" style="margin-top:0.5em"></div><div style="font-size: 16px;"> <p>If you believe you were blocked by mistake, you can find additional information and instructions in the <a href="https://meta.wikimedia.org/wiki/Special:MyLanguage/No_open_proxies" class="extiw" title="m:Special:MyLanguage/No open proxies">No open proxies</a> global policy. Otherwise, to discuss the block please <a href="https://meta.wikimedia.org/wiki/Steward_requests/Global" class="extiw" title="m:Steward requests/Global">post a request for review on Meta-Wiki</a>. You could also send an email to the <a href="https://meta.wikimedia.org/wiki/Special:MyLanguage/Stewards" class="extiw" title="m:Special:MyLanguage/Stewards">stewards</a> <a href="https://meta.wikimedia.org/wiki/Special:MyLanguage/VRT" class="extiw" title="m:Special:MyLanguage/VRT">VRT</a> queue at <kbd>stewards@wikimedia.org</kbd> including all above details. </p> </div> <p>Other useful links: <a href="https://meta.wikimedia.org/wiki/Global_blocks" class="extiw" title="m:Global blocks">Global blocks</a> · <a href="/wiki/Help:I_have_been_blocked" title="Help:I have been blocked">Help:I have been blocked</a> </p> </div></li></ul><hr /> <div id="viewsourcetext">You can view and copy the source of this page:</div><textarea readonly="" accesskey="," id="wpTextbox1" cols="80" rows="25" style="" class="mw-editfont-monospace" lang="en" dir="ltr" name="wpTextbox1">===Bibliography=== {{refbegin|30em}} * {{cite book |last1=Aloni |first1=Maria |last2=Dekker |first2=Paul |title=The Cambridge Handbook of Formal Semantics |date=7 July 2016 |publisher=Cambridge University Press |isbn=978-1-316-55273-5 |pages=22–23 |language=en }} * {{cite book |last1=Angell |first1=Richard B. |title=Reasoning and Logic |date=1964 |publisher=Ardent Media |page=164 |language=en |oclc=375322 }} * {{cite book |last1=Audi |first1=Robert |author-link=Robert Audi |title=The Cambridge Dictionary of Philosophy |publisher=Cambridge University Press |url=https://philpapers.org/rec/AUDTCD-2 |chapter=Informal logic |year=1999a |access-date=29 December 2021 |archive-date=14 April 2021 |archive-url=https://web.archive.org/web/20210414132344/https://philpapers.org/rec/AUDTCD-2 |url-status=live |isbn=978-1-107-64379-6 |page=435 }} * {{cite book |last1=Audi |first1=Robert |author-link=Robert Audi |title=The Cambridge Dictionary of Philosophy |publisher=Cambridge University Press |url=https://philpapers.org/rec/AUDTCD-2 |chapter=Philosophy of logic |year=1999b |access-date=29 December 2021 |archive-date=14 April 2021 |archive-url=https://web.archive.org/web/20210414132344/https://philpapers.org/rec/AUDTCD-2 |url-status=live |isbn=978-1-107-64379-6 |pages=679–681 }} * {{cite journal |last1=Backmann |first1=Marius |title=Varieties of Justification—How (Not) to Solve the Problem of Induction |journal=Acta Analytica |date=1 June 2019 |volume=34 |issue=2 |pages=235–255 |doi=10.1007/s12136-018-0371-6 |s2cid=125767384 |language=en |issn=1874-6349 |doi-access=free }} * {{cite web |last1=Bagaria |first1=Joan |title=Set Theory |url=https://plato.stanford.edu/entries/set-theory/ |website=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University |access-date=23 September 2022 |year=2021 }} * {{cite book |last1=Barnes |first1=Jonathan |title=Truth, etc.: Six Lectures on Ancient Logic |date=25 January 2007 |publisher=Clarendon Press |isbn=978-0-19-151574-3 |pages=274 |language=en }} * {{cite web |last1=Benthem |first1=Johan van |title=Modal Logic: Contemporary View: 1. Modal Notions and Reasoning Patterns: a First Pass |url=https://iep.utm.edu/modal-lo/#H1 |website=Internet Encyclopedia of Philosophy |access-date=11 March 2023 }} * {{cite book |last1=Berlemann |first1=Lars |last2=Mangold |first2=Stefan |title=Cognitive Radio and Dynamic Spectrum Access |date=10 July 2009 |publisher=John Wiley & Sons |isbn=978-0-470-75443-6 |page=194 |language=en }} * {{cite book |last1=Berman |first1=Harold J. |title=Law and Revolution, the Formation of the Western Legal Tradition |date=1 July 2009 |publisher=Harvard University Press |isbn=978-0-674-02085-6 |language=en }} * {{cite book |last1=Bimbo |first1=Katalin |title=J. Michael Dunn on Information Based Logics |date=2 April 2016 |publisher=Springer |isbn=978-3-319-29300-4 |pages=8–9 |language=en }} * {{cite book |last1=Blackburn |first1=Simon |author-link=Simon Blackburn |title=The Oxford Dictionary of Philosophy |date=1 January 2008 |publisher=Oxford University Press |isbn=978-0-19-954143-0 |url=https://www.oxfordreference.com/view/10.1093/oi/authority.20110803095423356 |language=en |chapter=argument |access-date=8 January 2022 |archive-date=8 January 2022 |archive-url=https://web.archive.org/web/20220108194756/https://www.oxfordreference.com/view/10.1093/oi/authority.20110803095423356 |url-status=live }} * {{cite book |last1=Blackburn |first1=Simon |author-link=Simon Blackburn |title=The Oxford Dictionary of Philosophy |date=24 March 2016 |publisher=Oxford University Press |isbn=978-0-19-954143-0 |url=https://www.oxfordreference.com/view/10.1093/oi/authority.20110803100432990 |language=en |chapter=rule of inference |access-date=8 January 2022 |archive-date=8 January 2022 |archive-url=https://web.archive.org/web/20220108194809/https://www.oxfordreference.com/view/10.1093/oi/authority.20110803100432990 |url-status=live }} * {{cite journal |last1=Blair |first1=J. Anthony |author1-link=J. Anthony Blair |last2=Johnson |first2=Ralph H. |title=The Current State of Informal Logic |journal=Informal Logic |year=1987 |volume=9 |issue=2 |doi=10.22329/il.v9i2.2671 |url=https://philpapers.org/rec/BLATCS |access-date=2 January 2022 |archive-date=30 December 2021 |archive-url=https://web.archive.org/web/20211230194638/https://philpapers.org/rec/BLATCS |url-status=live |pages=147–51 |doi-access=free }} * {{cite journal |last1=Blair |first1=J. Anthony |author1-link=J. Anthony Blair |last2=Johnson |first2=Ralph H. |title=Informal Logic: An Overview |journal=Informal Logic |year=2000 |volume=20 |issue=2 |doi=10.22329/il.v20i2.2262 |url=https://philpapers.org/rec/BLAILA-3 |access-date=29 December 2021 |archive-date=9 December 2021 |archive-url=https://web.archive.org/web/20211209195317/https://philpapers.org/rec/BLAILA-3 |url-status=live |pages=93–107 |doi-access=free }} * {{cite book |last1=Blair |first1=J. Anthony |author-link=J. Anthony Blair |title=Groundwork in the Theory of Argumentation: Selected Papers of J. Anthony Blair |date=20 October 2011 |publisher=Springer Science & Business Media |isbn=978-94-007-2363-4 |page=47 |language=en }} * {{cite web |last1=Bobzien |first1=Susanne |title=Ancient Logic: 2. Aristotle |url=https://plato.stanford.edu/entries/logic-ancient/#Ari |website=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University |access-date=3 January 2022 |year=2020 |archive-date=28 August 2018 |archive-url=https://web.archive.org/web/20180828102117/https://plato.stanford.edu/entries/logic-ancient/#Ari |url-status=live }} * {{cite book |editor1-last=Borchert |editor1-first=Donald |title=Macmillan Encyclopedia of Philosophy Volume 2 |edition=2nd |date=2006a |publisher=Macmillan |url=https://philpapers.org/rec/BORMEO |isbn=978-0-02-865782-0 |chapter=Computability Theory |pages=372–390 }} * {{cite book |last1=Borchert |first1=Donald |title=Macmillan Encyclopedia of Philosophy Volume 4 |edition=2nd |date=2006b |publisher=Macmillan |url=https://philpapers.org/rec/BORMEO |chapter=Induction |access-date=4 January 2022 |archive-date=12 January 2021 |archive-url=https://web.archive.org/web/20210112065913/https://philpapers.org/rec/BORMEO |url-status=live |isbn=978-0-02-865784-4 |pages=635–648 }} * {{cite book |last1=Borchert |first1=Donald |title=Macmillan Encyclopedia of Philosophy Volume 5 |edition=2nd |date=2006c |publisher=Macmillan |url=https://philpapers.org/rec/BORMEO |chapter=Logic, Non-Classical |access-date=4 January 2022 |archive-date=12 January 2021 |archive-url=https://web.archive.org/web/20210112065913/https://philpapers.org/rec/BORMEO |url-status=live |isbn=978-0-02-865785-1 |pages=485–492 }} * {{cite book |last1=Boris |first1=Kulik |last2=Alexander |first2=Fridman |title=N-ary Relations for Logical Analysis of Data and Knowledge |date=30 November 2017 |publisher=IGI Global |isbn=978-1-5225-2783-1 |page=74 |language=en }} * {{cite book |last1=Bridges |first1=Douglas |last2=Ishihara |first2=Hajime |last3=Rathjen |first3=Michael |last4=Schwichtenberg |first4=Helmut |title=Handbook of Constructive Mathematics |date=30 April 2023 |publisher=Cambridge University Press |isbn=978-1-316-51086-5 |pages=73–4 |language=en }} * {{cite book |last=Brody |first=Boruch A. |title=Encyclopedia of Philosophy |date=2006 |publisher=Thomson Gale/Macmillan Reference US |others=Donald M. Borchert |isbn=978-0-02-865780-6 |edition=2nd |volume=5 |pages=535–536 |oclc=61151356 |quote=The two most important types of logical calculi are propositional (or sentential) calculi and functional (or predicate) calculi. A propositional calculus is a system containing propositional variables and connectives (some also contain propositional constants) but not individual or functional variables or constants. In the extended propositional calculus, quantifiers whose operator variables are propositional variables are added. }} * {{cite book |last1=Bunnin |first1=Nicholas |last2=Yu |first2=Jiyuan |title=The Blackwell Dictionary of Western Philosophy |date=27 January 2009 |publisher=John Wiley & Sons |isbn=978-1-4051-9112-8 |page=179 |language=en }} * {{cite book |last1=Burgess |first1=John P. |author-link=John P. Burgess |title=Philosophical Logic |date=2009 |publisher=Princeton, NJ: Princeton University Press |url=https://philpapers.org/rec/BURPL-3 |chapter=1. Classical logic |pages=1–12 |access-date=4 January 2022 |archive-date=16 December 2021 |archive-url=https://web.archive.org/web/20211216143954/https://philpapers.org/rec/BURPL-3 |url-status=live |isbn=978-0-691-15633-0 }} * {{cite book |last1=Bäck |first1=Allan T. |title=Aristotle's Theory of Predication |date=2016 |publisher=Brill |isbn=978-90-04-32109-0 |page=317 |language=en }} * {{cite journal |last1=Calderbank |first1=Robert |last2=Sloane |first2=Neil J. A. |title=Claude Shannon (1916–2001) |journal=Nature |date=April 2001 |volume=410 |issue=6830 |pages=768 |doi=10.1038/35071223 |pmid=11298432 |s2cid=4402158 |language=en |issn=1476-4687 |doi-access=free }} * {{cite book |last1=Carnielli |first1=Walter |last2=Pizzi |first2=Claudio |title=Modalities and Multimodalities |date=2008 |publisher=Springer Science & Business Media |isbn=978-1-4020-8590-1 |page=3 |language=en }} * {{cite book |last1=Castaño |first1=Arnaldo Pérez |title=Practical Artificial Intelligence: Machine Learning, Bots, and Agent Solutions Using C# |date=23 May 2018 |publisher=Apress |isbn=978-1-4842-3357-3 |page=2 |language=en }} * {{cite journal |last1=Chakrabarti |first1=Kisor Kumar |title=Some Comparisons Between Frege's Logic and Navya-Nyaya Logic |journal=Philosophy and Phenomenological Research |date=June 1976 |volume=36 |issue=4 |pages=554–563 |doi=10.2307/2106873 |jstor=2106873 }} * {{cite book |last1=Chatfield |first1=Tom |title=Critical Thinking: Your Guide to Effective Argument, Successful Analysis and Independent Study |date=2017 |publisher=Sage |isbn=978-1-5264-1877-7 |page=194 |language=en }} * {{cite book |last1=Chua |first1=Eugene |title=Logic, Rationality, and Interaction |chapter=An Empirical Route to Logical 'Conventionalism' |series=Lecture Notes in Computer Science |date=2017 |volume=10455 |pages=631–636 |doi=10.1007/978-3-662-55665-8_43 |isbn=978-3-662-55664-1 |chapter-url=https://philpapers.org/rec/CHUAER }} * {{cite book |last1=Clocksin |first1=William F. |last2=Mellish |first2=Christopher S. |title=Programming in Prolog: Using the ISO Standard |date=2003 |publisher=Springer |isbn=978-3-642-55481-0 |pages=237–257 |chapter-url=https://link.springer.com/chapter/10.1007/978-3-642-55481-0_10 |language=en |chapter=The Relation of Prolog to Logic |doi=10.1007/978-3-642-55481-0_10 }} * {{cite book |last1=Cook |first1=Roy T. |title=Dictionary of Philosophical Logic |date=2009 |publisher=Edinburgh University Press |isbn=978-0-7486-3197-1 |language=en |page=124 }} * {{cite book |last1=Copi |first1=Irving M. |author1-link=Irving Copi |last2=Cohen |first2=Carl |last3=Rodych |first3=Victor |title=Introduction to Logic |date=2019 |publisher=Routledge |isbn=978-1-351-38697-5 |language=en }} * {{cite journal |last1=Corkum |first1=Philip |title=Generality and Logical Constancy |journal=Revista Portuguesa de Filosofia |year=2015 |volume=71 |issue=4 |pages=753–767 |doi=10.17990/rpf/2015_71_4_0753 |jstor=43744657 |issn=0870-5283 }} * {{cite book |last1=Craig |first1=Edward |author-link=Edward Craig (philosopher) |title=Routledge Encyclopedia of Philosophy |date=1996 |publisher=Routledge |url=https://philpapers.org/rec/BEAREO |access-date=29 December 2021 |archive-date=16 January 2021 |archive-url=https://web.archive.org/web/20210116111145/https://philpapers.org/rec/BEAREO |url-status=live |isbn=978-0-415-07310-3 }} * {{cite book |last1=Cummings |first1=Louise |title=The Routledge Pragmatics Encyclopedia |date=2010 |publisher=Routledge |isbn=978-1-135-21457-9 |page=1 |language=en |chapter=Abduction }} * {{cite web |last1=Cunningham |first1=Daniel |title=Set Theory |url=https://iep.utm.edu/set-theo/ |website=Internet Encyclopedia of Philosophy |access-date=23 September 2022 }} * {{cite journal |last1=D'Agostino |first1=Marcello |last2=Floridi |first2=Luciano |title=The Enduring Scandal of Deduction: Is Propositional Logic Really Uninformative? |journal=Synthese |year=2009 |volume=167 |issue=2 |pages=271–315 |doi=10.1007/s11229-008-9409-4 |jstor=40271192 |hdl=2299/2995 |hdl-access=free |s2cid=9602882 |language=en |issn=0039-7857 }} * {{cite book |title=A Dictionary of Computing |isbn=978-0-19-923400-4 |last1=Daintith |first1=John |last2=Wright |first2=Edmund |date=2008 |publisher=OUP }} * {{cite book |last=van Dalen |first=Dirk |author-link=Dirk van Dalen |year=1994 |title=Logic and Structure |publisher=Springer |at=Chapter 1.5 |isbn=978-0-387-57839-2 }} * {{cite web |last1=Dasti |first1=Matthew R. |title=Nyaya |url=https://iep.utm.edu/nyaya/ |website=Internet Encyclopedia of Philosophy |access-date=12 March 2023 }} * {{cite book |last1=Dick |first1=Anthony S. |last2=Müller |first2=Ulrich |title=Advancing Developmental Science: Philosophy, Theory, and Method |date=2017 |publisher=Taylor & Francis |isbn=978-1-351-70456-4 |page=157 |language=en }} * {{cite web |last1=Douven |first1=Igor |title=Abduction |url=https://plato.stanford.edu/entries/abduction/ |website=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University |year=2021 |access-date=24 August 2021 |archive-date=7 September 2021 |archive-url=https://web.archive.org/web/20210907202119/https://plato.stanford.edu/entries/abduction/ |url-status=live }} * {{cite web |last1=Dowden |first1=Bradley |author-link=Bradley Dowden |title=Fallacies |url=https://iep.utm.edu/fallacy/ |website=Internet Encyclopedia of Philosophy |access-date=19 March 2021 |archive-date=29 April 2010 |archive-url=https://web.archive.org/web/20100429214410/https://iep.utm.edu/fallacy/ |url-status=live }} * {{cite book |last1=van Eemeren |first1=Frans H. |last2=Garssen |first2=Bart |title=Pondering on Problems of Argumentation: Twenty Essays on Theoretical Issues |date=2009 |publisher=Springer Science & Business Media |isbn=978-1-4020-9165-0 |page=191 |language=en }} * {{cite book |last1=van Eemeren |first1=Frans H. |last2=Garssen |first2=Bart |last3=Krabbe |first3=Erik C. W. |last4=Snoeck Henkemans |first4=A. Francisca |last5=Verheij |first5=Bart |last6=Wagemans |first6=Jean H. M. |title=Handbook of Argumentation Theory |date=2021 |publisher=Springer Netherlands |isbn=978-94-007-6883-3 |pages=1–45 |chapter-url=https://link.springer.com/referenceworkentry/10.1007%2F978-94-007-6883-3_7-1 |language=en |chapter=Informal Logic |doi=10.1007/978-94-007-6883-3_7-1 |access-date=2 January 2022 |archive-date=31 December 2021 |archive-url=https://web.archive.org/web/20211231172324/https://link.springer.com/referenceworkentry/10.1007/978-94-007-6883-3_7-1 |url-status=live |ref=CITEREFvan_EemerenGarssenKrabbeSnoeck_Henkemans }} * {{cite book |last1=van Eemeren |first1=Frans H. |last2=Grootendorst |first2=Rob |last3=Johnson |first3=Ralph H. |last4=Plantin |first4=Christian |last5=Willard |first5=Charles A. |title=Fundamentals of Argumentation Theory: A Handbook of Historical Backgrounds and Contemporary Developments |date=2013 |publisher=Routledge |isbn=978-1-136-68804-1 |page=169 |language=en |ref=CITEREFvan_EemerenGrootendorstJohnsonPlantin }} * {{cite book |last1=Emmanuel |first1=Steven M. |title=A Companion to Buddhist Philosophy |date=2015 |publisher=John Wiley & Sons |isbn=978-1-119-14466-3 |pages=320–2 |language=en }} * {{cite book |last=Enderton |first=Herbert |author-link=Herbert Enderton |year=2001 |title=A Mathematical Introduction to Logic |publisher=Elsevier |isbn=978-0-12-238452-3 }} * {{cite book |last1=Engel |first1=S. Morris |title=With Good Reason an Introduction to Informal Fallacies |date=1982 |url=https://philpapers.org/rec/ENGWGR |access-date=2 January 2022 |archive-date=1 March 2022 |archive-url=https://web.archive.org/web/20220301065815/https://philpapers.org/rec/ENGWGR |url-status=live |isbn=978-0-312-08479-0 |publisher=St. Martin's Press }} * {{cite book |last1=Evans |first1=Jonathan St. B. T. |editor1-last=Morrison |editor1-first=Robert |title=The Cambridge Handbook of Thinking and Reasoning |date=2005 |publisher=Cambridge University Press |isbn=978-0-521-82417-0 |page=169 |language=en |chapter=8. Deductive Reasoning }} * {{cite web |last1=Ewald |first1=William |title=The Emergence of First-Order Logic |url=https://plato.stanford.edu/entries/logic-firstorder-emergence/ |website=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University |access-date=12 March 2023 |date=2019 }} * {{cite web |last1=Falguera |first1=José L. |last2=Martínez-Vidal |first2=Concha |last3=Rosen |first3=Gideon |title=Abstract Objects |url=https://plato.stanford.edu/entries/abstract-objects/ |website=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University |access-date=7 January 2022 |year=2021 |archive-date=22 January 2021 |archive-url=https://web.archive.org/web/20210122003334/https://plato.stanford.edu/entries/abstract-objects/ |url-status=live }} * {{cite book |last1=Falikowski |first1=Anthony |last2=Mills |first2=Susan |title=Experiencing Philosophy |edition=2nd |date=2022 |publisher=Broadview Press |isbn=978-1-77048-841-0 |page=98 |language=en }} * {{cite book |last1=Fisher |first1=Michael David |last2=Gabbay |first2=Dov M. |last3=Vila |first3=Lluis |title=Handbook of Temporal Reasoning in Artificial Intelligence |date=2005 |publisher=Elsevier |isbn=978-0-08-053336-0 |page=119 |language=en }} * {{cite book |last1=Fitch |first1=G. W. |title=Saul Kripke |date=18 December 2014 |publisher=Routledge |isbn=978-1-317-48917-7 |page=17 |language=en }} * {{cite book |last1=Flotyński |first1=Jakub |title=Knowledge-Based Explorable Extended Reality Environments |date=7 December 2020 |publisher=Springer Nature |isbn=978-3-030-59965-2 |page=39 |language=en }} * {{cite book |last1=Font |first1=Josep Maria |last2=Jansana |first2=Ramon |title=A General Algebraic Semantics for Sentential Logics |date=2017 |publisher=Cambridge University Press |isbn=978-1-107-16797-1 |page=8 |language=en }} * {{cite web |last1=Frede |first1=Michael |title=Aristotle |url=https://pages.mtu.edu/~pcharles/SCIHISTORY/aristotle.html |website=Michigan Technological University |access-date=1 November 2022 }} * {{cite book |last1=Friend |first1=Michele |title=Introducing Philosophy of Mathematics |date=2014 |publisher=Routledge |isbn=978-1-317-49379-2 |page=101 |language=en }} * {{cite book |last=Gamut |first=L.T.F. |author-link=L.T.F. Gamut |date=1991 |title=Logic, Language and Meaning Vol 1: Introduction to Logic |publisher=University of Chicago Press |at=5.5 |isbn=978-0-226-28085-1 }} * {{cite web |last1=Garson |first1=James |title=Modal Logic |url=https://plato.stanford.edu/entries/logic-modal/ |website=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University |access-date=11 March 2023 |date=2023 }} * {{cite book |last=Gensler |first=Harry J. |date=2006 |title=The A to Z of Logic |pages=xliii–xliv |publisher=Scarecrow Press |isbn=978-1-4617-3182-5 |language=en }} * {{cite book |last1=Goble |first1=Lou |title=The Blackwell Guide to Philosophical Logic |date=2001 |publisher=Wiley-Blackwell |url=https://philpapers.org/rec/GOBTBG-2 |chapter=Introduction |access-date=4 January 2022 |archive-date=7 December 2021 |archive-url=https://web.archive.org/web/20211207184959/https://philpapers.org/rec/GOBTBG-2 |url-status=live |isbn=978-0-631-20692-7 |pages=1–8 }} * {{cite book |last1=Goodman |first1=Lenn Evan |title=Avicenna |date=1992 |publisher=Routledge |isbn=978-0-415-01929-3 |page=188 }} * {{cite book |last1=Goodman |first1=Lenn Evan |title=Islamic Humanism |date=2003 |publisher=Oxford University Press |isbn=978-0-19-513580-0 |page=155 }} * {{cite web |last1=Groarke |first1=Louis F. |title=Aristotle: Logic |url=https://iep.utm.edu/aris-log/ |website=Internet Encyclopedia of Philosophy |access-date=1 January 2022 |archive-date=29 December 2021 |archive-url=https://web.archive.org/web/20211229235433/https://iep.utm.edu/aris-log/ |url-status=live }} * {{cite web |last1=Groarke |first1=Leo |title=Informal Logic |url=https://plato.stanford.edu/entries/logic-informal/ |website=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University |access-date=31 December 2021 |year=2021 |archive-date=12 January 2022 |archive-url=https://web.archive.org/web/20220112030519/https://plato.stanford.edu/entries/logic-informal/ |url-status=live }} * {{cite web |last1=Gómez-Torrente |first1=Mario |title=Logical Truth |url=https://plato.stanford.edu/entries/logical-truth/ |website=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University |access-date=22 November 2021 |year=2019 |archive-date=2 October 2021 |archive-url=https://web.archive.org/web/20211002190110/https://plato.stanford.edu/entries/logical-truth/ |url-status=live }} * {{cite book |last1=Gödel |first1=Kurt |editor1-last=Benacerraf |editor1-first=Paul |editor2-last=Putnam |editor2-first=Hilary |title=Philosophy of Mathematics: Selected Readings |date=1984 |publisher=Cambridge University Press |isbn=978-0-521-29648-9 |pages=447–469 |edition=2nd |url=https://www.cambridge.org/core/books/abs/philosophy-of-mathematics/russells-mathematical-logic/4D82F215FABFE06149D03EF1EF5BE7E4 |chapter=Russell's mathematical logic |access-date=9 January 2022 |archive-date=11 January 2022 |archive-url=https://web.archive.org/web/20220111091740/https://www.cambridge.org/core/books/abs/philosophy-of-mathematics/russells-mathematical-logic/4D82F215FABFE06149D03EF1EF5BE7E4 |url-status=live }} * {{cite web |last1=Hájek |first1=Petr |title=Fuzzy Logic |url=https://plato.stanford.edu/Archives/Win2012/entries/logic-fuzzy/ |website=Stanford Encyclopedia of Philosophy |access-date=19 July 2023 |language=en |date=3 September 2006 |publisher=Metaphysics Research Lab, Stanford University }} * {{cite journal |last1=Hájek |first1=Alan |last2=Lin |first2=Hanti |title=A Tale of Two Epistemologies? |journal=Res Philosophica |year=2017 |volume=94 |issue=2 |pages=207–232 |doi=10.11612/resphil.1540 |s2cid=160029122 |url=https://philpapers.org/rec/HJEATO |access-date=4 January 2022 |archive-date=4 January 2022 |archive-url=https://web.archive.org/web/20220104182746/https://philpapers.org/rec/HJEATO |url-status=live }} * {{cite book |last1=Hall |first1=Cordelia |last2=O'Donnell |first2=John |title=Discrete Mathematics Using a Computer |date=2000 |publisher=Springer Science & Business Media |isbn=978-1-85233-089-7 |page=48 |language=en }} * {{cite book |last1=Houde |first1=R. |last2=Camacho |first2=L. |title=New Catholic Encyclopedia |url=https://www.encyclopedia.com/science-and-technology/computers-and-electrical-engineering/electrical-engineering/induction |chapter=Induction |year=2003 |access-date=8 January 2022 |archive-date=8 January 2022 |archive-url=https://web.archive.org/web/20220108171720/https://www.encyclopedia.com/science-and-technology/computers-and-electrical-engineering/electrical-engineering/induction |url-status=live |isbn=978-0-7876-4004-0 }} * {{cite book |last1=Haack |first1=Susan |author-link=Susan Haack |title=Deviant Logic: Some Philosophical Issues |date=1974 |publisher=CUP Archive |isbn=978-0-521-20500-9 |page=51 |language=en }} * {{cite book |last1=Haack |first1=Susan |author-link=Susan Haack |title=Philosophy of Logics |date=1978 |publisher=London and New York: Cambridge University Press |url=https://philpapers.org/rec/HAAPOL-2 |chapter=1. 'Philosophy of logics' |access-date=29 December 2021 |archive-date=7 December 2021 |archive-url=https://web.archive.org/web/20211207200551/https://philpapers.org/rec/HAAPOL-2 |url-status=live |isbn=978-0-521-29329-7 |pages=1–10 }} * {{cite book |last1=Haack |first1=Susan |author-link=Susan Haack |title=Deviant Logic, Fuzzy Logic: Beyond the Formalism |date=1996 |publisher=University of Chicago Press |isbn=978-0-226-31133-3 |language=en }} * {{cite book |last1=Haaparanta |first1=Leila |title=The Development of Modern Logic |date=2009 |publisher=Oxford University Press |isbn=978-0-19-513731-6 |pages=4–6 |chapter=1. Introduction }} * {{cite web |last1=Hansen |first1=Hans |title=Fallacies |url=https://plato.stanford.edu/entries/fallacies/ |website=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University |access-date=18 March 2021 |year=2020 |archive-date=29 March 2021 |archive-url=https://web.archive.org/web/20210329182946/https://plato.stanford.edu/entries/fallacies/ |url-status=live }} * {{cite book |last1=Hartmann |first1=Stephan |last2=Sprenger |first2=Jan |title=The Routledge Companion to Epistemology |date=2010 |publisher=London: Routledge |pages=609–620 |url=https://philpapers.org/rec/BOVSIO |chapter=Bayesian Epistemology |access-date=4 January 2022 |archive-date=16 May 2021 |archive-url=https://web.archive.org/web/20210516095047/https://philpapers.org/rec/BOVSIO |url-status=live |isbn=978-0-415-96219-3 }} * {{cite web |last1=Hasse |first1=Dag Nikolaus |title=Influence of Arabic and Islamic Philosophy on the Latin West |url=https://plato.stanford.edu/entries/arabic-islamic-influence/ |website=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University |access-date=19 July 2023 |date=2008 }} * {{cite web |last1=Hawthorne |first1=James |title=Inductive Logic |url=https://plato.stanford.edu/entries/logic-inductive/ |website=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University |access-date=6 January 2022 |year=2021 |archive-date=21 January 2022 |archive-url=https://web.archive.org/web/20220121081805/https://plato.stanford.edu/entries/logic-inductive/ |url-status=live }} * {{cite web |last1=Hintikka |first1=Jaakko J. |author-link=Jaakko Hintikka |title=Philosophy of logic |url=https://www.britannica.com/topic/philosophy-of-logic |website=Encyclopædia Britannica |access-date=21 November 2021 |language=en |archive-date=28 April 2015 |archive-url=https://web.archive.org/web/20150428101732/http://www.britannica.com/EBchecked/topic/346240/philosophy-of-logic |url-status=live |date=2019 }} * {{cite web |last1=Hintikka |first1=Jaakko J. |author-link=Jaakko Hintikka |title=Logical systems |url=https://www.britannica.com/topic/logic/Logical-systems |website=Encyclopædia Britannica |access-date=4 December 2021 |language=en |archive-date=7 December 2021 |archive-url=https://web.archive.org/web/20211207184656/https://www.britannica.com/topic/logic/Logical-systems |url-status=live |date=2023 }} * {{cite journal |last1=Hintikka |first1=Jaakko |author-link=Jaakko Hintikka |title=Information, Deduction, and the A Priori |journal=Noûs |year=1970 |volume=4 |issue=2 |pages=135–152 |doi=10.2307/2214318 |jstor=2214318 |issn=0029-4624 }} * {{cite book |last1=Hintikka |first1=Jaakko |author-link=Jaakko Hintikka |last2=Sandu |first2=Gabriel |editor-last=Jacquette |editor-first=D. |title=Philosophy of Logic |date=2006 |publisher=North Holland |pages=13–39 |url=https://philpapers.org/rec/JAAWIL |chapter=What is Logic? |access-date=29 December 2021 |archive-date=7 December 2021 |archive-url=https://web.archive.org/web/20211207235525/https://philpapers.org/rec/JAAWIL |url-status=live |isbn=978-0-444-51541-4 }} * {{cite web |last1=Hintikka |first1=Jaakko J. |author-link=Jaakko Hintikka |last2=Spade |first2=Paul Vincent |title=History of logic |url=https://www.britannica.com/topic/history-of-logic |website=Encyclopædia Britannica |access-date=23 September 2022 |language=en }} * {{cite book |last1=Honderich |first1=Ted |author-link=Ted Honderich |title=The Oxford Companion to Philosophy |date=2005 |publisher=Oxford University Press |url=https://philpapers.org/rec/HONTOC-2 |access-date=2 January 2022 |archive-date=29 January 2021 |archive-url=https://web.archive.org/web/20210129082636/https://philpapers.org/rec/HONTOC-2 |url-status=live |isbn=978-0-19-926479-7 }} * {{cite book |last1=Hurley |first1=Patrick J. |title=Logic: The Essentials |date=2015 |publisher=Wadsworth |isbn=978-1-305-59041-0 |language=en |chapter=4. Categorical Syllogisms |pages=189–237 }} * {{cite web |last1=IEP Staff |title=Deductive and Inductive Arguments |url=https://iep.utm.edu/ded-ind/ |access-date=6 January 2022 |archive-date=28 May 2010 |archive-url=https://web.archive.org/web/20100528032124/https://iep.utm.edu/ded-ind/ |url-status=live }} * {{cite book |last1=Iqbal |first1=Mohammad |title=The Reconstruction of Religious Thought in Islam |date=2013 |publisher=Stanford University Press |isbn=978-0-8047-8686-7 |pages=99–115 |url=http://www.allamaiqbal.com/works/prose/english/reconstruction/ |language=en |chapter=The Spirit of Muslim Culture }} * {{cite web |last1=Irvine |first1=Andrew David |title=Bertrand Russell |url=https://plato.stanford.edu/entries/russell/ |website=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University |access-date=29 September 2022 |date=2022 }} * {{cite book |last1=Jacquette |first1=Dale |title=Philosophy of Logic |date=2006 |publisher=North Holland |url=https://philpapers.org/rec/JACPOL |chapter=Introduction: Philosophy of logic today |access-date=29 December 2021 |archive-date=7 December 2021 |archive-url=https://web.archive.org/web/20211207184932/https://philpapers.org/rec/JACPOL |url-status=live |isbn=978-0-444-51541-4 |pages=1–12 }} * {{cite book |last1=Jago |first1=Mark |title=The Impossible: An Essay on Hyperintensionality |date=2014 |publisher=OUP Oxford |isbn=978-0-19-101915-9 |page=41 |language=en }} * {{cite web |last1=Janssen |first1=Theo M. V. |last2=Zimmermann |first2=Thomas Ede |title=Montague Semantics |url=https://plato.stanford.edu/entries/montague-semantics/ |website=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University |access-date=10 March 2023 |date=2021 |pages=3–4 }} * {{cite journal |last1=Johnson |first1=Ralph H. |title=The Relation Between Formal and Informal Logic |journal=Argumentation |year=1999 |volume=13 |issue=3 |pages=265–274 |doi=10.1023/A:1007789101256 |s2cid=141283158 |url=https://philpapers.org/rec/JOHTRB-2 |access-date=2 January 2022 |archive-date=7 December 2021 |archive-url=https://web.archive.org/web/20211207184706/https://philpapers.org/rec/JOHTRB-2 |url-status=live }} * {{cite book |last1=Johnson |first1=Ralph H. |title=The Rise of Informal Logic: Essays on Argumentation, Critical Thinking, Reasoning and Politics |date=15 July 2014 |publisher=University of Windsor |isbn=978-0-920233-71-9 |language=en }} * {{cite book |last1=Ketland |first1=Jeffrey |title=Macmillan Encyclopedia of Philosophy Volume 8 |date=2005 |url=https://www.encyclopedia.com/humanities/encyclopedias-almanacs-transcripts-and-maps/second-order-logic |chapter=Second Order Logic |access-date=4 January 2022 |archive-date=7 December 2021 |archive-url=https://web.archive.org/web/20211207184921/https://www.encyclopedia.com/humanities/encyclopedias-almanacs-transcripts-and-maps/second-order-logic |url-status=live |isbn=978-0-02-865788-2 |pages=707–708 |publisher=Macmillan Reference USA }} * {{cite book |last1=King |first1=Jeffrey C. |title=The Oxford Handbook of Philosophy of Language |chapter=Formal Semantics |date=2 September 2009 |pages=557–8 |doi=10.1093/oxfordhb/9780199552238.003.0023 |isbn=978-0-19-955223-8 }} * {{cite web |last1=King |first1=Jeffrey C. |title=Structured Propositions |url=https://plato.stanford.edu/entries/propositions-structured/ |website=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University |access-date=4 December 2021 |year=2019 |archive-date=25 October 2021 |archive-url=https://web.archive.org/web/20211025211706/https://plato.stanford.edu/entries/propositions-structured/ |url-status=live }} * {{cite web |last1=Klement |first1=Kevin C. |title=Propositional Logic |url=https://iep.utm.edu/prop-log/ |website=Internet Encyclopedia of Philosophy |access-date=23 September 2022 |year=1995b |issn=2161-0002 }} * {{cite book |last=Kline |first=Morris |title=Mathematical Thought From Ancient to Modern Times |publisher=Oxford University Press |year=1972 |isbn=978-0-19-506135-2 }} * {{cite book |last1=Kneale |first1=William |author-link=William Kneale |last2=Kneale |first2=Martha |title=The Development of Logic |date=1962 |publisher=Clarendon Press |language=en |isbn=978-0-19-824773-9 }} * {{cite book |last1=Knuuttila |first1=Simo |title=Reforging the Great Chain of Being: Studies of the History of Modal Theories |date=1980 |publisher=Springer Science & Business Media |isbn=978-90-277-1125-0 |page=71 |language=en }} * {{cite journal |last1=Korb |first1=Kevin |title=Bayesian Informal Logic and Fallacy |journal=Informal Logic |year=2004 |volume=24 |issue=1 |pages=41–70 |doi=10.22329/il.v24i1.2132 |url=https://philpapers.org/rec/KORBIL |access-date=2 January 2022 |archive-date=10 November 2021 |archive-url=https://web.archive.org/web/20211110075255/https://philpapers.org/rec/KORBIL |url-status=live |doi-access=free }} * {{cite book |last1=Koslowski |first1=Barbara |title=International Handbook of Thinking and Reasoning |date=2017 |publisher=Routledge |isbn=978-1-315-72569-7 |chapter-url=https://www.taylorfrancis.com/chapters/edit/10.4324/9781315725697-20/abductive-reasoning-explanation-barbara-koslowski |chapter=Abductive Reasoning and Explanation |doi=10.4324/9781315725697 |access-date=8 January 2022 |archive-date=8 January 2022 |archive-url=https://web.archive.org/web/20220108225144/https://www.taylorfrancis.com/chapters/edit/10.4324/9781315725697-20/abductive-reasoning-explanation-barbara-koslowski |url-status=live |pages=366–382 }} * {{cite web |last1=Kusch |first1=Martin |title=Psychologism |url=https://plato.stanford.edu/entries/psychologism/ |website=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University |access-date=30 November 2021 |year=2020 |archive-date=29 December 2020 |archive-url=https://web.archive.org/web/20201229220156/https://plato.stanford.edu/entries/psychologism/ |url-status=live }} * {{cite journal |last1=Lagerlund |first1=Henrik |title=Review of The Aftermath of Syllogism: Aristotelian Logical Argument from Avicenna to Hegel |url=https://ndpr.nd.edu/reviews/the-aftermath-of-syllogism-aristotelian-logical-argument-from-avicenna-to-hegel/ |website=Notre Dame Philosophical Reviews |access-date=19 July 2023 |language=en |date=27 September 2018 }} * {{cite book |last1=Lear |first1=Jonathan |title=Aristotle and Logical Theory |date=1980 |publisher=CUP Archive |isbn=978-0-521-31178-6 |page=34 |language=en }} * {{cite book |last1=Leary |first1=Christopher C. |last2=Kristiansen |first2=Lars |title=A Friendly Introduction to Mathematical Logic |date=2015 |publisher=Suny |isbn=978-1-942341-07-9 |page=195 |language=en }} * {{cite book |last1=Lepore |first1=Ernest |last2=Cumming |first2=Sam |title=Meaning and Argument: An Introduction to Logic Through Language |date=14 September 2012 |publisher=John Wiley & Sons |isbn=978-1-118-45521-0 |page=5 |language=en }} * {{cite book |last1=Li |first1=Wei |title=Mathematical Logic: Foundations for Information Science |date=26 February 2010 |publisher=Springer Science & Business Media |isbn=978-3-7643-9977-1 |page=ix |language=en }} * {{cite book |last1=Linsky |first1=Bernard |title=The Evolution of Principia Mathematica: Bertrand Russell's Manuscripts and Notes |edition=2nd |date=2011 |publisher=Cambridge University Press |isbn=978-1-139-49733-6 |page=4 |language=en }} * {{cite book |last1=Liu |first1=Shiyong |last2=Guo |first2=Kaizhong |title=Error Logic: Paving Pathways for Intelligent Error Identification and Management |date=7 March 2023 |publisher=Springer Nature |isbn=978-3-031-00820-7 |page=15 |language=en }} * {{cite book |last=Łukasiewicz |first=Jan |title=Aristotle's Syllogistic from the Standpoint of Modern Formal Logic |publisher=Oxford University Press |year=1957 |edition=2nd |page=7 |author-link=Jan Łukasiewicz |oclc=656161566 }} * {{cite web |last1=MacFarlane |first1=John |title=Logical Constants |url=https://plato.stanford.edu/entries/logical-constants/#SynTer |website=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University |access-date=21 November 2021 |year=2017 |archive-date=17 March 2020 |archive-url=https://web.archive.org/web/20200317180221/https://plato.stanford.edu/entries/logical-constants/#SynTer |url-status=live }} * {{cite web |last1=Mackie |first1=J. L. |author-link=J. L. Mackie |title=Fallacies |url=https://www.encyclopedia.com/humanities/encyclopedias-almanacs-transcripts-and-maps/fallacies |website=encyclopedia.com |access-date=19 March 2021 |year=1967 |archive-date=15 April 2021 |archive-url=https://web.archive.org/web/20210415101134/https://www.encyclopedia.com/humanities/encyclopedias-almanacs-transcripts-and-maps/fallacies |url-status=live }} * {{cite book |last1=Magnus |first1=P. D. |title=Forall X: An Introduction to Formal Logic |date=2005 |publisher=Victoria, BC, Canada: State University of New York Oer Services |url=https://philpapers.org/rec/MAGFXI |access-date=29 December 2021 |archive-date=7 December 2021 |archive-url=https://web.archive.org/web/20211207200544/https://philpapers.org/rec/MAGFXI |url-status=live |isbn=978-1-64176-026-3 |pages=8–9 }} * {{cite book |last1=Makridis |first1=Odysseus |title=Symbolic Logic |date=2022 |publisher=Springer Nature |isbn=978-3-030-67396-3 |pages=1–2 |language=en }} * {{cite book |last1=Maltby |first1=John |last2=Day |first2=Liz |last3=Macaskill |first3=Ann |title=Personality, Individual Differences and Intelligence |date=2007 |publisher=Prentice Hall |isbn=978-0-13-129760-9 |language=en }} * {{cite web |last1=Marenbon |first1=John |title=Anicius Manlius Severinus Boethius |url=https://plato.stanford.edu/entries/boethius/ |website=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University |date=2021 }} * {{cite web |last1=McKeon |first1=Matthew |title=Logical Consequence |url=https://iep.utm.edu/logcon/ |website=Internet Encyclopedia of Philosophy |access-date=20 November 2021 |archive-date=12 November 2021 |archive-url=https://web.archive.org/web/20211112071437/https://iep.utm.edu/logcon/ |url-status=live }} * {{cite web |last1=Michaelson |first1=Eliot |last2=Reimer |first2=Marga |title=Reference |url=https://plato.stanford.edu/entries/reference/ |website=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University |access-date=4 December 2021 |year=2019 |archive-date=7 December 2021 |archive-url=https://web.archive.org/web/20211207184705/https://plato.stanford.edu/entries/reference/ |url-status=live }} * {{cite book |last1=Mills |first1=Ethan |title=Three Pillars of Skepticism in Classical India: Nagarjuna, Jayarasi, and Sri Harsa |date=2018 |publisher=Rowman & Littlefield |isbn=978-1-4985-5570-8 |page=121 |language=en |quote=... for Nyāya all inference is ultimately rooted in perception ... Naiyāyikas typically accept four means of knowledge: perception, inference, comparison, and testimony. }} * {{cite book |last1=Monk |first1=J. Donald |title=Mathematical Logic |date=1976 |publisher=Springer |isbn=978-1-4684-9452-5 |pages=1–9 |chapter-url=https://link.springer.com/chapter/10.1007/978-1-4684-9452-5_1 |language=en |chapter=Introduction |doi=10.1007/978-1-4684-9452-5_1 |access-date=9 January 2022 |archive-date=9 January 2022 |archive-url=https://web.archive.org/web/20220109131251/https://link.springer.com/chapter/10.1007/978-1-4684-9452-5_1 |url-status=live }} * {{cite book |last1=Moore |first1=Kevin |last2=Cromby |first2=John |title=How Best to 'Go On'? Prospects for a 'Modern Synthesis' in the Sciences of Mind |date=8 August 2016 |publisher=Frontiers Media SA |isbn=978-2-88919-906-8 |page=60 |language=en }} * {{cite book |last1=Moore |first1=Terence |last2=Carling |first2=Christine |title=Understanding Language: Towards a Post-Chomskyan Linguistics |date=1982 |publisher=Springer |isbn=978-1-349-16895-8 |page=53 |language=en }} * {{cite web |last1=Moschovakis |first1=Joan |title=Intuitionistic Logic |url=https://plato.stanford.edu/entries/logic-intuitionistic/ |website=The Stanford Encyclopedia of Philosophy: Introduction |publisher=Metaphysics Research Lab, Stanford University |access-date=11 March 2023 |date=2022 }} * {{cite web |last1=Nolt |first1=John |title=Free Logic: 1. The Basics |url=https://plato.stanford.edu/entries/logic-free/#1 |website=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University |access-date=10 September 2022 |year=2021 }} * {{cite book |last1=Nunes |first1=Terezinha |editor1-last=Seel |editor1-first=Norbert M. |title=Encyclopedia of the Sciences of Learning |date=2011 |publisher=Springer Science & Business Media |isbn=978-1-4419-1427-9 |language=en |pages=2066–2069 |chapter=Logical Reasoning and Learning }} * {{cite book |last1=O'Regan |first1=Gerard |title=Introduction to the History of Computing: A Computing History Primer |date=2016 |publisher=Springer |isbn=978-3-319-33138-6 |page=49 |language=en }} * {{cite book |last1=Oaksford |first1=Mike |last2=Chater |first2=Nick |title=Bayesian Rationality: The Probabilistic Approach to Human Reasoning |date=2007 |publisher=OUP Oxford |isbn=978-0-19-852449-6 |page=47 |language=en }} * {{cite book |last1=Olkowski |first1=Dorothea |last2=Pirovolakis |first2=Eftichis |title=Deleuze and Guattari's Philosophy of Freedom: Freedom's Refrains |date=31 January 2019 |publisher=Routledge |isbn=978-0-429-66352-9 |pages=65–66 |language=en }} * {{cite book |last1=Olsson |first1=Erik J. |title=Introduction to Formal Philosophy |date=2018 |publisher=Springer |pages=431–442 |url=https://philpapers.org/rec/OLSBE |chapter=Bayesian Epistemology |access-date=4 January 2022 |archive-date=16 May 2021 |archive-url=https://web.archive.org/web/20210516095057/https://philpapers.org/rec/OLSBE |url-status=live |isbn=978-3-030-08454-7 }} * {{cite web |author=Online Etymology Staff |title=Logic |url=https://www.etymonline.com/word/logic?ref=etymonline_crossreference |website=etymonline.com |access-date=29 December 2021 |language=en |archive-date=29 December 2021 |archive-url=https://web.archive.org/web/20211229134626/https://www.etymonline.com/word/logic?ref=etymonline_crossreference |url-status=live }} * {{cite book |last1=Partee |first1=Barbara H. |editor1-last=Aloni |editor1-first=Maria |editor2-last=Dekker |editor2-first=Paul |title=The Cambridge Handbook of Formal Semantics |date=2016 |publisher=Cambridge University Press |isbn=978-1-107-02839-5 }} * {{cite journal |last1=Paulson |first1=Lawrence C. |title=Computational Logic: Its Origins and Applications |journal=Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences |date=February 2018 |volume=474 |issue=2210 |pages=1–14 |doi=10.1098/rspa.2017.0872 |pmid=29507522 |pmc=5832843 |arxiv=1712.04375 |bibcode=2018RSPSA.47470872P |s2cid=3805901 }} * {{cite journal |last1=Pedemonte |first1=Bettina |title=Strategic vs Definitory Rules: Their Role in Abductive Argumentation and their Relationship with Deductive Proof |journal=Eurasia Journal of Mathematics, Science and Technology Education |date=25 June 2018 |volume=14 |issue=9 |pages=1–17 |doi=10.29333/ejmste/92562 |s2cid=126245285 |url=https://www.ejmste.com/article/strategic-vs-definitory-rules-their-role-in-abductive-argumentation-and-their-relationship-with-5539 |language=english |issn=1305-8215 |access-date=8 January 2022 |archive-date=7 December 2021 |archive-url=https://web.archive.org/web/20211207195246/https://www.ejmste.com/article/strategic-vs-definitory-rules-their-role-in-abductive-argumentation-and-their-relationship-with-5539 |url-status=live |doi-access=free }} * {{cite journal |last1=Pickel |first1=Bryan |title=Structured Propositions and Trivial Composition |journal=Synthese |date=1 July 2020 |volume=197 |issue=7 |pages=2991–3006 |doi=10.1007/s11229-018-1853-1 |s2cid=49729020 |language=en |issn=1573-0964 |doi-access=free |hdl=20.500.11820/3427c028-f2cb-4216-a199-9679a49ce71c |hdl-access=free }} * {{cite web |last1=Pietroski |first1=Paul |title=Logical Form: 1. Patterns of Reason |url=https://plato.stanford.edu/entries/logical-form/#pat |website=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University |access-date=4 December 2021 |year=2021 |archive-date=2 October 2021 |archive-url=https://web.archive.org/web/20211002190116/https://plato.stanford.edu/entries/logical-form/#pat |url-status=live }} * {{cite book |last1=Planty-Bonjour |first1=Guy |title=The Categories of Dialectical Materialism: Contemporary Soviet Ontology |date=2012 |publisher=Springer Science & Business Media |isbn=978-94-010-3517-0 |page=62 |language=en }} * {{cite journal |last1=Possin |first1=Kevin |title=Conductive Arguments: Why is This Still a Thing? |journal=Informal Logic |year=2016 |volume=36 |issue=4 |pages=563–593 |doi=10.22329/il.v36i4.4527 |url=https://philpapers.org/rec/POSCAW-4 |access-date=8 January 2022 |archive-date=8 January 2022 |archive-url=https://web.archive.org/web/20220108171723/https://philpapers.org/rec/POSCAW-4 |url-status=live |doi-access=free }} * {{cite web |last1=Priest |first1=Graham |last2=Tanaka |first2=Koji |last3=Weber |first3=Zach |title=Paraconsistent Logic |url=https://plato.stanford.edu/entries/logic-paraconsistent/ |website=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University |access-date=14 December 2021 |year=2018 }} * {{cite book |last1=Pépin |first1=Jean |title=Encyclopedia of Religion |url=https://www.encyclopedia.com/philosophy-and-religion/philosophy/philosophy-terms-and-concepts/logos |chapter=Logos |year=2004 |access-date=29 December 2021 |archive-date=29 December 2021 |archive-url=https://web.archive.org/web/20211229134626/https://www.encyclopedia.com/philosophy-and-religion/philosophy/philosophy-terms-and-concepts/logos |url-status=live |isbn=978-0-02-865733-2 }} * {{cite book |last=Putnam |first=H. |title=Boston Studies in the Philosophy of Science |chapter=Is Logic Empirical? |author-link=Hilary Putnam |year=1969 |volume=5 |pages=216–241 |doi=10.1007/978-94-010-3381-7_5 |isbn=978-94-010-3383-1 }} * {{cite book |last1=Quine |first1=Willard Van Orman |author-link=Willard Van Orman Quine |title=Mathematical Logic |date=1981 |publisher=Harvard University Press |isbn=978-0-674-55451-1 |page=1 |language=en }} * {{cite web |last1=Rathjen |first1=Michael |last2=Sieg |first2=Wilfried |title=Proof Theory |url=https://plato.stanford.edu/entries/proof-theory/ |website=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University |access-date=4 March 2023 |date=2022 }} * {{cite book |last1=Rautenberg |first1=Wolfgang |title=A Concise Introduction to Mathematical Logic |date=1 July 2010 |publisher=Springer |isbn=978-1-4419-1221-3 |page=15 |language=en }} * {{cite web |last1=Rendsvig |first1=Rasmus |last2=Symons |first2=John |title=Epistemic Logic |url=https://plato.stanford.edu/entries/logic-epistemic/ |website=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University |access-date=11 March 2023 |date=2021 }} * {{cite book |last1=Restall |first1=Greg |last2=Standefer |first2=Shawn |title=Logical Methods |date=2023 |publisher=MIT Press |isbn=978-0-262-54484-9 |pages=91 |language=en }} * {{cite book |last1=Richardson |first1=Alan W. |title=Carnap's Construction of the World: The Aufbau and the Emergence of Logical Empiricism |date=1998 |publisher=Cambridge University Press |isbn=978-0-521-43008-1 |page=15 |language=en }} * {{cite book |last1=Rini |first1=Adriane |title=Aristotle's Modal Proofs: Prior Analytics A8-22 in Predicate Logic |date=13 December 2010 |publisher=Springer Science & Business Media |isbn=978-94-007-0050-5 |page=26 |language=en }} * {{cite journal |last1=Ritola |first1=Juho |title=Walton's Informal Logic: A Pragmatic Approach |journal=Informal Logic |date=1 December 2008 |volume=28 |issue=4 |pages=335 |doi=10.22329/il.v28i4.2856 |doi-access=free }} * {{cite book |last1=Rocci |first1=Andrea |title=Modality in Argumentation: A Semantic Investigation of the Role of Modalities in the Structure of Arguments with an Application to Italian Modal Expressions |date=8 March 2017 |publisher=Springer |isbn=978-94-024-1063-1 |page=26 |language=en }} * {{cite journal |last1=Rošker |first1=Jana S. |title=Classical Chinese Logic: Philosophy Compass |journal=Philosophy Compass |date=May 2015 |volume=10 |issue=5 |pages=301–309 |doi=10.1111/phc3.12226 }} * {{cite book |last1=Runco |first1=Mark A. |last2=Pritzker |first2=Steven R. |title=Encyclopedia of Creativity |date=1999 |publisher=Academic Press |isbn=978-0-12-227075-8 |page=155 |language=en }} * {{cite book |last1=Rush |first1=Penelope |title=The Metaphysics of Logic |date=2014 |publisher=Cambridge University Press |url=https://philpapers.org/rec/RUSTMO-4 |chapter=Introduction |access-date=8 January 2022 |archive-date=7 December 2021 |archive-url=https://web.archive.org/web/20211207184954/https://philpapers.org/rec/RUSTMO-4 |url-status=live |isbn=978-1-107-03964-3 |pages=1–10 }} * {{cite book |last1=Sadegh-Zadeh |first1=Kazem |title=Handbook of Analytic Philosophy of Medicine |date=2015 |publisher=Springer |isbn=978-94-017-9579-1 |page=983 |language=en }} * {{cite journal |last1=Sagüillo |first1=José M. |title=Hintikka on Information and Deduction |journal=Teorema: Revista Internacional de Filosofía |year=2014 |volume=33 |issue=2 |pages=75–88 |jstor=43047609 |issn=0210-1602 }} * {{cite book |last1=Sarukkai |first1=Sundar |last2=Chakraborty |first2=Mihir Kumar |title=Handbook of Logical Thought in India |date=2022 |publisher=Springer Nature |isbn=978-81-322-2577-5 |pages=117–8 |language=en }} * {{cite web |last1=Schagrin |first1=Morton L. |title=Metalogic |url=https://www.britannica.com/topic/metalogic |website=Encyclopædia Britannica |access-date=23 September 2022 |language=en }} * {{cite web |last1=Schechter |first1=Joshua |title=Epistemology of Logic – Bibliography |url=https://philpapers.org/browse/epistemology-of-logic |website=PhilPapers |access-date=11 September 2022 }} * {{cite book |last1=Schlesinger |first1=I. M. |last2=Keren-Portnoy |first2=Tamar |last3=Parush |first3=Tamar |title=The Structure of Arguments |date=1 January 2001 |publisher=John Benjamins Publishing |isbn=978-90-272-2359-3 |page=220 |language=en }} * {{cite book |last1=Schreiner |first1=Wolfgang |title=Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions |date=2021 |publisher=Springer Nature |isbn=978-3-030-80507-4 |page=22 |language=en }} * {{cite book |last1=Scott |first1=John |last2=Marshall |first2=Gordon |title=A Dictionary of Sociology |date=2009 |publisher=Oxford University Press |isbn=978-0-19-953300-8 |url=https://www.oxfordreference.com/view/10.1093/oi/authority.20110803095410661 |language=en |chapter=analytic induction |access-date=8 January 2022 |archive-date=8 January 2022 |archive-url=https://web.archive.org/web/20220108173225/https://www.oxfordreference.com/view/10.1093/oi/authority.20110803095410661 |url-status=live }} * {{cite web |last1=Shapiro |first1=Stewart |last2=Kouri Kissel |first2=Teresa |title=Classical Logic |url=https://plato.stanford.edu/entries/logic-classical/#Sema |website=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University |access-date=19 July 2023 |date=2022 }} * {{cite book |last1=Shermer |first1=Michael |title=Conspiracy: Why the Rational Believe the Irrational |date=25 October 2022 |publisher=JHU Press |isbn=978-1-4214-4445-1 |language=en }} * {{cite book |last=Sider |first=Theodore |author-link=Theodore Sider |year=2010 |title=Logic for Philosophy |publisher=Oxford University Press |isbn=978-0-19-957558-9 }} * {{cite journal |last1=Siegel |first1=Harvey |last2=Biro |first2=John |title=Epistemic Normativity, Argumentation, and Fallacies |journal=Argumentation |year=1997 |volume=11 |issue=3 |pages=277–292 |doi=10.1023/A:1007799325361 |s2cid=126269789 |url=https://philpapers.org/rec/SIEENA |access-date=4 January 2022 |archive-date=28 February 2022 |archive-url=https://web.archive.org/web/20220228035651/https://philpapers.org/rec/SIEENA |url-status=live }} * {{cite book |last1=Simpson |first1=R. L. |title=Essentials of Symbolic Logic |edition=3rd |date=2008 |publisher=Broadview Press |isbn=978-1-77048-495-5 |page=14 |language=en }} * {{cite web |last1=Smith |first1=Robin |title=Aristotle's Logic |url=https://plato.stanford.edu/entries/aristotle-logic/ |website=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University |access-date=11 March 2023 |date=2022 }} * {{cite web |last1=Spade |first1=Paul Vincent |last2=Panaccio |first2=Claude |title=William of Ockham |url=https://plato.stanford.edu/entries/ockham/#SummLogi |website=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University |date=2019 }} * {{cite book |last1=Spriggs |first1=John |title=GSN – The Goal Structuring Notation: A Structured Approach to Presenting Arguments |date=2012 |publisher=Springer Science & Business Media |isbn=978-1-4471-2312-5 |pages=20–22 |language=en }} * {{cite book |last1=Stairs |first1=Allen |title=A Thinker's Guide to the Philosophy of Religion |year=2017 |publisher=Routledge |isbn=978-1-351-21981-5 |page=343 |language=en }} * {{cite web |last1=Sternberg |first1=Robert J. |title=Thought |url=https://www.britannica.com/topic/thought |website=Encyclopædia Britannica |access-date=14 October 2021 |language=en |archive-date=13 October 2021 |archive-url=https://web.archive.org/web/20211013145532/https://www.britannica.com/topic/thought |url-status=live }} * {{cite book |last1=Stolyar |first1=Abram Aronovich |title=Introduction to Elementary Mathematical Logic |date=1 January 1984 |publisher=Courier Corporation |isbn=978-0-486-64561-2 |language=en }} * {{cite journal |last1=Stone |first1=Mark A. |title=Denying the Antecedent: Its Effective Use in Argumentation |journal=Informal Logic |year=2012 |volume=32 |issue=3 |pages=327–356 |doi=10.22329/il.v32i3.3681 |url=https://philpapers.org/rec/STODTA |access-date=8 January 2022 |archive-date=28 February 2022 |archive-url=https://web.archive.org/web/20220228123240/https://philpapers.org/rec/STODTA |url-status=live |doi-access=free }} * {{cite web |last1=Stump |first1=David J. |title=Fallacy, Logical |url=https://www.encyclopedia.com/history/dictionaries-thesauruses-pictures-and-press-releases/fallacy-logical |website=encyclopedia.com |access-date=20 March 2021 |archive-date=15 February 2021 |archive-url=https://web.archive.org/web/20210215112403/https://www.encyclopedia.com/history/dictionaries-thesauruses-pictures-and-press-releases/fallacy-logical |url-status=live }} * {{cite web |last1=Talbott |first1=William |title=Bayesian Epistemology |url=https://plato.stanford.edu/entries/epistemology-bayesian/ |website=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University |access-date=6 March 2021 |year=2016 |archive-date=1 April 2021 |archive-url=https://web.archive.org/web/20210401034856/https://plato.stanford.edu/entries/epistemology-bayesian/ |url-status=live }} * {{cite book |last1=Tarski |first1=Alfred |author-link=Alfred Tarski |title=Introduction to Logic and to the Methodology of the Deductive Sciences |date=1994 |publisher=Oxford University Press |isbn=978-0-19-802139-1 |page=40 |language=en }} * {{cite book |last1=Tondl |first1=L. |title=Problems of Semantics: A Contribution to the Analysis of the Language Science |date=2012 |publisher=Springer Science & Business Media |isbn=978-94-009-8364-9 |page=111 |language=en }} * {{cite book |last1=Velleman |first1=Daniel J. |title=How to Prove It: A Structured Approach |date=2006 |publisher=Cambridge University Press |isbn=978-0-521-67599-4 |page=8, 103 |language=en }} * {{cite web |last1=Vickers |first1=John M. |title=Inductive Reasoning |url=https://www.oxfordbibliographies.com/display/document/obo-9780195396577/obo-9780195396577-0171.xml |website=Oxford Bibliographies |publisher=Oxford University Press |access-date=18 January 2023 |language=en |date=2022 }} * {{cite book |last1=Vidyabhusana |first1=Satis Chandra |title=A History of Indian Logic: Ancient, Mediaeval and Modern Schools |date=1988 |publisher=Motilal Banarsidass Publisher |isbn=978-81-208-0565-1 |page=221 |language=en }} * {{cite book |last1=Vleet |first1=Van Jacob E. |title=Informal Logical Fallacies: A Brief Guide |date=2010 |publisher=Upa |url=https://philpapers.org/rec/VLEILF |chapter=Introduction |access-date=2 January 2022 |archive-date=28 February 2022 |archive-url=https://web.archive.org/web/20220228035654/https://philpapers.org/rec/VLEILF |url-status=live |isbn=978-0-7618-5432-6 |pages=ix-x }} * {{cite web |last1=Väänänen |first1=Jouko |title=Second-order and Higher-order Logic |url=https://plato.stanford.edu/entries/logic-higher-order/ |website=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University |access-date=23 November 2021 |year=2021 |archive-date=30 October 2021 |archive-url=https://web.archive.org/web/20211030222316/https://plato.stanford.edu/entries/logic-higher-order/ |url-status=live }} * {{cite book |last1=Walton |first1=Douglas N. |author-link=Douglas N. Walton |title=Informal Fallacies: Towards a Theory of Argument Criticisms |date=1987 |publisher=John Benjamins |url=https://philpapers.org/rec/WALIFT |access-date=2 January 2022 |archive-date=2 March 2022 |archive-url=https://web.archive.org/web/20220302001111/https://philpapers.org/rec/WALIFT |url-status=live |isbn=978-1-55619-010-0 }} * {{cite book |last1=Warren |first1=Jared |title=Shadows of Syntax: Revitalizing Logical and Mathematical Conventionalism |date=2020 |publisher=Oxford University Press |isbn=978-0-19-008615-2 |url=https://global.oup.com/academic/product/shadows-of-syntax-9780190086152 }} * {{cite journal |last1=Washell |first1=Richard F. |title=Logic, Language, and Albert the Great |journal=Journal of the History of Ideas |date=1973 |volume=34 |issue=3 |pages=445–50 |doi=10.2307/2708963 |jstor=2708963 |url=https://philpapers.org/rec/WASLLA-3 }} * {{cite book |last1=Wasilewska |first1=Anita |title=Logics for Computer Science: Classical and Non-Classical |date=2018 |publisher=Springer |isbn=978-3-319-92591-2 |pages=145–6 |language=en }} * {{cite web |last1=Weber |first1=Zach |title=Paraconsistent Logic |url=https://iep.utm.edu/para-log/ |website=Internet Encyclopedia of Philosophy |access-date=12 December 2021 }} * {{cite book |last1=Weddle |first1=Perry |title=Across the Lines of Disciplines |chapter=Chapter 36. Informal logic and the eductive-inductive distinction |date=2011 |publisher=De Gruyter Mouton |isbn=978-3-11-086771-8 |url=https://www.degruyter.com/document/doi/10.1515/9783110867718.383/html |language=en |doi=10.1515/9783110867718.383 |access-date=2 January 2022 |archive-date=31 December 2021 |archive-url=https://web.archive.org/web/20211231172343/https://www.degruyter.com/document/doi/10.1515/9783110867718.383/html |url-status=live |pages=383–388 }} * {{cite journal |last1=Westerståhl |first1=Dag |title=Aristotelian Syllogisms and Generalized Quantifiers |journal=Studia Logica |year=1989 |volume=48 |issue=4 |pages=577–585 |doi=10.1007/BF00370209 |s2cid=32089424 |url=https://philpapers.org/rec/WESASA |access-date=4 January 2022 |archive-date=4 January 2022 |archive-url=https://web.archive.org/web/20220104182746/https://philpapers.org/rec/WESASA |url-status=live }} * {{cite journal |last1=Wilbanks |first1=Jan J. |title=Defining Deduction, Induction, and Validity |journal=Argumentation |date=1 March 2010 |volume=24 |issue=1 |pages=107–124 |doi=10.1007/s10503-009-9131-5 |s2cid=144481717 |url=https://link.springer.com/article/10.1007/s10503-009-9131-5 |language=en |issn=1572-8374 |access-date=8 January 2022 |archive-date=8 January 2022 |archive-url=https://web.archive.org/web/20220108171721/https://link.springer.com/article/10.1007/s10503-009-9131-5 |url-status=live }} * {{cite web |last1=Wilce |first1=Alexander |title=Quantum Logic and Probability Theory: 2.1 Realist Quantum Logic |url=https://plato.stanford.edu/entries/qt-quantlog/#RealQuanLogi |website=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University |access-date=11 March 2023 |date=2021 }} * {{cite book |last1=Wile |first1=Bruce |last2=Goss |first2=John |last3=Roesner |first3=Wolfgang |title=Comprehensive Functional Verification: The Complete Industry Cycle |date=2005 |publisher=Elsevier |isbn=978-0-08-047664-3 |page=447 |language=en }} * {{cite web |last1=Willman |first1=Marshall D. |title=Logic and Language in Early Chinese Philosophy |url=https://plato.stanford.edu/entries/chinese-logic-language/ |website=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University |access-date=11 March 2023 |at=Introduction |date=2022 }} * {{cite journal |last1=Wolf |first1=Robert G. |title=Are Relevant Logics Deviant? |journal=Philosophia |year=1978 |volume=7 |issue=2 |pages=327–340 |doi=10.1007/BF02378819 |s2cid=143697796 |url=https://philpapers.org/rec/WOLARL |access-date=4 January 2022 |archive-date=16 December 2021 |archive-url=https://web.archive.org/web/20211216143955/https://philpapers.org/rec/WOLARL |url-status=live }} * {{cite book |last=Zegarelli |first=Mark |title=Logic For Dummies |page=30 |year=2010 |publisher=John Wiley & Sons |isbn=978-1-118-05307-2 }} {{refend}} </textarea><div class="templatesUsed"></div><p id="mw-returnto">Return to <a href="/wiki/Logic" title="Logic">Logic</a>.</p> <noscript><img src="https://login.wikimedia.org/wiki/Special:CentralAutoLogin/start?type=1x1&useformat=desktop" alt="" width="1" height="1" style="border: none; position: absolute;"></noscript> <div class="printfooter" data-nosnippet="">Retrieved from "<a dir="ltr" href="https://en.wikipedia.org/wiki/Logic">https://en.wikipedia.org/wiki/Logic</a>"</div></div> <div id="catlinks" class="catlinks catlinks-allhidden" data-mw="interface"></div> </div> </main> </div> <div class="mw-footer-container"> <footer id="footer" class="mw-footer" > <ul id="footer-info"> </ul> <ul id="footer-places"> <li id="footer-places-privacy"><a href="https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Privacy_policy">Privacy policy</a></li> <li id="footer-places-about"><a href="/wiki/Wikipedia:About">About Wikipedia</a></li> <li id="footer-places-disclaimers"><a href="/wiki/Wikipedia:General_disclaimer">Disclaimers</a></li> <li id="footer-places-contact"><a href="//en.wikipedia.org/wiki/Wikipedia:Contact_us">Contact Wikipedia</a></li> <li id="footer-places-wm-codeofconduct"><a href="https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Universal_Code_of_Conduct">Code of Conduct</a></li> <li id="footer-places-developers"><a href="https://developer.wikimedia.org">Developers</a></li> <li id="footer-places-statslink"><a href="https://stats.wikimedia.org/#/en.wikipedia.org">Statistics</a></li> <li id="footer-places-cookiestatement"><a href="https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Cookie_statement">Cookie statement</a></li> <li id="footer-places-mobileview"><a href="//en.m.wikipedia.org/w/index.php?title=Logic&action=edit&section=38&mobileaction=toggle_view_mobile" class="noprint stopMobileRedirectToggle">Mobile view</a></li> </ul> <ul id="footer-icons" class="noprint"> <li id="footer-copyrightico"><a href="https://wikimediafoundation.org/" class="cdx-button cdx-button--fake-button cdx-button--size-large cdx-button--fake-button--enabled"><img src="/static/images/footer/wikimedia-button.svg" width="84" height="29" alt="Wikimedia Foundation" loading="lazy"></a></li> <li id="footer-poweredbyico"><a href="https://www.mediawiki.org/" class="cdx-button cdx-button--fake-button cdx-button--size-large cdx-button--fake-button--enabled"><img src="/w/resources/assets/poweredby_mediawiki.svg" alt="Powered by MediaWiki" width="88" height="31" loading="lazy"></a></li> </ul> </footer> </div> </div> </div> <div class="vector-settings" id="p-dock-bottom"> <ul></ul> </div><script>(RLQ=window.RLQ||[]).push(function(){mw.config.set({"wgHostname":"mw-web.codfw.main-78f4c97c5d-p8kj4","wgBackendResponseTime":268,"wgPageParseReport":{"limitreport":{"cputime":"0.059","walltime":"0.086","ppvisitednodes":{"value":418,"limit":1000000},"postexpandincludesize":{"value":17740,"limit":2097152},"templateargumentsize":{"value":6556,"limit":2097152},"expansiondepth":{"value":9,"limit":100},"expensivefunctioncount":{"value":0,"limit":500},"unstrip-depth":{"value":0,"limit":20},"unstrip-size":{"value":469,"limit":5000000},"entityaccesscount":{"value":0,"limit":400},"timingprofile":["100.00% 60.385 1 -total"," 99.89% 60.317 2 Template:Blocked_text"," 41.74% 25.206 1 Template:Colocationwebhost"," 40.90% 24.700 2 Template:Replace"," 36.67% 22.142 1 Template:Hidden"," 15.11% 9.121 1 Template:Tlx"," 14.39% 8.690 1 Template:Hidden_begin"," 2.72% 1.645 1 MediaWiki:Wikimedia-globalblocking-blockedtext-mistake"," 2.63% 1.588 1 Template:Hidden_end"," 1.90% 1.145 1 MediaWiki:Wikimedia-globalblocking-blockedtext-mistake-email-steward"]},"scribunto":{"limitreport-timeusage":{"value":"0.012","limit":"10.000"},"limitreport-memusage":{"value":1043254,"limit":52428800}},"cachereport":{"origin":"mw-web.codfw.main-78f4c97c5d-p8kj4","timestamp":"20241129000611","ttl":2592000,"transientcontent":false}}});});</script> </body> </html>