Index

a priori

3.4.1

analysis

4.

analytic

4.

analytical engine

5.2

appearances

3.3.3

axiomatic method

3.3.1

Bacon

3.3.6

Begriffsschrift

5.2

calculus ratiocinator

2.1 | 5.4

Carnap, Rudolf

3.

Church

5.4

Church, Alonzo

8.4

Comte, Auguste

6.2

Empiricism

3.3.6

Empiricus, Sextus

6.1

equipollence

6.1

Euclid

5.2

Foundations

of knowledge

10.1

Heraclitus

3.3.1

Hilbert, David

5.2 | 5.3

Hobbes

3.3.6

Hume

enquiry

3.1

treatise

3.1

ideal forms

3.3.3

Kant

4.

Kleene

5.4

Kolakowski

6.2

Kripke, Saul

1.4

Kronecker, Leopold

5.3

Kurt Gödel

11.2

Leibniz

3. | 5.4

Locke

3.3.6

logical foundation system

8.3 | 8.4

meta-mathematics

5.2

Metaphysical Positivism

10.

Moore, G.E.

4.4

Parmenides

3.3.1

positivism

6.1

Post

5.4

Principia Mathematica

3.4.6

Russell

3.3.7

Russell, Bertrand

4.4 | 5.2

Simple Theory of Types

8.4

STT

8.4

sufficient reason

3.3.7

synthesis

4.

synthetic

4.

Thales

5.

the LCF paradigm

5.5

Turing

5.4

universal characteristic

2.1 | 5.2

Von Neumann

11.2

Whitehead, A.N.

4.4

Wittgenstein

3.3.7

Wittgenstein, Ludwig

1.4

Zeno of Elea

3.3.1

ZFC

8.4 | 11.2