Leibniz: Metaphysics and Philosophy of ScienceR.S. Woolhouse (ed.)The Discourse on Metaphysics and the Correspondence with Arnauld together form the best introduction to Leibniz's thought. This collection includes essays which taken together cover most of hte central themes of these related works and provide a groundwork of exegesis, explanation, and criticism essential for the student of Leibniz and his ideas. I. Leibniz and the logical argument for individual substances / John W. Nason II. Me...

L.E.J. Brouwer over de grondslagen der wiskundeD. van Dalen (red.)Uitgegeven ter gelegenheid van het honderste geboortejaar van L.E.J. Brouwer Inleiding De Brouwer-Korteweg correspondentie betreffende de dissertatie Ongepubliceerde fragmenten Over de Grondslagen der Wiskunde Boekbesprekingen van de hand van G. Mannoury

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

Inleiding in de MathesisDr. E.M. Bruins1. Elementaire analytische meetkunde 2. Differentiaalrekening 3. Complexe getallen 4. Hogere machtsvergelijkingen 5. Omhulden 6. Oneindige verzamelingen en haar afbeeldingen 7. Oneindige reeksen 8. De reeks van Taylor 9. Primitieve functies 10. Integraalrekening 11. Determinanten, lineaire vergelijkingen, eliminanten 12. Enkele meetkundige eigenschappen 13. Puntenparen en kegelsneden 14. Gewone en singuliere punten van vlakke krommen 15. Elementaire analyti...

History of Mathematical Logic from Leibniz to PeanoN.I. Styazhkin1. The Development of Mathematical Logic During the Middle Ages in Europe 2. Leibniz, The Founder of Symbolic Logic 3. The Development of Symbolic Logic After Leibniz; the Seventeenth and Eightteenth Centuries 4. Forerunners of the Algebra of Logic of George Boole 5. George Boole's Calculus of Classes 6. The Development of the Algebra of Logic After Boole at the End of the Nineteenth Century

Moderne logicaDr. E.W. BethI. Het fundamentele criterium voor bewijskracht II. Inferentiële en klassieke logica III. Het bewijs uit het ongerijmde IV. Het probleem van Locke-Berkeley V. Over de zogenaamde denkmachine VI. De paradoxen VII. Verstand en intuïtie VIII. Geformaliseerde talen en normaal taalgebruik IX. Beschouwingen over het logisch denken X. Constanten van het wiskundige denken

Inleiding tot de LogicaA. TarskiNederlandse bewerking door E.W. Beth 1. Elementen der logica. De deductieve methode 2. Toepassingen van logica en methodeleer bij de opbouw van wiskundige theorieën

Quantoren, Modalitäten, Paradoxien - Beiträge zur LogikHorst Wessel (ed.)

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

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

Summulae logicalesDr. E.W. BethI. Inleiding II. De logica der proposities III. De logica der eigenschappen IV. De logica der relaties V. Historische aantekeningen VI. De kategorieën

Logica voor informaticaJ.F.A.K. van Benthem, H.P. van Ditmarsch, J. Ketting, J.S. Lodder, W.P.M. Meyer-Viol1. Inleiding 2. Propositielogica 3. Predikaatlogica 4. Voorbij de predikaatlogica 5. Logica en programmeren 6. Logica en kunstmatige intelligentie 7. Tot besluit

Exacte logicaProf. Dr. Hans Freudenthal1. Verzamelingen en afbeeldingen 2. Proposities 3. Subject-predicaat 4. Formele logica 5. Taal en meta-taal 6. Oplossingen

Inleiding tot de symbolische logicaH.C.M. de Swart, H.G. HubbelingI. De Uitspraakrekening II. De Predicatenrekening III. De Onvolledigheids-stelling IV. Enkele bijzondere stystemen die met name voor de wijsbegeerte van belang zijn Antwoorden bij de oefeningen

The Elements of Mathematical LogicPaul RosenbloomI. The Logic of Classes II. The Logic of Propositions III. The Logic of Proposional Functions IV. The General Syntax of Language

Introduction to Mathematical LogicJ. MalitzI. An Introduction to Set Theory II. An Introduction to Computability Theory III. An Introduction to Model Theory

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

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

Robot op zeePieter AdriaansPieter Adriaans - filosoof, wiskundige, ondernemer, musicus, beeldend kunstenaar en avonturier - verkocht zijn met succes opgebouwde onderneming Syllogic om een jongensdroom te realiseren: meedoen met een transatlantische solozeilrace. Altijd op zoek naar mogelijkheden om zijn talenten te combineren wordt het project Robosail geboren. Zijn passie voor zeilen verbindt hij met zijn wetenschappelijk specialisme: het ontwerpen van intelligente autonome computersystemen. Na...

De stelling van GödelE. Nagel, J.R. NewmanDe stelling van Gödel uitgelegd en begrijpelijk gemaakt - Inleiding - Het consistentieprobleem - Absolute consistentiebewijzen - De systematische codificatie van de formele logica - Een voorbeeld van een geslaagd absoluut consistentiebewijs - Het begrip afbeelden en het gebruik ervan in de wiskunde - Gödels bewijzen; Gödel-getallen; De aritmetisering van de meta-mathematica; De kern van Gödels redenering - Slotbeschouwing