nastavit jako výchozí stránku
   
   kultura

Carradine
 David, *8.12.1936 (Hollywood, Kalifornie, USA) – †4.6.2009 (Bangkok,Thajsko), vlastním jménem...

Gollová
 Nataša, *27.2.1912 (Brno, tehdejší Rakousko-Uhersko) – †29.10.1988 (Praha, Československo...

O'Toole
 [Outúl], Peter, *2.8.1932 (Connemara, Irsko) – 14.12.2013 (Londýn) vlastním jménem Peter...

Christie
 [Kristy], Agatha Mary Clarissa, *15.9.1890 (Torquay) – †12.1.1976 (Wallingford), anglická...

Antalová
 Alena, *28.7.1972, česká herečka slovenského původu. Již v mládí hrála v televizních...


antinomie logické a sémantické
Sporné dvojice výroků, z nichž každý je stejně přijatelný. Logické antinomie, například antinomie třídy, která je sama svým prvkem, jsou podmíněny nedostatky strukturní povahy. Sémantické antinomie, například antinomie Lháře "to, co nyní říkám, není pravda", jsou spjaty se vztahy označování a odkazování. K řešení logických antinomií byla vytvořena teorie typů. Omezuje výstavbu formalizovaných jazyků typovým rozlišením tříd a jejich prvků. Prvky jsou vždy nižšího typu. Sémantické antinomie jsou eliminovány rozlišením objektového jazyka a metajazyka. Řešení antinomie lháře je založeno na tom, že predikát "být pravdivý" není součástí objektového jazyka, ale výrazem metajazyka. Viz také metajazyk; teorie typů.


 
Vytvořeno: 14.3.2000
Aktualizováno: 29.11.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 - 2017, OPTIMUS s.r.o.