Possible World
   HOME
*





Possible World
A possible world is a complete and consistent way the world is or could have been. Possible worlds are widely used as a formal device in logic, philosophy, and linguistics in order to provide a semantics for intensional logic, intensional and modal logic. Their metaphysics, metaphysical status has been a subject of controversy in philosophy, with Modal realism, modal realists such as David Lewis (philosopher), David Lewis arguing that they are literally existing alternate realities, and others such as Robert Stalnaker arguing that they are not. Logic Possible worlds are one of the foundational concepts in modal logic, modal and intensional logics. Formulas in these logics are used to represent statements about what ''might'' be true, what ''should'' be true, what one ''believes'' to be true and so forth. To give these statements a formal interpretation, logicians use structures containing possible worlds. For instance, in the relational semantics for classical propositional mo ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Logic
Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the science of deductively valid inferences or of logical truths. It is a formal science investigating how conclusions follow from premises in a topic-neutral way. When used as a countable noun, the term "a logic" refers to a logical formal system that articulates a proof system. Formal logic contrasts with informal logic, which is associated with informal fallacies, critical thinking, and argumentation theory. While there is no general agreement on how formal and informal logic are to be distinguished, one prominent approach associates their difference with whether the studied arguments are expressed in formal or informal languages. Logic plays a central role in multiple fields, such as philosophy, mathematics, computer science, and linguistics. Logic studies arguments, which consist of a set of premises together with a conclusion. Premises and conclusions are usually un ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Willard Van Orman Quine
Willard Van Orman Quine (; known to his friends as "Van"; June 25, 1908 – December 25, 2000) was an American philosopher and logician in the analytic tradition, recognized as "one of the most influential philosophers of the twentieth century". From 1930 until his death 70 years later, Quine was continually affiliated with Harvard University in one way or another, first as a student, then as a professor. He filled the Edgar Pierce Chair of Philosophy at Harvard from 1956 to 1978. Quine was a teacher of logic and set theory. Quine was famous for his position that first order logic is the only kind worthy of the name, and developed his own system of mathematics and set theory, known as New Foundations. In philosophy of mathematics, he and his Harvard colleague Hilary Putnam developed the Quine–Putnam indispensability argument, an argument for the reality of mathematical entities.Colyvan, Mark"Indispensability Arguments in the Philosophy of Mathematics" The Stanford Encyclopedi ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Hubert Humphrey
Hubert Horatio Humphrey Jr. (May 27, 1911 – January 13, 1978) was an American pharmacist and politician who served as the 38th vice president of the United States from 1965 to 1969. He twice served in the United States Senate, representing Minnesota from 1949 to 1964 and 1971 to 1978. As a senator he was a major leader of modern liberalism in the United States. As President Lyndon B. Johnson's vice president, he supported the controversial Vietnam War. An intensely divided Democratic Party nominated him in the 1968 presidential election, which he lost to Republican nominee Richard Nixon. Born in Wallace, South Dakota, Humphrey attended the University of Minnesota. In 1943, he became a professor of political science at Macalester College and ran a failed campaign for mayor of Minneapolis. He helped found the Minnesota Democratic–Farmer–Labor Party (DFL) in 1944; the next year he was elected mayor of Minneapolis, serving until 1948 and co-founding the liberal anti-communi ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Logical Possibility
Logical possibility refers to a logical proposition that cannot be disproved, using the axioms and rules of a given system of logic. The logical possibility of a proposition will depend upon the system of logic being considered, rather than on the violation of any single rule. Some systems of logic restrict inferences from inconsistent propositions or even allow for true contradictions. Other logical systems have more than two truth-values instead of a binary of such values. However, when talking about logical possibility, it is often assumed that the system in question is classical propositional logic. Similarly, the criterion for logical possibility is often based on whether or not a proposition is contradictory and as such, is often thought of as the broadest type of possibility. In modal logic, a logical proposition is possible if it is true in some possible world. The universe of "possible worlds" depends upon the axioms and rules of the logical system in which one is work ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Ronald Reagan
Ronald Wilson Reagan ( ; February 6, 1911June 5, 2004) was an American politician, actor, and union leader who served as the 40th president of the United States from 1981 to 1989. He also served as the 33rd governor of California from 1967 to 1975, after having a career in entertainment. Reagan was born in Tampico, Illinois. He graduated from Eureka College in 1932 and began to work as a sports announcer in Iowa. In 1937, Reagan moved to California, where he found Ronald Reagan filmography, work as a film actor. From 1947 to 1952, Reagan served as the president of the Screen Actors Guild, working to Hollywood blacklist, root out alleged communist influence within it. In the 1950s, he moved to a career in television and became a spokesman for General Electric. From 1959 to 1960, he again served as the guild's president. In 1964, his speech "A Time for Choosing" earned him national attention as a new conservative figure. Building a network of supporters, Reagan was 1966 Califo ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Falsity
Deception or falsehood is an act or statement that misleads, hides the truth, or promotes a belief, concept, or idea that is not true. It is often done for personal gain or advantage. Deception can involve dissimulation, propaganda and sleight of hand as well as distraction, camouflage or concealment. There is also self-deception, as in bad faith. It can also be called, with varying subjective implications, beguilement, deceit, bluff, mystification, ruse, or subterfuge. Deception is a major relational transgression that often leads to feelings of betrayal and distrust between relational partners. Deception violates relational rules and is considered to be a negative violation of expectations. Most people expect friends, relational partners, and even strangers to be truthful most of the time. If people expected most conversations to be untruthful, talking and communicating with others would require distraction and misdirection to acquire reliable information. A significant amount ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Richard Nixon
Richard Milhous Nixon (January 9, 1913April 22, 1994) was the 37th president of the United States, serving from 1969 to 1974. A member of the Republican Party, he previously served as a representative and senator from California and was the 36th vice president from 1953 to 1961 under President Dwight D. Eisenhower. His five years in the White House saw reduction of U.S. involvement in the Vietnam War, détente with the Soviet Union and China, the first manned Moon landings, and the establishment of the Environmental Protection Agency and Occupational Safety and Health Administration. Nixon's second term ended early, when he became the only president to resign from office, as a result of the Watergate scandal. Nixon was born into a poor family of Quakers in a small town in Southern California. He graduated from Duke Law School in 1937, practiced law in California, then moved with his wife Pat to Washington in 1942 to work for the federal government. After active duty ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Truth
Truth is the property of being in accord with fact or reality.Merriam-Webster's Online Dictionarytruth 2005 In everyday language, truth is typically ascribed to things that aim to represent reality or otherwise correspond to it, such as beliefs, propositions, and declarative sentences. Truth is usually held to be the opposite of falsehood. The concept of truth is discussed and debated in various contexts, including philosophy, art, theology, and science. Most human activities depend upon the concept, where its nature as a concept is assumed rather than being a subject of discussion; these include most of the sciences, law, journalism, and everyday life. Some philosophers view the concept of truth as basic, and unable to be explained in any terms that are more easily understood than the concept of truth itself. Most commonly, truth is viewed as the correspondence of language or thought to a mind-independent world. This is called the correspondence theory of truth. Various theo ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

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]  


