Transparentní intensionální logika (systematický výklad)

Poskytovatel

Grantová agentura České republiky

Program

Standardní projekty

Veřejná soutěž

Standardní projekty 6 (SGA02004GA-ST)

Hlavní účastníci

—

Druh soutěže

VS - Veřejná soutěž

Číslo smlouvy

—

Název projektu anglicky

Transparent Intensional Logic (a Systematic Exposition)

Anotace anglicky

The problem of logical analysis of natural language expressions has recently become a hot problem not only from the point of view of philosophical logic and theretical linguistics, but also from a practical viewpoint of computer science and artificial intelligence. Transparent Intensional Logic (TIL), originated by late Pavel Tichý, is an expressive system comparable with "mainstream" systems based on Montague grammar. Moreover, using the key notion of logical construction, TIL offers a proper solutionof so-called hyper-intensional contexts, which is extremely important in the area of knowledge representation and acquisition. Our knowledge, beliefs and inferences primarily concern logical constructions themselves, not only their outcomes. Recently, there are two monographs on TIL, which however deal with rather special problems. Tichý's book examines critically Frege's semantic ideas and presents their correct development, in particular a fundamental shift of Frege's semantic scheme.

Kategorie VaV

ZV - Základní výzkum

CEP - hlavní obor

AA - Filosofie a náboženství

CEP - vedlejší obor

BD - Teorie informace

CEP - další vedlejší obor

AI - Jazykověda

OECD FORD - odpovídající obory <br>(dle <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">převodníku</a>)

10102 - Applied mathematics<br>10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)<br>60201 - General language studies<br>60202 - Specific languages<br>60203 - Linguistics<br>60301 - Philosophy, History and Philosophy of science and technology<br>60302 - Ethics (except ethics related to specific subfields)<br>60303 - Theology<br>60304 - Religious studies

Hodnocení poskytovatelem

V - Vynikající výsledky projektu (s mezinárodním významem atd.)

Zhodnocení výsledků projektu

Během tří let, kdy jsme se systematicky věnovali Transparentní intensionální logice (TIL), jsme dospěli k nezanedbatelným novým výsledkům. Jedná se zejména o tyto oblasti: analýza vět s neúplným významemnávrh nové analýzy vět s anaforickými odkazy příspě

Zahájení řešení

1. 1. 2004

Ukončení řešení

1. 1. 2006

Poslední stav řešení

U - Ukončený projekt

Poslední uvolnění podpory

—

Důvěrnost údajů

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

Systémové označení dodávky dat

CEP07-GA0-GA-U/03:2

Datum dodání záznamu

16. 10. 2007

Celkové uznané náklady

585 tis. Kč

Výše podpory ze státního rozpočtu

585 tis. Kč

Ostatní veřejné zdroje financování

0 tis. Kč

Neveřejné tuz. a zahr. zdroje finan.

0 tis. Kč