Modal logic
Modal logic is a kind of logic used to represent statements about necessity and possibility. It plays a major role in philosophy and related fields as a tool for understanding concepts such as knowledge, obligation, and causation. For instance, in epistemic modal logic, the formula
Modal logic - Wikipedia Jump to content From Wikipedia, the free encyclopedia Type of formal logic Modal logic is a kind of logic used to represent statements about necessity and possibility . In philosophy and related fields it is used as a tool for understanding concepts such as knowledge , obligation , and causation . For instance, in epistemic modal logic , the formula ◻ P {\displaystyle \Box P} can be used to represent the statement that P {\displaystyle P} is known. In deontic modal logic , that same formula can represent that P {\displaystyle P} is a moral obligation. Modal logic consid
Explore this link on the map →related reading
- Intuitionistic logic - Wikipediaen.wikipedia.org
- First-order logic - Wikipediaen.wikipedia.org
- Temporal logic - Wikipediaen.wikipedia.org
- Temporal Logic (Stanford Encyclopedia of Philosophy)plato.stanford.edu
- AiML: Advances in Modal Logicaiml.net
- Against Modal Logics — LessWronglesswrong.com
- List of logic symbols - Wikipediaen.wikipedia.org
- Open Logic Project Buildsbuilds.openlogicproject.org
- Ludwig Wittgenstein (Stanford Encyclopedia of Philosophy)plato.stanford.edu
- Quantifier (logic) - Wikipediaen.wikipedia.org
- Possibility and Could-ness — LessWronglesswrong.com
- Modus ponens - Wikipediaen.wikipedia.org