|
Ought Implies Can
"Ought implies can" is an ethical formula ascribed to Immanuel Kant that claims an agent, if morally obliged to perform a certain action, must logically be able to perform it: Kant believed this principle was a categorical freedom, bound only by the free will as opposed to the Humean hypothetical freedom ("Free to do otherwise if I had so chosen"). There are several ways of deriving the formula—for example, the argument that it is wrong to blame people for things that they cannot control (essentially phrasing the formula as the contrapositive "'cannot' implies 'has no duty to'"). This ethical formula can be expressed in deontic logic with the multimodal axiom: OA \to \Diamond A , where the deontic operator O means "It's obligatory that..." and the alethic operator \Diamond means "It's possible that...". However, in practical situations, obligations are usually assigned in anticipation of future events, in which case alethic possibilities can be hard to judge; Therefore, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Immanuel Kant
Immanuel Kant (, , ; 22 April 1724 – 12 February 1804) was a German philosopher and one of the central Enlightenment thinkers. Born in Königsberg, Kant's comprehensive and systematic works in epistemology, metaphysics, ethics, and aesthetics have made him one of the most influential figures in modern Western philosophy. In his doctrine of transcendental idealism, Kant argued that space and time are mere "forms of intuition" which structure all experience, and therefore that, while " things-in-themselves" exist and contribute to experience, they are nonetheless distinct from the objects of experience. From this it follows that the objects of experience are mere "appearances", and that the nature of things as they are in themselves is unknowable to us. In an attempt to counter the skepticism he found in the writings of philosopher David Hume, he wrote the '' Critique of Pure Reason'' (1781/1787), one of his most well-known works. In it, he developed his theory of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ability
Abilities are powers an agent has to perform various actions. They include common abilities, like walking, and rare abilities, like performing a double backflip. Abilities are intelligent powers: they are guided by the person's intention and executing them successfully results in an action, which is not true for all types of powers. They are closely related to but not identical with various other concepts, such as disposition, know-how, aptitude, talent, potential, and skill. Theories of ability aim to articulate the nature of abilities. Traditionally, the ''conditional analysis'' has been the most popular approach. According to it, having an ability means one would perform the action in question if one tried to do so. On this view, Michael Phelps has the ability to swim 200 meters in under 2 minutes because he would do so if he tried to. This approach has been criticized in various ways. Some counterexamples involve cases in which the agent is physically able to do something bu ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Categorical Imperative
The categorical imperative (german: kategorischer Imperativ) is the central philosophical concept in the deontological moral philosophy of Immanuel Kant. Introduced in Kant's 1785 ''Groundwork of the Metaphysic of Morals'', it is a way of evaluating motivations for action. It is best known in its original formulation: "Act only according to that maxim whereby you can, at the same time, will that it should become a universal law."It is standard to also reference the ''Akademie Ausgabe'' of Kant's works. The ''Groundwork'' occurs in the fourth volume. Citations throughout this article follow the format 4:x. For example, the above citation is taken from 4:421. According to Kant, sentient beings occupy a special place in creation, and morality can be summed up in an imperative, or ultimate commandment of reason, from which all duties and obligations derive. He defines an ''imperative'' as any proposition declaring a certain action (or inaction) to be necessary. Hypothetical imperati ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Free Will
Free will is the capacity of agents to choose between different possible courses of action unimpeded. Free will is closely linked to the concepts of moral responsibility, praise, culpability, sin, and other judgements which apply only to actions that are freely chosen. It is also connected with the concepts of advice, persuasion, deliberation, and prohibition. Traditionally, only actions that are freely willed are seen as deserving credit or blame. Whether free will exists, what it is and the implications of whether it exists or not are some of the longest running debates of philosophy and religion. Some conceive of free will as the right to act outside of external influences or wishes. Some conceive free will to be the capacity to make choices undetermined by past events. Determinism suggests that only one course of events is possible, which is inconsistent with a libertarian model of free will. Ancient Greek philosophy identified this issue, which remains a major focus o ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
David Hume
David Hume (; born David Home; 7 May 1711 NS (26 April 1711 OS) – 25 August 1776) Cranston, Maurice, and Thomas Edmund Jessop. 2020 999br>David Hume" ''Encyclopædia Britannica''. Retrieved 18 May 2020. was a Scottish Enlightenment philosopher, historian, economist, librarian, and essayist, who is best known today for his highly influential system of philosophical empiricism, scepticism, and naturalism. Beginning with '' A Treatise of Human Nature'' (1739–40), Hume strove to create a naturalistic science of man that examined the psychological basis of human nature. Hume argued against the existence of innate ideas, positing that all human knowledge derives solely from experience. This places him with Francis Bacon, Thomas Hobbes, John Locke, and George Berkeley as an Empiricist. Hume argued that inductive reasoning and belief in causality cannot be justified rationally; instead, they result from custom and mental habit. We never actually perceive that one event caus ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Utilitas
''Utilitas'' is a quarterly Peer review, peer-reviewed academic journal covering political philosophy and jurisprudence published by Cambridge University Press. It was established in 1989 and the editor-in-chief is Dale E. Miller (Old Dominion University). Abstracting and indexing The journal is abstracted and indexed in: External links * {{Authority control Philosophy journals Cambridge University Press academic journals Quarterly journals English-language journals Publications established in 1989 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Deontic Logic
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 PA\equiv \neg O\neg A. Note that in natural language, the statement "You may go to the zoo OR the park" should be understood as Pz\land Pp instead of Pz\lor Pp, as both options are permitted by the statement; See Hans Kamp's paradox of free choice for more details. 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 e ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Temporal Logic
In logic, temporal logic is any system of rules and symbolism for representing, and reasoning about, propositions qualified in terms of time (for example, "I am ''always'' hungry", "I will ''eventually'' be hungry", or "I will be hungry ''until'' I eat something"). It is sometimes also used to refer to tense logic, a modal logic-based system of temporal logic introduced by Arthur Prior in the late 1950s, with important contributions by Hans Kamp. It has been further developed by computer scientists, notably Amir Pnueli, and logicians. Temporal logic has found an important application in formal verification, where it is used to state requirements of hardware or software systems. For instance, one may wish to say that ''whenever'' a request is made, access to a resource is ''eventually'' granted, but it is ''never'' granted to two requestors simultaneously. Such a statement can conveniently be expressed in a temporal logic. Motivation Consider the statement "I am hungry". Though its ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Logically Equivalent
Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the science of deductively valid inferences or of logical truths. It is a formal science investigating how conclusions follow from premises in a topic-neutral way. When used as a countable noun, the term "a logic" refers to a logical formal system that articulates a proof system. Formal logic contrasts with informal logic, which is associated with informal fallacies, critical thinking, and argumentation theory. While there is no general agreement on how formal and informal logic are to be distinguished, one prominent approach associates their difference with whether the studied arguments are expressed in formal or informal languages. Logic plays a central role in multiple fields, such as philosophy, mathematics, computer science, and linguistics. Logic studies arguments, which consist of a set of premises together with a conclusion. Premises and conclusions are usually und ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Free Will
Free will is the capacity of agents to choose between different possible courses of action unimpeded. Free will is closely linked to the concepts of moral responsibility, praise, culpability, sin, and other judgements which apply only to actions that are freely chosen. It is also connected with the concepts of advice, persuasion, deliberation, and prohibition. Traditionally, only actions that are freely willed are seen as deserving credit or blame. Whether free will exists, what it is and the implications of whether it exists or not are some of the longest running debates of philosophy and religion. Some conceive of free will as the right to act outside of external influences or wishes. Some conceive free will to be the capacity to make choices undetermined by past events. Determinism suggests that only one course of events is possible, which is inconsistent with a libertarian model of free will. Ancient Greek philosophy identified this issue, which remains a major focus o ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
