This HTML5 document contains 43 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

Prefix	IRI
dcterms	http://purl.org/dc/terms/
n13	http://localhost/temp/predkladatel/
n16	http://linked.opendata.cz/resource/domain/vavai/projekt/
n7	http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n17	http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216224%3A14210%2F00%3A00011275%21RIV08-GA0-14210___/
n3	http://linked.opendata.cz/ontology/domain/vavai/
s	http://schema.org/
skos	http://www.w3.org/2004/02/skos/core#
n6	http://linked.opendata.cz/ontology/domain/vavai/riv/
n2	http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdf	http://www.w3.org/1999/02/22-rdf-syntax-ns#
n8	http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n9	http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdh	http://www.w3.org/2001/XMLSchema#
n18	http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n15	http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n12	http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n11	http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n14	http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item

n2:RIV%2F00216224%3A14210%2F00%3A00011275%21RIV08-GA0-14210___

rdf:type

n3:Vysledek skos:Concept

dcterms:description

For controlling logical entailment and for adequate logical semantics of natural language not only intensional entities are needed. It is shown that in the case of analyses of propositional attitudes there are necesseary more fine-grained entities: hyperintensional entities. A suitable candidate for such kind of entites are (rather than Cresswells ordered tuples) Tichýs constructions (there are not constructions of intuicionists) as tehey are defined in his Transparent intensional logic. Úkolem logiky je zkoumat podmínky vyplývání, zajistit korektnost úsudků. Již Frege, zakladatel moderní logiky, zjistil, že pro tento úkol je zapotřebí určitá analýza vět, které jsou premisami či závěrem. Jedním z cílů logiky je jednoduchost a přehlednost těchto analýz. Proto prostředky na zajištění vyplývání, totiž různé logické systémy, bývají formální, abstrahují od obsahové stránky, zobecňují nad konkrétní odlišnosti. V průběhu statě si ukážeme, že pro analýzu vět vcházejících v úsudky, klasifikují některé logické systémy příliš hrubě, neroztřídí věty podle všech relevantních odlišností, že jsou tedy potřeba systémy, které nám umožní jemnější analýzu. Hlavními důvody pro to, abychom přistoupili na pečlivější, a tedy méně jednoduchý, logický systém, jsou protipříklady, které poukazují, že ten či onen, případ úsudku nejde jednodušším systémem zanalyzovat, prokázat korektnost vyplývání. K tomuto slouží i to, co bychom mohli nazvat ryze filosofickými argumenty. Načrtneme si nyní jistý postup, který ved Úkolem logiky je zkoumat podmínky vyplývání, zajistit korektnost úsudků. Již Frege, zakladatel moderní logiky, zjistil, že pro tento úkol je zapotřebí určitá analýza vět, které jsou premisami či závěrem. Jedním z cílů logiky je jednoduchost a přehlednost těchto analýz. Proto prostředky na zajištění vyplývání, totiž různé logické systémy, bývají formální, abstrahují od obsahové stránky, zobecňují nad konkrétní odlišnosti. V průběhu statě si ukážeme, že pro analýzu vět vcházejících v úsudky, klasifikují některé logické systémy příliš hrubě, neroztřídí věty podle všech relevantních odlišností, že jsou tedy potřeba systémy, které nám umožní jemnější analýzu. Hlavními důvody pro to, abychom přistoupili na pečlivější, a tedy méně jednoduchý, logický systém, jsou protipříklady, které poukazují, že ten či onen, případ úsudku nejde jednodušším systémem zanalyzovat, prokázat korektnost vyplývání. K tomuto slouží i to, co bychom mohli nazvat ryze filosofickými argumenty. Načrtneme si nyní jistý postup, který ved

dcterms:title

Potřebnost konstrukcí pro logickou analýzu přirozeného jazyka The Need Of Constructions For The Logical Analysis Of Natural Language Potřebnost konstrukcí pro logickou analýzu přirozeného jazyka

skos:prefLabel

The Need Of Constructions For The Logical Analysis Of Natural Language Potřebnost konstrukcí pro logickou analýzu přirozeného jazyka Potřebnost konstrukcí pro logickou analýzu přirozeného jazyka

skos:notation

RIV/00216224:14210/00:00011275!RIV08-GA0-14210___

n6:strany

1-12

n6:aktivita

n15:P

n6:aktivity

P(GA401/97/0157)

n6:cisloPeriodika

1

n6:dodaniDat

n14:2008

n6:domaciTvurceVysledku

n7:9292837

n6:druhVysledku

n11:J

n6:duvernostUdaju

n9:S

n6:entitaPredkladatele

n17:predkladatel

n6:idSjednocenehoVysledku

722383

n6:idVysledku

RIV/00216224:14210/00:00011275

n6:jazykVysledku

n18:cze

n6:klicovaSlova

logical analysis of natural language; propositional attitudes; procedures; constructions; meaning

n6:klicoveSlovo

n8:propositional%20attitudes n8:logical%20analysis%20of%20natural%20language n8:procedures n8:constructions n8:meaning

n6:kodStatuVydavatele

CZ - Česká republika

n6:kontrolniKodProRIV

[E735BA28EFD9]

n6:nazevZdroje

Pro-Fil

n6:obor

n12:AA

n6:pocetDomacichTvurcuVysledku

1

n6:pocetTvurcuVysledku

1

n6:projekt

n16:GA401%2F97%2F0157

n6:rokUplatneniVysledku

n14:2000

n6:svazekPeriodika

1

n6:tvurceVysledku

Raclavský, Jiří

s:issn

1212-9097

s:numberOfPages

13

n13:organizacniJednotka

14210