Noûs
''Noûs'' is a quarterly peer-reviewed academic journal on philosophy published by Wiley-Blackwell. It was established in 1967 by Hector-Neri Castañeda and is currently edited by Ernest Sosa (Rutgers University). The journal is accompanied by two annual supplements, ''Philosophical Issues'' and ''Philosophical Perspectives''. See also *List of philosophy journals This is a list of academic journals pertaining to the field of philosophy. Journals in Catalan * '' Filosofia, ara!'' Journals in Czech * '' Filosofický časopis'' * '' Reflexe'' Journals in Danish * '' Kierkegaard Studies Monograph Ser ... External links * Philosophy journals Wiley-Blackwell academic journals Contemporary philosophical literature Quarterly journals English-language journals Publications established in 1967 {{philosophy-journal-stub ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




Indexicality
In semiotics, linguistics, anthropology, and philosophy of language, indexicality is the phenomenon of a ''sign'' pointing to (or ''indexing'') some object in the context in which it occurs. A sign that signifies indexically is called an index or, in philosophy, an indexical. The modern concept originates in the semiotic theory of Charles Sanders Peirce, in which indexicality is one of the three fundamental sign modalities by which a sign relates to its referent (the others being iconicity and symbolism). Peirce, C.S., "Division of Signs" in ''Collected Papers'', 1932 897 Peirce's concept has been adopted and extended by several twentieth-century academic traditions, including those of linguistic pragmatics, linguistic anthropology, and Anglo-American philosophy of language. Words and expressions in language often derive some part of their referential meaning from indexicality. For example, ''I'' indexically refers to the entity that is speaking; ''now'' indexically refers to a ti ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Modal Realism
Modal realism is the view propounded by philosopher David Lewis that all possible worlds are real in the same way as is the actual world: they are "of a kind with this world of ours." It is based on the following tenets: possible worlds exist; possible worlds are not different in kind from the actual world; possible worlds are irreducible entities; the term ''actual'' in ''actual world'' is indexical, i.e. any subject can declare their world to be the actual one, much as they label the place they are "here" and the time they are "now". ''Extended modal realism'' is a form of modal realism that involves ontological commitments not just to ''possible worlds'' but also to ''impossible worlds''. Objects are conceived as being spread out in the modal dimension, i.e. as having not just spatial and temporal parts but also modal parts. This contrasts with Lewis' modal realism according to which each object only inhabits one possible world. Common arguments for modal realism refer to the ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]