|
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] |
Intensional Statement
In linguistics, logic, philosophy, and other fields, 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", "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 ''referent'' – the actual thing or set of things a sign refers to. See '' Dyadic signs'' and '' Reference (semantics)''. Without intension ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Logical Equivalence
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 \implies q \equiv \neg p \vee q :#p \implies q \equiv \neg q \implies \neg p :#p \vee q \equiv \neg p \implies q :#p \wedge q \equiv \neg (p \implies \neg q) :#\neg (p \implies q) \equiv p \wedge \neg q :#(p \implies q) \wedge (p \implie ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Dichotomies
A dichotomy is a partition of a whole (or a set) into two parts (subsets). In other words, this couple of parts must be * jointly exhaustive: everything must belong to one part or the other, and * mutually exclusive: nothing can belong simultaneously to both parts. If there is a concept A, and it is split into parts B and not-B, then the parts form a dichotomy: they are mutually exclusive, since no part of B is contained in not-B and vice versa, and they are jointly exhaustive, since they cover all of A, and together again give A. Such a partition is also frequently called a bipartition. The two parts thus formed are complements. In logic, the partitions are opposites if there exists a proposition such that it holds over one and not the other. Treating continuous variables or multi categorical variables as binary variables is called dichotomization. The discretization error inherent in dichotomization is temporarily ignored for modeling purposes. Etymology The term '' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Concepts In The Philosophy Of Language
Concepts are defined as abstract ideas. They are understood to be the fundamental building blocks of the concept behind principles, thoughts and beliefs. They play an important role in all aspects of cognition. As such, concepts are studied by several disciplines, such as linguistics, psychology, and philosophy, and these disciplines are interested in the logical and psychological structure of concepts, and how they are put together to form thoughts and sentences. The study of concepts has served as an important flagship of an emerging interdisciplinary approach called cognitive science. In contemporary philosophy, there are at least three prevailing ways to understand what a concept is: * Concepts as mental representations, where concepts are entities that exist in the mind (mental objects) * Concepts as abilities, where concepts are abilities peculiar to cognitive agents (mental states) * Concepts as Fregean senses, where concepts are abstract objects, as opposed to mental o ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Latin Logical Phrases
Latin (, or , ) is a classical language belonging to the Italic branch of the Indo-European languages. Latin was originally a dialect spoken in the lower Tiber area (then known as Latium) around present-day Rome, but through the power of the Roman Republic it became the dominant language in the Italian region and subsequently throughout the Roman Empire. Even after the fall of Western Rome, Latin remained the common language of international communication, science, scholarship and academia in Europe until well into the 18th century, when other regional vernaculars (including its own descendants, the Romance languages) supplanted it in common academic and political usage, and it eventually became a dead language in the modern linguistic definition. Latin is a highly inflected language, with three distinct genders (masculine, feminine, and neuter), six or seven noun cases (nominative, accusative, genitive, dative, ablative, and vocative), five declensions, four verb conjuga ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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'' necessity of c). The argument is only valid ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Temperature Paradox
The Temperature Paradox or Partee's Paradox is a classic puzzle in formal semantics and philosophical logic. Formulated by Barbara Partee in the 1970s, it consists of the following argument, which speakers of English judge as wildly invalid. # The temperature is ninety. # The temperature is rising. # Therefore, ninety is rising. (invalid conclusion) Despite its obvious invalidity, this argument would be valid in most formalizations based on traditional extensional systems of logic. For instance, the following formalization in first order predicate logic would be valid via Leibniz's law: # t=90 # R(t) # R(90) (valid conclusion in this formalization) To correctly predict the invalidity of the argument without abandoning Leibniz's Law, a formalization must capture the fact that the first premise makes a claim about the temperature at a particular point in time, while the second makes an assertion about how it changes over time. One way of doing so, proposed by Richard Montague, is ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Quantifier Raising
In generative grammar, the technical term operator denotes a type of expression that enters into an a-bar movement dependency.Chomsky, Noam. (1981) Lectures on Government and Binding, Foris, Dordrecht.Haegeman, Liliane (1994) Introduction to Government and Binding Theory. Blackwell.Koopman, H., & Sportiche, D. (1982). Variables and the Bijection Principle. ''The Linguistic Review, 2'', 139-60. One often says that the operator "binds a variable". Cinque, Guglielmo (1991) Types of A-Bar Dependencies. MIT Press. Operators are often determiners, such as interrogatives ('which', 'who', 'when', etc.), or quantifiers ('every', 'some', 'most', 'no'), but adverbs such as sentential negation ('not') have also been treated as operators.Zanuttini, R. (1997) Negation and Clausal Structure: A Comparative Study of Romance Languages, Oxford University Press. It is also common within generative grammar to hypothesise phonetically empty operators whenever a clause type or construction exhibits sympt ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Latitudinarianism (philosophy)
Latitudinarianism, in at least one area of contemporary philosophy, is a position concerning ''de dicto'' and ''de re'' (propositional) attitudes. Latitudinarians think that ''de re'' attitudes are not a category distinct from ''de dicto'' attitudes; the former are just a special case of the latter. The term was introduced into discussions of ''de dicto'' and ''de re'' attitudes by Roderick Chisholm Roderick Milton Chisholm (; November 27, 1916 – January 19, 1999) was an American philosopher known for his work on epistemology, metaphysics, free will, value theory, and the philosophy of perception. The '' Stanford Encyclopedia of Philoso ... in his "Knowledge and Belief: 'De Dicto' and 'De Re'" (1976). Latitudinarianism has since also sometimes been called an "unrestricted exportation" view. References and further reading * Baker, Lynne Rudder (1982). "De Re Belief in Action" ''The Philosophical Review'', Vol. 91, No. 3, pp. 363–387. * Chisholm, Roderick (1976). "Know ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
De Se
is Latin for "of oneself" and, in philosophy, it is a phrase used to delineate what some consider a category of ascription distinct from " ''de dicto'' and ''de re''". Such ascriptions are found with propositional attitudes, mental states held by an agent toward a proposition. Such ''de se'' ascriptions occur when an agent holds a mental state towards a proposition about themselves, knowing that this proposition is about themselves. Overview A sentence such as: "Peter thinks that he is pale," where the pronoun "he" is meant to refer to Peter, is ambiguous in a way not captured by the / distinction. Such a sentence could report that Peter has the following thought: "I am pale". Or Peter could have the following thought: "he is pale", where it so happens that the pronoun "he" refers to Peter, but Peter is unaware of it. The first meaning expresses a belief , while the second does not. This notion is extensively discussed in the philosophical literature, as well as in the theoreti ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Barcan Formula
In quantified modal logic, the Barcan formula and the converse Barcan formula (more accurately, schemata rather than formulas) (i) syntactically state principles of interchange between quantifiers and modalities; (ii) semantically state a relation between domains of possible worlds. The formulas were introduced as axioms by Ruth Barcan Marcus, in the first extensions of modal propositional logic to include quantification.Journal of Symbolic Logic (1946),11 and (1947), 12 under Ruth C. Barcan Related formulas include the Buridan formula. The Barcan formula The Barcan formula is: :\forall x \Box Fx \rightarrow \Box \forall x Fx. In English, the schema reads: If every x is necessarily F, then it is necessary that every x is F. It is equivalent to :\Diamond\exists xFx\to\exists x\Diamond Fx. The Barcan formula has generated some controversy because—in terms of possible world semantics—it implies that all objects which exist in any possible world (accessible to the actual wo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Domain Of Discourse
In the formal sciences, the domain of discourse, also called the universe of discourse, universal set, or simply universe, is the set of entities over which certain variables of interest in some formal treatment may range. Overview 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''.José Miguel Sagüillo, Domains of sciences, universe of discourse, and omega arguments, History and philosophy of logic, vol. 20 (1999), pp. 267–280. Examples For example, in an interpretation of first-order logic, the domain of discourse is the set of individuals over which the quantifiers range. A proposition such as is ambiguous, if no domain of discourse has been identified. In one interpretation, the domain of di ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
