| FILIT
Obsah Chronol�gia Registre Vyh�ad�vanie Diskusia Spr�va |
Te�ria typov logick�te�ria typov logick� - vych�dza z rozli�ovania logick�ch predmetov rozli�n�ho r�du, ktor� tvoria logick� typy. Napr�klad logick�m typom predmetov nult�ho r�du s� indiv�du�, logick�m typom predmetov prv�ho r�du s� triedy indiv�du�, vlastnosti indiv�du� �i vz�ahy indiv�du�. Logick�m typom predmetov druh�ho r�du s� triedy tried indiv�du�, vlastnosti tried indiv�du�, vlastnosti vlastnost� indiv�du� at�. Pritom z�kladnou z�sadou logickej te�rie typov je to, �e ur�it� trieda m��e ako prvky obsahova� iba predmety o jeden r�d ni��ie, �e ur�it� vlastnos� sa m��e prisudzova� iba predmetom r�du o jeden stupe� ni��iemu (teda nie sebe sam�mu), at�. Ak utvor�me ist� z�very v rozpore so z�kladnou z�sadou te�rie typov, bud� tieto z�very chybn� ( L332;128-129).
|