| Attributes | Values |
|---|
| rdf:type
| |
| Description
| - Tichý's solved three basic kinds of Liar within his ramified theory of types which is inspired by Russell's original one. He used it for explication of language and the result seems similar to Tarski's hierarchy of languages. Unlike Russell and Tarski, Tichý's proposed variosu reasons for hierarchies. Any language L is construed as mapping from expressions to meanings. For no function is allowed to be among its own values, the name of language L, i.e. 'L' (and then any other expression containing 'L'), is thus meaningless in L ('L' is meaningful only in metalanguage ML). Any sentence is true relative to what it means in a given language. Disambiguated liar sentence contains 'truth in L', thus it is clearly meaningless in L. Since meaningless sentence cannot be true or false, the liar paradox cannot arise. After detail exposition and mainly large defense of Tichý's approach, we applied successfully the method of his solution to other known kinds of liar paradox. (en)
- Tichého řešení tří variant lhářského paradoxu se opírá o rozvětvenou hierarchii typů, která je jeho vlastním pojetím někdejšího Russellova návrhu. Tuto Tichý využil k řádně vyloženému konceptu jazyků, které se svou hierarchizací podobají Tarského návrhu. Tichý se vyvarovává chyb jejich přístupů, přidává totiž klíčový logický důvod pro hierarchii. Jakýkoli jazyk J je pojímán jako funkce z výrazů do (logicky explikovaných) významů. Protože žádná funkce nesmí být mezi svými vlastními hodnotami, jméno jazyka J, tj. 'J' (a výrazy 'J' obsahující), je v J bez významu ('J' je významuplné až v metajazyce MJ). Věta je pravdivá v závislosti na tom, co říká v daném jazyce. Načež lhářská věta (obsahující 'pravdivý v J') je pak jednoduše bez významu v J (takže nemůže být či nebýt pravdivá, proto neplodí paradox). Po detailním rozboru a hlavně obhajobě Tichého řešení toto s úspěchem aplikujeme na všechny další známé varianty lhářského paradoxu, jimiž se ovšem Tichý nezabýval.
- Tichého řešení tří variant lhářského paradoxu se opírá o rozvětvenou hierarchii typů, která je jeho vlastním pojetím někdejšího Russellova návrhu. Tuto Tichý využil k řádně vyloženému konceptu jazyků, které se svou hierarchizací podobají Tarského návrhu. Tichý se vyvarovává chyb jejich přístupů, přidává totiž klíčový logický důvod pro hierarchii. Jakýkoli jazyk J je pojímán jako funkce z výrazů do (logicky explikovaných) významů. Protože žádná funkce nesmí být mezi svými vlastními hodnotami, jméno jazyka J, tj. 'J' (a výrazy 'J' obsahující), je v J bez významu ('J' je významuplné až v metajazyce MJ). Věta je pravdivá v závislosti na tom, co říká v daném jazyce. Načež lhářská věta (obsahující 'pravdivý v J') je pak jednoduše bez významu v J (takže nemůže být či nebýt pravdivá, proto neplodí paradox). Po detailním rozboru a hlavně obhajobě Tichého řešení toto s úspěchem aplikujeme na všechny další známé varianty lhářského paradoxu, jimiž se ovšem Tichý nezabýval. (cs)
|
| Title
| - Lhářský paradox, význam a pravdivost
- Lhářský paradox, význam a pravdivost (cs)
- Liar Paradox, Meaning and Truth (en)
|
| skos:prefLabel
| - Lhářský paradox, význam a pravdivost
- Lhářský paradox, význam a pravdivost (cs)
- Liar Paradox, Meaning and Truth (en)
|
| skos:notation
| - RIV/00216224:14210/09:00029007!RIV11-GA0-14210___
|
| http://linked.open...avai/riv/aktivita
| |
| http://linked.open...avai/riv/aktivity
| |
| http://linked.open...iv/cisloPeriodika
| |
| http://linked.open...vai/riv/dodaniDat
| |
| http://linked.open...aciTvurceVysledku
| |
| http://linked.open.../riv/druhVysledku
| |
| http://linked.open...iv/duvernostUdaju
| |
| http://linked.open...titaPredkladatele
| |
| http://linked.open...dnocenehoVysledku
| |
| http://linked.open...ai/riv/idVysledku
| - RIV/00216224:14210/09:00029007
|
| http://linked.open...riv/jazykVysledku
| |
| http://linked.open.../riv/klicovaSlova
| - liar paradox; semantic paradoxes; theory of truth; Tichý; transparent intensional logic (en)
|
| http://linked.open.../riv/klicoveSlovo
| |
| http://linked.open...odStatuVydavatele
| |
| http://linked.open...ontrolniKodProRIV
| |
| http://linked.open...i/riv/nazevZdroje
| |
| http://linked.open...in/vavai/riv/obor
| |
| http://linked.open...ichTvurcuVysledku
| |
| http://linked.open...cetTvurcuVysledku
| |
| http://linked.open...vavai/riv/projekt
| |
| http://linked.open...UplatneniVysledku
| |
| http://linked.open...v/svazekPeriodika
| |
| http://linked.open...iv/tvurceVysledku
| |
| http://linked.open...ain/vavai/riv/wos
| |
| issn
| |
| number of pages
| |
| http://localhost/t...ganizacniJednotka
| |
| is http://linked.open...avai/riv/vysledek
of | |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)