| Identifikační kód |
GA401/04/2073 |
| Důvěrnost údajů |
S - Není předmětem státního či obchodního tajemství a data lze v souladu s právními předpisy poskytnout do veřejně přístupných
informačních systémů včetně mezinárodních |
| Název projektu v původním jazyce |
Transparentní intensionální logika (systematický výklad) |
| Název projektu anglicky |
Transparent Intensional Logic (a Systematic Exposition) |
| Poskytovatel |
GA0 - Grantová agentura České republiky (GA ČR) |
| Program |
GA - Standardní projekty (1993 - 2050) |
| Kategorie VaV |
ZV - Základní výzkum |
| Hlavní obor - skupina |
A - Společenské vědy |
| Hlavní obor |
AA - Filosofie a náboženství |
| Vedlejší obor |
BD - Teorie informace |
| Další vedlejší obor |
AI - Jazykověda |
| Zahájení řešení |
2004 |
| Ukončení řešení |
2006 |
| Datum posledního uvolnění účelové podpory |
- |
| Číslo smlouvy |
- |
| Poslední stav řešení |
U - Ukončený (rok ukončení projektu < rok sběru dat, v roce sběru dat již není financován ze SR) |
| Finance projektu | 2004 | 2005 | 2006 | celkem |
|---|
| Výše podpory z národních zdrojů | 173 000,00173 | 208 000,00208 | 204 000,00204 | 585 000,00585 | | Výše podpory z veřej. zahraničních zdrojů *** | 0,000 | 0,000 | 0,000 | 0,000 | | Celkové uznané náklady | 173 000,00173 | 208 000,00208 | 204 000,00204 | 585 000,00585 | | Typ | čerpané | čerpané | čerpané | |
** Finance v tisících Kč jsou automaticky zaokrouhleny z částky v jednotkách Kč s přesností na 2 desetinná místa
*** Výše podpory z veřejných zahraničních zdrojů je sledována od období sběru 2020 |
|
Zobrazit skutečně čerpané finance projektu z národních zdrojů »
| Skutečně čerpané finance projektu z národních zdrojů | 2004 | 2005 | 2006 | celkem |
|---|
| Finance | 173 000,00173 | 208 000,00208 | 204 000,00204 | 585 000,00585 |
|
| Druh soutěže |
VS - Veřejná soutěž |
| Veřejná soutěž ve výzkumu, vývoji a inovacích |
SGA02004GA-ST - Veřejná soutěž (GA0/GA) |
| Cíle řešení v původním jazyce |
Problém adekvátní logické analýzy významu výrazů přirozeného jazyka nabývá v posledních letech stále většího významu, a to nejen v oblasti filosofické logiky a teoretické a komputační lingvistiky, ale rovněž v prakticky orientovaných disciplínách informatiky a umělé inteligence. Transparentní intensionální logika (TIL), jejímž autorem byl Pavel Tichý, je velice expresivní logický systém, přinejmenším srovnatelný se systémy založenými na Montagueho gramatice. TIL však navíc nabízí adekvátní řešeníproblému tzv. hyper-intensionálních kontextů, a to na základě klíčového pojmu logické konstrukce. Tento rys TILu je extrémně důležitý pro representaci a akvizici znalostí, neboť naše znalosti, hypotézy a inference jsou primárně spojeny s logickými konstrukcemi.V současné době jsou k dispozici pouze dvě monografie o TILu, které jsou však věnovány specifickým problémům. Tichého monografie kriticky hodnotí základní Fregeho sémantické ideje a předkládá jejich korektní rozvinutí na základě TILu. |
| Cíle řešení v anglickém jazyce |
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. |
| Klíčová slova v anglickém jazyce |
Neuvedeno. |
| Kontrolní číslo stavu projektu v letech |
2004: 1262521
2005: 1541910
2006: 33522636
2007: 2318665 |
| Datum dodání posledního záznamu o projektu |
16.10.2007 |
| Systémové označení dodávky dat |
CEP07-GA0-GA-U/03:2 |