|
A Posteriori Necessity
''A posteriori'' necessity is a thesis in metaphysics and the philosophy of language, that some statements of which we must acquire knowledge a posteriori are also necessarily true. It challenges previously widespread belief that only ''a priori'' knowledge can be necessary. It draws on a number of philosophical concepts such as necessity, the causal theory of reference, rigidity, and the a priori a posteriori distinction. It was first introduced by philosopher Saul Kripke in his 1970 series of lectures at Princeton University. The transcript of these lectures was then compiled and assembled into his seminal book, ''Naming and Necessity''. Main argument for a posteriori necessity Here is an overview of the argument: :(P1) 'Hesperus' is a proper name that refers to the evening star. 'Phosphorus' is also a proper name and it refers to the morning star. But the evening star and the morning star are the same planetary body (Venus). So both names designate Venus. :(P2) If both ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Metaphysics
Metaphysics is the branch of philosophy that studies the fundamental nature of reality, the first principles of being, identity and change, space and time, causality, necessity, and possibility. It includes questions about the nature of consciousness and the relationship between mind and matter, between substance and attribute, and between potentiality and actuality. The word "metaphysics" comes from two Greek words that, together, literally mean "after or behind or among he study ofthe natural". It has been suggested that the term might have been coined by a first century CE editor who assembled various small selections of Aristotle's works into the treatise we now know by the name ''Metaphysics'' (μετὰ τὰ φυσικά, ''meta ta physika'', 'after the ''Physics'' ', another of Aristotle's works). Metaphysics studies questions related to what it is for something to exist and what types of existence there are. Metaphysics seeks to answer, in an abstract and fu ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Philosophy Of Language
In 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. In continental philosophy, language is not studied as a separate discipline. Rather, it is an inextricable part of many other areas of thought, such as phenomenology, structural semiotics, language of mathematics, hermeneutics, existentialism, deconstruction and critical theory. History Ancient philosophy In the West, inquiry into language stretches back to the 5th century BC with Socrates, Plato, Aristotl ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
A Posteriori
("from the earlier") and ("from the later") are Latin phrases used in philosophy to distinguish types of knowledge, justification, or argument by their reliance on empirical evidence or experience. knowledge is independent from current experience (e.g., as part of a new study). Examples include mathematics,Some associationist philosophers have contended that mathematics comes from experience and is not a form of any a priori knowledge () tautologies, and deduction from pure reason.Galen Strawson has stated that an argument is one in which "you can see that it is true just lying on your couch. You don't have to get up off your couch and go outside and examine the way things are in the physical world. You don't have to do any science." () knowledge depends on empirical evidence. Examples include most fields of science and aspects of personal knowledge. The terms originate from the analytic methods found in ''Organon'', a collection of works by Aristotle. Prior analytics ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Necessarily True
Logical truth is one of the most fundamental concepts in logic. Broadly speaking, a logical truth is a statement which is true regardless of the truth or falsity of its constituent propositions. In other words, a logical truth is a statement which is not only true, but one which is true under all interpretations of its logical components (other than its logical constants). Thus, logical truths such as "if p, then p" can be considered tautologies. Logical truths are thought to be the simplest case of statements which are analytically true (or in other words, true by definition). All of philosophical logic can be thought of as providing accounts of the nature of logical truth, as well as logical consequence. Logical truths are generally considered to be ''necessarily true''. This is to say that they are such that no situation could arise in which they could fail to be true. The view that logical statements are necessarily true is sometimes treated as equivalent to saying that lo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
A Priori Knowledge
("from the earlier") and ("from the later") are Latin phrases used in philosophy to distinguish types of knowledge, justification, or argument by their reliance on empirical evidence or experience. knowledge is independent from current experience (e.g., as part of a new study). Examples include mathematics,Some associationist philosophers have contended that mathematics comes from experience and is not a form of any a priori knowledge () tautologies, and deduction from pure reason.Galen Strawson has stated that an argument is one in which "you can see that it is true just lying on your couch. You don't have to get up off your couch and go outside and examine the way things are in the physical world. You don't have to do any science." () knowledge depends on empirical evidence. Examples include most fields of science and aspects of personal knowledge. The terms originate from the analytic methods found in ''Organon'', a collection of works by Aristotle. Prior analytics ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Causal Theory Of Reference
A causal theory of reference or historical chain theory of reference is a theory of how terms acquire specific referents based on evidence. Such theories have been used to describe many referring terms, particularly logical terms, proper names, and natural kind terms. In the case of names, for example, a causal theory of reference typically involves the following claims: * a name's referent is fixed by an original act of naming (also called a "dubbing" or, by Saul Kripke, an "initial baptism"), whereupon the name becomes a rigid designator of that object. * later uses of the name succeed in referring to the referent by being linked to that original act via a causal chain. Weaker versions of the position (perhaps not properly called "causal theories"), claim merely that, in many cases, events in the causal history of a speaker's use of the term, including when the term was first acquired, must be considered to correctly assign references to the speaker's words. Causal theories of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Rigid Designator
In modal logic and the philosophy of language, a term is said to be a rigid designator or absolute substantial term when it designates (picks out, denotes, refers to) the same thing in ''all possible worlds'' in which that thing exists. A designator is ''persistently rigid'' if it also designates nothing in all other possible worlds. A designator is ''obstinately rigid'' if it designates the same thing in every possible world, period, whether or not that thing exists in that world. Rigid designators are contrasted with ''connotative terms'', ''non-rigid'' or ''flaccid designators'', which may designate different things in different possible worlds. History The Scholastic philosophers in the Middle Ages developed a theory of properties of terms in which different classifications of concepts feature prominently. Concepts, and the terms that signify them, can be divided into absolute or connotative, according to the mode in which they signify. If they signify something absolutely, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Saul Kripke
Saul Aaron Kripke (; November 13, 1940 – September 15, 2022) was an American philosopher and logician in the analytic tradition. He was a Distinguished Professor of Philosophy at the Graduate Center of the City University of New York and emeritus professor at Princeton University. Since the 1960s, Kripke has been a central figure in a number of fields related to mathematical logic, modal logic, philosophy of language, philosophy of mathematics, metaphysics, epistemology, and recursion theory. Much of his work remains unpublished or exists only as tape recordings and privately circulated manuscripts. Kripke made influential and original contributions to logic, especially modal logic. His principal contribution is a semantics for modal logic involving possible worlds, now called Kripke semantics. He received the 2001 Schock Prize in Logic and Philosophy. Kripke was also partly responsible for the revival of metaphysics after the decline of logical positivism, claiming necessity i ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Naming And Necessity
''Naming and Necessity'' is a 1980 book with the transcript of three lectures, given by the philosopher Saul Kripke, at Princeton University in 1970, in which he dealt with the debates of proper names in the philosophy of language. The transcript was brought out originally in 1972 in ''Semantics of Natural Language'', edited by Donald Davidson and Gilbert Harman. Among analytic philosophers, ''Naming and Necessity'' is widely considered one of the most important philosophical works of the twentieth century. Overview Language is a primary concern of analytic philosophers, particularly the use of language to express concepts and to refer to individuals. In ''Naming and Necessity'', Kripke considers several questions that are important within analytic philosophy: *How do names refer to things in the world? (the problem of intensionality) *Are all statements that can be known ''a priori'' necessarily true, and are all statements that are known '' a posteriori'' contingently true? *D ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Contingency (philosophy)
In philosophy and logic, contingency is the status of propositions that are neither true under every possible valuation (i.e. tautologies) nor false under every possible valuation (i.e. contradictions). A contingent proposition is neither necessarily true nor necessarily false. Overview Propositions that are contingent may be so because they contain logical connectives which, along with the truth value of any of its atomic parts, determine the truth value of the proposition. This is to say that the truth value of the proposition is ''contingent'' upon the truth values of the sentences which comprise it. Contingent propositions depend on the facts, whereas analytic propositions are true without regard to any facts about which they speak. Along with contingent propositions, there are at least three other classes of propositions, some of which overlap: * '' Tautological'' propositions, which ''must'' be true, no matter what the circumstances are or could be (example: "It is the cas ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hilary Putnam
Hilary Whitehall Putnam (; July 31, 1926 – March 13, 2016) was an American philosopher, mathematician, and computer scientist, and a major figure in analytic philosophy in the second half of the 20th century. He made significant contributions to philosophy of mind, philosophy of language, philosophy of mathematics, and philosophy of science. Outside philosophy, Putnam contributed to mathematics and computer science. Together with Martin Davis he developed the Davis–Putnam algorithm for the Boolean satisfiability problem and he helped demonstrate the unsolvability of Hilbert's tenth problem. Putnam was known for his willingness to apply equal scrutiny to his own philosophical positions as to those of others, subjecting each position to rigorous analysis until he exposed its flaws. As a result, he acquired a reputation for frequently changing his positions. In philosophy of mind, Putnam is known for his argument against the type-identity of mental and physical states based on ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Necessity Of Identity
In modal logic, the necessity of identity is the thesis that for every object x and object y, if x and y are the same object, it is necessary that x and y are the same object. The thesis is best known for its association with Saul Kripke, who published it in 1971, although it was first derived by the logician Ruth Barcan Marcus in 1947, and later, in simplified form, by W. V. O. Quine in 1953. Kripke's derivation The derivation in Kripke's 'Identity and Necessity' is in three steps: :(1) \forall x \Box (x = x). :(2) \forall x \forall y(x = y \to (\Box (x = x) \to \Box (x = y))). :(3) \forall x \forall y(x = y \to \Box (x = y)) The first premise is simply postulated: every object is identical to itself. The second is an application of the principle of substitutivity: if a = b, then a has all the properties b has, thus from Fa, infer Fb, where F is \Box (a = \_). The third follows by elementary predicate logic. Rigid designation In the later ''Naming and Necessity'', Kripke sugg ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
