Attributes | Values |
---|
rdf:type
| |
rdfs:seeAlso
| |
Description
| - One of the topical themes in the contemporary epistemology and logic is problem of such a logical representation of meaning which would make it possible to apply logic also to such involved questions as that one of analysis of belief sentences. The project intend to make a contribution to solving these problems, which is important not only from the logic - philosophical viewpoint but also as regards theoretical linguistics and theoretical foundations of computer science. The main conceptual means used to fulfil the goals of the project are based on Tichý´s transparent intentional logic, particularly on his theory of constructions, i.e., exactly definable abstract procedures, which can be exploited as showing the logical structure of natural language expressions. (en)
- 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.
|
Title
| - Role konstrukcí v ´transparentní intensionální logice ´
- The Idea of constructions in 'Transparent Intentional Logic%22 (en)
|
skos:notation
| |
http://linked.open...avai/cep/aktivita
| |
http://linked.open...kovaStatniPodpora
| |
http://linked.open...ep/celkoveNaklady
| |
http://linked.open...ep/duvernostUdaju
| |
http://linked.open.../cep/fazeProjektu
| |
http://linked.open...ai/cep/hlavniObor
| |
http://linked.open...hodnoceniProjektu
| |
http://linked.open...ep/partnetrHlavni
| |
http://linked.open...inujicichPrijemcu
| |
http://linked.open...cep/pocetPrijemcu
| |
http://linked.open...ocetSpoluPrijemcu
| |
http://linked.open.../pocetVysledkuRIV
| |
http://linked.open...enychVysledkuVRIV
| |
http://linked.open...iciPoslednihoRoku
| |
http://linked.open...atUdajeProjZameru
| |
http://linked.open...usZobrazovaneFaze
| |
http://linked.open...ai/cep/typPojektu
| |
http://linked.open...jektu+dodavatelem
| - 1.Byly vyřešeny aktuální logické problémy se zřetelem k aplikacím 2.Údaje v kartě jsou adekvátní 3.Výsledky jsou aplikovatelné v informatice a lingvistice 4.Četné publikace i prezentace 5.Nedostatky se nevyskytly (cs)
|
http://linked.open...tniCyklusProjektu
| |
is http://linked.open...vavai/riv/projekt
of | |
is http://linked.open...vavai/cep/projekt
of | |