A Logical Journey: From Gödel to Philosophy

Introduction: the logician and his theorem Godel's philosophy - program and execution relation of philosophy to mathematics and logic from Godel to logic and metaphilosophy. Gode's life: a sketch health and daily life some of his general observations marriage politics and his personal situation companion of Einstein. Godel's mental development: his life in its relation to his work conscious preparation (1920-1929) the first of the three stages of his work the two later stages some facts about Godel in his own words his own summaries. religion and philosophy as guides to action: Godel on an afterlife religion and Godel's ontological proof worldviews - between philosophy and ideology. The conversations and their background: actual and imaginary conversations my contacts with Godel and his work chronology and miscellany - 1971-1972 continuation - 1975-1976. Philosophies and philosophers: how Godel relates philosophy to the foundations of mathematics some general comments for Husserl - with digressions on Kant against (logical) positivism Godel and Wittgenstein. Minds and machines - on computabilism: Mental computabilism - Godel's theorem and other suggestions mind and matter - on physicalism and parallelism Turing machines or Godelian minds? formal systems and computable partial functions neural and physical computabilism. Platonism or objectivism in mathematics: the dialectic of intuition and idealization discovery and creation - expansion through idealization the perception of concepts facts or arguments for objectivism in mathematics conceptions of objectivism and the axiomatic method. Set theory and logic as concept theory: Canto's continuum problem and his hypothesis set theory and the concept of set the Cantor-Neumann axiom - the subjective and the objective the function and scope of logic the paradoxes and the theory of concepts sets and concepts - the quest for concept theory principles for the introduction of sets. Godel's approach to philosophy: his philosophy - program and execution on methodology - how to study philosophy some general observations on philosophy the meaning of the world - monadology and rationalistic optimism time - as experienced and as represented. Epilogue - alternative philosophies as complementary: factualism and historical philosophy - some choices some suggestions by Bernays some lessons from the "Work of Rawls" the place of philosophy and some of its tasks alternative philosophies and logic as metaphilosophy.