nastavit jako výchozí stránku
   
   kultura

Richard
 Pierre, *16.8.1934 (Valenciennes, Francie), vlastním jménem Pierre – Richard Maurice Charles...

Adamíra
 Jiří, *2.4.1926 (Dobrovice u Mladé Boleslavi, Československo) – †14.8.1993 (Praha...

Amenábar
 Alejandro, *31.3.1972 (Santiago de Chile, Chile), španělský filmový režisér, scenárista, hudební...

Ashby
 [Ešby], Hal, *2.9.1929 (Ogden, Utah, USA) – †27.12.1988 (Malibu, Kalifornie, USA), americký...

Depp
 [Dep], Johnny, *9.6.1963 (Owensboro, Kentucky, USA), vlastním jménem John Christopher Depp II...


implikace
Symbolická logika, spojení zpravidla interpretované obratem "jestliže – tedy"; též výroky vytvořené na základě takového spojení. V implikacích rozlišujeme antecedent, tj. výrok, jemuž předchází slovo "jestliže", a konsekvent, tj. výrok následující za slovem "tedy". I. není formalizací logického vyplývání. Toto nesprávné chápání vedlo v minulosti k tzv. paradoxům materiální i, (v,t. antinomie implikace), neboť mat. i. je dána pouze maticí pravdivostních hodnot:

P Q P→Q
1 1 1
1 0 0
0 1 1
0 1 1

C. I. Lewis definoval s použitím modálních funktorů striktní implikace (symbolicky p < q: není možné, aby antecedent platil a konsekvent neplatil), avšak i v tomto pojetí vznikají analogické antinomie. Proto vznikly další pokusy, A. W. Burks se pokusil formalizovat kauzální i.mplikace, W. Ackerman vytvořil přísnou implikaci.


 

Odkazující hesla: ekvipolence, funktor
Vytvořeno: 14.3.2000
Aktualizováno: 13.7.2006
Autor:





Texty encyklopedických hesel mohou obsahovat slova nebo slovní spojení, která mohou
být ochrannými známkami nebo registrovanými ochrannými známkami příslušných vlastníků.

© 1999 - 2018, OPTIMUS s.r.o.