Index

analytic
philosophy
4.1
Aristotle
2.3 | 2.3.1
Begriffsschrift
3.4.1
Berkeley
2.11 | 2.11
calculus ratiocinator
2.10.4 | 3.1 | 3.5
characteristica universalis
2.10.4 | 3.1
conservative extension
3.6
Descartes
2.8 | 2.8
dichotomies
2.10.2 | 2.10.2
empiricism
1.4.2
epistemology
1.6.1
expressiveness
3.5
Frege
3.3 | 3.4.1
Galileo
2.6 | 2.6
Hobbes
2.7
Hume
2.12 | 2.12
Kant
2.13 | 2.13
LCF
5.1.3
paradigm
5.1.3
Leibniz
2.10 | 2.10.4 | 3.1 | 6.4
Locke
2.9 | 2.9.1
Logic for Computable Functions
5.1.3
Logical Atomism
4.5 | 4.5.2
Logical Positivism
4.6 | 4.6
logicism
3.4.2
philosophical
4.2
meta-mathematics
3.7
ML
5.1.3
Phyrro
2.5 | 2.5
Principia Mathematica
3.4.2
proof
5.1 | 5.1.7
Pythagoras
2.2
rationalism
1.4.2 | 2.10.1 | 2.10.1
reason
sufficient
2.10.3 | 2.10.3
scepticism
1.5.1
semantic embedding
3.6
speculation
1.5.1
strength
3.5
types
Theory of
3.4.2


Roger Bishop Jones 2016-01-07