HOME
*





Epistemic Possibility
In philosophy and modal logic, epistemic possibility relates a statement under consideration to the current state of our knowledge about the actual world: a statement is said to be: * ''epistemically possible'' if it ''may be true, for all we know'' * ''epistemically necessary'' if it is ''certain'' (or ''must be the case), given what we know'' * ''epistemically impossible'' if it ''cannot be true, given what we know'' Epistemic possibility is often contrasted with subjunctive possibility (or alethic possibility), and although epistemic and subjunctive possibilities are often expressed using the same modal terms (such as ''possibly'', ''could be'', ''must be'') or similar modal terms that are sometimes confused (such as ''may be'' and ''might be''), statements that are qualified in terms of epistemic possibility and statements that are qualified in terms of subjunctive possibility have importantly different meanings. The contrast is best explained by example. Consider the two st ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Philosophy
Philosophy (from , ) is the systematized study of general and fundamental questions, such as those about existence, reason, knowledge, values, mind, and language. Such questions are often posed as problems to be studied or resolved. Some sources claim the term was coined by Pythagoras ( BCE), although this theory is disputed by some. Philosophical methods include questioning, critical discussion, rational argument, and systematic presentation. in . Historically, ''philosophy'' encompassed all bodies of knowledge and a practitioner was known as a ''philosopher''."The English word "philosophy" is first attested to , meaning "knowledge, body of knowledge." "natural philosophy," which began as a discipline in ancient India and Ancient Greece, encompasses astronomy, medicine, and physics. For example, Newton's 1687 ''Mathematical Principles of Natural Philosophy'' later became classified as a book of physics. In the 19th century, the growth of modern research universiti ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Modal Logic
Modal logic is a collection of formal systems developed to represent statements about necessity and possibility. It plays a major role in philosophy of language, epistemology, metaphysics, and natural language semantics. Modal logics extend other systems by adding unary operators \Diamond and \Box, representing possibility and necessity respectively. For instance the modal formula \Diamond P can be read as "possibly P" while \Box P can be read as "necessarily P". Modal logics can be used to represent different phenomena depending on what kind of necessity and possibility is under consideration. When \Box is used to represent epistemic necessity, \Box P states that P is epistemically necessary, or in other words that it is known. When \Box is used to represent deontic necessity, \Box P states that P is a moral or legal obligation. In the standard relational semantics for modal logic, formulas are assigned truth values relative to a ''possible world''. A formula's truth value at ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Knowledge
Knowledge can be defined as awareness of facts or as practical skills, and may also refer to familiarity with objects or situations. Knowledge of facts, also called propositional knowledge, is often defined as true belief that is distinct from opinion or guesswork by virtue of justification. While there is wide agreement among philosophers that propositional knowledge is a form of true belief, many controversies in philosophy focus on justification: whether it is needed at all, how to understand it, and whether something else besides it is needed. These controversies intensified due to a series of thought experiments by Edmund Gettier and have provoked various alternative definitions. Some of them deny that justification is necessary and replace it, for example, with reliability or the manifestation of cognitive virtues. Others contend that justification is needed but formulate additional requirements, for example, that no defeaters of the belief are present or that the ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Actual 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 and modal logic. Their metaphysical status has been a subject of controversy in philosophy, with modal realists such as 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 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 modal logic, the formula \Diamond P (read as "possibly P") is actually true if and ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Subjunctive Possibility
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 ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Japan
Japan ( ja, 日本, or , and formally , ''Nihonkoku'') is an island country in East Asia. It is situated in the northwest Pacific Ocean, and is bordered on the west by the Sea of Japan, while extending from the Sea of Okhotsk in the north toward the East China Sea, Philippine Sea, and Taiwan in the south. Japan is a part of the Ring of Fire, and spans Japanese archipelago, an archipelago of List of islands of Japan, 6852 islands covering ; the five main islands are Hokkaido, Honshu (the "mainland"), Shikoku, Kyushu, and Okinawa Island, Okinawa. Tokyo is the Capital of Japan, nation's capital and largest city, followed by Yokohama, Osaka, Nagoya, Sapporo, Fukuoka, Kobe, and Kyoto. Japan is the List of countries and dependencies by population, eleventh most populous country in the world, as well as one of the List of countries and dependencies by population density, most densely populated and Urbanization by country, urbanized. About three-fourths of Geography of Japan, the c ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

