Een nacht vol opwinding - Een keuze uit de filosofische essaysHenri Poincaré1. Selectie van feiten 2. De toekomst van de wiskunde 3. Uitvinding in de wiskunde 4. Wiskundige definities en onderwijs 5. Toeval 6. Over de aard van wiskundig redeneren 7. Wiskundig concept en ervaring 8. Intuïtie en logica bij wiskunde 9. De evolutie van de wetten

L.E.J. Brouwer -Een biografieDirk van Dalen1. Jeugd en schooljaren 2. Studie en studententijd 3. Mystiek 4. De dissertatie 5. Naar de wiskundige top 6. De universitaire carrière 7. Ontwikkeling in isolement 8. Wetenschap en politiek 9. Het onderzoekscentrum Blaricum 10. Dimensietheorie en grondslagenstrijd 11. Götterdämmerung 12. Verloren jaren 13. Universiteit in oorlogstijd 14. Zuivering en reorganisatie 15. Strijd en erkenning

LeibnizDr. C.A. van PeursenContour van Leibniz' leer en leven De binnenkant der werkelijkheid: de monaden De buitenkant der werkelijkheid: organisatie, evolutie, perceptie, harmonie De logica der beste wereld: waarheid, vrijheid, God Wegen de toekomst in: de actualiteit van Leibniz' filosofie Literatuuropgave

Oneindigheid - Filosofie en wetenschap van het oneindigeRudy Rucker1. Oneindigheid 2. Alle getallen 3. Het onbenoembare 4. Robot en ziel 5. Het Ene en het Vele Appendix I: De transfiniete kardinaalgetallen Appendix II: De onvolledigheidsstellingen van Gödel

Mersenne and the Learning of the SchoolsPeter Dear1. Introduction 2. Humanism and the Implications of Rhetoric 3. Dialectic, Probabilism, and “Mitigated Scepticism” 4. Aristotelian Science and the Metaphysics of Mathematics 5. Saint Augustine and Universal Harmony 6. Mechanics, Music, and Harmony 7. Philosophical Systems, Essentialism, and the Language of Philosophy 8. Mersenne’s Later Career: A Philosophical Agenda and Its Limitations 9. Summary and Conclusions

Logica, etiketten en vleesStefan ThemersonVertaling door Nicolaas Matsier Literaire, logische en vaak satirische bespiegelingen over onderwerpen uit de moderne angelsaksische filosofie.

De grondslagen der arithmeticaGottlob FregeTer inleiding Beknopte biografie Noten De grondslagen der arithmetica - Inhoudstafel - Inleiding - Tekst

Filosofische grondslagen van de wiskundeD. van Dalen1. Verzamelingsleer, een platonisch paradigma/ Infinitesimaalrekening 2. Intuïtionisme / Negatieloze wiskunde 3. Logica 4. Formalisme 5. Logicisme 6. Zijn er constanten van het wiskundig denken?

Logica voor alfa's en informaticiJan van Eijk, Elias Thijsse1. Algemene inleiding 2. Kernbegrippen uit de naïeve verzamelingenleer 3. Eindige, oneindige en beslisbare verzamelingen 4. Logica, de leer van het correct redeneren 5. Propositielogica 6. Predikatenlogica 7. Uitbreidingen van de predikatenlogica 8. Informatica-toepassingen van de logica

Logica en modelDoede Nauta1. Historisch overzicht. Een introductie tot het model in de formele wetenschappen 2. Mathematische standaardbegrippen. Verzameling, afbeelding, groep, isomorfie 3. Symbolische logica. Een inleiding tot de logica aan de hand van het modelbegrip 4. Elementen der modeltheorie 5. Formele wetenschap en model

Frege and Gödel - Two Fundamental Texts in Mathematical LogicJean van Heijenoort (ed.)Begriffsschrift, a formula language, modeled upon that of arithmetic, for pure thought (1879), by G. Frege Some metamathematical results on completeness and consistency; On formally undecidable propositions of Principia mathematica and related systems I; and On completeness and consistency (1930b, 1931, and 1931a), by K. Gödel

