Next:
Contents
Up:
up
Contents
Index
Positive Philosophy
and
The Automation of Reason
Roger Bishop Jones
Written, edited and typeset by Roger Bishop Jones
www.rbjones.com
Paperback published through CreateSpace
www.createspace.com
ISBN-13:
ISBN-10:
First edition.
Revision: 1.12
Date: 2012-08-10 05:42:01
© Roger Bishop Jones;
Contents
Preface
1
. Introduction
1
.
1
The Project
1
.
2
Themes
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
.
4
The Philosophy
3
. Fundamental Dichotomies
3
.
1
Hume's Fork
3
.
2
A Contemporary Perspective
3
.
3
Before Hume
3
.
4
After Hume
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
.
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
Roger Bishop Jones 2012-09-23