Scholastická logika „vědění” V. Systémy epistemické logiky

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985955%3A_____%2F24%3A00619287" target="_blank" >RIV/67985955:_____/24:00619287 - isvavai.cz</a>

Výsledek na webu

<a href="https://doi.org/10.5840/studneoar202421311" target="_blank" >https://doi.org/10.5840/studneoar202421311</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.5840/studneoar202421311" target="_blank" >10.5840/studneoar202421311</a>

Jazyk výsledku

čeština

Název v původním jazyce

Scholastická logika „vědění” V. Systémy epistemické logiky

Popis výsledku v původním jazyce

Studie usiluje o systematickou prezentaci základních systémů scholastické epistemické logiky, kterou lze interpretovat jako konzervativní rozšíření určité non-modální báze. Jejími základními principy jsou: [O] jestliže φ implikuje ψ and a aktér ví, že φ, pak aktér ví, že ψ, [T] jestliže aktér ví, že φ, pak φ, [K] jestliže aktér ví, že φ implikuje ψ a že platí, že φ, pak aktér ví, že ψ, [4] aktér, který ví, že φ, ví, že ví, že φ, [5] aktér, který neví, že φ, ví, že neví, že φ resp. jejich modifikace). Scholastickou epistemickou logiku lze chápat jako konfrontaci nestejně silných logických systémů, jejichž spektrum se pohybuje mezi Johnem Wyclifem, Petrem z Mantovy a Pavlem z Benátek, Williamem Heytesburym a další teorií Pavla z Benátek.

Název v anglickém jazyce

Scholastic Logic of „Knowledge” V. Systems of epistemic logic

Popis výsledku anglicky

The study aims at the systematic presentation of basic systems of scholastic epistemic logic. Scholastic epistemic logic can be interpreted as a conservative extension of a certain non-modal base, which can be viewed as the model of epistemic agents. Its fundamental principles are: [O] if φ implies ψ and an agent knows that φ, then the agent knows that ψ, [T] if an agent knows that φ, then φ, [K] if an agent knows that φ implies ψ and that φ, then the agent knows that ψ, [4] an agent who knows φ knows to know φ, [5] an agent who fails to know φ knows to fail to know φ, (or their modifications). Scholastic epistemic logic can be construed as a confrontation of logical systems with unequal strength, ranging between that of John Wyclif, Peter of Mantua and Paul of Venice, William Heytesbury, and finally (a different theory of) Paul of Venice.

Druh

J_imp - Článek v periodiku v databázi Web of Science

CEP obor

—

OECD FORD obor

60301 - Philosophy, History and Philosophy of science and technology

Projekt

<a href="/cs/project/GB14-37038G" target="_blank" >GB14-37038G: Mezi renesancí a barokem: Filosofie a vědění v českých zemích a jejich širší evropský kontext</a><br>

Návaznosti

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2024

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název periodika

Studia Neoaristotelica

ISSN

1214-8407

e-ISSN

1804-6843

Svazek periodika

21

Číslo periodika v rámci svazku

3

Stát vydavatele periodika

DE - Spolková republika Německo

Počet stran výsledku

40

Strana od-do

3-42

Kód UT WoS článku

001462220300001

EID výsledku v databázi Scopus

2-s2.0-105003074904