Le portail « Logique » lié à ce projet

Projet:Logique

Une page de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher

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 :

Arthur Prior (en)

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
Markadet Aucune en logique, je peux seulement aider car je connais bien les recoins de Wikipédia, et ses règles et conventions.
Sanders Connaissance dérivée de la logique, par ce que j'en vois en philosophie. Intérêt pour la logique chez Peirce, et la logique déontique.
Egoa Connaissances orientées calcul propositionnel, calcul des prédicats et informatique. Intérêt pour le lamdba-calcul et la théorie ZF.
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).