Le portail « Logique » lié à ce projet

Projet:Logique

Une page de Wikipédia, l'encyclopédie libre.
Sauter à la navigation Sauter à la recherche

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:

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 :

Vous pouvez aussi consulter la liste des demandes d'articles.

Modèles

Recensement des modèles de logique :

Annonces

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
Epsilon0 Connaissances généralistes en logique, essentiellement en logique mathématique.

Catégories

Articles (arborescence)


Portail:Logique (discussions)


Articles liés au portail, ou évalués


Projet:Logique (discussions)

Catégorie du projet : Catégorie:Projet:Logique 17 p.
Modèle pour les catégories


Autres modèles

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