An Introduction to Symbolic LogicSusanne K. LangerI. The Study of Forms II. The Essentials of Logical Structure III. The Essentials of Logical Structure (continued) IV. Generalization V. Classes VI. Principal Relations Among Classes VII. The Universe of Classes VIII. The Deductive System of Classes IX. The Algebra of Logic X. Abstraction and Interpretation XI. The Calculus of Propositions XII. The Assumpions of Principia Mathematica XIII. Logistics

Introduction to Symbolic Logic and Its ApplicationsRudolf CarnapI. System of symbolic logic A. The simple language A B. The language B C. The extended language C II. Application of symbolic logic D. Forms and methods of the construction of languages E. Axiom systems (ASs) for set theory and arithmetic F. Axiom systems (ASs) for geometry G. ASs of pysics H. ASs of biology

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

Principia Mathematica to *56Alfred North Whitehead, Bertrand RussellIntroduction I. Mathematical Logic A. The Theory of Deduction B. Theory of Apparent Variables C. Classes and Relations D. Logic of Relations E. Products and Sums of Classes II. Prolegomena to Cardinal Arithmetic A. Unit Classes and Couples

Geschiedenis der LogicaDr. E.W. BethI. Helleense en Hellenistische Logica II. Middeleeuwse Logica III. Nieuwere Logica IV. Moderne Logica De nieuwste onderzoekingen

Symbolische LogicaProf. Dr. E.W. BethI. Inleiding II. Het apparaat der moderne logica III. Kritiek op de symbolische logica

Nonstandard AnalysisAlain Robert1. Idealization 2. Standardization and Transfer 3. Real Numbers and Numerical Functions 4. Continuity 5. Differentiability 6. Integration 7. Invariant Means 8. Approximation of Functions 9. Differential Equations 10. Pertubation of a Green Function 11. Invariant Subspaces Problem

Het keerpunt - Wetenschap, samenleving en de opkomst van de nieuwe cultuurFritjof CapraAan de voornaamste vraagstukken van onze tijd – kanker, misdaad, vervuiling, kernkracht, inflatie, het energietekort – ligt een en hetzelfde krachtenspel ten grondslag. We leven in een tijd van verandering die dramatisch en vol gevaren is, een keerpunt voor onze planeet in haar geheel. We hebben een nieuwe visie op de werkelijkheid nodig, een visie die het mogelijk maakt dat de krachten die onze wereld omv...

De vierde dimensieRudy Rucker1. De vierde dimensie 2. Ruimte 3. Hoe we er moeten komen

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

Wetenschap en hypotheseHenri Poincaré1. Het getal en de grootheid 2. De ruimte 3. De kracht 4. De Natuur

De getallen en de dingen, 2 delenAristotelesAristoteles (384 vC) is zonder veel overdrijving een van de oorspronkelijkste, veelzijdigste en belangrijkste filosofen in de Westeuropese cultuur. Zijn invloedrijke werken spelen steeds een centrale rol in de theorie en de geschiedenis van literatuur, biologie, ethiek, politiek en retorica. In de eenentwintigste eeuw is Aristoteles opnieuw een onmisbare en inspirerende filosofische gids in het chaotische museum van de werkelijkheid. Aristoteles gunt ...

Metamagical Themas: Questing for the Essence of Mind and PatternDouglas R. HofstadterI. Snags and Snarls II. Sense and Society III. Sparking and Slipping IV. Structure and Strangeness V. Spirit and Substrate VI. Selection and Stability VII. Sanity and Survival

Gödel, Escher, Bach: an Eternal Golden BraidDouglas R. HofstadterA metaphorical fugue on minds and machines in the spirit of Lewis Carroll

The Principles of MathematicsBertrand RussellPart I. The Indefinables of Mathematics Part II. Number Part III. Quantity Part IV. Order Part V. Infinity and Continuity Part VI. Space Part VII. Matter and Motion

Gödel's ProofErnest Nagel, James R. NewmanIn 1931 Kurt Gödel published his fundamental paper, On Formally Undecidable Propositions of Principia Mathematica and Related Systems. This revolutionary paper challenged certain basic assumptions underlying much research in mathematics and logic. The authors provide an explanation of the main ideas and broad implications of Gödel's discovery.

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

The Mathematical ExperiencePhilip J. Davis, Reuben Hersh1. The Mathematical Landscape 2. Varieties of Mathematical Experience 3. Outer Issues 4. Inner Issues 5. Selected Topics in Mathematics 6. Teaching and Learning 7. From Certainty to Fallibility 8. Mathematical Reality

De kernproblemen van de filosofieA.J. AyerI. De aanspraken van de metafysica II. Betekenis en gezond verstand III. Filosofische analyse IV. Het probleem van de waarneming V. De opbouw van de fysische wereld VI. Lichaam en geest VII. Feiten en verklaringen VIII. Regel en kans IX. Logica en bestaan X. De aanspraken van de theologie

De troost van de filosofieAlain de BottonI. Impopulariteit II. Geldzorgen III. Frustratie IV. Onmacht V. Liefdesverdriet VI. Moeilijkheden

Foundations of Mathematical LogicHaskell B. Curry1. Introduction 2. Formal systems 3. Epitheory 4. Relational logical algebra 5. The theory of implication 6. Negation 7. Quantification 8. Modality

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

Beschrijven en bewijzenH. Zantema, P.W.H. Lemmens1. Waarom iets bewijzen? 2. Proposities 3. Bewijzen met deductie 4. Predicaten 5. Verzamelingen 6. Afbeeldingen 7. Volledige inductie 8. Relaties en grafen 9. Ordeningen 10. Oneindige verzamelingen 11. Extra opgaven

The Philosphy of Space and TimeHans ReichenbachI. Space II. Time III. Space and Time