Vše

Co hledáte?

Vše
Projekty
Výsledky výzkumu
Subjekty

Rychlé hledání

  • Projekty podpořené TA ČR
  • Významné projekty
  • Projekty s nejvyšší státní podporou
  • Aktuálně běžící projekty

Chytré vyhledávání

  • Takto najdu konkrétní +slovo
  • Takto z výsledků -slovo zcela vynechám
  • “Takto můžu najít celou frázi”

Potřebnost konstrukcí pro logickou analýzu přirozeného jazyka

Identifikátory výsledku

  • Kód výsledku v IS VaVaI

    <a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14210%2F00%3A00011275" target="_blank" >RIV/00216224:14210/00:00011275 - isvavai.cz</a>

  • Výsledek na webu

  • DOI - Digital Object Identifier

Alternativní jazyky

  • Jazyk výsledku

    čeština

  • Název v původním jazyce

    Potřebnost konstrukcí pro logickou analýzu přirozeného jazyka

  • Popis výsledku v původním jazyce

    Ú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řehlednosttě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ý p

  • Název v anglickém jazyce

    The Need Of Constructions For The Logical Analysis Of Natural Language

  • Popis výsledku anglicky

    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.

Klasifikace

  • Druh

    J<sub>x</sub> - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)

  • CEP obor

    AA - Filosofie a náboženství

  • OECD FORD obor

Návaznosti výsledku

  • Projekt

    <a href="/cs/project/GA401%2F97%2F0157" target="_blank" >GA401/97/0157: Rekonstrukce filozofické logiky</a><br>

  • Návaznosti

    P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Ostatní

  • Rok uplatnění

    2000

  • Kód důvěrnosti údajů

    S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Údaje specifické pro druh výsledku

  • Název periodika

    ProFil

  • ISSN

    1212-9097

  • e-ISSN

  • Svazek periodika

    1

  • Číslo periodika v rámci svazku

    1

  • Stát vydavatele periodika

    CZ - Česká republika

  • Počet stran výsledku

    13

  • Strana od-do

    1-12

  • Kód UT WoS článku

  • EID výsledku v databázi Scopus