Inferentialist foundations of logic and semantics
Public support
Provider
Czech Science Foundation
Programme
Standard projects
Call for proposals
Standardní projekty 9 (SGA02006GA-ST)
Main participants
—
Contest type
VS - Public tender
Contract ID
401/06/0387
Alternative language
Project name in Czech
Inferencialistické základy logiky a sémantiky
Annotation in Czech
Cílem projektu je rozvinout teorie inferencialistického založení logiky a sémantiky, zejména prozkoumání následujících okruhů problémů: 1. Možnost založit logiku čistě na vztahu odvozování (a nikoli vyplývání), a pojem vyplývání v nějakém smyslu redukovat na pojem odvozování. 2. Povaha inferenčních pravidel. 3. Vztah mezi syntaxí a sémantikou logických kalkulů a přirozeného jazyka. 4. Možnost existence druhů či modů inference, které nemusí splňovat běžná strukturální pravidla. 5. Vztah mezi inferencí avýznamem. 6. Možnost inferencialistického zdůvodnění elementárních vět aritmetiky. 7. Konstruktivistické zdůvodnění logických kalkulů. 8. Epistemické problémy logiky a aritmetiky. 9. Srovnání různých formálních rámců pro studium důkazů. 10. Problémy logiky dokazatelnosti. Projekt si klade za cíl přispět k tomu, aby česká věda srovnala krok s mezinárodním vývojem v této oblasti - měl by tedy přinést výsledky, které by byly významné v mezinárodním kontextu.
Scientific branches
R&D category
ZV - Basic research
CEP classification - main branch
AA - Philosophy and religion
CEP - secondary branch
BA - General mathematics
CEP - another secondary branch
—
OECD FORD - equivalent branches <br>(according to the <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">converter</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
Completed project evaluation
Provider evaluation
U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)
Project results evaluation
The project concentrated on the investigation of the inferentialist foundation of logic and semantics, i.e. of the possibility of viewing the meanings of logical constants and linguistic expressions more generally as roles conferred on the expressions by
Solution timeline
Realization period - beginning
Jan 1, 2006
Realization period - end
Dec 31, 2008
Project status
U - Finished project
Latest support payment
Apr 25, 2008
Data delivery to CEP
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data delivery code
CEP09-GA0-GA-U/02:2
Data delivery date
Oct 22, 2009
Finance
Total approved costs
1,720 thou. CZK
Public financial support
1,720 thou. CZK
Other public sources
0 thou. CZK
Non public and foreign sources
0 thou. CZK