If-Logic and Truth-definition |
| |
| Authors: | Sandu Gabriel |
| |
| Affiliation: | (1) Department of Philosophy, University of Helsinki E-mail, Netherlands |
| |
| Abstract: | In this paper we show that first-order languages extended with partially ordered connectives and partially ordered quantifiers define, under a certain interpretation, their own truth-predicate. The interpretation in question is in terms of games of imperfect information. This result is compared with those of Kripke and Feferman. |
| |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ |
|
