About: Explikace a dedukce: od jednoduché k rozvětvené teorii typů

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

About: Explikace a dedukce: od jednoduché k rozvětvené teorii typů 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	V první části této eseje argumentuji ve prospěch toho, že explikační systémy spadající pod jednoduchou teorii typů jsou principiálně limitované pro dosažení cíle, jímž je explikace celého našeho konceptuálního schématu. Takovémuto omezení nepodléhají systémy založené na rozvětvené teorii typů, zvláště té Pavla Tichého. Ve třetí části vysvětluji roli Tichého tzv. konstrukcí a dále derivačních systémů v tomto rámci a ukazuji, jak dedukce demonstruje vlastnosti objektů. V první části této eseje argumentuji ve prospěch toho, že explikační systémy spadající pod jednoduchou teorii typů jsou principiálně limitované pro dosažení cíle, jímž je explikace celého našeho konceptuálního schématu. Takovémuto omezení nepodléhají systémy založené na rozvětvené teorii typů, zvláště té Pavla Tichého. Ve třetí části vysvětluji roli Tichého tzv. konstrukcí a dále derivačních systémů v tomto rámci a ukazuji, jak dedukce demonstruje vlastnosti objektů. (cs) In the first part of the paper, I argue that explicating systems which fall under simple theory of types are limited in explicating our conceptual scheme. Such limitation is avoided if one utilizes rather ramified type theory, especially that one developed by Pavel Tichý. In the third part of the paper, I explain the role of so-called constructions and derivation systems within such framework, elucidating how deduction demonstrates properties of objects. (en)
Title	Explikace a dedukce: od jednoduché k rozvětvené teorii typů Explikace a dedukce: od jednoduché k rozvětvené teorii typů (cs) Explication and Deduction: from Simple to Ramified Theory of Types (en)
skos:prefLabel	Explikace a dedukce: od jednoduché k rozvětvené teorii typů Explikace a dedukce: od jednoduché k rozvětvené teorii typů (cs) Explication and Deduction: from Simple to Ramified Theory of Types (en)
skos:notation	RIV/00216224:14210/13:00068683!RIV14-MSM-14210___
http://linked.open...avai/predkladatel	Filozofická fakulta
http://linked.open...avai/riv/aktivita	I
http://linked.open...avai/riv/aktivity	I
http://linked.open...iv/cisloPeriodika	č. Supplementary Issue 2
http://linked.open...vai/riv/dodaniDat	2014
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	74291
http://linked.open...ai/riv/idVysledku	RIV/00216224:14210/13:00068683
http://linked.open...riv/jazykVysledku	cze - čeština
http://linked.open.../riv/klicovaSlova	deduction; explication; simple ramified of types; ramified hierarchy of types (en)
http://linked.open.../riv/klicoveSlovo	explication ramified hierarchy of types simple ramified of types deduction
http://linked.open...odStatuVydavatele	SK - Slovenská republika
http://linked.open...ontrolniKodProRIV	[C1028C3113F1]
http://linked.open...i/riv/nazevZdroje	Organon F : filozofický časopis
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...UplatneniVysledku	2013
http://linked.open...v/svazekPeriodika	roč. 20
http://linked.open...iv/tvurceVysledku	Raclavský, Jiří
http://linked.open...ain/vavai/riv/wos	000324280300003
issn	1335-0668
number of pages	17 (xsd:int)
http://localhost/t...ganizacniJednotka	14210

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, 58 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software