Potřebnost konstrukcí pro logickou analýzu přirozeného jazyka
| Autoři | |
|---|---|
| Rok publikování | 2000 |
| Druh | Článek v odborném periodiku |
| Časopis / Zdroj | Pro-Fil |
| Fakulta / Pracoviště MU | |
| Citace | |
| www | http://profil.muni.cz/01_2000/potrebnost_konstrukci.html |
| Obor | Filosofie a náboženství |
| Klíčová slova | logical analysis of natural language; propositional attitudes; procedures; constructions; meaning |
| Popis | Ú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ý vede k uznání velmi rozvinutého a snad nejplauzibilnějšího systému, Transparentní intenzionální logiky (TIL) na příkladu několika úsudků. |