A Classical Bimodal Logic with Varying Essences

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F20%3A00523468" target="_blank" >RIV/67985807:_____/20:00523468 - isvavai.cz</a>

Výsledek na webu

<a href="https://www.collegepublications.co.uk/logica/?00033" target="_blank" >https://www.collegepublications.co.uk/logica/?00033</a>

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

A Classical Bimodal Logic with Varying Essences

Popis výsledku v původním jazyce

Descartes (in)famously held that there are necessary truths which God, due to His freedom in creating the world, could have made false. This view, called the creation doctrine, has come under criticism for centuries as being confused or incoherent. Elsewhere I have developed a reading according to which Descartes is an essentialist – that he takes modal facts to be reducible to facts about essences. This essentialism, along with some of his theological views, lead him to countenance two different modal notions. In this paper, I consider a variant of the view I attribute to Descartes as motivating a bimodal logic with essences. I present a classical model structure capturing some of the elements of the view, and prove soundness and completeness with respect to an axiomatic presentation, and go on to consider some potential extensions.

Název v anglickém jazyce

A Classical Bimodal Logic with Varying Essences

Popis výsledku anglicky

Descartes (in)famously held that there are necessary truths which God, due to His freedom in creating the world, could have made false. This view, called the creation doctrine, has come under criticism for centuries as being confused or incoherent. Elsewhere I have developed a reading according to which Descartes is an essentialist – that he takes modal facts to be reducible to facts about essences. This essentialism, along with some of his theological views, lead him to countenance two different modal notions. In this paper, I consider a variant of the view I attribute to Descartes as motivating a bimodal logic with essences. I present a classical model structure capturing some of the elements of the view, and prove soundness and completeness with respect to an axiomatic presentation, and go on to consider some potential extensions.

Druh

D - Stať ve sborníku

CEP obor

—

OECD FORD obor

60301 - Philosophy, History and Philosophy of science and technology

Projekt

—

Návaznosti

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2020

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 statě ve sborníku

The Logica Yearbook 2019

ISBN

978-1-84890-327-2

ISSN

—

e-ISSN

—

Počet stran výsledku

16

Strana od-do

205-220

Název nakladatele

College Publications

Místo vydání

London

Místo konání akce

Hejnice

Datum konání akce

24. 6. 2019

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—