Discussion:Logique épistémique
- Admissibilité
- Neutralité
- Droit d'auteur
- Article de qualité
- Bon article
- Lumière sur
- À faire
- Archives
- Commons
Cet article est indexé par les projets Philosophie, Logique et Mathématiques.
Les projets ont pour but d’enrichir le contenu de Wikipédia en aidant à la coordination du travail des contributeurs. Vous pouvez modifier directement cet article ou visiter les pages de projets pour prendre conseil ou consulter la liste des tâches et des objectifs.
| Avancement | Importance | pour le projet | |
|---|---|---|---|
| Bon début | Moyenne |  | Philosophie (discussion • critères • liste • stats • hist. • comité • stats vues) |
| À évaluer |  | Logique (discussion • critères • liste • stats • hist. • comité • stats vues) | |
 | Mathématiques (discussion • critères • liste • stats • hist. • comité • stats vues) | ||
Cet article ne comporte pas de liste de tâches suggérées. Vous pouvez saisir une liste de tâches à accomplir (par exemple sous forme d'une liste à puces), puis sauvegarder. Vous pouvez aussi consulter la page d'aide.
Répétition dans la description de S5
modifierS5 est S4+5, mais K+t+5 induisent 4 donc il y a une répétition des axiomes. Ne faudrait-il pas indiquer "S5 est T avec l'axiome 5". De plus si on donne l'axiome de Brouwer : (b) ou , alors on peut également décrire S5 comme S4+b.
know vs "savoir" / "connaître"
modifierAu sujet de :
"L'axiome K montre comment l'agent peut faire des déductions à partir de ce qu'il connaît. L'axiome T dit que les agents ne connaissent que des choses «vraies», autrement dit, si un agent connaît quelque chose alors cette chose est vraie. L'axiome 4 dit que si un agent sait quelque chose, alors il sait qu'il le sait. L'axiome 5 dit que si un agent ne sait pas quelque chose, alors il sait qu'il ne le sait pas."
L'article devrait peut-être indiquer de manière explicite que la différence entre fr. "savoir" et "connaître" est neutralisée. Entre connaître le théorème de Brouwer et savoir le théorème de Brouwer, il existe un écart qui n'entre pas ici en ligne de compte. Cette précision, qui n'est pas triviale, a des conséquences sur d'éventuelles applications de la logique épistémique. Il vaut mieux prévenir, en particulier, que ce dispositif ne saurait fonctionner comme modèle visant à rendre compte du fonctionnement des mots utilisés dans les formulations dites "intuitives".--R. Camus (discuter) 9 février 2016 à 20:06 (CET)