Classical predicate logic and empty domains
Classical predicate logic and empty domains
Classical predicate logic and empty domains
It seems to me that the formulas: 1. ◊P 2. (∃x)(Fx) and: 3. □P 4. (∀x)(Fx) are quite similar, if we translate the modal propositional ones into PWS. Here is…
Source. Gamgee wrote: In the Ontological Argument, Anselm refutes Guanilo's Perfect Island criticism by stating that God has Aseity. Anselm does not, as far as i know, make any attempt…