Epistemic logics and reasoning about knowledge
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
—
OECD FORD - equivalent branches <br>(according to the <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">converter</a>)
60101 - History (history of science and technology to be 6.3, history of specific sciences to be under the respective headings)<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
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