Projet:Logique

Portail
Projet
Discussions
Suivi

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é.
Modifier

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

Modèles

Recensement des modèles de logique :

Modifier

Évaluation

Sur les 973 articles du Portail:Logique, 556 n'ont pas encore le modèle {{Wikiprojet|Logique|?}} en page de discussion.
██████████42,9 % d'évaluation / Portail:Logique
Pour voir l'écart, utiliser un de ces outils
Logique
Importance
Avancement Maximum Élevée Moyenne Faible À évaluer Total
AdQ AdQ 2 2 4
BA BA 1 2 3
A 2 1 3
B 9 8 3 2 12 34
Bon début 13 18 23 15 96 165
Ébauche 13 10 24 31 130 208
À évaluer 0
Total 36 38 56 49 238 179(?)
Dernière mise à jour : 25 octobre 2026.
Cette boîte : voir • disc. • mod.
Logique (Éval. • Stats • Liste • Comité • Historique • Pages populaires • p)
Modifier

Annonces

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.
JeanCASPAR Théorie des types, théorie des catégories, sémantique.
Bexandre2002 Logique non classique, en particulier logique pertinente, logique connexive (deux articles que j'ai créés) et logique paracohérente. Didactique de la logique.
Modifier

Articles récents

  1. Sophisme étymologique (27 septembre)
  2. Problème du singe et du contrepoids (04 septembre)
  3. Fonctionnalité (logique) (30 août)
  4. Déclaration de Leiden sur l'intelligence artificielle et les mathématiques (18 août)
  5. Argumentum ad lapidem (31 juillet)
  6. Principe du prédicat inhérent au sujet (26 mai)
  7. Histoire des sciences du langage (18 mai)
  8. Guillaume de Soissons (14 avril)
  9. Logique BI (18 mars)
  10. Logique pertinente (12 mars)
Modifier
Modifier