|
|||||
|
|
Semantic Analysis of some Variants of Anderson-like Ontological Proofs |
|
| Authors: | Miroslaw?Szatkowski author-information" > author-information__contact u-icon-before" > mailto:misza@gmx.de" title=" misza@gmx.de" itemprop=" email" data-track=" click" data-track-action=" Email author" data-track-label=" " >Email author |
| Affiliation: | (1) Rudolf-von-Hirsch, Str. 27, 82152 Krailling, Germany |
| Abstract: | The aim of this paper is to prove strong completeness theorems for several Anderson-like variants of Gödel s theory wrt. classes of modal structures, in which: (i). 1st order terms order receive only rigid extensions in the constant objectual 1st order domain; (ii). 2nd order terms receive non-rigid extensions in preselected world-relative objectual domains of 2nd order and rigid intensions in the constant conceptual 2nd order domain. |
| Keywords: | Ontological proof 2nd order modal logic positive properties completeness |
| 本文献已被 SpringerLink 等数据库收录！ | |