Discussion:Logique déontique

message: Quelqu'un serait-il capable de définir le "Facultatif" ? Ripounet 23 août 2006 à 12:09 (CEST)
replies: text: Tout à fait d'accord, outre le fait que l'anglais est déplorable, l'article ne contient aucune bibliographie. Ca sent l'autopromotion.Pierre de Lyon 17 septembre 2006 à 11:28 (CEST)
replies: text: allez hop, je vire le lien : je crois qu'on est d'accord, et il ne me semble pas que ce soit vraiment un choix très contreversé ! Sanders 23 septembre 2006 à 22:19 (CEST)

text: Je me suis permis de rajouter le F dans le tableau. D'autre part, je pense qu'un paragraphe sur la SDL serait utile (d'autant plus que les problèmes suivant sont des paradoxes dans SDL). Godzounet 17 mars 2007 à 22:08 (CET)
thread_title: '''''F'''''

message: Je constate que la modalité F ne figure pas dans le tableau d'équivalence.  D'autre part, aucune des modalités n'est vraiment définie.  Pierre de Lyon 15 mars 2007 à 20:55 (CET)
replies: text: Je me suis permis de rajouter le F dans le tableau. D'autre part, je pense qu'un paragraphe sur la SDL serait utile (d'autant plus que les problèmes suivant sont des paradoxes dans SDL). Godzounet 17 mars 2007 à 22:08 (CET)
thread_title:  '''F''' n'est pas défini 

message: Je connais mieux la logique épistémique que la logique déontique,  mais  je pense que cette affirmation est assez réductrice, bien que malheureusement aseez partagée.  En effet il y a eu deux types de progrès qui ont eu (ou qui aurait du avoir)  un effet:
# les recherches en intelligence artficielle et donc la mécanisation du raisonnement,
# le développement de la théorie de la démonstration.
Pierre de Lyon
ok : cela mérite donc d'être précisé dans l'article; j'avoue que c'est effectivement par mes lectures que j'en suis venu à écrire cela : encore un biais philosophique, car il est un fait qu'en logique philosophique, la sémantique a la kripke a vraiment marqué les esprits 
sinon le reste de ce que j'ai ajouté de facon unilatérale est-il acceptable ??
Sanders 23 septembre 2006 à 13:51 (CEST)
replies: text: C'est marrant, nous avions eu exactement cette discussion avec Romain. Son argument était, si je me souviens bien, qu'il n'y avait qu'une logique car on disposait d'une logique (un système) par rapport auquel toutes les autres logiques étaient des modifications, plus ou moins expressives. Il nous avait parlé d'un cube qui représentait les rapports des différents systèmes. De l'autre côté, mon prof soutenait l'idée, pas si contradictoire je pense, que nous parlions de différentes logiques dans la mesure où l'on avait différents systèmes, dans lesquels différentes thèses existent, et qui représentaient différentes conceptions de l'objet ou du phénomène étudié (toujours persepctive philosophique). Qu'en pensez-vous ? Et est-ce que je me trompe pour cette question du cube ou carré des logiques (modales ?) ? 
Sanders 23 septembre 2006 à 22:23 (CEST)

text: Je me suis décidé à faire les modifs annoncées ci-dessus. Pierre de Lyon 24 novembre 2006 à 07:49 (CET)
thread_title:  Ce sont donc les progrès de la sémantique ... qui ont encouragé le développement de la logique déontique. 

message: Je n'aime pas cette phrase qui va à l'encontre du Rasoir d'Ockham qui me paraît un bon principe en logique. Pierre de Lyon 24 novembre 2006 à 07:49 (CET)
replies: text: Je n'avais rien contre le rasoir d'Ockham. Je voulais juste dire par là que les développements actuels prennent des directions multiples et -à mes yeux- compliquées. Ma phrase ne me paraît pas ambiguë à ce sujet, mais s'il le faut -- > modification ! Sanders 6 décembre 2006 à 21:13 (CET)
thread_title:  Les recherches tendent à une complexification toujours croissante 

message: Est-ce que ces 2 principes sont vraies dans toute logique déontique : en particulier il me semble que le premier soit une réécriture de l'axiome D de la logique modale (qui dit que les obligations doivent être consistentes) et le deuxième est une conséquence d'une logique modale normale. Le seond principe mène de plus à un paradoxe. Il me semble qu'ils soient plutôt des conséquences d'une logique déontique simple (comme la Standrad Deontic Logic). Qu'en pensez-vous ? godzounet 17 mars 2006 à 07:30 (CET)
thread_title:  Principe de permission et principe de distribution déontique 

message: Bonjour, j'aurais sans doute des choses à rajouter pour enrichir l'article, mais j'aimerais bien modifier sa structure. Je vous fais une proposition, j'aimerais votre avis ! (J'ai pas beaucoup d'expérience dans wikipedia, alors je me lance pas dans une grande réforme de mon propre chef...)
Introduction, comme actuellement
# La logique déontique standard (SDL)
## Syntaxe (où l'on mettrait le paragraphe actuel "tableau des équivalences", mais avec des modifs parce que formellement, il n'y a qu'une modalité en SDL).
## Axiomatique
## Sémantique
## Limitations (paragraphe actuel "problèmes de la logique déontique", + autres paradoxes et problèmes connus
# Autres logiques déontiques
## Amendements à la logique déontique standard (du point de vue axiomatique) style Chellas ou Kanger/Anderson
## ad libitum : logiques déontiques multimodales, non normales, non modales, défaisables, paraconsistantes, débat sur la dualité obligation/permission... Suivant l'importance qu'on donne à tout ça.
Voilà, merci de me dire ce que vous en pensez et pourquoi, et après éventuellement je lance le chantier.
Eusebius 22 juillet 2007 à 22:49 (CEST)
replies: text: Pas de réponse, je lance le chantier ! Eusebius 24 juillet 2007 à 19:48 (CEST)
replies: text: A priori, je n'ai plus grand-chose à rajouter pour l'instant. Commentaires et relectures appréciées. - Eusebius [causons] 23 septembre 2007 à 22:18 (CEST)
thread_title:  Une nouvelle structure pour l'article ? 

message: Je viens de remarquer que la notation des modalités déontiques (O, P, I, F, G) avait été francisée. Dans l'absolu ça ne me pose pas de problème, mais ça devient ambigu : la modalité F désigne le caractère facultatif dans notre article, alors que dans toutes les publications en logique déontique (même en français), elle désigne le caractère interdit (forbidden). Pensez-vous qu'il faille garder en l'état, changer pour une notation anglophone, ou rajouter une note ? Eusebius 24 juillet 2007 à 20:27 (CEST)
replies: text: je ne connais pas l'usage sur wikipédia. De mon point de vue (très peu éclairé), je ne rencontre de logique déontique qu'en anglais, et le peu de français qui écrivent dessus le font en anglais. A priori je serai pour une notation en anglais. Le minimum serait effectivement une note donnant les équivalents dans la langue qui n'aura pas été choisie. Sanders 30 août 2007 à 22:19 (CEST)
replies: text: Je suis d'accord pour le principe (vu que c'est moi qui ai suggéré l'idée, c'est la moindre des choses), mais se pose alors le problème du "facultatif", qui présente un risque de collision avec l'obligation si on le traduit par le O de "optional". Pour avoir quatre modalités aux notations cohérentes en anglais, il faut prendre des notations à deux ou trois lettres (Ob, Per, Op, Gr) et c'est peut-être un peu lourd. Je pense que la note d'avertissement est une meilleure solution. Je rajoute une note. - Eusebius [causons] 30 août 2007 à 22:35 (CEST)
replies: text: N'y a-t-il pas de notation qui font autorité?  Il ne viendrait à l'idée de personne de noter la quantification \forall, qui correspond à l'allemand alle, par un T à l'envers sous prétexte qu'on l'a francisé.   Je ne suis pas un spécialiste de logique déontique, mais je serais pour la notation inspirée de l'anglais. Pierre de Lyon 31 août 2007 à 09:32 (CEST)
replies: text: Non, à ma connaissance il n'y a pas de norme (c'est le cas de le dire) sur la notation. Vous préféreriez qu'on passe à une notation à plusieurs lettres ? (Ob, Op, P, F, G) ? - Eusebius [causons] 31 août 2007 à 10:31 (CEST)
replies: text: Oui pour la notation à deux lettres. Pierre de Lyon 31 août 2007 à 14:40 (CEST)
replies: text: Done. - Eusebius [causons] 31 août 2007 à 15:18 (CEST)
thread_title:  Francisation des modalités