-
83Isomorphism Between C1 and C2Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (13-15): 237-240. 1972.
-
43A correction in Copi's account of Boolean normal formsNotre Dame Journal of Formal Logic 14 (2): 288-288. 1973.
-
75On the cannot of infallibilitySophia 44 (1): 125-127. 2005.We content that a very seductive argument for theological fatalism fails. In the course of our discussion we point out that theological fatalism is incompatible with the existence of a being who is omnipotent, omniscient and infallible. We end by suggesting that ‘possible’ formalized as ‘◊’ is to be understood as ‘can or could have been’ and not simply as ‘can’. The argument we discuss conflates the two.
-
108
-
93Arithmetic and Logic Incompleteness: the LinkThe Reasoner 2 (3): 6. 2008.We show how second order logic incompleteness follows from incompleteness of arithmetic, as proved by Gödel
-
51Notes and Discussions Notes et Discussions — Notizen und Diskussionen Convention T And Natural LanguagesDialectica 32 (1): 77-80. 1978.
-
107
-
55Two Observations About S5Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 23 (36): 485-486. 1977.
-
68Comment on Yehuda Gellman's “the intelligibility of God's simplicity in rational theology”Philosophia 4 (4): 560-560. 1974.
-
75A note on theological fatalism1Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 14 (2): 143-147. 2007.We contend that a very seductive argument for theological fatalism fails. In the course of our discussion we point out that theological fatalism is incompatible with the existence of a being who is omnipotent, omniscient and infallible. We suggest that ‘possible’ formalized as ‘◊’ is to be understood as ‘can or could have been’ and not simply as ‘can’. The argument we discuss conflates the two. We end by rounding out, hope-fully, some left over corners of serious concern to the theist.
Ramat Gan, Tel Aviv District, Israel
Areas of Specialization
| Metaphysics |
Areas of Interest
| Metaphysics and Epistemology |
| Logic and Philosophy of Logic |