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 :
- Arthur Prior
- ε₀ (en)
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
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 |
Catégories
- Logique
- Formes du raisonnement biologique
- Logicien
- Logique mathématique
- Paradoxe
- Psychologie du raisonnement
- Raisonnement fallacieux
- Raisonnement mathématique
- Œuvre de logique
Articles (arborescence)
- Logique (27 546 o.) — Discussion:Logique
- Special:Index/Discussion:Logique — .../À faire
- Titres avec Logique — Occurrences de Logique…
- Catégorie:Logique 160 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 892 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 141 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 6 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).
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.
