Projet:Logique
Un article de Wikipédia, l'encyclopédie libre.
[modifier]
Projet logique
Ce projet 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.
[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:
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 •
Les articles manquants :
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]
Annonces
- Le label Bon article de Tractatus logico-philosophicus est contesté.
- Tractatus logico-philosophicus a été promu Bon article.
Le portail de Logique possède son projet!
[modifier]
Participants
|
|
|
| Tryphon Tournesol | Quelques connaissances en calcul des propositions et des prédicats ainsi qu'en philosophie de la logique. |
| 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. |
| Eusebius | Application des logiques modales, déontiques, temporelles... en informatique (IA) |
[modifier]
