Discuter:Modalité (linguistique)

Un article de Wikipédia, l'encyclopédie libre.

	Modalité (linguistique) fait partie du projet Langues, qui a pour but d'enrichir le contenu de Wikipédia sur les sujets liés à la linguistique et aux langues. Si vous voulez participer, vous pouvez modifier cet article ou visiter la page du projet, où vous pourrez vous joindre au projet et consulter la liste des tâches et des objectifs.
Bon début	Cet article a été classé comme d'Avancement BD selon le Tableau d'évaluation du projet. (Voir les statistiques)
Élevée	Cet article a été classé comme d'Importance élevée selon le Tableau d'évaluation du projet. (Contester?)

Sommaire 1 Qui s'intéresse à la logique modale? 2 Pourquoi une emphase sur la logique déontique ? 3 Les origines de la modalité 4 Fusion abandonnée entre Modalité (linguistique) et Modalisateur

[modifier] Qui s'intéresse à la logique modale?

Je supprimerais la phrase

Remarquons néanmoins que ces nouveaux systèmes logiques ont un intérêt surtout philosophique et qu’ils sont peu pertinents pour les mathématiques.

qui est tout ce qu'il y a de plus faux. Les logiciens poussés par les informaticiens se sont intéressés aux logiques modales, notamment à la logqiue temporelle, mais aussi à plusieurs autres formes. Il y a en particulier des quantités de résultats (de théorèmes) de complexité de la décision des différentes sortes de logiques modales.

D'autre part, la logique linéaire est un logique modale dont les modalités sont bien sûr ! et pourquoi pas ?

Pierre de Lyon 28 juillet 2006 à 09:59 (CEST)

Je n'ai rien contre cette suppression.

--Apierrot 28 juillet 2006 à 12:52 (CEST)

J'ai signalé plus bas combien les informaticiens s'intéressent à la logique modale. Je voudrais signaler une application que je trouve très joile celle de meta-ML. Meta-ML est language typé; donc ses programmes sont corrects par construction, mais à la différence de ML meta-ML peut produire du code qu'il compile et exécute à la volée, plus fou que cela, il peut produire du code qui produit du code qu'il peut exécuter. Malgrè cela les programmes de meta-ML sont corrects par cosntruction grâce à la logique modale.

Une autre application de la logique modale est la logique intuitionniste qui peut être vue comme une extension de la logique classique avec une modalité de nécessité qui permet de voir l'implication intuitionniste comme une implication nécessaire. Pierre de Lyon 28 juillet 2006 à 14:24 (CEST)

P.S. Je suis désolé si je semble faire beaucoup de critiqus.

« Sans la liberté de blâmer, il n'est point d'éloge flatteur », Beaumarchais, Le mariage de Figaro.

[modifier] Pourquoi une emphase sur la logique déontique ?

Il me semble que la logique modale la plus utilsée est la logique temporelle, puis à mon avis viennent la logique épistémique et la logique de la connaissance commune. Pierre de Lyon 28 juillet 2006 à 10:12 (CEST)

je ne veux pas nier que vos remarques soient justes mais en philosophie l'interet de la logique modale consiste surtout en ce qu'elle est a l'origine de logique deontique. C'est pourquoi je n'irais pas dire que de maniere absolue la logique modale la plus utilisee est la logique temporelle. Mais vous avez attire mon attention sur un oubli important. Je vais donc modifier le passage en question.

Apierrot 28 juillet 2006 à 12:56 (CEST)

On ne peut pas parler de logique modale uniquement dans un champ disciplinaire. Il faut voir toutes ses applications et toutes ses implications. Quand je dis "utilisée" je pense en temps que logique "utilitaire" par exemple dans un système industriel ou pré-industriel comme le guidage d'un robot ou la vérification d'un système informatique.

Ceci dit, l'article me semble faire double emploi avec l'article logique modale, qui n'est d'ailleurs pas bon. Il a cependant l'avantage de citer les sortes de logiques modales. Il faudrait éviter ce doublon et fusioner les articles. Pierre de Lyon 28 juillet 2006 à 13:04 (CEST)

en creant cette article j'ai pense au meme probleme. Mais le concept de modalite est fondamentale en linguistique et fusioner l'article sur les logiques modales et sur la modalite me gene franchement.

--Apierrot 28 juillet 2006 à 19:01 (CEST)

Mais le concept de modalité est fondamental partout. Pourquoi y aurait-il un traitement spécial pour la lingistique? Je ne comprends pas. Puisqu'il s'agit u même concept faisons un article unique. Pierre de Lyon 28 juillet 2006 à 22:17 (CEST)

PS: ou alors il faut deplacer qu'une partie de l'article dans l'article sur la logique modale. Je n'ai rien contre. --Apierrot 28 juillet 2006 à 19:03 (CEST)

Cette solution me parait plus raisonable. Pierre de Lyon 28 juillet 2006 à 22:17 (CEST)

[modifier] Les origines de la modalité

Je croyais que les modalités possible et nécessaire avaient été introduites par Leibniz et qu'Aristote parlait déjà de modalités. Pierre de Lyon 28 juillet 2006 à 10:14 (CEST)

[modifier] Fusion abandonnée entre Modalité (linguistique) et Modalisateur

Le second est apparemment une façon d'exprimer la première. GL 30 juin 2007 à 00:20 (CEST)

Cette fusion me semble difficile à effectuer. Le premier article appartient au domaine de la linguistique, le second à la grammaire plus traditionnelle. Les deux articles parlent en effet de notions apparentées, mais selon un mode d'explication très différent. Il me semble utile de conserver Modalisateur, mais en le recatégorisant dans la grammaire (fait). Israfel (Discuter) 1 juillet 2007 à 16:23 (CEST)

Je ne pense pas qu'il faille fusionner, par contre, il serait juste que Modalisateur contienne une référence à Modalité (linguistique), et vice-versa. Je pense que Modalité devrait rester l'article principal. Félix Potuit 8 juillet 2007 à 21:23 (CEST)