|
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 (born Emanuel Kant; 22 April 1724 – 12 February 1804) was a German Philosophy, philosopher and one of the central Age of Enlightenment, 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 and highly discussed figures in modern Western philosophy. In his doctrine of transcendental idealism, Kant argued that space and time are mere "forms of intuition" that structure all experience and that the objects of experience are mere "appearances". The nature of things as they are in themselves is unknowable to us. Nonetheless, in an attempt to counter the philosophical doctrine of Philosophical skepticism, skepticism, he wrote the ''Critique of Pure Reason'' (1781/1787), his best-known work. Kant drew a parallel to the Copernican Revolution#Immanuel Kant, Copernican Revolution in his proposal to think of the objects of experience as confo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ability
Abilities are powers an agent has to perform various Action (philosophy), 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 (skill), talent, potential, and skill. #Theories of ability, 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 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Categorical Imperative
The categorical imperative () is the central philosophical concept in the deontological Kantian ethics, moral philosophy of Immanuel Kant. Introduced in Kant's 1785 ''Groundwork of the Metaphysics 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 (philosophy), 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, rational being (Kantian ethics), rational 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) t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Free Will
Free will is generally understood as the capacity or ability of people to (a) choice, choose between different possible courses of Action (philosophy), action, (b) exercise control over their actions in a way that is necessary for moral responsibility, or (c) be the ultimate source or originator of their actions. There are different theories as to its nature, and these aspects are often emphasized differently depending on philosophical tradition, with debates focusing on whether and how such freedom can coexist with determinism, divine foreknowledge, and other constraints. Free will is closely linked to the concepts of moral responsibility, praise, culpability, and other judgements which apply only to actions that are freely chosen. It is also connected with the concepts of Advice (opinion), advice, persuasion, deliberation, and Prohibitionism, prohibition. Traditionally, only actions that are freely Will (philosophy), willed are seen as deserving credit or blame. Whether free ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
David Hume
David Hume (; born David Home; – 25 August 1776) was a Scottish philosopher, historian, economist, and essayist who was best known for his highly influential system of empiricism, philosophical scepticism and metaphysical 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 followed John Locke in rejecting the existence of innate ideas, concluding that all human knowledge derives solely from experience. This places him with Francis Bacon, Thomas Hobbes, John Locke, and George Berkeley as an empiricist. Cranston, Maurice, and Thomas Edmund Jessop. 2020 999br>David Hume" ''Encyclopædia Britannica''. Retrieved 18 May 2020. 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 causes another but only experience ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Utilitas
''Utilitas'' is a quarterly peer-reviewed academic journal covering political philosophy and jurisprudence published by Cambridge University Press. It was established in 1989 and the editor-in-chief An editor-in-chief (EIC), also known as lead editor or chief editor, is a publication's editorial leader who has final responsibility for its operations and policies. The editor-in-chief heads all departments of the organization and is held accoun ... is Dale E. Miller ( Old Dominion University). Abstracting and indexing The journal is abstracted and indexed in: References External links * Political philosophy journals Cambridge University Press academic journals Quarterly journals English-language journals Academic journals established in 1989 {{poli-philo-journal-stub ... [...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. 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. 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 O_i for agent a_i, O_iA means that "It i ... [...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 it ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Logically Equivalent
In logic and mathematics, statements p and q are said to be logically equivalent if they have the same truth value in every model. The logical equivalence of p and q is sometimes expressed as p \equiv q, p :: q, \textsfpq, or p \iff q, depending on the notation being used. However, these symbols are also used for material equivalence, so proper interpretation would depend on the context. Logical equivalence is different from material equivalence, although the two concepts are intrinsically related. Logical equivalences In logic, many common logical equivalences exist and are often listed as laws or properties. The following tables illustrate some of these. General logical equivalences Logical equivalences involving conditional statements :#p \rightarrow q \equiv \neg p \vee q :#p \rightarrow q \equiv \neg q \rightarrow \neg p :#p \vee q \equiv \neg p \rightarrow q :#p \wedge q \equiv \neg (p \rightarrow \neg q) :#\neg (p \rightarrow q) \equiv p \wedge \neg q :#(p \rightarro ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Free Will
Free will is generally understood as the capacity or ability of people to (a) choice, choose between different possible courses of Action (philosophy), action, (b) exercise control over their actions in a way that is necessary for moral responsibility, or (c) be the ultimate source or originator of their actions. There are different theories as to its nature, and these aspects are often emphasized differently depending on philosophical tradition, with debates focusing on whether and how such freedom can coexist with determinism, divine foreknowledge, and other constraints. Free will is closely linked to the concepts of moral responsibility, praise, culpability, and other judgements which apply only to actions that are freely chosen. It is also connected with the concepts of Advice (opinion), advice, persuasion, deliberation, and Prohibitionism, prohibition. Traditionally, only actions that are freely Will (philosophy), willed are seen as deserving credit or blame. Whether free ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ethical Principles
Ethics is the philosophical study of moral phenomena. Also called moral philosophy, it investigates normative questions about what people ought to do or which behavior is morally right. Its main branches include normative ethics, applied ethics, and metaethics. Normative ethics aims to find general principles that govern how people should act. Applied ethics examines concrete ethical problems in real-life situations, such as abortion, treatment of animals, and business practices. Metaethics explores the underlying assumptions and concepts of ethics. It asks whether there are objective moral facts, how moral knowledge is possible, and how moral judgments motivate people. Influential normative theories are consequentialism, deontology, and virtue ethics. According to consequentialists, an act is right if it leads to the best consequences. Deontologists focus on acts themselves, saying that they must adhere to duties, like telling the truth and keeping promises. Virtue ethics ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
