|
Masked-man Fallacy
In philosophical logic, the masked-man fallacy (also known as the intensional fallacy or epistemic fallacy) is the false assumption that a knowledge or a belief about an object (an intension) can be used to correctly tell it apart from another object (as opposed to facts, that can be used to correctly tell two objects apart). It is committed when one makes an illicit use of Leibniz's law in an argument. Leibniz's law states that if A and B are the same object, then A and B are indiscernible (that is, they have all the same properties). By ''modus tollens'', this means that if one object has a certain property, while another object does not have the same property, the two objects cannot be identical. The fallacy is "epistemic" because it posits an immediate identity between a subject's knowledge of an object with the object itself, failing to recognize that Leibniz's Law is not capable of accounting for intensional contexts. Examples The name of the fallacy comes from the example: * ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Philosophical Logic
Understood in a narrow sense, philosophical logic is the area of logic that studies the application of logical methods to philosophical problems, often in the form of extended logical systems like modal logic. Some theorists conceive philosophical logic in a wider sense as the study of the scope and nature of logic in general. In this sense, philosophical logic can be seen as identical to the philosophy of logic, which includes additional topics like how to define logic or a discussion of the fundamental concepts of logic. The current article treats philosophical logic in the narrow sense, in which it forms one field of inquiry within the philosophy of logic. An important issue for philosophical logic is the question of how to classify the great variety of non-classical logical systems, many of which are of rather recent origin. One form of classification often found in the literature is to distinguish between extended logics and deviant logics. Logic itself can be defined as t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Validity (logic)
In logic, specifically in deductive reasoning, an argument is valid if and only if it takes a form that makes it impossible for the premises to be truth, true and the conclusion nevertheless to be False (logic), false. It is not required for a valid argument to have premises that are actually true, but to have premises that, if they were true, would guarantee the truth of the argument's conclusion. Valid arguments must be clearly expressed by means of sentences called well-formed formula, well-formed formulas (also called ''wffs'' or simply ''formulas''). The validity of an argument can be tested, proved or disproved, and depends on its logical form. Arguments In logic, an argument is a set of related statements expressing the ''premises'' (which may consists of non-empirical evidence, empirical evidence or may contain some axiomatic truths) and a ''necessary conclusion based on the relationship of the premises.'' An argument is ''valid'' if and only if it would be contradicto ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Metonymy
Metonymy () is a figure of speech in which a concept is referred to by the name of something associated with that thing or concept. For example, the word " suit" may refer to a person from groups commonly wearing business attire, such as salespeople or attorneys. Etymology The words ''metonymy'' and ''metonym'' come ; , a suffix that names figures of speech, . Background Metonymy and related figures of speech are common in everyday speech and writing. Synecdoche and metalepsis are considered specific types of metonymy. Polysemy, the capacity for a word or phrase to have multiple meanings, sometimes results from relations of metonymy. Both metonymy and metaphor involve the substitution of one term for another. In metaphor, this substitution is based on some specific analogy between two things, whereas in metonymy the substitution is based on some understood association or contiguity. American literary theorist Kenneth Burke considers metonymy as one of four "master tro ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Use–mention Distinction
In analytic philosophy, a fundamental distinction is made between the use of a term and the mere mention of it.Devitt and Sterelny (1999) pp. 40–1. W. V. O. Quine (1940) p. 24. Many philosophical works have been "vitiated by a failure to distinguish use and mention." The distinction can sometimes be pedantic, especially in simple cases where it is obvious. The distinction between use and mention can be illustrated with the word "cheese": # Use: Cheese is derived from milk. # Mention: "Cheese" is derived from the Old English word . The first sentence is a statement about the substance called "cheese": it the word "cheese" to refer to that substance. The second is a statement about the word "cheese" as a signifier: it the word without using it to refer to anything other than itself. Overview In written language, words or phrases often appear between single or double quotation marks or in italics. In philosophy, single quotation marks are typically used, while in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Transitivity Of Identity
In metaphysics, identity (from , "sameness") is the relation each thing bears only to itself. The notion of identity gives rise to many philosophical problems, including the identity of indiscernibles (if ''x'' and ''y'' share all their properties, are they one and the same thing?), and questions about change and personal identity over time (what has to be the case for a person ''x'' at one time and a person ''y'' at a later time to be one and the same person?). It is important to distinguish between ''qualitative identity'' and ''numerical identity''. For example, consider two children with identical bicycles engaged in a race while their mother is watching. The two children have the ''same'' bicycle in one sense (''qualitative identity'') and the ''same'' mother in another sense (''numerical identity''). This article is mainly concerned with ''numerical identity'', which is the stricter notion. The philosophical concept of identity is distinct from the better-known notion of id ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Opaque Context
An opaque context or referentially opaque context is a linguistic context in which it is not always possible to substitute "co-referential" expressions (expressions referring to the same object) without altering the truth of sentences. The expressions involved are usually grammatically singular terms. So, substitution of co-referential expressions into an opaque context does not always preserve truth. For example, "Lois believes x is a hero" is an opaque context because "Lois believes Superman is a hero" is true while "Lois believes Clark Kent is a hero" is false, even though 'Superman' and 'Clark Kent' are co-referential expressions. Usage The term is used in philosophical theories of reference, and is to be contrasted with referentially transparent context. In the opaque case, "Mary believes that Cicero is a great orator" gives rise to an opaque context; although Cicero was also called 'Tully',Tully is anglicised historic name from Tullius, source: we can't simply substitu ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
List Of Fallacies
A fallacy is the use of invalid or otherwise faulty reasoning in the construction of an argument. All forms of human communication can contain fallacies. Because of their variety, fallacies are challenging to classify. They can be classified by their structure (formal fallacies) or content (informal fallacies). Informal fallacies, the larger group, may then be subdivided into categories such as improper presumption, faulty generalization, error in assigning causation, and relevance, among others. The use of fallacies is common when the speaker's goal of achieving common agreement is more important to them than utilizing sound reasoning. When fallacies are used, the premise should be recognized as not well-grounded, the conclusion as unproven (but not necessarily false), and the argument as unsound. Formal fallacies A formal fallacy is an error in the argument's form. All formal fallacies are types of . * Appeal to probability – taking something for granted because it wo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Eubulides
Eubulides (; fl. 4th century BCE) of Miletus was a philosopher of the Megarian school who is famous for his paradoxes. Life According to Diogenes Laërtius, Eubulides was a pupil of Euclid of Megara, the founder of the Megarian school. He was a contemporary of Aristotle, against whom he wrote with great bitterness. He taught logic to Demosthenes, and he is also said to have taught Apollonius Cronus, the teacher of Diodorus Cronus, and the historian Euphantus. Paradoxes of Eubulides Eubulides is most famous for inventing the forms of seven famous paradoxes, some of which, however, are also ascribed to Diodorus Cronus: # The Liar (''pseudomenos'') paradox:A man says: "What I am saying now is a lie." If the statement is true, then he is lying, even though the statement is true. If the statement is a lie, then he is not actually lying, even though the statement is a lie. Thus, if the speaker is lying, he tells the truth, and vice versa. # The Masked Man (''enkekalymmenos'') parad ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Black Box
In science, computing, and engineering, a black box is a system which can be viewed in terms of its inputs and outputs (or transfer characteristics), without any knowledge of its internal workings. Its implementation is "opaque" (black). The term can be used to refer to many inner workings, such as those of a transistor, an engine, an algorithm, the human brain, or an institution or government. To analyze an open system with a typical "black box approach", only the behavior of the stimulus/response will be accounted for, to infer the (unknown) ''box''. The usual representation of this "black box system" is a data flow diagram centered in the box. The opposite of a black box is a system where the inner components or logic are available for inspection, which is most commonly referred to as a white box (sometimes also known as a "clear box" or a "glass box"). History The modern meaning of the term "black box" seems to have entered the English language around 1945. In electroni ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Extension (semantics)
In any of several fields of study that treat the use of signs — for example, in linguistics, logic, mathematics, semantics, semiotics, and philosophy of language — the extension of a concept, idea, or sign consists of the things to which it applies, in contrast with its comprehension (logic), comprehension or intension, which consists very roughly of the ideas, properties, or corresponding signs that are implied or suggested by the concept in question. In philosophical semantics or the philosophy of language, the 'extension' of a concept or expression is the set of things it extends to, or applies to, if it is the sort of concept or expression that a single object by itself can satisfy. Concepts and expressions of this sort are monad (Greek philosophy), monadic or "one-place" concepts and expressions. So the extension of the word "dog" is the set of all (past, present and future) dogs in the world: the set includes Fido, Rover, Lassie, Rex, and so on. The extension of the ph ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Intension
In any of several fields of study that treat the use of signs—for example, in linguistics, logic, mathematics, semantics, semiotics, and philosophy of language—an intension is any property or quality connoted by a word, phrase, or another symbol. In the case of a word, the word's definition often implies an intension. For instance, the intensions of the word ''plant'' include properties such as "being composed of cellulose (not always true)", "alive", and "organism", among others. A '' comprehension'' is the collection of all such intensions. Overview The meaning of a word can be thought of as the bond between the ''idea the word means'' and the ''physical form of the word''. Swiss linguist Ferdinand de Saussure (1857–1913) contrasts three concepts: # the ''signifier'' – the "sound image" or the string of letters on a page that one recognizes as the form of a sign # the ''signified'' – the meaning, the concept or idea that a sign expresses or evokes # the ''referen ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Doxastic Logic
Doxastic logic is a type of logic concerned with reasoning about beliefs. The term ' derives from the Ancient Greek (''doxa'', "opinion, belief"), from which the English term ''doxa'' ("popular opinion or belief") is also borrowed. Typically, a doxastic logic uses the notation \mathcal_c x to mean "reasoner c believes that x is true", and the set \mathbb_c : \left \ denotes the set of beliefs of c. In doxastic logic, belief is treated as a modal operator. There is complete parallelism between a person who believes propositions and a formal system that derives propositions. Using doxastic logic, one can express the epistemic counterpart of Gödel's incompleteness theorem of metalogic, as well as Löb's theorem, and other metalogical results in terms of belief. Smullyan, Raymond M., (1986''Logicians who reason about themselves'' Proceedings of the 1986 conference on Theoretical aspects of reasoning about knowledge, Monterey (CA), Morgan Kaufmann Publishers Inc., San Francis ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
