|Source: Stanford Encyclopaedia of Philosophy, 2000-9|
|Paper - Abstract|
|Paper Statistics||Books / Papers Citing this Paper||Notes Citing this Paper||Colour-Conventions||Disclaimer|
A modal1 is an expression (like ‘necessarily’ or ‘possibly’) that is used to qualify the truth of a judgement. Modal logic2 is, strictly speaking, the study of the deductive behavior of the expressions ‘it is necessary that’ and ‘it is possible that’. However, the term ‘modal logic’3 may be used more broadly for a family of related systems. These include logics for belief, for tense and other temporal expressions, for the deontic (moral) expressions such as ‘it is obligatory that’ and ‘it is permitted that’, and many others. An understanding of modal logic4 is particularly valuable in the formal analysis of philosophical argument, where expressions from the modal5 family are both common and confusing. Modal logic6 also has important applications in computer science.
Other Internet Resources
First published Tue Feb 29, 2000; substantive revision Fri Oct 2, 2009; see Stanford Archive: Modal Logic.
Text Colour Conventions (see disclaimer)
|© Theo Todman, June 2007 - Feb 2019.||Please address any comments on this page to email@example.com.||File output: |
Website Maintenance Dashboard
|Return to Top of this Page||Return to Theo Todman's Philosophy Page||Return to Theo Todman's Home Page|