•  307
    From closed to open systems
    In J. Czermak (ed.), Philosophy of Mathematics, Hölder-pichler-tempsky. 1993.
    While Gödel's (first) incompleteness theorem has been used to refute the main contentions of Hilbert's program, it does not seem to have been generally used to stress that a basic ingredient of that program, the concept of formal system as a closed system - as well as the underlying view, embodied in the axiomatic method, that mathematical theories are deductions from first principles must be abandoned. Indeed the logical community has generally failed to learn Gödel's lesson that Hilbert's conc…Read more
  •  119
  •  185
    Logic and Knowledge (edited book)
    Cambridge Scholar Publishing. 2011.
    Logic and Knowledge Editor: Carlo Cellucci, Emily Grosholz and Emiliano Ippoliti Date Of Publication: Aug 2011 Isbn13: 978-1-4438-3008-9 Isbn: 1-4438-3008-9 The problematic relation between logic and knowledge has given rise to some of the most important works in the history of philosophy, from Books VI–VII of Plato’s Republic and Aristotle’s Prior and Posterior Analytics, to Kant’s Critique of Pure Reason and Mill’s A System of Logic, Ratiocinative and Inductive. It provides the title of an imp…Read more
  •  301
    onl y to discuss some claims concerning the relationship between mathematical logic and the philosophy of mathematics that repeatedly occur in his writings. Although I do not know to what extent they are representative of his present position, they correspond to widespread views of the logical community and so seem worth discussing anyhow. Such claims will be used as reference to make some remarks about the present state of relations between mathematical logic and the philosophy of mathematics.