Outlines of the History of Greek PhilosophyEduard ZellerIntroduction 1. The Pre-Socratic Philosophy 2. The Attic Philosophy and the Socratics. Plato. Aristotle 3. Hellenistic Philosophy. The Stoa. The Later Cynicism. Epicureanism. Scepticism. Eclecticism 4. The Philosophy of the Roman Empire

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.)

Formele logica - Een informele inleidingDr. D. van Dalen

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

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