The Need Of Constructions For The Logical Analysis Of Natural Language

Result code in 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>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

čeština

Original language name

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

Original language description

Ú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

Czech name

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

Czech description

Ú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

Type

J_x - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)

CEP classification

AA - Philosophy and religion

OECD FORD branch

—

Project

<a href="/en/project/GA401%2F97%2F0157" target="_blank" >GA401/97/0157: A reconstruction of the philosophical logic</a><br>

Continuities

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

Publication year

2000

Confidentiality

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

Name of the periodical

ProFil

ISSN

1212-9097

e-ISSN

—

Volume of the periodical

1

Issue of the periodical within the volume

1

Country of publishing house

CZ - CZECH REPUBLIC

Number of pages

13

Pages from-to

1-12

UT code for WoS article

—

EID of the result in the Scopus database

—