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.
