Projet:Logique

Mise en commun et discussions sur la logique From Wikipedia, the free encyclopedia

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 967 articles du Portail:Logique, 559 n'ont pas encore le modèle {{Wikiprojet|Logique|?}} en page de discussion.
██████████42,2 % d'évaluation / Portail:Logique
Pour voir l'écart, utiliser un de ces outils
Davantage d’informations Importance, Avancement ...
Logique
Importance
Avancement Maximum Élevée Moyenne Faible À évaluer Total
AdQ AdQ 2 2 4
BA BA 1 1 1 3
A 2 1 3
B 9 8 2 1 13 33
Bon début 13 18 23 12 95 161
Ébauche 13 10 24 28 129 204
À évaluer 0
Total 36 38 54 43 237 171(?)
Dernière mise à jour : 13 mars 2026.
Cette boîte : voir • disc. • mod.
Fermer
Logique (Éval. • Stats • Liste • Comité • Historique • Pages populaires • p)
Modifier

Annonces

Modifier

Participants

Davantage d’informations Nom, Spécialité ou compétence ...
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.
Fermer
Modifier

Articles récents

  1. Logique pertinente (12 mars)
  2. Susan Haack (12 mars)
  3. Partie (méréologie) (28 février)
  4. Meinongianisme (27 février)
  5. Bidimensionnalisme (14 février)
  6. Distinction analytique-synthétique (11 février)
  7. Rationalisme critique (25 janvier)
  8. Anniversaire de Cheryl (20 janvier)
  9. Préservation des types (07 décembre)
  10. Brian Skyrms (29 novembre)
Modifier
Modifier

Related Articles

Wikiwand AI