Inferencialistické základy logiky a sémantiky

Poskytovatel

Grantová agentura České republiky

Program

Standardní projekty

Veřejná soutěž

Standardní projekty 9 (SGA02006GA-ST)

Hlavní účastníci

—

Druh soutěže

VS - Veřejná soutěž

Číslo smlouvy

401/06/0387

Název projektu anglicky

Inferentialist foundations of logic and semantics

Anotace anglicky

The aim of the project is to develop a theory of inferential grounding of logic and semantics, especially investigations of the following problems: 1. The possibility of grounding logic exclusively on the relation of inference (rather than consequence) and of reducing the concept of consequence to that of infernce. 2. The nature of inferential rules. 3. The relation between syntax and semantics of logical calculi and natural language. 4. The possibility of existence of sorts or modes of inference, whichneed not obey the common structural rules. 5. The relationship between inference and meaning. 6. The possibility of inferential grounding of the elementary sentences of arithmetic. 7. Constructivist grounding of logical calculi. 8. Epistemic problems oflogic and aritmetic. 9. The comparison of various formal frameworks for proof theory. 10. Problems of the logic of provability. The ambition of the project is to contribute to Czech science's keeping with the international development in this

Kategorie VaV

ZV - Základní výzkum

CEP - hlavní obor

AA - Filosofie a náboženství

CEP - vedlejší obor

BA - Obecná matematika

CEP - další vedlejší obor

—

OECD FORD - odpovídající obory <br>(dle <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">převodníku</a>)

10101 - Pure mathematics<br>60301 - Philosophy, History and Philosophy of science and technology<br>60302 - Ethics (except ethics related to specific subfields)<br>60303 - Theology<br>60304 - Religious studies

Hodnocení poskytovatelem

U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)

Zhodnocení výsledků projektu

Projekt se soustředil na prozkoumání možnosti inferencialistického založení logiky a sémantiky, to jest možnosti nahlížet významy logických konstant a výrazů jazyka obecně jakožto rolí, které tyto výrazy získávají v důsledku odvozovacích pravidel, kterým

Zahájení řešení

1. 1. 2006

Ukončení řešení

31. 12. 2008

Poslední stav řešení

U - Ukončený projekt

Poslední uvolnění podpory

25. 4. 2008

Důvěrnost údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Systémové označení dodávky dat

CEP09-GA0-GA-U/02:2

Datum dodání záznamu

22. 10. 2009

Celkové uznané náklady

1 720 tis. Kč

Výše podpory ze státního rozpočtu

1 720 tis. Kč

Ostatní veřejné zdroje financování

0 tis. Kč

Neveřejné tuz. a zahr. zdroje finan.

0 tis. Kč