|
Modal Scope Fallacy
A fallacy of necessity is a fallacy in the logic of a syllogism whereby a degree of unwarranted necessity is placed in the conclusion. Example :a) ''Bachelors are necessarily unmarried.'' :b) ''John is a bachelor.'' :Therefore, c) ''John cannot marry.'' The condition a) appears to be a tautology and therefore true. The condition b) is a statement of fact about John which makes him subject to a); that is, b) declares John a bachelor, and a) states that all bachelors are unmarried. Because c) presumes b) will always be the case, it is a fallacy of necessity. John, of course, is always free to stop being a bachelor, simply by getting married; if he does so, b) is no longer true and thus not subject to the tautology a). In this case, c) has unwarranted necessity by assuming, incorrectly, that John cannot stop being a bachelor. Formally speaking, this type of argument equivocates between the '' de dicto'' necessity of a) and the ''de re ''De dicto'' and ''de re'' are two phrase ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Informal Fallacy
Informal fallacies are a type of incorrect argument in natural language. The source of the error is not just due to the ''form'' of the argument, as is the case for formal fallacies, but can also be due to their ''content'' and ''context''. Fallacies, despite being incorrect, usually ''appear'' to be correct and thereby can seduce people into accepting and using them. These misleading appearances are often connected to various aspects of natural language, such as ambiguous or vague expressions, or the assumption of implicit premises instead of making them explicit. Traditionally, a great number of informal fallacies have been identified, including the fallacy of equivocation, the fallacy of amphiboly, the fallacies of composition and division, the false dilemma, the fallacy of begging the question, the ad hominem fallacy and the appeal to ignorance. There is no general agreement as to how the various fallacies are to be grouped into categories. One approach sometimes fou ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Syllogism
A syllogism ( grc-gre, συλλογισμός, ''syllogismos'', 'conclusion, inference') is a kind of logical argument that applies deductive reasoning to arrive at a conclusion based on two propositions that are asserted or assumed to be true. In its earliest form (defined by Aristotle in his 350 BCE book '' Prior Analytics''), a syllogism arises when two true premises (propositions or statements) validly imply a conclusion, or the main point that the argument aims to get across. For example, knowing that all men are mortal (major premise) and that Socrates is a man (minor premise), we may validly conclude that Socrates is mortal. Syllogistic arguments are usually represented in a three-line form: All men are mortal. Socrates is a man. Therefore, Socrates is mortal.In antiquity, two rival syllogistic theories existed: Aristotelian syllogism and Stoic syllogism. From the Middle Ages onwards, ''categorical syllogism'' and ''syllogism'' were usually used interchangeably. Thi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Tautology (rhetoric)
In literary criticism and rhetoric, a tautology is a statement that repeats an idea, using near-synonymous morphemes, words or phrases, effectively "saying the same thing twice". Tautology and pleonasm are not consistently differentiated in literature. Like pleonasm, tautology is often considered a fault of style when unintentional. Intentional repetition may emphasize a thought or help the listener or reader understand a point. Sometimes logical tautologies like "Boys will be boys" are conflated with language tautologies, but a language tautology is not inherently true, while a logical tautology always is. Etymology The word was coined in Hellenistic Greek from ('the same') plus ('word' or 'idea'), and transmitted through 3rd-century Latin and French . It first appeared in English in the 16th century. The use of the term logical tautology was introduced in English by Wittgenstein in 1919, perhaps following Auguste Comte's usage in 1835. Examples * "Only time will tell ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Tautology (logic)
In mathematical logic, a tautology (from el, ταυτολογία) is a formula or assertion that is true in every possible interpretation. An example is "x=y or x≠y". Similarly, "either the ball is green, or the ball is not green" is always true, regardless of the colour of the ball. The philosopher Ludwig Wittgenstein first applied the term to redundancies of propositional logic in 1921, borrowing from rhetoric, where a tautology is a repetitive statement. In logic, a formula is satisfiable if it is true under at least one interpretation, and thus a tautology is a formula whose negation is unsatisfiable. In other words, it cannot be false. It cannot be untrue. Unsatisfiable statements, both through negation and affirmation, are known formally as contradictions. A formula that is neither a tautology nor a contradiction is said to be logically contingent. Such a formula can be made either true or false based on the values assigned to its propositional variables. The dou ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
De Dicto And De Re
''De dicto'' and ''de re'' are two phrases used to mark a distinction in intensional statements, associated with the intensional operators in many such statements. The distinction is used regularly in metaphysics and in philosophy of language. The literal translation of the phrase "''de dicto''" is "about what is said", whereas ''de re'' translates as "about the thing". The original meaning of the Latin locutions may help to elucidate the living meaning of the phrases, in the distinctions they mark. The distinction can be understood by examples of intensional contexts of which three are considered here: a context of thought, a context of desire, and a context of modality. Context of thought There are two possible interpretations of the sentence "Peter believes someone is out to get him". On one interpretation, 'someone' is unspecific and Peter suffers a general paranoia; he believes that it is true that a person is out to get him, but does not necessarily have any beliefs about ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Modal Logic
Modal logic is a collection of formal systems developed to represent statements about necessity and possibility. It plays a major role in philosophy of language, epistemology, metaphysics, and natural language semantics. Modal logics extend other systems by adding unary operators \Diamond and \Box, representing possibility and necessity respectively. For instance the modal formula \Diamond P can be read as "possibly P" while \Box P can be read as "necessarily P". Modal logics can be used to represent different phenomena depending on what kind of necessity and possibility is under consideration. When \Box is used to represent epistemic necessity, \Box P states that P is epistemically necessary, or in other words that it is known. When \Box is used to represent deontic necessity, \Box P states that P is a moral or legal obligation. In the standard relational semantics for modal logic, formulas are assigned truth values relative to a '' possible world''. A formula's truth value ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Context Of Modality
Context may refer to: * Context (language use), the relevant constraints of the communicative situation that influence language use, language variation, and discourse summary Computing * Context (computing), the virtual environment required to suspend a running software program * Lexical context or runtime context of a program, which determines name resolution; see Scope (computer science) * Context awareness, a complementary to location awareness * Context menu, a menu in a graphical user interface that appears upon user interaction * ConTeXt, a macro package for the TeX typesetting system * ConTEXT, a text editor for Microsoft Windows * Operational context, a temporarily defined environment of cooperation * Context (term rewriting), a formal expression C /math> with a hole Other uses * Context (festival), an annual Russian festival of modern choreography * Archaeological context, an event in time which has been preserved in the archaeological record * Opaque context, the lingu ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Modal Logic
Modal logic is a collection of formal systems developed to represent statements about necessity and possibility. It plays a major role in philosophy of language, epistemology, metaphysics, and natural language semantics. Modal logics extend other systems by adding unary operators \Diamond and \Box, representing possibility and necessity respectively. For instance the modal formula \Diamond P can be read as "possibly P" while \Box P can be read as "necessarily P". Modal logics can be used to represent different phenomena depending on what kind of necessity and possibility is under consideration. When \Box is used to represent epistemic necessity, \Box P states that P is epistemically necessary, or in other words that it is known. When \Box is used to represent deontic necessity, \Box P states that P is a moral or legal obligation. In the standard relational semantics for modal logic, formulas are assigned truth values relative to a '' possible world''. A formula's truth value ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Syllogistic Fallacies
A syllogism ( grc-gre, συλλογισμός, ''syllogismos'', 'conclusion, inference') is a kind of logical argument that applies deductive reasoning to arrive at a conclusion based on two propositions that are asserted or assumed to be true. In its earliest form (defined by Aristotle in his 350 BCE book ''Prior Analytics''), a syllogism arises when two true premises (propositions or statements) validly imply a conclusion, or the main point that the argument aims to get across. For example, knowing that all men are mortal (major premise) and that Socrates is a man (minor premise), we may validly conclude that Socrates is mortal. Syllogistic arguments are usually represented in a three-line form: All men are mortal. Socrates is a man. Therefore, Socrates is mortal.In antiquity, two rival syllogistic theories existed: Aristotelian syllogism and Stoic syllogism. From the Middle Ages onwards, ''categorical syllogism'' and ''syllogism'' were usually used interchangeably. This ar ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
