Contents

• 1. Introduction
  • 1.1 The Project
  • 1.2 Themes
    • 1.2.1 The Organon
    • 1.2.2 Historical Threads
    • 1.2.3 Foundationalism
  • 1.3 By Chapter
  • 1.4 How to Read this Book
  
  
• 2. The Project
  • 2.1 Leibniz, Characteristic and Calculus
  • 2.2 Carnap's Programme
  • 2.3 Information Technology
    • 2.3.1 Alan Turing
    • 2.3.2 The Science of Computing
    • 2.3.3 Automation and Intelligence
    • 2.3.4 Some Distinctions
  • 2.4 The Philosophy
  
  
• 3. Fundamental Dichotomies
  • 3.1 Hume's Fork
    • 3.1.1 Relations of Ideas
    • 3.1.2 Matters of Fact
    • 3.1.3 The Place of The Fork in Hume's Philosophy
  • 3.2 A Contemporary Perspective
  • 3.3 Before Hume
    • 3.3.1 The Pre-Socratics
    • 3.3.2 Two Kinds of Stability
    • 3.3.3 Plato's Theory of Ideals
    • 3.3.4 Aristotle's Logic and Metaphysics
    • 3.3.5 Rationalist Philosophy
    • 3.3.6 British Empiricism Before Hume
    • 3.3.7 Leibniz
  • 3.4 After Hume
    • 3.4.1 A Broad Sketch of the Development
    • 3.4.2 Kant
    • 3.4.3 Bolzano
    • 3.4.4 Frege
    • 3.4.5 Russell
    • 3.4.6 Wittgenstein
    • 3.4.7 Tarski
    • 3.4.8 Carnap
    • 3.4.9 Quine
    • 3.4.10 Kripke
  
  
• 4. Analyticity and Analysis
  • 4.1 Abstract Logical Analysis
  • 4.2
  • 4.3 The Scope of Analytic Truth
  • 4.4 Analytic Philosophy
  • 4.5 Analyticity in Science
  
  
• 5. Computation and Deduction
  • 5.1 Before the Greeks
  • 5.2 Sketch
  • 5.3 The Status of Proof
  • 5.4 Incompleteness and Recursion Theory
  • 5.5 Computing Machinery and Proof
  • 5.6 Sound Computation as Proof
  • 5.7 Oracles and the Terminator
  • 5.8 Self Modifying Procedures
  
  
• 6. Rigour, Scepticism and Positivism
  • 6.1 Systematic Skepticism
  • 6.2 positivism
  • 6.3 Rudolf Carnap
    • 6.3.1 Tolerance, Pluralism, Metaphysics
  • 6.4 1
  
  
• 7. Epistemic Retreat
• 8. Language Planning
  • 8.1 Languages, Notations and Representations
  • 8.2 Universalism and Pluralism
  • 8.3 On the Need for Synthetic Propositions
  • 8.4 Logical Foundation Systems
  • 8.5 Interactive Theorem Provers
  • 8.6 Theory Hierarchy as Knowledge Base
  
  
• 9. The Architecture of Knowledge
  • 9.1 Requirements from Leibniz and Carnap
  • 9.2 Epistemic Retreat
  
  
• 10. Metaphysical Positivism
  • 10.1 First Base
  • 10.2 By Comparison with Logical Positivism
  • 10.3 Principal Features
  
  
• 11. Digging Deeper
  • 11.1 Foundations for Knowledge
  • 11.2 Logical Foundations
  • 11.3 Empirical Foundations
  
  
• Bibliography
• List of Tables
• Index

[chapter]positionposPositions

2]

0.0.0.0.1 #1

#2