Metaphysical Necessity
In philosophy, metaphysical necessity, sometimes called broad logical necessity, is one of many different kinds of necessity, which sits between logical necessity and nomological (or physical) necessity, in the sense that logical necessity entails metaphysical necessity, but not vice versa, and metaphysical necessity entails physical necessity, but not vice versa. A proposition is said to be ''necessary'' if it could not have failed to be the case. Nomological necessity is necessity according to the laws of physics and logical necessity is necessity according to the laws of logic, while metaphysical necessities are necessary in the sense that the world could not possibly have been otherwise. What facts are metaphysically necessary, and on what basis we might view certain facts as metaphysically but not logically necessary are subjects of substantial discussion in contemporary philosophy. The concept of a metaphysically necessary being plays an important role in certain arguments for ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Philosophy
Philosophy ('love of wisdom' in Ancient Greek) is a systematic study of general and fundamental questions concerning topics like existence, reason, knowledge, Value (ethics and social sciences), value, mind, and language. It is a rational and critical inquiry that reflects on its methods and assumptions. Historically, many of the individual sciences, such as physics and psychology, formed part of philosophy. However, they are considered separate academic disciplines in the modern sense of the term. Influential traditions in the history of philosophy include Western philosophy, Western, Islamic philosophy, Arabic–Persian, Indian philosophy, Indian, and Chinese philosophy. Western philosophy originated in Ancient Greece and covers a wide area of philosophical subfields. A central topic in Arabic–Persian philosophy is the relation between reason and revelation. Indian philosophy combines the Spirituality, spiritual problem of how to reach Enlightenment in Buddhism, enlighten ... [...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]   |
|
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 experience. knowledge is independent from any experience. 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 () is about deductive logic, which comes from d ... [...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]   |
|
Harvard University Press
Harvard University Press (HUP) is an academic publishing house established on January 13, 1913, as a division of Harvard University. It is a member of the Association of University Presses. Its director since 2017 is George Andreou. The press maintains offices in Cambridge, Massachusetts, near Harvard Square, and in London, England. The press co-founded the distributor TriLiteral LLC with MIT Press and Yale University Press. TriLiteral was sold to LSC Communications in 2018. Notable authors published by HUP include Eudora Welty, Walter Benjamin, E. O. Wilson, John Rawls, Emily Dickinson, Stephen Jay Gould, Helen Vendler, Carol Gilligan, Amartya Sen, David Blight, Martha Nussbaum, and Thomas Piketty. The Display Room in Harvard Square, dedicated to selling HUP publications, closed on June 17, 2009. Related publishers, imprints, and series HUP owns the Belknap Press imprint (trade name), imprint, which it inaugurated in May 1954 with the publication of the ''Harvard Guide to ... [...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. The title is a reference to Rudolf Carnap's book '' Meaning and Necessity'', which, like ''Naming and Necessity'', is also about semantics and modal logic. 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 inten ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
A Priori And 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 experience. knowledge is independent from any experience. 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 () is about deductive logic, which comes from ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Elizabeth II
Elizabeth II (Elizabeth Alexandra Mary; 21 April 19268 September 2022) was Queen of the United Kingdom and other Commonwealth realms from 6 February 1952 until Death and state funeral of Elizabeth II, her death in 2022. She had been queen regnant of List of sovereign states headed by Elizabeth II, 32 sovereign states during her lifetime and was the monarch of 15 realms at her death. Her reign of 70 years and 214 days is the List of monarchs in Britain by length of reign, longest of any British monarch, the List of longest-reigning monarchs, second-longest of any sovereign state, and the List of female monarchs, longest of any queen regnant in history. Elizabeth was born in Mayfair, London, during the reign of her paternal grandfather, King George V. She was the first child of the Duke and Duchess of York (later King George VI and Queen Elizabeth The Queen Mother). Her father acceded to the throne in 1936 upon Abdication of Edward VIII, the abdic ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Essentialism
Essentialism is the view that objects have a set of attributes that are necessary to their Identity (philosophy), identity. In early Western thought, Platonic idealism held that all things have such an "essence"—an Theory of forms, "idea" or "form". In ''Categories (Aristotle), Categories'', Aristotle similarly proposed that all objects have a Substance theory, substance that, as George Lakoff put it, "make the thing what it is, and without which it would be not ''that'' kind of thing". The contrary view—non-essentialism—denies the need to posit such an "essence". Essentialism has been controversial from its beginning. In the ''Parmenides (dialogue), Parmenides'' dialogue, Plato depicts Socrates questioning the notion, suggesting that if we accept the idea that every beautiful thing or just action partakes of an essence to be beautiful or just, we must also accept the "existence of separate essences for hair, mud, and dirt". Older social theories were often conceptually esse ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Paraconsistent Logic
Paraconsistent logic is a type of non-classical logic that allows for the coexistence of contradictory statements without leading to a logical explosion where anything can be proven true. Specifically, paraconsistent logic is the subfield of logic that is concerned with studying and developing "inconsistency-tolerant" systems of logic, purposefully excluding the principle of explosion. Inconsistency-tolerant logics have been discussed since at least 1910 (and arguably much earlier, for example in the writings of Aristotle); however, the term ''paraconsistent'' ("beside the consistent") was first coined in 1976, by the Peruvian philosopher Francisco Miró Quesada Cantuarias. The study of paraconsistent logic has been dubbed paraconsistency, which encompasses the school of dialetheism. Definition In classical logic (as well as intuitionistic logic and most other logics), contradictions entail everything. This feature, known as the principle of explosion or ''ex contradiction ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Reductio Ad Absurdum
In logic, (Latin for "reduction to absurdity"), also known as (Latin for "argument to absurdity") or ''apagogical argument'', is the form of argument that attempts to establish a claim by showing that the opposite scenario would lead to absurdity or contradiction. This argument form traces back to Ancient Greek philosophy and has been used throughout history in both formal mathematical and philosophical reasoning, as well as in debate. In mathematics, the technique is called ''proof by contradiction''. In formal logic, this technique is captured by an axiom for "Reductio ad Absurdum", normally given the abbreviation RAA, which is expressible in propositional logic. This axiom is the introduction rule for negation (see ''negation introduction''). Examples The "absurd" conclusion of a ''reductio ad absurdum'' argument can take a range of forms, as these examples show: * The Earth cannot be flat; otherwise, since the Earth is assumed to be finite in extent, we would find peo ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Bob Hale (philosopher)
Bob Hale, FRSE (1945 – 12 December 2017) was a British philosopher, known for his contributions to the development of the neo-Fregean (neo-logicist) philosophy of mathematics in collaboration with Crispin Wright, and for his works in modality and philosophy of language. Career Hale obtained a BPhil in Philosophy in 1967 from Linacre College, University of Oxford. From 2006 until his death, he was a professor of philosophy in the department of philosophy at the University of Sheffield. Prior to that, he taught in the University of Glasgow, the University of St. Andrews and the University of Lancaster. Hale produced the first published neo-Fregean construction of the real numbers. In his book (''Necessary Beings''), he argues for an essentialist theory of necessity and possibility. Notable positions * British Academy Research Reader (1997–9) * Fellow of the Royal Society of Edinburgh (from 2000) * President of the Aristotelian Society (2002–3) * Leverhulme Senior Resea ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |