Ontological Arguments
Gödel's ontological proof is a formal argument for God's existence by the mathematician Kurt Gödel.
Does it prove both existence and uniqueness?
https://math.stackexchange.com
Gödel Numbering
Gödel's Ontological Proof Revisited
Logical Arguments - Modus Ponens & Modus Tollens
14. Rules of Inference ||Modus Ponens, Modus Tollens, Hypothetical Syllogism, Disjunctive Syllogism
If X implies Y, and Y isn't true, then neither is X
Axiom
Proof of Theorem
Arithmetizing Metamathematics
https://www.quantamagazine.org
Brno
Ontologický
Ontologie a logika
Žádné komentáře:
Okomentovat