World Library  
Flag as Inappropriate
Email this Article

Logical possibility

Article Id: WHEBN0000394008
Reproduction Date:

Title: Logical possibility  
Author: World Heritage Encyclopedia
Language: English
Subject: Subjunctive possibility, Modal logic, Modal operator, History of logic, Feasibility
Collection: Modal Logic, Possibility
Publisher: World Heritage Encyclopedia
Publication
Date:
 

Logical possibility

A logically possible proposition is one which is consistent with the axioms of the logical system in which the proposition is made.[1] In other words, the logical possibility of a proposition will depend on the system of logic being used, rather than violation of any single rule. Some systems of logic tolerate inconsistent propositions or even true contradictions, while other logical systems have truth-value gaps instead of a binary of such values.

Logical possibility should be distinguished from other sorts of subjunctive possibilities. For example, it may be logically possible for the universe's physical laws to be different from what they actually are. If it is, then many things that we would normally consider to be demonstrably impossible can be logically possible: for example, that travel might be possible at speeds faster-than-light or that escape from black holes is not impossible. Many philosophers, then, have held that these scenarios are logically possible but nomologically impossible (impossible under the actual laws of nature).

With this understanding of logical possibility in mind, other logical modalities may be defined in terms of it: a proposition is logically necessary if it is not logically possible for it to be false within some system of logic, logically impossible if it is not logically possible for it to be true in a system of logic, and logically contingent if it is logically possible for it to be true and logically possible for it to be false in some system of logic. Logical possibility can be further distinguished from metaphysical possibility, as the former refers to what is permissible in a system of logic, while the latter concerns what can be true at (or exist in) some possible world. Given the aforementioned description of logical possibility, some propositions can be logically possible (in a system of logic) and yet metaphysically impossible, or even logically impossible (in a system of logic) and yet be true of the world.

See also

References

  1. ^ Vaidya, Anand. "The Epistemology of Modality". Stanford Encyclopedia of Philosophy. Stanford Encyclopedia of Philosophy. Retrieved 10/10/205. 

External links

  • Do Modal Claims Imply the Existence of Possible Worlds?, paper criticizing David Lewis' theory of possibility.
This article was sourced from Creative Commons Attribution-ShareAlike License; additional terms may apply. World Heritage Encyclopedia content is assembled from numerous content providers, Open Access Publishing, and in compliance with The Fair Access to Science and Technology Research Act (FASTR), Wikimedia Foundation, Inc., Public Library of Science, The Encyclopedia of Life, Open Book Publishers (OBP), PubMed, U.S. National Library of Medicine, National Center for Biotechnology Information, U.S. National Library of Medicine, National Institutes of Health (NIH), U.S. Department of Health & Human Services, and USA.gov, which sources content from all federal, state, local, tribal, and territorial government publication portals (.gov, .mil, .edu). Funding for USA.gov and content contributors is made possible from the U.S. Congress, E-Government Act of 2002.
 
Crowd sourced content that is contributed to World Heritage Encyclopedia is peer reviewed and edited by our editorial staff to ensure quality scholarly research articles.
 
By using this site, you agree to the Terms of Use and Privacy Policy. World Heritage Encyclopedia™ is a registered trademark of the World Public Library Association, a non-profit organization.
 



Copyright © World Library Foundation. All rights reserved. eBooks from Hawaii eBook Library are sponsored by the World Library Foundation,
a 501c(4) Member's Support Non-Profit Organization, and is NOT affiliated with any governmental agency or department.