modal logic

Also found in: Dictionary, Legal, Encyclopedia, Wikipedia.
Graphic Thesaurus  🔍
Display ON
Animation ON
  • noun

Words related to modal logic

the logical study of necessity and possibility

Related Words

a system of logic whose formal properties resemble certain moral and epistemological concepts

References in periodicals archive ?
Modal Logic studies what implications those moods have for economic reality.
Therefore one shall introduce modal logic definition of "possibility" into this model.
There are articles on the scope and object of metaphysics (Ludger Honnefelder, Joel Biard), on the scope and validity of the laws of logic (Simo Knuuttila), on the origins of logical possibility (Jeffrey Coombs) and "moral modalities" (Sven Knebel) and on modal logic in fifteenth-century Germany (Gino Roncaglia--a particularly clear article).
3) As much as we consider possible worlds to be firmly connected with the development of modal logic and logical discourse, it has to be emphasized that the notion of possible worlds originates in Gottfried Wilhelm Leibniz's metaphysical notion of the universe of possible worlds from which the best one was chosen and actualized by God.
Modal logic and logical properties are used to build a detailed model of identity, and the ramifications for correct and incorrect subsumption relationships are examined.
Titled ``Transworld Modal Operator,'' the number refers to modal logic, ``the symbolic logic of possibilities, possible worlds,'' Eshbach explained.
Additionally, based on Zadeh's (1983) concepts of necessity and possibility, uncertainty in the data can be modeled by using a fuzzy extension of modal logic, in which a fuzzy interval is suggested to represent the degree of uncertainty rather than a scalar.
The book concludes with a presentation of modal logic, propositional logic, and quantification.
Rather than provide a different counterpart translation of the actuality operator itself, the solution presented here starts out with a quantified modal logic in which the actuality operator is redundant, and then translates the sentences of this logic into claims of counterpart theory.
The necessity operator is special in normal modal logic.
The last part of the text deals with supplemental material such as informal fallacies, modal logic, and inductive logic.
This, in turn, commends itself because the work on modal logic appears to be the most interesting done by the logicians working in Arabic.
Many logicians have tried to formalize a modal logic from the Prior Analytics, but the general view is that Aristotle has failed to offer a consistent modal logic there.
The final chapter of Part 1, 'Possible Worlds Semantics: Philosophical Foundations' by Robert Stalnaker, canvasses Kripke's contributions to the semantics for modal logic, and discusses various metaphysical questions which are related to the possible-worlds framework.
On the level of individual topics one can always regret some omissions if not quite commissions: the latter would be churlish (though the inclusion of a chapter on valor in lieu of one on modal logic rubs this reviewer the wrong way something fierce).