-
1255Foreknowledge and Free WillOrganon F: Medzinárodný Časopis Pre Analytickú Filozofiu 19 (1): 55-57. 2012.We contend that since what is true cannot be false, foreknowledge is transparently incompatible with free will. We argue that what is crucial to the conflict is the role of truth in foreknowledge and that the identity of the one who foreknows is irrelevant.
-
55
-
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
-
95Arithmetic 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
Ramat Gan, Tel Aviv District, Israel
Areas of Specialization
| Metaphysics |
Areas of Interest
| Metaphysics and Epistemology |
| Logic and Philosophy of Logic |