Portail:Logique
Un article de Wikipédia, l'encyclopédie libre.
Portail de la logique |
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. Nous voulons 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 de logique, il existe une page Projet:Logique qui permet aux différents contributeurs de coordonner leurs efforts.
Histoire de la logique
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
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 :
Pour plus de détail sur les rapports entre philosophie et logique, voir le portail consacré à la philosophie analytique. Logique mathématiqueLes 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
Logique et linguistiqueBien 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 comme par exemple :
|
Lumière sur...De science abstraite et réservée aux élucubrations en chambre, la logique est devenue une véritable science expérimentale avec l'arrivée des assistants de preuves. L'un des plus utilisés est Coq. Il a permis de démontrer formellement et de faire vérifier mécaniquement par un ordinateur une démonstration du célèbre théorème des quatre couleurs. En Coq ont été démontrés et vérifiés mécaniquement des résultats de logique, comme la correction de Coq lui-même, plus précisément, de l'algorithme qui vérifie que les démonstrations de Coq sont correctes. Si vous avez une nouvelle logique en tête et que vous voulez voir comment elle fonctionne, n'hésitez pas ! Testez-la en Coq ! En effet, Coq qui est fondé sur une logique constructive d'ordre supérieur pourra très probablement la « digérer ». Le saviez-vous?La notation λ utilisée par Church dans son lambda-calcul proviendrait des Principia Mathematica de Whitehead et Russell, où la liaison d'une variable était représentée par un accent circonflexe (par exemple lie la variable x). Dans son article, rédigé sur une machine à écrire, la notation ^x.t aurait été mal comprise par l'éditeur qui l'aurait retranscrite en λx.t. Pour participerPour participer au projet vous pouvez...
Les articles à compléter: Leibniz • stoïciens • Frege • Philosophie de la logique • foncteur • argument • Organon • Alfred Tarski • Querelle des universaux • logique temporelle. Les articles manquants : Pierre d´Espagne • Ernst Schröder • Harvey Friedman. Vous pouvez aussi consulter la liste des demandes d'articles. CatégoriesCatégories principales du PortailCatégories connexes
AideVoici 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.
|
|
|
|