Modal Logic
Edit Page
Report
Scan day: 07 February 2014 UTC
-345
Virus safety - good
Description: Originally the study of deductive behavior of the expressions `it is necessary that' and `it is possible that', now also includes logics for belief, tense, the deontic (moral) expressions. By James W. Garson, University of Houston.
Modal Logic (Stanford Encyclopedia of Philosophy) First published Tue Feb 29, 2000; substantive revision Fri Oct 2, 2009 A modal is an expression (like ‘necessarily’ or ‘possibly’) that is used to qualify the truth of a judgement. Modal logic 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’ 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 logic is particularly valuable in the formal analysis of philosophical argument, where expressions from the modal family are both common and confusing. Modal logic also has important applications in computer science.
Size: 919 chars
Contact Information
Email:Send Message
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | Modal Logic (Stanford Encyclopedia of Philosophy) |
| Keywords: | |
| Description: | |
| IP-address: | 171.67.193.20 |
WHOIS Info
| NS | Name Servers: ARGUS.STANFORD.EDU 171.64.7.115, 2607:f6d0:0:9113::ab40:773 AVALLONE.STANFORD.EDU 171.64.7.88, 2607:f6d0:0:9116::ab40:758 |
| WHOIS | |
| Date | activated: 04-Oct-1985 last updated: 07-May-2009 expires: 31-Jul-2014 |