Mezi filosofií a matematikou 9 // KALKUL MODERNÍ LOGIKY // I. Cesta ke standardnímu kalkulu 13 // Zrod logiky prvního řádu 17 // Gregory H. Moore // II. Kalkuly jako předmět vs. jako nástroj logické teorie 65 // Logika jako kalkul a logika jako jazyk 69 // Jean van Heijenoort // Logika ve dvacátých letech: povaha kvantifikátoru 77 // Warren D. Goldfarb // III. Formální a neformální pojmy v matematice 105 // Neformální přesnost a důkazy úplnosti 107 // Georg Kreisel // LOGIKA A SÉMANTIKA // IV. Alfred Tarski a zrod formální sémantiky 129 // Sémantická koncepce pravdy a základy sémantiky 135 // Alfred Tarski // V. Význam a inference 177 // Inferenční permanentka 179 // Arthur N. Prior // Třesk, plesk a tlesk 183 // Nuel D. Belnap // Ještě ke konjunkci a kontřeskci 189 // Arthur N. Prior // VI. Intenze a extenze 195 // Obecná sémantika 199 // David Lewis // VII. Dvě úrovně významu? // Význam slova „význam“ Hilary Putnam // 255 // 259 // LOGIKA A FILOSOFIE // Vlil. Poučení z Gödelova převratu 327 // Filosofický význam Gödelovy věty 331 // Michael Dummett // IX. Logika, nebo logiky? Případ intuicionismu 349 // Filosofické základy intuicionistické logiky 353 // Michael Dummett // X. Logika a reálný svět 387 // Modely a realita 391 // Hilary Putnam // Putnamův paradox 423 // David Lewis // XI. Logika a ontologie 451 // Existence a kvantifikace 453 // Willard Van Orman Quine // Ediční poznámka // 473