Probráno: Quine - konvence jsou zjišťovány empiricky, rozdíl mezi analytickými a syntetickými větami není dostatečně jasný, tedy není nosný; Kripke - nutné věty a posteriori a nahodilé věty a priori; vztah mezi analytickými, nutnými a apriorními pravdami; shrnutí problematiky nutných pravd; Pravdivost modálních výroků: terminologie (nutné, nahodilé, možné; logické pravdy, analytické pravdy); sémantika možných světů - Carnap - úplné popisy stavů věcí (maximální konzistentní množiny atomických výroků a negací atomických výroků), problém s pravdivostní "závislostí" atomických výroků; Kripke - možné světy jako způsob mluvení o modalitách, relace dosažitelnosti; D. Lewis - "modální realismus", pojem counterparta; posibilismus vs. aktualismus; neextenzionální pravdivost kontrafaktuálních kondicionálů, zákonů, přičítání dispozičních vlastností; pojem "blízkého možného světa" - Lewis, Stalnaker;
Paradoxy: vymezení paradoxu, některé typy paradoxů relevantní pro logické a matematické diskuse - sémantické paradoxy (lháře, holiče, Grellingův), paradoxy teorie množin (Russellův, Cantorův), paradoxy neostrého predikátu (sorites, holohlavého muže, barevné škály), paradoxy kontinua a pohybu - Zenónovy aporie (Achilles a želva, letící šíp); "řešení" (blokování) paradoxů, žádoucí vlastnosti; Achilles a želva - součet nekonečné řady, pojem potenciálního a aktuálního nekonečna; letící šíp - čas se neskládá z okamžiků bez trvání.