FILIT
Obsah
Chronol�gia
Registre
Vyh�ad�vanie
Diskusia
Spr�va

Intenzion�lny


intenzion�lny

- neextenzion�lny - t�kaj�ci sa tak�ch vz�ahov medzi v�rokmi, pojmami at�., ktor� form�lna logika v d�sledku svojho �pecifick�ho sp�sobu abstrakcie neberie do �vahy: v�rokov� spojenie ozna�ujeme ako intenzion�lne vtedy, ke� pravdivos� alebo nepravdivos� tohto spojenia nez�vis� v�lu�ne od pravdivosti alebo nepravdivosti spojen�ch v�rokov, ale aj od ich �pecifick�ho obsahu.

Napr. v�rokov� spojenie "p, preto�e q" je intenzion�lne; ak toti� dosad�me za v�rokov� premenn� "p" alebo "q" �ubovo�n� pravdiv� v�roky, vyplyn� z toho pri niektor�ch dosadeniach pravdiv�, pri in�ch nepravdiv� zlo�en� v�roky. Ak dosad�me za "p" napr. v�rok "je teplo" a za "q" v�rok "svieti slnko", vyplynie z toho pravdiv� v�rokov� spojenie, ak s� oba v�roky "p", "q" pravdiv�. Ak v�ak oba tieto pravdiv� v�roky zamen�me, vznikne nepravdiv� spojenie. Pravdivos� alebo nepravdivos� tohto v�rokov�ho spojenia nez�vis� teda len od pravdivosti alebo nepravdivosti spojen�ch v�rokov.

Medzi intenzion�lnymi a extenzion�lnymi vz�ahmi treba rozli�ova� aj vtedy, ke� ide o predik�ty. Dva predik�ty s� intenzion�lne identick� vtedy, ke� s� odrazom tej istej vlastnosti; extenzion�lne identick� s� vtedy, ke� sa vz�ahuj� na t� ist� triedu. To znamen�, �e intenzion�lne identick� predik�ty m��u by� s�ce aj extenzion�lne identick�, av�ak nie v�etky extenzion�lne identick� predik�ty m��u by� aj intenzion�lne identick�. Pr�kladom intenzion�lne identick�ch predik�tov je "syst�m" a "s�stava". Oba predik�ty odr�aj� tie ist� vlastnosti a platia pre t� ist� triedu. Oproti tomu predik�ty " rovnostrann� trojuholn�k" a " rovnouhl� trojuholn�k" s� s�ce extenzion�lne identick�, preto�e sa vz�ahuj� na t� ist� �iastkov� triedu trojuholn�kov, intenzion�lne s� v�ak odli�n�, preto�e odr�aj� r�zne vlastnosti t�chto trojuholn�kov.