Portail:Logique/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 931 articles concernant la logique, le projet « Logique » permet aux différents contributeurs de coordonner leurs efforts.