Portail:Logique

Set theory icon.svg
Portail de la
Logique
BandeauPortailLogique.jpg

Présentation

La logique est l'étude des règles formelles permettant d'exprimer correctement une argumentation.

Ce portail a pour but de présenter la logique qui est un des domaines les plus importants de la recherche et de la connaissance. Son objectif est de mettre en avant les différents aspects de cette discipline dans une perspective pluridisciplinaire. La logique est en effet une composante essentielle aussi bien de l'informatique et de la linguistique que des mathématiques et de la philosophie (et tout particulièrement de la philosophie analytique).

Ce portail s'adresse donc aux mathématiciens, aux philosophes, aux passionnés d'intelligence artificielle et à tous ceux qui veulent approfondir leurs connaissances d'une discipline en plein bouleversement - ou bien les partager.

Si vous voulez vous-même participer aux 883 articles concernant la logique, le projet « Logique » permet aux différents contributeurs de coordonner leurs efforts.

Histoire de la logique

L'histoire de la logique est intimement liée à l'histoire des sciences ainsi qu'à l'histoire de la philosophie.

Certains grands logiciens occidentaux sont entre autres :

Certains des ouvrages classiques de l'histoire de la logique sont entre autres :

Symboles

Voici une liste des principaux symboles logiques. Ils permettent de formaliser les expressions, calculs et démonstrations.

Pour apprendre à les écrire dans Wikipédia, voir l'aide sur les formules TeX.

Symbole Signification
Négation de A
Implication. Si A alors B
Conjonction. A et B.
Disjonction (inclusive). A ou B.
Équivalence. A est équivalent B ; on dit aussi : A si et seulement si B.
Déduction. De l'ensemble de formules on déduit A.
Modélisation. M est un modèle de A ; on dit aussi A est vraie dans M.
Théorème. Notion syntaxique
Tautologie. Notion sémantique
Réalisabilité. M réalise A, on dit aussi que M « force » A.

Catégories

Catégories principales

  • Logique
  • Logicien
  • Logique mathématique

Catégories connexes

  • Disciplines associées :
    • Mathématiques
    • Philosophie
    • Informatique
    • Informatique théorique
  • Catégories spécifiques :
    • Formes du raisonnement biologique
    • Réduction de problème
    • Paradoxe
    • Paradoxe probabiliste
    • Raisonnement fallacieux
    • Raisonnement mathématique
    • Méthode formelle

Articles distingués

Concept :
  • Test du canard

Lumière sur

La thèse de Church est le principe de base de la calculabilité. Dans sa forme la plus ordinaire, elle affirme que tout traitement réalisable mécaniquement peut être accompli par un ordinateur (plus précisément dans sa forme idéalisée qu'est une machine de Turing).

Le saviez-vous ?

Le grand logicien Alfred Tarski avait une méthode très particulière de travailler. Il le faisait la nuit en fumant beaucoup et en buvant de la vodka, en général avec ses étudiants à qui il imposait son horaire et ses méthodes. Cela ne les empêchait pas de lui vouer une grande admiration et de l'appeler « papa Tarski ». Malgré ce régime il vécut et fut scientifiquement actif jusqu'à 81 ans.

Image du jour

Roger Penrose-6Nov2005.jpg
(c) Festival della Scienza, CC BY-SA 2.0

Le mathématicien et physicien britannique Roger Penrose en 2005.

Logique et disciplines associées

Logique et philosophie

Les rapports entre philosophie et logique sont à double sens :

La philosophie a pour tâche d'analyser et de définir les concepts de la logique : c'est la philosophie de la logique. Ses grandes questions sont les suivantes :

D'autre part la philosophie a elle-même beaucoup profité des travaux sur la logique, qui a permis le développement d'une logique philosophique de type mathématique. Cette dernière a permis un renouvellement des questions traditionnelles et a contribué à une amélioration de la rigueur argumentative en philosophie. Les différents domaines de la philosophie qui ont profité de l'apport de la logique mathématique sont :

Les rapports entre philosophie et logique sont notamment à la base de la philosophie analytique (voir le portail consacré).

Logique mathématique

Les différentes formes de calcul en logique mathématique sont les suivantes :

Les méthodes développées par la logique pour déterminer si une inférence est valable sont traitées dans les articles suivants :

Logique et informatique

Les liens entre logique et informatique se manifestent sous plusieurs points de vue.

  • Au sujet de la vérification et de la certification des systèmes informatiques. Voir les articles :

Logique et linguistique

Bien que la linguistique et la logique ne traitent pas du même objet (respectivement le langage naturel et le langage artificiel), ces deux disciplines traitent souvent des mêmes problèmes, par exemple :

Médias utilisés sur cette page

HSIdea.svg
Auteur/Créateur: , Licence: CC BY-SA 2.5
An icon representing light bulb switched on. Derivative work of Dialog-information.svg.
Nuvola apps edu mathematics blue-p.svg
Auteur/Créateur: David Vignoni (original icon); Flamurai (SVG convertion); bayo (color), Licence: GPL
Square root of x formula. Symbol of mathematics.
Max-cut.svg
Auteur/Créateur: Miym, Licence: CC BY-SA 3.0
Maximum cut
Orange-bg rounded.svg
Une ligne présentant un dégradé du orange vers le transparent
HSHome.svg
Auteur/Créateur: Mjbmr, Licence: CC BY-SA 3.0
HS Emblem-question.png
Auteur/Créateur: Archimëa, Licence: CC BY-SA 3.0
HS Emblem-question - File:HSCirkel.svg & File:Emblem-question.svg
Orange-bg rounded stretched.svg
Une ligne présentant un dégradé du orange vers le transparent
HSstudent.svg
Auteur/Créateur: Adrien Facélina, Licence: LGPL
Chapeau de diplômé dans un cercle pour Wikiversité
Nuvolish-translation.svg
Auteur/Créateur: User:Honsvu; Speech bubles copied from File:Nuvola_apps_comic_strip.svg by User:Eagleal, otherwise own work., Licence: CC BY-SA 3.0
Icon depicting translation with question mark and a Chinese character in speech bubles. The Chinese character means (I think(!)) 'language' or 'speech'. Attempting to be in Nuvola style.
Nuvola apps mycomputer.svg
Auteur/Créateur: David Vignoni, Licence: LGPL
from the Nuvola icon set for KDE 3.x
HSAktuell.svg
Auteur/Créateur: , Licence: LGPL
Newspaper SVG
Set theory icon.svg
Auteur/Créateur: David Vignoni, User:Flamurai, User:bayo and User:Stannered, Licence: GPL
An icon representing set theory
Roger Penrose-6Nov2005.jpg
(c) Festival della Scienza, CC BY-SA 2.0
The British physicist Roger Penrose at a conference named "The Street towards Reality". This event was part of the 2005 Festival della Scienza, held annually in Genoa, Italy.
HS Illustration.svg
Auteur/Créateur: Archimëa, Licence: CC BY-SA 4.0
HS illustration
HS geo search.svg
Auteur/Créateur: Helgi, Licence: CC BY-SA 3.0
HS geo search icon
BandeauPortailLogique.jpg
Auteur/Créateur: jmtrivial, Licence: FAL
Bandeau pour le portail logique.
HSUtvald.svg
Auteur/Créateur: , Licence: LGPL
An icon from icon theme Crystal Clear (svg version).