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