•  231
    There are three sections in this paper. The first is a philosophical discussion of the general problem of reasoning under limited deductive capacity. The second sketches a rigorous way of assigning probabilities to statements in pure arithmetic; motivated by the preceding discussion, it can nonetheless be read separately. The third is a philosophical discussion that highlights the shifting contextual character of subjective probabilities and beliefs.
  •  239
    Dummett’s The Logical Foundations of Metaphysics (LFM) outlines an ambitious project that has been at the core of his work during the last forty years. The project is built around a particular conception of the theory of meaning (or philosophy of language), according to which such a theory should constitute the corner stone of philosophy and, in particular, provide answers to various metaphysical questions. The present paper is intended as a critical evaluation of some of the main features of th…Read more
  •  74
    This short sketch of Gödel’s incompleteness proof shows how it arises naturally from Cantor’s diagonalization method [1891]. It renders the proof of the so–called fixed point theorem transparent. We also point out various historical details and make some observations on circularity and some comparisons with natural language. The sketch does not include the messy details of the arithmetization of the language, but the motive for arithmetization and what it should accomplish are made obvious. We s…Read more