Perspectives on the History of Mathematical LogicThomas Drucker (ed.)The Problem of Elimination in the Algebra of Logic - Judy Green Peirce and the Law of Distribution - Nathan Houser The First Russell Paradox - Irving H. Anellis Principia Mathematica and the Development of Automated Theorem Proving - Daniel J. O’Leary Oswald Veblen and the Origins of Mathematical Logic at Princeton - William Aspray The Löwenheim-Skolem Theorem, Theories of Quantification, and Proof Theory - Irving H. Anellis...

A Mathematical Introduction to LogicHerbert B. Enderton0. Useful Facts about Sets 1. Sentential Logic 2. First-Order Logic 3. Undecidability 4. Second-Order Logic

Popular Lectures on Mathematical LogicHao WangA noted logician and philosopher addresses various forms of mathematical logic, discussing both theoretical underpinnings and practical applications. Author Hao Wang surveys the central concepts and theories of the discipline in a historical and developmental context, and then focuses on the four principal domains of contemporary mathematical logic: set theory, model theory, recursion theory and constructivism, and proof theory. Topics include the pl...

Handbook of Mathematical LogicJon Barwise (ed.)Part A. Model Theory (Contributors: J. Barwise, P.C. Eklof, H.J. Keisler, A. Kock, A. Macintyre, M. Makkai, M. Morley, G.E. Reyes, K.D. Stroyan) Part B. Set Theory (Contributors: J.P. Burgess, K.J. Devlin, T.J. Jech, I. Juhász, K. Kunen, M.E. Rudin, J.R. Schoenfield) Part C. Recursion Theory (Contributors: P. Aczel, M. Davis, H.B. Enderton, A. Kechris, D.A. Martin, Y.N. Moschovakis, M.O. Rabin, R.A. Shore, S.G. Simpson) Part D. Proof Theory an...

Combinatory Logic, Vol. 1Haskell B. Curry, Robert Feys, William Craig1. Formal Systems 2. Epitheory 3. Lambda-Conversion 4. The Church-Rosser Theorem 5. Intuitive Theory of Combinatorics 6. Synthetic Theory of Combinatorics 7. Logistic Foundations 8. Introduction to Illative Combinatory Logic 9. The Basic Theory of Functionality 10. The Stronger Theories of Functionality

Proofs and Refutations - The Logic of Mathematical DiscoveryImre LakatosChapter 1 1. A problem and a conjecture 2. A proof 3. Criticism of the proof by counterexamples which are local but not global 4. Criticism of the conjecture by global counterexamples 5. Criticism of the proof-analysis by counterexamples which are global but not local. The problem of rigour 6. Return to criticism of the proof by counterexamples which are local but nog global. The problem of content 7. The problem of content ...

The Axiom of ChoiceThomas J. JechPreface 1. Introduction 2. Use of the axiom of choice 3. Consistency of the axiom of choice 4. Permutation models 5. Independence of the axiom of choice 6. Embedding theorems 7. Models with finite supports 8. Some weaker versions of the axiom of choice 9. Nontransferable statements 10. Mathematics without choice 11. Cardinal numbers in set theory without choice 12. Some properties contradicting the axiom of choice Appendix 1. Equivalents of the axiom of choice Ap...

Elements of IntuitionismMichael Dummett1. Preliminaries 2. Elementary Intuitionistic Mathematics 3. Choice Sequences and Spreads 4. The Formalization of Intuitionistic Logic 5. The Semantics of Intuitionistic Logic 6. Some Further Topics 7. Concluding Philosophical Remarks

Intuitionism - An IntroductionA. HeytingI. Disputation II. Arithmetic III. Spreads and species IV. Algebra V. Plane pointspecies VI. Measure and integration VII. Logic VIII. Controversial subjects