World War II
World War II or the Second World War, often abbreviated as WWII or WW2, was a world war that lasted from 1939 to 1945. It involved the vast majority of the world's countries—including all of the great powers—forming two opposing military alliances: the Allies and the Axis powers. World War II was a total war that directly involved more than 100 million personnel from more than 30 countries. The major participants in the war threw their entire economic, industrial, and scientific capabilities behind the war effort, blurring the distinction between civilian and military resources. Aircraft played a major role in the conflict, enabling the strategic bombing of population centres and deploying the only two nuclear weapons ever used in war. World War II was by far the deadliest conflict in human history; it resulted in 70 to 85 million fatalities, mostly among civilians. Tens of millions died due to genocides (including the Holocaust), starvation, ma ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Counterfactual Conditional
Counterfactual conditionals (also ''subjunctive'' or ''X-marked'') are conditional sentences which discuss what would have been true under different circumstances, e.g. "If Peter believed in ghosts, he would be afraid to be here." Counterfactuals are contrasted with indicatives, which are generally restricted to discussing open possibilities. Counterfactuals are characterized grammatically by their use of fake tense morphology, which some languages use in combination with other kinds of morphology including aspect and mood. Counterfactuals are one of the most studied phenomena in philosophical logic, formal semantics, and philosophy of language. They were first discussed as a problem for the material conditional analysis of conditionals, which treats them all as trivially true. Starting in the 1960s, philosophers and linguists developed the now-classic possible world approach, in which a counterfactual's truth hinges on its consequent holding at certain possible worlds w ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




Indicative
A realis mood (abbreviated ) is a grammatical mood which is used principally to indicate that something is a statement of fact; in other words, to express what the speaker considers to be a known state of affairs, as in declarative sentences. Most languages have a single realis mood called the indicative mood, although some languages have additional realis moods, for example to express different levels of certainty. By contrast, an irrealis mood is used to express something that is not known to be the case in reality. An example of the contrast between realis and irrealis moods is seen in the English sentences "He works" and "It is necessary that he work". In the first sentence, ''works'' is a present indicative (realis) form of the verb, and is used to make a direct assertion about the real world. In the second sentence, ''work'' is in the subjunctive mood, which is an irrealis mood – here ''that he work'' does not necessarily express a fact about the real world (he could be re ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Subjunctive
The subjunctive (also known as conjunctive in some languages) is a grammatical mood, a feature of the utterance that indicates the speaker's attitude towards it. Subjunctive forms of verbs are typically used to express various states of unreality such as: wish, emotion, possibility, judgment, opinion, obligation, or action that has not yet occurred; the precise situations in which they are used vary from language to language. The subjunctive is one of the irrealis moods, which refer to what is not necessarily real. It is often contrasted with the indicative, a realis mood which is used principally to indicate that something is a statement of fact. Subjunctives occur most often, although not exclusively, in subordinate clauses, particularly ''that''-clauses. Examples of the subjunctive in English are found in the sentences "I suggest that you ''be'' careful" and "It is important that she ''stay'' by your side." Indo-European languages Proto-Indo-European The Proto-Indo-European ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Lee Harvey Oswald
Lee Harvey Oswald (October 18, 1939 – November 24, 1963) was a U.S. Marine veteran who assassinated John F. Kennedy, the 35th president of the United States, on November 22, 1963. Oswald was placed in juvenile detention at the age of 12 for truancy, during which time he was assessed by a psychiatrist as "emotionally disturbed", due to a lack of normal family life. After attending 12 schools in his youth, he quit repeatedly, and finally when he was 17, joined the Marines. Oswald was court-martialed twice while in the Marines, and jailed. He was honorably released from active duty in the Marine Corps into the Marine Corps Reserve, then flew to Europe and defected to the Soviet Union in October 1959. He lived in Minsk, Byelorussia, married a Russian woman named Marina, and had a daughter. In June 1962, he returned to the United States with his wife, and eventually settled in Dallas, where their second daughter was born. Oswald shot and killed Kennedy on November 22, 1963, fr ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


John F
John is a common English name and surname: * John (given name) * John (surname) John may also refer to: New Testament Works * Gospel of John, a title often shortened to John * First Epistle of John, often shortened to 1 John * Second Epistle of John, often shortened to 2 John * Third Epistle of John, often shortened to 3 John People * John the Baptist (died c. AD 30), regarded as a prophet and the forerunner of Jesus Christ * John the Apostle (lived c. AD 30), one of the twelve apostles of Jesus * John the Evangelist, assigned author of the Fourth Gospel, once identified with the Apostle * John of Patmos, also known as John the Divine or John the Revelator, the author of the Book of Revelation, once identified with the Apostle * John the Presbyter, a figure either identified with or distinguished from the Apostle, the Evangelist and John of Patmos Other people with the given name Religious figures * John, father of Andrew the Apostle and Saint Peter * Pope Jo ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]