"Wprowadzenie do filozofii matematyki"

Spis treści

Przedmowa 7

Wykład pierwszy. Filozofia, nauka, filozofia nauki 9

Wykład drugi. Jak podzielić naukę? 15

Wykład trzeci. Co istnieje? 21

Wykład czwarty. Czym są teorie naukowe? 27

Wykład piąty. Języki i teorie sformalizowane 33

Wykład szósty. Wyprowadzalność a wynikanie logiczne 41

Wykład siódmy. Prawda 47

Wykład ósmy. Języki elementarne i ich interpretacje 53

Wykład dziewiąty. Teorie elementarne i nieelementarne 59

Wykład dziesiąty. Ograniczenia formalizacji 63

Wykład jedenasty. Spór o przedmiot matematyki 67

Wykład dwunasty. Spór o naturę poznania matematycznego 75

Wykład trzynasty. Nauki ścisłe, czyli matematyka stosowana 83