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 or intension, which consists very roughly of the ideas, properties, or corresponding signs that are implied or suggested by the concept in question.
History of logicThe history of logic deals with the study of the development of the science of valid inference (logic). Formal logics developed in ancient times in India, China, and Greece. Greek methods, particularly Aristotelian logic (or term logic) as found in the Organon, found wide application and acceptance in Western science and mathematics for millennia. The Stoics, especially Chrysippus, began the development of predicate logic.
Philosophy of languageIn analytic philosophy, philosophy of language investigates the nature of language and the relations between language, language users, and the world. Investigations may include inquiry into the nature of meaning, intentionality, reference, the constitution of sentences, concepts, learning, and thought. Gottlob Frege and Bertrand Russell were pivotal figures in analytic philosophy's "linguistic turn". These writers were followed by Ludwig Wittgenstein (Tractatus Logico-Philosophicus), the Vienna Circle, logical positivists, and Willard Van Orman Quine.
Tractatus Logico-PhilosophicusThe Tractatus Logico-Philosophicus (widely abbreviated and cited as TLP) is the only book-length philosophical work by the Austrian philosopher Ludwig Wittgenstein that was published during his lifetime. The project had a broad goal: to identify the relationship between language and reality and to define the limits of science. Wittgenstein wrote the notes for the Tractatus while he was a soldier during World War I and completed it during a military leave in the summer of 1918.
VerificationismVerificationism, also known as the verification principle or the verifiability criterion of meaning, is the philosophical doctrine which asserts that a statement is meaningful only if it is either empirically verifiable (i.e. confirmed through the senses) or a truth of logic (e.g., tautologies). Verificationism rejects statements of metaphysics, theology, ethics, and aesthetics, as cognitively meaningless. Such statements may be meaningful in influencing emotions or behavior, but not in terms of conveying truth value, information, or factual content.
Logical atomismLogical atomism is a philosophical view that originated in the early 20th century with the development of analytic philosophy. It holds that the world consists of ultimate logical "facts" (or "atoms") that cannot be broken down any further, each of which can be understood independently of other facts. Its principal exponent was the British philosopher Bertrand Russell. It is also widely held that the early works of his Austrian-born pupil and colleague, Ludwig Wittgenstein, defend a version of logical atomism, though he went on to reject it in his later Philosophical Investigations.
Philosophical InvestigationsPhilosophical Investigations (Philosophische Untersuchungen) is a work by the philosopher Ludwig Wittgenstein, published posthumously in 1953. Philosophical Investigations is divided into two parts, consisting of what Wittgenstein calls, in the preface, Bemerkungen, translated by Anscombe as "remarks". A survey among American university and college teachers ranked the Investigations as the most important book of 20th-century philosophy.
IntensionIn 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.
Ordinary language philosophyOrdinary language philosophy (OLP) is a philosophical methodology that sees traditional philosophical problems as rooted in misunderstandings philosophers develop by distorting or forgetting how words are ordinarily used to convey meaning in non-philosophical contexts. "Such 'philosophical' uses of language, on this view, create the very philosophical problems they are employed to solve." This approach typically involves eschewing philosophical "theories" in favor of close attention to the details of the use of everyday "ordinary" language.
Sense and referenceIn the philosophy of language, the distinction between sense and reference was an idea of the German philosopher and mathematician Gottlob Frege in 1892 (in his paper "On Sense and Reference"; German: "Über Sinn und Bedeutung"), reflecting the two ways he believed a singular term may have meaning. The reference (or "referent"; Bedeutung) of a proper name is the object it means or indicates (bedeuten), whereas its sense (Sinn) is what the name expresses. The reference of a sentence is its truth value, whereas its sense is the thought that it expresses.