Revue de presse Projet:Logique
Projet:Logique
Un article de Wikipédia, l'encyclopédie libre.
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.
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.
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
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!
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) |
Articles récents
Mirror_ebab
La source est wikipedia http://fr.wikipedia.org/wiki/Projet:Logique
