Projet:Logique
Bienvenue sur le projet Logique
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é.
[modifier]
Comment contribuer au projet ?
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.
[modifier]
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
[modifier]
Évaluation
Sur les 935 articles du Portail:Logique, 606 n'ont pas encore le modèle {{Wikiprojet|Logique|?}} en page de discussion. ██████████35,2 % d'évaluation / Portail:LogiquePour voir l'écart, utiliser un de ces outils
Importance | |||||||
---|---|---|---|---|---|---|---|
Avancement | Maximum | Élevée | Moyenne | Faible | À évaluer | Total | |
AdQ | 2 | 1 | 1 | 4 | |||
BA | 1 | 1 | 1 | 3 | |||
A | 2 | 2 | |||||
B | 9 | 7 | 2 | 1 | 11 | 30 | |
Bon début | 12 | 15 | 18 | 9 | 74 | 128 | |
Ébauche | 13 | 10 | 23 | 23 | 91 | 160 | |
Homonymie | 2 | 2 | |||||
À évaluer | 0 | ||||||
Total | 35 | 34 | 47 | 34 | 179 | 150(?) | |
Dernière mise à jour : 18 mai 2024. |
[modifier]
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é
[modifier]
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. |
[modifier]
Articles récents
- Arithmétique de Heyting (09 mai)
- Esprit critique (07 mai)
- Histoire de l'intelligence artificielle (07 mai)
- Évaluation partielle (04 mai)
- Probatio diabolica (05 avril)
- Robert Galbraith (logicien) (03 mars)
- Théorisation post hoc (08 février)
- Melvin Fitting (18 janvier)
- Investigations philosophiques (17 janvier)
- Alice Ambrose (11 janvier)
[modifier]