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