Probráno: "univerzální" univerzum vs. dílčí univerza, volitelnost univerza, Quine - ontologický závazek, kvantifikátory jako relativizované operátory; kvantifikace přes rozsah subjektového pojmu - Wittgensteinova námitka, středověké pojetí; středověká nauka o supozici jako přesněji vymezující rozsah kvantifikace přes subjektový pojem; transcendentálie
Synkategorematické výrazy a jejich formalizace - vymezení, pojem logické formy, "logické výrazy", kritéria (vyjadřují logickou formu, topic-neutrality, invariance); přirozený vs. formalizovaný vs. formální jazyk; extenzionální vs. intenzionální spojky a operátory; adekvátní množina logických spojek (Peircova šipka, Shefferův funktor); problém s formalizací kondicionálů pomoci materiální implikace - "paradoxy" materiální implikace, striktní implikace.