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="fr" dir="ltr"> <head> <meta charset="UTF-8"> <title>Logique — Wikipédia</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(/(?:^|; )frwikimwclientpreferences=([^;]+)/);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":[",\t."," \t,"],"wgDigitTransformTable":["",""], "wgDefaultDateFormat":"dmy","wgMonthNames":["","janvier","février","mars","avril","mai","juin","juillet","août","septembre","octobre","novembre","décembre"],"wgRequestId":"7a679284-efbd-4b81-b02e-0a7e3eb5e68a","wgCanonicalNamespace":"","wgCanonicalSpecialPageName":false,"wgNamespaceNumber":0,"wgPageName":"Logique","wgTitle":"Logique","wgCurRevisionId":217792684,"wgRevisionId":217792684,"wgArticleId":10433,"wgIsArticle":true,"wgIsRedirect":false,"wgAction":"view","wgUserName":null,"wgUserGroups":["*"],"wgCategories":["Article avec source à lier","Article contenant un appel à traduction en allemand","Article à référence nécessaire","Article contenant un appel à traduction en anglais","Page avec un oldid invalide","Article de Wikipédia avec notice d'autorité","Page utilisant P1417","Page utilisant P8313","Page utilisant P1296","Page utilisant P7305","Page utilisant P6058","Page utilisant P4342","Page utilisant P3365","Page utilisant P3219", "Page pointant vers des bases externes","Page pointant vers des dictionnaires ou encyclopédies généralistes","Page utilisant P3123","Page pointant vers des bases relatives à la recherche","Page utilisant P486","Page pointant vers des bases relatives à la santé","Portail:Philosophie/Articles liés","Portail:Société/Articles liés","Portail:Sciences humaines et sociales/Articles liés","Portail:Mathématiques/Articles liés","Portail:Sciences/Articles liés","Projet:Mathématiques/Articles","Portail:Linguistique/Articles liés","Portail:Langues/Articles liés","Portail:Informatique/Articles liés","Portail:Technologies/Articles liés","Portail:Informatique théorique/Articles liés","Portail:Logique/Articles liés","Article de qualité en anglais","Bon article en allemand","Sciences cognitives","Logique","Rhétorique"],"wgPageViewLanguage":"fr","wgPageContentLanguage":"fr","wgPageContentModel":"wikitext","wgRelevantPageName":"Logique","wgRelevantArticleId":10433, "wgIsProbablyEditable":true,"wgRelevantPageIsProbablyEditable":true,"wgRestrictionEdit":[],"wgRestrictionMove":[],"wgNoticeProject":"wikipedia","wgCiteReferencePreviewsActive":true,"wgMediaViewerOnClick":true,"wgMediaViewerEnabledByDefault":true,"wgPopupsFlags":0,"wgVisualEditor":{"pageLanguageCode":"fr","pageLanguageDir":"ltr","pageVariantFallbacks":"fr"},"wgMFDisplayWikibaseDescriptions":{"search":true,"watchlist":true,"tagline":true,"nearby":true},"wgWMESchemaEditAttemptStepOversample":false,"wgWMEPageLength":30000,"wgRelatedArticlesCompat":[],"wgCentralAuthMobileDomain":false,"wgEditSubmitButtonLabelPublish":true,"wgULSPosition":"interlanguage","wgULSisCompactLinksEnabled":false,"wgVector2022LanguageInHeader":true,"wgULSisLanguageSelectorEmpty":false,"wgWikibaseItemId":"Q8078","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.cite.styles":"ready","ext.math.styles":"ready","skins.vector.search.codex.styles":"ready","skins.vector.styles":"ready","skins.vector.icons":"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","mediawiki.page.media","site","mediawiki.page.ready","mediawiki.toc","skins.vector.js","ext.centralNotice.geoIP","ext.centralNotice.startUp","ext.gadget.ArchiveLinks","ext.gadget.Wdsearch","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=fr&modules=ext.cite.styles%7Cext.math.styles%7Cext.uls.interlanguage%7Cext.visualEditor.desktopArticleTarget.noscript%7Cext.wikimediaBadges%7Cext.wikimediamessages.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=fr&modules=startup&only=scripts&raw=1&skin=vector-2022"></script> <meta name="ResourceLoaderDynamicStyles" content=""> <link rel="stylesheet" href="/w/load.php?lang=fr&modules=site.styles&only=styles&skin=vector-2022"> <meta name="generator" content="MediaWiki 1.44.0-wmf.4"> <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 property="og:image" content="https://upload.wikimedia.org/wikipedia/commons/thumb/4/44/Gregor_Reisch%2C_Margarita_Philosophica%2C_Typus_Logice.jpg/1200px-Gregor_Reisch%2C_Margarita_Philosophica%2C_Typus_Logice.jpg"> <meta property="og:image:width" content="1200"> <meta property="og:image:height" content="1557"> <meta property="og:image" content="https://upload.wikimedia.org/wikipedia/commons/thumb/4/44/Gregor_Reisch%2C_Margarita_Philosophica%2C_Typus_Logice.jpg/800px-Gregor_Reisch%2C_Margarita_Philosophica%2C_Typus_Logice.jpg"> <meta property="og:image:width" content="800"> <meta property="og:image:height" content="1038"> <meta property="og:image" content="https://upload.wikimedia.org/wikipedia/commons/thumb/4/44/Gregor_Reisch%2C_Margarita_Philosophica%2C_Typus_Logice.jpg/640px-Gregor_Reisch%2C_Margarita_Philosophica%2C_Typus_Logice.jpg"> <meta property="og:image:width" content="640"> <meta property="og:image:height" content="830"> <meta name="viewport" content="width=1120"> <meta property="og:title" content="Logique — Wikipédia"> <meta property="og:type" content="website"> <link rel="preconnect" href="//upload.wikimedia.org"> <link rel="alternate" media="only screen and (max-width: 640px)" href="//fr.m.wikipedia.org/wiki/Logique"> <link rel="alternate" type="application/x-wiki" title="Modifier" href="/w/index.php?title=Logique&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="Wikipédia (fr)"> <link rel="EditURI" type="application/rsd+xml" href="//fr.wikipedia.org/w/api.php?action=rsd"> <link rel="canonical" href="https://fr.wikipedia.org/wiki/Logique"> <link rel="license" href="https://creativecommons.org/licenses/by-sa/4.0/deed.fr"> <link rel="alternate" type="application/atom+xml" title="Flux Atom de Wikipédia" href="/w/index.php?title=Sp%C3%A9cial:Modifications_r%C3%A9centes&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-Logique rootpage-Logique skin-vector-2022 action-view"><a class="mw-jump-link" href="#bodyContent">Aller au contenu</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="Menu principal" > <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">Menu principal</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">Menu principal</div> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-pin-button" data-event-name="pinnable-header.vector-main-menu.pin">déplacer vers la barre latérale</button> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-unpin-button" data-event-name="pinnable-header.vector-main-menu.unpin">masquer</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/Wikip%C3%A9dia:Accueil_principal" title="Accueil général [z]" accesskey="z"><span>Accueil</span></a></li><li id="n-thema" class="mw-list-item"><a href="/wiki/Portail:Accueil"><span>Portails thématiques</span></a></li><li id="n-randompage" class="mw-list-item"><a href="/wiki/Sp%C3%A9cial:Page_au_hasard" title="Affiche un article au hasard [x]" accesskey="x"><span>Article au hasard</span></a></li><li id="n-contact" class="mw-list-item"><a href="/wiki/Wikip%C3%A9dia:Contact"><span>Contact</span></a></li> </ul> </div> </div> <div id="p-Contribuer" class="vector-menu mw-portlet mw-portlet-Contribuer" > <div class="vector-menu-heading"> Contribuer </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="n-aboutwp" class="mw-list-item"><a href="/wiki/Aide:D%C3%A9buter"><span>Débuter sur Wikipédia</span></a></li><li id="n-help" class="mw-list-item"><a href="/wiki/Aide:Accueil" title="Accès à l’aide"><span>Aide</span></a></li><li id="n-portal" class="mw-list-item"><a href="/wiki/Wikip%C3%A9dia:Accueil_de_la_communaut%C3%A9" title="À propos du projet, ce que vous pouvez faire, où trouver les informations"><span>Communauté</span></a></li><li id="n-recentchanges" class="mw-list-item"><a href="/wiki/Sp%C3%A9cial:Modifications_r%C3%A9centes" title="Liste des modifications récentes sur le wiki [r]" accesskey="r"><span>Modifications récentes</span></a></li> </ul> </div> </div> </div> </div> </div> </div> </nav> <a href="/wiki/Wikip%C3%A9dia:Accueil_principal" 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="Wikipédia" src="/static/images/mobile/copyright/wikipedia-wordmark-fr.svg" style="width: 7.4375em; height: 1.125em;"> <img class="mw-logo-tagline" alt="l'encyclopédie libre" src="/static/images/mobile/copyright/wikipedia-tagline-fr.svg" width="120" height="13" style="width: 7.5em; 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/Sp%C3%A9cial:Recherche" class="cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only search-toggle" title="Rechercher sur Wikipédia [f]" accesskey="f"><span class="vector-icon mw-ui-icon-search mw-ui-icon-wikimedia-search"></span> <span>Rechercher</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="Rechercher sur Wikipédia" aria-label="Rechercher sur Wikipédia" autocapitalize="sentences" title="Rechercher sur Wikipédia [f]" accesskey="f" id="searchInput" > <span class="cdx-text-input__icon cdx-text-input__start-icon"></span> </div> <input type="hidden" name="title" value="Spécial:Recherche"> </div> <button class="cdx-button cdx-search-input__end-button">Rechercher</button> </form> </div> </div> </div> <nav class="vector-user-links vector-user-links-wide" aria-label="Outils personnels"> <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="Apparence"> <div id="vector-appearance-dropdown" class="vector-dropdown " title="Modifier l'apparence de la taille, de la largeur et de la couleur de la police de la page" > <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="Apparence" > <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">Apparence</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="//donate.wikimedia.org/wiki/Special:FundraiserRedirector?utm_source=donate&utm_medium=sidebar&utm_campaign=C13_fr.wikipedia.org&uselang=fr" class=""><span>Faire un don</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=Sp%C3%A9cial:Cr%C3%A9er_un_compte&returnto=Logique" title="Nous vous encourageons à créer un compte utilisateur et vous connecter ; ce n’est cependant pas obligatoire." class=""><span>Créer un compte</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=Sp%C3%A9cial:Connexion&returnto=Logique" title="Nous vous encourageons à vous connecter ; ce n’est cependant pas obligatoire. [o]" accesskey="o" class=""><span>Se connecter</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="Plus d’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="Outils personnels" > <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">Outils personnels</span> </label> <div class="vector-dropdown-content"> <div id="p-personal" class="vector-menu mw-portlet mw-portlet-personal user-links-collapsible-item" title="Menu utilisateur" > <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="//donate.wikimedia.org/wiki/Special:FundraiserRedirector?utm_source=donate&utm_medium=sidebar&utm_campaign=C13_fr.wikipedia.org&uselang=fr"><span>Faire un don</span></a></li><li id="pt-createaccount" class="user-links-collapsible-item mw-list-item"><a href="/w/index.php?title=Sp%C3%A9cial:Cr%C3%A9er_un_compte&returnto=Logique" title="Nous vous encourageons à créer un compte utilisateur et vous connecter ; ce n’est cependant pas obligatoire."><span class="vector-icon mw-ui-icon-userAdd mw-ui-icon-wikimedia-userAdd"></span> <span>Créer un compte</span></a></li><li id="pt-login" class="user-links-collapsible-item mw-list-item"><a href="/w/index.php?title=Sp%C3%A9cial:Connexion&returnto=Logique" title="Nous vous encourageons à vous connecter ; ce n’est cependant pas obligatoire. [o]" accesskey="o"><span class="vector-icon mw-ui-icon-logIn mw-ui-icon-wikimedia-logIn"></span> <span>Se connecter</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 pour les contributeurs déconnectés <a href="/wiki/Aide:Premiers_pas" aria-label="En savoir plus sur la contribution"><span>en savoir plus</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/Sp%C3%A9cial:Mes_contributions" title="Une liste des modifications effectuées depuis cette adresse IP [y]" accesskey="y"><span>Contributions</span></a></li><li id="pt-anontalk" class="mw-list-item"><a href="/wiki/Sp%C3%A9cial:Mes_discussions" title="La page de discussion pour les contributions depuis cette adresse IP [n]" accesskey="n"><span>Discussion</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="Sommaire" 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">Sommaire</h2> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-pin-button" data-event-name="pinnable-header.vector-toc.pin">déplacer vers la barre latérale</button> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-unpin-button" data-event-name="pinnable-header.vector-toc.unpin">masquer</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">Début</div> </a> </li> <li id="toc-Histoire" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#Histoire"> <div class="vector-toc-text"> <span class="vector-toc-numb">1</span> <span>Histoire</span> </div> </a> <button aria-controls="toc-Histoire-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>Afficher / masquer la sous-section Histoire</span> </button> <ul id="toc-Histoire-sublist" class="vector-toc-list"> <li id="toc-Antiquité" class="vector-toc-list-item vector-toc-level-2"> <a class="vector-toc-link" href="#Antiquité"> <div class="vector-toc-text"> <span class="vector-toc-numb">1.1</span> <span>Antiquité</span> </div> </a> <ul id="toc-Antiquité-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-Ère_contemporaine" class="vector-toc-list-item vector-toc-level-2"> <a class="vector-toc-link" href="#Ère_contemporaine"> <div class="vector-toc-text"> <span class="vector-toc-numb">1.2</span> <span>Ère contemporaine</span> </div> </a> <ul id="toc-Ère_contemporaine-sublist" class="vector-toc-list"> </ul> </li> </ul> </li> <li id="toc-Différentes_approches" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#Différentes_approches"> <div class="vector-toc-text"> <span class="vector-toc-numb">2</span> <span>Différentes approches</span> </div> </a> <button aria-controls="toc-Différentes_approches-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>Afficher / masquer la sous-section Différentes approches</span> </button> <ul id="toc-Différentes_approches-sublist" class="vector-toc-list"> <li id="toc-Historique" class="vector-toc-list-item vector-toc-level-2"> <a class="vector-toc-link" href="#Historique"> <div class="vector-toc-text"> <span class="vector-toc-numb">2.1</span> <span>Historique</span> </div> </a> <ul id="toc-Historique-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-Mathématique" class="vector-toc-list-item vector-toc-level-2"> <a class="vector-toc-link" href="#Mathématique"> <div class="vector-toc-text"> <span class="vector-toc-numb">2.2</span> <span>Mathématique</span> </div> </a> <ul id="toc-Mathématique-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-Philosophique" class="vector-toc-list-item vector-toc-level-2"> <a class="vector-toc-link" href="#Philosophique"> <div class="vector-toc-text"> <span class="vector-toc-numb">2.3</span> <span>Philosophique</span> </div> </a> <ul id="toc-Philosophique-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-Informatique" class="vector-toc-list-item vector-toc-level-2"> <a class="vector-toc-link" href="#Informatique"> <div class="vector-toc-text"> <span class="vector-toc-numb">2.4</span> <span>Informatique</span> </div> </a> <ul id="toc-Informatique-sublist" class="vector-toc-list"> </ul> </li> </ul> </li> <li id="toc-Grands_domaines_de_la_logique" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#Grands_domaines_de_la_logique"> <div class="vector-toc-text"> <span class="vector-toc-numb">3</span> <span>Grands domaines de la logique</span> </div> </a> <button aria-controls="toc-Grands_domaines_de_la_logique-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>Afficher / masquer la sous-section Grands domaines de la logique</span> </button> <ul id="toc-Grands_domaines_de_la_logique-sublist" class="vector-toc-list"> <li id="toc-Logique_syllogistique" class="vector-toc-list-item vector-toc-level-2"> <a class="vector-toc-link" href="#Logique_syllogistique"> <div class="vector-toc-text"> <span class="vector-toc-numb">3.1</span> <span>Logique syllogistique</span> </div> </a> <ul id="toc-Logique_syllogistique-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-Logique_propositionnelle" class="vector-toc-list-item vector-toc-level-2"> <a class="vector-toc-link" href="#Logique_propositionnelle"> <div class="vector-toc-text"> <span class="vector-toc-numb">3.2</span> <span>Logique propositionnelle</span> </div> </a> <ul id="toc-Logique_propositionnelle-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-Calcul_des_prédicats" class="vector-toc-list-item vector-toc-level-2"> <a class="vector-toc-link" href="#Calcul_des_prédicats"> <div class="vector-toc-text"> <span class="vector-toc-numb">3.3</span> <span>Calcul des prédicats</span> </div> </a> <ul id="toc-Calcul_des_prédicats-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-Logique_modale" class="vector-toc-list-item vector-toc-level-2"> <a class="vector-toc-link" href="#Logique_modale"> <div class="vector-toc-text"> <span class="vector-toc-numb">3.4</span> <span>Logique modale</span> </div> </a> <ul id="toc-Logique_modale-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-Logique_philosophique" class="vector-toc-list-item vector-toc-level-2"> <a class="vector-toc-link" href="#Logique_philosophique"> <div class="vector-toc-text"> <span class="vector-toc-numb">3.5</span> <span>Logique philosophique</span> </div> </a> <ul id="toc-Logique_philosophique-sublist" class="vector-toc-list"> </ul> </li> </ul> </li> <li id="toc-Notions_élémentaires_de_logique_formelle" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#Notions_élémentaires_de_logique_formelle"> <div class="vector-toc-text"> <span class="vector-toc-numb">4</span> <span>Notions élémentaires de logique formelle</span> </div> </a> <button aria-controls="toc-Notions_élémentaires_de_logique_formelle-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>Afficher / masquer la sous-section Notions élémentaires de logique formelle</span> </button> <ul id="toc-Notions_élémentaires_de_logique_formelle-sublist" class="vector-toc-list"> <li id="toc-Syntaxes" class="vector-toc-list-item vector-toc-level-2"> <a class="vector-toc-link" href="#Syntaxes"> <div class="vector-toc-text"> <span class="vector-toc-numb">4.1</span> <span>Syntaxes</span> </div> </a> <ul id="toc-Syntaxes-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-Quantification" class="vector-toc-list-item vector-toc-level-2"> <a class="vector-toc-link" href="#Quantification"> <div class="vector-toc-text"> <span class="vector-toc-numb">4.2</span> <span>Quantification</span> </div> </a> <ul id="toc-Quantification-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-Égalité" class="vector-toc-list-item vector-toc-level-2"> <a class="vector-toc-link" href="#Égalité"> <div class="vector-toc-text"> <span class="vector-toc-numb">4.3</span> <span>Égalité</span> </div> </a> <ul id="toc-Égalité-sublist" class="vector-toc-list"> </ul> </li> </ul> </li> <li id="toc-Logique_non_binaire" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#Logique_non_binaire"> <div class="vector-toc-text"> <span class="vector-toc-numb">5</span> <span>Logique non binaire</span> </div> </a> <ul id="toc-Logique_non_binaire-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-Bibliographie" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#Bibliographie"> <div class="vector-toc-text"> <span class="vector-toc-numb">6</span> <span>Bibliographie</span> </div> </a> <ul id="toc-Bibliographie-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-Notes_et_références" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#Notes_et_références"> <div class="vector-toc-text"> <span class="vector-toc-numb">7</span> <span>Notes et références</span> </div> </a> <ul id="toc-Notes_et_références-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-Voir_aussi" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#Voir_aussi"> <div class="vector-toc-text"> <span class="vector-toc-numb">8</span> <span>Voir aussi</span> </div> </a> <button aria-controls="toc-Voir_aussi-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>Afficher / masquer la sous-section Voir aussi</span> </button> <ul id="toc-Voir_aussi-sublist" class="vector-toc-list"> <li id="toc-Articles_connexes" class="vector-toc-list-item vector-toc-level-2"> <a class="vector-toc-link" href="#Articles_connexes"> <div class="vector-toc-text"> <span class="vector-toc-numb">8.1</span> <span>Articles connexes</span> </div> </a> <ul id="toc-Articles_connexes-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-Liens_externes" class="vector-toc-list-item vector-toc-level-2"> <a class="vector-toc-link" href="#Liens_externes"> <div class="vector-toc-text"> <span class="vector-toc-numb">8.2</span> <span>Liens externes</span> </div> </a> <ul id="toc-Liens_externes-sublist" class="vector-toc-list"> </ul> </li> </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="Sommaire" 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="Basculer la table des matières" > <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">Basculer la table des matières</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">Logique</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="Aller à un article dans une autre langue. Disponible en 164 langues." > <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-164" 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">164 langues</span> </label> <div class="vector-dropdown-content"> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li class="interlanguage-link interwiki-af mw-list-item"><a href="https://af.wikipedia.org/wiki/Logika" title="Logika – afrikaans" lang="af" hreflang="af" data-title="Logika" data-language-autonym="Afrikaans" data-language-local-name="afrikaans" class="interlanguage-link-target"><span>Afrikaans</span></a></li><li class="interlanguage-link interwiki-als mw-list-item"><a href="https://als.wikipedia.org/wiki/Logik" title="Logik – alémanique" lang="gsw" hreflang="gsw" data-title="Logik" data-language-autonym="Alemannisch" data-language-local-name="alémanique" class="interlanguage-link-target"><span>Alemannisch</span></a></li><li class="interlanguage-link interwiki-am mw-list-item"><a href="https://am.wikipedia.org/wiki/%E1%88%B5%E1%8A%90_%E1%8A%A0%E1%88%9D%E1%8A%AD%E1%8A%95%E1%8B%AE" title="ስነ አምክንዮ – amharique" lang="am" hreflang="am" data-title="ስነ አምክንዮ" data-language-autonym="አማርኛ" data-language-local-name="amharique" class="interlanguage-link-target"><span>አማርኛ</span></a></li><li class="interlanguage-link interwiki-an mw-list-item"><a href="https://an.wikipedia.org/wiki/Lochica" title="Lochica – aragonais" lang="an" hreflang="an" data-title="Lochica" data-language-autonym="Aragonés" data-language-local-name="aragonais" class="interlanguage-link-target"><span>Aragonés</span></a></li><li class="interlanguage-link interwiki-anp mw-list-item"><a href="https://anp.wikipedia.org/wiki/%E0%A4%A4%E0%A4%B0%E0%A5%8D%E0%A4%95%E0%A4%B6%E0%A4%BE%E0%A4%B8%E0%A5%8D%E0%A4%A4%E0%A5%8D%E0%A4%B0" title="तर्कशास्त्र – angika" lang="anp" hreflang="anp" data-title="तर्कशास्त्र" data-language-autonym="अंगिका" data-language-local-name="angika" class="interlanguage-link-target"><span>अंगिका</span></a></li><li class="interlanguage-link interwiki-ar mw-list-item"><a href="https://ar.wikipedia.org/wiki/%D9%85%D9%86%D8%B7%D9%82" title="منطق – arabe" lang="ar" hreflang="ar" data-title="منطق" data-language-autonym="العربية" data-language-local-name="arabe" class="interlanguage-link-target"><span>العربية</span></a></li><li class="interlanguage-link interwiki-arz mw-list-item"><a href="https://arz.wikipedia.org/wiki/%D9%85%D9%86%D8%B7%D9%82" title="منطق – arabe égyptien" lang="arz" hreflang="arz" data-title="منطق" data-language-autonym="مصرى" data-language-local-name="arabe égyptien" class="interlanguage-link-target"><span>مصرى</span></a></li><li class="interlanguage-link interwiki-as mw-list-item"><a href="https://as.wikipedia.org/wiki/%E0%A6%A4%E0%A7%B0%E0%A7%8D%E0%A6%95%E0%A6%B6%E0%A6%BE%E0%A6%B8%E0%A7%8D%E0%A6%A4%E0%A7%8D%E0%A7%B0" title="তৰ্কশাস্ত্ৰ – assamais" lang="as" hreflang="as" data-title="তৰ্কশাস্ত্ৰ" data-language-autonym="অসমীয়া" data-language-local-name="assamais" class="interlanguage-link-target"><span>অসমীয়া</span></a></li><li class="interlanguage-link interwiki-ast mw-list-item"><a href="https://ast.wikipedia.org/wiki/L%C3%B3xica" title="Lóxica – asturien" lang="ast" hreflang="ast" data-title="Lóxica" data-language-autonym="Asturianu" data-language-local-name="asturien" 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/M%C9%99ntiq" title="Məntiq – azerbaïdjanais" lang="az" hreflang="az" data-title="Məntiq" data-language-autonym="Azərbaycanca" data-language-local-name="azerbaïdjanais" class="interlanguage-link-target"><span>Azərbaycanca</span></a></li><li class="interlanguage-link interwiki-azb mw-list-item"><a href="https://azb.wikipedia.org/wiki/%D9%85%D9%86%D8%B7%DB%8C%D9%82" title="منطیق – South Azerbaijani" lang="azb" hreflang="azb" data-title="منطیق" data-language-autonym="تۆرکجه" data-language-local-name="South Azerbaijani" class="interlanguage-link-target"><span>تۆرکجه</span></a></li><li class="interlanguage-link interwiki-ba mw-list-item"><a href="https://ba.wikipedia.org/wiki/%D0%9B%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0" title="Логика – bachkir" lang="ba" hreflang="ba" data-title="Логика" data-language-autonym="Башҡортса" data-language-local-name="bachkir" class="interlanguage-link-target"><span>Башҡортса</span></a></li><li class="interlanguage-link interwiki-bar mw-list-item"><a href="https://bar.wikipedia.org/wiki/Logik" title="Logik – bavarois" lang="bar" hreflang="bar" data-title="Logik" data-language-autonym="Boarisch" data-language-local-name="bavarois" class="interlanguage-link-target"><span>Boarisch</span></a></li><li class="interlanguage-link interwiki-bat-smg mw-list-item"><a href="https://bat-smg.wikipedia.org/wiki/Luog%C4%97ka" title="Luogėka – samogitien" lang="sgs" hreflang="sgs" data-title="Luogėka" data-language-autonym="Žemaitėška" data-language-local-name="samogitien" class="interlanguage-link-target"><span>Žemaitėška</span></a></li><li class="interlanguage-link interwiki-bcl mw-list-item"><a href="https://bcl.wikipedia.org/wiki/Lohika" title="Lohika – Central Bikol" lang="bcl" hreflang="bcl" data-title="Lohika" data-language-autonym="Bikol Central" data-language-local-name="Central Bikol" class="interlanguage-link-target"><span>Bikol Central</span></a></li><li class="interlanguage-link interwiki-be mw-list-item"><a href="https://be.wikipedia.org/wiki/%D0%9B%D0%BE%D0%B3%D1%96%D0%BA%D0%B0" title="Логіка – biélorusse" lang="be" hreflang="be" data-title="Логіка" data-language-autonym="Беларуская" data-language-local-name="biélorusse" class="interlanguage-link-target"><span>Беларуская</span></a></li><li class="interlanguage-link interwiki-be-x-old mw-list-item"><a href="https://be-tarask.wikipedia.org/wiki/%D0%9B%D1%91%D0%B3%D1%96%D0%BA%D0%B0" title="Лёгіка – Belarusian (Taraškievica orthography)" lang="be-tarask" hreflang="be-tarask" data-title="Лёгіка" data-language-autonym="Беларуская (тарашкевіца)" data-language-local-name="Belarusian (Taraškievica orthography)" class="interlanguage-link-target"><span>Беларуская (тарашкевіца)</span></a></li><li class="interlanguage-link interwiki-bew mw-list-item"><a href="https://bew.wikipedia.org/wiki/Mant%C3%A8k" title="Mantèk – betawi" lang="bew" hreflang="bew" data-title="Mantèk" data-language-autonym="Betawi" data-language-local-name="betawi" class="interlanguage-link-target"><span>Betawi</span></a></li><li class="interlanguage-link interwiki-bg mw-list-item"><a href="https://bg.wikipedia.org/wiki/%D0%9B%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0" title="Логика – bulgare" lang="bg" hreflang="bg" data-title="Логика" data-language-autonym="Български" data-language-local-name="bulgare" class="interlanguage-link-target"><span>Български</span></a></li><li class="interlanguage-link interwiki-bn mw-list-item"><a href="https://bn.wikipedia.org/wiki/%E0%A6%AF%E0%A7%81%E0%A6%95%E0%A7%8D%E0%A6%A4%E0%A6%BF%E0%A6%AC%E0%A6%BF%E0%A6%9C%E0%A7%8D%E0%A6%9E%E0%A6%BE%E0%A6%A8" title="যুক্তিবিজ্ঞান – bengali" lang="bn" hreflang="bn" data-title="যুক্তিবিজ্ঞান" data-language-autonym="বাংলা" data-language-local-name="bengali" class="interlanguage-link-target"><span>বাংলা</span></a></li><li class="interlanguage-link interwiki-br mw-list-item"><a href="https://br.wikipedia.org/wiki/Poelloniezh" title="Poelloniezh – breton" lang="br" hreflang="br" data-title="Poelloniezh" data-language-autonym="Brezhoneg" data-language-local-name="breton" class="interlanguage-link-target"><span>Brezhoneg</span></a></li><li class="interlanguage-link interwiki-bs mw-list-item"><a href="https://bs.wikipedia.org/wiki/Logika" title="Logika – bosniaque" lang="bs" hreflang="bs" data-title="Logika" data-language-autonym="Bosanski" data-language-local-name="bosniaque" class="interlanguage-link-target"><span>Bosanski</span></a></li><li class="interlanguage-link interwiki-btm mw-list-item"><a href="https://btm.wikipedia.org/wiki/Logika" title="Logika – Batak Mandailing" lang="btm" hreflang="btm" data-title="Logika" data-language-autonym="Batak Mandailing" data-language-local-name="Batak Mandailing" class="interlanguage-link-target"><span>Batak Mandailing</span></a></li><li class="interlanguage-link interwiki-bxr mw-list-item"><a href="https://bxr.wikipedia.org/wiki/%D0%A3%D1%88%D0%B0%D1%80_%D1%83%D1%85%D0%B0%D0%B0%D0%BD" title="Ушар ухаан – Russia Buriat" lang="bxr" hreflang="bxr" data-title="Ушар ухаан" data-language-autonym="Буряад" data-language-local-name="Russia Buriat" class="interlanguage-link-target"><span>Буряад</span></a></li><li class="interlanguage-link interwiki-ca mw-list-item"><a href="https://ca.wikipedia.org/wiki/L%C3%B2gica" title="Lògica – catalan" lang="ca" hreflang="ca" data-title="Lògica" data-language-autonym="Català" data-language-local-name="catalan" class="interlanguage-link-target"><span>Català</span></a></li><li class="interlanguage-link interwiki-cbk-zam mw-list-item"><a href="https://cbk-zam.wikipedia.org/wiki/Logica" title="Logica – Chavacano" lang="cbk" hreflang="cbk" data-title="Logica" data-language-autonym="Chavacano de Zamboanga" data-language-local-name="Chavacano" class="interlanguage-link-target"><span>Chavacano de Zamboanga</span></a></li><li class="interlanguage-link interwiki-ce mw-list-item"><a href="https://ce.wikipedia.org/wiki/%D0%9B%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0" title="Логика – tchétchène" lang="ce" hreflang="ce" data-title="Логика" data-language-autonym="Нохчийн" data-language-local-name="tchétchène" class="interlanguage-link-target"><span>Нохчийн</span></a></li><li class="interlanguage-link interwiki-ckb mw-list-item"><a href="https://ckb.wikipedia.org/wiki/%D9%84%DB%86%DA%98%DB%8C%DA%A9" title="لۆژیک – sorani" lang="ckb" hreflang="ckb" data-title="لۆژیک" data-language-autonym="کوردی" data-language-local-name="sorani" class="interlanguage-link-target"><span>کوردی</span></a></li><li class="interlanguage-link interwiki-co mw-list-item"><a href="https://co.wikipedia.org/wiki/Logica" title="Logica – corse" lang="co" hreflang="co" data-title="Logica" data-language-autonym="Corsu" data-language-local-name="corse" class="interlanguage-link-target"><span>Corsu</span></a></li><li class="interlanguage-link interwiki-crh mw-list-item"><a href="https://crh.wikipedia.org/wiki/Mant%C4%B1q" title="Mantıq – tatar de Crimée" lang="crh" hreflang="crh" data-title="Mantıq" data-language-autonym="Qırımtatarca" data-language-local-name="tatar de Crimée" class="interlanguage-link-target"><span>Qırımtatarca</span></a></li><li class="interlanguage-link interwiki-cs mw-list-item"><a href="https://cs.wikipedia.org/wiki/Logika" title="Logika – tchèque" lang="cs" hreflang="cs" data-title="Logika" data-language-autonym="Čeština" data-language-local-name="tchèque" class="interlanguage-link-target"><span>Čeština</span></a></li><li class="interlanguage-link interwiki-cv mw-list-item"><a href="https://cv.wikipedia.org/wiki/%D0%9B%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0" title="Логика – tchouvache" lang="cv" hreflang="cv" data-title="Логика" data-language-autonym="Чӑвашла" data-language-local-name="tchouvache" class="interlanguage-link-target"><span>Чӑвашла</span></a></li><li class="interlanguage-link interwiki-cy mw-list-item"><a href="https://cy.wikipedia.org/wiki/Rhesymeg" title="Rhesymeg – gallois" lang="cy" hreflang="cy" data-title="Rhesymeg" data-language-autonym="Cymraeg" data-language-local-name="gallois" class="interlanguage-link-target"><span>Cymraeg</span></a></li><li class="interlanguage-link interwiki-da mw-list-item"><a href="https://da.wikipedia.org/wiki/Logik" title="Logik – danois" lang="da" hreflang="da" data-title="Logik" data-language-autonym="Dansk" data-language-local-name="danois" class="interlanguage-link-target"><span>Dansk</span></a></li><li class="interlanguage-link interwiki-de badge-Q17437798 badge-goodarticle mw-list-item" title="bon article"><a href="https://de.wikipedia.org/wiki/Logik" title="Logik – allemand" lang="de" hreflang="de" data-title="Logik" data-language-autonym="Deutsch" data-language-local-name="allemand" class="interlanguage-link-target"><span>Deutsch</span></a></li><li class="interlanguage-link interwiki-el mw-list-item"><a href="https://el.wikipedia.org/wiki/%CE%9B%CE%BF%CE%B3%CE%B9%CE%BA%CE%AE" title="Λογική – grec" lang="el" hreflang="el" data-title="Λογική" data-language-autonym="Ελληνικά" data-language-local-name="grec" class="interlanguage-link-target"><span>Ελληνικά</span></a></li><li class="interlanguage-link interwiki-en badge-Q17437796 badge-featuredarticle mw-list-item" title="article de qualité"><a href="https://en.wikipedia.org/wiki/Logic" title="Logic – anglais" lang="en" hreflang="en" data-title="Logic" data-language-autonym="English" data-language-local-name="anglais" class="interlanguage-link-target"><span>English</span></a></li><li class="interlanguage-link interwiki-eo mw-list-item"><a href="https://eo.wikipedia.org/wiki/Logiko" title="Logiko – espéranto" lang="eo" hreflang="eo" data-title="Logiko" data-language-autonym="Esperanto" data-language-local-name="espéranto" class="interlanguage-link-target"><span>Esperanto</span></a></li><li class="interlanguage-link interwiki-es mw-list-item"><a href="https://es.wikipedia.org/wiki/L%C3%B3gica" title="Lógica – espagnol" lang="es" hreflang="es" data-title="Lógica" data-language-autonym="Español" data-language-local-name="espagnol" class="interlanguage-link-target"><span>Español</span></a></li><li class="interlanguage-link interwiki-et mw-list-item"><a href="https://et.wikipedia.org/wiki/Loogika" title="Loogika – estonien" lang="et" hreflang="et" data-title="Loogika" data-language-autonym="Eesti" data-language-local-name="estonien" class="interlanguage-link-target"><span>Eesti</span></a></li><li class="interlanguage-link interwiki-eu mw-list-item"><a href="https://eu.wikipedia.org/wiki/Logika" title="Logika – basque" lang="eu" hreflang="eu" data-title="Logika" data-language-autonym="Euskara" data-language-local-name="basque" class="interlanguage-link-target"><span>Euskara</span></a></li><li class="interlanguage-link interwiki-ext mw-list-item"><a href="https://ext.wikipedia.org/wiki/L%C3%B3gica" title="Lógica – estrémègne" lang="ext" hreflang="ext" data-title="Lógica" data-language-autonym="Estremeñu" data-language-local-name="estrémègne" class="interlanguage-link-target"><span>Estremeñu</span></a></li><li class="interlanguage-link interwiki-fa mw-list-item"><a href="https://fa.wikipedia.org/wiki/%D9%85%D9%86%D8%B7%D9%82" title="منطق – persan" lang="fa" hreflang="fa" data-title="منطق" data-language-autonym="فارسی" data-language-local-name="persan" class="interlanguage-link-target"><span>فارسی</span></a></li><li class="interlanguage-link interwiki-fi mw-list-item"><a href="https://fi.wikipedia.org/wiki/Logiikka" title="Logiikka – finnois" lang="fi" hreflang="fi" data-title="Logiikka" data-language-autonym="Suomi" data-language-local-name="finnois" class="interlanguage-link-target"><span>Suomi</span></a></li><li class="interlanguage-link interwiki-fiu-vro mw-list-item"><a href="https://fiu-vro.wikipedia.org/wiki/Loogiga" title="Loogiga – võro" lang="vro" hreflang="vro" data-title="Loogiga" data-language-autonym="Võro" data-language-local-name="võro" class="interlanguage-link-target"><span>Võro</span></a></li><li class="interlanguage-link interwiki-fj mw-list-item"><a href="https://fj.wikipedia.org/wiki/Vakasama" title="Vakasama – fidjien" lang="fj" hreflang="fj" data-title="Vakasama" data-language-autonym="Na Vosa Vakaviti" data-language-local-name="fidjien" class="interlanguage-link-target"><span>Na Vosa Vakaviti</span></a></li><li class="interlanguage-link interwiki-frr mw-list-item"><a href="https://frr.wikipedia.org/wiki/Loogik" title="Loogik – frison septentrional" lang="frr" hreflang="frr" data-title="Loogik" data-language-autonym="Nordfriisk" data-language-local-name="frison septentrional" class="interlanguage-link-target"><span>Nordfriisk</span></a></li><li class="interlanguage-link interwiki-fy mw-list-item"><a href="https://fy.wikipedia.org/wiki/Logika" title="Logika – frison occidental" lang="fy" hreflang="fy" data-title="Logika" data-language-autonym="Frysk" data-language-local-name="frison occidental" class="interlanguage-link-target"><span>Frysk</span></a></li><li class="interlanguage-link interwiki-ga mw-list-item"><a href="https://ga.wikipedia.org/wiki/Loighic" title="Loighic – irlandais" lang="ga" hreflang="ga" data-title="Loighic" data-language-autonym="Gaeilge" data-language-local-name="irlandais" class="interlanguage-link-target"><span>Gaeilge</span></a></li><li class="interlanguage-link interwiki-gan mw-list-item"><a href="https://gan.wikipedia.org/wiki/%E9%82%8F%E8%BC%AF%E5%AD%B8" title="邏輯學 – gan" lang="gan" hreflang="gan" data-title="邏輯學" data-language-autonym="贛語" data-language-local-name="gan" class="interlanguage-link-target"><span>贛語</span></a></li><li class="interlanguage-link interwiki-gcr mw-list-item"><a href="https://gcr.wikipedia.org/wiki/Lojik" title="Lojik – créole guyanais" lang="gcr" hreflang="gcr" data-title="Lojik" data-language-autonym="Kriyòl gwiyannen" data-language-local-name="créole guyanais" class="interlanguage-link-target"><span>Kriyòl gwiyannen</span></a></li><li class="interlanguage-link interwiki-gl mw-list-item"><a href="https://gl.wikipedia.org/wiki/L%C3%B3xica" title="Lóxica – galicien" lang="gl" hreflang="gl" data-title="Lóxica" data-language-autonym="Galego" data-language-local-name="galicien" class="interlanguage-link-target"><span>Galego</span></a></li><li class="interlanguage-link interwiki-gn mw-list-item"><a href="https://gn.wikipedia.org/wiki/Kuaarape" title="Kuaarape – guarani" lang="gn" hreflang="gn" data-title="Kuaarape" data-language-autonym="Avañe'ẽ" data-language-local-name="guarani" class="interlanguage-link-target"><span>Avañe'ẽ</span></a></li><li class="interlanguage-link interwiki-haw mw-list-item"><a href="https://haw.wikipedia.org/wiki/K%C5%ABpili" title="Kūpili – hawaïen" lang="haw" hreflang="haw" data-title="Kūpili" data-language-autonym="Hawaiʻi" data-language-local-name="hawaïen" class="interlanguage-link-target"><span>Hawaiʻi</span></a></li><li class="interlanguage-link interwiki-he mw-list-item"><a href="https://he.wikipedia.org/wiki/%D7%9C%D7%95%D7%92%D7%99%D7%A7%D7%94" title="לוגיקה – hébreu" lang="he" hreflang="he" data-title="לוגיקה" data-language-autonym="עברית" data-language-local-name="hébreu" 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%A4%E0%A4%B0%E0%A5%8D%E0%A4%95%E0%A4%B6%E0%A4%BE%E0%A4%B8%E0%A5%8D%E0%A4%A4%E0%A5%8D%E0%A4%B0" 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-hif mw-list-item"><a href="https://hif.wikipedia.org/wiki/Logic" title="Logic – hindi fidjien" lang="hif" hreflang="hif" data-title="Logic" data-language-autonym="Fiji Hindi" data-language-local-name="hindi fidjien" class="interlanguage-link-target"><span>Fiji Hindi</span></a></li><li class="interlanguage-link interwiki-hr mw-list-item"><a href="https://hr.wikipedia.org/wiki/Logika" title="Logika – croate" lang="hr" hreflang="hr" data-title="Logika" data-language-autonym="Hrvatski" data-language-local-name="croate" class="interlanguage-link-target"><span>Hrvatski</span></a></li><li class="interlanguage-link interwiki-hu mw-list-item"><a href="https://hu.wikipedia.org/wiki/Logika" title="Logika – hongrois" lang="hu" hreflang="hu" data-title="Logika" data-language-autonym="Magyar" data-language-local-name="hongrois" class="interlanguage-link-target"><span>Magyar</span></a></li><li class="interlanguage-link interwiki-hy mw-list-item"><a href="https://hy.wikipedia.org/wiki/%D5%8F%D6%80%D5%A1%D5%B4%D5%A1%D5%A2%D5%A1%D5%B6%D5%B8%D6%82%D5%A9%D5%B5%D5%B8%D6%82%D5%B6" title="Տրամաբանություն – arménien" lang="hy" hreflang="hy" data-title="Տրամաբանություն" data-language-autonym="Հայերեն" data-language-local-name="arménien" class="interlanguage-link-target"><span>Հայերեն</span></a></li><li class="interlanguage-link interwiki-hyw mw-list-item"><a href="https://hyw.wikipedia.org/wiki/%D5%8F%D6%80%D5%A1%D5%B4%D5%A1%D5%A2%D5%A1%D5%B6%D5%B8%D6%82%D5%A9%D5%AB%D6%82%D5%B6" title="Տրամաբանութիւն – arménien occidental" lang="hyw" hreflang="hyw" data-title="Տրամաբանութիւն" data-language-autonym="Արեւմտահայերէն" data-language-local-name="arménien occidental" class="interlanguage-link-target"><span>Արեւմտահայերէն</span></a></li><li class="interlanguage-link interwiki-ia mw-list-item"><a href="https://ia.wikipedia.org/wiki/Logica" title="Logica – interlingua" lang="ia" hreflang="ia" data-title="Logica" data-language-autonym="Interlingua" data-language-local-name="interlingua" class="interlanguage-link-target"><span>Interlingua</span></a></li><li class="interlanguage-link interwiki-iba mw-list-item"><a href="https://iba.wikipedia.org/wiki/Logik" title="Logik – iban" lang="iba" hreflang="iba" data-title="Logik" data-language-autonym="Jaku Iban" data-language-local-name="iban" class="interlanguage-link-target"><span>Jaku Iban</span></a></li><li class="interlanguage-link interwiki-id mw-list-item"><a href="https://id.wikipedia.org/wiki/Logika" title="Logika – indonésien" lang="id" hreflang="id" data-title="Logika" data-language-autonym="Bahasa Indonesia" data-language-local-name="indonésien" class="interlanguage-link-target"><span>Bahasa Indonesia</span></a></li><li class="interlanguage-link interwiki-ie mw-list-item"><a href="https://ie.wikipedia.org/wiki/Logica" title="Logica – interlingue" lang="ie" hreflang="ie" data-title="Logica" data-language-autonym="Interlingue" data-language-local-name="interlingue" class="interlanguage-link-target"><span>Interlingue</span></a></li><li class="interlanguage-link interwiki-ig mw-list-item"><a href="https://ig.wikipedia.org/wiki/%C7%B8z%C3%B9" title="Ǹzù – igbo" lang="ig" hreflang="ig" data-title="Ǹzù" data-language-autonym="Igbo" data-language-local-name="igbo" class="interlanguage-link-target"><span>Igbo</span></a></li><li class="interlanguage-link interwiki-ilo mw-list-item"><a href="https://ilo.wikipedia.org/wiki/Lohika" title="Lohika – ilocano" lang="ilo" hreflang="ilo" data-title="Lohika" data-language-autonym="Ilokano" data-language-local-name="ilocano" class="interlanguage-link-target"><span>Ilokano</span></a></li><li class="interlanguage-link interwiki-io mw-list-item"><a href="https://io.wikipedia.org/wiki/Logiko" title="Logiko – ido" lang="io" hreflang="io" data-title="Logiko" data-language-autonym="Ido" data-language-local-name="ido" class="interlanguage-link-target"><span>Ido</span></a></li><li class="interlanguage-link interwiki-is mw-list-item"><a href="https://is.wikipedia.org/wiki/R%C3%B6kfr%C3%A6%C3%B0i" title="Rökfræði – islandais" lang="is" hreflang="is" data-title="Rökfræði" data-language-autonym="Íslenska" data-language-local-name="islandais" class="interlanguage-link-target"><span>Íslenska</span></a></li><li class="interlanguage-link interwiki-it mw-list-item"><a href="https://it.wikipedia.org/wiki/Logica" title="Logica – italien" lang="it" hreflang="it" data-title="Logica" data-language-autonym="Italiano" data-language-local-name="italien" class="interlanguage-link-target"><span>Italiano</span></a></li><li class="interlanguage-link interwiki-ja mw-list-item"><a href="https://ja.wikipedia.org/wiki/%E8%AB%96%E7%90%86%E5%AD%A6" title="論理学 – japonais" lang="ja" hreflang="ja" data-title="論理学" data-language-autonym="日本語" data-language-local-name="japonais" class="interlanguage-link-target"><span>日本語</span></a></li><li class="interlanguage-link interwiki-jam mw-list-item"><a href="https://jam.wikipedia.org/wiki/Lajik" title="Lajik – créole jamaïcain" lang="jam" hreflang="jam" data-title="Lajik" data-language-autonym="Patois" data-language-local-name="créole jamaïcain" class="interlanguage-link-target"><span>Patois</span></a></li><li class="interlanguage-link interwiki-jbo mw-list-item"><a href="https://jbo.wikipedia.org/wiki/logji" title="logji – lojban" lang="jbo" hreflang="jbo" data-title="logji" 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-jv mw-list-item"><a href="https://jv.wikipedia.org/wiki/Logika" title="Logika – javanais" lang="jv" hreflang="jv" data-title="Logika" data-language-autonym="Jawa" data-language-local-name="javanais" class="interlanguage-link-target"><span>Jawa</span></a></li><li class="interlanguage-link interwiki-ka mw-list-item"><a href="https://ka.wikipedia.org/wiki/%E1%83%9A%E1%83%9D%E1%83%92%E1%83%98%E1%83%99%E1%83%90" title="ლოგიკა – géorgien" lang="ka" hreflang="ka" data-title="ლოგიკა" data-language-autonym="ქართული" data-language-local-name="géorgien" class="interlanguage-link-target"><span>ქართული</span></a></li><li class="interlanguage-link interwiki-kab mw-list-item"><a href="https://kab.wikipedia.org/wiki/Tame%E1%BA%93la" title="Tameẓla – kabyle" lang="kab" hreflang="kab" data-title="Tameẓla" data-language-autonym="Taqbaylit" data-language-local-name="kabyle" class="interlanguage-link-target"><span>Taqbaylit</span></a></li><li class="interlanguage-link interwiki-kbp mw-list-item"><a href="https://kbp.wikipedia.org/wiki/C%C9%94l%C9%A9y%C9%9B" title="Cɔlɩyɛ – Kabiye" lang="kbp" hreflang="kbp" data-title="Cɔlɩyɛ" data-language-autonym="Kabɩyɛ" data-language-local-name="Kabiye" class="interlanguage-link-target"><span>Kabɩyɛ</span></a></li><li class="interlanguage-link interwiki-ki mw-list-item"><a href="https://ki.wikipedia.org/wiki/%C5%A8go_(logic)" title="Ũgo (logic) – kikuyu" lang="ki" hreflang="ki" data-title="Ũgo (logic)" data-language-autonym="Gĩkũyũ" data-language-local-name="kikuyu" class="interlanguage-link-target"><span>Gĩkũyũ</span></a></li><li class="interlanguage-link interwiki-kk mw-list-item"><a href="https://kk.wikipedia.org/wiki/%D0%9B%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0" 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-km mw-list-item"><a href="https://km.wikipedia.org/wiki/%E1%9E%8F%E1%9E%80%E1%9F%92%E1%9E%80%E1%9E%9C%E1%9E%B7%E1%9E%87%E1%9F%92%E1%9E%87%E1%9E%B6" title="តក្កវិជ្ជា – khmer" lang="km" hreflang="km" data-title="តក្កវិជ្ជា" data-language-autonym="ភាសាខ្មែរ" data-language-local-name="khmer" class="interlanguage-link-target"><span>ភាសាខ្មែរ</span></a></li><li class="interlanguage-link interwiki-ko mw-list-item"><a href="https://ko.wikipedia.org/wiki/%EB%85%BC%EB%A6%AC%ED%95%99" title="논리학 – coréen" lang="ko" hreflang="ko" data-title="논리학" data-language-autonym="한국어" data-language-local-name="coréen" class="interlanguage-link-target"><span>한국어</span></a></li><li class="interlanguage-link interwiki-ku mw-list-item"><a href="https://ku.wikipedia.org/wiki/Mentiq" title="Mentiq – kurde" lang="ku" hreflang="ku" data-title="Mentiq" data-language-autonym="Kurdî" data-language-local-name="kurde" class="interlanguage-link-target"><span>Kurdî</span></a></li><li class="interlanguage-link interwiki-kw mw-list-item"><a href="https://kw.wikipedia.org/wiki/Lojyk" title="Lojyk – cornique" lang="kw" hreflang="kw" data-title="Lojyk" data-language-autonym="Kernowek" data-language-local-name="cornique" class="interlanguage-link-target"><span>Kernowek</span></a></li><li class="interlanguage-link interwiki-ky mw-list-item"><a href="https://ky.wikipedia.org/wiki/%D0%9B%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0" title="Логика – kirghize" lang="ky" hreflang="ky" data-title="Логика" data-language-autonym="Кыргызча" data-language-local-name="kirghize" class="interlanguage-link-target"><span>Кыргызча</span></a></li><li class="interlanguage-link interwiki-la mw-list-item"><a href="https://la.wikipedia.org/wiki/Logica" title="Logica – latin" lang="la" hreflang="la" data-title="Logica" data-language-autonym="Latina" data-language-local-name="latin" class="interlanguage-link-target"><span>Latina</span></a></li><li class="interlanguage-link interwiki-lb mw-list-item"><a href="https://lb.wikipedia.org/wiki/Logik" title="Logik – luxembourgeois" lang="lb" hreflang="lb" data-title="Logik" data-language-autonym="Lëtzebuergesch" data-language-local-name="luxembourgeois" class="interlanguage-link-target"><span>Lëtzebuergesch</span></a></li><li class="interlanguage-link interwiki-lbe mw-list-item"><a href="https://lbe.wikipedia.org/wiki/%D0%9C%D0%B0%D0%BD%D1%82%D0%B8%D0%BA%D1%8C" title="Мантикь – Lak" lang="lbe" hreflang="lbe" data-title="Мантикь" data-language-autonym="Лакку" data-language-local-name="Lak" class="interlanguage-link-target"><span>Лакку</span></a></li><li class="interlanguage-link interwiki-lfn mw-list-item"><a href="https://lfn.wikipedia.org/wiki/Lojica" title="Lojica – lingua franca nova" lang="lfn" hreflang="lfn" data-title="Lojica" data-language-autonym="Lingua Franca Nova" data-language-local-name="lingua franca nova" class="interlanguage-link-target"><span>Lingua Franca Nova</span></a></li><li class="interlanguage-link interwiki-lld mw-list-item"><a href="https://lld.wikipedia.org/wiki/Logica" title="Logica – Ladin" lang="lld" hreflang="lld" data-title="Logica" data-language-autonym="Ladin" data-language-local-name="Ladin" class="interlanguage-link-target"><span>Ladin</span></a></li><li class="interlanguage-link interwiki-lmo mw-list-item"><a href="https://lmo.wikipedia.org/wiki/Logega" title="Logega – lombard" lang="lmo" hreflang="lmo" data-title="Logega" data-language-autonym="Lombard" data-language-local-name="lombard" class="interlanguage-link-target"><span>Lombard</span></a></li><li class="interlanguage-link interwiki-lt mw-list-item"><a href="https://lt.wikipedia.org/wiki/Logika" title="Logika – lituanien" lang="lt" hreflang="lt" data-title="Logika" data-language-autonym="Lietuvių" data-language-local-name="lituanien" class="interlanguage-link-target"><span>Lietuvių</span></a></li><li class="interlanguage-link interwiki-lv mw-list-item"><a href="https://lv.wikipedia.org/wiki/Lo%C4%A3ika" title="Loģika – letton" lang="lv" hreflang="lv" data-title="Loģika" data-language-autonym="Latviešu" data-language-local-name="letton" class="interlanguage-link-target"><span>Latviešu</span></a></li><li class="interlanguage-link interwiki-mg mw-list-item"><a href="https://mg.wikipedia.org/wiki/L%C3%B4jika" title="Lôjika – malgache" lang="mg" hreflang="mg" data-title="Lôjika" data-language-autonym="Malagasy" data-language-local-name="malgache" class="interlanguage-link-target"><span>Malagasy</span></a></li><li class="interlanguage-link interwiki-min mw-list-item"><a href="https://min.wikipedia.org/wiki/Logika" title="Logika – minangkabau" lang="min" hreflang="min" data-title="Logika" data-language-autonym="Minangkabau" data-language-local-name="minangkabau" class="interlanguage-link-target"><span>Minangkabau</span></a></li><li class="interlanguage-link interwiki-mk mw-list-item"><a href="https://mk.wikipedia.org/wiki/%D0%9B%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0" title="Логика – macédonien" lang="mk" hreflang="mk" data-title="Логика" data-language-autonym="Македонски" data-language-local-name="macédonien" class="interlanguage-link-target"><span>Македонски</span></a></li><li class="interlanguage-link interwiki-ml mw-list-item"><a href="https://ml.wikipedia.org/wiki/%E0%B4%A4%E0%B5%BC%E0%B4%95%E0%B5%8D%E0%B4%95%E0%B4%B6%E0%B4%BE%E0%B4%B8%E0%B5%8D%E0%B4%A4%E0%B5%8D%E0%B4%B0%E0%B4%82" title="തർക്കശാസ്ത്രം – malayalam" lang="ml" hreflang="ml" data-title="തർക്കശാസ്ത്രം" data-language-autonym="മലയാളം" data-language-local-name="malayalam" class="interlanguage-link-target"><span>മലയാളം</span></a></li><li class="interlanguage-link interwiki-mn mw-list-item"><a href="https://mn.wikipedia.org/wiki/%D0%9B%D0%BE%D0%B3%D0%B8%D0%BA" title="Логик – mongol" lang="mn" hreflang="mn" data-title="Логик" data-language-autonym="Монгол" data-language-local-name="mongol" class="interlanguage-link-target"><span>Монгол</span></a></li><li class="interlanguage-link interwiki-mr mw-list-item"><a href="https://mr.wikipedia.org/wiki/%E0%A4%A4%E0%A4%B0%E0%A5%8D%E0%A4%95%E0%A4%B6%E0%A4%BE%E0%A4%B8%E0%A5%8D%E0%A4%A4%E0%A5%8D%E0%A4%B0" title="तर्कशास्त्र – marathi" lang="mr" hreflang="mr" data-title="तर्कशास्त्र" data-language-autonym="मराठी" data-language-local-name="marathi" class="interlanguage-link-target"><span>मराठी</span></a></li><li class="interlanguage-link interwiki-ms mw-list-item"><a href="https://ms.wikipedia.org/wiki/Logik" title="Logik – malais" lang="ms" hreflang="ms" data-title="Logik" data-language-autonym="Bahasa Melayu" data-language-local-name="malais" class="interlanguage-link-target"><span>Bahasa Melayu</span></a></li><li class="interlanguage-link interwiki-mwl mw-list-item"><a href="https://mwl.wikipedia.org/wiki/L%C3%B3gica" title="Lógica – mirandais" lang="mwl" hreflang="mwl" data-title="Lógica" data-language-autonym="Mirandés" data-language-local-name="mirandais" class="interlanguage-link-target"><span>Mirandés</span></a></li><li class="interlanguage-link interwiki-my mw-list-item"><a href="https://my.wikipedia.org/wiki/%E1%80%9A%E1%80%AF%E1%80%90%E1%80%B9%E1%80%90%E1%80%AD%E1%80%97%E1%80%B1%E1%80%92" title="ယုတ္တိဗေဒ – birman" lang="my" hreflang="my" data-title="ယုတ္တိဗေဒ" data-language-autonym="မြန်မာဘာသာ" data-language-local-name="birman" class="interlanguage-link-target"><span>မြန်မာဘာသာ</span></a></li><li class="interlanguage-link interwiki-mzn mw-list-item"><a href="https://mzn.wikipedia.org/wiki/%D9%85%D9%86%D8%B7%D9%82" title="منطق – mazandérani" lang="mzn" hreflang="mzn" data-title="منطق" data-language-autonym="مازِرونی" data-language-local-name="mazandérani" class="interlanguage-link-target"><span>مازِرونی</span></a></li><li class="interlanguage-link interwiki-nds mw-list-item"><a href="https://nds.wikipedia.org/wiki/Logik" title="Logik – bas-allemand" lang="nds" hreflang="nds" data-title="Logik" data-language-autonym="Plattdüütsch" data-language-local-name="bas-allemand" class="interlanguage-link-target"><span>Plattdüütsch</span></a></li><li class="interlanguage-link interwiki-new mw-list-item"><a href="https://new.wikipedia.org/wiki/%E0%A4%A4%E0%A4%B0%E0%A5%8D%E0%A4%95" title="तर्क – newari" lang="new" hreflang="new" data-title="तर्क" data-language-autonym="नेपाल भाषा" data-language-local-name="newari" class="interlanguage-link-target"><span>नेपाल भाषा</span></a></li><li class="interlanguage-link interwiki-nl mw-list-item"><a href="https://nl.wikipedia.org/wiki/Logica" title="Logica – néerlandais" lang="nl" hreflang="nl" data-title="Logica" data-language-autonym="Nederlands" data-language-local-name="néerlandais" class="interlanguage-link-target"><span>Nederlands</span></a></li><li class="interlanguage-link interwiki-nn mw-list-item"><a href="https://nn.wikipedia.org/wiki/Logikk" title="Logikk – norvégien nynorsk" lang="nn" hreflang="nn" data-title="Logikk" data-language-autonym="Norsk nynorsk" data-language-local-name="norvégien nynorsk" class="interlanguage-link-target"><span>Norsk nynorsk</span></a></li><li class="interlanguage-link interwiki-no mw-list-item"><a href="https://no.wikipedia.org/wiki/Logikk" title="Logikk – norvégien bokmål" lang="nb" hreflang="nb" data-title="Logikk" data-language-autonym="Norsk bokmål" data-language-local-name="norvégien bokmål" class="interlanguage-link-target"><span>Norsk bokmål</span></a></li><li class="interlanguage-link interwiki-nov mw-list-item"><a href="https://nov.wikipedia.org/wiki/Logike" title="Logike – novial" lang="nov" hreflang="nov" data-title="Logike" data-language-autonym="Novial" data-language-local-name="novial" class="interlanguage-link-target"><span>Novial</span></a></li><li class="interlanguage-link interwiki-oc mw-list-item"><a href="https://oc.wikipedia.org/wiki/Logica" title="Logica – occitan" lang="oc" hreflang="oc" data-title="Logica" data-language-autonym="Occitan" data-language-local-name="occitan" class="interlanguage-link-target"><span>Occitan</span></a></li><li class="interlanguage-link interwiki-om mw-list-item"><a href="https://om.wikipedia.org/wiki/Yaaya(logic)" title="Yaaya(logic) – oromo" lang="om" hreflang="om" data-title="Yaaya(logic)" data-language-autonym="Oromoo" data-language-local-name="oromo" class="interlanguage-link-target"><span>Oromoo</span></a></li><li class="interlanguage-link interwiki-pa mw-list-item"><a href="https://pa.wikipedia.org/wiki/%E0%A8%A4%E0%A8%B0%E0%A8%95_%E0%A8%B8%E0%A8%BC%E0%A8%BE%E0%A8%B8%E0%A8%A4%E0%A8%B0" title="ਤਰਕ ਸ਼ਾਸਤਰ – pendjabi" lang="pa" hreflang="pa" data-title="ਤਰਕ ਸ਼ਾਸਤਰ" data-language-autonym="ਪੰਜਾਬੀ" data-language-local-name="pendjabi" class="interlanguage-link-target"><span>ਪੰਜਾਬੀ</span></a></li><li class="interlanguage-link interwiki-pih mw-list-item"><a href="https://pih.wikipedia.org/wiki/Lojik" title="Lojik – Norfuk / Pitkern" lang="pih" hreflang="pih" data-title="Lojik" data-language-autonym="Norfuk / Pitkern" data-language-local-name="Norfuk / Pitkern" class="interlanguage-link-target"><span>Norfuk / Pitkern</span></a></li><li class="interlanguage-link interwiki-pl mw-list-item"><a href="https://pl.wikipedia.org/wiki/Logika" title="Logika – polonais" lang="pl" hreflang="pl" data-title="Logika" data-language-autonym="Polski" data-language-local-name="polonais" class="interlanguage-link-target"><span>Polski</span></a></li><li class="interlanguage-link interwiki-pms mw-list-item"><a href="https://pms.wikipedia.org/wiki/L%C3%B2gica" title="Lògica – piémontais" lang="pms" hreflang="pms" data-title="Lògica" data-language-autonym="Piemontèis" data-language-local-name="piémontais" class="interlanguage-link-target"><span>Piemontèis</span></a></li><li class="interlanguage-link interwiki-pnb mw-list-item"><a href="https://pnb.wikipedia.org/wiki/%D8%AA%D9%8F%DA%A9" 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-ps mw-list-item"><a href="https://ps.wikipedia.org/wiki/%D8%B3%D9%88%D9%84%D9%BE%D9%88%D9%87%D9%86%D9%87" title="سولپوهنه – pachto" lang="ps" hreflang="ps" data-title="سولپوهنه" data-language-autonym="پښتو" data-language-local-name="pachto" class="interlanguage-link-target"><span>پښتو</span></a></li><li class="interlanguage-link interwiki-pt mw-list-item"><a href="https://pt.wikipedia.org/wiki/L%C3%B3gica" title="Lógica – portugais" lang="pt" hreflang="pt" data-title="Lógica" data-language-autonym="Português" data-language-local-name="portugais" class="interlanguage-link-target"><span>Português</span></a></li><li class="interlanguage-link interwiki-qu mw-list-item"><a href="https://qu.wikipedia.org/wiki/Sullwa" title="Sullwa – quechua" lang="qu" hreflang="qu" data-title="Sullwa" data-language-autonym="Runa Simi" data-language-local-name="quechua" class="interlanguage-link-target"><span>Runa Simi</span></a></li><li class="interlanguage-link interwiki-ro mw-list-item"><a href="https://ro.wikipedia.org/wiki/Logic%C4%83" title="Logică – roumain" lang="ro" hreflang="ro" data-title="Logică" data-language-autonym="Română" data-language-local-name="roumain" 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%9B%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0" title="Логика – russe" lang="ru" hreflang="ru" data-title="Логика" data-language-autonym="Русский" data-language-local-name="russe" class="interlanguage-link-target"><span>Русский</span></a></li><li class="interlanguage-link interwiki-rue mw-list-item"><a href="https://rue.wikipedia.org/wiki/%D0%9B%D0%BE%D2%91%D1%96%D0%BA%D0%B0" title="Лоґіка – ruthène" lang="rue" hreflang="rue" data-title="Лоґіка" data-language-autonym="Русиньскый" data-language-local-name="ruthène" class="interlanguage-link-target"><span>Русиньскый</span></a></li><li class="interlanguage-link interwiki-sah mw-list-item"><a href="https://sah.wikipedia.org/wiki/%D0%9B%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0" title="Логика – iakoute" lang="sah" hreflang="sah" data-title="Логика" data-language-autonym="Саха тыла" data-language-local-name="iakoute" class="interlanguage-link-target"><span>Саха тыла</span></a></li><li class="interlanguage-link interwiki-sat mw-list-item"><a href="https://sat.wikipedia.org/wiki/%E1%B1%A1%E1%B1%A9%E1%B1%A0%E1%B1%9B%E1%B1%A4" title="ᱡᱩᱠᱛᱤ – santali" lang="sat" hreflang="sat" data-title="ᱡᱩᱠᱛᱤ" data-language-autonym="ᱥᱟᱱᱛᱟᱲᱤ" data-language-local-name="santali" class="interlanguage-link-target"><span>ᱥᱟᱱᱛᱟᱲᱤ</span></a></li><li class="interlanguage-link interwiki-sc mw-list-item"><a href="https://sc.wikipedia.org/wiki/L%C3%B2gica" title="Lògica – sarde" lang="sc" hreflang="sc" data-title="Lògica" data-language-autonym="Sardu" data-language-local-name="sarde" class="interlanguage-link-target"><span>Sardu</span></a></li><li class="interlanguage-link interwiki-scn mw-list-item"><a href="https://scn.wikipedia.org/wiki/L%C3%B2ggica" title="Lòggica – sicilien" lang="scn" hreflang="scn" data-title="Lòggica" data-language-autonym="Sicilianu" data-language-local-name="sicilien" class="interlanguage-link-target"><span>Sicilianu</span></a></li><li class="interlanguage-link interwiki-sco mw-list-item"><a href="https://sco.wikipedia.org/wiki/Logic" title="Logic – écossais" lang="sco" hreflang="sco" data-title="Logic" data-language-autonym="Scots" data-language-local-name="écossais" class="interlanguage-link-target"><span>Scots</span></a></li><li class="interlanguage-link interwiki-sd mw-list-item"><a href="https://sd.wikipedia.org/wiki/%D9%85%D9%86%D8%B7%D9%82" title="منطق – sindhi" lang="sd" hreflang="sd" data-title="منطق" data-language-autonym="سنڌي" data-language-local-name="sindhi" class="interlanguage-link-target"><span>سنڌي</span></a></li><li class="interlanguage-link interwiki-sh mw-list-item"><a href="https://sh.wikipedia.org/wiki/Logika" title="Logika – serbo-croate" lang="sh" hreflang="sh" data-title="Logika" data-language-autonym="Srpskohrvatski / српскохрватски" data-language-local-name="serbo-croate" class="interlanguage-link-target"><span>Srpskohrvatski / српскохрватски</span></a></li><li class="interlanguage-link interwiki-shi mw-list-item"><a href="https://shi.wikipedia.org/wiki/Tam%E1%BA%93la" title="Tamẓla – chleuh" lang="shi" hreflang="shi" data-title="Tamẓla" data-language-autonym="Taclḥit" data-language-local-name="chleuh" class="interlanguage-link-target"><span>Taclḥit</span></a></li><li class="interlanguage-link interwiki-simple mw-list-item"><a href="https://simple.wikipedia.org/wiki/Logic" title="Logic – Simple English" lang="en-simple" hreflang="en-simple" data-title="Logic" data-language-autonym="Simple English" data-language-local-name="Simple English" class="interlanguage-link-target"><span>Simple English</span></a></li><li class="interlanguage-link interwiki-sk mw-list-item"><a href="https://sk.wikipedia.org/wiki/Logika" title="Logika – slovaque" lang="sk" hreflang="sk" data-title="Logika" data-language-autonym="Slovenčina" data-language-local-name="slovaque" class="interlanguage-link-target"><span>Slovenčina</span></a></li><li class="interlanguage-link interwiki-sl mw-list-item"><a href="https://sl.wikipedia.org/wiki/Logika" title="Logika – slovène" lang="sl" hreflang="sl" data-title="Logika" data-language-autonym="Slovenščina" data-language-local-name="slovène" class="interlanguage-link-target"><span>Slovenščina</span></a></li><li class="interlanguage-link interwiki-sq mw-list-item"><a href="https://sq.wikipedia.org/wiki/Logjika" title="Logjika – albanais" lang="sq" hreflang="sq" data-title="Logjika" data-language-autonym="Shqip" data-language-local-name="albanais" class="interlanguage-link-target"><span>Shqip</span></a></li><li class="interlanguage-link interwiki-sr mw-list-item"><a href="https://sr.wikipedia.org/wiki/%D0%9B%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0" title="Логика – serbe" lang="sr" hreflang="sr" data-title="Логика" data-language-autonym="Српски / srpski" data-language-local-name="serbe" class="interlanguage-link-target"><span>Српски / srpski</span></a></li><li class="interlanguage-link interwiki-su mw-list-item"><a href="https://su.wikipedia.org/wiki/Logika" title="Logika – soundanais" lang="su" hreflang="su" data-title="Logika" data-language-autonym="Sunda" data-language-local-name="soundanais" class="interlanguage-link-target"><span>Sunda</span></a></li><li class="interlanguage-link interwiki-sv mw-list-item"><a href="https://sv.wikipedia.org/wiki/Logik" title="Logik – suédois" lang="sv" hreflang="sv" data-title="Logik" data-language-autonym="Svenska" data-language-local-name="suédois" class="interlanguage-link-target"><span>Svenska</span></a></li><li class="interlanguage-link interwiki-sw mw-list-item"><a href="https://sw.wikipedia.org/wiki/Mantiki" title="Mantiki – swahili" lang="sw" hreflang="sw" data-title="Mantiki" data-language-autonym="Kiswahili" data-language-local-name="swahili" class="interlanguage-link-target"><span>Kiswahili</span></a></li><li class="interlanguage-link interwiki-ta mw-list-item"><a href="https://ta.wikipedia.org/wiki/%E0%AE%8F%E0%AE%B0%E0%AE%A3%E0%AE%AE%E0%AF%8D" title="ஏரணம் – tamoul" lang="ta" hreflang="ta" data-title="ஏரணம்" data-language-autonym="தமிழ்" data-language-local-name="tamoul" class="interlanguage-link-target"><span>தமிழ்</span></a></li><li class="interlanguage-link interwiki-tg mw-list-item"><a href="https://tg.wikipedia.org/wiki/%D0%9C%D0%B0%D0%BD%D1%82%D0%B8%D2%9B" title="Мантиқ – tadjik" lang="tg" hreflang="tg" data-title="Мантиқ" data-language-autonym="Тоҷикӣ" data-language-local-name="tadjik" 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%95%E0%B8%A3%E0%B8%A3%E0%B8%81%E0%B8%A8%E0%B8%B2%E0%B8%AA%E0%B8%95%E0%B8%A3%E0%B9%8C" title="ตรรกศาสตร์ – thaï" lang="th" hreflang="th" data-title="ตรรกศาสตร์" data-language-autonym="ไทย" data-language-local-name="thaï" class="interlanguage-link-target"><span>ไทย</span></a></li><li class="interlanguage-link interwiki-tk mw-list-item"><a href="https://tk.wikipedia.org/wiki/Mantyk" title="Mantyk – turkmène" lang="tk" hreflang="tk" data-title="Mantyk" data-language-autonym="Türkmençe" data-language-local-name="turkmène" class="interlanguage-link-target"><span>Türkmençe</span></a></li><li class="interlanguage-link interwiki-tl mw-list-item"><a href="https://tl.wikipedia.org/wiki/Lohika" title="Lohika – tagalog" lang="tl" hreflang="tl" data-title="Lohika" data-language-autonym="Tagalog" data-language-local-name="tagalog" class="interlanguage-link-target"><span>Tagalog</span></a></li><li class="interlanguage-link interwiki-tly mw-list-item"><a href="https://tly.wikipedia.org/wiki/M%D3%99nty%C7%A7" title="Mәntyǧ – talysh" lang="tly" hreflang="tly" data-title="Mәntyǧ" data-language-autonym="Tolışi" data-language-local-name="talysh" class="interlanguage-link-target"><span>Tolışi</span></a></li><li class="interlanguage-link interwiki-tpi mw-list-item"><a href="https://tpi.wikipedia.org/wiki/Lajik" title="Lajik – tok pisin" lang="tpi" hreflang="tpi" data-title="Lajik" data-language-autonym="Tok Pisin" data-language-local-name="tok pisin" class="interlanguage-link-target"><span>Tok Pisin</span></a></li><li class="interlanguage-link interwiki-tr mw-list-item"><a href="https://tr.wikipedia.org/wiki/Mant%C4%B1k" title="Mantık – turc" lang="tr" hreflang="tr" data-title="Mantık" data-language-autonym="Türkçe" data-language-local-name="turc" class="interlanguage-link-target"><span>Türkçe</span></a></li><li class="interlanguage-link interwiki-tt mw-list-item"><a href="https://tt.wikipedia.org/wiki/%D0%9C%D0%B0%D0%BD%D1%82%D1%8B%D0%B9%D0%BA" title="Мантыйк – tatar" lang="tt" hreflang="tt" data-title="Мантыйк" data-language-autonym="Татарча / tatarça" data-language-local-name="tatar" class="interlanguage-link-target"><span>Татарча / tatarça</span></a></li><li class="interlanguage-link interwiki-tyv mw-list-item"><a href="https://tyv.wikipedia.org/wiki/%D0%91%D0%B8%D0%BB%D0%B8%D0%B3%D0%BB%D0%B5%D0%BB" title="Билиглел – touvain" lang="tyv" hreflang="tyv" data-title="Билиглел" data-language-autonym="Тыва дыл" data-language-local-name="touvain" class="interlanguage-link-target"><span>Тыва дыл</span></a></li><li class="interlanguage-link interwiki-uk mw-list-item"><a href="https://uk.wikipedia.org/wiki/%D0%9B%D0%BE%D0%B3%D1%96%D0%BA%D0%B0" title="Логіка – ukrainien" lang="uk" hreflang="uk" data-title="Логіка" data-language-autonym="Українська" data-language-local-name="ukrainien" class="interlanguage-link-target"><span>Українська</span></a></li><li class="interlanguage-link interwiki-ur mw-list-item"><a href="https://ur.wikipedia.org/wiki/%D9%85%D9%86%D8%B7%D9%82" title="منطق – ourdou" lang="ur" hreflang="ur" data-title="منطق" data-language-autonym="اردو" data-language-local-name="ourdou" class="interlanguage-link-target"><span>اردو</span></a></li><li class="interlanguage-link interwiki-uz mw-list-item"><a href="https://uz.wikipedia.org/wiki/Mantiq" title="Mantiq – ouzbek" lang="uz" hreflang="uz" data-title="Mantiq" data-language-autonym="Oʻzbekcha / ўзбекча" data-language-local-name="ouzbek" class="interlanguage-link-target"><span>Oʻzbekcha / ўзбекча</span></a></li><li class="interlanguage-link interwiki-vep mw-list-item"><a href="https://vep.wikipedia.org/wiki/Logik" title="Logik – vepse" lang="vep" hreflang="vep" data-title="Logik" data-language-autonym="Vepsän kel’" data-language-local-name="vepse" class="interlanguage-link-target"><span>Vepsän kel’</span></a></li><li class="interlanguage-link interwiki-vi mw-list-item"><a href="https://vi.wikipedia.org/wiki/Logic" title="Logic – vietnamien" lang="vi" hreflang="vi" data-title="Logic" data-language-autonym="Tiếng Việt" data-language-local-name="vietnamien" class="interlanguage-link-target"><span>Tiếng Việt</span></a></li><li class="interlanguage-link interwiki-wa mw-list-item"><a href="https://wa.wikipedia.org/wiki/Lodjike" title="Lodjike – wallon" lang="wa" hreflang="wa" data-title="Lodjike" data-language-autonym="Walon" data-language-local-name="wallon" class="interlanguage-link-target"><span>Walon</span></a></li><li class="interlanguage-link interwiki-war mw-list-item"><a href="https://war.wikipedia.org/wiki/Lohika" title="Lohika – waray" lang="war" hreflang="war" data-title="Lohika" data-language-autonym="Winaray" data-language-local-name="waray" class="interlanguage-link-target"><span>Winaray</span></a></li><li class="interlanguage-link interwiki-wuu mw-list-item"><a href="https://wuu.wikipedia.org/wiki/%E9%82%8F%E8%BC%AF" 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-xh mw-list-item"><a href="https://xh.wikipedia.org/wiki/I-logic" title="I-logic – xhosa" lang="xh" hreflang="xh" data-title="I-logic" data-language-autonym="IsiXhosa" data-language-local-name="xhosa" class="interlanguage-link-target"><span>IsiXhosa</span></a></li><li class="interlanguage-link interwiki-xmf mw-list-item"><a href="https://xmf.wikipedia.org/wiki/%E1%83%9A%E1%83%9D%E1%83%92%E1%83%98%E1%83%99%E1%83%90" title="ლოგიკა – mingrélien" lang="xmf" hreflang="xmf" data-title="ლოგიკა" data-language-autonym="მარგალური" data-language-local-name="mingrélien" class="interlanguage-link-target"><span>მარგალური</span></a></li><li class="interlanguage-link interwiki-yi mw-list-item"><a href="https://yi.wikipedia.org/wiki/%D7%9C%D7%90%D7%92%D7%99%D7%A7" title="לאגיק – yiddish" lang="yi" hreflang="yi" data-title="לאגיק" data-language-autonym="ייִדיש" data-language-local-name="yiddish" class="interlanguage-link-target"><span>ייִדיש</span></a></li><li class="interlanguage-link interwiki-yo mw-list-item"><a href="https://yo.wikipedia.org/wiki/%E1%BB%8Cgb%E1%BB%8D%CC%81n" title="Ọgbọ́n – yoruba" lang="yo" hreflang="yo" data-title="Ọgbọ́n" data-language-autonym="Yorùbá" data-language-local-name="yoruba" class="interlanguage-link-target"><span>Yorùbá</span></a></li><li class="interlanguage-link interwiki-zgh mw-list-item"><a href="https://zgh.wikipedia.org/wiki/%E2%B5%9C%E2%B4%B0%E2%B5%8E%E2%B5%A5%E2%B5%8D%E2%B4%B0" title="ⵜⴰⵎⵥⵍⴰ – amazighe standard marocain" lang="zgh" hreflang="zgh" data-title="ⵜⴰⵎⵥⵍⴰ" data-language-autonym="ⵜⴰⵎⴰⵣⵉⵖⵜ ⵜⴰⵏⴰⵡⴰⵢⵜ" data-language-local-name="amazighe standard marocain" class="interlanguage-link-target"><span>ⵜⴰⵎⴰⵣⵉⵖⵜ ⵜⴰⵏⴰⵡⴰⵢⵜ</span></a></li><li class="interlanguage-link interwiki-zh mw-list-item"><a href="https://zh.wikipedia.org/wiki/%E9%80%BB%E8%BE%91" title="逻辑 – chinois" lang="zh" hreflang="zh" data-title="逻辑" data-language-autonym="中文" data-language-local-name="chinois" class="interlanguage-link-target"><span>中文</span></a></li><li class="interlanguage-link interwiki-zh-classical mw-list-item"><a href="https://zh-classical.wikipedia.org/wiki/%E7%90%86%E5%89%87" title="理則 – chinois littéraire" lang="lzh" hreflang="lzh" data-title="理則" data-language-autonym="文言" data-language-local-name="chinois littéraire" class="interlanguage-link-target"><span>文言</span></a></li><li class="interlanguage-link interwiki-zh-min-nan mw-list-item"><a href="https://zh-min-nan.wikipedia.org/wiki/Su-l%C3%AD" title="Su-lí – minnan" lang="nan" hreflang="nan" data-title="Su-lí" data-language-autonym="閩南語 / Bân-lâm-gú" data-language-local-name="minnan" class="interlanguage-link-target"><span>閩南語 / Bân-lâm-gú</span></a></li><li class="interlanguage-link interwiki-zh-yue mw-list-item"><a href="https://zh-yue.wikipedia.org/wiki/%E9%82%8F%E8%BC%AF" title="邏輯 – cantonais" lang="yue" hreflang="yue" data-title="邏輯" data-language-autonym="粵語" data-language-local-name="cantonais" 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/Q8078#sitelinks-wikipedia" title="Modifier les liens interlangues" class="wbc-editpage">Modifier les liens</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="Espaces de noms"> <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/Logique" title="Voir le contenu de la page [c]" accesskey="c"><span>Article</span></a></li><li id="ca-talk" class="vector-tab-noicon mw-list-item"><a href="/wiki/Discussion:Logique" rel="discussion" title="Discussion au sujet de cette page de contenu [t]" accesskey="t"><span>Discussion</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="Modifier la variante de langue" > <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">français</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="Affichages"> <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/Logique"><span>Lire</span></a></li><li id="ca-ve-edit" class="vector-tab-noicon mw-list-item"><a href="/w/index.php?title=Logique&veaction=edit" title="Modifier cette page [v]" accesskey="v"><span>Modifier</span></a></li><li id="ca-edit" class="collapsible vector-tab-noicon mw-list-item"><a href="/w/index.php?title=Logique&action=edit" title="Modifier le wikicode de cette page [e]" accesskey="e"><span>Modifier le code</span></a></li><li id="ca-history" class="vector-tab-noicon mw-list-item"><a href="/w/index.php?title=Logique&action=history" title="Historique des versions de cette page [h]" accesskey="h"><span>Voir l’historique</span></a></li> </ul> </div> </div> </nav> <nav class="vector-page-tools-landmark" aria-label="Outils de la page"> <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="Outils" > <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">Outils</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">Outils</div> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-pin-button" data-event-name="pinnable-header.vector-page-tools.pin">déplacer vers la barre latérale</button> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-unpin-button" data-event-name="pinnable-header.vector-page-tools.unpin">masquer</button> </div> <div id="p-cactions" class="vector-menu mw-portlet mw-portlet-cactions emptyPortlet vector-has-collapsible-items" title="Plus d’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/Logique"><span>Lire</span></a></li><li id="ca-more-ve-edit" class="vector-more-collapsible-item mw-list-item"><a href="/w/index.php?title=Logique&veaction=edit" title="Modifier cette page [v]" accesskey="v"><span>Modifier</span></a></li><li id="ca-more-edit" class="collapsible vector-more-collapsible-item mw-list-item"><a href="/w/index.php?title=Logique&action=edit" title="Modifier le wikicode de cette page [e]" accesskey="e"><span>Modifier le code</span></a></li><li id="ca-more-history" class="vector-more-collapsible-item mw-list-item"><a href="/w/index.php?title=Logique&action=history"><span>Voir l’historique</span></a></li> </ul> </div> </div> <div id="p-tb" class="vector-menu mw-portlet mw-portlet-tb" > <div class="vector-menu-heading"> Général </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="t-whatlinkshere" class="mw-list-item"><a href="/wiki/Sp%C3%A9cial:Pages_li%C3%A9es/Logique" title="Liste des pages liées qui pointent sur celle-ci [j]" accesskey="j"><span>Pages liées</span></a></li><li id="t-recentchangeslinked" class="mw-list-item"><a href="/wiki/Sp%C3%A9cial:Suivi_des_liens/Logique" rel="nofollow" title="Liste des modifications récentes des pages appelées par celle-ci [k]" accesskey="k"><span>Suivi des pages liées</span></a></li><li id="t-upload" class="mw-list-item"><a href="/wiki/Aide:Importer_un_fichier" title="Téléverser des fichiers [u]" accesskey="u"><span>Téléverser un fichier</span></a></li><li id="t-specialpages" class="mw-list-item"><a href="/wiki/Sp%C3%A9cial:Pages_sp%C3%A9ciales" title="Liste de toutes les pages spéciales [q]" accesskey="q"><span>Pages spéciales</span></a></li><li id="t-permalink" class="mw-list-item"><a href="/w/index.php?title=Logique&oldid=217792684" title="Adresse permanente de cette version de cette page"><span>Lien permanent</span></a></li><li id="t-info" class="mw-list-item"><a href="/w/index.php?title=Logique&action=info" title="Davantage d’informations sur cette page"><span>Informations sur la page</span></a></li><li id="t-cite" class="mw-list-item"><a href="/w/index.php?title=Sp%C3%A9cial:Citer&page=Logique&id=217792684&wpFormIdentifier=titleform" title="Informations sur la manière de citer cette page"><span>Citer cette page</span></a></li><li id="t-urlshortener" class="mw-list-item"><a href="/w/index.php?title=Sp%C3%A9cial:UrlShortener&url=https%3A%2F%2Ffr.wikipedia.org%2Fwiki%2FLogique"><span>Obtenir l'URL raccourcie</span></a></li><li id="t-urlshortener-qrcode" class="mw-list-item"><a href="/w/index.php?title=Sp%C3%A9cial:QrCode&url=https%3A%2F%2Ffr.wikipedia.org%2Fwiki%2FLogique"><span>Télécharger le code QR</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"> Imprimer / exporter </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="coll-create_a_book" class="mw-list-item"><a href="/w/index.php?title=Sp%C3%A9cial:Livre&bookcmd=book_creator&referer=Logique"><span>Créer un livre</span></a></li><li id="coll-download-as-rl" class="mw-list-item"><a href="/w/index.php?title=Sp%C3%A9cial:DownloadAsPdf&page=Logique&action=show-download-screen"><span>Télécharger comme PDF</span></a></li><li id="t-print" class="mw-list-item"><a href="/w/index.php?title=Logique&printable=yes" title="Version imprimable de cette page [p]" accesskey="p"><span>Version imprimable</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"> Dans d’autres projets </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:Logic" hreflang="en"><span>Wikimedia Commons</span></a></li><li class="wb-otherproject-link wb-otherproject-wikiquote mw-list-item"><a href="https://fr.wikiquote.org/wiki/Logique" hreflang="fr"><span>Wikiquote</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/Q8078" title="Lien vers l’élément dans le dépôt de données connecté [g]" accesskey="g"><span>Élément Wikidata</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="Outils de la page"> <div id="vector-page-tools-pinned-container" class="vector-pinned-container"> </div> </nav> <nav class="vector-appearance-landmark" aria-label="Apparence"> <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">Apparence</div> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-pin-button" data-event-name="pinnable-header.vector-appearance.pin">déplacer vers la barre latérale</button> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-unpin-button" data-event-name="pinnable-header.vector-appearance.unpin">masquer</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">Un article de Wikipédia, l'encyclopédie libre.</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="fr" dir="ltr"><div class="bandeau-container metadata homonymie hatnote"><div class="bandeau-cell bandeau-icone" style="display:table-cell;padding-right:0.5em"><span class="noviewer" typeof="mw:File"><a href="/wiki/Aide:Homonymie" title="Aide:Homonymie"><img alt="Page d’aide sur l’homonymie" src="//upload.wikimedia.org/wikipedia/commons/thumb/a/a9/Logo_disambig.svg/20px-Logo_disambig.svg.png" decoding="async" width="20" height="15" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/a/a9/Logo_disambig.svg/30px-Logo_disambig.svg.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/a/a9/Logo_disambig.svg/40px-Logo_disambig.svg.png 2x" data-file-width="512" data-file-height="375" /></a></span></div><div class="bandeau-cell" style="display:table-cell;padding-right:0.5em"> <p>Pour les articles homonymes, voir <a href="/wiki/Logique_(homonymie)" class="mw-disambig" title="Logique (homonymie)">Logique (homonymie)</a>. </p> </div></div> <div class="bandeau-container metadata bandeau-article bandeau-niveau-modere"><figure class="mw-halign-right noviewer" typeof="mw:File"><a href="/wiki/Mod%C3%A8le:Sources_%C3%A0_lier" title="Si ce bandeau n'est plus pertinent, retirez-le. Cliquez ici pour en savoir plus."><img alt="Si ce bandeau n'est plus pertinent, retirez-le. Cliquez ici pour en savoir plus." src="//upload.wikimedia.org/wikipedia/commons/thumb/3/38/Info_Simple.svg/12px-Info_Simple.svg.png" decoding="async" width="12" height="12" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/3/38/Info_Simple.svg/18px-Info_Simple.svg.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/3/38/Info_Simple.svg/24px-Info_Simple.svg.png 2x" data-file-width="512" data-file-height="512" /></a><figcaption>Si ce bandeau n'est plus pertinent, retirez-le. Cliquez ici pour en savoir plus.</figcaption></figure><div class="bandeau-cell bandeau-icone" style="display:table-cell;padding-right:0.5em"><span class="noviewer" typeof="mw:File"><a href="/wiki/Fichier:2017-fr.wp-orange-source.svg" class="mw-file-description"><img alt="" src="//upload.wikimedia.org/wikipedia/commons/thumb/a/a1/2017-fr.wp-orange-source.svg/45px-2017-fr.wp-orange-source.svg.png" decoding="async" width="45" height="45" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/a/a1/2017-fr.wp-orange-source.svg/68px-2017-fr.wp-orange-source.svg.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/a/a1/2017-fr.wp-orange-source.svg/90px-2017-fr.wp-orange-source.svg.png 2x" data-file-width="512" data-file-height="512" /></a></span></div><div class="bandeau-cell" style="display:table-cell;padding-right:0.5em"> <p><strong class="bandeau-titre">Certaines informations figurant dans cet article ou cette section devraient être mieux reliées aux sources mentionnées dans les sections « Bibliographie », « Sources » ou « Liens externes »</strong> <small>(<time class="nowrap" datetime="2019-10" data-sort-value="2019-10">octobre 2019</time>).</small> </p><p>Vous pouvez améliorer la <a href="/wiki/Wikip%C3%A9dia:V%C3%A9rifiabilit%C3%A9" title="Wikipédia:Vérifiabilité">vérifiabilité</a> en <a href="/wiki/Mod%C3%A8le:Sources_%C3%A0_lier/Explication" title="Modèle:Sources à lier/Explication">associant ces informations à des références</a> à l'aide d'<a href="/wiki/Aide:Note" title="Aide:Note">appels de notes</a>. </p> </div></div> <figure class="mw-default-size" typeof="mw:File/Thumb"><a href="/wiki/Fichier:Gregor_Reisch,_Margarita_Philosophica,_Typus_Logice.jpg" class="mw-file-description"><img src="//upload.wikimedia.org/wikipedia/commons/thumb/4/44/Gregor_Reisch%2C_Margarita_Philosophica%2C_Typus_Logice.jpg/220px-Gregor_Reisch%2C_Margarita_Philosophica%2C_Typus_Logice.jpg" decoding="async" width="220" height="285" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/4/44/Gregor_Reisch%2C_Margarita_Philosophica%2C_Typus_Logice.jpg/330px-Gregor_Reisch%2C_Margarita_Philosophica%2C_Typus_Logice.jpg 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/4/44/Gregor_Reisch%2C_Margarita_Philosophica%2C_Typus_Logice.jpg/440px-Gregor_Reisch%2C_Margarita_Philosophica%2C_Typus_Logice.jpg 2x" data-file-width="1925" data-file-height="2497" /></a><figcaption><a href="/wiki/Gregor_Reisch" title="Gregor Reisch">Gregor Reisch</a>, « La logique présente ses thèmes centraux », <i><a href="/w/index.php?title=Margarita_Philosophica&action=edit&redlink=1" class="new" title="Margarita Philosophica (page inexistante)">Margarita Philosophica</a> <a href="https://de.wikipedia.org/wiki/Margarita_Philosophica" class="extiw" title="de:Margarita Philosophica"><span class="indicateur-langue" title="Article en allemand : « Margarita Philosophica »">(de)</span></a></i>, 1503/08 (?). Les deux chiens <i>veritas</i> et <i>falsitas</i> courent derrière le lièvre <i>problema</i>, la logique se presse armée de son épée <i>syllogismus</i>. En bas à gauche se trouve <a href="/wiki/Parm%C3%A9nide" title="Parménide">Parménide</a> dans une grotte, grâce auquel la logique aurait été introduite dans la philosophie.</figcaption></figure> <p>La <b>logique</b> — du <a href="/wiki/Grec_ancien" title="Grec ancien">grec</a> <span class="lang-grc" lang="grc">λογική</span> / <span class="lang-grc-latn" lang="grc-latn"><i>logikḗ</i></span> (adjectif dérivé de <span class="lang-grc" lang="grc">λόγος</span> / <span class="lang-grc-latn" lang="grc-latn"><i>lógos</i></span>, « <a href="/wiki/Raison" title="Raison">raison</a>, <a href="/wiki/Langage" title="Langage">langage</a>, <a href="/wiki/Raisonnement" title="Raisonnement">raisonnement</a> »), sous-entendu <span class="lang-grc" lang="grc">τέχνη</span> / <span class="lang-grc-latn" lang="grc-latn"><i>tékhnē</i></span> : « l'art du raisonnement », — est, dans une première approche, l'étude de l'<a href="/wiki/Inf%C3%A9rence_(logique)" title="Inférence (logique)">inférence</a>, c'est-à-dire des règles formelles que doit respecter toute <a href="/wiki/Argumentation" title="Argumentation">argumentation</a> correcte. Le terme aurait été utilisé pour la première fois par <a href="/wiki/X%C3%A9nocrate" title="Xénocrate">Xénocrate</a><sup id="cite_ref-1" class="reference"><a href="#cite_note-1"><span class="cite_crochet">[</span>1<span class="cite_crochet">]</span></a></sup>. </p><p>La logique antique se décompose d'abord en <a href="/wiki/Dialectique" title="Dialectique">dialectique</a> et <a href="/wiki/Rh%C3%A9torique" title="Rhétorique">rhétorique</a>. </p><p>Elle est depuis l'<a href="/wiki/Antiquit%C3%A9" title="Antiquité">Antiquité</a> l'une des grandes <a href="/wiki/Discipline_(sp%C3%A9cialit%C3%A9)" title="Discipline (spécialité)">disciplines</a> de la <a href="/wiki/Philosophie" title="Philosophie">philosophie</a>, avec l'<a href="/wiki/%C3%89thique" title="Éthique">éthique</a> (<a href="/wiki/Philosophie_morale" class="mw-redirect" title="Philosophie morale">philosophie morale</a>) et la <a href="/wiki/Physique" title="Physique">physique</a> (<a href="/wiki/Science_de_la_nature" title="Science de la nature">science de la nature</a>). </p><p>Les travaux de <a href="/wiki/George_Boole" title="George Boole">George Boole</a>, <a href="/wiki/William_Stanley_Jevons" title="William Stanley Jevons">William Stanley Jevons</a>, <a href="/wiki/Gottlob_Frege" title="Gottlob Frege">Gottlob Frege</a> ont permis depuis le <a href="/wiki/XIXe_si%C3%A8cle" title="XIXe siècle"><abbr class="abbr" title="19ᵉ siècle"><span class="romain">XIX</span><sup style="font-size:72%">e</sup></abbr> siècle</a> le développement fulgurant d'une approche <a href="/wiki/Math%C3%A9matiques" title="Mathématiques">mathématique</a> de la logique. Sa convergence opérée avec l'<a href="/wiki/Informatique" title="Informatique">informatique</a> depuis la fin du <a href="/wiki/XXe_si%C3%A8cle" title="XXe siècle"><abbr class="abbr" title="20ᵉ siècle"><span class="romain">XX</span><sup style="font-size:72%">e</sup></abbr> siècle</a> lui a donné un regain de vitalité. </p><p>Elle trouve depuis le <abbr class="abbr" title="20ᵉ siècle"><span class="romain">XX</span><sup style="font-size:72%">e</sup></abbr> siècle de nombreuses applications en <a href="/wiki/Ing%C3%A9nierie" title="Ingénierie">ingénierie</a>, en <a href="/wiki/Linguistique" title="Linguistique">linguistique</a>, en <a href="/wiki/Psychologie_cognitive" title="Psychologie cognitive">psychologie cognitive</a>, en <a href="/wiki/Philosophie_analytique" title="Philosophie analytique">philosophie analytique</a> ou en <a href="/wiki/Communication" title="Communication">communication</a>. </p> <meta property="mw:PageProp/toc" /> <div class="mw-heading mw-heading2"><h2 id="Histoire">Histoire</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Logique&veaction=edit&section=1" title="Modifier la section : Histoire" class="mw-editsection-visualeditor"><span>modifier</span></a><span class="mw-editsection-divider"> | </span><a href="/w/index.php?title=Logique&action=edit&section=1" title="Modifier le code source de la section : Histoire"><span>modifier le code</span></a><span class="mw-editsection-bracket">]</span></span></div> <div class="bandeau-container bandeau-section metadata bandeau-niveau-information"><div class="bandeau-cell bandeau-icone-css loupe">Article détaillé : <a href="/wiki/Histoire_de_la_logique" title="Histoire de la logique">Histoire de la logique</a>.</div></div> <div class="mw-heading mw-heading3"><h3 id="Antiquité"><span id="Antiquit.C3.A9"></span>Antiquité</h3><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Logique&veaction=edit&section=2" title="Modifier la section : Antiquité" class="mw-editsection-visualeditor"><span>modifier</span></a><span class="mw-editsection-divider"> | </span><a href="/w/index.php?title=Logique&action=edit&section=2" title="Modifier le code source de la section : Antiquité"><span>modifier le code</span></a><span class="mw-editsection-bracket">]</span></span></div> <p>La logique est à l'origine de la recherche de règles générales et formelles permettant de distinguer un <a href="/wiki/Raisonnement" title="Raisonnement">raisonnement</a> concluant de celui qui ne l'est pas. Elle trouve ses premiers tâtonnements dans les <a href="/wiki/Math%C3%A9matiques" title="Mathématiques">mathématiques</a> et surtout dans la <a href="/wiki/G%C3%A9om%C3%A9trie" title="Géométrie">géométrie</a> mais c'est principalement sous l'impulsion des <a href="/wiki/%C3%89cole_m%C3%A9garique" title="École mégarique">Mégariques</a> et ensuite d'<a href="/wiki/Aristote" title="Aristote">Aristote</a> qu'elle prend son envol. </p><p>La logique a très tôt été utilisée contre elle-même, c'est-à-dire contre les conditions mêmes du discours : le <a href="/wiki/Sophisme" title="Sophisme">sophiste</a> <a href="/wiki/Gorgias" title="Gorgias">Gorgias</a> l'utilise dans son <i><a href="/w/index.php?title=Trait%C3%A9_du_non-%C3%AAtre&action=edit&redlink=1" class="new" title="Traité du non-être (page inexistante)">Traité du non-être</a></i><sup id="cite_ref-2" class="reference"><a href="#cite_note-2"><span class="cite_crochet">[</span>2<span class="cite_crochet">]</span></a></sup> afin de prouver qu'il n'y a pas d'<a href="/wiki/Ontologie_(philosophie)" title="Ontologie (philosophie)">ontologie</a> possible : <span class="citation">« ce n'est pas l'être qui est l'objet de nos pensées »</span> : la <a href="/wiki/V%C3%A9rit%C3%A9" title="Vérité">vérité</a> matérielle de la logique est ainsi ruinée. Le langage acquiert ainsi sa propre loi, celle de la logique, indépendante de la réalité. Mais les sophistes ont été écartés de l'<a href="/wiki/Histoire_de_la_philosophie_(discipline)" title="Histoire de la philosophie (discipline)">histoire de la philosophie</a> (<i>sophiste</i> a pris un sens péjoratif), si bien que la logique, dans la compréhension qu'on en a eu par exemple au <a href="/wiki/Moyen_%C3%82ge" title="Moyen Âge">Moyen Âge</a>, est restée soumise à la pensée de l'<a href="/wiki/%C3%8Atre" title="Être">être</a>. </p> <div class="mw-heading mw-heading3"><h3 id="Ère_contemporaine"><span id=".C3.88re_contemporaine"></span>Ère contemporaine</h3><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Logique&veaction=edit&section=3" title="Modifier la section : Ère contemporaine" class="mw-editsection-visualeditor"><span>modifier</span></a><span class="mw-editsection-divider"> | </span><a href="/w/index.php?title=Logique&action=edit&section=3" title="Modifier le code source de la section : Ère contemporaine"><span>modifier le code</span></a><span class="mw-editsection-bracket">]</span></span></div> <p>Au <abbr class="abbr" title="17ᵉ siècle"><span class="romain">XVII</span><sup style="font-size:72%">e</sup></abbr> siècle, le <a href="/wiki/Philosophe" title="Philosophe">philosophe</a> <a href="/wiki/Gottfried_Wilhelm_Leibniz" title="Gottfried Wilhelm Leibniz">Gottfried Wilhelm Leibniz</a> réalise des <a href="/wiki/Recherche_fondamentale" title="Recherche fondamentale">recherches fondamentales</a> en logique qui révolutionnent profondément la logique aristotélicienne. Il se réclame constamment de la tradition des <a href="/wiki/Syllogisme" title="Syllogisme">syllogismes</a> d'<a href="/wiki/Aristote" title="Aristote">Aristote</a><sup id="cite_ref-Univ_3-0" class="reference"><a href="#cite_note-Univ-3"><span class="cite_crochet">[</span>3<span class="cite_crochet">]</span></a></sup> et tente de l'intégrer à son propre système<sup id="cite_ref-4" class="reference"><a href="#cite_note-4"><span class="cite_crochet">[</span>4<span class="cite_crochet">]</span></a></sup>. Il est le premier à imaginer et à développer une <a href="/wiki/Logique_formelle" title="Logique formelle">logique formelle</a>. </p><p><a href="/wiki/Emmanuel_Kant" title="Emmanuel Kant">Emmanuel Kant</a>, quant à lui, définit la logique comme <span class="citation">« une science qui expose dans le détail et démontre avec rigueur les règles formelles de toute pensée »</span><sup id="cite_ref-5" class="reference"><a href="#cite_note-5"><span class="cite_crochet">[</span>5<span class="cite_crochet">]</span></a></sup>. Les six œuvres d'Aristote regroupées sous le titre d’<i><a href="/wiki/Organon" title="Organon">Organon</a></i>, où figurent notamment les <i><a href="/wiki/Cat%C3%A9gories" class="mw-redirect" title="Catégories">Catégories</a></i> et l'étude du syllogisme, furent longtemps considérées comme la référence sur ce sujet. </p><p>En 1847 est publié le livre de <a href="/wiki/George_Boole" title="George Boole">George Boole</a>, intitulé <i>Mathematical Analysis of Logic</i><sup id="cite_ref-6" class="reference"><a href="#cite_note-6"><span class="cite_crochet">[</span>6<span class="cite_crochet">]</span></a></sup>, puis <i><a href="/wiki/Les_Lois_de_la_pens%C3%A9e" title="Les Lois de la pensée">An Investigation Into the Laws of Thought, on Which are Founded the Mathematical Theories of Logic and Probabilities</a></i><sup id="cite_ref-7" class="reference"><a href="#cite_note-7"><span class="cite_crochet">[</span>7<span class="cite_crochet">]</span></a></sup>. <a href="/wiki/George_Boole" title="George Boole">Boole</a> y développe une nouvelle forme de logique, à la fois symbolique et mathématique. Son but est de traduire des <a href="/wiki/Id%C3%A9e" title="Idée">idées</a> et des <a href="/wiki/M%C3%A9taphysique" title="Métaphysique">concepts</a> en <a href="/wiki/Alg%C3%A8bre" title="Algèbre">expressions</a> et <a href="/wiki/%C3%89quation" title="Équation">équations</a>, de leur appliquer certains calculs et de traduire le résultat en termes logiques, marquant ainsi le début de la logique moderne, fondée sur une approche <a href="/wiki/Alg%C3%A8bre" title="Algèbre">algébrique</a> et <a href="/wiki/S%C3%A9mantique" title="Sémantique">sémantique</a>, que l'on a appelée plus tard <a href="/wiki/Alg%C3%A8bre_de_Boole_(logique)" title="Algèbre de Boole (logique)">algèbre de Boole</a> en son honneur. </p> <div class="mw-heading mw-heading2"><h2 id="Différentes_approches"><span id="Diff.C3.A9rentes_approches"></span>Différentes approches</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Logique&veaction=edit&section=4" title="Modifier la section : Différentes approches" class="mw-editsection-visualeditor"><span>modifier</span></a><span class="mw-editsection-divider"> | </span><a href="/w/index.php?title=Logique&action=edit&section=4" title="Modifier le code source de la section : Différentes approches"><span>modifier le code</span></a><span class="mw-editsection-bracket">]</span></span></div> <p>De manière très générale, il existe quatre approches de la logique : </p> <div class="mw-heading mw-heading3"><h3 id="Historique">Historique</h3><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Logique&veaction=edit&section=5" title="Modifier la section : Historique" class="mw-editsection-visualeditor"><span>modifier</span></a><span class="mw-editsection-divider"> | </span><a href="/w/index.php?title=Logique&action=edit&section=5" title="Modifier le code source de la section : Historique"><span>modifier le code</span></a><span class="mw-editsection-bracket">]</span></span></div> <dl><dd>Cette première approche met l'accent sur l’évolution et le développement de la logique, en insistant tout particulièrement sur la <a href="/wiki/Syllogisme" title="Syllogisme">syllogistique</a> <a href="/wiki/Aristote" title="Aristote">aristotélicienne</a> et les tentatives, depuis <a href="/wiki/Leibniz" class="mw-redirect" title="Leibniz">Leibniz</a>, de faire de la logique un véritable <a href="/wiki/Algorithmique" title="Algorithmique">calcul algorithmique</a>. Cette approche historique est tout particulièrement intéressante pour la <a href="/wiki/Philosophie" title="Philosophie">philosophie</a> car aussi bien <a href="/wiki/Aristote" title="Aristote">Aristote</a>, les <a href="/wiki/Sto%C3%AFciens" class="mw-redirect" title="Stoïciens">Stoïciens</a> ou <a href="/wiki/Leibniz" class="mw-redirect" title="Leibniz">Leibniz</a> ont travaillé comme philosophes et comme logiciens, tout au long de l'<a href="/wiki/Histoire_de_la_logique" title="Histoire de la logique">histoire de la logique</a>.</dd></dl> <div class="mw-heading mw-heading3"><h3 id="Mathématique"><span id="Math.C3.A9matique"></span>Mathématique</h3><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Logique&veaction=edit&section=6" title="Modifier la section : Mathématique" class="mw-editsection-visualeditor"><span>modifier</span></a><span class="mw-editsection-divider"> | </span><a href="/w/index.php?title=Logique&action=edit&section=6" title="Modifier le code source de la section : Mathématique"><span>modifier le code</span></a><span class="mw-editsection-bracket">]</span></span></div> <div class="bandeau-container bandeau-section metadata bandeau-niveau-information"><div class="bandeau-cell bandeau-icone-css loupe">Article détaillé : <a href="/wiki/Logique_math%C3%A9matique" title="Logique mathématique">Logique mathématique</a>.</div></div> <dl><dd>La <a href="/wiki/Logique_math%C3%A9matique" title="Logique mathématique">logique mathématique</a> contemporaine est liée aux <a href="/wiki/Math%C3%A9matiques" title="Mathématiques">mathématiques</a>, à l’<a href="/wiki/Informatique" title="Informatique">informatique</a> et à l'<a href="/wiki/Ing%C3%A9nierie" title="Ingénierie">ingénierie</a>. L’approche mathématique a une position qui est un peu particulière d'un point de vue <a href="/wiki/%C3%89pist%C3%A9mologie" title="Épistémologie">épistémologique</a>, puisqu'elle est à la fois un outil de définition des <a href="/wiki/Math%C3%A9matiques" title="Mathématiques">mathématiques</a>, et une branche de ces mêmes mathématiques, donc un objet.</dd></dl> <div class="mw-heading mw-heading3"><h3 id="Philosophique">Philosophique</h3><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Logique&veaction=edit&section=7" title="Modifier la section : Philosophique" class="mw-editsection-visualeditor"><span>modifier</span></a><span class="mw-editsection-divider"> | </span><a href="/w/index.php?title=Logique&action=edit&section=7" title="Modifier le code source de la section : Philosophique"><span>modifier le code</span></a><span class="mw-editsection-bracket">]</span></span></div> <dl><dd>La <a href="/wiki/Philosophie" title="Philosophie">philosophie</a>, et surtout la <a href="/wiki/Philosophie_analytique" title="Philosophie analytique">philosophie analytique</a> qui étudie essentiellement le <a href="/wiki/Langage" title="Langage">langage</a> <a href="/wiki/Calcul_des_propositions" title="Calcul des propositions">propositionnel</a>, reposent sur un outillage d’analyse et argumentatif provenant, d'une part des développements logiques réalisés au cours de l'<a href="/wiki/Histoire_de_la_philosophie_(discipline)" title="Histoire de la philosophie (discipline)">histoire de la philosophie</a> et, d'autre part, des développements récents de la logique mathématique. Par ailleurs, la philosophie et surtout la <a href="/wiki/Philosophie_de_la_logique" title="Philosophie de la logique">philosophie de la logique</a> se donnent pour tâche d’éclairer les <a href="/wiki/%C3%89pist%C3%A9mologie_de_la_logique" title="Épistémologie de la logique">concepts fondamentaux</a> et les méthodes de la logique.</dd></dl> <div class="mw-heading mw-heading3"><h3 id="Informatique">Informatique</h3><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Logique&veaction=edit&section=8" title="Modifier la section : Informatique" class="mw-editsection-visualeditor"><span>modifier</span></a><span class="mw-editsection-divider"> | </span><a href="/w/index.php?title=Logique&action=edit&section=8" title="Modifier le code source de la section : Informatique"><span>modifier le code</span></a><span class="mw-editsection-bracket">]</span></span></div> <dl><dd>L'approche informatique étudie l'<a href="/wiki/Logiciel_de_calcul_formel" class="mw-redirect" title="Logiciel de calcul formel">automatisation des calculs</a> et des démonstrations, les <a href="/wiki/Informatique_th%C3%A9orique" title="Informatique théorique">fondements théoriques</a> de la conception des systèmes, la <a href="/wiki/Programmation_informatique" title="Programmation informatique">programmation</a> et l'<a href="/wiki/Intelligence_artificielle" title="Intelligence artificielle">intelligence artificielle</a><sup id="cite_ref-8" class="reference"><a href="#cite_note-8"><span class="cite_crochet">[</span>8<span class="cite_crochet">]</span></a></sup>. L'approche informatique est aujourd'hui cruciale car, en essayant de <a href="/wiki/Assistant_de_preuve" title="Assistant de preuve">mécaniser les raisonnements</a>, voire de les <a href="/wiki/Raisonnement_automatis%C3%A9" title="Raisonnement automatisé">automatiser</a>, la logique et les mathématiques vivent une véritable révolution depuis la fin du <abbr class="abbr" title="20ᵉ siècle"><span class="romain">XX</span><sup style="font-size:72%">e</sup></abbr> siècle. Et notamment à la suite de l'exploitation de la <a href="/wiki/Correspondance_de_Curry-Howard" title="Correspondance de Curry-Howard">correspondance preuve-programme</a>. Les conséquences <a href="/wiki/%C3%89pist%C3%A9mologie" title="Épistémologie">épistémologiques</a> de ces développements sont encore largement insoupçonnées<sup id="cite_ref-9" class="reference"><a href="#cite_note-9"><span class="cite_crochet">[</span>9<span class="cite_crochet">]</span></a></sup>.</dd></dl> <div class="mw-heading mw-heading2"><h2 id="Grands_domaines_de_la_logique">Grands domaines de la logique</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Logique&veaction=edit&section=9" title="Modifier la section : Grands domaines de la logique" class="mw-editsection-visualeditor"><span>modifier</span></a><span class="mw-editsection-divider"> | </span><a href="/w/index.php?title=Logique&action=edit&section=9" title="Modifier le code source de la section : Grands domaines de la logique"><span>modifier le code</span></a><span class="mw-editsection-bracket">]</span></span></div> <div class="mw-heading mw-heading3"><h3 id="Logique_syllogistique">Logique syllogistique</h3><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Logique&veaction=edit&section=10" title="Modifier la section : Logique syllogistique" class="mw-editsection-visualeditor"><span>modifier</span></a><span class="mw-editsection-divider"> | </span><a href="/w/index.php?title=Logique&action=edit&section=10" title="Modifier le code source de la section : Logique syllogistique"><span>modifier le code</span></a><span class="mw-editsection-bracket">]</span></span></div> <div class="bandeau-container bandeau-section metadata bandeau-niveau-information"><div class="bandeau-cell bandeau-icone-css loupe">Articles détaillés : <a href="/wiki/Logique_traditionnelle" title="Logique traditionnelle">Logique traditionnelle</a>, <a href="/wiki/Syllogisme" title="Syllogisme">Syllogisme</a> et <a href="/wiki/Aristote" title="Aristote">Aristote</a>.</div></div> <p>L'<i><a href="/wiki/Organon" title="Organon">Organon</a></i> est le principal ouvrage de logique d'<a href="/wiki/Aristote" title="Aristote">Aristote</a>, comprenant notamment les <i><a href="/wiki/Premiers_Analytiques" title="Premiers Analytiques">Premiers Analytiques</a></i> ; il constitue le premier travail explicite de <a href="/wiki/Logique_formelle" title="Logique formelle">logique formelle</a>, avec notamment l'introduction de la <a href="/wiki/Syllogisme" title="Syllogisme">syllogistique</a><sup id="cite_ref-10" class="reference"><a href="#cite_note-10"><span class="cite_crochet">[</span>10<span class="cite_crochet">]</span></a></sup>. </p><p>Les travaux d'Aristote <span class="need_ref" title="Ce passage nécessite une référence." style="cursor:help;">sont considérés en Europe et au Moyen-Orient à l'époque classique, médiévale comme l'image même d'un système entièrement élaboré</span><sup class="need_ref_tag" style="padding-left:2px;"><a href="/wiki/Aide:R%C3%A9f%C3%A9rence_n%C3%A9cessaire" title="Aide:Référence nécessaire">[réf. nécessaire]</a></sup>. Cependant, Aristote n'a pas été le seul, ni le premier : les <a href="/wiki/Sto%C3%AFcisme" title="Stoïcisme">stoïciens</a> ont proposé un système de <a href="/wiki/Calcul_des_propositions" title="Calcul des propositions">logique propositionnelle</a> qui a été étudiée par les logiciens médiévaux. En outre, le <a href="/wiki/Probl%C3%A8me_de_g%C3%A9n%C3%A9ralit%C3%A9_multiple" title="Problème de généralité multiple">problème de généralité multiple</a> a été reconnu à l'<a href="/wiki/Moyen_%C3%82ge" title="Moyen Âge">époque médiévale</a>. </p> <div class="mw-heading mw-heading3"><h3 id="Logique_propositionnelle">Logique propositionnelle</h3><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Logique&veaction=edit&section=11" title="Modifier la section : Logique propositionnelle" class="mw-editsection-visualeditor"><span>modifier</span></a><span class="mw-editsection-divider"> | </span><a href="/w/index.php?title=Logique&action=edit&section=11" title="Modifier le code source de la section : Logique propositionnelle"><span>modifier le code</span></a><span class="mw-editsection-bracket">]</span></span></div> <div class="bandeau-container bandeau-section metadata bandeau-niveau-information"><div class="bandeau-cell bandeau-icone-css loupe">Article détaillé : <a href="/wiki/Calcul_des_propositions" title="Calcul des propositions">Calcul des propositions</a>.</div></div> <p>Le calcul des propositions est un <a href="/wiki/Syst%C3%A8me_formel" title="Système formel">système formel</a> dans lequel les formules représentent des propositions qui peuvent être formées en combinant les <a href="/wiki/Atomisme_logique" title="Atomisme logique">propositions atomiques</a><sup id="cite_ref-11" class="reference"><a href="#cite_note-11"><span class="cite_crochet">[</span>11<span class="cite_crochet">]</span></a></sup> et en utilisant les <a href="/wiki/Connecteur_logique" title="Connecteur logique">connecteurs logiques</a>, et dans lequel un système de règles de <a href="/wiki/D%C3%A9monstration_formelle" title="Démonstration formelle">démonstration formelle</a> établit certains « <a href="/wiki/Th%C3%A9or%C3%A8me" title="Théorème">théorèmes</a> ». </p> <div class="mw-heading mw-heading3"><h3 id="Calcul_des_prédicats"><span id="Calcul_des_pr.C3.A9dicats"></span>Calcul des prédicats</h3><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Logique&veaction=edit&section=12" title="Modifier la section : Calcul des prédicats" class="mw-editsection-visualeditor"><span>modifier</span></a><span class="mw-editsection-divider"> | </span><a href="/w/index.php?title=Logique&action=edit&section=12" title="Modifier le code source de la section : Calcul des prédicats"><span>modifier le code</span></a><span class="mw-editsection-bracket">]</span></span></div> <div class="bandeau-container bandeau-section metadata bandeau-niveau-information"><div class="bandeau-cell bandeau-icone-css loupe">Article détaillé : <a href="/wiki/Calcul_des_pr%C3%A9dicats" title="Calcul des prédicats">Calcul des prédicats</a>.</div></div> <figure class="mw-default-size" typeof="mw:File/Thumb"><a href="/wiki/Fichier:BS-12-Begriffsschrift_Quantifier1-svg.svg" class="mw-file-description"><img alt="Le Begriffschrift de Gottlob Frege a introduit la notion de quantificateurs dans une notation logique." src="//upload.wikimedia.org/wikipedia/commons/thumb/c/ce/BS-12-Begriffsschrift_Quantifier1-svg.svg/220px-BS-12-Begriffsschrift_Quantifier1-svg.svg.png" decoding="async" width="220" height="66" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/c/ce/BS-12-Begriffsschrift_Quantifier1-svg.svg/330px-BS-12-Begriffsschrift_Quantifier1-svg.svg.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/c/ce/BS-12-Begriffsschrift_Quantifier1-svg.svg/440px-BS-12-Begriffsschrift_Quantifier1-svg.svg.png 2x" data-file-width="512" data-file-height="154" /></a><figcaption>Le <i><a href="/wiki/Id%C3%A9ographie" title="Idéographie">Begriffschrift</a></i> de <a href="/wiki/Gottlob_Frege" title="Gottlob Frege">Gottlob Frege</a> a introduit la notion de <a href="/wiki/Quantificateur_(logique)" class="mw-redirect" title="Quantificateur (logique)">quantificateurs</a> dans une notation logique, qui représente ici la formule <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 \forall x.F(x)}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi mathvariant="normal">∀</mi> <mi>x</mi> <mo>.</mo> <mi>F</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle \forall x.F(x)}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/ba23799cf40a6e9b0a427c429dc89fbb8a74bfee" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:8.536ex; height:2.843ex;" alt="{\displaystyle \forall x.F(x)}"></span>,qui est vrai.</figcaption></figure> <p>Un calcul des prédicats est un <a href="/wiki/Syst%C3%A8me_formel" title="Système formel">système formel</a>, qui peut être soit la <a href="/wiki/Logique_du_premier_ordre" class="mw-redirect" title="Logique du premier ordre">logique du premier ordre</a>, soit la <a href="/wiki/Logique_d%27ordre_sup%C3%A9rieur" title="Logique d'ordre supérieur">logique du second ordre</a>, soit la <a href="/wiki/Logique_d%27ordre_sup%C3%A9rieur" title="Logique d'ordre supérieur">logique d'ordre supérieur</a>, soit la <a href="/wiki/Logique_infinitaire" title="Logique infinitaire">logique infinitaire</a>. Il exprime par la <a href="/wiki/Quantificateur_(logique)" class="mw-redirect" title="Quantificateur (logique)">quantification</a> un large échantillon de propositions du <a href="/wiki/Langage_naturel" title="Langage naturel">langage naturel</a>. Par exemple, le <a href="/wiki/Paradoxe_du_barbier" title="Paradoxe du barbier">paradoxe du barbier</a> de <a href="/wiki/Bertrand_Russell" title="Bertrand Russell">Bertrand Russell</a>, «il y a un homme qui rase tous les hommes, qui ne se rasent pas » peut être formalisé par la <a href="/wiki/Calcul_des_pr%C3%A9dicats#Syntaxe" title="Calcul des prédicats">formule</a> :<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 (\exists x)({\text{homme}}(x)\wedge (\forall y)({\text{homme}}(y)\rightarrow ({\text{rase}}(x,y)\leftrightarrow \neg {\text{rase}}(y,y))))}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mo stretchy="false">(</mo> <mi mathvariant="normal">∃</mi> <mi>x</mi> <mo stretchy="false">)</mo> <mo stretchy="false">(</mo> <mrow class="MJX-TeXAtom-ORD"> <mtext>homme</mtext> </mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> <mo>∧</mo> <mo stretchy="false">(</mo> <mi mathvariant="normal">∀</mi> <mi>y</mi> <mo stretchy="false">)</mo> <mo stretchy="false">(</mo> <mrow class="MJX-TeXAtom-ORD"> <mtext>homme</mtext> </mrow> <mo stretchy="false">(</mo> <mi>y</mi> <mo stretchy="false">)</mo> <mo stretchy="false">→</mo> <mo stretchy="false">(</mo> <mrow class="MJX-TeXAtom-ORD"> <mtext>rase</mtext> </mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <mi>y</mi> <mo stretchy="false">)</mo> <mo stretchy="false">↔</mo> <mi mathvariant="normal">¬</mi> <mrow class="MJX-TeXAtom-ORD"> <mtext>rase</mtext> </mrow> <mo stretchy="false">(</mo> <mi>y</mi> <mo>,</mo> <mi>y</mi> <mo stretchy="false">)</mo> <mo stretchy="false">)</mo> <mo stretchy="false">)</mo> <mo stretchy="false">)</mo> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle (\exists x)({\text{homme}}(x)\wedge (\forall y)({\text{homme}}(y)\rightarrow ({\text{rase}}(x,y)\leftrightarrow \neg {\text{rase}}(y,y))))}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/a1db27afbc5132420b86a9ccc3f0a5b012a18de0" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:64.828ex; height:2.843ex;" alt="{\displaystyle (\exists x)({\text{homme}}(x)\wedge (\forall y)({\text{homme}}(y)\rightarrow ({\text{rase}}(x,y)\leftrightarrow \neg {\text{rase}}(y,y))))}"></span> en utilisant le prédicat <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 {\text{homme}}(x)}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mrow class="MJX-TeXAtom-ORD"> <mtext>homme</mtext> </mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle {\text{homme}}(x)}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/70513eeb148320555d9e73bad18b149bc7cd5a2d" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:10.498ex; height:2.843ex;" alt="{\displaystyle {\text{homme}}(x)}"></span> pour indiquer que <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 x}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi>x</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle x}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/87f9e315fd7e2ba406057a97300593c4802b53e4" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:1.33ex; height:1.676ex;" alt="{\displaystyle x}"></span> est un homme, la <a href="/wiki/Relation_binaire" title="Relation binaire">relation binaire</a> <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 {\text{rase}}(x,y)}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mrow class="MJX-TeXAtom-ORD"> <mtext>rase</mtext> </mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <mi>y</mi> <mo stretchy="false">)</mo> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle {\text{rase}}(x,y)}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/8a4945803b35d41d31ee57e4b0a50668e2a31c39" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:9.351ex; height:2.843ex;" alt="{\displaystyle {\text{rase}}(x,y)}"></span> pour indiquer que <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 y}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi>y</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle y}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/b8a6208ec717213d4317e666f1ae872e00620a0d" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:1.155ex; height:2.009ex;" alt="{\displaystyle y}"></span> est rasé par <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 x}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi>x</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle x}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/87f9e315fd7e2ba406057a97300593c4802b53e4" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:1.33ex; height:1.676ex;" alt="{\displaystyle x}"></span> et d'autres symboles pour exprimer la <a href="/wiki/Quantificateur_(logique)" class="mw-redirect" title="Quantificateur (logique)">quantification</a>, la <a href="/wiki/Conjonction_logique" title="Conjonction logique">conjonction</a>, l'<a href="/wiki/Implication_(logique)" title="Implication (logique)">implication</a>, la <a href="/wiki/N%C3%A9gation_logique" title="Négation logique">négation</a>, et l'<a href="/wiki/%C3%89quivalence_logique" title="Équivalence logique">équivalence</a>. </p> <div class="mw-heading mw-heading3"><h3 id="Logique_modale">Logique modale</h3><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Logique&veaction=edit&section=13" title="Modifier la section : Logique modale" class="mw-editsection-visualeditor"><span>modifier</span></a><span class="mw-editsection-divider"> | </span><a href="/w/index.php?title=Logique&action=edit&section=13" title="Modifier le code source de la section : Logique modale"><span>modifier le code</span></a><span class="mw-editsection-bracket">]</span></span></div> <div class="bandeau-container bandeau-section metadata bandeau-niveau-information"><div class="bandeau-cell bandeau-icone-css loupe">Article détaillé : <a href="/wiki/Logique_modale" title="Logique modale">Logique modale</a>.</div></div> <p>Dans le <a href="/wiki/Langage_naturel" title="Langage naturel">langage naturel</a>, une <a href="/wiki/Modalit%C3%A9_(linguistique_et_logique)" title="Modalité (linguistique et logique)">modalité</a> est une <a href="/wiki/Flexion_(linguistique)" title="Flexion (linguistique)">flexion</a> ou un ajout pour modifier la <a href="/wiki/S%C3%A9mantique" title="Sémantique">sémantique</a> d'une <a href="/wiki/Proposition_(grammaire)" title="Proposition (grammaire)">proposition</a>. </p><p>Par exemple, la proposition « Nous allons aux jeux » peut être modifiée pour donner « Nous devrions aller aux jeux », ou « Nous pouvons aller aux jeux » ou « Nous irons aux jeux » ou « Il faut que nous allions aux jeux ». </p><p>Plus abstraitement, la modalité affecte le cadre dans lequel une affirmation est satisfaite. </p><p>En <a href="/wiki/Logique_formelle" title="Logique formelle">logique formelle</a>, une logique modale est une logique étendue par l'adjonction d'<a href="/wiki/Morphologie_math%C3%A9matique" title="Morphologie mathématique">opérateurs</a>, qui sont appliqués aux propositions pour en modifier le sens. </p> <div class="mw-heading mw-heading3"><h3 id="Logique_philosophique">Logique philosophique</h3><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Logique&veaction=edit&section=14" title="Modifier la section : Logique philosophique" class="mw-editsection-visualeditor"><span>modifier</span></a><span class="mw-editsection-divider"> | </span><a href="/w/index.php?title=Logique&action=edit&section=14" title="Modifier le code source de la section : Logique philosophique"><span>modifier le code</span></a><span class="mw-editsection-bracket">]</span></span></div> <p>La <a href="/wiki/Logique_philosophique" title="Logique philosophique">logique philosophique</a> traite des descriptions formelles du <a href="/wiki/Langage_naturel" title="Langage naturel">langage naturel</a>. Ces <a href="/wiki/Philosophe" title="Philosophe">philosophes</a> considèrent que l'essentiel du <a href="/wiki/Raisonnement" title="Raisonnement">raisonnement</a> quotidien peut être transcrit en logique, si une ou des méthode(s) parvient (parviennent) à traduire le langage ordinaire dans cette logique. La logique philosophique est essentiellement une extension de la logique traditionnelle antérieure à la <a href="/wiki/Logique_math%C3%A9matique" title="Logique mathématique">logique mathématique</a> et s'intéresse à la connexion entre le langage naturel et la logique. </p><p>Par conséquent, les logiciens philosophiques ont grandement contribué au développement des logiques non standard (par exemple, les <a href="/w/index.php?title=Logiques_libres&action=edit&redlink=1" class="new" title="Logiques libres (page inexistante)">logiques libres</a>, les <a href="/wiki/Logique_temporelle" title="Logique temporelle">logiques temporelles</a>) ainsi qu'aux diverses extensions de la logique (par exemple les <a href="/wiki/Logique_modale" title="Logique modale">logiques modales</a>) et à la sémantique de ces logiques (par exemple, le <a href="/w/index.php?title=Supervaluationisme&action=edit&redlink=1" class="new" title="Supervaluationisme (page inexistante)">supervaluationisme</a> <a href="https://en.wikipedia.org/wiki/supervaluationism" class="extiw" title="en:supervaluationism"><span class="indicateur-langue" title="Article en anglais : « supervaluationism »">(en)</span></a> de <a href="/wiki/Saul_Kripke" title="Saul Kripke">Kripke</a> dans la sémantique de la logique). </p> <div class="mw-heading mw-heading2"><h2 id="Notions_élémentaires_de_logique_formelle"><span id="Notions_.C3.A9l.C3.A9mentaires_de_logique_formelle"></span>Notions élémentaires de logique formelle</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Logique&veaction=edit&section=15" title="Modifier la section : Notions élémentaires de logique formelle" class="mw-editsection-visualeditor"><span>modifier</span></a><span class="mw-editsection-divider"> | </span><a href="/w/index.php?title=Logique&action=edit&section=15" title="Modifier le code source de la section : Notions élémentaires de logique formelle"><span>modifier le code</span></a><span class="mw-editsection-bracket">]</span></span></div> <p>Un <a href="/wiki/Langage" title="Langage">langage</a> logique est défini par une <a href="/wiki/Syntaxe" title="Syntaxe">syntaxe</a>, c'est-à-dire un système de <a href="/wiki/Symbole" title="Symbole">symboles</a> et de règles pour les combiner sous forme de <a href="/wiki/Formule" class="mw-disambig" title="Formule">formules</a>. De plus, une <a href="/wiki/S%C3%A9mantique" title="Sémantique">sémantique</a> est associée au langage. Elle permet de l'interpréter, c'est-à-dire d'attacher à ces formules ainsi qu'aux symboles une signification. Un <a href="/wiki/Syst%C3%A8me_logique" title="Système logique">système de déduction</a> permet de raisonner en construisant des démonstrations. </p><p>La logique comprend classiquement : </p> <ul><li>la logique des <a href="/wiki/Proposition_(math%C3%A9matiques)" class="mw-redirect mw-disambig" title="Proposition (mathématiques)">propositions</a> (aussi appelée <a href="/wiki/Calcul_des_propositions" title="Calcul des propositions">calcul des propositions</a>) ;</li> <li>la logique des <a href="/wiki/Pr%C3%A9dicat_(logique_math%C3%A9matique)" title="Prédicat (logique mathématique)">prédicats</a>, qui contient des notations pour des <a href="/wiki/Entit%C3%A9" title="Entité">entités</a> avec des quantifications sur ces entités,</li></ul> <p>auxquelles s'ajoute : </p> <ul><li>la <a href="/wiki/Logique_combinatoire" title="Logique combinatoire">logique combinatoire</a> basée sur les notions de fonction et d'application, en lien avec le <a href="/wiki/Lambda-calcul" title="Lambda-calcul">lambda-calcul</a> et la <a href="/wiki/Logique_intuitionniste" title="Logique intuitionniste">logique intuitionniste</a>.</li></ul> <div class="mw-heading mw-heading3"><h3 id="Syntaxes">Syntaxes</h3><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Logique&veaction=edit&section=16" title="Modifier la section : Syntaxes" class="mw-editsection-visualeditor"><span>modifier</span></a><span class="mw-editsection-divider"> | </span><a href="/w/index.php?title=Logique&action=edit&section=16" title="Modifier le code source de la section : Syntaxes"><span>modifier le code</span></a><span class="mw-editsection-bracket">]</span></span></div> <p>La <a href="/wiki/Syntaxe" title="Syntaxe">syntaxe</a> de la logique des propositions est fondée sur des variables de propositions appelées également <a href="/wiki/Atome" title="Atome">atomes</a> que nous notons avec des lettres minuscules (p, q, r, s, etc.) Ces symboles représentent des propositions sur lesquelles on ne porte pas de jugement vis-à-vis de leur vérité : elles peuvent être soit vraies, soit fausses, mais on peut aussi ne rien vouloir dire sur leur statut. Ces variables sont combinées au moyen de <a href="/wiki/Connecteur_logique_(linguistique)" title="Connecteur logique (linguistique)">connecteurs logiques</a> qui sont, par exemple : </p> <ol><li>Le connecteur binaire <a href="/wiki/Disjonction_logique" title="Disjonction logique">disjonctif</a> (ou), de symbole : ∨ ;</li> <li>Le connecteur binaire <a href="/wiki/Conjonction_logique" title="Conjonction logique">conjonctif</a> (et), de symbole : ∧ ;</li> <li>Le connecteur binaire de l'<a href="/wiki/Implication_(logique)" title="Implication (logique)">implication</a>, de symbole : → ;</li> <li>Le connecteur unaire ou monadique de la <a href="/wiki/N%C3%A9gation_logique" title="Négation logique">négation</a> (non), de symbole : ¬.</li></ol> <p>Ces variables forment alors des formules complexes. </p><p>La syntaxe de la <a href="/wiki/Logique_d%27ordre_sup%C3%A9rieur" title="Logique d'ordre supérieur">logique du deuxième ordre</a>, contrairement à celle du <a href="/wiki/Calcul_des_pr%C3%A9dicats" title="Calcul des prédicats">premier ordre</a>, considère : </p> <ul><li>les termes : représentant les objets étudiés ;</li> <li>les formules : propriétés de ces objets étudiés.</li></ul> <p>Dans la suite nous noterons V l'ensemble des variables (x, y, z…), F l'ensemble des symboles de fonctions (f, g…) et P l'ensemble des symboles de prédicats (P, Q…). <span class="need_ref" title="Ce passage est confus." style="cursor:help;">On dispose également d'une application dite d'<a href="/wiki/Arit%C3%A9" title="Arité">arité</a> <i>m</i></span><sup class="need_ref_tag" style="padding-left:2px;"><a href="/wiki/Wikip%C3%A9dia:Style_encyclop%C3%A9dique#Clair" title="Wikipédia:Style encyclopédique">[pas clair]</a></sup>. La signification des formules fait l'objet de la sémantique et diffère selon le langage envisagé. </p><p>En logique traditionnelle (appelée aussi <a href="/wiki/Logique_classique" title="Logique classique">logique classique</a> ou logique du « tiers exclus »), une formule est soit vraie, soit fausse. Plus formellement, l'ensemble des valeurs de vérité est un ensemble B de deux <a href="/wiki/Alg%C3%A8bre_de_Boole_(logique)" title="Algèbre de Boole (logique)">booléens</a> : le vrai et le faux. La signification des connecteurs est définie à l'aide de fonctions de booléens vers des booléens. Ces fonctions peuvent être représentées sous la forme de <a href="/wiki/Table_de_v%C3%A9rit%C3%A9" title="Table de vérité">table de vérité</a>. </p><p>La signification d'une formule dépend donc de la valeur de vérité de ses variables. On parle d'interprétation ou d'affectation. Toutefois, il est difficile, au sens de la complexité <a href="/wiki/Algorithmique" title="Algorithmique">algorithmique</a>, d'utiliser la sémantique pour <a href="/wiki/D%C3%A9cidabilit%C3%A9" title="Décidabilité">décider</a> si une formule est satisfaisante (ou non) voire valide (ou non). Il faudrait pour cela pouvoir <a href="/wiki/V%C3%A9rification_de_mod%C3%A8les" title="Vérification de modèles">énumérer toutes les interprétations</a> qui sont <a href="/wiki/Fonction_exponentielle" title="Fonction exponentielle">exponentielles</a> en nombre. </p><p>Une alternative à la sémantique consiste à examiner les preuves bien formées et à considérer leurs conclusions. Cela se fait dans un <a href="/wiki/Th%C3%A9orie_de_la_d%C3%A9monstration" title="Théorie de la démonstration">système de déduction</a>. Un système de déduction est un couple (A, R), où A est un ensemble de formules appelées <a href="/wiki/Axiome" title="Axiome">axiomes</a> et R un ensemble de règles d'<a href="/wiki/Inf%C3%A9rence_(logique)" title="Inférence (logique)">inférence</a>, c'est-à-dire de relations entre des ensembles de formules (les prémisses) et des formules (la conclusion). </p><p>On appelle <a href="/wiki/Style_de_Fitch_pour_la_d%C3%A9duction_naturelle" title="Style de Fitch pour la déduction naturelle">dérivation</a> à partir d'un ensemble donné d'<a href="/wiki/Hypoth%C3%A8se" title="Hypothèse">hypothèses</a> une suite non vide de formules qui sont : soit des <a href="/wiki/Axiome" title="Axiome">axiomes</a>, soit des formules déduites des formules précédentes de la suite. Une démonstration d'une formule ϕ à partir d'un ensemble de formules Γ est une dérivation à partir de Γ dont la dernière formule est ϕ. </p> <div class="mw-heading mw-heading3"><h3 id="Quantification">Quantification</h3><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Logique&veaction=edit&section=17" title="Modifier la section : Quantification" class="mw-editsection-visualeditor"><span>modifier</span></a><span class="mw-editsection-divider"> | </span><a href="/w/index.php?title=Logique&action=edit&section=17" title="Modifier le code source de la section : Quantification"><span>modifier le code</span></a><span class="mw-editsection-bracket">]</span></span></div> <div class="bandeau-container bandeau-section metadata bandeau-niveau-information"><div class="bandeau-cell bandeau-icone-css loupe">Article détaillé : <a href="/wiki/Calcul_des_pr%C3%A9dicats" title="Calcul des prédicats">Calcul des prédicats</a>.</div></div> <p>On introduit essentiellement deux <a href="/wiki/Quantificateur_(logique)" class="mw-redirect" title="Quantificateur (logique)">quantificateurs</a> dans la logique moderne : </p> <ul><li>∃ : il existe au moins un, appelé « <a href="/wiki/Quantification_existentielle" title="Quantification existentielle">quantificateur existentiel</a> » ;</li> <li>∀ : pour tout, appelé « <a href="/wiki/Quantificateur_(logique)" class="mw-redirect" title="Quantificateur (logique)">quantificateur universel</a> ».</li></ul> <p>Grâce à la négation, les quantificateurs existentiels et universels jouent des rôles duaux et donc, en <a href="/wiki/Logique_classique" title="Logique classique">logique classique</a>, on peut fonder le <a href="/wiki/Calcul_des_pr%C3%A9dicats" title="Calcul des prédicats">calcul des prédicats</a> sur un seul quantificateur. </p> <div class="mw-heading mw-heading3"><h3 id="Égalité"><span id=".C3.89galit.C3.A9"></span>Égalité</h3><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Logique&veaction=edit&section=18" title="Modifier la section : Égalité" class="mw-editsection-visualeditor"><span>modifier</span></a><span class="mw-editsection-divider"> | </span><a href="/w/index.php?title=Logique&action=edit&section=18" title="Modifier le code source de la section : Égalité"><span>modifier le code</span></a><span class="mw-editsection-bracket">]</span></span></div> <p>Un prédicat binaire, que l'on appelle <i>égalité</i>, énonce le fait que deux termes sont égaux quand ils représentent le même objet. Il est géré par des axiomes ou schémas d'axiomes spécifiques. Cependant parmi les prédicats binaires c'est un prédicat très particulier, dont l'interprétation usuelle n'est pas seulement contrainte par ses propriétés énoncées par les axiomes : en particulier il n'y a usuellement qu'un prédicat d'égalité possible par modèle, celui qui correspond à l'interprétation attendue (l'identité). Son adjonction à la théorie préserve certaines bonnes propriétés comme le <a href="/wiki/Th%C3%A9or%C3%A8me_de_compl%C3%A9tude" class="mw-redirect" title="Théorème de complétude">théorème de complétude</a> du calcul des prédicats classique. On considère donc très souvent que l'égalité fait partie de la logique de base et l'on étudie alors le <i>calcul des prédicats égalitaire</i>. </p><p>Dans une théorie qui contient l'égalité, un quantificateur, qui peut être défini à partir des quantificateurs précédents et de l'égalité, est souvent introduit : </p> <ul><li>∃! (il existe un et un seul).</li></ul> <p>D'autres quantificateurs peuvent être introduits en calcul des prédicats égalitaires (il existe au plus un objet vérifiant telle propriété, il existe deux objets…), mais des quantificateurs utiles en mathématiques, comme « il existe une infinité… » ou « il existe un nombre fini… » ne peuvent s'y représenter et nécessitent d'autres axiomes (comme ceux de la <a href="/wiki/Th%C3%A9orie_des_ensembles" title="Théorie des ensembles">théorie des ensembles</a>). </p> <div class="mw-heading mw-heading2"><h2 id="Logique_non_binaire">Logique non binaire</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Logique&veaction=edit&section=19" title="Modifier la section : Logique non binaire" class="mw-editsection-visualeditor"><span>modifier</span></a><span class="mw-editsection-divider"> | </span><a href="/w/index.php?title=Logique&action=edit&section=19" title="Modifier le code source de la section : Logique non binaire"><span>modifier le code</span></a><span class="mw-editsection-bracket">]</span></span></div> <p>Il a fallu attendre le début du <a href="/wiki/XXe_si%C3%A8cle" title="XXe siècle"><abbr class="abbr" title="20ᵉ siècle"><span class="romain">XX</span><sup style="font-size:72%">e</sup></abbr> siècle</a> pour que le <a href="/wiki/Principe_de_bivalence" title="Principe de bivalence">principe de bivalence</a> soit clairement remis en question de plusieurs façons différentes : </p> <ul><li>La première façon considère des logiques trivalentes qui ajoutent une valeur indéterminée, elles sont dues à <a href="/wiki/Stephen_Cole_Kleene" title="Stephen Cole Kleene">Stephen Cole Kleene</a>, <a href="/wiki/Jan_%C5%81ukasiewicz" title="Jan Łukasiewicz">Jan Łukasiewicz</a> et <a href="/w/index.php?title=Bochvar&action=edit&redlink=1" class="new" title="Bochvar (page inexistante)">Bochvar</a> et se généralisent en <a href="/wiki/Logique_polyvalente" title="Logique polyvalente">logiques polyvalentes</a>.</li> <li>La deuxième façon insiste sur le <i><a href="/wiki/Th%C3%A9orie_de_la_d%C3%A9monstration" title="Théorie de la démonstration">démontrable</a></i>. Il y a donc ce qui est démontrable et le reste. Dans ce « reste », il peut y avoir des propositions <i>réfutables</i>, c'est-à-dire dont la négation est démontrable et des propositions au statut incertain, ni démontrable, ni réfutable. Cette approche, due en particulier à <a href="/wiki/Kurt_G%C3%B6del" title="Kurt Gödel">Gödel</a>, est tout à fait compatible avec la logique classique bivalente, et on peut même dire que l'un des apports de la logique du <a href="/wiki/XXe_si%C3%A8cle" title="XXe siècle"><abbr class="abbr" title="20ᵉ siècle"><span class="romain">XX</span><sup style="font-size:72%">e</sup></abbr> siècle</a> est d'avoir analysé clairement la différence entre la démontrabilité et la validité, qui, elle, repose sur une interprétation en termes de valeurs de vérité. Mais la <a href="/wiki/Logique_intuitionniste" title="Logique intuitionniste">logique intuitionniste</a> se fonde elle sur une interprétation des démonstrations, la sémantique de <a href="/wiki/Arend_Heyting" title="Arend Heyting">Heyting</a> — ainsi une preuve de l'implication s'interprète par une fonction qui à une preuve de l'hypothèse associe une preuve de la conclusion, plutôt que sur une interprétation des énoncés par des valeurs de vérité. On a pu cependant après coup donner des sémantiques qui interprètent les énoncés, comme celle de Beth, ou celle de Kripke dans laquelle le concept de base est celui de <i>monde possible</i>. La logique intuitionniste est également utilisée pour analyser le caractère constructif des démonstrations en logique classique. La <a href="/wiki/Logique_lin%C3%A9aire" title="Logique linéaire">logique linéaire</a> va encore plus loin dans l'analyse des démonstrations.</li> <li>La troisième façon est due à <a href="/wiki/Lotfi_Zadeh" title="Lotfi Zadeh">Lotfi Zadeh</a> qui élabore une <a href="/wiki/Logique_floue" title="Logique floue">logique floue</a> (<i>fuzzy logic</i>), dans laquelle une proposition est vraie selon un certain degré de probabilité (degré auquel on assigne lui-même un degré de probabilité). Voir aussi l'article sur la <a href="/wiki/Th%C3%A9orie_de_la_complexit%C3%A9_algorithmique" class="mw-redirect" title="Théorie de la complexité algorithmique">théorie de la complexité algorithmique</a>.</li> <li>La quatrième façon, est celle de la <a href="/wiki/Logique_modale" title="Logique modale">logique modale</a> qui par exemple atténue (possible) ou renforce (nécessaire) des propositions. Si <a href="/wiki/Aristote" title="Aristote">Aristote</a> s'intéresse déjà aux modalités, le <a href="/wiki/XXe_si%C3%A8cle" title="XXe siècle"><abbr class="abbr" title="20ᵉ siècle"><span class="romain">XX</span><sup style="font-size:72%">e</sup></abbr> siècle</a>, sous l'impulsion initiale de <a href="/wiki/Clarence_Irving_Lewis" title="Clarence Irving Lewis">Clarence Irving Lewis</a>, apporte une étude plus approfondie de celles-ci, et <a href="/wiki/Saul_Kripke" title="Saul Kripke">Saul Aaron Kripke</a> donne une <a href="/wiki/S%C3%A9mantique_de_Kripke" title="Sémantique de Kripke">interprétation</a> des énoncés des logiques modales utilisant des mondes possibles.</li></ul> <div class="mw-heading mw-heading2"><h2 id="Bibliographie">Bibliographie</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Logique&veaction=edit&section=20" title="Modifier la section : Bibliographie" class="mw-editsection-visualeditor"><span>modifier</span></a><span class="mw-editsection-divider"> | </span><a href="/w/index.php?title=Logique&action=edit&section=20" title="Modifier le code source de la section : Bibliographie"><span>modifier le code</span></a><span class="mw-editsection-bracket">]</span></span></div> <div class="bandeau-container bandeau-section metadata bandeau-niveau-information"><div class="bandeau-cell bandeau-icone-css loupe">Article détaillé : <a href="/wiki/Bibliographie_de_logique_et_de_philosophie_du_langage" class="mw-redirect" title="Bibliographie de logique et de philosophie du langage">Bibliographie de logique et de philosophie du langage</a>.</div></div> <ul><li><i>Image de Platon et lectures de ses œuvres</i>, de <a href="/wiki/Jacques_Follon" title="Jacques Follon">Jacques Follon</a>, <a href="/wiki/Peeters_Publishers" title="Peeters Publishers">Peeters Publishers</a> <small style="line-height:1em;">(<a href="/wiki/International_Standard_Book_Number" title="International Standard Book Number">ISBN</a> <a href="/wiki/Sp%C3%A9cial:Ouvrages_de_r%C3%A9f%C3%A9rence/2-87723-305-7" title="Spécial:Ouvrages de référence/2-87723-305-7"><span class="nowrap">2-87723-305-7</span></a>)</small> (1997)</li> <li>Jean-Pierre Belna, <i>Histoire de la logique</i>, <a href="/wiki/2005" title="2005">2005</a></li> <li><a href="/wiki/Robert_Blanch%C3%A9" title="Robert Blanché">Robert Blanché</a> et Jacques Dubucs, <i>La logique et son histoire : d'<a href="/wiki/Aristote" title="Aristote">Aristote</a> à <a href="/wiki/Bertrand_Russell" title="Bertrand Russell">Russell</a></i>, <a href="/wiki/Paris" title="Paris">Paris</a>, Armand Colin, 1996</li> <li>François Chenique, <i>Éléments de Logique Classique</i>, Paris, L'Harmattan, 2006</li> <li>Bruno Couillaud, <i>Traité de Logique - analytique, dialectique, rhétorique, sophistique</i>, <abbr class="abbr" title="Deuxième">2<sup>e</sup></abbr> éd., De Guibert, 2007</li> <li><a href="/wiki/Pascal_Engel" title="Pascal Engel">Pascal Engel</a>, <i>La Norme du vrai, philosophie de la logique</i>, Paris, Gallimard, 1989</li> <li><span class="ouvrage" id="GeneserethNilsson1987"><span class="ouvrage" id="Michael_R._GeneserethNils_J._Nilsson1987"><abbr class="abbr indicateur-langue" title="Langue : anglais">(en)</abbr> Michael R. Genesereth et Nils J. Nilsson, <cite class="italique" lang="en">Logical Foundations of Artificial Intelligence</cite>, Morgan Kaufmann, <time>1987</time> <small>[<a href="/wiki/R%C3%A9f%C3%A9rence:Logical_Foundations_of_Artificial_Intelligence" title="Référence:Logical Foundations of Artificial Intelligence">détail de l’édition</a>]</small><span class="Z3988" title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.btitle=Logical+Foundations+of+Artificial+Intelligence&rft.pub=Morgan+Kaufmann&rft.aulast=Genesereth&rft.aufirst=Michael+R.&rft.au=Nils+J.+Nilsson&rft.date=1987&rfr_id=info%3Asid%2Ffr.wikipedia.org%3ALogique"></span></span></span></li> <li><a href="/wiki/Paul_Gochet" title="Paul Gochet">Paul Gochet</a> et Pascal Gribomont, <i>Logique. Vol. 1 : méthodes pour l'informatique fondamentale</i>, Paris, Hermès, 1990</li> <li>Paul Gochet et Pascal Gribomont, <i>Logique. Vol. 2: méthode formelle pour l'étude des programmes</i>, Paris, Hermès, 1994</li> <li>Paul Gochet, Pascal Gribomont et André Thayse, <i>Logique. Vol. 3: méthodes pour l'intelligence artificielle</i>, Paris, Hermès, 2000</li> <li><abbr class="abbr indicateur-langue" title="Langue : anglais">(en)</abbr> William Kneale & Martha Kneale, <i>The development of logic</i>, Oxford, Clarendon Press, 1962</li> <li>François Lepage, <i>Éléments de logique contemporaine</i>, Presses de l'université de Montréal, 1991</li> <li>Dirk Pereboom, <i>Logique et logistique</i>, Genève, INU PRESS, 1995 <small style="line-height:1em;">(<a href="/wiki/International_Standard_Book_Number" title="International Standard Book Number">ISBN</a> <a href="/wiki/Sp%C3%A9cial:Ouvrages_de_r%C3%A9f%C3%A9rence/2-88155-002-9" title="Spécial:Ouvrages de référence/2-88155-002-9"><span class="nowrap">2-88155-002-9</span></a>)</small>.</li> <li>Xavier Verley, Logique symbolique, Ellipses, 1999</li> <li><a href="/wiki/Alfred_North_Whitehead" title="Alfred North Whitehead">Alfred North Whitehead</a> et <a href="/wiki/Bertrand_Russell" title="Bertrand Russell">Bertrand Russell</a>, <i><a href="/wiki/Principia_Mathematica" title="Principia Mathematica">Principia Mathematica</a></i>, 3 vol., Merchant Books, 2001 <small style="line-height:1em;">(<a href="/wiki/International_Standard_Book_Number" title="International Standard Book Number">ISBN</a> <a href="/wiki/Sp%C3%A9cial:Ouvrages_de_r%C3%A9f%C3%A9rence/978-1603861823" title="Spécial:Ouvrages de référence/978-1603861823"><span class="nowrap">978-1603861823</span></a>)</small> (vol. 1), <small style="line-height:1em;">(<a href="/wiki/International_Standard_Book_Number" title="International Standard Book Number">ISBN</a> <a href="/wiki/Sp%C3%A9cial:Ouvrages_de_r%C3%A9f%C3%A9rence/978-1603861830" title="Spécial:Ouvrages de référence/978-1603861830"><span class="nowrap">978-1603861830</span></a>)</small> (vol. 2), <small style="line-height:1em;">(<a href="/wiki/International_Standard_Book_Number" title="International Standard Book Number">ISBN</a> <a href="/wiki/Sp%C3%A9cial:Ouvrages_de_r%C3%A9f%C3%A9rence/978-1603861847" title="Spécial:Ouvrages de référence/978-1603861847"><span class="nowrap">978-1603861847</span></a>)</small> (vol. 3)</li></ul> <div class="mw-heading mw-heading2"><h2 id="Notes_et_références"><span id="Notes_et_r.C3.A9f.C3.A9rences"></span>Notes et références</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Logique&veaction=edit&section=21" title="Modifier la section : Notes et références" class="mw-editsection-visualeditor"><span>modifier</span></a><span class="mw-editsection-divider"> | </span><a href="/w/index.php?title=Logique&action=edit&section=21" title="Modifier le code source de la section : Notes et références"><span>modifier le code</span></a><span class="mw-editsection-bracket">]</span></span></div> <ul><li><abbr class="abbr indicateur-langue" title="Langue : anglais">(en)</abbr> Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé <span class="plainlinks">« <a href="https://en.wikipedia.org/wiki/logic" class="extiw" title="en:logic">logic</a> » <small>(<a class="external text" href="https://en.wikipedia.org/wiki/logic?action=history">voir la liste des auteurs</a>)</small></span>.</li></ul> <div class="references-small decimal" style=""><div class="mw-references-wrap mw-references-columns"><ol class="references"> <li id="cite_note-1"><span class="mw-cite-backlink noprint"><a href="#cite_ref-1">↑</a> </span><span class="reference-text"><span class="ouvrage" id="Gourinat2005"><span class="ouvrage" id="Jean-Baptiste_Gourinat2005"><a href="/wiki/Jean-Baptiste_Gourinat" title="Jean-Baptiste Gourinat">Jean-Baptiste Gourinat</a>, « <cite style="font-style:normal">La logique : une création de la Grèce antique</cite> », <i><a href="/wiki/Pour_la_Science" class="mw-redirect" title="Pour la Science">Pour la Science</a></i>, <abbr class="abbr" title="numéro">n<sup>o</sup></abbr> 49,‎ <time>2005</time> <small style="line-height:1em;">(<a rel="nofollow" class="external text" href="http://www.pourlascience.fr/ewb_pages/a/article-la-logique-une-creation-de-la-grece-antique-21939.php">présentation en ligne</a>)</small><span class="Z3988" title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=La+logique+%3A+une+cr%C3%A9ation+de+la+Gr%C3%A8ce+antique&rft.jtitle=Pour+la+Science&rft.issue=49&rft.aulast=Gourinat&rft.aufirst=Jean-Baptiste&rft.date=2005&rfr_id=info%3Asid%2Ffr.wikipedia.org%3ALogique"></span></span></span></span> </li> <li id="cite_note-2"><span class="mw-cite-backlink noprint"><a href="#cite_ref-2">↑</a> </span><span class="reference-text"><span class="ouvrage">« <a rel="nofollow" class="external text" href="http://www.philo5.com/Les%20philosophes%20Textes/Gorgias_Non-EtreHeleneEtRhetorique.htm"><cite style="font-style:normal;">Gorgias - Texte fondateur</cite></a> », sur <span class="italique">www.philo5.com</span> <small style="line-height:1em;">(consulté le <time class="nowrap" datetime="2020-05-28" data-sort-value="2020-05-28">28 mai 2020</time>)</small></span></span> </li> <li id="cite_note-Univ-3"><span class="mw-cite-backlink noprint"><a href="#cite_ref-Univ_3-0">↑</a> </span><span class="reference-text"><span class="ouvrage" id="Blanché"><span class="ouvrage" id="Robert_Blanché"><a href="/wiki/Robert_Blanch%C3%A9" title="Robert Blanché">Robert Blanché</a>, « <a rel="nofollow" class="external text" href="http://www.universalis.fr/encyclopedie/logique/4-l-ere-de-la-logique-dite-classique/"><cite style="font-style:normal;">Logique - 4) L'ère de la logique dite « classique »</cite></a> », sur <span class="italique">Encyclopædia Universalis</span> <small style="line-height:1em;">(consulté le <time class="nowrap" datetime="2015-03-11" data-sort-value="2015-03-11">11 mars 2015</time>)</small></span></span> : <span class="citation">« Il accepte ce qui a été fait, il le reprend, mais pour l'approfondir. La logique traditionnelle n'est qu'un échantillon d'une logique générale, qui reste à établir. »</span></span> </li> <li id="cite_note-4"><span class="mw-cite-backlink noprint"><a href="#cite_ref-4">↑</a> </span><span class="reference-text"><span class="ouvrage" id="Knecht1981"><span class="ouvrage" id="Herbert_H._Knecht1981">Herbert H. Knecht, <cite class="italique">La logique chez Leibniz : essais sur le rationalisme baroque</cite>, <a href="/wiki/%C3%89ditions_L%27%C3%82ge_d%27Homme" title="Éditions L'Âge d'Homme">L'Âge d'Homme</a>, <abbr class="abbr" title="collection">coll.</abbr> « Dialectica », <time>1981</time> <small style="line-height:1em;">(<a rel="nofollow" class="external text" href="https://books.google.fr/books?id=4KG7WYuNsEYC&pg=PA38">lire en ligne</a>)</small>, <abbr class="abbr" title="pages">p.</abbr> <span class="nowrap">38-39</span><span class="Z3988" title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.btitle=La+logique+chez+Leibniz&rft.pub=L%27%C3%82ge+d%27Homme&rft.stitle=essais+sur+le+rationalisme+baroque&rft.aulast=Knecht&rft.aufirst=Herbert+H.&rft.date=1981&rft.pages=38-39&rfr_id=info%3Asid%2Ffr.wikipedia.org%3ALogique"></span></span></span></span> </li> <li id="cite_note-5"><span class="mw-cite-backlink noprint"><a href="#cite_ref-5">↑</a> </span><span class="reference-text">Kant, préface de la deuxième édition de <b>Critique de la raison pure</b></span> </li> <li id="cite_note-6"><span class="mw-cite-backlink noprint"><a href="#cite_ref-6">↑</a> </span><span class="reference-text"><span class="ouvrage" id="Boole1847"><span class="ouvrage" id="George_Boole1847"><abbr class="abbr indicateur-langue" title="Langue : anglais">(en)</abbr> George <span class="nom_auteur">Boole</span>, <cite class="italique" lang="en">The mathematical analysis of logic : being an essay towards a calculus of deductive reasoning</cite>, Macmillan, Barclay, & Macmillan…, <time>1847</time> <small style="line-height:1em;">(<a rel="nofollow" class="external text" href="https://openlibrary.org/books/OL7091269M/The_mathematical_analysis_of_logic">lire en ligne</a>)</small><span class="Z3988" title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.btitle=The+mathematical+analysis+of+logic+%3A+being+an+essay+towards+a+calculus+of+deductive+reasoning&rft.pub=Macmillan%2C+Barclay%2C+%26+Macmillan%E2%80%A6&rft.aulast=Boole&rft.aufirst=George&rft.date=1847&rfr_id=info%3Asid%2Ffr.wikipedia.org%3ALogique"></span></span></span></span> </li> <li id="cite_note-7"><span class="mw-cite-backlink noprint"><a href="#cite_ref-7">↑</a> </span><span class="reference-text"><span class="ouvrage" id="Boole"><span class="ouvrage" id="Georges_Boole"><abbr class="abbr indicateur-langue" title="Langue : anglais">(en)</abbr> Georges Boole, « <a rel="nofollow" class="external text" href="https://www.gutenberg.org/files/15114/15114-pdf.pdf"><cite style="font-style:normal;" lang="en">HE MATHEMATICAL THEORIES OF LOGIC ANDPROBABILITIES.</cite></a> », sur <span class="italique">gutenberg.org</span></span></span></span> </li> <li id="cite_note-8"><span class="mw-cite-backlink noprint"><a href="#cite_ref-8">↑</a> </span><span class="reference-text"><i>voir <abbr class="abbr indicateur-langue" title="Langue : anglais">(en)</abbr> <a href="/wiki/R%C3%A9f%C3%A9rence:Logical_Foundations_of_Artificial_Intelligence" title="Référence:Logical Foundations of Artificial Intelligence">Logical Foundations of Artificial Intelligence</a></i></span> </li> <li id="cite_note-9"><span class="mw-cite-backlink noprint"><a href="#cite_ref-9">↑</a> </span><span class="reference-text"><a rel="nofollow" class="external text" href="http://www.scientificamerican.com/author/julie-rehmeyer/">Julie Rehmeyer <i>Voevodsky’s Mathematical Revolution</i></a> Scientific American on October 1, 2013</span> </li> <li id="cite_note-10"><span class="mw-cite-backlink noprint"><a href="#cite_ref-10">↑</a> </span><span class="reference-text"><span class="ouvrage"><abbr class="abbr indicateur-langue" title="Langue : anglais">(en)</abbr> « <a rel="nofollow" class="external text" href="http://global.britannica.com/topic/history-of-logic"><cite style="font-style:normal;" lang="en">history of logic</cite></a> », sur <span class="italique">Encyclopedia Britannica</span> <small style="line-height:1em;">(consulté le <time class="nowrap" datetime="2016-05-08" data-sort-value="2016-05-08">8 mai 2016</time>)</small></span></span> </li> <li id="cite_note-11"><span class="mw-cite-backlink noprint"><a href="#cite_ref-11">↑</a> </span><span class="reference-text"><a rel="nofollow" class="external text" href="http://www.cnrtl.fr/definition/atome"><i>« Atomique »</i></a> doit être pris dans son sens ancien d'insécable ou primitif.</span> </li> </ol></div> </div> <div class="mw-heading mw-heading2"><h2 id="Voir_aussi">Voir aussi</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Logique&veaction=edit&section=22" title="Modifier la section : Voir aussi" class="mw-editsection-visualeditor"><span>modifier</span></a><span class="mw-editsection-divider"> | </span><a href="/w/index.php?title=Logique&action=edit&section=22" title="Modifier le code source de la section : Voir aussi"><span>modifier le code</span></a><span class="mw-editsection-bracket">]</span></span></div> <style data-mw-deduplicate="TemplateStyles:r194021218">.mw-parser-output .autres-projets>.titre{text-align:center;margin:0.2em 0}.mw-parser-output .autres-projets>ul{margin:0;padding:0}.mw-parser-output .autres-projets>ul>li{list-style:none;margin:0.2em 0;text-indent:0;padding-left:24px;min-height:20px;text-align:left;display:block}.mw-parser-output .autres-projets>ul>li>a{font-style:italic}@media(max-width:720px){.mw-parser-output .autres-projets{float:none}}</style><div class="autres-projets boite-grise boite-a-droite noprint js-interprojets"> <p class="titre">Sur les autres projets Wikimedia :</p> <ul class="noarchive plainlinks"> <li class="wiktionary"><a href="https://fr.wiktionary.org/wiki/logique" class="extiw" title="wikt:logique">logique</a>, <span class="nowrap">sur le <span class="project">Wiktionnaire</span></span></li><li class="wikiversity"><a href="https://fr.wikiversity.org/wiki/D%C3%A9partement:Logique" class="extiw" title="v:Département:Logique">Logique</a>, <span class="nowrap">sur <span class="project">Wikiversity</span></span></li><li class="wikisource"><a href="https://fr.wikisource.org/wiki/Cat%C3%A9gorie:Logique" class="extiw" title="s:Catégorie:Logique">Logique</a>, <span class="nowrap">sur <span class="project">Wikisource</span></span></li> </ul> </div> <div class="noprint boite-grise boite-a-droite" style="text-align:left;"> <div style="float:left;"><span typeof="mw:File"><span><img alt="" src="//upload.wikimedia.org/wikipedia/commons/thumb/f/f6/Circle-icons-frames.svg/45px-Circle-icons-frames.svg.png" decoding="async" width="45" height="45" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/f/f6/Circle-icons-frames.svg/68px-Circle-icons-frames.svg.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/f/f6/Circle-icons-frames.svg/90px-Circle-icons-frames.svg.png 2x" data-file-width="512" data-file-height="512" /></span></span></div> <div style="margin-left:60px;">Une <a href="/wiki/Aide:Cat%C3%A9gorie" title="Aide:Catégorie">catégorie</a> est consacrée à ce sujet : <i><a href="/wiki/Cat%C3%A9gorie:Logique" title="Catégorie:Logique">Logique</a></i>.</div> <div style="clear:left;"></div> </div> <div class="mw-heading mw-heading3"><h3 id="Articles_connexes">Articles connexes</h3><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Logique&veaction=edit&section=23" title="Modifier la section : Articles connexes" class="mw-editsection-visualeditor"><span>modifier</span></a><span class="mw-editsection-divider"> | </span><a href="/w/index.php?title=Logique&action=edit&section=23" title="Modifier le code source de la section : Articles connexes"><span>modifier le code</span></a><span class="mw-editsection-bracket">]</span></span></div> <ul><li><a href="/wiki/Raison" title="Raison">Raison</a></li> <li><a href="/wiki/Raisonnement" title="Raisonnement">Raisonnement</a></li> <li><a href="/wiki/Rationalisation" title="Rationalisation">Rationalisation</a></li> <li><a href="/wiki/Rationalit%C3%A9" title="Rationalité">Rationalité</a></li> <li><a href="/wiki/Science_formelle" class="mw-redirect" title="Science formelle">Science formelle</a></li></ul> <p>Sur la philosophie : </p> <ul><li><a href="/wiki/Philosophie" title="Philosophie">Philosophie</a></li> <li><a href="/wiki/%C3%89thique" title="Éthique">Éthique</a> | <a href="/wiki/M%C3%A9taphysique" title="Métaphysique">Métaphysique</a> | <a href="/wiki/%C3%89pist%C3%A9mologie" title="Épistémologie">Épistémologie</a></li> <li><a href="/wiki/Heidegger_et_la_logique" class="mw-redirect" title="Heidegger et la logique">Heidegger et la logique</a></li> <li><a href="/wiki/Tractatus_logico-philosophicus" title="Tractatus logico-philosophicus">Tractatus logico-philosophicus</a></li></ul> <p>Sur la logique mathématique : </p> <ul><li><a href="/wiki/D%C3%A9duction_naturelle" title="Déduction naturelle">Déduction naturelle</a></li> <li><a href="/wiki/%C3%89quivalence_logique" title="Équivalence logique">Équivalence logique</a></li> <li><a href="/wiki/Fonction_logique" title="Fonction logique">Fonction logique</a></li> <li><a href="/wiki/Logique_math%C3%A9matique" title="Logique mathématique">Logique mathématique</a></li> <li><a href="/wiki/Logique_et_raisonnement_math%C3%A9matique" title="Logique et raisonnement mathématique">Logique et raisonnement mathématique</a></li> <li><a href="/wiki/Logique_intuitionniste" title="Logique intuitionniste">Logique intuitionniste</a></li> <li><a href="/wiki/Logique_lin%C3%A9aire" title="Logique linéaire">Logique linéaire</a> notamment les <a href="/wiki/Lois_de_De_Morgan" title="Lois de De Morgan">lois de De Morgan</a></li> <li><a href="/wiki/Logique_minimale" title="Logique minimale">Logique minimale</a></li> <li><a href="/wiki/Logique_pneumatique" title="Logique pneumatique">Logique pneumatique</a></li></ul> <p>Voir aussi : </p> <ul><li><a href="/wiki/Bibliographie_de_logique_et_de_philosophie_du_langage" class="mw-redirect" title="Bibliographie de logique et de philosophie du langage">Bibliographie de logique et de philosophie du langage</a></li></ul> <div class="mw-heading mw-heading3"><h3 id="Liens_externes">Liens externes</h3><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Logique&veaction=edit&section=24" title="Modifier la section : Liens externes" class="mw-editsection-visualeditor"><span>modifier</span></a><span class="mw-editsection-divider"> | </span><a href="/w/index.php?title=Logique&action=edit&section=24" title="Modifier le code source de la section : Liens externes"><span>modifier le code</span></a><span class="mw-editsection-bracket">]</span></span></div> <ul><li><div class="liste-horizontale"><span class="wd_identifiers"><a href="/wiki/Autorit%C3%A9_(sciences_de_l%27information)" title="Autorité (sciences de l'information)">Notices d'autorité</a><span class="noprint wikidata-linkback skin-invert"><span class="mw-valign-baseline noviewer" typeof="mw:File"><a href="https://www.wikidata.org/wiki/Q8078?uselang=fr#identifiers" title="Voir et modifier les données sur Wikidata"><img alt="Voir et modifier les données sur Wikidata" src="//upload.wikimedia.org/wikipedia/commons/thumb/7/73/Blue_pencil.svg/10px-Blue_pencil.svg.png" decoding="async" width="10" height="10" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/7/73/Blue_pencil.svg/15px-Blue_pencil.svg.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/7/73/Blue_pencil.svg/20px-Blue_pencil.svg.png 2x" data-file-width="600" data-file-height="600" /></a></span></span></span> : <ul><li><span class="nowrap uid noarchive"><a rel="nofollow" class="external text" href="https://catalogue.bnf.fr/ark:/12148/cb11935968s">BnF</a></span> (<span class="nowrap uid noarchive"><a rel="nofollow" class="external text" href="https://data.bnf.fr/ark:/12148/cb11935968s">données</a></span>)</li> <li><span class="nowrap uid noarchive"><a rel="nofollow" class="external text" href="http://id.loc.gov/authorities/sh85078106">LCCN</a></span></li> <li><span class="nowrap uid noarchive"><a rel="nofollow" class="external text" href="http://d-nb.info/gnd/4036202-4">GND</a></span></li> <li><span class="nowrap uid noarchive"><a rel="nofollow" class="external text" href="https://id.ndl.go.jp/auth/ndlna/00569686">Japon</a></span></li> <li><span class="nowrap uid noarchive"><a rel="nofollow" class="external text" href="http://catalogo.bne.es/uhtbin/authoritybrowse.cgi?action=display&authority_id=XX526280">Espagne</a></span></li> <li><span class="nowrap uid noarchive"><a rel="nofollow" class="external text" href="http://olduli.nli.org.il/F/?func=find-b&local_base=NLX10&find_code=UID&request=987007533699705171">Israël</a></span></li> <li><span class="nowrap uid noarchive"><a rel="nofollow" class="external text" href="http://aut.nkp.cz/ph122436">Tchéquie</a></span></li> <li><span class="nowrap uid noarchive"><a rel="nofollow" class="external text" href="https://kopkatalogs.lv/F/?func=direct&local_base=lnc10&doc_number=000048117">Lettonie</a></span></li> </ul></div></li> <li><div class="liste-horizontale"><span class="wd_identifiers">Notices dans des dictionnaires ou encyclopédies généralistes<span class="noprint wikidata-linkback skin-invert"><span class="mw-valign-baseline noviewer" typeof="mw:File"><a href="https://www.wikidata.org/wiki/Q8078?uselang=fr#identifiers" title="Voir et modifier les données sur Wikidata"><img alt="Voir et modifier les données sur Wikidata" src="//upload.wikimedia.org/wikipedia/commons/thumb/7/73/Blue_pencil.svg/10px-Blue_pencil.svg.png" decoding="async" width="10" height="10" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/7/73/Blue_pencil.svg/15px-Blue_pencil.svg.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/7/73/Blue_pencil.svg/20px-Blue_pencil.svg.png 2x" data-file-width="600" data-file-height="600" /></a></span></span></span> : <ul><li><a rel="nofollow" class="external text" href="https://www.britannica.com/topic/logic"><i>Britannica</i></a></li> <li><a rel="nofollow" class="external text" href="https://denstoredanske.lex.dk//logik/"><i>Den Store Danske Encyklopædi</i></a></li> <li><a rel="nofollow" class="external text" href="https://www.enciclopedia.cat/EC-GEC-0192004.xml"><i>Gran Enciclopèdia Catalana</i></a></li> <li><a rel="nofollow" class="external text" href="https://encyklopedia.pwn.pl/haslo/;3933562"><i>Internetowa encyklopedia PWN</i></a></li> <li><a rel="nofollow" class="external text" href="https://www.larousse.fr/encyclopedie/divers/logique/66465"><i>Larousse</i></a></li> <li><a rel="nofollow" class="external text" href="https://snl.no/logikk"><i>Store norske leksikon</i></a></li> <li><a rel="nofollow" class="external text" href="http://www.treccani.it/enciclopedia/logica"><i>Treccani</i></a></li> <li><a rel="nofollow" class="external text" href="https://www.universalis.fr/encyclopedie/logique/"><i>Universalis</i></a></li> </ul></div></li> <li><span class="liste-horizontale noarchive"><span class="wd_identifiers">Ressource relative à la recherche<span class="noprint wikidata-linkback skin-invert"><span class="mw-valign-baseline noviewer" typeof="mw:File"><a href="https://www.wikidata.org/wiki/Q8078?uselang=fr#identifiers" title="Voir et modifier les données sur Wikidata"><img alt="Voir et modifier les données sur Wikidata" src="//upload.wikimedia.org/wikipedia/commons/thumb/7/73/Blue_pencil.svg/10px-Blue_pencil.svg.png" decoding="async" width="10" height="10" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/7/73/Blue_pencil.svg/15px-Blue_pencil.svg.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/7/73/Blue_pencil.svg/20px-Blue_pencil.svg.png 2x" data-file-width="600" data-file-height="600" /></a></span></span></span> : <ul><li><a rel="nofollow" class="external text" href="https://plato.stanford.edu/entries/bolzano-logic/"><span class="lang-en" lang="en"><i>Stanford Encyclopedia of Philosophy</i></span></a></li> </ul></span></li> <li><span class="liste-horizontale noarchive"><span class="wd_identifiers">Ressource relative à la santé<span class="noprint wikidata-linkback skin-invert"><span class="mw-valign-baseline noviewer" typeof="mw:File"><a href="https://www.wikidata.org/wiki/Q8078?uselang=fr#identifiers" title="Voir et modifier les données sur Wikidata"><img alt="Voir et modifier les données sur Wikidata" src="//upload.wikimedia.org/wikipedia/commons/thumb/7/73/Blue_pencil.svg/10px-Blue_pencil.svg.png" decoding="async" width="10" height="10" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/7/73/Blue_pencil.svg/15px-Blue_pencil.svg.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/7/73/Blue_pencil.svg/20px-Blue_pencil.svg.png 2x" data-file-width="600" data-file-height="600" /></a></span></span></span> : <ul><li><a rel="nofollow" class="external text" href="https://meshb.nlm.nih.gov/record/ui?ui=D008128"><span class="lang-en" lang="en">Medical Subject Headings</span></a></li> </ul></span></li> <li><a rel="nofollow" class="external text" href="http://www.lofs.ucl.ac.be/log/liens.html">Liens internet</a></li> <li><a rel="nofollow" class="external text" href="http://www.lofs.ucl.ac.be/log/revues.html">Revues de logique</a></li></ul> <div class="navbox-container" style="clear:both;"> <table class="navbox collapsible noprint autocollapse" style=""> <tbody><tr><th class="navbox-title" colspan="2" style=""><div style="float:left; width:6em; text-align:left"><div class="noprint plainlinks nowrap tnavbar" style="padding:0; font-size:xx-small; color:var(--color-emphasized, #000000);"><a href="/wiki/Mod%C3%A8le:Palette_Logique" title="Modèle:Palette Logique"><abbr class="abbr" title="Voir ce modèle.">v</abbr></a> · <a class="external text" href="https://fr.wikipedia.org/w/index.php?title=Mod%C3%A8le:Palette_Logique&action=edit"><abbr class="abbr" title="Modifier ce modèle. Merci de prévisualiser avant de sauvegarder.">m</abbr></a></div></div><div style="font-size:110%"><a class="mw-selflink selflink">Logique</a></div></th> </tr> <tr> <th class="navbox-group" style="">Domaines académiques</th> <td class="navbox-list" style=""><div class="liste-horizontale"> <ul><li><a href="/wiki/Th%C3%A9orie_des_ensembles" title="Théorie des ensembles">Théorie des ensembles</a></li> <li><a href="/wiki/Th%C3%A9orie_de_la_d%C3%A9monstration" title="Théorie de la démonstration">Théorie de la démonstration</a></li> <li><a href="/wiki/Th%C3%A9orie_des_mod%C3%A8les" title="Théorie des modèles">Théorie des modèles</a></li> <li><a href="/wiki/Logique_philosophique" title="Logique philosophique">Logique philosophique</a></li> <li><a href="/wiki/Logique_math%C3%A9matique" title="Logique mathématique">Logique mathématique</a></li> <li><a href="/wiki/Logique_informelle" title="Logique informelle">Logique informelle</a></li> <li><a href="/wiki/Histoire_de_la_logique" title="Histoire de la logique">Histoire de la logique</a></li> <li><a href="/wiki/Philosophie_de_la_logique" title="Philosophie de la logique">Philosophie de la logique</a></li></ul> </div></td> </tr> <tr> <th class="navbox-group" style="">Concepts fondamentaux</th> <td class="navbox-list navbox-even" style=""><div class="liste-horizontale"> <ul><li><a href="/wiki/Abduction_(logique)" title="Abduction (logique)">Abduction</a></li> <li><a href="/wiki/Conclusion_(logique)" title="Conclusion (logique)">Conclusion</a></li> <li><a href="/wiki/D%C3%A9duction_logique" title="Déduction logique">Déduction</a></li> <li><a href="/wiki/D%C3%A9finition" title="Définition">Définition</a></li> <li><a href="/wiki/D%C3%A9monstration_(logique_et_math%C3%A9matiques)" title="Démonstration (logique et mathématiques)">Démonstration</a></li> <li><a href="/wiki/Description" title="Description">Description</a></li> <li><a href="/wiki/Implication_(logique)" title="Implication (logique)">Implication</a></li> <li><a href="/wiki/Inf%C3%A9rence_(logique)" title="Inférence (logique)">Inférence</a></li> <li><a href="/wiki/Induction_(logique)" title="Induction (logique)">Induction</a></li> <li><a href="/wiki/Sens_(linguistique)" title="Sens (linguistique)">Sens</a></li> <li><a href="/wiki/Paradoxe" title="Paradoxe">Paradoxe</a></li> <li><a href="/wiki/Pr%C3%A9dicat_(logique_math%C3%A9matique)" title="Prédicat (logique mathématique)">Prédicat</a></li> <li><a href="/wiki/Pr%C3%A9misse" title="Prémisse">Prémisse</a></li> <li><a href="/wiki/Proposition_(philosophie)" title="Proposition (philosophie)">Proposition</a></li> <li><a href="/wiki/Mondes_possibles" title="Mondes possibles">Mondes possibles</a></li> <li><a href="/wiki/Pr%C3%A9supposition" title="Présupposition">Présupposition</a></li> <li><a href="/wiki/R%C3%A9f%C3%A9rence_(philosophie)" title="Référence (philosophie)">Référence</a></li> <li><a href="/wiki/S%C3%A9mantique_formelle_(logique)" title="Sémantique formelle (logique)">Sémantique</a></li> <li><a href="/wiki/Syntaxe_(logique)" title="Syntaxe (logique)">Syntaxe</a></li> <li><a href="/wiki/Syllogisme" title="Syllogisme">Syllogisme</a></li> <li><a href="/wiki/V%C3%A9rit%C3%A9_logique" title="Vérité logique">Vérité</a></li> <li><a href="/wiki/Valeur_de_v%C3%A9rit%C3%A9" title="Valeur de vérité">Valeur de vérité</a></li> <li><a href="/wiki/Validit%C3%A9_(logique)" title="Validité (logique)">Validité</a></li> <li><i><a href="/wiki/Cat%C3%A9gorie:Concept_logique" title="Catégorie:Concept logique">Plus</a></i></li></ul> </div></td> </tr> <tr> <th class="navbox-group" style=""><a href="/wiki/Esprit_critique" title="Esprit critique">Esprit critique</a> et <a href="/wiki/Logique_informelle" title="Logique informelle">logique informelle</a></th> <td class="navbox-list" style=""><div class="liste-horizontale"> <ul><li><a href="/wiki/Affirmation" title="Affirmation">Affirmation</a></li> <li><a href="/wiki/Analyse_(philosophie)" title="Analyse (philosophie)">Analyse</a></li> <li><a href="/wiki/Ambigu%C3%AFt%C3%A9" title="Ambiguïté">Ambiguïté</a></li> <li><a href="/wiki/Cr%C3%A9dibilit%C3%A9" title="Crédibilité">Crédibilité</a></li> <li><a href="/wiki/%C3%89vidence" title="Évidence">Évidence</a></li> <li><a href="/wiki/Explication" title="Explication">Explication</a></li> <li><a href="/wiki/Sophisme" title="Sophisme">Sophisme</a></li> <li><a href="/wiki/Parcimonie" title="Parcimonie">Parcimonie</a></li> <li><a href="/wiki/Propagande" title="Propagande">Propagande</a></li> <li><a href="/wiki/Rh%C3%A9torique" title="Rhétorique">Rhétorique</a></li></ul> </div></td> </tr> <tr> <th class="navbox-group" style=""><a href="/wiki/Logique_math%C3%A9matique" title="Logique mathématique">Logique mathématique</a></th> <td class="navbox-list navbox-even" style=""><div class="liste-horizontale"> <ul><li><a href="/wiki/Alg%C3%A8bre_de_Boole_(logique)" title="Algèbre de Boole (logique)">Algèbre de Boole</a></li> <li><a href="/wiki/Calcul_des_pr%C3%A9dicats" title="Calcul des prédicats">Calcul des prédicats</a></li> <li><a href="/wiki/Calcul_des_propositions" title="Calcul des propositions">Calcul des propositions</a></li> <li><a href="/wiki/Th%C3%A9orie_de_la_calculabilit%C3%A9" title="Théorie de la calculabilité">Théorie de la calculabilité</a></li> <li><a href="/wiki/D%C3%A9duction_naturelle" title="Déduction naturelle">Déduction naturelle</a></li> <li><a href="/wiki/Logique_traditionnelle" title="Logique traditionnelle">Logique traditionnelle</a></li> <li><a href="/wiki/Logique_classique" title="Logique classique">Logique classique</a></li> <li><a href="/wiki/Logique_lin%C3%A9aire" title="Logique linéaire">Logique linéaire</a></li> <li><a href="/wiki/Lois_de_De_Morgan" title="Lois de De Morgan">Lois de De Morgan</a></li> <li><a href="/wiki/Th%C3%A9orie_de_la_d%C3%A9monstration" title="Théorie de la démonstration">Théorie de la démonstration</a></li> <li><a href="/wiki/Th%C3%A9orie_des_ensembles" title="Théorie des ensembles">Théorie des ensembles</a></li> <li><a href="/wiki/Th%C3%A9orie_des_mod%C3%A8les" title="Théorie des modèles">Théorie des modèles</a></li></ul> </div></td> </tr> <tr> <th class="navbox-group" style=""><a href="/wiki/Logique_non_classique" title="Logique non classique">Logiques non classiques</a></th> <td class="navbox-list" style=""><div class="liste-horizontale"> <ul><li><a href="/wiki/Logique_de_description" title="Logique de description">Logique de description</a></li> <li><a href="/wiki/Logique_intuitionniste" title="Logique intuitionniste">Logique intuitionniste</a></li> <li><a href="/wiki/Logique_minimale" title="Logique minimale">Logique minimale</a></li> <li><a href="/wiki/Logique_floue" title="Logique floue">Logique floue</a></li> <li><a href="/wiki/Logique_modale" title="Logique modale">Logique modale</a></li> <li><a href="/wiki/Logique_non_monotone" title="Logique non monotone">Logique non monotone</a></li> <li><a href="/wiki/Logique_paracoh%C3%A9rente" title="Logique paracohérente">Logique paracohérente</a></li> <li><a href="/wiki/Logiques_sous-structurelles" title="Logiques sous-structurelles">Logiques sous-structurelles</a></li> <li><a href="/wiki/Logique_de_%C5%81ukasiewicz" title="Logique de Łukasiewicz">Logique de Łukasiewicz</a></li></ul> </div></td> </tr> <tr> <th class="navbox-group" style=""><a href="/wiki/M%C3%A9talogique" title="Métalogique">Métalogique</a> et <a href="/wiki/Logique_math%C3%A9matique" title="Logique mathématique">métamathématique</a></th> <td class="navbox-list navbox-even" style=""><div class="liste-horizontale"> <ul><li><a href="/wiki/Th%C3%A9or%C3%A8me_de_Cantor" title="Théorème de Cantor">Théorème de Cantor</a></li> <li><a href="/wiki/Th%C3%A8se_de_Church" title="Thèse de Church">Thèse de Church</a></li> <li><a href="/wiki/Fondements_des_math%C3%A9matiques" title="Fondements des mathématiques">Fondements des mathématiques</a></li> <li><a href="/wiki/Th%C3%A9or%C3%A8me_de_compl%C3%A9tude_de_G%C3%B6del" title="Théorème de complétude de Gödel">Théorème de complétude de Gödel</a></li> <li><a href="/wiki/Th%C3%A9or%C3%A8mes_d%27incompl%C3%A9tude_de_G%C3%B6del" title="Théorèmes d'incomplétude de Gödel">Théorème d'incomplétude de Gödel</a></li> <li><a href="/wiki/Compl%C3%A9tude" class="mw-disambig" title="Complétude">Complétude</a></li> <li><a href="/wiki/D%C3%A9cidabilit%C3%A9" title="Décidabilité">Décidabilité</a></li> <li><a href="/wiki/Th%C3%A9or%C3%A8me_de_L%C3%B6wenheim-Skolem" title="Théorème de Löwenheim-Skolem">Théorème de Löwenheim-Skolem</a></li></ul> </div></td> </tr> <tr> <th class="navbox-group" style=""><a href="/wiki/Philosophie_de_la_logique" title="Philosophie de la logique">Philosophie de la logique</a></th> <td class="navbox-list" style=""><div class="liste-horizontale"> <ul><li><a href="/wiki/Atomisme_logique" title="Atomisme logique">Atomisme logique</a></li> <li><a href="/wiki/Constructivisme_(math%C3%A9matiques)" title="Constructivisme (mathématiques)">Constructivisme</a></li> <li><a href="/wiki/Logicisme" title="Logicisme">Logicisme</a></li> <li><a href="/wiki/Intuitionnisme" title="Intuitionnisme">Intuitionnisme</a></li> <li><a href="/wiki/Dialeth%C3%A9isme" title="Dialethéisme">Dialethéisme</a></li></ul> </div></td> </tr> <tr> <th class="navbox-group" style=""><a class="mw-selflink selflink">Logiciens</a></th> <td class="navbox-list navbox-even" style=""><div class="liste-horizontale"> <ul><li><a href="/wiki/Aristote" title="Aristote">Aristote</a></li> <li><a href="/wiki/Avicenne" title="Avicenne">Avicenne</a></li> <li><a href="/wiki/Averro%C3%A8s" title="Averroès">Averroès</a></li> <li><a href="/wiki/Alexander_Bain_(philosophe)" title="Alexander Bain (philosophe)">Bain</a></li> <li><a href="/wiki/Jon_Barwise" title="Jon Barwise">Barwise</a></li> <li><a href="/wiki/Paul_Bernays" title="Paul Bernays">Bernays</a></li> <li><a href="/wiki/George_Boole" title="George Boole">Boole</a></li> <li><a href="/wiki/Georg_Cantor" title="Georg Cantor">Cantor</a></li> <li><a href="/wiki/Rudolf_Carnap" title="Rudolf Carnap">Carnap</a></li> <li><a href="/wiki/Alonzo_Church" title="Alonzo Church">Church</a></li> <li><a href="/wiki/Chrysippe_de_Soles" title="Chrysippe de Soles">Chrysippe de Soles</a></li> <li><a href="/wiki/Haskell_Curry" title="Haskell Curry">Curry</a></li> <li><a href="/wiki/Auguste_De_Morgan" title="Auguste De Morgan">De Morgan</a></li> <li><a href="/wiki/Gottlob_Frege" title="Gottlob Frege">Frege</a></li> <li><a href="/wiki/Gerhard_Gentzen" title="Gerhard Gentzen">Gentzen</a></li> <li><a href="/wiki/Kurt_G%C3%B6del" title="Kurt Gödel">Gödel</a></li> <li><a href="/wiki/David_Hilbert" title="David Hilbert">Hilbert</a></li> <li><a href="/wiki/Stephen_Cole_Kleene" title="Stephen Cole Kleene">Kleene</a></li> <li><a href="/wiki/Saul_Kripke" title="Saul Kripke">Kripke</a></li> <li><a href="/wiki/Gottfried_Wilhelm_Leibniz" title="Gottfried Wilhelm Leibniz">Leibniz</a></li> <li><a href="/wiki/Leopold_L%C3%B6wenheim" title="Leopold Löwenheim">Löwenheim</a></li> <li><a href="/wiki/Guillaume_d%27Ockham" title="Guillaume d'Ockham">Guillaume d'Ockham</a></li> <li><a href="/wiki/Giuseppe_Peano" title="Giuseppe Peano">Peano</a></li> <li><a href="/wiki/Charles_Sanders_Peirce" title="Charles Sanders Peirce">Peirce</a></li> <li><a href="/wiki/Karl_Popper" title="Karl Popper">Popper</a></li> <li><a href="/wiki/Hilary_Putnam" title="Hilary Putnam">Putnam</a></li> <li><a href="/wiki/Willard_Van_Orman_Quine" title="Willard Van Orman Quine">Quine</a></li> <li><a href="/wiki/Bertrand_Russell" title="Bertrand Russell">Russell</a></li> <li><a href="/wiki/Ernst_Schr%C3%B6der" title="Ernst Schröder">Schröder</a></li> <li><a href="/wiki/Jean_Duns_Scot" title="Jean Duns Scot">Scot</a></li> <li><a href="/wiki/Thoralf_Skolem" title="Thoralf Skolem">Skolem</a></li> <li><a href="/wiki/Raymond_Smullyan" title="Raymond Smullyan">Smullyan</a></li> <li><a href="/wiki/Alfred_Tarski" title="Alfred Tarski">Tarski</a></li> <li><a href="/wiki/Alan_Turing" title="Alan Turing">Turing</a></li> <li><a href="/wiki/Alfred_North_Whitehead" title="Alfred North Whitehead">Whitehead</a></li> <li><a href="/wiki/Ludwig_Wittgenstein" title="Ludwig Wittgenstein">Wittgenstein</a></li> <li><a href="/wiki/Ernst_Zermelo" title="Ernst Zermelo">Zermelo</a></li></ul> </div></td> </tr> </tbody></table> <table class="navbox collapsible noprint autocollapse" style=""> <tbody><tr><th class="navbox-title" colspan="2" style=""><div style="float:left; width:6em; text-align:left"><div class="noprint plainlinks nowrap tnavbar" style="padding:0; font-size:xx-small; color:var(--color-emphasized, #000000);"><a href="/wiki/Mod%C3%A8le:Palette_Th%C3%A9orie_de_la_connaissance" title="Modèle:Palette Théorie de la connaissance"><abbr class="abbr" title="Voir ce modèle.">v</abbr></a> · <a class="external text" href="https://fr.wikipedia.org/w/index.php?title=Mod%C3%A8le:Palette_Th%C3%A9orie_de_la_connaissance&action=edit"><abbr class="abbr" title="Modifier ce modèle. Merci de prévisualiser avant de sauvegarder.">m</abbr></a></div></div><div style="font-size:110%"><a href="/wiki/Th%C3%A9orie_de_la_connaissance" title="Théorie de la connaissance">Théorie de la connaissance</a></div></th> </tr> <tr> <th class="navbox-group" style="">Concepts</th> <td class="navbox-list" style=""><div class="liste-horizontale"> <ul><li><a href="/wiki/A_priori_et_a_posteriori" title="A priori et a posteriori">A priori et a posteriori</a></li> <li><a href="/wiki/Concept_(philosophie)" title="Concept (philosophie)">Concept</a></li> <li><a href="/wiki/Connaissance" title="Connaissance">Connaissance</a></li> <li><a href="/wiki/Connaissance_situ%C3%A9e" title="Connaissance située">Connaissance située</a></li> <li><a href="/wiki/Corroboration_(philosophie)" title="Corroboration (philosophie)">Corroboration</a></li> <li><a href="/wiki/Croyance" title="Croyance">Croyance</a></li> <li><a href="/wiki/Doute" title="Doute">Doute</a></li> <li><a href="/wiki/%C3%89nonc%C3%A9_analytique" title="Énoncé analytique">Énoncé analytique</a></li> <li><a href="/wiki/%C3%89quit%C3%A9_des_connaissances" title="Équité des connaissances">Équité des connaissances</a></li> <li><a href="/wiki/Exp%C3%A9rience_(philosophie)" title="Expérience (philosophie)">Expérience (philosophie)</a></li> <li><a href="/wiki/Imagination" title="Imagination">Imagination</a></li> <li><a href="/wiki/Justification_(philosophie)" title="Justification (philosophie)">Justification</a></li> <li><a href="/wiki/Jugement_(philosophie)" title="Jugement (philosophie)">Jugement</a></li> <li><a href="/wiki/Jugement_synth%C3%A9tique_a_priori" title="Jugement synthétique a priori">Jugement synthétique a priori</a></li> <li><a href="/wiki/Justice_cognitive" title="Justice cognitive">Justice cognitive</a></li> <li><a href="/wiki/M%C3%A9moire_(sciences_humaines)" title="Mémoire (sciences humaines)">Mémoire</a></li> <li><a href="/wiki/Objectivit%C3%A9" title="Objectivité">Objectivité</a> et <a href="/wiki/Subjectivit%C3%A9" title="Subjectivité">subjectivité</a></li> <li><a href="/wiki/Perception" class="mw-redirect" title="Perception">Perception</a></li> <li><a href="/wiki/Preuve_empirique" title="Preuve empirique">Preuve empirique</a></li> <li><a href="/wiki/Raison" title="Raison">Raison</a></li> <li><a href="/wiki/Savoir" title="Savoir">Savoir</a></li> <li><a href="/wiki/Science" title="Science">Science</a></li> <li><a href="/wiki/V%C3%A9rit%C3%A9" title="Vérité">Vérité</a></li> <li><i><a href="/wiki/Cat%C3%A9gorie:Concept_%C3%A9pist%C3%A9mologique" title="Catégorie:Concept épistémologique">Plus</a></i></li></ul> </div></td> </tr> <tr> <th class="navbox-group" style="">Principales doctrines</th> <td class="navbox-list navbox-even" style=""><div class="liste-horizontale"> <ul><li><a href="/wiki/Scepticisme_(philosophie)" title="Scepticisme (philosophie)">Scepticisme</a></li> <li><a href="/wiki/Empirisme" title="Empirisme">Empirisme</a></li> <li><a href="/wiki/Rationalisme" title="Rationalisme">Rationalisme</a></li> <li><a href="/wiki/Id%C3%A9alisme_(philosophie)" title="Idéalisme (philosophie)">Idéalisme</a></li> <li><a href="/wiki/Inn%C3%A9isme" title="Innéisme">Innéisme</a></li> <li><a href="/wiki/Th%C3%A9orie_de_la_v%C3%A9rit%C3%A9-correspondance" title="Théorie de la vérité-correspondance">Correspondantisme</a></li> <li><a href="/wiki/Coh%C3%A9rentisme" title="Cohérentisme">Cohérentisme</a></li> <li><a href="/wiki/Fondationnalisme" title="Fondationnalisme">Fondationnalisme</a></li></ul> </div></td> </tr> <tr> <th class="navbox-group" style="">Principaux philosophes</th> <td class="navbox-list" style=""><div class="liste-horizontale"> <ul><li><a href="/wiki/Platon" title="Platon">Platon</a></li> <li><a href="/wiki/Aristote" title="Aristote">Aristote</a></li> <li><a href="/wiki/Pyrrhon_d%27%C3%89lis" title="Pyrrhon d'Élis">Pyrrhon d'Élis</a></li> <li><a href="/wiki/Thomas_d%27Aquin" title="Thomas d'Aquin">Thomas d'Aquin</a></li> <li><a href="/wiki/Descartes" class="mw-redirect" title="Descartes">Descartes</a></li> <li><a href="/wiki/Spinoza" class="mw-redirect" title="Spinoza">Spinoza</a></li> <li><a href="/wiki/Leibniz" class="mw-redirect" title="Leibniz">Leibniz</a></li> <li><a href="/wiki/John_Locke" title="John Locke">John Locke</a></li> <li><a href="/wiki/George_Berkeley" title="George Berkeley">George Berkeley</a></li> <li><a href="/wiki/David_Hume" title="David Hume">David Hume</a></li> <li><a href="/wiki/Kant" class="mw-redirect" title="Kant">Kant</a></li> <li><a href="/wiki/Auguste_Comte" title="Auguste Comte">Auguste Comte</a></li> <li><a href="/wiki/Bertrand_Russell" title="Bertrand Russell">Bertrand Russell</a></li> <li><a href="/wiki/Wittgenstein" class="mw-redirect" title="Wittgenstein">Wittgenstein</a></li> <li><a href="/wiki/Karl_Popper" title="Karl Popper">Karl Popper</a></li> <li><a href="/wiki/Willard_Van_Orman_Quine" title="Willard Van Orman Quine">Quine</a></li></ul> </div></td> </tr> <tr> <th class="navbox-group" style="">Champs connexes</th> <td class="navbox-list navbox-even" style=""><div class="liste-horizontale"> <ul><li><a class="mw-selflink selflink">Logique</a></li> <li><a href="/wiki/Philosophie_des_sciences" title="Philosophie des sciences">Philosophie des sciences</a></li> <li><a href="/wiki/M%C3%A9taphysique" title="Métaphysique">Métaphysique</a></li> <li><a href="/wiki/Philosophie_de_la_perception" title="Philosophie de la perception">Philosophie de la perception</a></li> <li><a href="/wiki/Philosophie_du_langage" title="Philosophie du langage">Philosophie du langage</a></li> <li><a href="/wiki/Sciences_cognitives" title="Sciences cognitives">Sciences cognitives</a></li> <li><a href="/wiki/Sociologie_de_la_connaissance" title="Sociologie de la connaissance">Sociologie de la connaissance</a></li></ul> </div></td> </tr> </tbody></table> <table class="navbox collapsible noprint autocollapse" style=""> <tbody><tr><th class="navbox-title" colspan="2" style=""><div style="float:left; width:6em; text-align:left"><div class="noprint plainlinks nowrap tnavbar" style="padding:0; font-size:xx-small; color:var(--color-emphasized, #000000);"><a href="/wiki/Mod%C3%A8le:Palette_Philosophie" title="Modèle:Palette Philosophie"><abbr class="abbr" title="Voir ce modèle.">v</abbr></a> · <a class="external text" href="https://fr.wikipedia.org/w/index.php?title=Mod%C3%A8le:Palette_Philosophie&action=edit"><abbr class="abbr" title="Modifier ce modèle. Merci de prévisualiser avant de sauvegarder.">m</abbr></a></div></div><div style="font-size:110%"><a href="/wiki/Philosophie" title="Philosophie">Philosophie</a></div></th> </tr> <tr> <td class="navbox-banner" style="" colspan="2"><div class="liste-horizontale"> <ul><li><a href="/wiki/Philosophie_occidentale" title="Philosophie occidentale">Philosophie occidentale</a></li> <li><a href="/wiki/Philosophie_orientale" title="Philosophie orientale">Philosophie orientale</a></li></ul> </div></td> </tr> <tr> <th class="navbox-group" style="width:70px;"><a href="/wiki/Histoire_de_la_philosophie" class="mw-redirect" title="Histoire de la philosophie">Histoire</a></th> <td class="navbox-list" style=""><table class="navbox-subgroup" style=""> <tbody><tr> <th class="navbox-group" style="width:120px"><a href="/wiki/Philosophie_antique" title="Philosophie antique">Antique</a></th> <td class="navbox-list" style="text-align:left;;"><div class="liste-horizontale"> <ul><li><a href="/wiki/Philosophie_indienne" title="Philosophie indienne">Indienne</a></li> <li><a href="/wiki/Philosophie_chinoise" title="Philosophie chinoise">Chinoise</a></li> <li><a href="/wiki/Philosophie_grecque" class="mw-redirect" title="Philosophie grecque">Grecque</a> <ul><li><a href="/wiki/Platonisme" title="Platonisme">Platonisme</a></li> <li><a href="/wiki/Aristot%C3%A9lisme" title="Aristotélisme">Aristotélisme</a></li> <li><a href="/wiki/Cynisme" title="Cynisme">Cynisme</a></li> <li><a href="/wiki/%C3%89picurisme" title="Épicurisme">Épicurisme</a></li> <li><a href="/wiki/Sto%C3%AFcisme" title="Stoïcisme">Stoïcisme</a></li></ul></li> <li><a href="/wiki/Philosophie_juive" title="Philosophie juive">Juive</a></li> <li><a href="/wiki/Philosophie_africaine" title="Philosophie africaine">Africaine</a></li></ul> </div></td> </tr> <tr> <th class="navbox-group" style="width:120px"><a href="/wiki/Philosophie_m%C3%A9di%C3%A9vale" title="Philosophie médiévale">Médiévale</a></th> <td class="navbox-list navbox-even" style="text-align:left;;"><div class="liste-horizontale"> <ul><li><a href="/wiki/Philosophie_chr%C3%A9tienne" title="Philosophie chrétienne">Chrétienne</a> <ul><li><a href="/wiki/Scolastique" title="Scolastique">Scolastique</a></li></ul></li> <li><a href="/wiki/Philosophie_islamique" title="Philosophie islamique">Islamique</a></li> <li><a href="/wiki/Philosophie_japonaise" title="Philosophie japonaise">Japonaise</a></li> <li><a href="/wiki/Philosophie_vietnamienne" title="Philosophie vietnamienne">Vietnamienne</a></li></ul> </div></td> </tr> <tr> <th class="navbox-group" style="width:120px"><a href="/wiki/Philosophie_moderne" title="Philosophie moderne">Moderne</a></th> <td class="navbox-list" style="text-align:left;;"><div class="liste-horizontale"> <ul><li><a href="/wiki/Empirisme" title="Empirisme">Empirisme</a></li> <li><a href="/wiki/Rationalisme" title="Rationalisme">Rationalisme</a></li> <li><a href="/wiki/Id%C3%A9alisme_(philosophie)" title="Idéalisme (philosophie)">Idéalisme</a></li> <li><a href="/wiki/Criticisme" title="Criticisme">Criticisme</a></li></ul> </div></td> </tr> <tr> <th class="navbox-group" style="width:120px"><a href="/wiki/Philosophie_contemporaine" title="Philosophie contemporaine">Contemporaine</a></th> <td class="navbox-list navbox-even" style="text-align:left;;"><div class="liste-horizontale"> <ul><li><a href="/wiki/Philosophie_analytique" title="Philosophie analytique">Analytique</a></li> <li><a href="/wiki/Philosophie_continentale" title="Philosophie continentale">Continentale</a> <ul><li><a href="/wiki/Ph%C3%A9nom%C3%A9nologie_(philosophie)" title="Phénoménologie (philosophie)">Phénoménologie</a></li> <li><a href="/wiki/Existentialisme" title="Existentialisme">Existentialisme</a></li></ul></li></ul> </div></td> </tr> </tbody></table></td> </tr> <tr> <th class="navbox-group" style="width:70px;">Principales branches</th> <td class="navbox-list navbox-even" style=""><div class="liste-horizontale"> <ul><li><a href="/wiki/Philosophie_de_l%27action" title="Philosophie de l'action">Action</a></li> <li><a class="mw-selflink selflink">Logique</a></li> <li><a href="/wiki/%C3%89thique" title="Éthique">Éthique et Morale</a></li> <li><a href="/wiki/Esth%C3%A9tique" title="Esthétique">Esthétique</a></li> <li><a href="/wiki/Philosophie_de_la_connaissance" class="mw-redirect" title="Philosophie de la connaissance">Connaissance</a> <ul><li><a href="/wiki/Philosophie_des_sciences" title="Philosophie des sciences">Sciences</a></li> <li><a href="/wiki/%C3%89pist%C3%A9mologie" title="Épistémologie">Épistémologie</a></li></ul></li> <li><a href="/wiki/M%C3%A9taphysique" title="Métaphysique">Métaphysique</a></li> <li><a href="/wiki/Philosophie_politique" title="Philosophie politique">Politique</a> <ul><li><a href="/wiki/Philosophie_du_droit" title="Philosophie du droit">Droit</a></li> <li><a href="/wiki/Philosophie_de_l%27%C3%A9ducation" title="Philosophie de l'éducation">Éducation</a></li></ul></li> <li><a href="/wiki/Philosophie_de_la_religion" title="Philosophie de la religion">Religion</a></li></ul> </div></td> </tr> <tr> <th class="navbox-group" style="width:70px;">Principales doctrines philosophiques</th> <td class="navbox-list navbox-even" style=""><table class="navbox-subgroup" style=""> <tbody><tr> <th class="navbox-group" style="width:120px"><a href="/wiki/%C3%89thique" title="Éthique">Éthique</a></th> <td class="navbox-list" style="text-align:left;;"><div class="liste-horizontale"> <ul><li><a href="/wiki/%C3%89thique_d%C3%A9ontologique" title="Éthique déontologique">Éthique déontologique</a></li> <li><a href="/wiki/Utilitarisme" title="Utilitarisme">Utilitarisme</a></li> <li><a href="/wiki/%C3%89thique_de_la_vertu" title="Éthique de la vertu">Éthique des vertus</a></li> <li><a href="/wiki/Nihilisme" title="Nihilisme">Nihilisme</a></li> <li><a href="/wiki/Humanisme" title="Humanisme">Humanisme</a></li> <li><a href="/wiki/Transhumanisme" title="Transhumanisme">Transhumanisme</a></li> <li><a href="/wiki/Absolutisme_moral" title="Absolutisme moral">Absolutisme moral</a></li> <li><a href="/wiki/R%C3%A9alisme_moral" title="Réalisme moral">Réalisme moral</a></li> <li><a href="/wiki/Universalisme_moral" title="Universalisme moral">Universalisme moral</a></li></ul> </div></td> </tr> <tr> <th class="navbox-group" style="width:120px"><a href="/wiki/Philosophie_de_la_connaissance" class="mw-redirect" title="Philosophie de la connaissance">Connaissance</a></th> <td class="navbox-list" style="text-align:left;;"><div class="liste-horizontale"> <ul><li><a href="/wiki/Empirisme" title="Empirisme">Empirisme</a></li> <li><a href="/wiki/Rationalisme" title="Rationalisme">Rationalisme</a></li> <li><a href="/wiki/Scepticisme_(philosophie)" title="Scepticisme (philosophie)">Scepticisme</a></li> <li><a href="/wiki/Positivisme" title="Positivisme">Positivisme</a></li> <li><a href="/wiki/Relativisme" title="Relativisme">Relativisme</a></li></ul> </div></td> </tr> <tr> <th class="navbox-group" style="width:120px"><a href="/wiki/M%C3%A9taphysique" title="Métaphysique">Métaphysique</a></th> <td class="navbox-list navbox-even" style="text-align:left;;"><div class="liste-horizontale"> <ul><li><a href="/wiki/Ath%C3%A9isme" title="Athéisme">Athéisme</a></li> <li><a href="/wiki/Atomisme" title="Atomisme">Atomisme</a></li> <li><a href="/wiki/Conceptualisme" title="Conceptualisme">Conceptualisme</a></li> <li><a href="/wiki/D%C3%A9isme" title="Déisme">Déisme</a></li> <li><a href="/wiki/D%C3%A9terminisme" title="Déterminisme">Déterminisme</a></li> <li><a href="/wiki/Dualisme_(philosophie)" title="Dualisme (philosophie)">Dualisme</a></li> <li><a href="/wiki/%C3%89manatisme" title="Émanatisme">Émanatisme</a></li> <li><a href="/wiki/Immat%C3%A9rialisme" title="Immatérialisme">Immatérialisme</a></li> <li><a href="/wiki/Id%C3%A9alisme_(philosophie)" title="Idéalisme (philosophie)">Idéalisme</a></li> <li><a href="/wiki/Mat%C3%A9rialisme" title="Matérialisme">Matérialisme</a></li> <li><a href="/wiki/Naturalisme_(philosophie)" title="Naturalisme (philosophie)">Naturalisme</a></li> <li><a href="/wiki/Nominalisme" title="Nominalisme">Nominalisme</a></li> <li><a href="/wiki/R%C3%A9alisme_(philosophie)" title="Réalisme (philosophie)">Réalisme</a></li> <li><a href="/wiki/Spiritualisme_(philosophie)" title="Spiritualisme (philosophie)">Spiritualisme</a></li></ul> </div></td> </tr> </tbody></table></td> </tr> </tbody></table> </div> <ul id="bandeau-portail" class="bandeau-portail"><li><span class="bandeau-portail-element"><span class="bandeau-portail-icone"><span class="noviewer" typeof="mw:File"><a href="/wiki/Portail:Philosophie" title="Portail de la philosophie"><img alt="icône décorative" src="//upload.wikimedia.org/wikipedia/commons/thumb/6/63/Auguste_Rodin_-_Penseur_50px.png/17px-Auguste_Rodin_-_Penseur_50px.png" decoding="async" width="17" height="24" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/6/63/Auguste_Rodin_-_Penseur_50px.png/26px-Auguste_Rodin_-_Penseur_50px.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/6/63/Auguste_Rodin_-_Penseur_50px.png/34px-Auguste_Rodin_-_Penseur_50px.png 2x" data-file-width="50" data-file-height="70" /></a></span></span> <span class="bandeau-portail-texte"><a href="/wiki/Portail:Philosophie" title="Portail:Philosophie">Portail de la philosophie</a></span> </span></li> <li><span class="bandeau-portail-element"><span class="bandeau-portail-icone"><span class="noviewer skin-invert-image" typeof="mw:File"><a href="/wiki/Portail:Math%C3%A9matiques" title="Portail des mathématiques"><img alt="icône décorative" src="//upload.wikimedia.org/wikipedia/commons/thumb/1/1f/Racine_carr%C3%A9e_bleue.svg/24px-Racine_carr%C3%A9e_bleue.svg.png" decoding="async" width="24" height="24" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/1/1f/Racine_carr%C3%A9e_bleue.svg/36px-Racine_carr%C3%A9e_bleue.svg.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/1/1f/Racine_carr%C3%A9e_bleue.svg/48px-Racine_carr%C3%A9e_bleue.svg.png 2x" data-file-width="128" data-file-height="128" /></a></span></span> <span class="bandeau-portail-texte"><a href="/wiki/Portail:Math%C3%A9matiques" title="Portail:Mathématiques">Portail des mathématiques</a></span> </span></li> <li><span class="bandeau-portail-element"><span class="bandeau-portail-icone"><span class="noviewer" typeof="mw:File"><a href="/wiki/Portail:Linguistique" title="Portail de la linguistique"><img alt="icône décorative" src="//upload.wikimedia.org/wikipedia/commons/thumb/4/4b/Logo_language.svg/24px-Logo_language.svg.png" decoding="async" width="24" height="24" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/4/4b/Logo_language.svg/36px-Logo_language.svg.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/4/4b/Logo_language.svg/48px-Logo_language.svg.png 2x" data-file-width="512" data-file-height="512" /></a></span></span> <span class="bandeau-portail-texte"><a href="/wiki/Portail:Linguistique" title="Portail:Linguistique">Portail de la linguistique</a></span> </span></li> <li><span class="bandeau-portail-element"><span class="bandeau-portail-icone"><span class="noviewer" typeof="mw:File"><a href="/wiki/Portail:Informatique" title="Portail de l’informatique"><img alt="icône décorative" src="//upload.wikimedia.org/wikipedia/commons/thumb/0/02/Circle-icons-computer.svg/24px-Circle-icons-computer.svg.png" decoding="async" width="24" height="24" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/0/02/Circle-icons-computer.svg/36px-Circle-icons-computer.svg.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/0/02/Circle-icons-computer.svg/48px-Circle-icons-computer.svg.png 2x" data-file-width="512" data-file-height="512" /></a></span></span> <span class="bandeau-portail-texte"><a href="/wiki/Portail:Informatique" title="Portail:Informatique">Portail de l’informatique</a></span> </span></li> <li><span class="bandeau-portail-element"><span class="bandeau-portail-icone"><span class="noviewer skin-invert-image" typeof="mw:File"><a href="/wiki/Portail:Informatique_th%C3%A9orique" title="Portail de l'informatique théorique"><img alt="icône décorative" src="//upload.wikimedia.org/wikipedia/commons/thumb/c/cf/Max-cut.svg/30px-Max-cut.svg.png" decoding="async" width="30" height="24" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/c/cf/Max-cut.svg/45px-Max-cut.svg.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/c/cf/Max-cut.svg/60px-Max-cut.svg.png 2x" data-file-width="200" data-file-height="160" /></a></span></span> <span class="bandeau-portail-texte"><a href="/wiki/Portail:Informatique_th%C3%A9orique" title="Portail:Informatique théorique">Portail de l'informatique théorique</a></span> </span></li> <li><span class="bandeau-portail-element"><span class="bandeau-portail-icone"><span class="noviewer skin-invert-image" typeof="mw:File"><a href="/wiki/Portail:Logique" title="Portail de la logique"><img alt="icône décorative" src="//upload.wikimedia.org/wikipedia/commons/thumb/e/e7/Logic.svg/48px-Logic.svg.png" decoding="async" width="48" height="16" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/e/e7/Logic.svg/72px-Logic.svg.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/e/e7/Logic.svg/96px-Logic.svg.png 2x" data-file-width="85" data-file-height="28" /></a></span></span> <span class="bandeau-portail-texte"><a href="/wiki/Portail:Logique" title="Portail:Logique">Portail de la logique</a></span> </span></li> <li><span class="bandeau-portail-element"><span class="bandeau-portail-icone"><span class="noviewer" typeof="mw:File"><a href="/wiki/Portail:Sciences" title="Portail des sciences"><img alt="icône décorative" src="//upload.wikimedia.org/wikipedia/commons/thumb/d/d2/Circle-icons-genius.svg/24px-Circle-icons-genius.svg.png" decoding="async" width="24" height="24" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/d/d2/Circle-icons-genius.svg/36px-Circle-icons-genius.svg.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/d/d2/Circle-icons-genius.svg/48px-Circle-icons-genius.svg.png 2x" data-file-width="512" data-file-height="512" /></a></span></span> <span class="bandeau-portail-texte"><a href="/wiki/Portail:Sciences" title="Portail:Sciences">Portail des sciences</a></span> </span></li> </ul>    </div><noscript><img src="https://login.wikimedia.org/wiki/Special:CentralAutoLogin/start?type=1x1" alt="" width="1" height="1" style="border: none; position: absolute;"></noscript> <div class="printfooter" data-nosnippet="">Ce document provient de « <a dir="ltr" href="https://fr.wikipedia.org/w/index.php?title=Logique&oldid=217792684">https://fr.wikipedia.org/w/index.php?title=Logique&oldid=217792684</a> ».</div></div> <div id="catlinks" class="catlinks" data-mw="interface"><div id="mw-normal-catlinks" class="mw-normal-catlinks"><a href="/wiki/Cat%C3%A9gorie:Accueil" title="Catégorie:Accueil">Catégories</a> : <ul><li><a href="/wiki/Cat%C3%A9gorie:Sciences_cognitives" title="Catégorie:Sciences cognitives">Sciences cognitives</a></li><li><a href="/wiki/Cat%C3%A9gorie:Logique" title="Catégorie:Logique">Logique</a></li><li><a href="/wiki/Cat%C3%A9gorie:Rh%C3%A9torique" title="Catégorie:Rhétorique">Rhétorique</a></li></ul></div><div id="mw-hidden-catlinks" class="mw-hidden-catlinks mw-hidden-cats-hidden">Catégories cachées : <ul><li><a href="/wiki/Cat%C3%A9gorie:Article_avec_source_%C3%A0_lier" title="Catégorie:Article avec source à lier">Article avec source à lier</a></li><li><a href="/wiki/Cat%C3%A9gorie:Article_contenant_un_appel_%C3%A0_traduction_en_allemand" title="Catégorie:Article contenant un appel à traduction en allemand">Article contenant un appel à traduction en allemand</a></li><li><a href="/wiki/Cat%C3%A9gorie:Article_%C3%A0_r%C3%A9f%C3%A9rence_n%C3%A9cessaire" title="Catégorie:Article à référence nécessaire">Article à référence nécessaire</a></li><li><a href="/wiki/Cat%C3%A9gorie:Article_contenant_un_appel_%C3%A0_traduction_en_anglais" title="Catégorie:Article contenant un appel à traduction en anglais">Article contenant un appel à traduction en anglais</a></li><li><a href="/wiki/Cat%C3%A9gorie:Page_avec_un_oldid_invalide" title="Catégorie:Page avec un oldid invalide">Page avec un oldid invalide</a></li><li><a href="/wiki/Cat%C3%A9gorie:Article_de_Wikip%C3%A9dia_avec_notice_d%27autorit%C3%A9" title="Catégorie:Article de Wikipédia avec notice d'autorité">Article de Wikipédia avec notice d'autorité</a></li><li><a href="/wiki/Cat%C3%A9gorie:Page_utilisant_P1417" title="Catégorie:Page utilisant P1417">Page utilisant P1417</a></li><li><a href="/wiki/Cat%C3%A9gorie:Page_utilisant_P8313" title="Catégorie:Page utilisant P8313">Page utilisant P8313</a></li><li><a href="/wiki/Cat%C3%A9gorie:Page_utilisant_P1296" title="Catégorie:Page utilisant P1296">Page utilisant P1296</a></li><li><a href="/wiki/Cat%C3%A9gorie:Page_utilisant_P7305" title="Catégorie:Page utilisant P7305">Page utilisant P7305</a></li><li><a href="/wiki/Cat%C3%A9gorie:Page_utilisant_P6058" title="Catégorie:Page utilisant P6058">Page utilisant P6058</a></li><li><a href="/wiki/Cat%C3%A9gorie:Page_utilisant_P4342" title="Catégorie:Page utilisant P4342">Page utilisant P4342</a></li><li><a href="/wiki/Cat%C3%A9gorie:Page_utilisant_P3365" title="Catégorie:Page utilisant P3365">Page utilisant P3365</a></li><li><a href="/wiki/Cat%C3%A9gorie:Page_utilisant_P3219" title="Catégorie:Page utilisant P3219">Page utilisant P3219</a></li><li><a href="/wiki/Cat%C3%A9gorie:Page_pointant_vers_des_bases_externes" title="Catégorie:Page pointant vers des bases externes">Page pointant vers des bases externes</a></li><li><a href="/wiki/Cat%C3%A9gorie:Page_pointant_vers_des_dictionnaires_ou_encyclop%C3%A9dies_g%C3%A9n%C3%A9ralistes" title="Catégorie:Page pointant vers des dictionnaires ou encyclopédies généralistes">Page pointant vers des dictionnaires ou encyclopédies généralistes</a></li><li><a href="/wiki/Cat%C3%A9gorie:Page_utilisant_P3123" title="Catégorie:Page utilisant P3123">Page utilisant P3123</a></li><li><a href="/wiki/Cat%C3%A9gorie:Page_pointant_vers_des_bases_relatives_%C3%A0_la_recherche" title="Catégorie:Page pointant vers des bases relatives à la recherche">Page pointant vers des bases relatives à la recherche</a></li><li><a href="/wiki/Cat%C3%A9gorie:Page_utilisant_P486" title="Catégorie:Page utilisant P486">Page utilisant P486</a></li><li><a href="/wiki/Cat%C3%A9gorie:Page_pointant_vers_des_bases_relatives_%C3%A0_la_sant%C3%A9" title="Catégorie:Page pointant vers des bases relatives à la santé">Page pointant vers des bases relatives à la santé</a></li><li><a href="/wiki/Cat%C3%A9gorie:Portail:Philosophie/Articles_li%C3%A9s" title="Catégorie:Portail:Philosophie/Articles liés">Portail:Philosophie/Articles liés</a></li><li><a href="/wiki/Cat%C3%A9gorie:Portail:Soci%C3%A9t%C3%A9/Articles_li%C3%A9s" title="Catégorie:Portail:Société/Articles liés">Portail:Société/Articles liés</a></li><li><a href="/wiki/Cat%C3%A9gorie:Portail:Sciences_humaines_et_sociales/Articles_li%C3%A9s" title="Catégorie:Portail:Sciences humaines et sociales/Articles liés">Portail:Sciences humaines et sociales/Articles liés</a></li><li><a href="/wiki/Cat%C3%A9gorie:Portail:Math%C3%A9matiques/Articles_li%C3%A9s" title="Catégorie:Portail:Mathématiques/Articles liés">Portail:Mathématiques/Articles liés</a></li><li><a href="/wiki/Cat%C3%A9gorie:Portail:Sciences/Articles_li%C3%A9s" title="Catégorie:Portail:Sciences/Articles liés">Portail:Sciences/Articles liés</a></li><li><a href="/wiki/Cat%C3%A9gorie:Projet:Math%C3%A9matiques/Articles" title="Catégorie:Projet:Mathématiques/Articles">Projet:Mathématiques/Articles</a></li><li><a href="/wiki/Cat%C3%A9gorie:Portail:Linguistique/Articles_li%C3%A9s" title="Catégorie:Portail:Linguistique/Articles liés">Portail:Linguistique/Articles liés</a></li><li><a href="/wiki/Cat%C3%A9gorie:Portail:Langues/Articles_li%C3%A9s" title="Catégorie:Portail:Langues/Articles liés">Portail:Langues/Articles liés</a></li><li><a href="/wiki/Cat%C3%A9gorie:Portail:Informatique/Articles_li%C3%A9s" title="Catégorie:Portail:Informatique/Articles liés">Portail:Informatique/Articles liés</a></li><li><a href="/wiki/Cat%C3%A9gorie:Portail:Technologies/Articles_li%C3%A9s" title="Catégorie:Portail:Technologies/Articles liés">Portail:Technologies/Articles liés</a></li><li><a href="/wiki/Cat%C3%A9gorie:Portail:Informatique_th%C3%A9orique/Articles_li%C3%A9s" title="Catégorie:Portail:Informatique théorique/Articles liés">Portail:Informatique théorique/Articles liés</a></li><li><a href="/wiki/Cat%C3%A9gorie:Portail:Logique/Articles_li%C3%A9s" title="Catégorie:Portail:Logique/Articles liés">Portail:Logique/Articles liés</a></li><li><a href="/wiki/Cat%C3%A9gorie:Article_de_qualit%C3%A9_en_anglais" title="Catégorie:Article de qualité en anglais">Article de qualité en anglais</a></li><li><a href="/wiki/Cat%C3%A9gorie:Bon_article_en_allemand" title="Catégorie:Bon article en allemand">Bon article en allemand</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"> La dernière modification de cette page a été faite le 18 août 2024 à 23:03.</li> <li id="footer-info-copyright"><span style="white-space: normal"><a href="/wiki/Wikip%C3%A9dia:Citation_et_r%C3%A9utilisation_du_contenu_de_Wikip%C3%A9dia" title="Wikipédia:Citation et réutilisation du contenu de Wikipédia">Droit d'auteur</a> : les textes sont disponibles sous <a rel="nofollow" class="external text" href="https://creativecommons.org/licenses/by-sa/4.0/deed.fr">licence Creative Commons attribution, partage dans les mêmes conditions</a> ; d’autres conditions peuvent s’appliquer. Voyez les <a class="external text" href="https://foundation.wikimedia.org/wiki/Policy:Terms_of_Use/fr">conditions d’utilisation</a> pour plus de détails, ainsi que les <a href="/wiki/Wikip%C3%A9dia:Cr%C3%A9dits_graphiques" title="Wikipédia:Crédits graphiques">crédits graphiques</a>. En cas de réutilisation des textes de cette page, voyez <a href="/wiki/Sp%C3%A9cial:Citer/Logique" title="Spécial:Citer/Logique">comment citer les auteurs et mentionner la licence</a>.<br /> Wikipedia® est une marque déposée de la <a rel="nofollow" class="external text" href="https://wikimediafoundation.org/">Wikimedia Foundation, Inc.</a>, organisation de bienfaisance régie par le paragraphe <a href="/wiki/501c" title="501c">501(c)(3)</a> du code fiscal des États-Unis.</span><br /></li> </ul> <ul id="footer-places"> <li id="footer-places-privacy"><a href="https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Privacy_policy/fr">Politique de confidentialité</a></li> <li id="footer-places-about"><a href="/wiki/Wikip%C3%A9dia:%C3%80_propos_de_Wikip%C3%A9dia">À propos de Wikipédia</a></li> <li id="footer-places-disclaimers"><a href="/wiki/Wikip%C3%A9dia:Avertissements_g%C3%A9n%C3%A9raux">Avertissements</a></li> <li id="footer-places-contact"><a href="//fr.wikipedia.org/wiki/Wikipédia:Contact">Contact</a></li> <li id="footer-places-wm-codeofconduct"><a href="https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Universal_Code_of_Conduct">Code de conduite</a></li> <li id="footer-places-developers"><a href="https://developer.wikimedia.org">Développeurs</a></li> <li id="footer-places-statslink"><a href="https://stats.wikimedia.org/#/fr.wikipedia.org">Statistiques</a></li> <li id="footer-places-cookiestatement"><a href="https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Cookie_statement">Déclaration sur les témoins (cookies)</a></li> <li id="footer-places-mobileview"><a href="//fr.m.wikipedia.org/w/index.php?title=Logique&mobileaction=toggle_view_mobile" class="noprint stopMobileRedirectToggle">Version mobile</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-f69cdc8f6-kgm48","wgBackendResponseTime":217,"wgPageParseReport":{"limitreport":{"cputime":"1.074","walltime":"1.360","ppvisitednodes":{"value":4912,"limit":1000000},"postexpandincludesize":{"value":160401,"limit":2097152},"templateargumentsize":{"value":33719,"limit":2097152},"expansiondepth":{"value":14,"limit":100},"expensivefunctioncount":{"value":4,"limit":500},"unstrip-depth":{"value":0,"limit":20},"unstrip-size":{"value":10310,"limit":5000000},"entityaccesscount":{"value":4,"limit":400},"timingprofile":["100.00% 1103.713 1 -total"," 50.38% 556.059 1 Modèle:Bases"," 4.91% 54.192 1 Modèle:Portail"," 4.84% 53.403 1 Modèle:Palette"," 4.62% 50.990 3 Modèle:Grec_ancien"," 4.53% 49.985 1 Modèle:Références"," 4.35% 47.984 6 Modèle:Langue"," 4.27% 47.086 1 Modèle:Autres_projets"," 3.46% 38.187 1 Modèle:Voir_homonymes"," 3.30% 36.378 1 Modèle:Méta_bandeau_de_note"]},"scribunto":{"limitreport-timeusage":{"value":"0.649","limit":"10.000"},"limitreport-memusage":{"value":7968172,"limit":52428800}},"cachereport":{"origin":"mw-web.codfw.main-f69cdc8f6-9bpbq","timestamp":"20241124150626","ttl":2592000,"transientcontent":false}}});});</script> <script type="application/ld+json">{"@context":"https:\/\/schema.org","@type":"Article","name":"Logique","url":"https:\/\/fr.wikipedia.org\/wiki\/Logique","sameAs":"http:\/\/www.wikidata.org\/entity\/Q8078","mainEntity":"http:\/\/www.wikidata.org\/entity\/Q8078","author":{"@type":"Organization","name":"Contributeurs aux projets Wikimedia"},"publisher":{"@type":"Organization","name":"Fondation Wikimedia, Inc.","logo":{"@type":"ImageObject","url":"https:\/\/www.wikimedia.org\/static\/images\/wmf-hor-googpub.png"}},"datePublished":"2003-02-18T15:10:47Z","dateModified":"2024-08-18T22:03:59Z","image":"https:\/\/upload.wikimedia.org\/wikipedia\/commons\/4\/44\/Gregor_Reisch%2C_Margarita_Philosophica%2C_Typus_Logice.jpg","headline":"\u00e9tude des principes et des crit\u00e8res de d\u00e9ductions et de d\u00e9monstrations valides"}</script> </body> </html>