Probráno: "Řešení" paradoxů - dokončení: paradoxy sorites - fuzzy logika; paradoxy teorie množin - pojem vlastní třídy (GB), kumulativní hierarchie (ZF); paradox lháře - možno formulovat v jazycích, kde 1) platí logické zákony, 2) obsahují predikát 'pravdivý', 3) jsou schopny pojmenovat své vlastní výrazy - je potřeba upravit některý z těchto bodů; zakázání autoreference X paradox lze přeformulovat i bez jejího užití; odmítnutí bivalence X věta Tato věta není pravdivá je paradoxní i při dalších pravdivostních hodnotách; Russell - teorie typů - propozice řádu n; Tarski - hierarchie jazyků, pouze predikát 'pravdivý-v-jazyku-O'; parakonzistentní logiky - paradox není devastující. "Paradoxy" - Skolemův paradox - teorie množin má spočetný model; Bolzanovy "paradoxy" nekonečna, Humeův princip; diagonální argument.
Logické vyplývání: intuitivně - kdy považujeme konkrétní úsudek za platný a kdy za logicky platný; materiálně a formálně platný úsudek, enthyméma, "sound" úsudek; vymezení pomocí platnosti pro každé dosazení - Bolzano, Tarski, problém s jejich definicí; otázka relevance - Aristotelova sylogistika, relevanční logiky; syntaktické vymezení vyplývání, otázka korektnosti a úplnosti. Motivace alternativních logických systémů; otázka možnosti jejich porovnání.