Projet:Logique

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

[modifier

Projet logique

Ce projet, existant depuis 2006, a pour but de permettre aux différents contributeurs de mettre en commun leurs efforts et de discuter ensemble des questions relatives à l'article de logique et au portail de logique.

Ses participants, en 2011 et depuis plusieurs années, 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 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 :

Jean Louis Maxime Van Heijenoort, Arthur Prior

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

[modifier

Les modèles utilisés Modèles

Recensement des modèles de logique :

[modifier

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

[modifier

Maintenance du projet et du portail Articles récents

[modifier

Maintenance du projet et du portail Catégories

Articles (arborescence)


Portail:Logique (discussions)


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


Projet:Logique (discussions)

Catégorie du projet :
Modèle pour les catégories


Autres modèles