Memahami Argumen Ontologis Godel
Rumus-rumus ini mencoba membuktikan keberadaan Tuhan melalui logika formal. Ide utamanya adalah: Sifat Positif (φ): Sesuatu yang lebih baik dimiliki daripada tidak dimiliki. Contoh: keberadaan, kebaikan, kekuatan. Esensi (ess): Sifat yang penting dan mendasar dari suatu hal. Tuhan (G): Entitas yang memiliki semua sifat positif. Keberadaan (E): Sifat yang dimiliki oleh sesuatu yang benar-benar ada. Berikut adalah penjelasan sederhana dari setiap rumus: Ax. 1: Jika suatu sifat positif φ menyebabkan sifat lain ψ, dan φ dimiliki oleh suatu hal, maka ψ juga dimiliki oleh hal tersebut. Ax. 2: Negasi dari suatu sifat positif adalah negatif. Th. 1: Jika suatu sifat positif φ dimiliki oleh sesuatu, maka mungkin ada hal yang memiliki sifat φ. Df. 1: Tuhan (G) adalah entitas yang memiliki semua sifat positif. Ax. 3: Sifat menjadi Tuhan (G) adalah sifat positif. Th. 2: Mungkin ada sesuatu yang menjadi Tuhan (G). Df. 2: Esensi dari suatu hal adalah sifat-sifat yang selalu dimilikinya, dan sifat-sif...