Questo libro nasce dall'idea di riprendere i nostri testi preparati per un corso di perfezionamento organizzato nel 1998 dall'Universita di Roma Tor Vergata. L'idea, a sua volta, nasce dalla richiesta degli studenti dei nostri corsi di disporre di un primo strumento per orientarsi nella storia della logica in un arco di tempo molto vasto. Proprio per questo, il libro non ha pretese di completezza e si limita a esaminare alcuni autori e alcuni argomenti cruciali nel periodo considerato.
Questo libro nasce dall'idea di riprendere i nostri testi preparati per un corso di perfezionamento organizzato nel 1998 dall'Universita di Roma Tor V...
Thisvolume examines the limitations of mathematical logic and proposes a new approach to logic intended to overcome them. To this end, the book compares mathematical logic with earlier views of logic, both in the ancient and in the modern age, including those of Plato, Aristotle, Bacon, Descartes, Leibniz, and Kant. From the comparison it is apparent that a basic limitation of mathematical logic is that it narrows down the scope of logic confining it to the study of deduction, without providing tools for discovering anything new. As a result, mathematical logic has had little impact on...
Thisvolume examines the limitations of mathematical logic and proposes a new approach to logic intended to overcome them. To this end, the book com...
This monograph addresses the question of the increasing irrelevance of philosophy, which has seen scientists as well as philosophers concluding that philosophy is dead and has dissolved into the sciences.
This monograph addresses the question of the increasing irrelevance of philosophy, which has seen scientists as well as philosophers concluding that p...
This book presents Gödel’s incompleteness theorems and the other limitative results which are most significant for the philosophy of mathematics. Results are stated in the form most relevant for use in the philosophy of mathematics. An appendix considers their implications for Hilbert’s Program for the foundations of mathematics. The text is self-contained, all notions being explained in full detail, but of course previous exposure to the very first rudiments of mathematical logic will help.
This book presents Gödel’s incompleteness theorems and the other limitative results which are most significant for the philosophy of mathematics. R...
This book offers an alternative to current philosophy of mathematics: heuristic philosophy of mathematics. In accordance with the heuristic approach, the philosophy of mathematics must concern itself with the making of mathematics and in particular with mathematical discovery. In the past century, mainstream philosophy of mathematics has claimed that the philosophy of mathematics cannot concern itself with the making of mathematics but only with finished mathematics, namely mathematics as presented in published works. On this basis, mainstream philosophy of mathematics has maintained that...
This book offers an alternative to current philosophy of mathematics: heuristic philosophy of mathematics. In accordance with the heuristic approach, ...
