Projet:Logique

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 971 articles du Portail:Logique, 555 n'ont pas encore le modèle {{Wikiprojet|Logique|?}} en page de discussion.
██████████42,8 % d'évaluation / Portail:Logique
Pour voir l'écart, utiliser un de ces outils
Logique
Importance
Avancement Maximum Élevée Moyenne Faible À évaluer Total
AdQ AdQ 2 2 4
BA BA 1 2 3
A 2 1 3
B 9 8 3 2 12 34
Bon début 13 18 23 14 95 163
Ébauche 13 10 24 29 133 209
À évaluer 0
Total 36 38 56 46 240 176(?)
Dernière mise à jour : 10 août 2026.
Cette boîte : voir • disc. • mod.
Logique (Éval. • Stats • Liste • Comité • Historique • Pages populaires • p)
Modifier

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

Articles récents

  1. Argumentum ad lapidem (31 juillet)
  2. Principe du prédicat inhérent au sujet (26 mai)
  3. Histoire des sciences du langage (18 mai)
  4. Guillaume de Soissons (14 avril)
  5. Logique BI (18 mars)
  6. Logique pertinente (12 mars)
  7. Susan Haack (12 mars)
  8. Partie (méréologie) (28 février)
  9. Meinongianisme (27 février)
  10. Bidimensionnalisme (14 février)
Modifier
Modifier

Content Disclaimer

Informasi ini disarikan dari Wikipedia dan disajikan kembali untuk tujuan edukasi. Konten tersedia di bawah lisensi CC BY-SA 3.0. Kami tidak bertanggung jawab atas ketidakakuratan data yang bersumber dari kontribusi publik tersebut.

  1. The information displayed on this website is sourced in part or in whole from Wikipedia and has been adapted for the purpose of restating it. We strive to provide accurate and relevant information, however:
  2. There is no guarantee of absolute accuracy. Wikipedia is an open, collaborative project that can be edited by anyone, so information is subject to change.
  3. It is not intended to constitute professional advice. The content displayed is for informational and educational purposes only. For important decisions (e.g., medical, legal, or financial), please consult a professional.
  4. Content copyright. Wikipedia is licensed under the Creative Commons Attribution-ShareAlike License (CC BY-SA). This means that content may be reused with appropriate attribution and shared under a similar license.
  5. Responsible use. Any risk arising from the use of information from this website is entirely the responsibility of the user.