Alternatives to Classical Logic
Public support
Provider
Czech Science Foundation
Programme
Standard projects
Call for proposals
—
Main participants
Univerzita Karlova / Filozofická fakulta
Contest type
—
Contract ID
—
Alternative language
Project name in Czech
Alternativy klasické logiky
Annotation in Czech
Cílem projektu je hledat dobře srozumitelná kriteria relací inference prostřednictvím studia variant definice vyplývání používaných při popisu změn epistemických stavů.Především půjde o roli konceptu racionality při studiu dynamiky epistemických stavů atentativních odvození,která jsou nezbytná v situacích,kdy máme co činit s neúplnou,neurčitou anebo vágní informací.Východiskem jsou zde pojmy inference (v uzším smyslu logického důsledku) a integrity (v užším smyslu konzistence) znalostí.Budou zkoumány jak formální aspekty takových systémů,tak možnosti jejich využití pro porozumění postupům,jak dedukce provádějí lidé.V tomto kontextu půjde zejména o zamítnutelná odvození(defeasible reasoning),což na obecné úrovni vede k modálním a kondicionálním logikám,a o zkoumání možností jejich algoritmického popisu.Součástí výzkumu proto bude i studium složitosti rozhodovacích procesů(např.délky důkazů)v odpovídajících neklasických logikách.
Scientific branches
R&D category
—
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
V - Vynikající výsledky projektu (s mezinárodním významem atd.)
Project results evaluation
1.Nesporný přínos v neklasických logikách 2.Údaje v kartě jsou adekvátní 3.Široké aplikace ve vědě vůbec 4.Výstupy více než přiměřené 5.Nedostatky nebyly shledány
Solution timeline
Realization period - beginning
Jan 1, 1998
Realization period - end
Jan 1, 2000
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
CEP/2001/GA0/GA01GA/U/N/9:4
Data delivery date
—
Finance
Total approved costs
390 thou. CZK
Public financial support
390 thou. CZK
Other public sources
0 thou. CZK
Non public and foreign sources
0 thou. CZK