Epistemic foundations of applied logic
5РП — Човешки потенциал в науката
- Период
- 2002-03-01 → 2003-02-27
- Финансиране от ЕС
- 124 350 €
- Участници
- 1
- Схема
- RGI
Линиите свързват координатора с партньорите.
Накратко на български
Епистемологичните основи на приложната логика изследват произхода и смисъла на логическите системи, например как те се използват в компютърните науки. Това помага за по-доброто разбиране на теоретичните принципи, върху които се изграждат практическите приложения на логиката.
Кратко обяснение, генерирано от езиков модел по текста на CORDIS. Оригиналът е по-долу.
Цел на проекта
Logic might be presented either as a final discipline (mathematical logic ) or as a discipline whose central topics are of both epistemological origin and relevance. Large part of my publications (notably the monograph Theory of Logical Calculi, published by Kluwer in 1988 in the series Synthese Library) has been devoted to various issues and aspects of epistemic foundations of logic. I believe that the epistemic approach characteristic of the activities (research work, seminars and lectures) I am planning to undertake during my stay in Leipzig should provide a useful completion of the research work of Leipzig colleagues. The interest in applied logic (especially to computer science) of Leipzig logicians provides a vast area for epistemic investigations of the kind I wish to undertake.
Оригинален текст от CORDIS (на английски).
Участници
- UNIVERSITAET LEIPZIG · LEIPZIGКоординаторГермания
Връзки
Данни: CORDIS, © Европейски съюз