Online research in philosophy

The theme of the paper is that what is true cannot be false and conversely. This position was anticipated by Aristotle in De Interpretatione and by G. H. von Wright. The latter calls it “a truth of the logic of relative modalities.”Aristotle has been taken to task by Susan Haack and others for arguing fallaciously from the Principle of Bivalence, that every statement is either true or false, to fatalism. The implication holds, but we show that it is unreasonable to (...) assume that Aristotle grounded his argument on this implication rather than on what we call the force of truth. (shrink)

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

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.

It is argued that the constraints placed on the non-law premisses of a D–N explanation are irrelevant to their function and will not salvage the deductive requirement from triviality.