Loading...
| Friend's email | |
| Your name | |
| Your email | |
| enter code | |
This page was sent successfuly
- Type of Document: M.Sc. Thesis
- Language: Farsi
- Document No: 44129 (02)
- University: Sharif University of Technology
- Department: Mathematical Sciences
- Advisor(s): Ardeshir, Mohammad
- Abstract:
- Epistemic logic gets its start with the recognition of the systematic properties of epistemic concepts. These properties make epistemic concepts amenable for formal study, and become our tools to present logical models for them.“Certainty” is one of these epistemic concepts for which no comprehensive logical model has been presented so far.
Among the logical models that have been presented for “Certainty”, there are two main models which are more comprehensive than the others and all the other models may be extendable to one of them. In this thesis, these two main logical models that have been proposed for the concept of certainty are introduced and described from a philosophical approach. Of these two models, one that is philosophically more comprehensive is based on the Possible Worlds semantics, and the other is based on the Interpreted System. The first part of this work is concerned with describing these two models and the concepts which are used in them from both logical and philosophical approaches. The second part is concerned with comparing the two models and extending the model which is based on Interpreted System such that its comprehensiveness equals that of the other one. The result will be a model which enjoys the comprehensiveness of the first model and the applicability of the second one - Keywords:
- Epistemic Logic ; Possible World ; Certainty ; Logistic Models ; Interpreted System
Digital Object List
-
محتواي کتاب
- view
Bookmark