Portail:Logique

Une page de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher

Portail de la logique

BandeauPortailLogique.jpg


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 articles concernant la logique, il existe une page Projet Logique qui permet aux différents contributeurs de coordonner leurs efforts.

Histoire de la logique


L’histoire de la logique relève aussi bien de l’histoire des sciences qu'en partie du moins de l’histoire de la philosophie.

Pour une vision d´ensemble de l’évolution de la logique, voir l’article « histoire de la logique ».

Certains grands logiciens occidentaux sont entre autres :

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


Logique et philosophie


Les rapports entre philosophie et logique sont doubles :

La philosophie a pour tâche d´analyser et de définir les concepts de la logique. Les grandes questions de la philosophie de la logique sont les suivantes :

  • Qu´est-ce que la logique ? C´est sans doute la question la plus importante de la philosophie de la logique.
  • Quel est le statut de la vérité logique ? Faut-il soutenir un platonisme logique ou bien un nominalisme ?
  • Quel est le sens des concepts fondamentaux de la logique ?


D´autre part la philosophie a elle-même beaucoup profité du développement de la logique 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 :

Pour plus de détail sur les rapports entre philosophie et logique, voir le portail consacré à la philosophie analytique.

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.


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 :


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?

La logique linéaire inventée par le logicien Jean-Yves Girard en 1986, est un produit de la théorie de la démonstration moderne. Elle résulte d'une analyse du comportement des preuves des logiques classique et intuitionniste au travers de la procédure d'élimination des coupures introduite par Gentzen en 1936 pour prouver son Hauptsatz (un résultat fondamental en logique).

Pour participer

Pour participer au projet vous pouvez...

  • traduire un article manquant à partir d´un Wikipédia en langue étrangère ;
  • compléter ou corriger les articles existants, leur ajouter le modèle {{portail logique}} ;
  • rédiger vous-même un article inédit.

Les articles à compléter:

Leibniz • stoïciens • Frege • Philosophie de la logique • foncteur • argument • Organon • Alfred Tarski • Querelle des universaux • logique temporelle • logique défaisable • Dana S. Scott • démonstration •Logique traditionnelle

Les articles manquants :

Jean Louis Maxime Van Heijenoort, Arthur Prior

Vous pouvez aussi consulter la liste des demandes d'articles.

Image du mois

Gottfried Wilhelm von Leibniz


Aide

Voici une liste de quelques symboles logiques avec leur syntaxe Wiki. Cette liste doit vous permettre de travailler par vous-même aux articles du portail.

Pour plus de détails voir la page suivante.

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


Autres portails.

Avertissement