Accueil - Boutique - Contact - Assistance
Zone de recherche

Altas Auteurs Recherche thématique Dictionnaire
 

LOGIQUES NON CLASSIQUES

Page précédente Page suivante

4.  Logique des impératifs

Selon R. M. Hare (1952), l'éthique se réduit à l'étude logique du langage de la morale, et débute par la description des impératifs. Mais, bien que des travaux soient fréquemment consacrés, depuis cette date, à la formalisation des discours contenant des énoncés à la forme impérative, l'existence d'une logique des impératifs conçue comme discipline autonome n'est pas véritablement attestée. C'est que la place semble déjà occupée par la logique déontique, c'est-à-dire l'étude formelle des énoncés normatifs (« il est obligatoire, permis, interdit de... »), qui s'est développée depuis 1950. Une analyse plus poussée montre cependant que les énoncés au mode impératif ont un régime distinct des énoncés normatifs :

a) Il n'existe aucun impératif « permissif » correspondant à l'expression déontique « il est permis que ».

b) « Fais A » n'a qu'une seule négation : « ne fais pas A ». Par contre, « tu dois faire A » (ou « il est obligatoire que A ») a une négation « interne » (« tu ne dois pas faire A », qui est une interdiction) et une négation « externe » (« ce n'est pas le cas que tu doives faire A », qui efface seulement l'obligation). 

c) Alors que « tu dois faire A » peut se mettre au passé, un impératif comme « fais A » n'est utilisé que pour ordonner à quelqu'un une action à accomplir après que l'énoncé a été prononcé.

d) Beaucoup d'énoncés normatifs ne peuvent être transcrits par des ordres : par exemple les normes éthiques (sauf à adopter une conception purement théonomique de la morale).

e) Il existe entre les deux classes d'énoncés une différence profonde, visible surtout à la première personne : « je dois faire A » n'équivaut nullement au « fais A » que le sujet s'adresse à lui-même : on peut asserter l'énoncé normatif tout en refusant pour soi-même le commandement correspondant.

Les impératifs sont donc irréductibles aux énoncés déontiques. Ces derniers sont logiquement représentés par l'application d'un opérateur déontique à la proposition qui exprime le contenu de la norme. De […]

… pour nos abonnés, l'article se prolonge sur 34 pages… Offre essai 7 jours

Thématique

Classification thématique de cet article :

Retour en haut

Autres références

« LOGIQUES NON CLASSIQUES » est également traité dans :

AUTOMATISATION

Écrit par :  Jean VAN DEN BROEK D'OBRENAN

Dans le chapitre " Rôle de la logique floue et des réseaux de neurones"  : …  À la fin des années 1980, les travaux scientifiques aboutissant au concept d'une *logique « non classique », la logique floue, d'une part, et au concept des réseaux de neurones, adaptés à la modélisation et à la commande des processus non linéaires, d'autre part, trouvèrent des applications dans l'automatisation (le vocable neurone ainsi que celui… Lire la suite
ÉPISTÉMOLOGIE

Écrit par :  Gilles Gaston GRANGER

Dans le chapitre "Sciences formelles, sciences empiriques"  : …  philosophie de la logique et sont des problèmes épistémologiques. 2. La prolifération de systèmes *logiques « non classiques » ouvre naturellement un champ épistémologique étendu au philosophe. Des logiques modales systématisées par C. J. Lewis dès 1918 aux logiques multivalentes de Łukasiewicz (1930), intuitionnistes de Heyting (1930), aux… Lire la suite
INTUITIONNISME

Écrit par :  Jacques-Paul DUBUCS

Dans le chapitre "La sémantique BHK"  : …  Le principal disciple de Brouwer, Heyting, a mis au point une *logique non classique qui consigne les principes d'inférence qui sont « fiables » en ce sens. Cette logique, au lieu de décrire sémantiquement les conditions de vérité (au sens classique où la vérité est indépendante de nos capacités de connaissance) des énoncés, en décrit les conditions… Lire la suite
LOGIQUE

Écrit par :  Robert BLANCHÉJan SEBESTIK

Dans le chapitre "La logique post-russellienne"  : …  formelles elles-mêmes qu'ont été reconnues les limitations internes du formalisme (K. Gödel, 1931). *– L'absolutisme logique est fortement compromis par la multiplication des systèmes non classiques, c'est-à-dire non russelliens : systèmes plurivalents (Łukasiewicz, E. L. Post) ou affaiblis (Heyting), développement des logiques modales à partir de l… Lire la suite
MODALITÉS, logique

Écrit par :  Pascal ENGEL

Dans le chapitre "Les modalités non aléthiques"  : …  *L'idée d'étendre le traitement logique des modalités aléthiques à d'autres notions modales avait déjà été formulée par les médiévaux, mais elle n'a été exploitée systématiquement qu'à la suite des progrès de la logique modale contemporaine (en particulier par G. E. Von Wright dans An Essay in Modal Logic, North Holland, Amsterdam, 1951).… Lire la suite

Retour en haut

Médias

Médias de cet article dans l'Encyclopædia Universalis :

Introspection négative Opérateur de compression Implication partielle Modalité des propositions Modalités des propositions Modalités affirmatives Principaux systèmes de logique modale Lignes de démarcation Sémantiques à domaine variable, 1 Sémantiques à domaine variable, 2 Structure rétroramifiée

Retour en haut

Voir aussi

Retour en haut

Accueil - Contact - À propos
Consulter les articles d'Encyclopædia Universalis : 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Consulter les articles d'Encyclopædia Britannica.
© 2012, Encyclopædia Universalis France S.A. Tous droits de propriété industrielle et intellectuelle réservés.

chargement du média