|
Subjunctive Impossibility
Subjunctive possibility (also called alethic possibility) is a form of modality studied in modal logic. Subjunctive possibilities are the sorts of possibilities considered when conceiving counterfactual situations; subjunctive modalities are modalities that bear on whether a statement ''might have been'' or ''could be'' true—such as ''might'', ''could'', ''must'', ''possibly'', ''necessarily'', ''contingently'', ''essentially'', ''accidentally'', and so on. Subjunctive possibilities include logical possibility, metaphysical possibility, nomological possibility, and temporal possibility. Subjunctive possibility and other modalities Subjunctive possibility is contrasted with (among other things) epistemic possibility (which deals with how the world ''may'' be, ''for all we know'') and deontic possibility (which deals with how the world ''ought'' to be). Epistemic possibility The contrast with epistemic possibility is especially important to draw, since in ordinary language t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Aletheia
''Aletheia'' or Alethia (; ) is truth or disclosure in philosophy. Originating in Ancient Greek philosophy, the term was explicitly used for the first time in the history of philosophy by Parmenides in his poem ''Parmenides#On Nature, On Nature'', in which he contrasts it with ''doxa'' (opinion). It was revived in the works of 20th-century philosopher Martin Heidegger. Although it is often translated as "truth", Heidegger argued that it is distinct from common conceptions of truth. Antiquity is variously translated as "unconcealedness", "world disclosure, disclosure", "revealing", or "unhiddenness". It also means "reality". It is the antonym of , which literally means "forgetting", "forgetfulness". In Greek mythology, was personified as a Greek goddess, Aletheia, the goddess of Truth. She was a daughter of Zeus. Her Roman equivalent is Veritas. Heidegger and '' aletheia '' In the early to mid 20th-century, Martin Heidegger brought renewed attention to the concept of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Saul Kripke
Saul Aaron Kripke (; November 13, 1940 – September 15, 2022) was an American analytic philosophy, analytic philosopher and logician. He was Distinguished Professor of Philosophy at the Graduate Center of the City University of New York and emeritus professor at Princeton University. From the 1960s until his death, he was a central figure in a number of fields related to mathematical logic, mathematical and modal logic, philosophy of language and philosophy of mathematics, mathematics, metaphysics, epistemology, and recursion theory. 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 and Scientific essentialism, essentialism after the decline of logical positivism, claiming Metaphysical necessity, necessity is ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Possibility
Possibility is the condition or fact of being possible. Latin origins of the word hint at ability. Possibility may refer to: * Probability, the measure of the likelihood that an event will occur * Epistemic possibility, a topic in philosophy and modal logic * Possibility theory, a mathematical theory for dealing with certain types of uncertainty and is an alternative to probability theory * Subjunctive possibility, (also called alethic possibility) is a form of modality studied in modal logic. ** Logical possibility, a proposition that will depend on the system of logic being considered, rather than on the violation of any single rule * Possible world, a complete and consistent way the world is or could have been Other * Possible (Italy), a political party in Italy *Possible Peru, a political party in Peru * Possible Peru Alliance, an electoral alliance in Peru Entertainment *''Kim Possible'', a US children's TV series :*Kim Possible (character), the central character o ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Modal Logic
Modal logic is a kind of logic used to represent statements about Modality (natural language), necessity and possibility. In philosophy and related fields it is used as a tool for understanding concepts such as knowledge, obligation, and causality, causation. For instance, in epistemic modal logic, the well-formed_formula, formula \Box P can be used to represent the statement that P is known. In deontic modal logic, that same formula can represent that P is a moral obligation. Modal logic considers the inferences that modal statements give rise to. For instance, most epistemic modal logics treat the formula \Box P \rightarrow P as a Tautology_(logic), tautology, representing the principle that only true statements can count as knowledge. However, this formula is not a tautology in deontic modal logic, since what ought to be true can be false. Modal logics are formal systems that include unary operation, unary operators such as \Diamond and \Box, representing possibility and necessi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ian Hacking
Ian MacDougall Hacking (February 18, 1936 – May 10, 2023) was a Canadian philosopher specializing in the philosophy of science. Throughout his career, he won numerous awards, such as the Killam Prize for the Humanities and the Balzan Prize, and was a member of many prestigious groups, including the Order of Canada, the Royal Society of Canada and the British Academy. Life and career Born in Vancouver, British Columbia, he earned undergraduate degrees from the University of British Columbia (1956) and the University of Cambridge (1958), where he was a student at Trinity College, Cambridge, Trinity College. Hacking also earned his PhD at Cambridge (1962) under the direction of Casimir Lewy, a former student of G. E. Moore. Hacking started his teaching career as an instructor at Princeton University in 1960 but, after just one year, moved to the University of Virginia as an assistant professor. After working as a research fellow at Peterhouse, Cambridge from 1962 to 1964, he ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
David Lewis (philosopher)
David Kellogg Lewis (September 28, 1941– October 14, 2001) was an American philosopher. Lewis taught briefly at UCLA and then at Princeton University from 1970 until his death. He is closely associated with Australia, whose philosophical community he visited almost annually for more than 30 years. Lewis made significant contributions in philosophy of mind, philosophy of probability, epistemology, philosophical logic, aesthetics, philosophy of mathematics, philosophy of time and philosophy of science. In most of these fields he is considered among the most important figures of recent decades. Lewis is most famous for his work in metaphysics, philosophy of language and semantics, in which his books ''On the Plurality of Worlds'' (1986) and ''Counterfactuals'' (1973) are considered classics. His works on the logic and semantics of counterfactual conditionals are broadly used by philosophers and linguists along with a competing account from Robert Stalnaker; together the Stal ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Sydney Shoemaker
Sydney Sharpless Shoemaker (September 29, 1931 – September 3, 2022) was an American philosopher. He was the Susan Linn Sage Professor of Philosophy at Cornell University and is well known for his contributions to philosophy of mind and metaphysics. Education and career Shoemaker graduated with a Bachelor of Arts from Reed College and earned his Doctor of Philosophy from Cornell University in 1958 under the supervision of Norman Malcolm. He taught philosophy at Ohio State University from 1957 to 1960 then, in 1961, returned to Cornell as a faculty member of the philosophy department. In 1978 he was appointed the Susan Linn Sage Professor of Philosophy, a position he held until his retirement, as professor emeritus of Philosophy. Among his students at Cornell were Richard Moran and Susanna Siegel. In 1971, he delivered the John Locke Lectures at Oxford University. Shoemaker died on September 3, 2022, at the age of 90. He was buried in Greensprings Natural Cemetery Preserv ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Speed Of Light
The speed of light in vacuum, commonly denoted , is a universal physical constant exactly equal to ). It is exact because, by international agreement, a metre is defined as the length of the path travelled by light in vacuum during a time interval of second. The speed of light is invariant (physics), the same for all observers, no matter their relative velocity. It is the upper limit for the speed at which Information#Physics_and_determinacy, information, matter, or energy can travel through Space#Relativity, space. All forms of electromagnetic radiation, including visible light, travel at the speed of light. For many practical purposes, light and other electromagnetic waves will appear to propagate instantaneously, but for long distances and sensitive measurements, their finite speed has noticeable effects. Much starlight viewed on Earth is from the distant past, allowing humans to study the history of the universe by viewing distant objects. When Data communication, comm ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Alpha Centauri
Alpha Centauri (, α Cen, or Alpha Cen) is a star system in the southern constellation of Centaurus (constellation), Centaurus. It consists of three stars: Rigil Kentaurus (), Toliman (), and Proxima Centauri (). Proxima Centauri is the List of nearest stars, closest star to the Sun at 4.2465 light-years (ly) which is 1.3020 parsecs (pc). Rigil Kentaurus and Toliman are Sun-like stars (G-type main-sequence star, class G and K-type main-sequence star, K, respectively) that together form the binary star system . To the naked eye, these two main components appear to be a single star with an apparent magnitude of −0.27. It is the brightest star in the constellation and the List of brightest stars, third-brightest in the night sky, outshone by only Sirius and Canopus. Rigil Kentaurus has 1.1 times the Solar mass, mass () and 1.5 times the Solar luminosity, luminosity of the Sun (), while Toliman is smaller and cooler, at and less than . The pair ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
David Hume
David Hume (; born David Home; – 25 August 1776) was a Scottish philosopher, historian, economist, and essayist who was best known for his highly influential system of empiricism, philosophical scepticism and metaphysical naturalism. Beginning with '' A Treatise of Human Nature'' (1739–40), Hume strove to create a naturalistic science of man that examined the psychological basis of human nature. Hume followed John Locke in rejecting the existence of innate ideas, concluding that all human knowledge derives solely from experience. This places him with Francis Bacon, Thomas Hobbes, John Locke, and George Berkeley as an empiricist. Cranston, Maurice, and Thomas Edmund Jessop. 2020 999br>David Hume" ''Encyclopædia Britannica''. Retrieved 18 May 2020. Hume argued that inductive reasoning and belief in causality cannot be justified rationally; instead, they result from custom and mental habit. We never actually perceive that one event causes another but only experience ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Nomological
In philosophy, nomology refers to a "science of laws" based on the theory that it is possible to elaborate descriptions dedicated not to particular aspects of reality but inspired by a scientific vision of universal validity expressed by scientific laws. Etymology "Nomology" derives from the Greek , ''law'', and , ''reason''. The term nomology may come from Aristotle. The '-ology' suffix implies 'order', 'word' and 'reason', and is about being subjectively reasonable or 'logical' as in sociology and psychology. The 'nom-' part implies 'rule' and 'law', and is about being objectively lawful or 'nomic' as in economics. Nomological networks A nomological approach requires taking account of both subjective and objective aspects in a decision. Nomology provides the framework for building a nomological network of relationships between constructs in decision making. See also * Deductive-nomological model * Nomological determinism * Nomothetic Nomothetic literally means "propos ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Logical Truth
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] |
