Index

analytic

philosophy

4.1

Aristotle

2.3 to 2.3.1

Begriffsschrift

3.4.1

Berkeley

2.11 to 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 to 2.8

dichotomies

2.10.2 to 2.10.2

empiricism

1.4.2

epistemology

1.6.1

expressiveness

3.5

Frege

3.3 to 3.4.1

Galileo

2.6 to 2.6

Hobbes

2.7

Hume

2.12 to 2.12

Kant

2.13 to 2.13

LCF

5.1.3

paradigm

5.1.3

Leibniz

2.10 to 2.10.4 | 3.1 | 6.4

Locke

2.9 to 2.9.1

Logic for Computable Functions

5.1.3

Logical Atomism

4.5 to 4.5.2

Logical Positivism

4.6 to 4.6

logicism

3.4.2

philosophical

4.2

meta-mathematics

3.7

ML

5.1.3

Phyrro

2.5 to 2.5

Principia Mathematica

3.4.2

proof

5.1 to 5.1.7

Pythagoras

2.2 to 2.2

rationalism

1.4.2 | 2.10.1 to 2.10.1

reason

sufficient

2.10.3 to 2.10.3

scepticism

1.5.1

semantic embedding

3.6

speculation

1.5.1

strength

3.5

types

Theory of

3.4.2