Informace o projektu

Role konstrukcí v ´transparentní intensionální logice´

Logo poskytovatele
Kód projektu
GA401/99/0006
Období řešení
1/1999 - 1/2000
Investor / Programový rámec / typ projektu
Grantová agentura ČR
Fakulta / Pracoviště MU
Filozofická fakulta
Spolupracující organizace
Slezská univerzita v Opavě

Jedním z nejaktuálnějších témat v současné epistemologii a logice je problém logické reprezentace významu,která by umožnila aplikovat logiku na takové žhavé otázky,jako je analýza ´domněnkových vět´. Cílem projektu je přispět k řešení těchto problémů, což je důležité nejen z hlediska logiky a filozofie, ale také z hlediska teoretické lingvistiky a teoretických základů matematické informatiky. Konceptuální prostředky,použité pro splnění cílů projektu, jsou založeny na Tichého transparentní intesionální logice, a to zejména na jeho teorii konstrukcí. Konstrukce jsou přesně definované abstraktní procedury,které jsou využity pro aplikaci logické struktury výrazů přirozeného jazyka.

Publikace

Počet publikací: 8