modal logic


Also found in: Thesaurus, Legal, Encyclopedia, Wikipedia.

modal logic

n
1. (Logic) the logical study of such philosophical concepts as necessity, possibility, contingency, etc
2. (Logic) the logical study of concepts whose formal properties resemble certain moral, epistemological, and psychological concepts. See also alethic, deontic, epistemic, doxastic
3. (Logic) any formal system capable of being interpreted as a model for the behaviour of such concepts
ThesaurusAntonymsRelated WordsSynonymsLegend:
Noun1.modal logic - the logical study of necessity and possibility
logic - the branch of philosophy that analyzes inference
2.modal logic - a system of logic whose formal properties resemble certain moral and epistemological concepts
formal logic, mathematical logic, symbolic logic - any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity
alethic logic - the modal logic of necessity and possibility and contingency
deontic logic - the modal logic of obligation and permissibility
epistemic logic - the modal logic of knowledge and uncertainty and ignorance
doxastic logic - the modal logic of belief and disbelief
References in periodicals archive ?
In his recent book, Modal Logic as Metaphysic, Williamson yields to that pressure.
The paper extends the fuzzy modal logic [1,2, and 4], fuzzy enviromnent [3] and neutrosophic sets, numbers and operators [5-12], together with the last developments of the neutrosophic enviromnent {including (t, i, f)-neutrosophic algebraic structures, neutrosophic triplet structures, and neutrosophic overset / underset / offset} [13-15] passing through the symbolic neutrosophic logic [16], ultimately to neutrosophic modal logic.
A given modal logic can be semantically represented by a triple <W, R, a>, in which W is a non-empty set, interpreted as a set of possible scenarios or worlds, and R is an accessibility relation defined among a, interpreted as the actual world, and the other members of W.
Among the topics are Barcan Marcus' courageous philosophical life and work, a philosopher's calling, Barcan formulas in second-order modal logic, whether identity is a functional property, Barcan Marcus on believing without a language, and moral dilemmas from a logical and from a moral point of view.
Tony Street's study of Avicenna's modal logic is a further stage in his collaboration with Paul Thom in understanding the significance of this area of thought and particularly in seeing the connection between logic and metaphysics in the Avicennan corpus.
Semantical Analysis of Modal Logic I: Normal Modal Propositional Calculi.
From this perspective it is worth mentioning that contemporary modal logic, discussed in the essay of Sanford Shieh (Chapter 13, 'Logic, Modality, and Metaphysics in Early Analytic Philosophy: C.
By quantifying over Lewisian possibilia, the Lewisian is able to render any sentence in the language of first-order modal logic in (non-modal) first-order terms.
However, perhaps the most compelling argument for the use of modal logics for modeling the scenarios we have in mind lies in the semantics of modal logic.
Yet, apart from a brief section by Jenson (121-26) aimed mainly at overcoming certain inadequate conceptions of God's eternity, there is little attempt in these essays to address the relationship of time to eternity or to exploit the conceptual resources offered by modal logic in examining possible worlds as opposed to changes over time within one world.
Of course, a few philosophical advances have gained traction since the agoras heyday, such as modal logic, which formalizes considerations of necessity and probability.
Quine argues that quantified modal logic (QML) has the consequence of commitment to Aristotelian essentialism--the position that objects have some of their characteristics essentially and others accidentally.