Projet:Logique
Le thème de Projet:Logique a attiré l'attention et la curiosité de nombreuses personnes au fil des ans. C'est un sujet qui a suscité des débats, des discussions et des réflexions dans diverses sphères de la société. Du domaine académique au domaine populaire, Projet:Logique a fait l’objet d’études, d’analyses et d’explorations. À mesure que la société avance et évolue, l’intérêt et la pertinence de Projet:Logique continuent de changer constamment, s’étendant à de nouveaux domaines et soulevant de nouvelles questions. Dans cet article, nous explorerons en profondeur l'importance et l'impact de Projet:Logique dans différents contextes, ainsi que son influence sur notre vie quotidienne.
Présentation
Ce projet, existant depuis 2006, a pour objectif de permettre aux différents contributeurs la mise en commun de leurs efforts et de discuter ensemble des questions relatives à la logique et au portail sur la logique.
Depuis 2011, ses participants se retrouvent principalement sur le Projet:Mathématiques et son lieu général de discussion qu'est le Thé.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 :
Les articles manquants :
Vous pouvez aussi consulter la liste des demandes d'articles.Modèles
Recensement des modèles de logique :
- Les modèles "référence" pour citer les auteurs classiques se trouvent sur : Projet:Mathématiques/Bibliographie sur la logique
Évaluation
| Importance | |||||||
|---|---|---|---|---|---|---|---|
| Avancement | Maximum | Élevée | Moyenne | Faible | À évaluer | Total | |
 AdQ
|
2 | 2 | 4 | ||||
 BA
|
1 | 1 | 1 | 3 | |||
| A | 2 | 1 | 3 | ||||
| B | 9 | 8 | 2 | 1 | 13 | 33 | |
| Bon début | 13 | 18 | 21 | 12 | 96 | 160 | |
| Ébauche | 13 | 9 | 24 | 28 | 129 | 203 | |
| À évaluer | 0 | ||||||
| Total | 36 | 37 | 52 | 43 | 238 | 168(?) | |
| Dernière mise à jour : 15 décembre 2025. | |||||||
Annonces
- 2006 : création du projet Logique
- 17 avril 2007 : Tractatus logico-philosophicus a été promu Bon article
- 19 février 2015 : Aristote a été promu Bon article
- 2 octobre 2016 : Alfred North Whitehead a été promu Article de qualité
Participants
| Nom | Spécialité ou compétence |
|---|---|
| Pierre de Lyon | Logique mathématique orientée théorie de la démonstration, théorie des types et lambda-calcul. Je m'intéresse aussi à l'histoire |
| Léna | Les Lois de De Morgan (ma première contribution !) mais sinon, lambda-calcul, calcul des prédicats, validation formelle et intérêt pour le reste |
| Lepticed7 | Logique du premier ordre, logique de description. |
| JeanCASPAR | Théorie des types, théorie des catégories, sémantique. |
Articles récents
- Préservation des types (07 décembre)
- Brian Skyrms (29 novembre)
- Ronald Jensen (19 septembre)
- Circuit quantique (03 septembre)
- Automate cellulaire quantique (03 septembre)
- Susan Stebbing (15 juillet)
- Méréologie de Leśniewski (25 mai)
- Diffusion circulaire (24 mai)
- Gilles Cohen (mathématicien) (08 avril)
- Logique connexive (10 mars)