Deontic logic is the field of logic that is concerned with obligation, permission, and related concepts. Alternatively, a deontic logic is a formal system that attempts to capture the essential logical features of these concepts. Typically, a deontic logic uses OA to mean it is obligatory that A, (or it ought to be that A), and PA to mean it is permitted (or permissible) that A. The term deontic is derived from the ancient Greek déon, meaning, roughly, that which is binding or proper.

PropertyValue
dbpprop:abstract
  • Deontic logic is the field of logic that is concerned with obligation, permission, and related concepts. Alternatively, a deontic logic is a formal system that attempts to capture the essential logical features of these concepts. Typically, a deontic logic uses OA to mean it is obligatory that A, (or it ought to be that A), and PA to mean it is permitted (or permissible) that A. The term deontic is derived from the ancient Greek déon, meaning, roughly, that which is binding or proper.
  • Deontische Logik ist der Bereich der Logik, in der es um normative Begriffe wie Verpflichtung, Erlaubnis usw. geht. Eine bestimmte deontische Logik ist ein formales System, in dem es für derartige Begriffe formale Ausdrücke gibt, üblicherweise OA für eine Verpflichtung, A zu tun, und PA für die Erlaubnis, A zu tun. Der Begriff deontisch stammt von dem Altgriechischen déon, deutsch: angemessen.
  • La lógica deóntica es un tipo de lógica modal usada para analizar formalmente las normas o las proposiciones que tratan acerca de las normas.
  • Deonttinen logiikka eli normilogiikka on modaalilogiikan alue, joka käsittelee välttämättömyyttä (tai velvollisuutta), mahdollisuutta (tai luvallisuutta) ja näihin liittyviä käsitteitä (kuten pakollinen, sallittu, kielletty). Formaalisena järjestelmänä deonttinen logiikka pyrkii kuvaamaan näiden käsitteiden loogisia ominaisuuksia. Deonttinen logiikka käyttää tyypillisesti ilmaisua OA merkitsemään on välttämätöntä, että A (tai pitäisi olla, että A), ja ilmaisua PA merkitsemään on mahdollista, että A. Termi deonttinen on johdettu muinaiskreikan sanasta déon, "se mikä on sitovaa". Deonttista logiikka ovat kehittäneet muun muassa Ernst Mally ja Karl Menger. Ensimmäisenä vakuuttavan esityksen deonttisesta logiikasta antoi suomalainen G. H. von Wright kirjoituksessaan Deontic Logic, joka julkaistiin filosofisessa aikakauslehti Mindissa vuonna 1951. Von Wright oli myös ensimmäinen, joka käytti tämänkaltaisesta logiikasta nimitystä "deonttinen".
  • La logique déontique tente de formaliser les rapports qui existent entre les quatre alternatives d'une loi : l'obligation, l'interdiction, la permission et le facultatif. Gottfried Wilheim Leibniz en 1670 proposa le premier d'appliquer la logique modale à la morale en remarquant l'analogie suivante : "l'obligatoire est ce qu'il est nécessaire que fasse l'homme bon. Il proposa la correspondante suivante : Elle s'est développée à partir des années 50 grâce aux travaux du philosophe finlandais Georg Hendrik Von Wright. Reprenant la correspondance notée par Leibniz, en les formalisant grâce aux avancées de la logique modale. Les progrès de la sémantique, et notamment la sémantique des mondes possibles ont encouragé le développement de la logique déontique. Comme pour chaque système logique aujourd'hui, il est erroné de parler DU système de la logique déontique. Il existe une grande variété de systèmes logiques déontiques, qu'on identifie selon les axiomes qu'ils intègrent - et toujours par référence à la logique modale générale. Lorsque l'on parle de logique déontique en général, on entend souvent le système classique et minimal, celui qui utilise les deux opérateurs de l'obligation (aux propriétés calquées sur celui de la nécessité) et de la permission (idem pour la possibilité), et de simples constantes et variables propositionnelles représentant des actions et / ou des états de choses (A, B, etc.). Mais la réalité déontique est multiforme : on peut interdire un état de choses, une action de la part d'un individu déterminé, un type d'action, etc. Elle nécessite donc plusieurs systèmes de logique déontique différents. Désormais, un système de logique déontique inclut le plus souvent aussi des notations pour représenter l'action et les individus (opérateurs d'action tels que STIT), et les recherches tendent à une complexification toujours croissante : intégration de la dimension temporelle grâce à l'indexation temporelle des propositions, notion de trivalence, et autres. La logique déontique est à l'origine des systèmes normatifs, qui permettent de modéliser les obligations, les violations et les sanctions dans une organisation, et notamment dans un système multi-agents.
  • Il termine deontica deriva dal verbo greco "deon", il cui significato principale, pur non essendo l'unico, è dovere. La logica deontica, intesa come una disciplina che dalla natura particolare e che, sotto certi aspetti (p.e. la natura non - verofunzionale dei propri asserti; oppure, il significato da attribuire alle proprie formalizzazioni; oppure ancora, il rapporto problematico che intrattiene con le altre logiche, per comodità considerate logiche standard), si configura in chiave oppositiva alla logica cd. classica, viene formulata per la prima volta da Ernst Mally, sotto la dicitura di "Deontik". Si trattava, ovviamente, di una logica elementare che presentava soltanto un abbozzo di logica proposizionale con l'utilizzo di basilari concetti normativi. La logica deontica moderna, invece, intesa, innanzitutto e per lo più, come logica modale deontica, ossia come un ampliamento della logica proposizionale e contrapposta alla logica modale aletica, nasce all’inizio degli anni '50 ad opera di tre autori, Georg Henrik von Wright, George Kalinowski, Oskar Becker, i quali, l'uno indipendentemente dagli altri, formularono una propria logica a partire dalla logica delle modalità. Il sistema di logica deontica più semplice è il sistema deontico minimale TD di Geog Henrik von Wright, caratterizzato dall'assioma: OP > Pp, che può essere letto: "obbligatorio p implica permesso p". Oggi la logica deontica si è concentrata sull’aspetto computazionale: i problemi più studiati sono quelli che vedono la logica deontica (concepita non più solo come logica ampliante,ma anche come logica deviante) come strumento per la rappresentazione di conoscenza pratica (ma anche rispetto alle teorie metaetiche, soprattutto quale praxeologia della legislazione umana, etica o legale che sia). Al di là del calcolo, comunque, la logica deontica pone seri problemi di natura filosofica relativi in primo luogo, ma non soltanto, alla propria fondazione, questioni in parte riassunti in Deontic Logic. An Overview di Georg Henrik von Wright, della fine anni '90. Emblema di queste difficoltà è il verificarsi in logica deontica di formule paradossali, i paradossi deontici. Oltre al generale problema della relazione tra logica e norme, l’aspetto fondazionale più dibattuto è quello del valore logico delle norme, ossia di quale sia il valore che si deve predicare delle norme al posto della verità .
  • 義務論理（英: Deontic logic）は、義務と権利などの概念を扱う論理学の一分野である。規範論理とも。義務論理は、義務や権利といった概念の基本的論理機能を捉える形式体系である。典型的な記法としては、OA（A は義務的である、A であるべきだ）と PA（A は許されている、A でもよい）がある。deontic という言葉は古代ギリシャ語の déon（拘束されているもの、適切なもの）を語源とする。
  • Деонти́ческая ло́гика (от др. -греч. deon — долг и логика; логика норм, нормативная логика) — раздел ло­гики, исследующий логическую структуру и логические связи нор­мативных высказываний. Деонтическая логика является также разделом модальной логики и одним из исследовательских направлений неклассической логики. Деонтическая логика анализирует рассуждения, посылками или заключениями которых являются высказывания о нормах. Она отличает правильные (обоснованные) рассуждения от неправильных и таким образом создаёт теорию нормативных умозаключений. Логическое исследование норм и правил важны для математики, логики, лингвистики, этики, юриспруденции, социологии и экономики. Одним из ключевых понятий деонтической логики является понятие деонтической модальности (нормативной модальности, модальности долженствования), которые являются особым видом модальностей. Деонтическая модальность характеризует практическо­е действие (поступок) с точки зрения определённой системы норм и относится к высказываниям о таких действиях («запрещено», «разрешено», «предписывается»). Проблемы деонтической логики исследовал Г. Х. фон Вригт.
  • Деонтична логіка — логіка, яка досліджує логічні структури прескриптивної мови (яка щось предписує), тобто, мови нормативної дії, або дії, що реалізує норму; деонтична логіка — це логіка норм та нормативних понять. Поняття деонтичної логіки формально схожі з поняттями модальної логіки. Відрізняються вони тим, що речення, що розглядаються в деонтичній логіці, не мають формального зв'язку з матеріалом фактів (істиною або неправдою). В деонтичній логіці досліджуються операції з прескриптивнми, тобто, такими, що предписують, твердженнями: «всі студенти зобов'язані складати іспити», «коли горить червоне світло, переходити дорогу заборонено».
