| Attributes | Values |
|---|
| rdf:type
| |
| Description
| - Cílem projektu je navázat na předchozí projekt „Logické základy sémantiky a reprezentace znalostí“ a opět soustředit v doktorském týmu studenty, jejichž doktorské práce se týkají různých aspektů sémantiky, chápané jako interdisciplinární obor na pomezí filosofie, logiky, lingvistiky a informatiky. Fenomén významu coby předmět vědecké sémantiky je pozoruhodný především svojí úzkou vazbou na lidskou racionalitu. Jeho studium je tedy zásadní z hlediska porozumění toho, co charakterizuje člověka jakožto racionální bytost. V rámci projektu nás zajímají především nové přístupy k otázce významu, které s sebou nese rozvoj moderní logiky a formálních jazyků. Ty mohou sloužit jako jisté „modely“ jazyka přirozeného, a potažmo jako prostředky explikace významu. Projekt by měl prvořadě propojit studenty, kteří se soustředí na technické aspekty této problematiky (matematiky, informatiky, matematické logiky) s těmi, které zajímá především sám pojem významu a kteří jsou schopni použití formálních prostředků k analýze významu kriticky reflektovat (filosofy, filosofické logiky). Od této spolupráce si slibujeme zásadní zkvalitnění disertací členů týmu, především ale výsledky, které díky skutečně interdisciplinárnímu prostředí týmu otevřou nové cesty pohledu na význam. (cs)
- The aim of the project is to continue the previous successful project "Logical foundations of semantics and knowledge representation", i.e. to assemble a team of graduate students whose dissertation projects concern various aspects of semantics, understood as an interdisciplinary enterprise on the border of philosophy, logic, linguistics and computer science. The phenomenon of meaning is remarkable especially in that it is closely connected with what distinguishes man as a rational being. Within the framework of the project we are interested especially in the new possibilities of the approaches to meaning that have been brought about by the development of modern logic and the formal languages. These can serve as certain „models“ of natural language and consequently as means of explicating meaning. The project should especially interconnect students who concentrate on the technical aspects of this range of problems with those who are interested especially directly in the notion of meaning and who are able to critically reflect the employment of formal means for the purposes of its explication. This interconnection should effect especially an essential improvement of the dissertations of the individual members of the team, but also other results which will - thanks to the truly interdisciplinary milieu of the team - open up new ways of viewing meaning. (en)
|
| Title
| - Logical foundations of semantics (en)
- Logické základy sémantiky (cs)
|
| http://linked.open...vai/cislo-smlouvy
| |
| http://linked.open...avai/druh-souteze
| |
| http://linked.open...domain/vavai/faze
| |
| http://linked.open...vavai/hlavni-obor
| |
| http://linked.open...vavai/id-aktivity
| |
| http://linked.open.../vavai/id-souteze
| |
| http://linked.open...n/vavai/kategorie
| |
| http://linked.open...vai/klicova-slova
| - logic; semantics; meaning; reasoning (en)
|
| http://linked.open...avai/konec-reseni
| |
| http://linked.open...nujicich-prijemcu
| |
| http://linked.open...avai/poskytovatel
| |
| http://linked.open...avai/start-reseni
| |
| http://linked.open...ai/statni-podpora
| |
| http://linked.open...vavai/typProjektu
| |
| http://linked.open...ai/uznane-naklady
| |
| http://linked.open...ai/pocet-prijemcu
| |
| http://linked.open...cet-spoluprijemcu
| |
| http://linked.open...ai/pocet-vysledku
| |
| http://linked.open...ku-zverejnovanych
| |
| is http://linked.open...ain/vavai/projekt
of | |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)