Section outline

    • Opakování: distinkce Sinn/Bedeutung, extenze/intenze; extenzionální a intenzionální kontext, příklady

      Probráno: "překlad" vět přirozeného jazyka do formalizovaného jazyka jako hledání logické formy, logické konstanty klasické logiky (pokračování) - konjunkce; kvantifikátory - problém otevřených formulí, substituční a předmětné chápání kvantifikace (Tarského pojem splňování); negace a "neurčité termíny";

      Definice - intuitivní pojem definice (spojení s tradičním pojmem intenze pojmu); důležité distinkce  - reálná/nominální definice, stipulativní/deskriptivní definice