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-enabled vector-feature-custom-font-size-clientpref-1 vector-feature-appearance-pinned-clientpref-1 vector-feature-night-mode-enabled skin-theme-clientpref-day vector-toc-available" lang="en" dir="ltr"> <head> <meta charset="UTF-8"> <title>Inference - 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-enabled vector-feature-custom-font-size-clientpref-1 vector-feature-appearance-pinned-clientpref-1 vector-feature-night-mode-enabled skin-theme-clientpref-day vector-toc-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":false,"wgSeparatorTransformTable":["",""],"wgDigitTransformTable":["",""],"wgDefaultDateFormat":"dmy", "wgMonthNames":["","January","February","March","April","May","June","July","August","September","October","November","December"],"wgRequestId":"4524d988-1332-4442-a3c6-a95d57cf75c4","wgCanonicalNamespace":"","wgCanonicalSpecialPageName":false,"wgNamespaceNumber":0,"wgPageName":"Inference","wgTitle":"Inference","wgCurRevisionId":1258235333,"wgRevisionId":1258235333,"wgArticleId":317465,"wgIsArticle":true,"wgIsRedirect":false,"wgAction":"view","wgUserName":null,"wgUserGroups":["*"],"wgCategories":["Articles with short description","Short description is different from Wikidata","Articles lacking in-text citations from July 2023","All articles lacking in-text citations","Use dmy dates from November 2024","Wikipedia articles needing clarification from August 2013","Articles to be expanded from October 2016","All articles to be expanded","Pages displaying short descriptions of redirect targets via Module:Annotated link","Inference","Concepts in epistemology","Concepts in logic", "Concepts in metaphilosophy","Concepts in metaphysics","Concepts in the philosophy of mind","History of logic","Intellectual history","Logic","Logic and statistics","Logical consequence","Metaphysics of mind","Reasoning","Semantics","Sources of knowledge","Thought"],"wgPageViewLanguage":"en","wgPageContentLanguage":"en","wgPageContentModel":"wikitext","wgRelevantPageName":"Inference","wgRelevantArticleId":317465,"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":20000, "wgRelatedArticlesCompat":[],"wgEditSubmitButtonLabelPublish":true,"wgULSPosition":"interlanguage","wgULSisCompactLinksEnabled":false,"wgVector2022LanguageInHeader":true,"wgULSisLanguageSelectorEmpty":false,"wgWikibaseItemId":"Q408386","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","ext.math.styles":"ready","ext.cite.styles":"ready","skins.vector.search.codex.styles":"ready","skins.vector.styles":"ready","skins.vector.icons":"ready","jquery.makeCollapsible.styles":"ready","ext.wikimediamessages.styles":"ready","ext.visualEditor.desktopArticleTarget.noscript":"ready", "ext.uls.interlanguage":"ready","wikibase.client.init":"ready","ext.wikimediaBadges":"ready"};RLPAGEMODULES=["ext.cite.ux-enhancements","ext.scribunto.logs","site","mediawiki.page.ready","jquery.makeCollapsible","mediawiki.toc","skins.vector.js","ext.centralNotice.geoIP","ext.centralNotice.startUp","ext.gadget.ReferenceTooltips","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.cx.uls.quick.actions","wikibase.client.vector-2022","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.cite.styles%7Cext.math.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%7Cwikibase.client.init&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="max-image-preview:standard"> <meta name="format-detection" content="telephone=no"> <meta name="viewport" content="width=1120"> <meta property="og:title" content="Inference - 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/Inference"> <link rel="alternate" type="application/x-wiki" title="Edit this page" href="/w/index.php?title=Inference&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/Inference"> <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="//meta.wikimedia.org" /> <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-Inference rootpage-Inference skin-vector-2022 action-view"><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=Inference" 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=Inference" 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=Inference" 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=Inference" 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 class="vector-sticky-pinned-container"> <nav id="mw-panel-toc" aria-label="Contents" data-event-name="ui.sidebar-toc" class="mw-table-of-contents-container vector-toc-landmark"> <div id="vector-toc-pinned-container" class="vector-pinned-container"> <div id="vector-toc" class="vector-toc vector-pinnable-element"> <div class="vector-pinnable-header vector-toc-pinnable-header vector-pinnable-header-pinned" data-feature-name="toc-pinned" data-pinnable-element-id="vector-toc" > <h2 class="vector-pinnable-header-label">Contents</h2> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-pin-button" data-event-name="pinnable-header.vector-toc.pin">move to sidebar</button> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-unpin-button" data-event-name="pinnable-header.vector-toc.unpin">hide</button> </div> <ul class="vector-toc-contents" id="mw-panel-toc-list"> <li id="toc-mw-content-text" class="vector-toc-list-item vector-toc-level-1"> <a href="#" class="vector-toc-link"> <div class="vector-toc-text">(Top)</div> </a> </li> <li id="toc-Definition" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#Definition"> <div class="vector-toc-text"> <span class="vector-toc-numb">1</span> <span>Definition</span> </div> </a> <ul id="toc-Definition-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-Examples" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#Examples"> <div class="vector-toc-text"> <span class="vector-toc-numb">2</span> <span>Examples</span> </div> </a> <button aria-controls="toc-Examples-sublist" class="cdx-button cdx-button--weight-quiet cdx-button--icon-only vector-toc-toggle"> <span class="vector-icon mw-ui-icon-wikimedia-expand"></span> <span>Toggle Examples subsection</span> </button> <ul id="toc-Examples-sublist" class="vector-toc-list"> <li id="toc-Example_for_definition_#1" class="vector-toc-list-item vector-toc-level-2"> <a class="vector-toc-link" href="#Example_for_definition_#1"> <div class="vector-toc-text"> <span class="vector-toc-numb">2.1</span> <span>Example for definition #1</span> </div> </a> <ul id="toc-Example_for_definition_#1-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-Example_for_definition_#2" class="vector-toc-list-item vector-toc-level-2"> <a class="vector-toc-link" href="#Example_for_definition_#2"> <div class="vector-toc-text"> <span class="vector-toc-numb">2.2</span> <span>Example for definition #2</span> </div> </a> <ul id="toc-Example_for_definition_#2-sublist" class="vector-toc-list"> </ul> </li> </ul> </li> <li id="toc-Incorrect_inference" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#Incorrect_inference"> <div class="vector-toc-text"> <span class="vector-toc-numb">3</span> <span>Incorrect inference</span> </div> </a> <ul id="toc-Incorrect_inference-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-Applications" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#Applications"> <div class="vector-toc-text"> <span class="vector-toc-numb">4</span> <span>Applications</span> </div> </a> <button aria-controls="toc-Applications-sublist" class="cdx-button cdx-button--weight-quiet cdx-button--icon-only vector-toc-toggle"> <span class="vector-icon mw-ui-icon-wikimedia-expand"></span> <span>Toggle Applications subsection</span> </button> <ul id="toc-Applications-sublist" class="vector-toc-list"> <li id="toc-Inference_engines" class="vector-toc-list-item vector-toc-level-2"> <a class="vector-toc-link" href="#Inference_engines"> <div class="vector-toc-text"> <span class="vector-toc-numb">4.1</span> <span>Inference engines</span> </div> </a> <ul id="toc-Inference_engines-sublist" class="vector-toc-list"> <li id="toc-Prolog_engine" class="vector-toc-list-item vector-toc-level-3"> <a class="vector-toc-link" href="#Prolog_engine"> <div class="vector-toc-text"> <span class="vector-toc-numb">4.1.1</span> <span>Prolog engine</span> </div> </a> <ul id="toc-Prolog_engine-sublist" class="vector-toc-list"> </ul> </li> </ul> </li> <li id="toc-Semantic_web" class="vector-toc-list-item vector-toc-level-2"> <a class="vector-toc-link" href="#Semantic_web"> <div class="vector-toc-text"> <span class="vector-toc-numb">4.2</span> <span>Semantic web</span> </div> </a> <ul id="toc-Semantic_web-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-Bayesian_statistics_and_probability_logic" class="vector-toc-list-item vector-toc-level-2"> <a class="vector-toc-link" href="#Bayesian_statistics_and_probability_logic"> <div class="vector-toc-text"> <span class="vector-toc-numb">4.3</span> <span>Bayesian statistics and probability logic</span> </div> </a> <ul id="toc-Bayesian_statistics_and_probability_logic-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-Fuzzy_logic" class="vector-toc-list-item vector-toc-level-2"> <a class="vector-toc-link" href="#Fuzzy_logic"> <div class="vector-toc-text"> <span class="vector-toc-numb">4.4</span> <span>Fuzzy logic</span> </div> </a> <ul id="toc-Fuzzy_logic-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-Non-monotonic_logic" class="vector-toc-list-item vector-toc-level-2"> <a class="vector-toc-link" href="#Non-monotonic_logic"> <div class="vector-toc-text"> <span class="vector-toc-numb">4.5</span> <span>Non-monotonic logic</span> </div> </a> <ul id="toc-Non-monotonic_logic-sublist" class="vector-toc-list"> </ul> </li> </ul> </li> <li id="toc-See_also" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#See_also"> <div class="vector-toc-text"> <span class="vector-toc-numb">5</span> <span>See also</span> </div> </a> <ul id="toc-See_also-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-References" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#References"> <div class="vector-toc-text"> <span class="vector-toc-numb">6</span> <span>References</span> </div> </a> <ul id="toc-References-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-Further_reading" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#Further_reading"> <div class="vector-toc-text"> <span class="vector-toc-numb">7</span> <span>Further reading</span> </div> </a> <ul id="toc-Further_reading-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-External_links" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#External_links"> <div class="vector-toc-text"> <span class="vector-toc-numb">8</span> <span>External links</span> </div> </a> <ul id="toc-External_links-sublist" class="vector-toc-list"> </ul> </li> </ul> </div> </div> </nav> </div> </div> <div class="mw-content-container"> <main id="content" class="mw-body"> <header class="mw-body-header vector-page-titlebar"> <nav aria-label="Contents" class="vector-toc-landmark"> <div id="vector-page-titlebar-toc" class="vector-dropdown vector-page-titlebar-toc vector-button-flush-left" > <input type="checkbox" id="vector-page-titlebar-toc-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-vector-page-titlebar-toc" class="vector-dropdown-checkbox " aria-label="Toggle the table of contents" > <label id="vector-page-titlebar-toc-label" for="vector-page-titlebar-toc-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-listBullet mw-ui-icon-wikimedia-listBullet"></span> <span class="vector-dropdown-label-text">Toggle the table of contents</span> </label> <div class="vector-dropdown-content"> <div id="vector-page-titlebar-toc-unpinned-container" class="vector-unpinned-container"> </div> </div> </div> </nav> <h1 id="firstHeading" class="firstHeading mw-first-heading"><span class="mw-page-title-main">Inference</span></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="Go to an article in another language. Available in 53 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-53" 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">53 languages</span> </label> <div class="vector-dropdown-content"> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li class="interlanguage-link interwiki-ar mw-list-item"><a href="https://ar.wikipedia.org/wiki/%D8%A7%D8%B3%D8%AA%D8%AF%D9%84%D8%A7%D9%84_(%D8%A8%D8%AD%D8%AB_%D8%B9%D9%84%D9%85%D9%8A)" title="استدلال (بحث علمي) – Arabic" lang="ar" hreflang="ar" data-title="استدلال (بحث علمي)" data-language-autonym="العربية" data-language-local-name="Arabic" class="interlanguage-link-target"><span>العربية</span></a></li><li class="interlanguage-link interwiki-ast mw-list-item"><a href="https://ast.wikipedia.org/wiki/Inferencia" title="Inferencia – Asturian" lang="ast" hreflang="ast" data-title="Inferencia" data-language-autonym="Asturianu" data-language-local-name="Asturian" class="interlanguage-link-target"><span>Asturianu</span></a></li><li class="interlanguage-link interwiki-az mw-list-item"><a href="https://az.wikipedia.org/wiki/N%C9%99tic%C9%99%C3%A7%C4%B1xarma" title="Nəticəçıxarma – Azerbaijani" lang="az" hreflang="az" data-title="Nəticəçıxarma" data-language-autonym="Azərbaycanca" data-language-local-name="Azerbaijani" class="interlanguage-link-target"><span>Azərbaycanca</span></a></li><li class="interlanguage-link interwiki-bg mw-list-item"><a href="https://bg.wikipedia.org/wiki/%D0%A0%D0%B0%D0%B7%D1%81%D1%8A%D0%B6%D0%B4%D0%B5%D0%BD%D0%B8%D0%B5" title="Разсъждение – Bulgarian" lang="bg" hreflang="bg" data-title="Разсъждение" data-language-autonym="Български" data-language-local-name="Bulgarian" class="interlanguage-link-target"><span>Български</span></a></li><li class="interlanguage-link interwiki-bs mw-list-item"><a href="https://bs.wikipedia.org/wiki/Zaklju%C4%8Dak" title="Zaključak – Bosnian" lang="bs" hreflang="bs" data-title="Zaključak" data-language-autonym="Bosanski" data-language-local-name="Bosnian" class="interlanguage-link-target"><span>Bosanski</span></a></li><li class="interlanguage-link interwiki-br mw-list-item"><a href="https://br.wikipedia.org/wiki/Poellata" title="Poellata – Breton" lang="br" hreflang="br" data-title="Poellata" data-language-autonym="Brezhoneg" data-language-local-name="Breton" class="interlanguage-link-target"><span>Brezhoneg</span></a></li><li class="interlanguage-link interwiki-ca mw-list-item"><a href="https://ca.wikipedia.org/wiki/Infer%C3%A8ncia" title="Inferència – Catalan" lang="ca" hreflang="ca" data-title="Inferència" data-language-autonym="Català" data-language-local-name="Catalan" class="interlanguage-link-target"><span>Català</span></a></li><li class="interlanguage-link interwiki-da mw-list-item"><a href="https://da.wikipedia.org/wiki/Inferens" title="Inferens – Danish" lang="da" hreflang="da" data-title="Inferens" data-language-autonym="Dansk" data-language-local-name="Danish" class="interlanguage-link-target"><span>Dansk</span></a></li><li class="interlanguage-link interwiki-de mw-list-item"><a href="https://de.wikipedia.org/wiki/Schlussfolgerung" title="Schlussfolgerung – German" lang="de" hreflang="de" data-title="Schlussfolgerung" data-language-autonym="Deutsch" data-language-local-name="German" class="interlanguage-link-target"><span>Deutsch</span></a></li><li class="interlanguage-link interwiki-et mw-list-item"><a href="https://et.wikipedia.org/wiki/J%C3%A4reldus_(traditsiooniline_loogika)" title="Järeldus (traditsiooniline loogika) – Estonian" lang="et" hreflang="et" data-title="Järeldus (traditsiooniline loogika)" data-language-autonym="Eesti" data-language-local-name="Estonian" class="interlanguage-link-target"><span>Eesti</span></a></li><li class="interlanguage-link interwiki-es mw-list-item"><a href="https://es.wikipedia.org/wiki/Inferencia" title="Inferencia – Spanish" lang="es" hreflang="es" data-title="Inferencia" data-language-autonym="Español" data-language-local-name="Spanish" class="interlanguage-link-target"><span>Español</span></a></li><li class="interlanguage-link interwiki-eo mw-list-item"><a href="https://eo.wikipedia.org/wiki/Inferenco" title="Inferenco – Esperanto" lang="eo" hreflang="eo" data-title="Inferenco" data-language-autonym="Esperanto" data-language-local-name="Esperanto" class="interlanguage-link-target"><span>Esperanto</span></a></li><li class="interlanguage-link interwiki-eu mw-list-item"><a href="https://eu.wikipedia.org/wiki/Inferentzia_(logika)" title="Inferentzia (logika) – Basque" lang="eu" hreflang="eu" data-title="Inferentzia (logika)" data-language-autonym="Euskara" data-language-local-name="Basque" class="interlanguage-link-target"><span>Euskara</span></a></li><li class="interlanguage-link interwiki-fa mw-list-item"><a href="https://fa.wikipedia.org/wiki/%D8%A7%D8%B3%D8%AA%D9%86%D8%A8%D8%A7%D8%B7" title="استنباط – Persian" lang="fa" hreflang="fa" data-title="استنباط" data-language-autonym="فارسی" data-language-local-name="Persian" class="interlanguage-link-target"><span>فارسی</span></a></li><li class="interlanguage-link interwiki-fr mw-list-item"><a href="https://fr.wikipedia.org/wiki/Inf%C3%A9rence_(logique)" title="Inférence (logique) – French" lang="fr" hreflang="fr" data-title="Inférence (logique)" data-language-autonym="Français" data-language-local-name="French" class="interlanguage-link-target"><span>Français</span></a></li><li class="interlanguage-link interwiki-ko mw-list-item"><a href="https://ko.wikipedia.org/wiki/%EC%B6%94%EB%A1%A0" title="추론 – Korean" lang="ko" hreflang="ko" data-title="추론" data-language-autonym="한국어" data-language-local-name="Korean" class="interlanguage-link-target"><span>한국어</span></a></li><li class="interlanguage-link interwiki-hy mw-list-item"><a href="https://hy.wikipedia.org/wiki/%D5%84%D5%BF%D5%A1%D5%B0%D5%A1%D5%B6%D5%A3%D5%B8%D6%82%D5%B4" title="Մտահանգում – Armenian" lang="hy" hreflang="hy" data-title="Մտահանգում" data-language-autonym="Հայերեն" data-language-local-name="Armenian" class="interlanguage-link-target"><span>Հայերեն</span></a></li><li class="interlanguage-link interwiki-hi mw-list-item"><a href="https://hi.wikipedia.org/wiki/%E0%A4%85%E0%A4%A8%E0%A5%81%E0%A4%AE%E0%A4%BE%E0%A4%A8_(%E0%A4%A4%E0%A4%B0%E0%A5%8D%E0%A4%95)" title="अनुमान (तर्क) – Hindi" lang="hi" hreflang="hi" data-title="अनुमान (तर्क)" data-language-autonym="हिन्दी" data-language-local-name="Hindi" class="interlanguage-link-target"><span>हिन्दी</span></a></li><li class="interlanguage-link interwiki-hr mw-list-item"><a href="https://hr.wikipedia.org/wiki/Zaklju%C4%8Dak" title="Zaključak – Croatian" lang="hr" hreflang="hr" data-title="Zaključak" data-language-autonym="Hrvatski" data-language-local-name="Croatian" class="interlanguage-link-target"><span>Hrvatski</span></a></li><li class="interlanguage-link interwiki-id mw-list-item"><a href="https://id.wikipedia.org/wiki/Kesimpulan" title="Kesimpulan – Indonesian" lang="id" hreflang="id" data-title="Kesimpulan" data-language-autonym="Bahasa Indonesia" data-language-local-name="Indonesian" class="interlanguage-link-target"><span>Bahasa Indonesia</span></a></li><li class="interlanguage-link interwiki-it mw-list-item"><a href="https://it.wikipedia.org/wiki/Inferenza" title="Inferenza – Italian" lang="it" hreflang="it" data-title="Inferenza" data-language-autonym="Italiano" data-language-local-name="Italian" class="interlanguage-link-target"><span>Italiano</span></a></li><li class="interlanguage-link interwiki-he mw-list-item"><a href="https://he.wikipedia.org/wiki/%D7%94%D7%99%D7%A1%D7%A7" title="היסק – Hebrew" lang="he" hreflang="he" data-title="היסק" data-language-autonym="עברית" data-language-local-name="Hebrew" class="interlanguage-link-target"><span>עברית</span></a></li><li class="interlanguage-link interwiki-kk mw-list-item"><a href="https://kk.wikipedia.org/wiki/%D0%A2%D2%B1%D0%B6%D1%8B%D1%80%D1%8B%D0%BC%D0%B4%D0%B0%D1%83" title="Тұжырымдау – Kazakh" lang="kk" hreflang="kk" data-title="Тұжырымдау" data-language-autonym="Қазақша" data-language-local-name="Kazakh" class="interlanguage-link-target"><span>Қазақша</span></a></li><li class="interlanguage-link interwiki-la mw-list-item"><a href="https://la.wikipedia.org/wiki/Argumentatio" title="Argumentatio – Latin" lang="la" hreflang="la" data-title="Argumentatio" data-language-autonym="Latina" data-language-local-name="Latin" class="interlanguage-link-target"><span>Latina</span></a></li><li class="interlanguage-link interwiki-lt mw-list-item"><a href="https://lt.wikipedia.org/wiki/I%C5%A1vada" title="Išvada – Lithuanian" lang="lt" hreflang="lt" data-title="Išvada" data-language-autonym="Lietuvių" data-language-local-name="Lithuanian" class="interlanguage-link-target"><span>Lietuvių</span></a></li><li class="interlanguage-link interwiki-jbo mw-list-item"><a href="https://jbo.wikipedia.org/wiki/ni%27icpa" title="ni'icpa – Lojban" lang="jbo" hreflang="jbo" data-title="ni'icpa" data-language-autonym="La .lojban." data-language-local-name="Lojban" class="interlanguage-link-target"><span>La .lojban.</span></a></li><li class="interlanguage-link interwiki-nl mw-list-item"><a href="https://nl.wikipedia.org/wiki/Gevolgtrekking" title="Gevolgtrekking – Dutch" lang="nl" hreflang="nl" data-title="Gevolgtrekking" data-language-autonym="Nederlands" data-language-local-name="Dutch" class="interlanguage-link-target"><span>Nederlands</span></a></li><li class="interlanguage-link interwiki-ja mw-list-item"><a href="https://ja.wikipedia.org/wiki/%E6%8E%A8%E8%AB%96" title="推論 – Japanese" lang="ja" hreflang="ja" data-title="推論" data-language-autonym="日本語" data-language-local-name="Japanese" class="interlanguage-link-target"><span>日本語</span></a></li><li class="interlanguage-link interwiki-no mw-list-item"><a href="https://no.wikipedia.org/wiki/Inferens" title="Inferens – Norwegian Bokmål" lang="nb" hreflang="nb" data-title="Inferens" data-language-autonym="Norsk bokmål" data-language-local-name="Norwegian Bokmål" class="interlanguage-link-target"><span>Norsk bokmål</span></a></li><li class="interlanguage-link interwiki-uz mw-list-item"><a href="https://uz.wikipedia.org/wiki/Xulosa_chiqarish" title="Xulosa chiqarish – Uzbek" lang="uz" hreflang="uz" data-title="Xulosa chiqarish" data-language-autonym="Oʻzbekcha / ўзбекча" data-language-local-name="Uzbek" class="interlanguage-link-target"><span>Oʻzbekcha / ўзбекча</span></a></li><li class="interlanguage-link interwiki-pa mw-list-item"><a href="https://pa.wikipedia.org/wiki/%E0%A8%AE%E0%A9%B0%E0%A8%A4%E0%A8%95%E0%A9%80_%E0%A8%85%E0%A8%A8%E0%A9%81%E0%A8%AE%E0%A8%BE%E0%A8%A8" title="ਮੰਤਕੀ ਅਨੁਮਾਨ – Punjabi" lang="pa" hreflang="pa" data-title="ਮੰਤਕੀ ਅਨੁਮਾਨ" data-language-autonym="ਪੰਜਾਬੀ" data-language-local-name="Punjabi" class="interlanguage-link-target"><span>ਪੰਜਾਬੀ</span></a></li><li class="interlanguage-link interwiki-pnb mw-list-item"><a href="https://pnb.wikipedia.org/wiki/%D8%A7%D8%B3%D8%AA%D8%AF%D9%84%D8%A7%D9%84" title="استدلال – Western Punjabi" lang="pnb" hreflang="pnb" data-title="استدلال" data-language-autonym="پنجابی" data-language-local-name="Western Punjabi" class="interlanguage-link-target"><span>پنجابی</span></a></li><li class="interlanguage-link interwiki-nds mw-list-item"><a href="https://nds.wikipedia.org/wiki/Sluss_(Logik)" title="Sluss (Logik) – Low German" lang="nds" hreflang="nds" data-title="Sluss (Logik)" data-language-autonym="Plattdüütsch" data-language-local-name="Low German" class="interlanguage-link-target"><span>Plattdüütsch</span></a></li><li class="interlanguage-link interwiki-pl mw-list-item"><a href="https://pl.wikipedia.org/wiki/Wnioskowanie" title="Wnioskowanie – Polish" lang="pl" hreflang="pl" data-title="Wnioskowanie" data-language-autonym="Polski" data-language-local-name="Polish" class="interlanguage-link-target"><span>Polski</span></a></li><li class="interlanguage-link interwiki-pt mw-list-item"><a href="https://pt.wikipedia.org/wiki/Infer%C3%AAncia" title="Inferência – Portuguese" lang="pt" hreflang="pt" data-title="Inferência" data-language-autonym="Português" data-language-local-name="Portuguese" class="interlanguage-link-target"><span>Português</span></a></li><li class="interlanguage-link interwiki-ro mw-list-item"><a href="https://ro.wikipedia.org/wiki/Inferen%C8%9B%C4%83" title="Inferență – Romanian" lang="ro" hreflang="ro" data-title="Inferență" data-language-autonym="Română" data-language-local-name="Romanian" class="interlanguage-link-target"><span>Română</span></a></li><li class="interlanguage-link interwiki-ru mw-list-item"><a href="https://ru.wikipedia.org/wiki/%D0%92%D1%8B%D0%B2%D0%BE%D0%B4_(%D1%80%D0%B0%D1%81%D1%81%D1%83%D0%B6%D0%B4%D0%B5%D0%BD%D0%B8%D0%B5)" title="Вывод (рассуждение) – Russian" lang="ru" hreflang="ru" data-title="Вывод (рассуждение)" data-language-autonym="Русский" data-language-local-name="Russian" class="interlanguage-link-target"><span>Русский</span></a></li><li class="interlanguage-link interwiki-sk mw-list-item"><a href="https://sk.wikipedia.org/wiki/D%C3%B4sledok" title="Dôsledok – Slovak" lang="sk" hreflang="sk" data-title="Dôsledok" data-language-autonym="Slovenčina" data-language-local-name="Slovak" class="interlanguage-link-target"><span>Slovenčina</span></a></li><li class="interlanguage-link interwiki-ckb mw-list-item"><a href="https://ckb.wikipedia.org/wiki/%D8%A6%D8%A7%DA%A9%D8%A7%D9%85%DA%AF%D8%B1%DB%8C" title="ئاکامگری – Central Kurdish" lang="ckb" hreflang="ckb" data-title="ئاکامگری" data-language-autonym="کوردی" data-language-local-name="Central Kurdish" class="interlanguage-link-target"><span>کوردی</span></a></li><li class="interlanguage-link interwiki-sr mw-list-item"><a href="https://sr.wikipedia.org/wiki/%D0%97%D0%B0%D0%BA%D1%99%D1%83%D1%87%D0%B8%D0%B2%D0%B0%D1%9A%D0%B5" title="Закључивање – Serbian" lang="sr" hreflang="sr" data-title="Закључивање" data-language-autonym="Српски / srpski" data-language-local-name="Serbian" class="interlanguage-link-target"><span>Српски / srpski</span></a></li><li class="interlanguage-link interwiki-sh mw-list-item"><a href="https://sh.wikipedia.org/wiki/Zaklju%C4%8Divanje" title="Zaključivanje – Serbo-Croatian" lang="sh" hreflang="sh" data-title="Zaključivanje" data-language-autonym="Srpskohrvatski / српскохрватски" data-language-local-name="Serbo-Croatian" class="interlanguage-link-target"><span>Srpskohrvatski / српскохрватски</span></a></li><li class="interlanguage-link interwiki-fi mw-list-item"><a href="https://fi.wikipedia.org/wiki/P%C3%A4%C3%A4ttely" title="Päättely – Finnish" lang="fi" hreflang="fi" data-title="Päättely" data-language-autonym="Suomi" data-language-local-name="Finnish" class="interlanguage-link-target"><span>Suomi</span></a></li><li class="interlanguage-link interwiki-sv mw-list-item"><a href="https://sv.wikipedia.org/wiki/Slutledning" title="Slutledning – Swedish" lang="sv" hreflang="sv" data-title="Slutledning" data-language-autonym="Svenska" data-language-local-name="Swedish" class="interlanguage-link-target"><span>Svenska</span></a></li><li class="interlanguage-link interwiki-tl mw-list-item"><a href="https://tl.wikipedia.org/wiki/Imperensiya" title="Imperensiya – Tagalog" lang="tl" hreflang="tl" data-title="Imperensiya" data-language-autonym="Tagalog" data-language-local-name="Tagalog" class="interlanguage-link-target"><span>Tagalog</span></a></li><li class="interlanguage-link interwiki-ta mw-list-item"><a href="https://ta.wikipedia.org/wiki/%E0%AE%85%E0%AE%A9%E0%AF%81%E0%AE%AE%E0%AE%BE%E0%AE%A9%E0%AE%AE%E0%AF%8D" title="அனுமானம் – Tamil" lang="ta" hreflang="ta" data-title="அனுமானம்" data-language-autonym="தமிழ்" data-language-local-name="Tamil" class="interlanguage-link-target"><span>தமிழ்</span></a></li><li class="interlanguage-link interwiki-th mw-list-item"><a href="https://th.wikipedia.org/wiki/%E0%B8%81%E0%B8%B2%E0%B8%A3%E0%B8%AD%E0%B8%99%E0%B8%B8%E0%B8%A1%E0%B8%B2%E0%B8%99" title="การอนุมาน – Thai" lang="th" hreflang="th" data-title="การอนุมาน" data-language-autonym="ไทย" data-language-local-name="Thai" class="interlanguage-link-target"><span>ไทย</span></a></li><li class="interlanguage-link interwiki-tr mw-list-item"><a href="https://tr.wikipedia.org/wiki/Sonu%C3%A7_%C3%A7%C4%B1karma" title="Sonuç çıkarma – Turkish" lang="tr" hreflang="tr" data-title="Sonuç çıkarma" data-language-autonym="Türkçe" data-language-local-name="Turkish" class="interlanguage-link-target"><span>Türkçe</span></a></li><li class="interlanguage-link interwiki-uk mw-list-item"><a href="https://uk.wikipedia.org/wiki/%D0%92%D0%B8%D1%81%D0%BD%D0%BE%D0%B2%D0%BE%D0%BA" title="Висновок – Ukrainian" lang="uk" hreflang="uk" data-title="Висновок" data-language-autonym="Українська" data-language-local-name="Ukrainian" class="interlanguage-link-target"><span>Українська</span></a></li><li class="interlanguage-link interwiki-ur mw-list-item"><a href="https://ur.wikipedia.org/wiki/%D8%A7%D8%B3%D8%AA%D8%AF%D9%84%D8%A7%D9%84" title="استدلال – Urdu" lang="ur" hreflang="ur" data-title="استدلال" data-language-autonym="اردو" data-language-local-name="Urdu" class="interlanguage-link-target"><span>اردو</span></a></li><li class="interlanguage-link interwiki-vi mw-list-item"><a href="https://vi.wikipedia.org/wiki/Suy_lu%E1%BA%ADn" title="Suy luận – Vietnamese" lang="vi" hreflang="vi" data-title="Suy luận" data-language-autonym="Tiếng Việt" data-language-local-name="Vietnamese" class="interlanguage-link-target"><span>Tiếng Việt</span></a></li><li class="interlanguage-link interwiki-wuu mw-list-item"><a href="https://wuu.wikipedia.org/wiki/%E6%8E%A8%E7%90%86" title="推理 – Wu" lang="wuu" hreflang="wuu" data-title="推理" data-language-autonym="吴语" data-language-local-name="Wu" class="interlanguage-link-target"><span>吴语</span></a></li><li class="interlanguage-link interwiki-zh-yue mw-list-item"><a href="https://zh-yue.wikipedia.org/wiki/%E6%8E%A8%E7%90%86" title="推理 – Cantonese" lang="yue" hreflang="yue" data-title="推理" data-language-autonym="粵語" data-language-local-name="Cantonese" class="interlanguage-link-target"><span>粵語</span></a></li><li class="interlanguage-link interwiki-zh mw-list-item"><a href="https://zh.wikipedia.org/wiki/%E6%8E%A8%E7%90%86" title="推理 – Chinese" lang="zh" hreflang="zh" data-title="推理" data-language-autonym="中文" data-language-local-name="Chinese" class="interlanguage-link-target"><span>中文</span></a></li> </ul> <div class="after-portlet after-portlet-lang"><span class="wb-langlinks-edit wb-langlinks-link"><a href="https://www.wikidata.org/wiki/Special:EntityPage/Q408386#sitelinks-wikipedia" title="Edit interlanguage links" class="wbc-editpage">Edit links</a></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/Inference" 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:Inference" 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="selected vector-tab-noicon mw-list-item"><a href="/wiki/Inference"><span>Read</span></a></li><li id="ca-edit" class="vector-tab-noicon mw-list-item"><a href="/w/index.php?title=Inference&action=edit" title="Edit this page [e]" accesskey="e"><span>Edit</span></a></li><li id="ca-history" class="vector-tab-noicon mw-list-item"><a href="/w/index.php?title=Inference&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="selected vector-more-collapsible-item mw-list-item"><a href="/wiki/Inference"><span>Read</span></a></li><li id="ca-more-edit" class="vector-more-collapsible-item mw-list-item"><a href="/w/index.php?title=Inference&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=Inference&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/Inference" 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/Inference" 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-permalink" class="mw-list-item"><a href="/w/index.php?title=Inference&oldid=1258235333" title="Permanent link to this revision of this page"><span>Permanent link</span></a></li><li id="t-info" class="mw-list-item"><a href="/w/index.php?title=Inference&action=info" title="More information about this page"><span>Page information</span></a></li><li id="t-cite" class="mw-list-item"><a href="/w/index.php?title=Special:CiteThisPage&page=Inference&id=1258235333&wpFormIdentifier=titleform" title="Information on how to cite this page"><span>Cite this page</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%2Fwiki%2FInference"><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%2Fwiki%2FInference"><span>Download QR code</span></a></li> </ul> </div> </div> <div id="p-coll-print_export" class="vector-menu mw-portlet mw-portlet-coll-print_export" > <div class="vector-menu-heading"> Print/export </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="coll-download-as-rl" class="mw-list-item"><a href="/w/index.php?title=Special:DownloadAsPdf&page=Inference&action=show-download-screen" title="Download this page as a PDF file"><span>Download as PDF</span></a></li><li id="t-print" class="mw-list-item"><a href="/w/index.php?title=Inference&printable=yes" title="Printable version of this page [p]" accesskey="p"><span>Printable version</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 class="wb-otherproject-link wb-otherproject-commons mw-list-item"><a href="https://commons.wikimedia.org/wiki/Category:Inference" hreflang="en"><span>Wikimedia Commons</span></a></li><li id="t-wikibase" class="wb-otherproject-link wb-otherproject-wikibase-dataitem mw-list-item"><a href="https://www.wikidata.org/wiki/Special:EntityPage/Q408386" 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 id="siteSub" class="noprint">From Wikipedia, the free encyclopedia</div> </div> <div id="contentSub"><div id="mw-content-subtitle"></div></div> <div id="mw-content-text" class="mw-body-content"><div class="mw-content-ltr mw-parser-output" lang="en" dir="ltr"><div class="shortdescription nomobile noexcerpt noprint searchaux" style="display:none">Steps in reasoning</div> <style data-mw-deduplicate="TemplateStyles:r1236090951">.mw-parser-output .hatnote{font-style:italic}.mw-parser-output div.hatnote{padding-left:1.6em;margin-bottom:0.5em}.mw-parser-output .hatnote i{font-style:normal}.mw-parser-output .hatnote+link+.hatnote{margin-top:-0.5em}@media print{body.ns-0 .mw-parser-output .hatnote{display:none!important}}</style><div role="note" class="hatnote navigation-not-searchable">For the 1992 album by pianist Marilyn Crispell and saxophonist Tim Berne, see <a href="/wiki/Inference_(album)" title="Inference (album)"><i>Inference</i> (album)</a>. For the process in statistics and machine learning, see <a href="/wiki/Statistical_inference" title="Statistical inference">Statistical inference</a>.</div> <link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1236090951"><div role="note" class="hatnote navigation-not-searchable">"Inferred" redirects here. Not to be confused with <a href="/wiki/Infrared" title="Infrared">Infrared</a>.</div> <style data-mw-deduplicate="TemplateStyles:r1251242444">.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfbfb;box-sizing:border-box}.mw-parser-output .ambox+link+.ambox,.mw-parser-output .ambox+link+style+.ambox,.mw-parser-output .ambox+link+link+.ambox,.mw-parser-output .ambox+.mw-empty-elt+link+.ambox,.mw-parser-output .ambox+.mw-empty-elt+link+style+.ambox,.mw-parser-output .ambox+.mw-empty-elt+link+link+.ambox{margin-top:-1px}html body.mediawiki .mw-parser-output .ambox.mbox-small-left{margin:4px 1em 4px 0;overflow:hidden;width:238px;border-collapse:collapse;font-size:88%;line-height:1.25em}.mw-parser-output .ambox-speedy{border-left:10px solid #b32424;background-color:#fee7e6}.mw-parser-output .ambox-delete{border-left:10px solid #b32424}.mw-parser-output .ambox-content{border-left:10px solid #f28500}.mw-parser-output .ambox-style{border-left:10px solid #fc3}.mw-parser-output .ambox-move{border-left:10px solid #9932cc}.mw-parser-output .ambox-protection{border-left:10px solid #a2a9b1}.mw-parser-output .ambox .mbox-text{border:none;padding:0.25em 0.5em;width:100%}.mw-parser-output .ambox .mbox-image{border:none;padding:2px 0 2px 0.5em;text-align:center}.mw-parser-output .ambox .mbox-imageright{border:none;padding:2px 0.5em 2px 0;text-align:center}.mw-parser-output .ambox .mbox-empty-cell{border:none;padding:0;width:1px}.mw-parser-output .ambox .mbox-image-div{width:52px}@media(min-width:720px){.mw-parser-output .ambox{margin:0 10%}}@media print{body.ns-0 .mw-parser-output .ambox{display:none!important}}</style><table class="box-No_footnotes plainlinks metadata ambox ambox-style ambox-No_footnotes" role="presentation"><tbody><tr><td class="mbox-image"><div class="mbox-image-div"><span typeof="mw:File"><span><img alt="" src="//upload.wikimedia.org/wikipedia/commons/thumb/a/a4/Text_document_with_red_question_mark.svg/40px-Text_document_with_red_question_mark.svg.png" decoding="async" width="40" height="40" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/a/a4/Text_document_with_red_question_mark.svg/60px-Text_document_with_red_question_mark.svg.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/a/a4/Text_document_with_red_question_mark.svg/80px-Text_document_with_red_question_mark.svg.png 2x" data-file-width="48" data-file-height="48" /></span></span></div></td><td class="mbox-text"><div class="mbox-text-span">This article includes a <a href="/wiki/Wikipedia:Citing_sources" title="Wikipedia:Citing sources">list of references</a>, <a href="/wiki/Wikipedia:Further_reading" title="Wikipedia:Further reading">related reading</a>, or <a href="/wiki/Wikipedia:External_links" title="Wikipedia:External links">external links</a>, <b>but its sources remain unclear because it lacks <a href="/wiki/Wikipedia:Citing_sources#Inline_citations" title="Wikipedia:Citing sources">inline citations</a></b>.<span class="hide-when-compact"> Please help <a href="/wiki/Wikipedia:WikiProject_Fact_and_Reference_Check" class="mw-redirect" title="Wikipedia:WikiProject Fact and Reference Check">improve</a> this article by <a href="/wiki/Wikipedia:When_to_cite" title="Wikipedia:When to cite">introducing</a> more precise citations.</span> <span class="date-container"><i>(<span class="date">July 2023</span>)</i></span><span class="hide-when-compact"><i> (<small><a href="/wiki/Help:Maintenance_template_removal" title="Help:Maintenance template removal">Learn how and when to remove this message</a></small>)</i></span></div></td></tr></tbody></table> <p class="mw-empty-elt"> </p><p><b>Inferences</b> are steps in <a href="/wiki/Reason" title="Reason">reasoning</a>, moving from <a href="/wiki/Premise" title="Premise">premises</a> to <a href="/wiki/Logical_consequence" title="Logical consequence">logical consequences</a>; etymologically, the word <i><a href="https://en.wiktionary.org/wiki/infer" class="extiw" title="wikt:infer">infer</a></i> means to "carry forward". Inference is theoretically traditionally divided into <a href="/wiki/Deductive_reasoning" title="Deductive reasoning">deduction</a> and <a href="/wiki/Inductive_reasoning" title="Inductive reasoning">induction</a>, a distinction that in Europe dates at least to <a href="/wiki/Aristotle" title="Aristotle">Aristotle</a> (300s BCE). Deduction is inference <a href="/wiki/Formal_proof" title="Formal proof">deriving</a> <a href="/wiki/Logical_consequence" title="Logical consequence">logical conclusions</a> from premises known or assumed to be <a href="/wiki/Truth" title="Truth">true</a>, with the <a href="/wiki/Rule_of_inference" title="Rule of inference">laws of valid inference</a> being studied in <a href="/wiki/Logic" title="Logic">logic</a>. Induction is inference from <a href="/wiki/Particular" title="Particular">particular</a> evidence to a <a href="/wiki/Universal_(metaphysics)" title="Universal (metaphysics)">universal</a> conclusion. A third type of inference is sometimes distinguished, notably by <a href="/wiki/Charles_Sanders_Peirce" title="Charles Sanders Peirce">Charles Sanders Peirce</a>, contradistinguishing <a href="/wiki/Abductive_reasoning" title="Abductive reasoning">abduction</a> from induction. </p><p>Various fields study how inference is done in practice. Human inference (i.e. how humans draw conclusions) is traditionally studied within the fields of logic, argumentation studies, and <a href="/wiki/Cognitive_psychology" title="Cognitive psychology">cognitive psychology</a>; <a href="/wiki/Artificial_intelligence" title="Artificial intelligence">artificial intelligence</a> researchers develop automated inference systems to emulate human inference. <a href="/wiki/Statistical_inference" title="Statistical inference">Statistical inference</a> uses mathematics to draw conclusions in the presence of uncertainty. This generalizes deterministic reasoning, with the absence of uncertainty as a special case. Statistical inference uses quantitative or qualitative (<a href="/wiki/Categorical_data" class="mw-redirect" title="Categorical data">categorical</a>) data which may be subject to random variations. </p> <meta property="mw:PageProp/toc" /> <div class="mw-heading mw-heading2"><h2 id="Definition">Definition</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Inference&action=edit&section=1" title="Edit section: Definition"><span>edit</span></a><span class="mw-editsection-bracket">]</span></span></div> <p>The process by which a conclusion is inferred from multiple <a href="/wiki/Observations" class="mw-redirect" title="Observations">observations</a> is called <a href="/wiki/Inductive_reasoning" title="Inductive reasoning">inductive reasoning</a>. The conclusion may be correct or incorrect, or correct to within a certain degree of accuracy, or correct in certain situations. Conclusions inferred from multiple observations may be tested by additional observations. </p><p>This definition is disputable (due to its lack of clarity. Ref: Oxford English dictionary: "induction ... 3. Logic the inference of a general law from particular instances." <sup class="noprint Inline-Template" style="margin-left:0.1em; white-space:nowrap;">[<i><a href="/wiki/Wikipedia:Please_clarify" title="Wikipedia:Please clarify"><span title="Some information, probably encoded by different type fonts in the dictionary, seems to have got lost. I assume, under the keyword 'induction (logic)', the dictionary says 'the inference of a general law from particular instances'. Please check with the source and clarify. (August 2013)">clarification needed</span></a></i>]</sup>) The definition given thus applies only when the "conclusion" is general. </p><p>Two possible definitions of "inference" are: </p> <ol><li>A conclusion reached on the basis of evidence and reasoning.</li> <li>The process of reaching such a conclusion.</li></ol> <div class="mw-heading mw-heading2"><h2 id="Examples">Examples</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Inference&action=edit&section=2" title="Edit section: Examples"><span>edit</span></a><span class="mw-editsection-bracket">]</span></span></div> <div class="mw-heading mw-heading3"><h3 id="Example_for_definition_#1"><span id="Example_for_definition_.231"></span>Example for definition #1</h3><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Inference&action=edit&section=3" title="Edit section: Example for definition #1"><span>edit</span></a><span class="mw-editsection-bracket">]</span></span></div> <p><a href="/wiki/Ancient_Greek_philosophy" title="Ancient Greek philosophy">Ancient Greek philosophers</a> defined a number of <a href="/wiki/Syllogism" title="Syllogism">syllogisms</a>, correct three part inferences, that can be used as building blocks for more complex reasoning. We begin with a famous example: </p> <ol><li>All humans are mortal.</li> <li>All Greeks are humans.</li> <li>All Greeks are mortal.</li></ol> <p>The reader can check that the premises and conclusion are true, but logic is concerned with inference: does the truth of the conclusion follow from that of the premises? </p><p>The validity of an inference depends on the form of the inference. That is, the word "valid" does not refer to the truth of the premises or the conclusion, but rather to the form of the inference. An inference can be valid even if the parts are false, and can be invalid even if some parts are true. But a valid form with true premises will always have a true conclusion. </p><p>For example, consider the form of the following <a href="/wiki/Symbology" class="mw-redirect" title="Symbology">symbological</a> track: </p> <ol><li>All meat comes from animals.</li> <li>All beef is meat.</li> <li>Therefore, all beef comes from animals.</li></ol> <p>If the premises are true, then the conclusion is necessarily true, too. </p><p>Now we turn to an invalid form. </p> <ol><li>All A are B.</li> <li>All C are B.</li> <li>Therefore, all C are A.</li></ol> <p>To show that this form is invalid, we demonstrate how it can lead from true premises to a false conclusion. </p> <ol><li>All apples are fruit. (True)</li> <li>All bananas are fruit. (True)</li> <li>Therefore, all bananas are apples. (False)</li></ol> <p>A valid argument with a false premise may lead to a false conclusion, (this and the following examples do not follow the Greek syllogism): </p> <ol><li>All tall people are French. (False)</li> <li>John Lennon was tall. (True)</li> <li>Therefore, John Lennon was French. (False)</li></ol> <p>When a valid argument is used to derive a false conclusion from a false premise, the inference is valid because it follows the form of a correct inference. </p><p>A valid argument can also be used to derive a true conclusion from a false premise: </p> <ol><li>All tall people are musicians. (Valid, False)</li> <li>John Lennon was tall. (Valid, True)</li> <li>Therefore, John Lennon was a musician. (Valid, True)</li></ol> <p>In this case we have one false premise and one true premise where a true conclusion has been inferred. </p> <div class="mw-heading mw-heading3"><h3 id="Example_for_definition_#2"><span id="Example_for_definition_.232"></span>Example for definition #2</h3><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Inference&action=edit&section=4" title="Edit section: Example for definition #2"><span>edit</span></a><span class="mw-editsection-bracket">]</span></span></div> <p>Evidence: It is the early 1950s and you are an American stationed in the <a href="/wiki/Soviet_Union" title="Soviet Union">Soviet Union</a>. You read in the <a href="/wiki/Moscow" title="Moscow">Moscow</a> newspaper that a <a href="/wiki/Soccer" class="mw-redirect" title="Soccer">soccer</a> team from a small city in <a href="/wiki/Siberia" title="Siberia">Siberia</a> starts winning game after game. The team even defeats the Moscow team. Inference: The small city in Siberia is not a small city anymore. The Soviets are working on their own nuclear or high-value secret weapons program. </p><p>Knowns: The Soviet Union is a <a href="/wiki/Command_economy" class="mw-redirect" title="Command economy">command economy</a>: people and material are told where to go and what to do. The small city was remote and historically had never distinguished itself; its soccer season was typically short because of the weather. </p><p>Explanation: In a <a href="/wiki/Command_economy" class="mw-redirect" title="Command economy">command economy</a>, people and material are moved where they are needed. Large cities might field good teams due to the greater availability of high quality players; and teams that can practice longer (possibly due to sunnier weather and better facilities) can reasonably be expected to be better. In addition, you put your best and brightest in places where they can do the most good—such as on high-value weapons programs. It is an anomaly for a small city to field such a good team. The anomaly indirectly described a condition by which the observer inferred a new meaningful pattern—that the small city was no longer small. Why would you put a large city of your best and brightest in the middle of nowhere? To hide them, of course. </p> <div class="mw-heading mw-heading2"><h2 id="Incorrect_inference">Incorrect inference</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Inference&action=edit&section=5" title="Edit section: Incorrect inference"><span>edit</span></a><span class="mw-editsection-bracket">]</span></span></div> <p>An incorrect inference is known as a <a href="/wiki/Fallacy" title="Fallacy">fallacy</a>. Philosophers who study <a href="/wiki/Informal_logic" title="Informal logic">informal logic</a> have compiled large lists of them, and cognitive psychologists have documented many <a href="/wiki/Cognitive_bias" title="Cognitive bias">biases in human reasoning</a> that favor incorrect reasoning. </p> <div class="mw-heading mw-heading2"><h2 id="Applications">Applications</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Inference&action=edit&section=6" title="Edit section: Applications"><span>edit</span></a><span class="mw-editsection-bracket">]</span></span></div> <div class="mw-heading mw-heading3"><h3 id="Inference_engines">Inference engines</h3><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Inference&action=edit&section=7" title="Edit section: Inference engines"><span>edit</span></a><span class="mw-editsection-bracket">]</span></span></div> <link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1236090951"><div role="note" class="hatnote navigation-not-searchable">Main articles: <a href="/wiki/Reasoning_system" title="Reasoning system">Reasoning system</a>, <a href="/wiki/Inference_engine" title="Inference engine">Inference engine</a>, <a href="/wiki/Expert_system" title="Expert system">expert system</a>, and <a href="/wiki/Business_rule_engine" class="mw-redirect" title="Business rule engine">business rule engine</a></div> <p>AI systems first provided automated logical inference and these were once extremely popular research topics, leading to industrial applications under the form of <a href="/wiki/Expert_system" title="Expert system">expert systems</a> and later <a href="/wiki/Business_rule_engine" class="mw-redirect" title="Business rule engine">business rule engines</a>. More recent work on <a href="/wiki/Automated_theorem_proving" title="Automated theorem proving">automated theorem proving</a> has had a stronger basis in formal logic. </p><p>An inference system's job is to extend a knowledge base automatically. The <a href="/wiki/Knowledge_base" title="Knowledge base">knowledge base</a> (KB) is a set of propositions that represent what the system knows about the world. Several techniques can be used by that system to extend KB by means of valid inferences. An additional requirement is that the conclusions the system arrives at are <a href="/wiki/Relevance" title="Relevance">relevant</a> to its task. </p><p>Additionally, the term 'inference' has also been applied to the process of generating predictions from trained <a href="/wiki/Artificial_neural_network" class="mw-redirect" title="Artificial neural network">neural networks</a>. In this context, an 'inference engine' refers to the system or hardware performing these operations. This type of inference is widely used in applications ranging from <a href="/wiki/Image_recognition" class="mw-redirect" title="Image recognition">image recognition</a> to <a href="/wiki/Natural_language_processing" title="Natural language processing">natural language processing</a>. </p> <div class="mw-heading mw-heading4"><h4 id="Prolog_engine">Prolog engine</h4><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Inference&action=edit&section=8" title="Edit section: Prolog engine"><span>edit</span></a><span class="mw-editsection-bracket">]</span></span></div> <p><a href="/wiki/Prolog" title="Prolog">Prolog</a> (for "Programming in Logic") is a <a href="/wiki/Programming_language" title="Programming language">programming language</a> based on a <a href="/wiki/Subset" title="Subset">subset</a> of <a href="/wiki/Predicate_calculus" class="mw-redirect" title="Predicate calculus">predicate calculus</a>. Its main job is to check whether a certain proposition can be inferred from a KB (knowledge base) using an algorithm called <a href="/wiki/Backward_chaining" title="Backward chaining">backward chaining</a>. </p><p>Let us return to our <a href="/wiki/Socrates" title="Socrates">Socrates</a> <a href="/wiki/Syllogism" title="Syllogism">syllogism</a>. We enter into our Knowledge Base the following piece of code: </p> <pre>mortal(X) :- man(X). man(socrates). </pre> <p>( Here <i><b>:-</b></i> can be read as "if". Generally, if <i>P <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \to }"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mo stretchy="false">→</mo> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle \to }</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/1daab843254cfcb23a643070cf93f3badc4fbbbd" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:2.324ex; height:1.843ex;" alt="{\displaystyle \to }"></span> Q</i> (if P then Q) then in Prolog we would code <i>Q<b>:-</b>P</i> (Q if P).)<br /> This states that all men are mortal and that Socrates is a man. Now we can ask the Prolog system about Socrates: </p> <pre>?- mortal(socrates). </pre> <p>(where <i>?-</i> signifies a query: Can <i>mortal(socrates).</i> be deduced from the KB using the rules) gives the answer "Yes". </p><p>On the other hand, asking the Prolog system the following: </p> <pre>?- mortal(plato). </pre> <p>gives the answer "No". </p><p>This is because <a href="/wiki/Prolog" title="Prolog">Prolog</a> does not know anything about <a href="/wiki/Plato" title="Plato">Plato</a>, and hence defaults to any property about Plato being false (the so-called <a href="/wiki/Closed_world_assumption" class="mw-redirect" title="Closed world assumption">closed world assumption</a>). Finally ?- mortal(X) (Is anything mortal) would result in "Yes" (and in some implementations: "Yes": X=socrates)<br /> <a href="/wiki/Prolog" title="Prolog">Prolog</a> can be used for vastly more complicated inference tasks. See the corresponding article for further examples. </p> <div class="mw-heading mw-heading3"><h3 id="Semantic_web">Semantic web</h3><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Inference&action=edit&section=9" title="Edit section: Semantic web"><span>edit</span></a><span class="mw-editsection-bracket">]</span></span></div> <p>Recently automatic reasoners found in <a href="/wiki/Semantic_web" class="mw-redirect" title="Semantic web">semantic web</a> a new field of application. Being based upon <a href="/wiki/Description_logic" title="Description logic">description logic</a>, knowledge expressed using one variant of <a href="/wiki/Web_Ontology_Language" title="Web Ontology Language">OWL</a> can be logically processed, i.e., inferences can be made upon it. </p> <div class="mw-heading mw-heading3"><h3 id="Bayesian_statistics_and_probability_logic">Bayesian statistics and probability logic</h3><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Inference&action=edit&section=10" title="Edit section: Bayesian statistics and probability logic"><span>edit</span></a><span class="mw-editsection-bracket">]</span></span></div> <link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1236090951"><div role="note" class="hatnote navigation-not-searchable">Main article: <a href="/wiki/Bayesian_inference" title="Bayesian inference">Bayesian inference</a></div> <p>Philosophers and scientists who follow the <a href="/wiki/Bayesian_inference" title="Bayesian inference">Bayesian framework</a> for inference use the mathematical rules of <a href="/wiki/Probability" title="Probability">probability</a> to find this best explanation. The Bayesian view has a number of desirable features—one of them is that it embeds deductive (certain) logic as a subset (this prompts some writers to call Bayesian probability "probability logic", following <a href="/wiki/E._T._Jaynes" class="mw-redirect" title="E. T. Jaynes">E. T. Jaynes</a>). </p><p>Bayesians identify probabilities with degrees of beliefs, with certainly true propositions having probability 1, and certainly false propositions having probability 0. To say that "it's going to rain tomorrow" has a 0.9 probability is to say that you consider the possibility of rain tomorrow as extremely likely. </p><p>Through the rules of probability, the probability of a conclusion and of alternatives can be calculated. The best explanation is most often identified with the most probable (see <a href="/wiki/Bayesian_decision_theory" class="mw-redirect" title="Bayesian decision theory">Bayesian decision theory</a>). A central rule of Bayesian inference is <a href="/wiki/Bayes%27_theorem" title="Bayes' theorem">Bayes' theorem</a>. </p> <div class="mw-heading mw-heading3"><h3 id="Fuzzy_logic">Fuzzy logic</h3><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Inference&action=edit&section=11" title="Edit section: Fuzzy logic"><span>edit</span></a><span class="mw-editsection-bracket">]</span></span></div> <link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1236090951"><div role="note" class="hatnote navigation-not-searchable">Main article: <a href="/wiki/Fuzzy_logic" title="Fuzzy logic">Fuzzy logic</a></div> <link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1251242444"><table class="box-Expand_section plainlinks metadata ambox mbox-small-left ambox-content" role="presentation"><tbody><tr><td class="mbox-image"><span typeof="mw:File"><a href="/wiki/File:Wiki_letter_w_cropped.svg" class="mw-file-description"><img alt="[icon]" src="//upload.wikimedia.org/wikipedia/commons/thumb/1/1c/Wiki_letter_w_cropped.svg/20px-Wiki_letter_w_cropped.svg.png" decoding="async" width="20" height="14" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/1/1c/Wiki_letter_w_cropped.svg/30px-Wiki_letter_w_cropped.svg.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/1/1c/Wiki_letter_w_cropped.svg/40px-Wiki_letter_w_cropped.svg.png 2x" data-file-width="44" data-file-height="31" /></a></span></td><td class="mbox-text"><div class="mbox-text-span">This section <b>needs expansion</b>. You can help by <a class="external text" href="https://en.wikipedia.org/w/index.php?title=Inference&action=edit&section=">adding to it</a>. <span class="date-container"><i>(<span class="date">October 2016</span>)</i></span></div></td></tr></tbody></table> <div class="mw-heading mw-heading3"><h3 id="Non-monotonic_logic">Non-monotonic logic</h3><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Inference&action=edit&section=12" title="Edit section: Non-monotonic logic"><span>edit</span></a><span class="mw-editsection-bracket">]</span></span></div> <link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1236090951"><div role="note" class="hatnote navigation-not-searchable">Main article: <a href="/wiki/Non-monotonic_logic" title="Non-monotonic logic">Non-monotonic logic</a></div><p><sup id="cite_ref-1" class="reference"><a href="#cite_note-1"><span class="cite-bracket">[</span>1<span class="cite-bracket">]</span></a></sup> </p><p>A relation of inference is <a href="/wiki/Monotonicity_of_entailment" title="Monotonicity of entailment">monotonic</a> if the addition of premises does not undermine previously reached conclusions; otherwise the relation is <a href="/wiki/Nonmonotonic_logic" class="mw-redirect" title="Nonmonotonic logic">non-monotonic</a>. Deductive inference is monotonic: if a conclusion is reached on the basis of a certain set of premises, then that conclusion still holds if more premises are added. </p><p>By contrast, everyday reasoning is mostly non-monotonic because it involves risk: we jump to conclusions from deductively insufficient premises. We know when it is worth or even necessary (e.g. in medical diagnosis) to take the risk. Yet we are also aware that such inference is defeasible—that new information may undermine old conclusions. Various kinds of defeasible but remarkably successful inference have traditionally captured the attention of philosophers (theories of induction, Peirce's theory of <a href="/wiki/Abductive_reasoning" title="Abductive reasoning">abduction</a>, inference to the best explanation, etc.). More recently logicians have begun to approach the phenomenon from a formal point of view. The result is a large body of theories at the interface of philosophy, logic and artificial intelligence. </p> <div class="mw-heading mw-heading2"><h2 id="See_also">See also</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Inference&action=edit&section=13" title="Edit section: See also"><span>edit</span></a><span class="mw-editsection-bracket">]</span></span></div> <style data-mw-deduplicate="TemplateStyles:r1259569809">.mw-parser-output .portalbox{padding:0;margin:0.5em 0;display:table;box-sizing:border-box;max-width:175px;list-style:none}.mw-parser-output .portalborder{border:1px solid var(--border-color-base,#a2a9b1);padding:0.1em;background:var(--background-color-neutral-subtle,#f8f9fa)}.mw-parser-output .portalbox-entry{display:table-row;font-size:85%;line-height:110%;height:1.9em;font-style:italic;font-weight:bold}.mw-parser-output .portalbox-image{display:table-cell;padding:0.2em;vertical-align:middle;text-align:center}.mw-parser-output .portalbox-link{display:table-cell;padding:0.2em 0.2em 0.2em 0.3em;vertical-align:middle}@media(min-width:720px){.mw-parser-output .portalleft{clear:left;float:left;margin:0.5em 1em 0.5em 0}.mw-parser-output .portalright{clear:right;float:right;margin:0.5em 0 0.5em 1em}}</style><ul role="navigation" aria-label="Portals" class="noprint portalbox portalborder portalright"> <li class="portalbox-entry"><span class="portalbox-image"><span class="noviewer" typeof="mw:File"><span><img alt="" src="//upload.wikimedia.org/wikipedia/commons/thumb/c/cd/Socrates.png/18px-Socrates.png" decoding="async" width="18" height="28" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/c/cd/Socrates.png/27px-Socrates.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/c/cd/Socrates.png/36px-Socrates.png 2x" data-file-width="326" data-file-height="500" /></span></span></span><span class="portalbox-link"><a href="/wiki/Portal:Philosophy" title="Portal:Philosophy">Philosophy portal</a></span></li><li class="portalbox-entry"><span class="portalbox-image"><span class="noviewer" typeof="mw:File"><span><img alt="" src="//upload.wikimedia.org/wikipedia/commons/thumb/6/6c/Psi2.svg/28px-Psi2.svg.png" decoding="async" width="28" height="28" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/6/6c/Psi2.svg/42px-Psi2.svg.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/6/6c/Psi2.svg/56px-Psi2.svg.png 2x" data-file-width="100" data-file-height="100" /></span></span></span><span class="portalbox-link"><a href="/wiki/Portal:Psychology" title="Portal:Psychology">Psychology portal</a></span></li></ul> <ul><li><a href="/wiki/A_priori_and_a_posteriori" title="A priori and a posteriori"><i>A priori</i> and <i>a posteriori</i></a> – Two types of knowledge, justification, or argument</li> <li><a href="/wiki/Abductive_reasoning" title="Abductive reasoning">Abductive reasoning</a> – Inference seeking the simplest and most likely explanation</li> <li><a href="/wiki/Deductive_reasoning" title="Deductive reasoning">Deductive reasoning</a> – Form of reasoning</li> <li><a href="/wiki/Inductive_reasoning" title="Inductive reasoning">Inductive reasoning</a> – Method of logical reasoning</li> <li><a href="/wiki/Entailment" class="mw-redirect" title="Entailment">Entailment</a> – Relationship where one statement follows from another<span style="display:none" class="category-annotation-with-redirected-description">Pages displaying short descriptions of redirect targets</span></li> <li><a href="/wiki/Epilogism" title="Epilogism">Epilogism</a></li> <li><a href="/wiki/Analogy" title="Analogy">Analogy</a> – Cognitive process of transferring information or meaning from a particular subject to another</li> <li><a href="/wiki/Axiom_system" class="mw-redirect" title="Axiom system">Axiom system</a> – Mathematical term; concerning axioms used to derive theorems<span style="display:none" class="category-annotation-with-redirected-description">Pages displaying short descriptions of redirect targets</span> <ul><li><a href="/wiki/Axiom" title="Axiom">Axiom</a> – Statement that is taken to be true</li></ul></li> <li><a href="/wiki/Immediate_inference" title="Immediate inference">Immediate inference</a> – Logical inference from a single statement</li> <li><a href="/wiki/Inferential_programming" title="Inferential programming">Inferential programming</a></li> <li><a href="/wiki/Inquiry" title="Inquiry">Inquiry</a> – Any process that has the aim of augmenting knowledge, resolving doubt, or solving a problem</li> <li><a href="/wiki/Logic" title="Logic">Logic</a> – Study of correct reasoning</li> <li><a href="/wiki/Logic_of_information" title="Logic of information">Logic of information</a></li> <li><a href="/wiki/Logical_assertion" class="mw-redirect" title="Logical assertion">Logical assertion</a> – Statement in a metalanguage<span style="display:none" class="category-annotation-with-redirected-description">Pages displaying short descriptions of redirect targets</span></li> <li><a href="/wiki/Logical_graph" class="mw-redirect" title="Logical graph">Logical graph</a> – Type of diagrammatic notation for propositional logic<span style="display:none" class="category-annotation-with-redirected-description">Pages displaying short descriptions of redirect targets</span></li> <li><a href="/wiki/Rule_of_inference" title="Rule of inference">Rule of inference</a> – Systematic logical process capable of deriving a conclusion from hypotheses</li> <li><a href="/wiki/List_of_rules_of_inference" title="List of rules of inference">List of rules of inference</a></li> <li><a href="/wiki/Theorem" title="Theorem">Theorem</a> – In mathematics, a statement that has been proven</li> <li><a href="/wiki/Transduction_(machine_learning)" title="Transduction (machine learning)">Transduction (machine learning)</a> – Type of statistical inference</li></ul> <div class="mw-heading mw-heading2"><h2 id="References">References</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Inference&action=edit&section=14" title="Edit section: References"><span>edit</span></a><span class="mw-editsection-bracket">]</span></span></div> <style data-mw-deduplicate="TemplateStyles:r1239543626">.mw-parser-output .reflist{margin-bottom:0.5em;list-style-type:decimal}@media screen{.mw-parser-output .reflist{font-size:90%}}.mw-parser-output .reflist .references{font-size:100%;margin-bottom:0;list-style-type:inherit}.mw-parser-output .reflist-columns-2{column-width:30em}.mw-parser-output .reflist-columns-3{column-width:25em}.mw-parser-output .reflist-columns{margin-top:0.3em}.mw-parser-output .reflist-columns ol{margin-top:0}.mw-parser-output .reflist-columns li{page-break-inside:avoid;break-inside:avoid-column}.mw-parser-output .reflist-upper-alpha{list-style-type:upper-alpha}.mw-parser-output .reflist-upper-roman{list-style-type:upper-roman}.mw-parser-output .reflist-lower-alpha{list-style-type:lower-alpha}.mw-parser-output .reflist-lower-greek{list-style-type:lower-greek}.mw-parser-output .reflist-lower-roman{list-style-type:lower-roman}</style><div class="reflist"> <div class="mw-references-wrap"><ol class="references"> <li id="cite_note-1"><span class="mw-cite-backlink"><b><a href="#cite_ref-1">^</a></b></span> <span class="reference-text"><style data-mw-deduplicate="TemplateStyles:r1238218222">.mw-parser-output cite.citation{font-style:inherit;word-wrap:break-word}.mw-parser-output .citation q{quotes:"\"""\"""'""'"}.mw-parser-output .citation:target{background-color:rgba(0,127,255,0.133)}.mw-parser-output .id-lock-free.id-lock-free a{background:url("//upload.wikimedia.org/wikipedia/commons/6/65/Lock-green.svg")right 0.1em center/9px no-repeat}.mw-parser-output .id-lock-limited.id-lock-limited a,.mw-parser-output .id-lock-registration.id-lock-registration a{background:url("//upload.wikimedia.org/wikipedia/commons/d/d6/Lock-gray-alt-2.svg")right 0.1em center/9px no-repeat}.mw-parser-output .id-lock-subscription.id-lock-subscription a{background:url("//upload.wikimedia.org/wikipedia/commons/a/aa/Lock-red-alt-2.svg")right 0.1em center/9px no-repeat}.mw-parser-output .cs1-ws-icon a{background:url("//upload.wikimedia.org/wikipedia/commons/4/4c/Wikisource-logo.svg")right 0.1em center/12px no-repeat}body:not(.skin-timeless):not(.skin-minerva) .mw-parser-output .id-lock-free a,body:not(.skin-timeless):not(.skin-minerva) .mw-parser-output .id-lock-limited a,body:not(.skin-timeless):not(.skin-minerva) .mw-parser-output .id-lock-registration a,body:not(.skin-timeless):not(.skin-minerva) .mw-parser-output .id-lock-subscription a,body:not(.skin-timeless):not(.skin-minerva) .mw-parser-output .cs1-ws-icon a{background-size:contain;padding:0 1em 0 0}.mw-parser-output .cs1-code{color:inherit;background:inherit;border:none;padding:inherit}.mw-parser-output .cs1-hidden-error{display:none;color:var(--color-error,#d33)}.mw-parser-output .cs1-visible-error{color:var(--color-error,#d33)}.mw-parser-output .cs1-maint{display:none;color:#085;margin-left:0.3em}.mw-parser-output .cs1-kern-left{padding-left:0.2em}.mw-parser-output .cs1-kern-right{padding-right:0.2em}.mw-parser-output .citation .mw-selflink{font-weight:inherit}@media screen{.mw-parser-output .cs1-format{font-size:95%}html.skin-theme-clientpref-night .mw-parser-output .cs1-maint{color:#18911f}}@media screen and (prefers-color-scheme:dark){html.skin-theme-clientpref-os .mw-parser-output .cs1-maint{color:#18911f}}</style><cite id="Fuhrmann,_Nonmonotonic_Logic" class="citation book cs1">Fuhrmann, André. <a rel="nofollow" class="external text" href="https://web.archive.org/web/20031209221248/http://www.uni-konstanz.de/FuF/Philo/Philosophie/Fuhrmann/papers/nomoLog.pdf"><i>Nonmonotonic Logic</i></a> <span class="cs1-format">(PDF)</span>. Archived from <a rel="nofollow" class="external text" href="http://www.uni-konstanz.de/FuF/Philo/Philosophie/Fuhrmann/papers/nomoLog.pdf">the original</a> <span class="cs1-format">(PDF)</span> on 9 December 2003.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.btitle=Nonmonotonic+Logic&rft.aulast=Fuhrmann&rft.aufirst=Andr%C3%A9&rft_id=http%3A%2F%2Fwww.uni-konstanz.de%2FFuF%2FPhilo%2FPhilosophie%2FFuhrmann%2Fpapers%2FnomoLog.pdf&rfr_id=info%3Asid%2Fen.wikipedia.org%3AInference" class="Z3988"></span></span> </li> </ol></div></div> <div class="mw-heading mw-heading2"><h2 id="Further_reading">Further reading</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Inference&action=edit&section=15" title="Edit section: Further reading"><span>edit</span></a><span class="mw-editsection-bracket">]</span></span></div> <style data-mw-deduplicate="TemplateStyles:r1239549316">.mw-parser-output .refbegin{margin-bottom:0.5em}.mw-parser-output .refbegin-hanging-indents>ul{margin-left:0}.mw-parser-output .refbegin-hanging-indents>ul>li{margin-left:0;padding-left:3.2em;text-indent:-3.2em}.mw-parser-output .refbegin-hanging-indents ul,.mw-parser-output .refbegin-hanging-indents ul li{list-style:none}@media(max-width:720px){.mw-parser-output .refbegin-hanging-indents>ul>li{padding-left:1.6em;text-indent:-1.6em}}.mw-parser-output .refbegin-columns{margin-top:0.3em}.mw-parser-output .refbegin-columns ul{margin-top:0}.mw-parser-output .refbegin-columns li{page-break-inside:avoid;break-inside:avoid-column}@media screen{.mw-parser-output .refbegin{font-size:90%}}</style><div class="refbegin" style=""> <ul><li><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1238218222"><cite id="Hacking,_2001" class="citation book cs1">Hacking, Ian (2001). <i>An Introduction to Probability and Inductive Logic</i>. Cambridge University Press. <a href="/wiki/ISBN_(identifier)" class="mw-redirect" title="ISBN (identifier)">ISBN</a> <a href="/wiki/Special:BookSources/978-0-521-77501-4" title="Special:BookSources/978-0-521-77501-4"><bdi>978-0-521-77501-4</bdi></a>.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.btitle=An+Introduction+to+Probability+and+Inductive+Logic&rft.pub=Cambridge+University+Press&rft.date=2001&rft.isbn=978-0-521-77501-4&rft.aulast=Hacking&rft.aufirst=Ian&rfr_id=info%3Asid%2Fen.wikipedia.org%3AInference" class="Z3988"></span></li> <li><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1238218222"><cite id="Jaynes,_2003" class="citation book cs1">Jaynes, Edwin Thompson (2003). <a rel="nofollow" class="external text" href="https://web.archive.org/web/20041011085524/http://titles.cambridge.org/catalogue.asp?isbn=0521592712"><i>Probability Theory: The Logic of Science</i></a>. Cambridge University Press. <a href="/wiki/ISBN_(identifier)" class="mw-redirect" title="ISBN (identifier)">ISBN</a> <a href="/wiki/Special:BookSources/978-0-521-59271-0" title="Special:BookSources/978-0-521-59271-0"><bdi>978-0-521-59271-0</bdi></a>. Archived from <a rel="nofollow" class="external text" href="http://titles.cambridge.org/catalogue.asp?isbn=0521592712">the original</a> on 11 October 2004<span class="reference-accessdate">. Retrieved <span class="nowrap">29 November</span> 2004</span>.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.btitle=Probability+Theory%3A+The+Logic+of+Science&rft.pub=Cambridge+University+Press&rft.date=2003&rft.isbn=978-0-521-59271-0&rft.aulast=Jaynes&rft.aufirst=Edwin+Thompson&rft_id=http%3A%2F%2Ftitles.cambridge.org%2Fcatalogue.asp%3Fisbn%3D0521592712&rfr_id=info%3Asid%2Fen.wikipedia.org%3AInference" class="Z3988"></span></li> <li><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1238218222"><cite id="McKay,_2003" class="citation book cs1"><a href="/wiki/David_J._C._MacKay" title="David J. C. MacKay">McKay, David J.C.</a> (2003). <a rel="nofollow" class="external text" href="http://www.inference.phy.cam.ac.uk/mackay/itila/book.html"><i>Information Theory, Inference, and Learning Algorithms</i></a>. Cambridge University Press. <a href="/wiki/ISBN_(identifier)" class="mw-redirect" title="ISBN (identifier)">ISBN</a> <a href="/wiki/Special:BookSources/978-0-521-64298-9" title="Special:BookSources/978-0-521-64298-9"><bdi>978-0-521-64298-9</bdi></a>.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.btitle=Information+Theory%2C+Inference%2C+and+Learning+Algorithms&rft.pub=Cambridge+University+Press&rft.date=2003&rft.isbn=978-0-521-64298-9&rft.aulast=McKay&rft.aufirst=David+J.C.&rft_id=http%3A%2F%2Fwww.inference.phy.cam.ac.uk%2Fmackay%2Fitila%2Fbook.html&rfr_id=info%3Asid%2Fen.wikipedia.org%3AInference" class="Z3988"></span></li> <li><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1238218222"><cite id="CITEREFRussellNorvig2003" class="citation cs2"><a href="/wiki/Stuart_J._Russell" title="Stuart J. Russell">Russell, Stuart J.</a>; <a href="/wiki/Peter_Norvig" title="Peter Norvig">Norvig, Peter</a> (2003), <a rel="nofollow" class="external text" href="http://aima.cs.berkeley.edu/"><i>Artificial Intelligence: A Modern Approach</i></a> (2nd ed.), Upper Saddle River, New Jersey: Prentice Hall, <a href="/wiki/ISBN_(identifier)" class="mw-redirect" title="ISBN (identifier)">ISBN</a> <a href="/wiki/Special:BookSources/0-13-790395-2" title="Special:BookSources/0-13-790395-2"><bdi>0-13-790395-2</bdi></a></cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.btitle=Artificial+Intelligence%3A+A+Modern+Approach&rft.place=Upper+Saddle+River%2C+New+Jersey&rft.edition=2nd&rft.pub=Prentice+Hall&rft.date=2003&rft.isbn=0-13-790395-2&rft.aulast=Russell&rft.aufirst=Stuart+J.&rft.au=Norvig%2C+Peter&rft_id=http%3A%2F%2Faima.cs.berkeley.edu%2F&rfr_id=info%3Asid%2Fen.wikipedia.org%3AInference" class="Z3988"></span></li> <li><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1238218222"><cite id="Tijms,_2004" class="citation book cs1"><a href="/wiki/Henk_Tijms" title="Henk Tijms">Tijms, Henk</a> (2004). <span class="id-lock-registration" title="Free registration required"><a rel="nofollow" class="external text" href="https://archive.org/details/understandingpro0000tijm"><i>Understanding Probability</i></a></span>. Cambridge University Press. <a href="/wiki/ISBN_(identifier)" class="mw-redirect" title="ISBN (identifier)">ISBN</a> <a href="/wiki/Special:BookSources/978-0-521-70172-3" title="Special:BookSources/978-0-521-70172-3"><bdi>978-0-521-70172-3</bdi></a>.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.btitle=Understanding+Probability&rft.pub=Cambridge+University+Press&rft.date=2004&rft.isbn=978-0-521-70172-3&rft.aulast=Tijms&rft.aufirst=Henk&rft_id=https%3A%2F%2Farchive.org%2Fdetails%2Funderstandingpro0000tijm&rfr_id=info%3Asid%2Fen.wikipedia.org%3AInference" class="Z3988"></span></li></ul> </div> <p><b>Inductive inference:</b> </p> <ul><li><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1238218222"><cite id="CITEREFCarnapJeffrey1971" class="citation book cs1">Carnap, Rudolf; Jeffrey, Richard C., eds. (1971). <i>Studies in Inductive Logic and Probability</i>. Vol. 1. The University of California Press.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.btitle=Studies+in+Inductive+Logic+and+Probability&rft.pub=The+University+of+California+Press&rft.date=1971&rfr_id=info%3Asid%2Fen.wikipedia.org%3AInference" class="Z3988"></span></li> <li><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1238218222"><cite id="CITEREFJeffrey1980" class="citation book cs1">Jeffrey, Richard C., ed. (1980). <a rel="nofollow" class="external text" href="https://books.google.com/books?id=Qfe0SEazn3oC"><i>Studies in Inductive Logic and Probability</i></a>. Vol. 2. The University of California Press. <a href="/wiki/ISBN_(identifier)" class="mw-redirect" title="ISBN (identifier)">ISBN</a> <a href="/wiki/Special:BookSources/9780520038264" title="Special:BookSources/9780520038264"><bdi>9780520038264</bdi></a>.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.btitle=Studies+in+Inductive+Logic+and+Probability&rft.pub=The+University+of+California+Press&rft.date=1980&rft.isbn=9780520038264&rft_id=https%3A%2F%2Fbooks.google.com%2Fbooks%3Fid%3DQfe0SEazn3oC&rfr_id=info%3Asid%2Fen.wikipedia.org%3AInference" class="Z3988"></span></li> <li><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1238218222"><cite id="CITEREFAngluin1976" class="citation thesis cs1">Angluin, Dana (1976). <i>An Application of the Theory of Computational Complexity to the Study of Inductive Inference</i> (Ph.D.). University of California at Berkeley.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Adissertation&rft.title=An+Application+of+the+Theory+of+Computational+Complexity+to+the+Study+of+Inductive+Inference&rft.inst=University+of+California+at+Berkeley&rft.date=1976&rft.aulast=Angluin&rft.aufirst=Dana&rfr_id=info%3Asid%2Fen.wikipedia.org%3AInference" class="Z3988"></span></li> <li><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1238218222"><cite id="CITEREFAngluin1980" class="citation journal cs1">Angluin, Dana (1980). <a rel="nofollow" class="external text" href="https://doi.org/10.1016%2Fs0019-9958%2880%2990285-5">"Inductive Inference of Formal Languages from Positive Data"</a>. <i>Information and Control</i>. <b>45</b> (2): 117–135. <a href="/wiki/Doi_(identifier)" class="mw-redirect" title="Doi (identifier)">doi</a>:<span class="id-lock-free" title="Freely accessible"><a rel="nofollow" class="external text" href="https://doi.org/10.1016%2Fs0019-9958%2880%2990285-5">10.1016/s0019-9958(80)90285-5</a></span>.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.jtitle=Information+and+Control&rft.atitle=Inductive+Inference+of+Formal+Languages+from+Positive+Data&rft.volume=45&rft.issue=2&rft.pages=117-135&rft.date=1980&rft_id=info%3Adoi%2F10.1016%2Fs0019-9958%2880%2990285-5&rft.aulast=Angluin&rft.aufirst=Dana&rft_id=https%3A%2F%2Fdoi.org%2F10.1016%252Fs0019-9958%252880%252990285-5&rfr_id=info%3Asid%2Fen.wikipedia.org%3AInference" class="Z3988"></span></li> <li><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1238218222"><cite id="CITEREFAngluinSmith1983" class="citation journal cs1">Angluin, Dana; Smith, Carl H. (September 1983). <a rel="nofollow" class="external text" href="http://users.dsic.upv.es/asignaturas/facultad/apr/AngluinSmith83.pdf">"Inductive Inference: Theory and Methods"</a> <span class="cs1-format">(PDF)</span>. <i>Computing Surveys</i>. <b>15</b> (3): 237–269. <a href="/wiki/Doi_(identifier)" class="mw-redirect" title="Doi (identifier)">doi</a>:<a rel="nofollow" class="external text" href="https://doi.org/10.1145%2F356914.356918">10.1145/356914.356918</a>. <a href="/wiki/S2CID_(identifier)" class="mw-redirect" title="S2CID (identifier)">S2CID</a> <a rel="nofollow" class="external text" href="https://api.semanticscholar.org/CorpusID:3209224">3209224</a>.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.jtitle=Computing+Surveys&rft.atitle=Inductive+Inference%3A+Theory+and+Methods&rft.volume=15&rft.issue=3&rft.pages=237-269&rft.date=1983-09&rft_id=info%3Adoi%2F10.1145%2F356914.356918&rft_id=https%3A%2F%2Fapi.semanticscholar.org%2FCorpusID%3A3209224%23id-name%3DS2CID&rft.aulast=Angluin&rft.aufirst=Dana&rft.au=Smith%2C+Carl+H.&rft_id=http%3A%2F%2Fusers.dsic.upv.es%2Fasignaturas%2Ffacultad%2Fapr%2FAngluinSmith83.pdf&rfr_id=info%3Asid%2Fen.wikipedia.org%3AInference" class="Z3988"></span></li> <li><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1238218222"><cite id="CITEREFGabbayHartmannWoods2009" class="citation book cs1">Gabbay, Dov M.; Hartmann, Stephan; Woods, John, eds. (2009). <i>Inductive Logic</i>. Handbook of the History of Logic. Vol. 10. Elsevier. <a href="/wiki/ISBN_(identifier)" class="mw-redirect" title="ISBN (identifier)">ISBN</a> <a href="/wiki/Special:BookSources/978-0-444-52936-7" title="Special:BookSources/978-0-444-52936-7"><bdi>978-0-444-52936-7</bdi></a>.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.btitle=Inductive+Logic&rft.series=Handbook+of+the+History+of+Logic&rft.pub=Elsevier&rft.date=2009&rft.isbn=978-0-444-52936-7&rfr_id=info%3Asid%2Fen.wikipedia.org%3AInference" class="Z3988"></span></li> <li><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1238218222"><cite id="CITEREFGoodman1983" class="citation book cs1">Goodman, Nelson (1983). <a rel="nofollow" class="external text" href="https://books.google.com/books?id=i97_LdPXwrAC"><i>Fact, Fiction, and Forecast</i></a>. Harvard University Press. <a href="/wiki/ISBN_(identifier)" class="mw-redirect" title="ISBN (identifier)">ISBN</a> <a href="/wiki/Special:BookSources/9780674290716" title="Special:BookSources/9780674290716"><bdi>9780674290716</bdi></a>.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.btitle=Fact%2C+Fiction%2C+and+Forecast&rft.pub=Harvard+University+Press&rft.date=1983&rft.isbn=9780674290716&rft.aulast=Goodman&rft.aufirst=Nelson&rft_id=https%3A%2F%2Fbooks.google.com%2Fbooks%3Fid%3Di97_LdPXwrAC&rfr_id=info%3Asid%2Fen.wikipedia.org%3AInference" class="Z3988"></span></li></ul> <p><b>Abductive inference:</b> </p> <ul><li><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1238218222"><cite id="CITEREFO'RourkeJosephson1997" class="citation book cs1">O'Rourke, P.; Josephson, J., eds. (1997). <i>Automated abduction: Inference to the best explanation</i>. AAAI Press.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.btitle=Automated+abduction%3A+Inference+to+the+best+explanation&rft.pub=AAAI+Press&rft.date=1997&rfr_id=info%3Asid%2Fen.wikipedia.org%3AInference" class="Z3988"></span></li> <li><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1238218222"><cite id="CITEREFPsillos2009" class="citation book cs1">Psillos, Stathis (2009). "An Explorer upon Untrodden Ground". In Gabbay, Dov M.; Hartmann, Stephan; Woods, John (eds.). <a rel="nofollow" class="external text" href="http://users.uoa.gr/~psillos/PapersI/11-Peirce-Abduction.pdf"><i>An Explorer upon Untrodden Ground: Peirce on Abduction</i></a> <span class="cs1-format">(PDF)</span>. Handbook of the History of Logic. Vol. 10. Elsevier. pp. 117–152. <a href="/wiki/Doi_(identifier)" class="mw-redirect" title="Doi (identifier)">doi</a>:<a rel="nofollow" class="external text" href="https://doi.org/10.1016%2FB978-0-444-52936-7.50004-5">10.1016/B978-0-444-52936-7.50004-5</a>. <a href="/wiki/ISBN_(identifier)" class="mw-redirect" title="ISBN (identifier)">ISBN</a> <a href="/wiki/Special:BookSources/978-0-444-52936-7" title="Special:BookSources/978-0-444-52936-7"><bdi>978-0-444-52936-7</bdi></a>.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=bookitem&rft.atitle=An+Explorer+upon+Untrodden+Ground&rft.btitle=An+Explorer+upon+Untrodden+Ground%3A+Peirce+on+Abduction&rft.series=Handbook+of+the+History+of+Logic&rft.pages=117-152&rft.pub=Elsevier&rft.date=2009&rft_id=info%3Adoi%2F10.1016%2FB978-0-444-52936-7.50004-5&rft.isbn=978-0-444-52936-7&rft.aulast=Psillos&rft.aufirst=Stathis&rft_id=http%3A%2F%2Fusers.uoa.gr%2F~psillos%2FPapersI%2F11-Peirce-Abduction.pdf&rfr_id=info%3Asid%2Fen.wikipedia.org%3AInference" class="Z3988"></span></li> <li><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1238218222"><cite id="CITEREFRay2005" class="citation thesis cs1">Ray, Oliver (December 2005). <i>Hybrid Abductive Inductive Learning</i> (Ph.D.). University of London, Imperial College. <a href="/wiki/CiteSeerX_(identifier)" class="mw-redirect" title="CiteSeerX (identifier)">CiteSeerX</a> <span class="id-lock-free" title="Freely accessible"><a rel="nofollow" class="external text" href="https://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.66.1877">10.1.1.66.1877</a></span>.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Adissertation&rft.title=Hybrid+Abductive+Inductive+Learning&rft.inst=University+of+London%2C+Imperial+College&rft.date=2005-12&rft_id=https%3A%2F%2Fciteseerx.ist.psu.edu%2Fviewdoc%2Fsummary%3Fdoi%3D10.1.1.66.1877%23id-name%3DCiteSeerX&rft.aulast=Ray&rft.aufirst=Oliver&rfr_id=info%3Asid%2Fen.wikipedia.org%3AInference" class="Z3988"></span></li></ul> <p><b>Psychological investigations about human reasoning:</b> </p> <ul><li><b>deductive:</b> <ul><li><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1238218222"><cite id="CITEREFJohnson-LairdByrne1992" class="citation book cs1"><a href="/wiki/Philip_Johnson-Laird" title="Philip Johnson-Laird">Johnson-Laird, Philip Nicholas</a>; Byrne, Ruth M. J. (1992). <i>Deduction</i>. Erlbaum.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.btitle=Deduction&rft.pub=Erlbaum&rft.date=1992&rft.aulast=Johnson-Laird&rft.aufirst=Philip+Nicholas&rft.au=Byrne%2C+Ruth+M.+J.&rfr_id=info%3Asid%2Fen.wikipedia.org%3AInference" class="Z3988"></span></li> <li><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1238218222"><cite id="CITEREFByrneJohnson-Laird2009" class="citation journal cs1">Byrne, Ruth M. J.; <a href="/wiki/Philip_Johnson-Laird" title="Philip Johnson-Laird">Johnson-Laird, P. N.</a> (2009). <a rel="nofollow" class="external text" href="https://web.archive.org/web/20140407061602/https://psych.princeton.edu/psychology/research/johnson_laird/pdfs/2009ifandtheproblemof.pdf">"<span class="cs1-kern-left"></span>"If" and the Problems of Conditional Reasoning"</a> <span class="cs1-format">(PDF)</span>. <i>Trends in Cognitive Sciences</i>. <b>13</b> (7): 282–287. <a href="/wiki/Doi_(identifier)" class="mw-redirect" title="Doi (identifier)">doi</a>:<a rel="nofollow" class="external text" href="https://doi.org/10.1016%2Fj.tics.2009.04.003">10.1016/j.tics.2009.04.003</a>. <a href="/wiki/PMID_(identifier)" class="mw-redirect" title="PMID (identifier)">PMID</a> <a rel="nofollow" class="external text" href="https://pubmed.ncbi.nlm.nih.gov/19540792">19540792</a>. <a href="/wiki/S2CID_(identifier)" class="mw-redirect" title="S2CID (identifier)">S2CID</a> <a rel="nofollow" class="external text" href="https://api.semanticscholar.org/CorpusID:657803">657803</a>. Archived from <a rel="nofollow" class="external text" href="https://psych.princeton.edu/psychology/research/johnson_laird/pdfs/2009ifandtheproblemof.pdf">the original</a> <span class="cs1-format">(PDF)</span> on 7 April 2014<span class="reference-accessdate">. Retrieved <span class="nowrap">9 August</span> 2013</span>.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.jtitle=Trends+in+Cognitive+Sciences&rft.atitle=%22If%22+and+the+Problems+of+Conditional+Reasoning&rft.volume=13&rft.issue=7&rft.pages=282-287&rft.date=2009&rft_id=https%3A%2F%2Fapi.semanticscholar.org%2FCorpusID%3A657803%23id-name%3DS2CID&rft_id=info%3Apmid%2F19540792&rft_id=info%3Adoi%2F10.1016%2Fj.tics.2009.04.003&rft.aulast=Byrne&rft.aufirst=Ruth+M.+J.&rft.au=Johnson-Laird%2C+P.+N.&rft_id=https%3A%2F%2Fpsych.princeton.edu%2Fpsychology%2Fresearch%2Fjohnson_laird%2Fpdfs%2F2009ifandtheproblemof.pdf&rfr_id=info%3Asid%2Fen.wikipedia.org%3AInference" class="Z3988"></span></li> <li><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1238218222"><cite id="CITEREFKnauffFangmeierRuffJohnson-Laird2003" class="citation journal cs1">Knauff, Markus; Fangmeier, Thomas; Ruff, Christian C.; <a href="/wiki/Philip_Johnson-Laird" title="Philip Johnson-Laird">Johnson-Laird, P. N.</a> (2003). <a rel="nofollow" class="external text" href="https://web.archive.org/web/20150518094338/http://www.uni-giessen.de/cms/fbz/fb06/psychologie/abt/kognition/dateien/kfrjl_JOCN.pdf">"Reasoning, Models, and Images: Behavioral Measures and Cortical Activity"</a> <span class="cs1-format">(PDF)</span>. <i>Journal of Cognitive Neuroscience</i>. <b>15</b> (4): 559–573. <a href="/wiki/CiteSeerX_(identifier)" class="mw-redirect" title="CiteSeerX (identifier)">CiteSeerX</a> <span class="id-lock-free" title="Freely accessible"><a rel="nofollow" class="external text" href="https://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.318.6615">10.1.1.318.6615</a></span>. <a href="/wiki/Doi_(identifier)" class="mw-redirect" title="Doi (identifier)">doi</a>:<a rel="nofollow" class="external text" href="https://doi.org/10.1162%2F089892903321662949">10.1162/089892903321662949</a>. <a href="/wiki/Hdl_(identifier)" class="mw-redirect" title="Hdl (identifier)">hdl</a>:<a rel="nofollow" class="external text" href="https://hdl.handle.net/11858%2F00-001M-0000-0013-DC8B-C">11858/00-001M-0000-0013-DC8B-C</a>. <a href="/wiki/PMID_(identifier)" class="mw-redirect" title="PMID (identifier)">PMID</a> <a rel="nofollow" class="external text" href="https://pubmed.ncbi.nlm.nih.gov/12803967">12803967</a>. <a href="/wiki/S2CID_(identifier)" class="mw-redirect" title="S2CID (identifier)">S2CID</a> <a rel="nofollow" class="external text" href="https://api.semanticscholar.org/CorpusID:782228">782228</a>. Archived from <a rel="nofollow" class="external text" href="http://www.uni-giessen.de/cms/fbz/fb06/psychologie/abt/kognition/dateien/kfrjl_JOCN.pdf">the original</a> <span class="cs1-format">(PDF)</span> on 18 May 2015<span class="reference-accessdate">. Retrieved <span class="nowrap">9 August</span> 2013</span>.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.jtitle=Journal+of+Cognitive+Neuroscience&rft.atitle=Reasoning%2C+Models%2C+and+Images%3A+Behavioral+Measures+and+Cortical+Activity&rft.volume=15&rft.issue=4&rft.pages=559-573&rft.date=2003&rft_id=info%3Ahdl%2F11858%2F00-001M-0000-0013-DC8B-C&rft_id=https%3A%2F%2Fapi.semanticscholar.org%2FCorpusID%3A782228%23id-name%3DS2CID&rft_id=info%3Adoi%2F10.1162%2F089892903321662949&rft_id=https%3A%2F%2Fciteseerx.ist.psu.edu%2Fviewdoc%2Fsummary%3Fdoi%3D10.1.1.318.6615%23id-name%3DCiteSeerX&rft_id=info%3Apmid%2F12803967&rft.aulast=Knauff&rft.aufirst=Markus&rft.au=Fangmeier%2C+Thomas&rft.au=Ruff%2C+Christian+C.&rft.au=Johnson-Laird%2C+P.+N.&rft_id=http%3A%2F%2Fwww.uni-giessen.de%2Fcms%2Ffbz%2Ffb06%2Fpsychologie%2Fabt%2Fkognition%2Fdateien%2Fkfrjl_JOCN.pdf&rfr_id=info%3Asid%2Fen.wikipedia.org%3AInference" class="Z3988"></span></li> <li><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1238218222"><cite id="CITEREFJohnson-Laird1995" class="citation book cs1"><a href="/wiki/Philip_Johnson-Laird" title="Philip Johnson-Laird">Johnson-Laird, Philip N.</a> (1995). Gazzaniga, M. S. (ed.). <a rel="nofollow" class="external text" href="http://nbu.bg/cogs/events/2002/materials/Markus/mental_models.pdf"><i>Mental Models, Deductive Reasoning, and the Brain</i></a> <span class="cs1-format">(PDF)</span>. MIT Press. pp. 999–1008.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.btitle=Mental+Models%2C+Deductive+Reasoning%2C+and+the+Brain&rft.pages=999-1008&rft.pub=MIT+Press&rft.date=1995&rft.aulast=Johnson-Laird&rft.aufirst=Philip+N.&rft_id=http%3A%2F%2Fnbu.bg%2Fcogs%2Fevents%2F2002%2Fmaterials%2FMarkus%2Fmental_models.pdf&rfr_id=info%3Asid%2Fen.wikipedia.org%3AInference" class="Z3988"></span></li> <li><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1238218222"><cite id="CITEREFKhemlaniJohnson-Laird2008" class="citation book cs1">Khemlani, Sangeet; <a href="/wiki/Philip_Johnson-Laird" title="Philip Johnson-Laird">Johnson-Laird, P. N.</a> (2008). <a rel="nofollow" class="external text" href="http://mentalmodels.princeton.edu/papers/2008disjillusions.pdf">"Illusory Inferences about Embedded Disjunctions"</a> <span class="cs1-format">(PDF)</span>. <i>Proceedings of the 30th Annual Conference of the Cognitive Science Society. Washington/DC</i>. pp. 2128–2133.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=bookitem&rft.atitle=Illusory+Inferences+about+Embedded+Disjunctions&rft.btitle=Proceedings+of+the+30th+Annual+Conference+of+the+Cognitive+Science+Society.+Washington%2FDC&rft.pages=2128-2133&rft.date=2008&rft.aulast=Khemlani&rft.aufirst=Sangeet&rft.au=Johnson-Laird%2C+P.+N.&rft_id=http%3A%2F%2Fmentalmodels.princeton.edu%2Fpapers%2F2008disjillusions.pdf&rfr_id=info%3Asid%2Fen.wikipedia.org%3AInference" class="Z3988"></span></li></ul></li> <li><b>statistical:</b> <ul><li><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1238218222"><cite id="CITEREFMcCloyByrneJohnson-Laird2009" class="citation journal cs1">McCloy, Rachel; Byrne, Ruth M. J.; <a href="/wiki/Philip_Johnson-Laird" title="Philip Johnson-Laird">Johnson-Laird, Philip N.</a> (2009). <a rel="nofollow" class="external text" href="https://web.archive.org/web/20150518073242/http://psych.princeton.edu/psychology/research/johnson_laird/pdfs/2009%20Understanding%20cumulative%20risk.pdf">"Understanding Cumulative Risk"</a> <span class="cs1-format">(PDF)</span>. <i>The Quarterly Journal of Experimental Psychology</i>. <b>63</b> (3): 499–515. <a href="/wiki/Doi_(identifier)" class="mw-redirect" title="Doi (identifier)">doi</a>:<a rel="nofollow" class="external text" href="https://doi.org/10.1080%2F17470210903024784">10.1080/17470210903024784</a>. <a href="/wiki/PMID_(identifier)" class="mw-redirect" title="PMID (identifier)">PMID</a> <a rel="nofollow" class="external text" href="https://pubmed.ncbi.nlm.nih.gov/19591080">19591080</a>. <a href="/wiki/S2CID_(identifier)" class="mw-redirect" title="S2CID (identifier)">S2CID</a> <a rel="nofollow" class="external text" href="https://api.semanticscholar.org/CorpusID:7741180">7741180</a>. Archived from <a rel="nofollow" class="external text" href="http://psych.princeton.edu/psychology/research/johnson_laird/pdfs/2009%20Understanding%20cumulative%20risk.pdf">the original</a> <span class="cs1-format">(PDF)</span> on 18 May 2015<span class="reference-accessdate">. Retrieved <span class="nowrap">9 August</span> 2013</span>.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.jtitle=The+Quarterly+Journal+of+Experimental+Psychology&rft.atitle=Understanding+Cumulative+Risk&rft.volume=63&rft.issue=3&rft.pages=499-515&rft.date=2009&rft_id=https%3A%2F%2Fapi.semanticscholar.org%2FCorpusID%3A7741180%23id-name%3DS2CID&rft_id=info%3Apmid%2F19591080&rft_id=info%3Adoi%2F10.1080%2F17470210903024784&rft.aulast=McCloy&rft.aufirst=Rachel&rft.au=Byrne%2C+Ruth+M.+J.&rft.au=Johnson-Laird%2C+Philip+N.&rft_id=http%3A%2F%2Fpsych.princeton.edu%2Fpsychology%2Fresearch%2Fjohnson_laird%2Fpdfs%2F2009%2520Understanding%2520cumulative%2520risk.pdf&rfr_id=info%3Asid%2Fen.wikipedia.org%3AInference" class="Z3988"></span></li> <li><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1238218222"><cite id="CITEREFJohnson-Laird1994" class="citation journal cs1"><a href="/wiki/Philip_Johnson-Laird" title="Philip Johnson-Laird">Johnson-Laird, Philip N.</a> (1994). <a rel="nofollow" class="external text" href="http://mentalmodels.princeton.edu/papers/1994probabilistic.pdf">"Mental Models and Probabilistic Thinking"</a> <span class="cs1-format">(PDF)</span>. <i>Cognition</i>. <b>50</b> (1–3): 189–209. <a href="/wiki/Doi_(identifier)" class="mw-redirect" title="Doi (identifier)">doi</a>:<a rel="nofollow" class="external text" href="https://doi.org/10.1016%2F0010-0277%2894%2990028-0">10.1016/0010-0277(94)90028-0</a>. <a href="/wiki/PMID_(identifier)" class="mw-redirect" title="PMID (identifier)">PMID</a> <a rel="nofollow" class="external text" href="https://pubmed.ncbi.nlm.nih.gov/8039361">8039361</a>. <a href="/wiki/S2CID_(identifier)" class="mw-redirect" title="S2CID (identifier)">S2CID</a> <a rel="nofollow" class="external text" href="https://api.semanticscholar.org/CorpusID:9439284">9439284</a>.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.jtitle=Cognition&rft.atitle=Mental+Models+and+Probabilistic+Thinking&rft.volume=50&rft.issue=1%E2%80%933&rft.pages=189-209&rft.date=1994&rft_id=https%3A%2F%2Fapi.semanticscholar.org%2FCorpusID%3A9439284%23id-name%3DS2CID&rft_id=info%3Apmid%2F8039361&rft_id=info%3Adoi%2F10.1016%2F0010-0277%2894%2990028-0&rft.aulast=Johnson-Laird&rft.aufirst=Philip+N.&rft_id=http%3A%2F%2Fmentalmodels.princeton.edu%2Fpapers%2F1994probabilistic.pdf&rfr_id=info%3Asid%2Fen.wikipedia.org%3AInference" class="Z3988"></span>,</li></ul></li> <li><b>analogical:</b> <ul><li><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1238218222"><cite id="CITEREFBurns1996" class="citation journal cs1">Burns, B. D. (1996). "Meta-Analogical Transfer: Transfer Between Episodes of Analogical Reasoning". <i>Journal of Experimental Psychology: Learning, Memory, and Cognition</i>. <b>22</b> (4): 1032–1048. <a href="/wiki/Doi_(identifier)" class="mw-redirect" title="Doi (identifier)">doi</a>:<a rel="nofollow" class="external text" href="https://doi.org/10.1037%2F0278-7393.22.4.1032">10.1037/0278-7393.22.4.1032</a>.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.jtitle=Journal+of+Experimental+Psychology%3A+Learning%2C+Memory%2C+and+Cognition&rft.atitle=Meta-Analogical+Transfer%3A+Transfer+Between+Episodes+of+Analogical+Reasoning&rft.volume=22&rft.issue=4&rft.pages=1032-1048&rft.date=1996&rft_id=info%3Adoi%2F10.1037%2F0278-7393.22.4.1032&rft.aulast=Burns&rft.aufirst=B.+D.&rfr_id=info%3Asid%2Fen.wikipedia.org%3AInference" class="Z3988"></span></li></ul></li> <li><b>spatial:</b> <ul><li><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1238218222"><cite id="CITEREFJahnKnauffJohnson-Laird2007" class="citation journal cs1">Jahn, Georg; Knauff, Markus; <a href="/wiki/Philip_Johnson-Laird" title="Philip Johnson-Laird">Johnson-Laird, P. N.</a> (2007). <a rel="nofollow" class="external text" href="http://mentalmodels.princeton.edu/papers/2007preferredmodels.pdf">"Preferred mental models in reasoning about spatial relations"</a> <span class="cs1-format">(PDF)</span>. <i>Memory & Cognition</i>. <b>35</b> (8): 2075–2087. <a href="/wiki/Doi_(identifier)" class="mw-redirect" title="Doi (identifier)">doi</a>:<span class="id-lock-free" title="Freely accessible"><a rel="nofollow" class="external text" href="https://doi.org/10.3758%2Fbf03192939">10.3758/bf03192939</a></span>. <a href="/wiki/PMID_(identifier)" class="mw-redirect" title="PMID (identifier)">PMID</a> <a rel="nofollow" class="external text" href="https://pubmed.ncbi.nlm.nih.gov/18265622">18265622</a>. <a href="/wiki/S2CID_(identifier)" class="mw-redirect" title="S2CID (identifier)">S2CID</a> <a rel="nofollow" class="external text" href="https://api.semanticscholar.org/CorpusID:25356700">25356700</a>.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.jtitle=Memory+%26+Cognition&rft.atitle=Preferred+mental+models+in+reasoning+about+spatial+relations&rft.volume=35&rft.issue=8&rft.pages=2075-2087&rft.date=2007&rft_id=https%3A%2F%2Fapi.semanticscholar.org%2FCorpusID%3A25356700%23id-name%3DS2CID&rft_id=info%3Apmid%2F18265622&rft_id=info%3Adoi%2F10.3758%2Fbf03192939&rft.aulast=Jahn&rft.aufirst=Georg&rft.au=Knauff%2C+Markus&rft.au=Johnson-Laird%2C+P.+N.&rft_id=http%3A%2F%2Fmentalmodels.princeton.edu%2Fpapers%2F2007preferredmodels.pdf&rfr_id=info%3Asid%2Fen.wikipedia.org%3AInference" class="Z3988"></span></li> <li><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1238218222"><cite id="CITEREFKnauffJohnson-Laird2002" class="citation journal cs1">Knauff, Markus; <a href="/wiki/Philip_Johnson-Laird" title="Philip Johnson-Laird">Johnson-Laird, P. N.</a> (2002). <a rel="nofollow" class="external text" href="http://mentalmodels.princeton.edu/papers/2002imagery.pdf">"Visual imagery can impede reasoning"</a> <span class="cs1-format">(PDF)</span>. <i>Memory & Cognition</i>. <b>30</b> (3): 363–371. <a href="/wiki/Doi_(identifier)" class="mw-redirect" title="Doi (identifier)">doi</a>:<span class="id-lock-free" title="Freely accessible"><a rel="nofollow" class="external text" href="https://doi.org/10.3758%2Fbf03194937">10.3758/bf03194937</a></span>. <a href="/wiki/PMID_(identifier)" class="mw-redirect" title="PMID (identifier)">PMID</a> <a rel="nofollow" class="external text" href="https://pubmed.ncbi.nlm.nih.gov/12061757">12061757</a>. <a href="/wiki/S2CID_(identifier)" class="mw-redirect" title="S2CID (identifier)">S2CID</a> <a rel="nofollow" class="external text" href="https://api.semanticscholar.org/CorpusID:7330724">7330724</a>.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.jtitle=Memory+%26+Cognition&rft.atitle=Visual+imagery+can+impede+reasoning&rft.volume=30&rft.issue=3&rft.pages=363-371&rft.date=2002&rft_id=https%3A%2F%2Fapi.semanticscholar.org%2FCorpusID%3A7330724%23id-name%3DS2CID&rft_id=info%3Apmid%2F12061757&rft_id=info%3Adoi%2F10.3758%2Fbf03194937&rft.aulast=Knauff&rft.aufirst=Markus&rft.au=Johnson-Laird%2C+P.+N.&rft_id=http%3A%2F%2Fmentalmodels.princeton.edu%2Fpapers%2F2002imagery.pdf&rfr_id=info%3Asid%2Fen.wikipedia.org%3AInference" class="Z3988"></span></li> <li><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1238218222"><cite id="CITEREFWaltzKnowltonHolyoakBoone1999" class="citation journal cs1">Waltz, James A.; Knowlton, Barbara J.; Holyoak, Keith J.; Boone, Kyle B.; Mishkin, Fred S.; de Menezes Santos, Marcia; Thomas, Carmen R.; Miller, Bruce L. (March 1999). <a rel="nofollow" class="external text" href="https://www.researchgate.net/publication/228906574">"A System for Relational Reasoning in Human Prefrontal Cortex"</a>. <i>Psychological Science</i>. <b>10</b> (2): 119–125. <a href="/wiki/Doi_(identifier)" class="mw-redirect" title="Doi (identifier)">doi</a>:<a rel="nofollow" class="external text" href="https://doi.org/10.1111%2F1467-9280.00118">10.1111/1467-9280.00118</a>. <a href="/wiki/S2CID_(identifier)" class="mw-redirect" title="S2CID (identifier)">S2CID</a> <a rel="nofollow" class="external text" href="https://api.semanticscholar.org/CorpusID:44019775">44019775</a>.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.jtitle=Psychological+Science&rft.atitle=A+System+for+Relational+Reasoning+in+Human+Prefrontal+Cortex&rft.volume=10&rft.issue=2&rft.pages=119-125&rft.date=1999-03&rft_id=info%3Adoi%2F10.1111%2F1467-9280.00118&rft_id=https%3A%2F%2Fapi.semanticscholar.org%2FCorpusID%3A44019775%23id-name%3DS2CID&rft.aulast=Waltz&rft.aufirst=James+A.&rft.au=Knowlton%2C+Barbara+J.&rft.au=Holyoak%2C+Keith+J.&rft.au=Boone%2C+Kyle+B.&rft.au=Mishkin%2C+Fred+S.&rft.au=de+Menezes+Santos%2C+Marcia&rft.au=Thomas%2C+Carmen+R.&rft.au=Miller%2C+Bruce+L.&rft_id=https%3A%2F%2Fwww.researchgate.net%2Fpublication%2F228906574&rfr_id=info%3Asid%2Fen.wikipedia.org%3AInference" class="Z3988"></span></li></ul></li> <li><b>moral:</b> <ul><li><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1238218222"><cite id="CITEREFBucciarelliKhemlaniJohnson-Laird2008" class="citation journal cs1">Bucciarelli, Monica; Khemlani, Sangeet; <a href="/wiki/Philip_Johnson-Laird" title="Philip Johnson-Laird">Johnson-Laird, P. N.</a> (February 2008). <a rel="nofollow" class="external text" href="http://journal.sjdm.org/jdm8105.pdf">"The Psychology of Moral Reasoning"</a> <span class="cs1-format">(PDF)</span>. <i>Judgment and Decision Making</i>. <b>3</b> (2): 121–139. <a href="/wiki/Doi_(identifier)" class="mw-redirect" title="Doi (identifier)">doi</a>:<a rel="nofollow" class="external text" href="https://doi.org/10.1017%2FS1930297500001479">10.1017/S1930297500001479</a>. <a href="/wiki/S2CID_(identifier)" class="mw-redirect" title="S2CID (identifier)">S2CID</a> <a rel="nofollow" class="external text" href="https://api.semanticscholar.org/CorpusID:327124">327124</a>.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.jtitle=Judgment+and+Decision+Making&rft.atitle=The+Psychology+of+Moral+Reasoning&rft.volume=3&rft.issue=2&rft.pages=121-139&rft.date=2008-02&rft_id=info%3Adoi%2F10.1017%2FS1930297500001479&rft_id=https%3A%2F%2Fapi.semanticscholar.org%2FCorpusID%3A327124%23id-name%3DS2CID&rft.aulast=Bucciarelli&rft.aufirst=Monica&rft.au=Khemlani%2C+Sangeet&rft.au=Johnson-Laird%2C+P.+N.&rft_id=http%3A%2F%2Fjournal.sjdm.org%2Fjdm8105.pdf&rfr_id=info%3Asid%2Fen.wikipedia.org%3AInference" class="Z3988"></span></li></ul></li></ul> <div class="mw-heading mw-heading2"><h2 id="External_links">External links</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Inference&action=edit&section=16" title="Edit section: External links"><span>edit</span></a><span class="mw-editsection-bracket">]</span></span></div> <style data-mw-deduplicate="TemplateStyles:r1235681985">.mw-parser-output .side-box{margin:4px 0;box-sizing:border-box;border:1px solid #aaa;font-size:88%;line-height:1.25em;background-color:var(--background-color-interactive-subtle,#f8f9fa);display:flow-root}.mw-parser-output .side-box-abovebelow,.mw-parser-output .side-box-text{padding:0.25em 0.9em}.mw-parser-output .side-box-image{padding:2px 0 2px 0.9em;text-align:center}.mw-parser-output .side-box-imageright{padding:2px 0.9em 2px 0;text-align:center}@media(min-width:500px){.mw-parser-output .side-box-flex{display:flex;align-items:center}.mw-parser-output .side-box-text{flex:1;min-width:0}}@media(min-width:720px){.mw-parser-output .side-box{width:238px}.mw-parser-output .side-box-right{clear:right;float:right;margin-left:1em}.mw-parser-output .side-box-left{margin-right:1em}}</style><style data-mw-deduplicate="TemplateStyles:r1237033735">@media print{body.ns-0 .mw-parser-output .sistersitebox{display:none!important}}@media screen{html.skin-theme-clientpref-night .mw-parser-output .sistersitebox img[src*="Wiktionary-logo-en-v2.svg"]{background-color:white}}@media screen and (prefers-color-scheme:dark){html.skin-theme-clientpref-os .mw-parser-output .sistersitebox img[src*="Wiktionary-logo-en-v2.svg"]{background-color:white}}</style><div class="side-box side-box-right plainlinks sistersitebox"><style data-mw-deduplicate="TemplateStyles:r1126788409">.mw-parser-output .plainlist ol,.mw-parser-output .plainlist ul{line-height:inherit;list-style:none;margin:0;padding:0}.mw-parser-output .plainlist ol li,.mw-parser-output .plainlist ul li{margin-bottom:0}</style> <div class="side-box-flex"> <div class="side-box-image"><span class="noviewer" typeof="mw:File"><span><img alt="" src="//upload.wikimedia.org/wikipedia/commons/thumb/9/99/Wiktionary-logo-en-v2.svg/40px-Wiktionary-logo-en-v2.svg.png" decoding="async" width="40" height="40" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/9/99/Wiktionary-logo-en-v2.svg/60px-Wiktionary-logo-en-v2.svg.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/9/99/Wiktionary-logo-en-v2.svg/80px-Wiktionary-logo-en-v2.svg.png 2x" data-file-width="512" data-file-height="512" /></span></span></div> <div class="side-box-text plainlist">Look up <i><b><a href="https://en.wiktionary.org/wiki/inference" class="extiw" title="wiktionary:inference">inference</a></b></i> or <i><b><a href="https://en.wiktionary.org/wiki/infer" class="extiw" title="wiktionary:infer">infer</a></b></i> in Wiktionary, the free dictionary.</div></div> </div> <ul><li><a rel="nofollow" class="external text" href="https://philpapers.org/browse/inference">Inference</a> at <a href="/wiki/PhilPapers" title="PhilPapers">PhilPapers</a></li> <li><a rel="nofollow" class="external text" href="http://philosophyterms.com/inference/">Inference example and definition</a></li> <li><a rel="nofollow" class="external text" href="https://www.inphoproject.org/taxonomy/2397">Inference</a> at the <a href="/wiki/Indiana_Philosophy_Ontology_Project" class="mw-redirect" title="Indiana Philosophy Ontology Project">Indiana Philosophy Ontology Project</a></li></ul> <div class="navbox-styles"><style data-mw-deduplicate="TemplateStyles:r1129693374">.mw-parser-output .hlist dl,.mw-parser-output .hlist ol,.mw-parser-output .hlist ul{margin:0;padding:0}.mw-parser-output .hlist dd,.mw-parser-output .hlist dt,.mw-parser-output .hlist li{margin:0;display:inline}.mw-parser-output .hlist.inline,.mw-parser-output .hlist.inline dl,.mw-parser-output .hlist.inline ol,.mw-parser-output .hlist.inline ul,.mw-parser-output .hlist dl dl,.mw-parser-output .hlist dl ol,.mw-parser-output .hlist dl ul,.mw-parser-output .hlist ol dl,.mw-parser-output .hlist ol ol,.mw-parser-output .hlist ol ul,.mw-parser-output .hlist ul dl,.mw-parser-output .hlist ul ol,.mw-parser-output .hlist ul ul{display:inline}.mw-parser-output .hlist .mw-empty-li{display:none}.mw-parser-output .hlist dt::after{content:": "}.mw-parser-output .hlist dd::after,.mw-parser-output .hlist li::after{content:" · ";font-weight:bold}.mw-parser-output .hlist dd:last-child::after,.mw-parser-output .hlist dt:last-child::after,.mw-parser-output .hlist li:last-child::after{content:none}.mw-parser-output .hlist dd dd:first-child::before,.mw-parser-output .hlist dd dt:first-child::before,.mw-parser-output .hlist dd li:first-child::before,.mw-parser-output .hlist dt dd:first-child::before,.mw-parser-output .hlist dt dt:first-child::before,.mw-parser-output .hlist dt li:first-child::before,.mw-parser-output .hlist li dd:first-child::before,.mw-parser-output .hlist li dt:first-child::before,.mw-parser-output .hlist li li:first-child::before{content:" (";font-weight:normal}.mw-parser-output .hlist dd dd:last-child::after,.mw-parser-output .hlist dd dt:last-child::after,.mw-parser-output .hlist dd li:last-child::after,.mw-parser-output .hlist dt dd:last-child::after,.mw-parser-output .hlist dt dt:last-child::after,.mw-parser-output .hlist dt li:last-child::after,.mw-parser-output .hlist li dd:last-child::after,.mw-parser-output .hlist li dt:last-child::after,.mw-parser-output .hlist li li:last-child::after{content:")";font-weight:normal}.mw-parser-output .hlist ol{counter-reset:listitem}.mw-parser-output .hlist ol>li{counter-increment:listitem}.mw-parser-output .hlist ol>li::before{content:" "counter(listitem)"\a0 "}.mw-parser-output .hlist dd ol>li:first-child::before,.mw-parser-output .hlist dt ol>li:first-child::before,.mw-parser-output .hlist li ol>li:first-child::before{content:" ("counter(listitem)"\a0 "}</style><style data-mw-deduplicate="TemplateStyles:r1236075235">.mw-parser-output .navbox{box-sizing:border-box;border:1px solid #a2a9b1;width:100%;clear:both;font-size:88%;text-align:center;padding:1px;margin:1em auto 0}.mw-parser-output .navbox .navbox{margin-top:0}.mw-parser-output .navbox+.navbox,.mw-parser-output .navbox+.navbox-styles+.navbox{margin-top:-1px}.mw-parser-output .navbox-inner,.mw-parser-output .navbox-subgroup{width:100%}.mw-parser-output .navbox-group,.mw-parser-output .navbox-title,.mw-parser-output .navbox-abovebelow{padding:0.25em 1em;line-height:1.5em;text-align:center}.mw-parser-output .navbox-group{white-space:nowrap;text-align:right}.mw-parser-output .navbox,.mw-parser-output .navbox-subgroup{background-color:#fdfdfd}.mw-parser-output .navbox-list{line-height:1.5em;border-color:#fdfdfd}.mw-parser-output .navbox-list-with-group{text-align:left;border-left-width:2px;border-left-style:solid}.mw-parser-output tr+tr>.navbox-abovebelow,.mw-parser-output tr+tr>.navbox-group,.mw-parser-output tr+tr>.navbox-image,.mw-parser-output tr+tr>.navbox-list{border-top:2px solid #fdfdfd}.mw-parser-output .navbox-title{background-color:#ccf}.mw-parser-output .navbox-abovebelow,.mw-parser-output .navbox-group,.mw-parser-output .navbox-subgroup .navbox-title{background-color:#ddf}.mw-parser-output .navbox-subgroup .navbox-group,.mw-parser-output .navbox-subgroup .navbox-abovebelow{background-color:#e6e6ff}.mw-parser-output .navbox-even{background-color:#f7f7f7}.mw-parser-output .navbox-odd{background-color:transparent}.mw-parser-output .navbox .hlist td dl,.mw-parser-output .navbox .hlist td ol,.mw-parser-output .navbox .hlist td ul,.mw-parser-output .navbox td.hlist dl,.mw-parser-output .navbox td.hlist ol,.mw-parser-output .navbox td.hlist ul{padding:0.125em 0}.mw-parser-output .navbox .navbar{display:block;font-size:100%}.mw-parser-output .navbox-title .navbar{float:left;text-align:left;margin-right:0.5em}body.skin--responsive .mw-parser-output .navbox-image img{max-width:none!important}@media print{body.ns-0 .mw-parser-output .navbox{display:none!important}}</style></div><div role="navigation" class="navbox" aria-labelledby="Logic" style="padding:3px"><table class="nowraplinks hlist mw-collapsible mw-collapsed navbox-inner" style="border-spacing:0;background:transparent;color:inherit"><tbody><tr><th scope="col" class="navbox-title" colspan="2"><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1129693374"><style data-mw-deduplicate="TemplateStyles:r1239400231">.mw-parser-output .navbar{display:inline;font-size:88%;font-weight:normal}.mw-parser-output .navbar-collapse{float:left;text-align:left}.mw-parser-output .navbar-boxtext{word-spacing:0}.mw-parser-output .navbar ul{display:inline-block;white-space:nowrap;line-height:inherit}.mw-parser-output .navbar-brackets::before{margin-right:-0.125em;content:"[ "}.mw-parser-output .navbar-brackets::after{margin-left:-0.125em;content:" ]"}.mw-parser-output .navbar li{word-spacing:-0.125em}.mw-parser-output .navbar a>span,.mw-parser-output .navbar a>abbr{text-decoration:inherit}.mw-parser-output .navbar-mini abbr{font-variant:small-caps;border-bottom:none;text-decoration:none;cursor:inherit}.mw-parser-output .navbar-ct-full{font-size:114%;margin:0 7em}.mw-parser-output .navbar-ct-mini{font-size:114%;margin:0 4em}html.skin-theme-clientpref-night .mw-parser-output .navbar li a abbr{color:var(--color-base)!important}@media(prefers-color-scheme:dark){html.skin-theme-clientpref-os .mw-parser-output .navbar li a abbr{color:var(--color-base)!important}}@media print{.mw-parser-output .navbar{display:none!important}}</style><div class="navbar plainlinks hlist navbar-mini"><ul><li class="nv-view"><a href="/wiki/Template:Logic" title="Template:Logic"><abbr title="View this template">v</abbr></a></li><li class="nv-talk"><a href="/wiki/Template_talk:Logic" title="Template talk:Logic"><abbr title="Discuss this template">t</abbr></a></li><li class="nv-edit"><a href="/wiki/Special:EditPage/Template:Logic" title="Special:EditPage/Template:Logic"><abbr title="Edit this template">e</abbr></a></li></ul></div><div id="Logic" style="font-size:114%;margin:0 4em"><a href="/wiki/Logic" title="Logic">Logic</a></div></th></tr><tr><td class="navbox-abovebelow" colspan="2"><div> <ul><li><a href="/wiki/Outline_of_logic" title="Outline of logic">Outline</a></li> <li><a href="/wiki/History_of_logic" title="History of logic">History</a></li></ul> </div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%">Major fields</th><td class="navbox-list-with-group navbox-list navbox-odd" style="width:100%;padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/Logic_in_computer_science" title="Logic in computer science">Computer science</a></li> <li><a href="/wiki/Formal_semantics_(natural_language)" title="Formal semantics (natural language)">Formal semantics (natural language)</a></li> <li><a class="mw-selflink selflink">Inference</a></li> <li><a href="/wiki/Philosophy_of_logic" title="Philosophy of logic">Philosophy of logic</a></li> <li><a href="/wiki/Formal_proof" title="Formal proof">Proof</a></li> <li><a href="/wiki/Semantics_of_logic" title="Semantics of logic">Semantics of logic</a></li> <li><a href="/wiki/Syntax_(logic)" title="Syntax (logic)">Syntax</a></li></ul> </div><table class="nowraplinks navbox-subgroup" style="border-spacing:0"><tbody><tr><th scope="row" class="navbox-group" style="width:1%">Logics</th><td class="navbox-list-with-group navbox-list navbox-even" style="width:100%;padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/Classical_logic" title="Classical logic">Classical</a></li> <li><a href="/wiki/Informal_logic" title="Informal logic">Informal</a> <ul><li><a href="/wiki/Critical_thinking" title="Critical thinking">Critical thinking</a></li> <li><a href="/wiki/Reason" title="Reason">Reason</a></li></ul></li> <li><a href="/wiki/Mathematical_logic" title="Mathematical logic">Mathematical</a></li> <li><a href="/wiki/Non-classical_logic" title="Non-classical logic">Non-classical</a></li> <li><a href="/wiki/Philosophical_logic" title="Philosophical logic">Philosophical</a></li></ul> </div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%">Theories</th><td class="navbox-list-with-group navbox-list navbox-odd" style="width:100%;padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/Argumentation_theory" title="Argumentation theory">Argumentation</a></li> <li><a href="/wiki/Metalogic" title="Metalogic">Metalogic</a></li> <li><a href="/wiki/Metamathematics" title="Metamathematics">Metamathematics</a></li> <li><a href="/wiki/Set_theory" title="Set theory">Set</a></li></ul> </div></td></tr></tbody></table><div> </div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%">Foundations</th><td class="navbox-list-with-group navbox-list navbox-even" style="width:100%;padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/Abductive_reasoning" title="Abductive reasoning">Abduction</a></li> <li><a href="/wiki/Analytic%E2%80%93synthetic_distinction" title="Analytic–synthetic distinction">Analytic and synthetic propositions</a></li> <li><a href="/wiki/Antecedent_(logic)" title="Antecedent (logic)">Antecedent</a></li> <li><a href="/wiki/Consequent" title="Consequent">Consequent</a></li> <li><a href="/wiki/Contradiction" title="Contradiction">Contradiction</a> <ul><li><a href="/wiki/Paradox" title="Paradox">Paradox</a></li> <li><a href="/wiki/Antinomy" title="Antinomy">Antinomy</a></li></ul></li> <li><a href="/wiki/Deductive_reasoning" title="Deductive reasoning">Deduction</a></li> <li><a href="/wiki/Deductive_closure" title="Deductive closure">Deductive closure</a></li> <li><a href="/wiki/Definition" title="Definition">Definition</a></li> <li><a href="/wiki/Description" title="Description">Description</a></li> <li><a href="/wiki/Logical_consequence" title="Logical consequence">Entailment</a> <ul><li><a href="/wiki/Entailment_(linguistics)" title="Entailment (linguistics)">Linguistic</a></li></ul></li> <li><a href="/wiki/Logical_form" title="Logical form">Form</a></li> <li><a href="/wiki/Inductive_reasoning" title="Inductive reasoning">Induction</a></li> <li><a href="/wiki/Logical_truth" title="Logical truth">Logical truth</a></li> <li><a href="/wiki/Name" title="Name">Name</a></li> <li><a href="/wiki/Necessity_and_sufficiency" title="Necessity and sufficiency">Necessity and sufficiency</a></li> <li><a href="/wiki/Premise" title="Premise">Premise</a></li> <li><a href="/wiki/Probability" title="Probability">Probability</a></li> <li><a href="/wiki/Proposition" title="Proposition">Proposition</a></li> <li><a href="/wiki/Reference" title="Reference">Reference</a></li> <li><a href="/wiki/Statement_(logic)" title="Statement (logic)">Statement</a></li> <li><a href="/wiki/Substitution_(logic)" title="Substitution (logic)">Substitution</a></li> <li><a href="/wiki/Truth" title="Truth">Truth</a></li> <li><a href="/wiki/Validity_(logic)" title="Validity (logic)">Validity</a></li></ul> </div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%">Lists</th><td class="navbox-list-with-group navbox-list navbox-odd" style="width:100%;padding:0"><div style="padding:0 0.25em"></div><table class="nowraplinks navbox-subgroup" style="border-spacing:0"><tbody><tr><th scope="row" class="navbox-group" style="width:1%;font-weight:normal;"><a href="/wiki/Index_of_logic_articles" title="Index of logic articles">topics</a></th><td class="navbox-list-with-group navbox-list navbox-odd" style="width:100%;padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/List_of_mathematical_logic_topics" title="List of mathematical logic topics">Mathematical logic</a></li> <li><a href="/wiki/List_of_Boolean_algebra_topics" title="List of Boolean algebra topics">Boolean algebra</a></li> <li><a href="/wiki/List_of_set_theory_topics" title="List of set theory topics">Set theory</a></li></ul> </div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%;font-weight:normal;">other</th><td class="navbox-list-with-group navbox-list navbox-even" style="width:100%;padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/List_of_logicians" title="List of logicians">Logicians</a></li> <li><a href="/wiki/List_of_rules_of_inference" title="List of rules of inference">Rules of inference</a></li> <li><a href="/wiki/List_of_paradoxes" title="List of paradoxes">Paradoxes</a></li> <li><a href="/wiki/List_of_fallacies" title="List of fallacies">Fallacies</a></li> <li><a href="/wiki/List_of_logic_symbols" title="List of logic symbols">Logic symbols</a></li></ul> </div></td></tr></tbody></table><div></div></td></tr><tr><td class="navbox-abovebelow" colspan="2"><div> <ul><li><span class="nowrap"><span class="noviewer" typeof="mw:File"><span><img alt="" src="//upload.wikimedia.org/wikipedia/commons/thumb/c/cd/Socrates.png/18px-Socrates.png" decoding="async" width="18" height="28" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/c/cd/Socrates.png/27px-Socrates.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/c/cd/Socrates.png/36px-Socrates.png 2x" data-file-width="326" data-file-height="500" /></span></span> </span><a href="/wiki/Portal:Philosophy" title="Portal:Philosophy">Philosophy portal</a></li> <li><a href="/wiki/Category:Logic" title="Category:Logic">Category</a></li> <li><a href="/wiki/Wikipedia:WikiProject_Logic" title="Wikipedia:WikiProject Logic">WikiProject</a> (<a href="/wiki/Wikipedia_talk:WikiProject_Logic" title="Wikipedia talk:WikiProject Logic">talk</a>)</li> <li><a class="external text" href="https://en.wikipedia.org/w/index.php?title=Special:Recentchangeslinked&target=Template:Logic&hidebots=0">changes</a></li></ul> </div></td></tr></tbody></table></div> <div class="navbox-styles"><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1129693374"><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1236075235"></div><div role="navigation" class="navbox" aria-labelledby="Philosophy" style="padding:3px"><table class="nowraplinks hlist mw-collapsible mw-collapsed navbox-inner" style="border-spacing:0;background:transparent;color:inherit"><tbody><tr><th scope="col" class="navbox-title" colspan="2"><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1129693374"><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1239400231"><div class="navbar plainlinks hlist navbar-mini"><ul><li class="nv-view"><a href="/wiki/Template:Philosophy_topics" title="Template:Philosophy topics"><abbr title="View this template">v</abbr></a></li><li class="nv-talk"><a href="/wiki/Template_talk:Philosophy_topics" title="Template talk:Philosophy topics"><abbr title="Discuss this template">t</abbr></a></li><li class="nv-edit"><a href="/wiki/Special:EditPage/Template:Philosophy_topics" title="Special:EditPage/Template:Philosophy topics"><abbr title="Edit this template">e</abbr></a></li></ul></div><div id="Philosophy" style="font-size:114%;margin:0 4em"><a href="/wiki/Philosophy" title="Philosophy">Philosophy</a></div></th></tr><tr><td colspan="2" class="navbox-list navbox-odd" style="width:100%;padding:0"><div style="padding:0 0.25em"></div><table class="nowraplinks mw-collapsible mw-collapsed navbox-subgroup" style="border-spacing:0"><tbody><tr><th scope="col" class="navbox-title" colspan="2"><div id="Branches" style="font-size:114%;margin:0 4em">Branches</div></th></tr><tr><td colspan="2" class="navbox-list navbox-odd" style="width:100%;padding:0"><div style="padding:0 0.25em"></div><table class="nowraplinks navbox-subgroup" style="border-spacing:0"><tbody><tr><th scope="row" class="navbox-group" style="width:6.8em"><a href="/wiki/Outline_of_philosophy#Branches" title="Outline of philosophy">Branches</a></th><td class="navbox-list-with-group navbox-list navbox-odd" style="padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/Applied_philosophy" title="Applied philosophy">Applied philosophy</a></li> <li><a href="/wiki/Logic" title="Logic">Logic</a></li> <li><a href="/wiki/Metaphilosophy" title="Metaphilosophy">Metaphilosophy</a></li> <li><a href="/wiki/Philosophy_of_information" title="Philosophy of information">Philosophy of information</a></li> <li><a href="/wiki/Philosophy_of_language" title="Philosophy of language">Philosophy of language</a></li> <li><a href="/wiki/Philosophy_of_mathematics" title="Philosophy of mathematics">Philosophy of mathematics</a></li> <li><a href="/wiki/Philosophy_of_religion" title="Philosophy of religion">Philosophy of religion</a></li> <li><a href="/wiki/Philosophy_of_science" title="Philosophy of science">Philosophy of science</a></li> <li><a href="/wiki/Political_philosophy" title="Political philosophy">Political philosophy</a></li> <li><a href="/wiki/Practical_philosophy" title="Practical philosophy">Practical philosophy</a></li> <li><a href="/wiki/Social_philosophy" title="Social philosophy">Social philosophy</a></li> <li><a href="/wiki/Theoretical_philosophy" title="Theoretical philosophy">Theoretical philosophy</a></li></ul> </div></td></tr><tr><th scope="row" class="navbox-group" style="width:6.8em"><a href="/wiki/Aesthetics" title="Aesthetics">Aesthetics</a></th><td class="navbox-list-with-group navbox-list navbox-even" style="padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/Aesthetic_emotions" title="Aesthetic emotions">Aesthetic response</a></li> <li><a href="/wiki/Formalism_(art)" title="Formalism (art)">Formalism</a></li> <li><a href="/wiki/Institutional_theory_of_art" class="mw-redirect" title="Institutional theory of art">Institutionalism</a></li></ul> </div></td></tr><tr><th scope="row" class="navbox-group" style="width:6.8em"><a href="/wiki/Epistemology" title="Epistemology">Epistemology</a></th><td class="navbox-list-with-group navbox-list navbox-odd" style="padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/Empiricism" title="Empiricism">Empiricism</a></li> <li><a href="/wiki/Fideism" title="Fideism">Fideism</a></li> <li><a href="/wiki/Naturalized_epistemology" title="Naturalized epistemology">Naturalism</a></li> <li><a href="/wiki/Epistemological_particularism" title="Epistemological particularism">Particularism</a></li> <li><a href="/wiki/Rationalism" title="Rationalism">Rationalism</a></li> <li><a href="/wiki/Philosophical_skepticism" title="Philosophical skepticism">Skepticism</a></li> <li><a href="/wiki/Solipsism" title="Solipsism">Solipsism</a></li></ul> </div></td></tr><tr><th scope="row" class="navbox-group" style="width:6.8em"><a href="/wiki/Ethics" title="Ethics">Ethics</a></th><td class="navbox-list-with-group navbox-list navbox-even" style="padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/Consequentialism" title="Consequentialism">Consequentialism</a></li> <li><a href="/wiki/Deontology" title="Deontology">Deontology</a></li> <li><a href="/wiki/Virtue_ethics" title="Virtue ethics">Virtue</a></li></ul> </div></td></tr><tr><th scope="row" class="navbox-group" style="width:6.8em"><a href="/wiki/Free_will" title="Free will">Free will</a></th><td class="navbox-list-with-group navbox-list navbox-odd" style="padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/Compatibilism" title="Compatibilism">Compatibilism</a></li> <li><a href="/wiki/Determinism" title="Determinism">Determinism</a> <ul><li><a href="/wiki/Hard_determinism" title="Hard determinism">Hard</a></li></ul></li> <li><a href="/wiki/Incompatibilism" title="Incompatibilism">Incompatibilism</a> <ul><li><a href="/wiki/Hard_incompatibilism" class="mw-redirect" title="Hard incompatibilism">Hard</a></li></ul></li> <li><a href="/wiki/Libertarianism_(metaphysics)" title="Libertarianism (metaphysics)">Libertarianism</a></li></ul> </div></td></tr><tr><th scope="row" class="navbox-group" style="width:6.8em"><a href="/wiki/Metaphysics" title="Metaphysics">Metaphysics</a></th><td class="navbox-list-with-group navbox-list navbox-even" style="padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/Atomism" title="Atomism">Atomism</a></li> <li><a href="/wiki/Mind%E2%80%93body_dualism" title="Mind–body dualism">Dualism</a></li> <li><a href="/wiki/Idealism" title="Idealism">Idealism</a></li> <li><a href="/wiki/Monism" title="Monism">Monism</a></li> <li><a href="/wiki/Metaphysical_naturalism" title="Metaphysical naturalism">Naturalism</a></li> <li><a href="/wiki/Philosophical_realism" title="Philosophical realism">Realism</a></li></ul> </div></td></tr><tr><th scope="row" class="navbox-group" style="width:6.8em"><a href="/wiki/Philosophy_of_mind" title="Philosophy of mind">Mind</a></th><td class="navbox-list-with-group navbox-list navbox-odd" style="padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/Behaviorism" title="Behaviorism">Behaviorism</a></li> <li><a href="/wiki/Eliminative_materialism" title="Eliminative materialism">Eliminativism</a></li> <li><a href="/wiki/Emergentism" title="Emergentism">Emergentism</a></li> <li><a href="/wiki/Epiphenomenalism" title="Epiphenomenalism">Epiphenomenalism</a></li> <li><a href="/wiki/Functionalism_(philosophy_of_mind)" title="Functionalism (philosophy of mind)">Functionalism</a></li> <li><a href="/wiki/Objectivity_(philosophy)" class="mw-redirect" title="Objectivity (philosophy)">Objectivism</a></li> <li><a href="/wiki/Subjectivism" title="Subjectivism">Subjectivism</a></li></ul> </div></td></tr><tr><th scope="row" class="navbox-group" style="width:6.8em"><a href="/wiki/Norm_(philosophy)" title="Norm (philosophy)">Normativity</a></th><td class="navbox-list-with-group navbox-list navbox-even" style="padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/Moral_absolutism" title="Moral absolutism">Absolutism</a></li> <li><a href="/wiki/Moral_particularism" title="Moral particularism">Particularism</a></li> <li><a href="/wiki/Relativism" title="Relativism">Relativism</a></li> <li><a href="/wiki/Moral_nihilism" title="Moral nihilism">Nihilism</a></li> <li><a href="/wiki/Moral_skepticism" title="Moral skepticism">Skepticism</a></li> <li><a href="/wiki/Moral_universalism" title="Moral universalism">Universalism</a></li></ul> </div></td></tr><tr><th scope="row" class="navbox-group" style="width:6.8em"><a href="/wiki/Ontology" title="Ontology">Ontology</a></th><td class="navbox-list-with-group navbox-list navbox-odd" style="padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/Action_theory_(philosophy)" title="Action theory (philosophy)">Action</a></li> <li><a href="/wiki/Event_(philosophy)" title="Event (philosophy)">Event</a></li> <li><a href="/wiki/Process_philosophy" title="Process philosophy">Process</a></li></ul> </div></td></tr><tr><th scope="row" class="navbox-group" style="width:6.8em"><a href="/wiki/Reality" title="Reality">Reality</a></th><td class="navbox-list-with-group navbox-list navbox-even" style="padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/Anti-realism" title="Anti-realism">Anti-realism</a></li> <li><a href="/wiki/Conceptualism" title="Conceptualism">Conceptualism</a></li> <li><a href="/wiki/Idealism" title="Idealism">Idealism</a></li> <li><a href="/wiki/Materialism" title="Materialism">Materialism</a></li> <li><a href="/wiki/Naturalism_(philosophy)" title="Naturalism (philosophy)">Naturalism</a></li> <li><a href="/wiki/Nominalism" title="Nominalism">Nominalism</a></li> <li><a href="/wiki/Physicalism" title="Physicalism">Physicalism</a></li> <li><a href="/wiki/Philosophical_realism" title="Philosophical realism">Realism</a></li></ul> </div></td></tr></tbody></table><div></div></td></tr></tbody></table><div></div></td></tr><tr><td colspan="2" class="navbox-list navbox-odd" style="width:100%;padding:0"><div style="padding:0 0.25em"></div><table class="nowraplinks mw-collapsible mw-collapsed navbox-subgroup" style="border-spacing:0"><tbody><tr><th scope="col" class="navbox-title" colspan="2"><div id="By_era" style="font-size:114%;margin:0 4em">By era</div></th></tr><tr><td colspan="2" class="navbox-list navbox-odd" style="width:100%;padding:0"><div style="padding:0 0.25em"></div><table class="nowraplinks navbox-subgroup" style="border-spacing:0"><tbody><tr><th scope="row" class="navbox-group" style="width:6.8em"><a href="/wiki/History_of_philosophy" title="History of philosophy">By era</a></th><td class="navbox-list-with-group navbox-list navbox-odd" style="padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/Ancient_philosophy" title="Ancient philosophy">Ancient</a></li> <li><a href="/wiki/Western_philosophy" title="Western philosophy">Western</a> <ul><li><a href="/wiki/Medieval_philosophy" title="Medieval philosophy">Medieval</a></li> <li><a href="/wiki/Renaissance_philosophy" title="Renaissance philosophy">Renaissance</a></li> <li><a href="/wiki/Early_modern_philosophy" title="Early modern philosophy">Early modern</a></li> <li><a href="/wiki/Modern_philosophy" title="Modern philosophy">Modern</a></li> <li><a href="/wiki/Contemporary_philosophy" title="Contemporary philosophy">Contemporary</a></li></ul></li></ul> </div></td></tr><tr><th scope="row" class="navbox-group" style="width:6.8em"><a href="/wiki/Ancient_philosophy" title="Ancient philosophy">Ancient</a></th><td class="navbox-list-with-group navbox-list navbox-odd" style="padding:0"><div style="padding:0 0.25em"></div><table class="nowraplinks navbox-subgroup" style="border-spacing:0"><tbody><tr><th scope="row" class="navbox-group" style="width:6.6em;font-weight: normal;"><a href="/wiki/Chinese_philosophy" title="Chinese philosophy">Chinese</a></th><td class="navbox-list-with-group navbox-list navbox-even" style="padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/Agriculturalism" title="Agriculturalism">Agriculturalism</a></li> <li><a href="/wiki/Confucianism" title="Confucianism">Confucianism</a></li> <li><a href="/wiki/Legalism_(Chinese_philosophy)" title="Legalism (Chinese philosophy)">Legalism</a></li> <li><a href="/wiki/School_of_Names" title="School of Names">Logicians</a></li> <li><a href="/wiki/Mohism" title="Mohism">Mohism</a></li> <li><a href="/wiki/School_of_Naturalists" title="School of Naturalists">Chinese naturalism</a></li> <li><a href="/wiki/Taoism" title="Taoism">Taoism</a></li> <li><a href="/wiki/Yangism" title="Yangism">Yangism</a></li></ul> </div></td></tr><tr><th scope="row" class="navbox-group" style="width:6.6em;font-weight: normal;"><a href="/wiki/Ancient_Greek_philosophy" title="Ancient Greek philosophy">Greco-</a><a href="/wiki/Ancient_Roman_philosophy" title="Ancient Roman philosophy">Roman</a></th><td class="navbox-list-with-group navbox-list navbox-odd" style="padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/Pre-Socratic_philosophy" title="Pre-Socratic philosophy">Presocratic</a> <ul><li><a href="/wiki/Ionian_School_(philosophy)" class="mw-redirect" title="Ionian School (philosophy)">Ionians</a></li> <li><a href="/wiki/Pythagoreanism" title="Pythagoreanism">Pythagoreans</a></li> <li><a href="/wiki/Eleatics" title="Eleatics">Eleatics</a></li> <li><a href="/wiki/Atomism" title="Atomism">Atomists</a></li> <li><a href="/wiki/Sophist" title="Sophist">Sophists</a></li></ul></li> <li><a href="/wiki/Cyrenaics" title="Cyrenaics">Cyrenaics</a></li> <li><a href="/wiki/Cynicism_(philosophy)" title="Cynicism (philosophy)">Cynicism</a></li> <li><a href="/wiki/Eretrian_school" title="Eretrian school">Eretrian school</a></li> <li><a href="/wiki/Megarian_school" title="Megarian school">Megarian school</a></li> <li><a href="/wiki/Platonic_Academy" title="Platonic Academy">Academy</a></li> <li><a href="/wiki/Peripatetic_school" title="Peripatetic school">Peripatetic school</a></li> <li><a href="/wiki/Hellenistic_philosophy" title="Hellenistic philosophy">Hellenistic philosophy</a> <ul><li><a href="/wiki/Pyrrhonism" title="Pyrrhonism">Pyrrhonism</a></li> <li><a href="/wiki/Stoicism" title="Stoicism">Stoicism</a></li> <li><a href="/wiki/Epicureanism" title="Epicureanism">Epicureanism</a></li> <li><a href="/wiki/Academic_Skepticism" class="mw-redirect" title="Academic Skepticism">Academic Skepticism</a></li></ul></li> <li><a href="/wiki/Middle_Platonism" title="Middle Platonism">Middle Platonism</a></li> <li><a href="/wiki/School_of_the_Sextii" title="School of the Sextii">School of the Sextii</a></li> <li><a href="/wiki/Neopythagoreanism" title="Neopythagoreanism">Neopythagoreanism</a></li> <li><a href="/wiki/Second_Sophistic" title="Second Sophistic">Second Sophistic</a></li> <li><a href="/wiki/Neoplatonism" title="Neoplatonism">Neoplatonism</a></li> <li><a href="/wiki/Church_Fathers" title="Church Fathers">Church Fathers</a></li></ul> </div></td></tr><tr><th scope="row" class="navbox-group" style="width:6.6em;font-weight: normal;"><a href="/wiki/Indian_philosophy" title="Indian philosophy">Indian</a></th><td class="navbox-list-with-group navbox-list navbox-even" style="padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/Hindu_philosophy" title="Hindu philosophy">Hindu</a> <ul><li><a href="/wiki/Samkhya" title="Samkhya">Samkhya</a></li> <li><a href="/wiki/Nyaya" title="Nyaya">Nyaya</a></li> <li><a href="/wiki/Vaisheshika" title="Vaisheshika">Vaisheshika</a></li> <li><a href="/wiki/Yoga_Sutras_of_Patanjali" title="Yoga Sutras of Patanjali">Yoga</a></li> <li><a href="/wiki/M%C4%ABm%C4%81%E1%B9%83s%C4%81" title="Mīmāṃsā">Mīmāṃsā</a></li> <li><a href="/wiki/%C4%80j%C4%ABvika" title="Ājīvika">Ājīvika</a></li> <li><a href="/wiki/Aj%C3%B1ana" title="Ajñana">Ajñana</a></li> <li><a href="/wiki/Charvaka" title="Charvaka">Cārvāka</a></li></ul></li> <li><a href="/wiki/Jain_philosophy" title="Jain philosophy">Jain</a> <ul><li><a href="/wiki/Anekantavada" title="Anekantavada">Anekantavada</a></li> <li><a href="/wiki/Sy%C4%81dv%C4%81da" class="mw-redirect" title="Syādvāda">Syādvāda</a></li></ul></li> <li><a href="/wiki/Buddhist_philosophy" title="Buddhist philosophy">Buddhist</a> <ul><li><a href="/wiki/Abhidharma" title="Abhidharma">Abhidharma</a></li> <li><a href="/wiki/Sarvastivada" title="Sarvastivada">Sarvāstivadā</a></li> <li><a href="/wiki/Pudgalavada" title="Pudgalavada">Pudgalavada</a></li> <li><a href="/wiki/Sautr%C4%81ntika" title="Sautrāntika">Sautrāntika</a></li> <li><a href="/wiki/Madhyamaka" title="Madhyamaka">Madhyamaka</a></li> <li><a href="/wiki/Svatantrika%E2%80%93Prasa%E1%B9%85gika_distinction" title="Svatantrika–Prasaṅgika distinction">Svatantrika and Prasangika</a></li> <li><a href="/wiki/%C5%9A%C5%ABnyat%C4%81" title="Śūnyatā">Śūnyatā</a></li> <li><a href="/wiki/Yogachara" title="Yogachara">Yogacara</a></li> <li><a href="/wiki/Tibetan_Buddhism" title="Tibetan Buddhism">Tibetan</a></li></ul></li></ul> </div></td></tr><tr><th scope="row" class="navbox-group" style="width:6.6em;font-weight: normal;"><a href="/wiki/Iranian_philosophy" title="Iranian philosophy">Persian</a></th><td class="navbox-list-with-group navbox-list navbox-odd" style="padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/Mazdakism" title="Mazdakism">Mazdakism</a></li> <li><a href="/wiki/Mithraism" title="Mithraism">Mithraism</a></li> <li><a href="/wiki/Zoroastrianism" title="Zoroastrianism">Zoroastrianism</a></li> <li><a href="/wiki/Zurvanism" title="Zurvanism">Zurvanism</a></li></ul> </div></td></tr></tbody></table><div></div></td></tr><tr><th scope="row" class="navbox-group" style="width:6.8em"><a href="/wiki/Medieval_philosophy" title="Medieval philosophy">Medieval</a></th><td class="navbox-list-with-group navbox-list navbox-odd" style="padding:0"><div style="padding:0 0.25em"></div><table class="nowraplinks navbox-subgroup" style="border-spacing:0"><tbody><tr><th scope="row" class="navbox-group" style="width:6.6em;font-weight: normal;">East Asian</th><td class="navbox-list-with-group navbox-list navbox-even" style="padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/Xuanxue" title="Xuanxue">Neotaoism</a></li> <li><a href="/wiki/Tiantai" title="Tiantai">Tiantai</a></li> <li><a href="/wiki/Huayan" title="Huayan">Huayan</a></li> <li><a href="/wiki/Chan_Buddhism" title="Chan Buddhism">Chan</a></li> <li><a href="/wiki/Zen" title="Zen">Zen</a></li> <li><a href="/wiki/Neo-Confucianism" title="Neo-Confucianism">Neo-Confucianism</a></li> <li><a href="/wiki/Korean_Confucianism" title="Korean Confucianism">Korean Confucianism</a></li></ul> </div></td></tr><tr><th scope="row" class="navbox-group" style="width:6.6em;font-weight: normal;"><a href="/wiki/Western_philosophy" title="Western philosophy">European</a></th><td class="navbox-list-with-group navbox-list navbox-odd" style="padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/Christian_philosophy" title="Christian philosophy">Christian</a></li> <li><a href="/wiki/Augustinianism" title="Augustinianism">Augustinianism</a></li> <li><a href="/wiki/Scholasticism" title="Scholasticism">Scholasticism</a></li> <li><a href="/wiki/Thomism" title="Thomism">Thomism</a></li> <li><a href="/wiki/Scotism" title="Scotism">Scotism</a></li> <li><a href="/wiki/Occamism" title="Occamism">Occamism</a></li> <li><a href="/wiki/Renaissance_humanism" title="Renaissance humanism">Renaissance humanism</a></li></ul> </div></td></tr><tr><th scope="row" class="navbox-group" style="width:6.6em;font-weight: normal;">Indian</th><td class="navbox-list-with-group navbox-list navbox-even" style="padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/Vedanta" title="Vedanta">Vedanta</a> <ul><li><a href="/wiki/Achintya_Bheda_Abheda" title="Achintya Bheda Abheda">Acintya bheda abheda</a></li> <li><a href="/wiki/Advaita_Vedanta" title="Advaita Vedanta">Advaita</a></li> <li><a href="/wiki/Bhedabheda" title="Bhedabheda">Bhedabheda</a></li> <li><a href="/wiki/Dvaita_Vedanta" title="Dvaita Vedanta">Dvaita</a></li> <li><a href="/wiki/Nimbarka_Sampradaya" title="Nimbarka Sampradaya">Nimbarka Sampradaya</a></li> <li><a href="/wiki/Shuddhadvaita" title="Shuddhadvaita">Shuddhadvaita</a></li> <li><a href="/wiki/Vishishtadvaita" title="Vishishtadvaita">Vishishtadvaita</a></li></ul></li> <li><a href="/wiki/Navya-Ny%C4%81ya" title="Navya-Nyāya">Navya-Nyāya</a></li></ul> </div></td></tr><tr><th scope="row" class="navbox-group" style="width:6.6em;font-weight: normal;"><a href="/wiki/Islamic_philosophy" title="Islamic philosophy">Islamic</a></th><td class="navbox-list-with-group navbox-list navbox-odd" style="padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/Aristotelianism" title="Aristotelianism">Aristotelianism</a></li> <li><a href="/wiki/Averroism" title="Averroism">Averroism</a></li> <li><a href="/wiki/Avicennism" title="Avicennism">Avicennism</a></li> <li><a href="/wiki/Illuminationism" title="Illuminationism">Illuminationism</a></li> <li><i><a href="/wiki/Kalam" title="Kalam">ʿIlm al-Kalām</a></i></li> <li><a href="/wiki/Sufi_philosophy" title="Sufi philosophy">Sufi</a></li></ul> </div></td></tr><tr><th scope="row" class="navbox-group" style="width:6.6em;font-weight: normal;"><a href="/wiki/Jewish_philosophy" title="Jewish philosophy">Jewish</a></th><td class="navbox-list-with-group navbox-list navbox-even" style="padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/Judeo-Islamic_philosophies_(800%E2%80%931400)" title="Judeo-Islamic philosophies (800–1400)">Judeo-Islamic</a></li></ul> </div></td></tr></tbody></table><div></div></td></tr><tr><th scope="row" class="navbox-group" style="width:6.8em"><a href="/wiki/Modern_philosophy" title="Modern philosophy">Modern</a></th><td class="navbox-list-with-group navbox-list navbox-odd" style="padding:0"><div style="padding:0 0.25em"></div><table class="nowraplinks navbox-subgroup" style="border-spacing:0"><tbody><tr><td colspan="2" class="navbox-list navbox-odd" style="padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/Anarchism" title="Anarchism">Anarchism</a></li> <li><a href="/wiki/Classical_Realism" title="Classical Realism">Classical Realism</a></li> <li><a href="/wiki/Collectivism_and_individualism" class="mw-redirect" title="Collectivism and individualism">Collectivism</a></li> <li><a href="/wiki/Conservatism" title="Conservatism">Conservatism</a></li> <li><a href="/wiki/Determinism" title="Determinism">Determinism</a></li> <li><a href="/wiki/Mind%E2%80%93body_dualism" title="Mind–body dualism">Dualism</a></li> <li><a href="/wiki/Edo_neo-Confucianism" title="Edo neo-Confucianism">Edo neo-Confucianism</a></li> <li><a href="/wiki/Empiricism" title="Empiricism">Empiricism</a></li> <li><a href="/wiki/Existentialism" title="Existentialism">Existentialism</a></li> <li><a href="/wiki/Foundationalism" title="Foundationalism">Foundationalism</a></li> <li><a href="/wiki/Historicism" title="Historicism">Historicism</a></li> <li><a href="/wiki/Holism" title="Holism">Holism</a></li> <li><a href="/wiki/Humanism" title="Humanism">Humanism</a> <ul><li><a href="/wiki/Antihumanism" title="Antihumanism">Anti-</a></li></ul></li> <li><a href="/wiki/Idealism" title="Idealism">Idealism</a> <ul><li><a href="/wiki/Absolute_idealism" title="Absolute idealism">Absolute</a></li> <li><a href="/wiki/British_idealism" title="British idealism">British</a></li> <li><a href="/wiki/German_idealism" title="German idealism">German</a></li> <li><a href="/wiki/Objective_idealism" title="Objective idealism">Objective</a></li> <li><a href="/wiki/Subjective_idealism" title="Subjective idealism">Subjective</a></li> <li><a href="/wiki/Transcendental_idealism" title="Transcendental idealism">Transcendental</a></li></ul></li> <li><a href="/wiki/Individualism" title="Individualism">Individualism</a></li> <li><a href="/wiki/Kokugaku" title="Kokugaku">Kokugaku</a></li> <li><a href="/wiki/Classical_liberalism" title="Classical liberalism">Liberalism</a></li> <li><a href="/wiki/Materialism" title="Materialism">Materialism</a></li> <li><a href="/wiki/Modernism" title="Modernism">Modernism</a></li> <li><a href="/wiki/Monism" title="Monism">Monism</a></li> <li><a href="/wiki/Naturalism_(philosophy)" title="Naturalism (philosophy)">Naturalism</a></li> <li><a href="/wiki/Natural_law" title="Natural law">Natural law</a></li> <li><a href="/wiki/Nihilism" title="Nihilism">Nihilism</a></li> <li><a href="/wiki/New_Confucianism" title="New Confucianism">New Confucianism</a></li> <li><a href="/wiki/Neo-scholasticism" title="Neo-scholasticism">Neo-scholasticism</a></li> <li><a href="/wiki/Pragmatism" title="Pragmatism">Pragmatism</a></li> <li><a href="/wiki/Phenomenology_(philosophy)" title="Phenomenology (philosophy)">Phenomenology</a></li> <li><a href="/wiki/Positivism" title="Positivism">Positivism</a></li> <li><a href="/wiki/Reductionism" title="Reductionism">Reductionism</a></li> <li><a href="/wiki/Rationalism" title="Rationalism">Rationalism</a></li> <li><a href="/wiki/Social_contract" title="Social contract">Social contract</a></li> <li><a href="/wiki/Socialism" title="Socialism">Socialism</a></li> <li><a href="/wiki/Transcendentalism" title="Transcendentalism">Transcendentalism</a></li> <li><a href="/wiki/Utilitarianism" title="Utilitarianism">Utilitarianism</a></li></ul> </div></td></tr><tr><th scope="row" class="navbox-group" style="width:6.6em;font-weight: normal;">People</th><td class="navbox-list-with-group navbox-list navbox-even" style="padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/Cartesianism" title="Cartesianism">Cartesianism</a></li> <li><a href="/wiki/Kantianism" title="Kantianism">Kantianism</a> <ul><li><a href="/wiki/Neo-Kantianism" title="Neo-Kantianism">Neo</a></li></ul></li> <li><a href="/wiki/Philosophy_of_S%C3%B8ren_Kierkegaard" title="Philosophy of Søren Kierkegaard">Kierkegaardianism</a></li> <li><a href="/wiki/Krausism" title="Krausism">Krausism</a></li> <li><a href="/wiki/Hegelianism" class="mw-redirect" title="Hegelianism">Hegelianism</a></li> <li><a href="/wiki/Marxist_philosophy" title="Marxist philosophy">Marxism</a></li> <li><a href="/wiki/Newtonianism" title="Newtonianism">Newtonianism</a></li> <li><a href="/wiki/Philosophy_of_Friedrich_Nietzsche" title="Philosophy of Friedrich Nietzsche">Nietzscheanism</a></li> <li><a href="/wiki/Spinozism" class="mw-redirect" title="Spinozism">Spinozism</a></li></ul> </div></td></tr></tbody></table><div></div></td></tr><tr><th scope="row" class="navbox-group" style="width:6.8em"><a href="/wiki/Contemporary_philosophy" title="Contemporary philosophy">Contemporary</a></th><td class="navbox-list-with-group navbox-list navbox-odd" style="padding:0"><div style="padding:0 0.25em"></div><table class="nowraplinks navbox-subgroup" style="border-spacing:0"><tbody><tr><th scope="row" class="navbox-group" style="width:6.6em;font-weight: normal;"><a href="/wiki/Analytic_philosophy" title="Analytic philosophy">Analytic</a></th><td class="navbox-list-with-group navbox-list navbox-odd" style="padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/Applied_ethics" title="Applied ethics">Applied ethics</a></li> <li><a href="/wiki/Analytical_feminism" title="Analytical feminism">Analytic feminism</a></li> <li><a href="/wiki/Analytical_Marxism" title="Analytical Marxism">Analytical Marxism</a></li> <li><a href="/wiki/Communitarianism" title="Communitarianism">Communitarianism</a></li> <li><a href="/wiki/Consequentialism" title="Consequentialism">Consequentialism</a></li> <li><a href="/wiki/Critical_rationalism" title="Critical rationalism">Critical rationalism</a></li> <li><a href="/wiki/Experimental_philosophy" title="Experimental philosophy">Experimental philosophy</a></li> <li><a href="/wiki/Falsifiability" title="Falsifiability">Falsificationism</a></li> <li><a href="/wiki/Foundationalism" title="Foundationalism">Foundationalism</a> / <a href="/wiki/Coherentism" title="Coherentism">Coherentism</a></li> <li><a href="/wiki/Internalism_and_externalism" title="Internalism and externalism">Internalism and externalism</a></li> <li><a href="/wiki/Logical_positivism" title="Logical positivism">Logical positivism</a></li> <li><a href="/wiki/Legal_positivism" title="Legal positivism">Legal positivism</a></li> <li><a href="/wiki/Meta-ethics" class="mw-redirect" title="Meta-ethics">Meta-ethics</a></li> <li><a href="/wiki/Moral_realism" title="Moral realism">Moral realism</a></li> <li><a href="/wiki/Naturalized_epistemology" title="Naturalized epistemology">Quinean naturalism</a></li> <li><a href="/wiki/Normative_ethics" title="Normative ethics">Normative ethics</a></li> <li><a href="/wiki/Ordinary_language_philosophy" title="Ordinary language philosophy">Ordinary language philosophy</a></li> <li><a href="/wiki/Postanalytic_philosophy" title="Postanalytic philosophy">Postanalytic philosophy</a></li> <li><a href="/wiki/Quietism_(philosophy)" title="Quietism (philosophy)">Quietism</a></li> <li><a href="/wiki/John_Rawls" title="John Rawls">Rawlsian</a></li> <li><a href="/wiki/Reformed_epistemology" title="Reformed epistemology">Reformed epistemology</a></li> <li><a href="/wiki/Systemics" title="Systemics">Systemics</a></li> <li><a href="/wiki/Scientism" title="Scientism">Scientism</a></li> <li><a href="/wiki/Scientific_realism" title="Scientific realism">Scientific realism</a></li> <li><a href="/wiki/Scientific_skepticism" title="Scientific skepticism">Scientific skepticism</a></li> <li><a href="/wiki/Transactionalism" title="Transactionalism">Transactionalism</a></li> <li><a href="/wiki/Utilitarianism#Developments_in_the_20th_century" title="Utilitarianism">Contemporary utilitarianism</a></li> <li><a href="/wiki/Vienna_Circle" title="Vienna Circle">Vienna Circle</a></li> <li><a href="/wiki/Ludwig_Wittgenstein" title="Ludwig Wittgenstein">Wittgensteinian</a></li></ul> </div></td></tr><tr><th scope="row" class="navbox-group" style="width:6.6em;font-weight: normal;"><a href="/wiki/Continental_philosophy" title="Continental philosophy">Continental</a></th><td class="navbox-list-with-group navbox-list navbox-even" style="padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/Critical_theory" title="Critical theory">Critical theory</a></li> <li><a href="/wiki/Deconstruction" title="Deconstruction">Deconstruction</a></li> <li><a href="/wiki/Existentialism" title="Existentialism">Existentialism</a></li> <li><a href="/wiki/Feminist_philosophy" title="Feminist philosophy">Feminist</a></li> <li><a href="/wiki/Frankfurt_School" title="Frankfurt School">Frankfurt School</a></li> <li><a href="/wiki/Hermeneutics" title="Hermeneutics">Hermeneutics</a></li> <li><a href="/wiki/Neo-Marxism" title="Neo-Marxism">Neo-Marxism</a></li> <li><a href="/wiki/New_historicism" title="New historicism">New Historicism</a></li> <li><a href="/wiki/Phenomenology_(philosophy)" title="Phenomenology (philosophy)">Phenomenology</a></li> <li><a href="/wiki/Posthumanism" title="Posthumanism">Posthumanism</a></li> <li><a href="/wiki/Postmodern_philosophy" title="Postmodern philosophy">Postmodernism</a></li> <li><a href="/wiki/Post-structuralism" title="Post-structuralism">Post-structuralism</a></li> <li><a href="/wiki/Social_constructionism" title="Social constructionism">Social constructionism</a></li> <li><a href="/wiki/Structuralism" title="Structuralism">Structuralism</a></li> <li><a href="/wiki/Western_Marxism" title="Western Marxism">Western Marxism</a></li></ul> </div></td></tr><tr><th scope="row" class="navbox-group" style="width:6.6em;font-weight: normal;">Miscellaneous</th><td class="navbox-list-with-group navbox-list navbox-odd" style="padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/Kyoto_School" title="Kyoto School">Kyoto School</a></li> <li><a href="/wiki/Objectivism" title="Objectivism">Objectivism</a></li> <li><a href="/wiki/Postcritique" title="Postcritique">Postcritique</a></li> <li><a href="/wiki/Russian_cosmism" title="Russian cosmism">Russian cosmism</a></li> <li><i><a href="/wiki/List_of_philosophies" title="List of philosophies">more...</a></i></li></ul> </div></td></tr></tbody></table><div></div></td></tr></tbody></table><div></div></td></tr></tbody></table><div></div></td></tr><tr><td colspan="2" class="navbox-list navbox-odd" style="width:100%;padding:0"><div style="padding:0 0.25em"></div><table class="nowraplinks mw-collapsible mw-collapsed navbox-subgroup" style="border-spacing:0"><tbody><tr><th scope="col" class="navbox-title" colspan="2"><div id="By_region" style="font-size:114%;margin:0 4em"><div class="hlist"><ul><li>By region</li></ul></div></div></th></tr><tr><td colspan="2" class="navbox-list navbox-odd" style="width:100%;padding:0"><div style="padding:0 0.25em"></div><table class="nowraplinks navbox-subgroup" style="border-spacing:0"><tbody><tr><th scope="row" class="navbox-group" style="width:6.8em"><a href="/wiki/Outline_of_philosophy#Philosophic_traditions_by_region" title="Outline of philosophy">By region</a></th><td class="navbox-list-with-group navbox-list navbox-odd" style="padding:0"><div style="padding:0 0.25em"></div><table class="nowraplinks navbox-subgroup" style="border-spacing:0"><tbody><tr><th scope="row" class="navbox-group" style="width:6.6em;font-weight: normal;"><a href="/wiki/African_philosophy" title="African philosophy">African</a></th><td class="navbox-list-with-group navbox-list navbox-odd" style="padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/Ubuntu_philosophy" title="Ubuntu philosophy">Bantu</a></li> <li><a href="/wiki/Ancient_Egyptian_philosophy" title="Ancient Egyptian philosophy">Egyptian</a></li> <li><a href="/wiki/Ethiopian_philosophy" title="Ethiopian philosophy">Ethiopian</a></li> <li><a href="/wiki/Africana_philosophy" title="Africana philosophy">Africana</a></li></ul> </div></td></tr><tr><th scope="row" class="navbox-group" style="width:6.6em;font-weight: normal;"><a href="/wiki/Eastern_philosophy" title="Eastern philosophy">Eastern</a></th><td class="navbox-list-with-group navbox-list navbox-even" style="padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/Buddhist_philosophy" title="Buddhist philosophy">Buddhist</a></li> <li><a href="/wiki/Chinese_philosophy" title="Chinese philosophy">Chinese</a></li> <li><a href="/wiki/Indian_philosophy" title="Indian philosophy">Indian</a></li> <li><a href="/wiki/Indonesian_philosophy" title="Indonesian philosophy">Indonesian</a></li> <li><a href="/wiki/Japanese_philosophy" title="Japanese philosophy">Japanese</a></li> <li><a href="/wiki/Korean_philosophy" title="Korean philosophy">Korean</a></li> <li><a href="/wiki/Philosophy_in_Taiwan" title="Philosophy in Taiwan">Taiwanese</a></li> <li><a href="/wiki/Vietnamese_philosophy" title="Vietnamese philosophy">Vietnamese</a></li></ul> </div></td></tr><tr><th scope="row" class="navbox-group" style="width:6.6em;font-weight: normal;"><a href="/wiki/Middle_Eastern_philosophy" title="Middle Eastern philosophy">Middle Eastern</a></th><td class="navbox-list-with-group navbox-list navbox-odd" style="padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/Iranian_philosophy" title="Iranian philosophy">Iranian</a></li> <li><a href="/wiki/Islamic_philosophy" title="Islamic philosophy">Islamic</a></li> <li><a href="/wiki/Jewish_philosophy" title="Jewish philosophy">Jewish</a></li> <li><a href="/wiki/Pakistani_philosophy" title="Pakistani philosophy">Pakistani</a></li> <li><a href="/wiki/List_of_Turkish_philosophers" class="mw-redirect" title="List of Turkish philosophers">Turkish</a></li></ul> </div></td></tr><tr><th scope="row" class="navbox-group" style="width:6.6em;font-weight: normal;"><a href="/wiki/Western_philosophy" title="Western philosophy">Western</a></th><td class="navbox-list-with-group navbox-list navbox-even" style="padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/American_philosophy" title="American philosophy">American</a></li> <li><a href="/wiki/Australian_philosophy" title="Australian philosophy">Australian</a></li> <li><a href="/wiki/British_philosophy" title="British philosophy">British</a> <ul><li><a href="/wiki/Scottish_philosophy" title="Scottish philosophy">Scottish</a></li></ul></li> <li><a href="/wiki/Philosophy_in_Canada" title="Philosophy in Canada">Canada</a></li> <li><a href="/wiki/Czech_philosophy" title="Czech philosophy">Czech</a></li> <li><a href="/wiki/Danish_philosophy" title="Danish philosophy">Danish</a></li> <li><a href="/wiki/Dutch_philosophy" title="Dutch philosophy">Dutch</a></li> <li><a href="/wiki/History_of_philosophy_in_Finland" title="History of philosophy in Finland">Finland</a></li> <li><a href="/wiki/French_philosophy" title="French philosophy">French</a></li> <li><a href="/wiki/German_philosophy" title="German philosophy">German</a></li> <li><a href="/wiki/Ancient_Greek_philosophy" title="Ancient Greek philosophy">Greek</a></li> <li><a href="/wiki/Italian_philosophy" title="Italian philosophy">Italian</a></li> <li><a href="/wiki/Philosophy_in_Malta" title="Philosophy in Malta">Maltese</a></li> <li><a href="/wiki/History_of_philosophy_in_Poland" title="History of philosophy in Poland">Polish</a></li> <li><a href="/wiki/List_of_Slovene_philosophers" title="List of Slovene philosophers">Slovene</a></li> <li><a href="/wiki/Spanish_philosophy" title="Spanish philosophy">Spanish</a></li></ul> </div></td></tr><tr><th scope="row" class="navbox-group" style="width:6.6em;font-weight: normal;">Miscellaneous</th><td class="navbox-list-with-group navbox-list navbox-odd" style="padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/Indigenous_American_philosophy" title="Indigenous American philosophy">Amerindian</a></li> <li><a href="/wiki/Aztec_philosophy" title="Aztec philosophy">Aztec</a></li> <li><a href="/wiki/Romanian_philosophy" title="Romanian philosophy">Romanian</a></li> <li><a href="/wiki/Russian_philosophy" title="Russian philosophy">Russian</a></li> <li><a href="/wiki/Yugoslav_philosophy" title="Yugoslav philosophy">Yugoslav</a></li></ul> </div></td></tr></tbody></table><div></div></td></tr></tbody></table><div></div></td></tr></tbody></table><div></div></td></tr><tr><td class="navbox-abovebelow" colspan="2"><div> <ul><li><b><span class="nowrap"><span class="noviewer" typeof="mw:File"><span><img alt="" src="//upload.wikimedia.org/wikipedia/commons/thumb/c/cd/Socrates.png/10px-Socrates.png" decoding="async" width="10" height="16" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/c/cd/Socrates.png/15px-Socrates.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/c/cd/Socrates.png/21px-Socrates.png 2x" data-file-width="326" data-file-height="500" /></span></span> </span><a href="/wiki/Portal:Philosophy" title="Portal:Philosophy">Philosophy portal</a></b></li> <li><b><span class="noviewer" typeof="mw:File"><span title="Category"><img alt="" src="//upload.wikimedia.org/wikipedia/en/thumb/9/96/Symbol_category_class.svg/16px-Symbol_category_class.svg.png" decoding="async" width="16" height="16" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/en/thumb/9/96/Symbol_category_class.svg/23px-Symbol_category_class.svg.png 1.5x, //upload.wikimedia.org/wikipedia/en/thumb/9/96/Symbol_category_class.svg/31px-Symbol_category_class.svg.png 2x" data-file-width="180" data-file-height="185" /></span></span> <a href="/wiki/Category:Philosophy" title="Category:Philosophy">Category</a></b></li></ul> </div></td></tr></tbody></table></div> <div class="navbox-styles"><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1129693374"><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1236075235"></div><div role="navigation" class="navbox authority-control" aria-label="Navbox" style="padding:3px"><table class="nowraplinks hlist navbox-inner" style="border-spacing:0;background:transparent;color:inherit"><tbody><tr><th scope="row" class="navbox-group" style="width:1%"><a href="/wiki/Help:Authority_control" title="Help:Authority control">Authority control databases</a>: National <span class="mw-valign-text-top noprint" typeof="mw:File/Frameless"><a href="https://www.wikidata.org/wiki/Q408386#identifiers" title="Edit this at Wikidata"><img alt="Edit this at Wikidata" src="//upload.wikimedia.org/wikipedia/en/thumb/8/8a/OOjs_UI_icon_edit-ltr-progressive.svg/10px-OOjs_UI_icon_edit-ltr-progressive.svg.png" decoding="async" width="10" height="10" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/en/thumb/8/8a/OOjs_UI_icon_edit-ltr-progressive.svg/15px-OOjs_UI_icon_edit-ltr-progressive.svg.png 1.5x, //upload.wikimedia.org/wikipedia/en/thumb/8/8a/OOjs_UI_icon_edit-ltr-progressive.svg/20px-OOjs_UI_icon_edit-ltr-progressive.svg.png 2x" data-file-width="20" data-file-height="20" /></a></span></th><td class="navbox-list-with-group navbox-list navbox-odd" style="width:100%;padding:0"><div style="padding:0 0.25em"><ul><li><span class="uid"><a rel="nofollow" class="external text" href="https://d-nb.info/gnd/4139983-3">Germany</a></span></li><li><span class="uid"><a rel="nofollow" class="external text" href="https://id.loc.gov/authorities/sh85066082">United States</a></span></li><li><span class="uid"><a rel="nofollow" class="external text" href="https://catalogue.bnf.fr/ark:/12148/cb11935348h">France</a></span></li><li><span class="uid"><a rel="nofollow" class="external text" href="https://data.bnf.fr/ark:/12148/cb11935348h">BnF data</a></span></li><li><span class="uid"><a rel="nofollow" class="external text" href="https://id.ndl.go.jp/auth/ndlna/00571577">Japan</a></span></li><li><span class="uid"><a rel="nofollow" class="external text" href="http://olduli.nli.org.il/F/?func=find-b&local_base=NLX10&find_code=UID&request=987007548355405171">Israel</a></span></li></ul></div></td></tr></tbody></table></div>    </div><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/w/index.php?title=Inference&oldid=1258235333">https://en.wikipedia.org/w/index.php?title=Inference&oldid=1258235333</a>"</div></div> <div id="catlinks" class="catlinks" data-mw="interface"><div id="mw-normal-catlinks" class="mw-normal-catlinks"><a href="/wiki/Help:Category" title="Help:Category">Categories</a>: <ul><li><a href="/wiki/Category:Inference" title="Category:Inference">Inference</a></li><li><a href="/wiki/Category:Concepts_in_epistemology" title="Category:Concepts in epistemology">Concepts in epistemology</a></li><li><a href="/wiki/Category:Concepts_in_logic" title="Category:Concepts in logic">Concepts in logic</a></li><li><a href="/wiki/Category:Concepts_in_metaphilosophy" title="Category:Concepts in metaphilosophy">Concepts in metaphilosophy</a></li><li><a href="/wiki/Category:Concepts_in_metaphysics" title="Category:Concepts in metaphysics">Concepts in metaphysics</a></li><li><a href="/wiki/Category:Concepts_in_the_philosophy_of_mind" title="Category:Concepts in the philosophy of mind">Concepts in the philosophy of mind</a></li><li><a href="/wiki/Category:History_of_logic" title="Category:History of logic">History of logic</a></li><li><a href="/wiki/Category:Intellectual_history" title="Category:Intellectual history">Intellectual history</a></li><li><a href="/wiki/Category:Logic" title="Category:Logic">Logic</a></li><li><a href="/wiki/Category:Logic_and_statistics" title="Category:Logic and statistics">Logic and statistics</a></li><li><a href="/wiki/Category:Logical_consequence" title="Category:Logical consequence">Logical consequence</a></li><li><a href="/wiki/Category:Metaphysics_of_mind" title="Category:Metaphysics of mind">Metaphysics of mind</a></li><li><a href="/wiki/Category:Reasoning" title="Category:Reasoning">Reasoning</a></li><li><a href="/wiki/Category:Semantics" title="Category:Semantics">Semantics</a></li><li><a href="/wiki/Category:Sources_of_knowledge" title="Category:Sources of knowledge">Sources of knowledge</a></li><li><a href="/wiki/Category:Thought" title="Category:Thought">Thought</a></li></ul></div><div id="mw-hidden-catlinks" class="mw-hidden-catlinks mw-hidden-cats-hidden">Hidden categories: <ul><li><a href="/wiki/Category:Articles_with_short_description" title="Category:Articles with short description">Articles with short description</a></li><li><a href="/wiki/Category:Short_description_is_different_from_Wikidata" title="Category:Short description is different from Wikidata">Short description is different from Wikidata</a></li><li><a href="/wiki/Category:Articles_lacking_in-text_citations_from_July_2023" title="Category:Articles lacking in-text citations from July 2023">Articles lacking in-text citations from July 2023</a></li><li><a href="/wiki/Category:All_articles_lacking_in-text_citations" title="Category:All articles lacking in-text citations">All articles lacking in-text citations</a></li><li><a href="/wiki/Category:Use_dmy_dates_from_November_2024" title="Category:Use dmy dates from November 2024">Use dmy dates from November 2024</a></li><li><a href="/wiki/Category:Wikipedia_articles_needing_clarification_from_August_2013" title="Category:Wikipedia articles needing clarification from August 2013">Wikipedia articles needing clarification from August 2013</a></li><li><a href="/wiki/Category:Articles_to_be_expanded_from_October_2016" title="Category:Articles to be expanded from October 2016">Articles to be expanded from October 2016</a></li><li><a href="/wiki/Category:All_articles_to_be_expanded" title="Category:All articles to be expanded">All articles to be expanded</a></li><li><a href="/wiki/Category:Pages_displaying_short_descriptions_of_redirect_targets_via_Module:Annotated_link" title="Category:Pages displaying short descriptions of redirect targets via Module:Annotated link">Pages displaying short descriptions of redirect targets via Module:Annotated link</a></li></ul></div></div> </div> </main> </div> <div class="mw-footer-container"> <footer id="footer" class="mw-footer" > <ul id="footer-info"> <li id="footer-info-lastmod"> This page was last edited on 18 November 2024, at 21:47<span class="anonymous-show"> (UTC)</span>.</li> <li id="footer-info-copyright">Text is available under the <a href="/wiki/Wikipedia:Text_of_the_Creative_Commons_Attribution-ShareAlike_4.0_International_License" title="Wikipedia:Text of the Creative Commons Attribution-ShareAlike 4.0 International License">Creative Commons Attribution-ShareAlike 4.0 License</a>; additional terms may apply. By using this site, you agree to the <a href="https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Terms_of_Use" class="extiw" title="foundation:Special:MyLanguage/Policy:Terms of Use">Terms of Use</a> and <a href="https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Privacy_policy" class="extiw" title="foundation:Special:MyLanguage/Policy:Privacy policy">Privacy Policy</a>. Wikipedia® is a registered trademark of the <a rel="nofollow" class="external text" href="https://wikimediafoundation.org/">Wikimedia Foundation, Inc.</a>, a non-profit organization.</li> </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=Inference&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-5c59558b9d-lfbfh","wgBackendResponseTime":146,"wgPageParseReport":{"limitreport":{"cputime":"0.714","walltime":"0.930","ppvisitednodes":{"value":5697,"limit":1000000},"postexpandincludesize":{"value":219975,"limit":2097152},"templateargumentsize":{"value":2186,"limit":2097152},"expansiondepth":{"value":13,"limit":100},"expensivefunctioncount":{"value":19,"limit":500},"unstrip-depth":{"value":1,"limit":20},"unstrip-size":{"value":94064,"limit":5000000},"entityaccesscount":{"value":1,"limit":400},"timingprofile":["100.00% 758.447 1 -total"," 25.96% 196.890 20 Template:Annotated_link"," 15.95% 120.990 14 Template:Cite_book"," 12.29% 93.221 11 Template:Navbox"," 9.32% 70.656 1 Template:Logic"," 8.98% 68.093 1 Template:Reflist"," 7.15% 54.237 11 Template:Cite_journal"," 6.52% 49.420 1 Template:Short_description"," 5.17% 39.192 1 Template:Philosophy_topics"," 5.10% 38.646 2 Template:Ambox"]},"scribunto":{"limitreport-timeusage":{"value":"0.478","limit":"10.000"},"limitreport-memusage":{"value":17288274,"limit":52428800},"limitreport-logs":"table#1 {\n}\ntable#1 {\n [\"size\"] = \"tiny\",\n}\n"},"cachereport":{"origin":"mw-api-ext.codfw.main-74f675c4bb-75qrq","timestamp":"20241201034416","ttl":2592000,"transientcontent":false}}});});</script> <script type="application/ld+json">{"@context":"https:\/\/schema.org","@type":"Article","name":"Inference","url":"https:\/\/en.wikipedia.org\/wiki\/Inference","sameAs":"http:\/\/www.wikidata.org\/entity\/Q408386","mainEntity":"http:\/\/www.wikidata.org\/entity\/Q408386","author":{"@type":"Organization","name":"Contributors to Wikimedia projects"},"publisher":{"@type":"Organization","name":"Wikimedia Foundation, Inc.","logo":{"@type":"ImageObject","url":"https:\/\/www.wikimedia.org\/static\/images\/wmf-hor-googpub.png"}},"datePublished":"2003-09-13T13:09:39Z","dateModified":"2024-11-18T21:47:11Z","headline":"act or process of deriving logical conclusions from premises known or assumed to be true"}</script> </body> </html>