Inferentialist foundations of logic and semantics
Project goals
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
Keywords
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
—
10101 - Pure mathematics
60301 - Philosophy, History and Philosophy of science and technology
60302 - Ethics (except ethics related to specific subfields)
60303 - Theology
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
Basic information
Recognised costs
1 720 CZK thou.
Public support
1 720 CZK thou.
100%
Provider
Czech Science Foundation
CEP
AA - Philosophy and religion
Solution period
01. 01. 2006 - 31. 12. 2008