Epistemic logics and reasoning about knowledge
Project goals
In the sixties of the last century the term epistemics logics has become used for formal investigations of epistemic concepts of knowledge and belief. In modern epistemology there is a tradition that a theory of knowledge is reconstructed as a. kind of modal logic. Epistemic logic is then understood as a formal modal logic with special epistemic axioms. Underlying modal logic is about both modalities of possibility and necessity that have been studied since ancient times. But interpretations vary. Thus,our main goal in this project is l. To study logical tools which were developed during main periods of epistemic research on the base of different philosophical principles; 2. To analyse new concepts that are necessary for understanding actual epistemicactivities; 3. To find answers to controversial questions of unity and difference of knowledge items together with their formal logical structure. On the base of such a study we want to develop a systematic approach to logic of knowledge and
Keywords
Public support
Provider
Czech Science Foundation
Programme
Standard projects
Call for proposals
Standardní projekty 6 (SGA02004GA-ST)
Main participants
—
Contest type
VS - Public tender
Contract ID
—
Alternative language
Project name in Czech
Epistemické logiky a usuzování o znalostech
Annotation in Czech
V šedesátých letech minulého století se termín epistemické logiky začal užívat pro výzkum epistemických pojmů znalosti a přesvědčení či domněnek. V moderní epistemologii je obvyklé, že teorie znalostí je rekostruována jako jistý druh modální logiky. Epistemická logika je pak chápána jako formální modální logika se speciálními epistemickými axiomy. Modální logika, která tvoří formální zázemí se týká jak modality možnosti, tak modality nutnosti, byla zkoumána už dávno. Avšak interpretace jsou různé. Protonaším hlavním cílem v navrhovaném projektuje l. Studovat logické prostředky, které byly vytvářeny v různých obdobích epistemických zkoumání na základě různých filozofických principů; 2. Analyzovat nové koncepty nezbytné pro porozumění aktuálním epistemickým aktivitám; 3. Nalézat odpovědi na kontroverzní otázky po jednotě a rozdílech ve znalostech a jejich logické struktuře. Na podkladě takových zkoumání chceme budovat systematický přístup k logice znalostí a k otázkám relevantním porozumění
Scientific branches
R&D category
ZV - Basic research
CEP classification - main branch
AA - Philosophy and religion
CEP - secondary branch
AB - History
CEP - another secondary branch
—
60101 - History (history of science and technology to be 6.3, history of specific sciences to be under the respective headings)
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
Various approaches to epistemic logics and knowledge based reasoning were examined.
Solution timeline
Realization period - beginning
Jan 1, 2004
Realization period - end
Jan 1, 2006
Project status
U - Finished project
Latest support payment
—
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
CEP07-GA0-GA-U/03:2
Data delivery date
Oct 16, 2007
Finance
Total approved costs
285 thou. CZK
Public financial support
285 thou. CZK
Other public sources
0 thou. CZK
Non public and foreign sources
0 thou. CZK
Basic information
Recognised costs
285 CZK thou.
Public support
285 CZK thou.
100%
Provider
Czech Science Foundation
CEP
AA - Philosophy and religion
Solution period
01. 01. 2004 - 01. 01. 2006