Loading...

Possibilism and Actualism in Quantified Modal Logic

Okhovat Alavian, Mohammad Javad | 2009

382 Viewed
  1. Type of Document: M.Sc. Thesis
  2. Language: Farsi
  3. Document No: 40161 (42)
  4. University: Sharif University of Technology
  5. Department: Philosophy of Science
  6. Advisor(s): Nabavi, Lotfollah
  7. Abstract:
  8. In this thesis, different systems of quantified modal logic, philosophical theories of possibilism and actualism, and the interaction between these two theories and those systems have been studied.Modal claims, which talk about the world as it could have been and not the world as it is, have by far been under philosophical considerations. Possibilism and actualism, two philosophical theses that have their own point of view towards the world and its objects, analyze these claims and their relevant truth-assigning mechanisms in different ways.On the other hand, over the last century, modal sentences have been formulated, in sentencial and quantified levels, by precise logical systems, called modal logics, each of which has its own deduction system. Modal logic, in general, makes use of Kripke’s model of possible worlds in its semantics. Naturally, such formulations provide a firm basis to discuss modal claims in a more clear way.Possibilists and actualists each seek a modal system that conforms to their own philosophical stand point. The first group, provided with possible worlds and possible objects in ontology, have no difficulty in catching an appropriate modal system. But the second, restricted to actual world and its actual objects, are not easily able to find their own way through modal logic atmosphere, and have made lots of efforts to come up with a compatible solution.This research begins with introducing quantified modal logics and comprehensive study of their formal-semantical considerations, carries on with elaborating discussions on the interaction between possibilists and actualists with those modal logics, and finishes with some suggestions for future researches
  9. Keywords:
  10. Realism ; Possible World ; Quantified Modal Logic ; Possibilism ; Possible Object (Possibilia) ; Actual World ; Actual Object (Actualia)

 Digital Object List

 Bookmark

No TOC