Offering a collection of fifteen essays that deal with issues at the intersection of phenomenology, logic, and the philosophy of mathematics, this 2005 book is divided into three parts. Part I contains a general essay on Husserl's conception of science and logic, an essay of mathematics and transcendental phenomenology, and an essay on phenomenology and modern pure geometry. Part II is focused on Kurt Godel's interest in phenomenology. It explores Godel's ideas and also some work of Quine, Penelope Maddy and (...) Roger Penrose. Part III deals with elementary, constructive areas of mathematics. These are areas of mathematics that are closer to their origins in simple cognitive activities and in everyday experience. This part of the book contains essays on intuitionism, Hermann Weyl, the notion of constructive proof, Poincaré and Frege. (shrink)

Most areas of philosopher Edmund Husserl’s thought have been explored, but his views on logic, mathematics, and semantics have been largely ignored. These essays offer an alternative to discussions of the philosophy of contemporary mathematics. The book covers areas of disagreement between Husserl and Gottlob Frege, the father of analytical philosophy, and explores new perspectives seen in their work.

After a short preface, the first of the three sections of this paper is devoted to historical and philosophic aspects of categoricity. The second section is a self-contained exposition, including detailed definitions, of a proof that every mathematical system whose domain is the closure of its set of distinguished individuals under its distinguished functions is categorically characterized by its induction principle together with its true atoms (atomic sentences and negations of atomic sentences). The third section deals with applications especially those (...) involving the distinction between characterizing a system and axiomatizing the truths of a system. (shrink)

This is a book that no one but Weyl could have written--and, indeed, no one has written anything quite like it since.

A Mathematical Introduction to Logic, Second Edition, offers increased flexibility with topic coverage, allowing for choice in how to utilize the textbook in a course. The author has made this edition more accessible to better meet the needs of today's undergraduate mathematics and philosophy students. It is intended for the reader who has not studied logic previously, but who has some experience in mathematical reasoning. Material is presented on computer science issues such as computational complexity and database queries, with additional (...) coverage of introductory material such as sets. Increased flexibility of the text, allowing instructors more choice in how they use the textbook in courses. Reduced mathematical rigour to fit the needs of undergraduate students. (shrink)

In the 1890's, when fields such as psychology and philosophy were just emerging, turf wars between the disciplines were common-place. Philosophers widely discounted the possibility that psychology's claim to empirical truth had anything relevant to offer their field. And psychologists, such as the crazed and eccentric Otto Weinegger, often considered themselves philosophers. Freud, it is held, was deeply influenced by his wife, Martha's, uncle, who was also a philosopher. The tension between the fields persisted, until the two fields eventually matured (...) and grew apart. Until the publication of Martin Kursch's masterly work Psychologism , few philosophers and psychologists have attended to their originally unhappy, turn-of-the-century engagement. Martin Kusch explores the origins of psychologism in Germany and fin de siecle Vienna by examining two major figures of twentieth century philosophy: Frege and Husserl. As one of the few serious works on Frege, Kusch trenchantly and clearly reconstructs the debate and the context in which it flourished. Psychologism will prove to be a key work of intellectual history on a subject which has largely been overlooked and, above all, understudied. (shrink)

Of course we all know now that mathematics has proved that logic doesn't really make sense, but Etchemendy (philosophy, Stanford Univ.) goes further and challenges the received view of the conceptual underpinnings of modern logic by arguing that Tarski's model-theoretic analysis of logical consequences is wrong. He may have found the soft underbelly of the dead horse. Annotation copyrighted by Book News, Inc., Portland, OR.

Some of the most important developments of symbolic logic took place in the 1920s. Foremost among them are the distinction between syntax and semantics and the formulation of questions of completeness and decidability of logical systems. David Hilbert and his students played a very important part in these developments. Their contributions can be traced to unpublished lecture notes and other manuscripts by Hilbert and Bernays dating to the period 1917-1923. The aim of this paper is to describe these results, focussing (...) primarily on propositional logic, and to put them in their historical context. It is argued that truth-value semantics, syntactic ("Post-") and semantic completeness, decidability, and other results were first obtained by Hilbert and Bernays in 1918, and that Bernays's role in their discovery and the subsequent development of mathematical logic is much greater than has so far been acknowledged. (shrink)

In this paper I discuss Husserl's solution of the problem of imaginary elements in mathematics as presented in the drafts for two lectures hegave in Göttingen in 1901 and other related texts of the same period,a problem that had occupied Husserl since the beginning of 1890, whenhe was planning a never published sequel to Philosophie der Arithmetik(1891). In order to solve the problem of imaginary entities Husserl introduced,independently of Hilbert, two notions of completeness (definiteness in Husserl'sterminology) for a formal axiomatic (...) system. I present and discuss these notionshere, establishing also parallels between Husserl's and Hilbert's notions ofcompleteness. (shrink)

§30. Significance of Desargues's theorem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64 CHAPTER VI. PASCAL'S THEOREM. §31. ...

This book grew out of a graduate student paper [261] in which I set down some criticisms of J. R. Lucas' attempt to refute mechanism by means of G6del's theorem. I had made several such abortive attempts myself and had become familiar with their pitfalls, and especially with the double edged nature of incompleteness arguments. My original idea was to model the refutation of mechanism on the almost universally accepted G6delian refutation of Hilbert's formalism, but I kept getting stuck on (...) questions of mathematical philosophy which I found myself having to beg. A thorough study of the foundational works of Hilbert and Bernays finally convinced me that I had all too naively and uncritically bought this refutation of formalism. I did indeed discover points of surprisingly close contact between formalism and mechanism, but also that it was possible to under mine certain strong arguments against these positions precisely by invok ing G6del's and related work. I also began to realize that the Church Turing thesis itself is the principal bastion protecting mechanism, and that G6del's work was perhaps the best thing that ever happened to both mechanism and formalism. I pushed these lines of argument in my dis sertation with the patient help of my readers, Raymond Nelson and Howard Stein. I would especially like to thank the latter for many valuable criticisms of my dissertation as well as some helpful suggestions for reor ganizing it in the direction of the present book. (shrink)