Global Information Lookup Global Information

Deontic logic information


Deontic logic is the field of philosophical 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. It can be used to formalize imperative logic, or directive modality in natural languages. Typically, a deontic logic uses OA to mean it is obligatory that A (or it ought to be (the case) that A), and PA to mean it is permitted (or permissible) that A, which is defined as .

In natural language, the statement "You may go to the zoo OR the park" should be understood as instead of , as both options are permitted by the statement. When there are multiple agents involved in the domain of discourse, the deontic modal operator can be specified to each agent to express their individual obligations and permissions. For example, by using a subscript for agent , means that "It is an obligation for agent (to bring it about/make it happen) that ". Note that could be stated as an action by another agent; One example is "It is an obligation for Adam that Bob doesn't crash the car", which would be represented as , where B="Bob doesn't crash the car".

and 27 Related for: Deontic logic information

Request time (Page generated in 0.8061 seconds.)

Deontic logic

Last Update:

Deontic logic is the field of philosophical logic that is concerned with obligation, permission, and related concepts. Alternatively, a deontic logic...

Word Count : 2932

Deontic modality

Last Update:

threat; alethic logic or temporal logic would apply): "I shall help you." Directive modality (commands, requests, etc.; deontic logic would apply): "Come...

Word Count : 469

Modal logic

Last Update:

modal logic, the formula ◻ P {\displaystyle \Box P} can be used to represent the statement that P {\displaystyle P} is known. In deontic modal logic, that...

Word Count : 8455

Alan Ross Anderson

Last Update:

Belnap, Anderson was instrumental in the development of relevance logic and deontic logic. Anderson died of cancer in 1973. Anderson believed that the conclusion...

Word Count : 433

Philosophical logic

Last Update:

In this sense, philosophical logic studies various forms of non-classical logics, like modal logic and deontic logic. This way, various fundamental...

Word Count : 7022

List of logic symbols

Last Update:

contains logic symbols. Without proper rendering support, you may see question marks, boxes, or other symbols instead of logic symbols. In logic, a set...

Word Count : 229

Imperative logic

Last Update:

for ethics and metaethics. Deontic logic Free choice inference List of Logical Paradoxes Speech acts Pragmatics Temporal logic Frege, G. (1892) 'On sense...

Word Count : 1021

Deontology

Last Update:

imperative – Central concept in Kantian moral philosophy Deontic logic – Field of philosophical logic Deontological libertarianism – Political ideologyPages...

Word Count : 3316

History of logic

Last Update:

philosophical logic, particularly from the 1950s onwards, in subjects such as modal logic, temporal logic, deontic logic, and relevance logic. The Nasadiya...

Word Count : 13240

Ernst Mally

Last Update:

Meinong's Graz School of object theory. Mally was one of the founders of deontic logic and is mainly known for his contributions in that field of research...

Word Count : 1387

Outline of logic

Last Update:

Classical logic Computability logic Deontic logic Dependence logic Description logic Deviant logic Doxastic logic Epistemic logic First-order logic Formal...

Word Count : 2084

Paraconsistent logic

Last Update:

model identification, and control with success. Deontic logic and metaethics: Paraconsistent logic has been proposed as a means of dealing with ethical...

Word Count : 5510

Ethics

Last Update:

the word arête, which has the meaning of both virtue and excellence. Deontic logic provides a formal system describing the logical relations between these...

Word Count : 19284

Normal modal logic

Last Update:

number of deontic and epistemic logics, for example, are non-normal, often because they give up the Kripke schema. Every normal modal logic is regular...

Word Count : 233

List of academic fields

Last Update:

(outline) Modern philosophy Contemporary philosophy Logic (outline) Philosophical logic Mathematical logic Applied philosophy Philosophy of education Philosophy...

Word Count : 4664

Logic

Last Update:

modal logic introduce similar symbols but associate different meanings with them to apply modal logic to other fields. For example, deontic logic concerns...

Word Count : 16841

Leon van der Torre

Last Update:

(CSC) Research Unit. Leon van der Torre is a prolific researcher in deontic logic and multi-agent systems, a member of the Ethics Advisory Committee of...

Word Count : 719

Free choice inference

Last Update:

forms a natural class with disjunctive free choice. Deontic logic Disjunction Hans Kamp Modal logic Ross's paradox Simplification of disjunctive antecedents...

Word Count : 569

Glossary of logic

Last Update:

form of "If P then Q, not P, therefore not Q" is used. deontic modal logic A branch of modal logic concerned with obligation, permission, and related modalities...

Word Count : 29963

Ethical dilemma

Last Update:

S2CID 53137903. Vallentyne, Peter (1987). "Prohibition Dilemmas and Deontic Logic". Logique et Analyse. 30 (117/118): 113–122. ISSN 0024-5836. JSTOR 44084189...

Word Count : 3205

Georg Henrik von Wright

Last Update:

logic in the Anglo-American vein. His 1951 texts An Essay in Modal Logic and "Deontic Logic" were landmarks in the postwar rise of formal modal logic...

Word Count : 1455

Wason selection task

Last Update:

has argued that we have to distinguish deontic and descriptive conditionals, but that the logic of testing deontic conditionals is more systematic (see...

Word Count : 1969

Modus ponens

Last Update:

logicians, but opinions vary on how the cases should be disposed of. In deontic logic, some examples of conditional obligation also raise the possibility...

Word Count : 2332

Formal ethics

Last Update:

predicate logic (but with a grammar closer to higher-order logics), augmented with imperative, deontic, belief, and modal logic symbols. Formal logic uses...

Word Count : 1573

Logical reasoning

Last Update:

 2066–9. ISBN 9781441914279. Nute, Donald (6 December 2012). Defeasible Deontic Logic. Springer Science & Business Media. p. 82. ISBN 9789401588515. Ornek...

Word Count : 7316

Philosophy of logic

Last Update:

such as alethic, deontic, or temporal modal logic. In its narrow sense, it is identical with alethic modal logic. While classical logic is only concerned...

Word Count : 11673

Outline of philosophy

Last Update:

Many-valued logic Modal logic Alethic logic Deontic logic Doxastic logic Epistemic logic Temporal logic Paraconsistent logic Substructural logic Metalogic...

Word Count : 3075

PDF Search Engine © AllGlobal.net