TIL 2017
Cvičení 4
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/(()).
ad b) Hledat je vztah ke konstrukci vlastnosti, jejíž instance chce Tom nalézt, tj.
Hledat/(n).
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ý/(()()): funkce, která
z jedné vlastnosti vytvoří jinou. Pak výraz „sněžný muž“ označuje vlastnost, kterou
zkonstruujeme Kompozicí [0
Sněžný 0
Muž].
3. Analyzujte a dokažte platnost:
Tom řeší rovnici Sin(x)=0.
––––––––––––––––––––––––––––––––––––––––
Tom něco řeší.
Návod:
Použijte Resit/(1): vztah individua (zde Tom) ke konstrukci, o které chce zjistit, co
konstruuje.
Výraz „rovnici Sin(x)=0“ můžete analyzovat prostě takto: x [[0
Sin 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.