About: Paradox lháře a jeho řešení

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Paradox lháře a jeho řešení Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	skos:Concept http://linked.opendata.cz/ontology/domain/vavai/Vysledek
Description	Po rekapitulaci stávajících přístupů k řešení paradoxu lháře a jejich potíží je prozkoumáno řešení Pavla Tichého, jehož Transparentní intenzionální logika integruje rozvětvenou teorii typů. Tichý ukázal, že axiómem reducibility jde (což si Russell neuvědomil) paradox obnovit. Tichý ukazuje, že na to, aby paradox vůbec vznikl, musí být stanoveno, jakého jazyka má být lhářská věta součástí. Pak ale jsou tu tvrdá fakta, že žádný jazyk (určitého řádu) nemůže obsahovat coby významuplné své vlastní jméno a tudíž nemůže v sobě diskutovat k sobě vztažené vlastnosti. Proto %22být nepravdivý%22 nemůže být v jazyce určitého řádu takové, aby bylo smysluplně aplikovatelné na věty jazyka tohoto řádu, lhářská věta je takto významuprázdná. Po rekapitulaci stávajících přístupů k řešení paradoxu lháře a jejich potíží je prozkoumáno řešení Pavla Tichého, jehož Transparentní intenzionální logika integruje rozvětvenou teorii typů. Tichý ukázal, že axiómem reducibility jde (což si Russell neuvědomil) paradox obnovit. Tichý ukazuje, že na to, aby paradox vůbec vznikl, musí být stanoveno, jakého jazyka má být lhářská věta součástí. Pak ale jsou tu tvrdá fakta, že žádný jazyk (určitého řádu) nemůže obsahovat coby významuplné své vlastní jméno a tudíž nemůže v sobě diskutovat k sobě vztažené vlastnosti. Proto %22být nepravdivý%22 nemůže být v jazyce určitého řádu takové, aby bylo smysluplně aplikovatelné na věty jazyka tohoto řádu, lhářská věta je takto významuprázdná. (cs) After historical recapitulation of already suggested solutions to liar paradox with showing its disadvantages I examine the solution proposed by Pavel Tichý. Tichý showed by means of his transparent intensional logic which incorporates (generalized) ramified hierarchy of types that axiom of reducibility enables to restore the liar paradox what was not recognized by Russell. Tichý points out that to generate the paradox it is necessary to add a premise to which language the liar sentence belongs. However, there are brute facts that a language of a certain order cannot involve its own name as meaningful and this disable to discuss properties related to the language itself. Hence the predicate %22not-true%22 cannot be in a language of order n meaningfully applied sentences of that language, liar sentence is thus meaningless. (en)
Title	Paradox lháře a jeho řešení Paradox lháře a jeho řešení (cs) The Paradox of Liar and Its Solutions (en)
skos:prefLabel	Paradox lháře a jeho řešení Paradox lháře a jeho řešení (cs) The Paradox of Liar and Its Solutions (en)
skos:notation	RIV/00216224:14210/07:00020006!RIV08-GA0-14210___
http://linked.open.../vavai/riv/strany	179-207
http://linked.open...avai/riv/aktivita	P
http://linked.open...avai/riv/aktivity	P(GP401/07/P280)
http://linked.open...vai/riv/dodaniDat	2008
http://linked.open...aciTvurceVysledku	Raclavský, Jiří
http://linked.open.../riv/druhVysledku	D - Článek ve sborníku
http://linked.open...iv/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...titaPredkladatele	Masarykova univerzita / Filozofická fakulta
http://linked.open...dnocenehoVysledku	440559
http://linked.open...ai/riv/idVysledku	RIV/00216224:14210/07:00020006
http://linked.open...riv/jazykVysledku	cze - čeština
http://linked.open.../riv/klicovaSlova	Liar paradox; semantic paradoxes; ramified hierarchy of types; Tichý; transparent intensional logic (en)
http://linked.open.../riv/klicoveSlovo	semantic paradoxes ramified hierarchy of types transparent intensional logic Tichý Liar paradox
http://linked.open...ontrolniKodProRIV	[241AB348DF7D]
http://linked.open...v/mistoKonaniAkce	Brno
http://linked.open...i/riv/mistoVydani	Praha
http://linked.open...i/riv/nazevZdroje	Meze formalizace, analytičnosti a prostoročasu
http://linked.open...in/vavai/riv/obor	AA
http://linked.open...ichTvurcuVysledku	1 (xsd:int)
http://linked.open...cetTvurcuVysledku	1 (xsd:int)
http://linked.open...vavai/riv/projekt	Singular Terms - Philosophy and Logic
http://linked.open...UplatneniVysledku	2007
http://linked.open...iv/tvurceVysledku	Raclavský, Jiří
http://linked.open...vavai/riv/typAkce	WRD - Světová
http://linked.open.../riv/zahajeniAkce	2006-01-01 (xsd:date)
number of pages	29 (xsd:int)
http://purl.org/ne...btex#hasPublisher	Filosofický ústav AV ČR. Nakladatelství Filosofia
https://schema.org/isbn	978-80-7007-268-4
http://localhost/t...ganizacniJednotka	14210
is http://linked.open...avai/riv/vysledek of	Paradox lháře a jeho řešení Paradox lháře a jeho řešení Paradox lháře a jeho řešení

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 48 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software