predicate logic

Classical predicate logic and empty domains

Post author:Emil O. W. Kirkegaard
Post published:23. October 2010
Post category:Logic
Post comments:0 Comments

Classical predicate logic and empty domains

Similarity between PWS and predicate logic

Post author:Emil O. W. Kirkegaard
Post published:15. January 2010
Post category:Logic
Post comments:0 Comments

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…

Tough modal logic formalization

Post author:Emil O. W. Kirkegaard
Post published:27. February 2009
Post category:Logic Religion
Post comments:2 Comments

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…