About: Explikace druhů pravdivosti

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

About: Explikace druhů pravdivosti 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	Prostředky Tichého Transparentní intenzionální logiky v této stati rigorózně explikujeme tři druhy predikátu 'být pravdivý' (jde tedy o tři typy vlastnosti pravdivosti). První se týká propozic (potažmo denotátů vět), druhý konstrukcí (potažmo významů výrazů), třetí výrazů. Díky případné parcialitě funkcí či nevlastnosti konstrukcí je u každého druhu rozeznávána varianta totální a parciální, u druhého a třetího druhu i varianta parciální-totální (ta je nejpřirozenější) a parciální-parciální (u třetího druhu jsou ještě jejich dvě křížené varianty). Pravdivost výrazů je relativizována k jazyku. Prostředky Tichého Transparentní intenzionální logiky v této stati rigorózně explikujeme tři druhy predikátu 'být pravdivý' (jde tedy o tři typy vlastnosti pravdivosti). První se týká propozic (potažmo denotátů vět), druhý konstrukcí (potažmo významů výrazů), třetí výrazů. Díky případné parcialitě funkcí či nevlastnosti konstrukcí je u každého druhu rozeznávána varianta totální a parciální, u druhého a třetího druhu i varianta parciální-totální (ta je nejpřirozenější) a parciální-parciální (u třetího druhu jsou ještě jejich dvě křížené varianty). Pravdivost výrazů je relativizována k jazyku. (cs) Three kinds of truth-predicate are explicated by means of Pavel Tichý's transparent intensional logic. The first applies to propositions; the second applies to so-called constructions (some of them construct propositions); the third applies to expressions (usually expressing constructions). Since mappings may be partial and constructions may be abortive, a partial and a total variant correspond to each kind. To the second and the third kind it corresponds also a partial-total variant (which is the most natural one), and a partial-partial variant too (for the last kind they exist two combinations of the two preceding versions). The truth of expressions is language-relative. (en)
Title	Explikace druhů pravdivosti Explications of Being Truth (en) Explikace druhů pravdivosti (cs)
skos:prefLabel	Explikace druhů pravdivosti Explications of Being Truth (en) Explikace druhů pravdivosti (cs)
skos:notation	RIV/00216224:14210/08:00024658!RIV11-GA0-14210___
http://linked.open...avai/riv/aktivita	P
http://linked.open...avai/riv/aktivity	P(GP401/07/P280)
http://linked.open...iv/cisloPeriodika	1
http://linked.open...vai/riv/dodaniDat	2011
http://linked.open...aciTvurceVysledku	Raclavský, Jiří
http://linked.open.../riv/druhVysledku	J - Článek v odborném periodiku
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	367372
http://linked.open...ai/riv/idVysledku	RIV/00216224:14210/08:00024658
http://linked.open...riv/jazykVysledku	cze - čeština
http://linked.open.../riv/klicovaSlova	truth; truth-predicate; vicious circle principle; ramified hierarchy of types; transparent intensional logic (en)
http://linked.open.../riv/klicoveSlovo	ramified hierarchy of types transparent intensional logic truth truth-predicate vicious circle principle
http://linked.open...odStatuVydavatele	CZ - Česká republika
http://linked.open...ontrolniKodProRIV	[5C0ED7CA0B86]
http://linked.open...i/riv/nazevZdroje	Sborník prací Filozofické fakulty brněnské univerzity
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	2008
http://linked.open...v/svazekPeriodika	B 55
http://linked.open...iv/tvurceVysledku	Raclavský, Jiří
issn	0231-7664
number of pages	11 (xsd:int)
http://localhost/t...ganizacniJednotka	14210
is http://linked.open...avai/riv/vysledek of	Explikace druhů pravdivosti Explikace druhů pravdivosti Explikace druhů pravdivosti

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