dbpprop:hasPhotoCollection
dbpprop:reference
rdf:type
rdfs:comment
  • Deontic logic is the field of logic that is concerned with obligation, permission, and related concepts. Alternatively, a deontic logic is a formal system that attempts to capture the essential logical features of these concepts. Typically, a deontic logic uses OA to mean it is obligatory that A, (or it ought to be that A), and PA to mean it is permitted (or permissible) that A. The term deontic is derived from the ancient Greek déon, meaning, roughly, that which is binding or proper.
  • Deontische Logik ist der Bereich der Logik, in der es um normative Begriffe wie Verpflichtung, Erlaubnis usw. geht. Eine bestimmte deontische Logik ist ein formales System, in dem es für derartige Begriffe formale Ausdrücke gibt, üblicherweise OA für eine Verpflichtung, A zu tun, und PA für die Erlaubnis, A zu tun. Der Begriff deontisch stammt von dem Altgriechischen déon, deutsch: angemessen.
  • La lógica deóntica es un tipo de lógica modal usada para analizar formalmente las normas o las proposiciones que tratan acerca de las normas.
  • Deonttinen logiikka eli normilogiikka on modaalilogiikan alue, joka käsittelee välttämättömyyttä (tai velvollisuutta), mahdollisuutta (tai luvallisuutta) ja näihin liittyviä käsitteitä (kuten pakollinen, sallittu, kielletty). Formaalisena järjestelmänä deonttinen logiikka pyrkii kuvaamaan näiden käsitteiden loogisia ominaisuuksia.
  • La logique déontique tente de formaliser les rapports qui existent entre les quatre alternatives d'une loi : l'obligation, l'interdiction, la permission et le facultatif. Gottfried Wilheim Leibniz en 1670 proposa le premier d'appliquer la logique modale à la morale en remarquant l'analogie suivante : "l'obligatoire est ce qu'il est nécessaire que fasse l'homme bon.
  • Il termine deontica deriva dal verbo greco "deon", il cui significato principale, pur non essendo l'unico, è dovere. La logica deontica, intesa come una disciplina che dalla natura particolare e che, sotto certi aspetti (p.e.
  • Деонти́ческая ло́гика (от др. -греч. deon — долг и логика; логика норм, нормативная логика) — раздел ло­гики, исследующий логическую структуру и логические связи нор­мативных высказываний.
  • Деонтична логіка — логіка, яка досліджує логічні структури прескриптивної мови (яка щось предписує), тобто, мови нормативної дії, або дії, що реалізує норму; деонтична логіка — це логіка норм та нормативних понять.
rdfs:label
  • Deontic logic
  • Deontische Logik
  • Lógica deóntica
  • Deonttinen logiikka
  • Logique déontique
  • Logica deontica
  • 義務論理
  • Деонтическая логика
  • Деонтична логіка
owl:sameAs
skos:subject
foaf:page