Alex Blum

We argue that the part of the future which is up to us is in principle unknowable.

Alex Blum ABSTRACT: We argue that the part of the future which is up to us is in principle unknowable. Download PDF.

We show, that given two fundamental theses of Kripke, no statement of the form ‘‘a=b’ is necessarily true’, is true, if ‘a’ and ‘b’ are distinct rigid designators.

Alex Blum ABSTRACT: We show, that given two fundamental theses of Kripke, no statement of the form ‘‘a=b’ is necessarily true’, is true, if ‘a’ and ‘b’ are distinct rigid designators. Download PDF.

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.

We show how second order logic incompleteness follows from incompleteness of arithmetic, as proved by Gödel