1.      Analyzujte následující úsudek (a) intensionálně, (b) hyperintensionálně a zdůvodněte, při
které analýze je úsudek platný:

Tom hledá sněžného muže.

Sněžný muž je Yetti.

–––––––––––––––––––––––––––––––––

Tom hledá Yettiho.


Pozn.: druhá premisa je myšlena de dicto, tj. jako zadávající identitu vlastnosti být sněžným mužem
a být Yettim, avšak výrazy „sněžný muž“ a „Yetti“ nejsou synonymní.


Návod:

ad a) Hledat bude vztah k vlastnosti, jejíž instance chce Tom nalézt, tj.
Hledat/(oi(oi)[t][w])[t][w].

ad b) Hledat je vztah ke konstrukci vlastnosti, jejíž instance chce Tom nalézt, tj.
Hledat/(oi*[n])[t][w].



2.      Dokažte platnost úsudku, a to pro obojí případ, tj. jak intensionální tak
hyperintensionální:
Tom hledá sněžného muže.

––––––––––––––––––––––––––––––––––––––––

Tom hledá něco sněžného.


Návod: v intensionálním případě nepotřebujeme substituční metodu, ale v hyperintensionáním případě
ano.

Výraz „sněžný“ analyzujte jako modifikátor vlastnosti, tj. Sněžný/((oi)[t][w](oi)[t][w]): funkce,
která z jedné vlastnosti vytvoří jinou. Pak výraz „sněžný muž“ označuje vlastnost, kterou
zkonstruujeme Kompozicí [^0Sněžný ^0Muž].


3.      Analyzujte a dokažte platnost:

Tom řeší rovnici Sin(x)=0.

––––––––––––––––––––––––––––––––––––––––

Tom něco řeší.
Návod:

Použijte Resit/(oi*[1])[t][w]: vztah individua (zde Tom) ke konstrukci, o které chce zjistit, co
konstruuje.
Výraz „rovnici Sin(x)=0“ můžete analyzovat prostě takto: lx [[^0Sin x] = 0].
Čili Tom při tom řešení hledá množinu reálných čísel, pro které platí, že jejich Sinus je roven
nule.
Pro odvození závěru nepotřebujete substituční metodu.