Modern Origins of Modal Logic

[Revised entry by Roberta Ballarin on May 8, 2017. Changes to: Main text, Bibliography] Modal logic can be viewed broadly as the logic of different sorts of modalities, or modes of truth: alethic
Philosophy News image
[Revised entry by Roberta Ballarin on May 8, 2017. Changes to: Main text, Bibliography] Modal logic can be viewed broadly as the logic of different sorts of modalities, or modes of truth: alethic ("necessarily"), epistemic ("it is known that"), deontic ("it ought to be the case that"), or temporal ("it has been the case that") among others. Common logical features of these operators justify the common label. In the strict sense however, the term "modal logic" is reserved for the logic of the alethic modalities, as opposed for example to temporal or deontic logic. From...

Continue reading . . .

News source: Stanford Encyclopedia of Philosophy

blog comments powered by Disqus