|
Imperative Logic
Imperative logic is the field of logic concerned with imperatives. In contrast to declaratives, it is not clear whether imperatives denote propositions or more generally what role truth and falsity play in their semantics. Thus, there is almost no consensus on any aspect of imperative logic. Jørgensen's dilemma One of a logic's principal concerns is logical validity. It seems that arguments with imperatives can be valid. Consider: :P1. Take all the books off the table! :P2. ''Foundations of Arithmetic'' is on the table. :C1. Therefore, take ''Foundations of Arithmetic'' off the table! However, an argument is valid if the conclusion follows from the premises. This means the premises give us reason to believe the conclusion, or, alternatively, the truth of the premises determines truth of the conclusion. Since imperatives are neither true nor false and since they are not proper objects of belief, none of the standard accounts of logical validity apply to arguments containing imp ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Logic
Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the study of deductively valid inferences or logical truths. It examines how conclusions follow from premises based on the structure of arguments alone, independent of their topic and content. Informal logic is associated with informal fallacies, critical thinking, and argumentation theory. Informal logic examines arguments expressed in natural language whereas formal logic uses formal language. When used as a countable noun, the term "a logic" refers to a specific logical formal system that articulates a proof system. Logic plays a central role in many fields, such as philosophy, mathematics, computer science, and linguistics. Logic studies arguments, which consist of a set of premises that leads to a conclusion. An example is the argument from the premises "it's Sunday" and "if it's Sunday then I don't have to work" leading to the conclusion "I don't have to wor ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Domain Of Discourse
In the formal sciences, the domain of discourse or universe of discourse (borrowing from the mathematical concept of ''universe'') is the set of entities over which certain variables of interest in some formal treatment may range. It is also defined as the collection of objects being discussed in a specific discourse. In model-theoretical semantics, a universe of discourse is the set of entities that a model is based on. The domain of discourse is usually identified in the preliminaries, so that there is no need in the further treatment to specify each time the range of the relevant variables. Many logicians distinguish, sometimes only tacitly, between the ''domain of a science'' and the ''universe of discourse of a formalization of the science''. Etymology The concept ''universe of discourse'' was used for the first time by George Boole (1854) on page 42 of his '' Laws of Thought'': The concept, probably discovered independently by Boole in 1847, played a crucial role 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] |
Pragmatics
In linguistics and the philosophy of language, pragmatics is the study of how Context (linguistics), context contributes to meaning. The field of study evaluates how human language is utilized in social interactions, as well as the relationship between the interpreter and the interpreted. Linguists who specialize in pragmatics are called pragmaticians. The field has been represented since 1986 by the International Pragmatics Association (IPrA). Pragmatics encompasses phenomena including implicature, speech acts, relevance theory, relevance and Conversation analysis, conversation,Mey, Jacob L. (1993) ''Pragmatics: An Introduction''. Oxford: Blackwell (2nd ed. 2001). as well as nonverbal communication. Theories of pragmatics go hand-in-hand with theories of semantics, which studies aspects of meaning, and syntax, which examines sentence structures, principles, and relationships. The ability to understand another speaker's intended meaning is called ''pragmatic competence''. In 1938 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Speech Act
In the philosophy of language and linguistics, a speech act is something expressed by an individual that not only presents information but performs an action as well. For example, the phrase "I would like the mashed potatoes; could you please pass them to me?" is considered a speech act as it expresses the speaker's desire to acquire the mashed potatoes, as well as presenting a request that someone pass the potatoes to them. According to Kent Bach, "almost any speech act is really the performance of several acts at once, distinguished by different aspects of the speaker's intention: there is the act of saying something, what one does in saying it, such as requesting or promising, and how one is trying to affect one's audience". The contemporary use of the term "speech act" goes back to J. L. Austin's development of performative utterances and his theory of locutionary, illocutionary, and perlocutionary acts. Speech acts serve their function once they are said or communica ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
List Of Paradoxes
This list includes well known paradoxes, grouped thematically. The grouping is approximate, as paradoxes may fit into more than one category. This list collects only scenarios that have been called a paradox by at least one source and have their own article in this encyclopedia. These paradoxes may be due to fallacious reasoning (falsidical), or an unintuitive solution (Veridical paradox, veridical). The term ''paradox'' is often used to describe a counter-intuitive result. However, some of these paradoxes qualify to fit into the mainstream viewpoint of a paradox, which is a self-contradictory result gained even while properly applying accepted ways of reasoning. These paradoxes, often called ''antinomy,'' point out genuine problems in our understanding of the ideas of truth and Definite description, description. Logic * : The supposition that, "if one of two simultaneous assumptions leads to a contradiction, the other assumption is also disproved" leads to paradoxical conseq ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Free Choice Inference
Free choice is a phenomenon in natural language where a linguistic disjunction appears to receive a logical conjunctive interpretation when it interacts with a modal operator. For example, the following English sentences can be interpreted to mean that the addressee can watch a movie ''and'' that they can also play video games, depending on their preference: # You can watch a movie or play video games. # You can watch a movie or you can play video games. Free choice inferences are a major topic of research in formal semantics and philosophical logic because they are not valid in classical systems of modal logic. If they were valid, then the semantics of natural language would validate the ''Free Choice Principle''. # ''Free Choice Principle'': \Diamond( P \lor Q) \rightarrow (\Diamond P \land \Diamond Q) This symbolic logic formula above is not valid in classical modal logic: Adding this principle as an axiom to standard modal logics would allow one to conclude \Diamond Q ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Metaethics
In metaphilosophy and ethics, metaethics is the study of the nature, scope, ground, and meaning of moral judgment, ethical belief, or values. It is one of the three branches of ethics generally studied by philosophers, the others being normative ethics (questions of how one ought to be and act) and applied ethics (practical questions of right behavior in given, usually contentious, situations). While normative ethics addresses such questions as "What should I do?", evaluating specific practices and principles of action, metaethics addresses questions about the nature of goodness, how one can discriminate good from evil, and what the proper account of moral knowledge is. Similar to accounts of knowledge generally, the threat of skepticism about the possibility of moral knowledge and cognitively meaningful moral propositions often motivates positive accounts in metaethics. Another distinction is often made between the nature of questions related to each: first-order (substantive) ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ethics
Ethics is the philosophy, philosophical study of Morality, moral phenomena. Also called moral philosophy, it investigates Normativity, 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 ethics, 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 Duty, duties, like t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mind (journal)
''Mind'' (stylized as ''MIND'') is a quarterly peer-reviewed academic journal published by Oxford University Press on behalf of the Mind Association. Having previously published exclusively philosophy in the analytic tradition, it now "aims to take quality to be the sole criterion of publication, with no area of philosophy, no style of philosophy, and no school of philosophy excluded." Its institutional home is shared between the University of Oxford and University College London. It is considered an important resource for studying philosophy. History and profile The journal was established in 1876 by the Scottish philosopher Alexander Bain (University of Aberdeen) with his colleague and former student George Croom Robertson (University College London) as editor-in-chief. With the death of Robertson in 1891, George Stout took over the editorship and began a 'New Series'. Early on, the journal was dedicated to the question of whether psychology could be a legitimate natural s ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Henri Poincaré
Jules Henri Poincaré (, ; ; 29 April 185417 July 1912) was a French mathematician, Theoretical physics, theoretical physicist, engineer, and philosophy of science, philosopher of science. He is often described as a polymath, and in mathematics as "The Last Universalist", since he excelled in all fields of the discipline as it existed during his lifetime. He has further been called "the Carl Friedrich Gauss, Gauss of History of mathematics, modern mathematics". Due to his success in science, along with his influence and philosophy, he has been called "the philosopher par excellence of modern science". As a mathematician and physicist, he made many original fundamental contributions to Pure mathematics, pure and applied mathematics, mathematical physics, and celestial mechanics. In his research on the three-body problem, Poincaré became the first person to discover a chaotic deterministic system which laid the foundations of modern chaos theory. Poincaré is regarded as the cr ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Free Choice Inference
Free choice is a phenomenon in natural language where a linguistic disjunction appears to receive a logical conjunctive interpretation when it interacts with a modal operator. For example, the following English sentences can be interpreted to mean that the addressee can watch a movie ''and'' that they can also play video games, depending on their preference: # You can watch a movie or play video games. # You can watch a movie or you can play video games. Free choice inferences are a major topic of research in formal semantics and philosophical logic because they are not valid in classical systems of modal logic. If they were valid, then the semantics of natural language would validate the ''Free Choice Principle''. # ''Free Choice Principle'': \Diamond( P \lor Q) \rightarrow (\Diamond P \land \Diamond Q) This symbolic logic formula above is not valid in classical modal logic: Adding this principle as an axiom to standard modal logics would allow one to conclude \Diamond Q ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
