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 :

• Leibniz
• stoïciens
• Frege
• Philosophie de la logique
• foncteur
• argument
• Organon
• Alfred Tarski
• Querelle des universaux
• logique temporelle
• logique défaisable
• Dana S. Scott
• démonstration
• Logique traditionnelle

Les articles manquants :

• Arthur PriorArthur Prior
• ε₀ (en)

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]

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

[modifier]

Articles récents

• Le loup, la chèvre et le chou
• Liste d'énoncés indécidables dans ZFC
• Théorème de Paris-Harrington
• Leon Chwistek
• Engagement ontologique
• Couple (mathématiques)

[modifier]

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 549 o.) — Discussion:Logique
• Special:Index/Discussion:Logique — .../À faire
• Titres avec Logique — Occurrences de Logique…
• Catégorie:Logique 157 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

Portail:Logique (discussions)

• 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

Projet:Logique (discussions)

• 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

• {{Catégorie logique}} — Pages liées

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).

[modifier]