- 著者
-
竹内 泉
- 出版者
- 日本科学哲学会
- 雑誌
- 科学哲学 (ISSN:02893428)
- 巻号頁・発行日
- vol.36, no.2, pp.135-150, 2003-12-30 (Released:2009-05-29)
- 被引用文献数
-
1
This work proposes a new semantics named "context semantics", which interprets predicate modal logic in which the modality symbols means logical validity. Although the possible world semantics is the most well-known method for semantics of modal logic, it is not so useful or so essential in studying the predicate modal logic. Especially, the transworld identification always makes serious problem. In order to avoid the problem, we propose the new semantics. Our semantics interprets a formula with finite information. This point is the most essential difference between our semantics and possible world semantics.