Foundations of logic in the light of new results of philosophy and science
Project goals
The project concentrates on reconsidering the foundations of logic in the light of recent developments of both logic itself and the scientific disciplines dealing with language and reasoning. We will build on our previous research focused on the analysis of the fundamental concepts of logic and the nature of logical formalization; especially on our original explanation of logical theories as resulting from converging to a reflective equilibrium. We will also reflect on various recent attempts at reassessing traditional schisms, especially those between classical and non-classical logics, between logic and cognitive science, between model theory and proof theory, between informal and formal logic, and between mathematical and philosophical logic; and we will contribute to building bridges between logic and other scientific disciplines, especially psychology (but also evolution theory, sociology etc.). The research will be complemented by organization of annual international symposia.
Keywords
Public support
Provider
Czech Science Foundation
Programme
Standard projects
Call for proposals
Standardní projekty 17 (SGA0201300005)
Main participants
Filosofický ústav AV ČR, v. v. i.
Contest type
VS - Public tender
Contract ID
13-21076S
Alternative language
Project name in Czech
Základy logiky ve světle nových výsledků filosofie a vědy
Annotation in Czech
Projekt se soustředí na prozkoumání základů logiky ve světle nedávného vývoje jak logiky samotné, tak vědeckých oborů, které se týkají jazyka a usuzování. Budeme stavět na našich předchozích výzkumech, které se soustředily na analýzu základních pojmů logiky a povahy logické formalizace; zvláště na našem původním výkladu logických teorií jakožto výsledku konvergování k reflektivnímu ekvilibriu. Zohledníme také různé nedávné pokusy o přehodnocování tradičních schizmat, zvláště těch mezi klasickou a neklasickými logikami, mezi logikou a kognitivní vědou, mezi teorií modelů a teorií důkazů, mezi neformální a formální logikou a mezi matematickou a filosofickou logikou; a také se pokusíme přispět k budování mostů mezi logikou a jinými vědeckými obory, zvláště psychologií (ale i evoluční teorií, sociologií atd.). Tento výzkum bude doplněn organizací výročních mezinárodních sympózií.
Scientific branches
R&D category
ZV - Basic research
CEP classification - main branch
AA - Philosophy and religion
CEP - secondary branch
—
CEP - another secondary branch
—
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 scientific merit of the project is indisputable. It is testified by the publication of the articles dedicated to the project in prestigious professional journals (4xJimp) and the monograph published in Routledge.
Solution timeline
Realization period - beginning
Feb 1, 2013
Realization period - end
Dec 31, 2016
Project status
U - Finished project
Latest support payment
Mar 17, 2016
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
CEP17-GA0-GA-U/03:1
Data delivery date
Jun 28, 2017
Finance
Total approved costs
4,342 thou. CZK
Public financial support
4,342 thou. CZK
Other public sources
0 thou. CZK
Non public and foreign sources
0 thou. CZK
Basic information
Recognised costs
4 342 CZK thou.
Public support
4 342 CZK thou.
100%
Provider
Czech Science Foundation
CEP
AA - Philosophy and religion
Solution period
01. 02. 2013 - 31. 12. 2016