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é.
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.
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 | 1 | 3 | ||||
BA | 1 | 1 | 1 | 3 | |||
A | 2 | 2 | |||||
B | 8 | 5 | 2 | 1 | 10 | 26 | |
Bon début | 12 | 14 | 17 | 9 | 70 | 122 | |
Ébauche | 12 | 10 | 23 | 23 | 87 | 155 | |
Homonymie | 2 | 2 | |||||
À évaluer | 0 | ||||||
Total | 33 | 31 | 46 | 34 | 169 | 144(?) | |
Dernière mise à jour : 27 mars 2024. |
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. |
Articles récents
- Robert Galbraith (logicien) (03 mars)
- Théorisation post hoc (08 février)
- Melvin Fitting (18 janvier)
- Investigations philosophiques (17 janvier)
- Alice Ambrose (11 janvier)
- The Floor (26 décembre)
- Jerónimo Pardo (10 décembre)
- Effondrement modal (09 décembre)
- Blocs logiques (01 décembre)
- Herzberger Quader (13 novembre)
Catégories
Articles (arborescence)
- Logique (27 160 o.) — Discussion:Logique
- Special:Index/Discussion:Logique — .../À faire
- Titres avec Logique — Occurrences de Logique…
- Catégorie:Logique 152 p. — Spécial:Catégories
- Pages liées — Suivi des liens (1)
- Special:Index/Logique — Spécial:Index/Catégorie:Logique
- Demander un article/Logique
- Special:Index/Portail:Logique
- Projet:Logique/Modèles
- .../Arborescence
- .../Catégories
- Projet:Logique/Articles récents
- Special:Index/Wikipédia:Sélection rien
Articles liés au portail, ou évalués
- {{Portail Logique}} : Articles liés au portail
- Catégorie:Portail:Logique/Articles liés 931 articles — Suivi des liens.
- Pas de suivi des liens rouges.
- Projet:Logique/Pages populaires
- Special:Index/Projet:Logique
- Catégorie:Projet:Logique 17 p.
- Projet:Logique/Évaluation — Statistiques
- Catégorie:Wikipédia:ébauche logique 137 p.
Catégorie du projet : Catégorie:Projet:Logique 17 p.
Modèle pour les catégories
Autres modèles
- {{Palette Logique}}
- Catégorie:Modèle logique 4 p. Suivi
- Catégorie:Palette Logique 7 p. Suivi
- {{Utilisateur logique}} — Pages…
- {{Utilisateur Projet/Logique}} — Pages…
(1) Ce lien est un exemple d'emploi, à relativiser puisque les modifications ne concernent pas les sous-catégories et leurs articles : des liens de type Spécial:Suivi des liens pourraient être ajoutés à propos de chaque catégorie, ou autre liste d'articles (en anglais Recentchangeslinked).
Même chose pour les Special:Pages liées sur un modèle ou non (en anglais Whatlinkshere).
(2) Ce sont souvent des redirections vers le modèle du portail ou du wikiprojet (pour l'évaluation).