Projet:Logique

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

[modifier]

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 :

Les articles manquants :

Arthur PriorArthur Prior
ε₀ (en)

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

[modifier]

Modèles

Recensement des modèles de logique :

Les modèles "référence" pour citer les auteurs classiques se trouvent sur : Projet:Mathématiques/Bibliographie sur la logique

[modifier]

Évaluation

Sur les 935 articles du Portail:Logique, 606 n'ont pas encore le modèle {{Wikiprojet|Logique|?}} en page de discussion.

██████████35,2 % d'évaluation / Portail:Logique

Pour voir l'écart, utiliser un de ces outils

Logique
Avancement	Maximum	Élevée	Moyenne	Faible	À évaluer	Total
	Importance
AdQ		2	1		1	4
BA	1		1	1		3
A			2			2
B	9	7	2	1	11	30
Bon début	12	15	18	9	74	128
Ébauche	13	10	23	23	91	160
Homonymie					2	2
À évaluer						0
Total	35	34	47	34	179	150^(?)
Dernière mise à jour : 8 mai 2024. Cette boîte : voir • disc. • mod.

[modifier]

Annonces

2006 : création du projet Logique
17 avril 2007 : Tractatus logico-philosophicus a été promu Bon article
19 février 2015 : Aristote a été promu Bon article
2 octobre 2016 : Alfred North Whitehead a été promu Article de qualité

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