Evidence Reconstruction of Epistemic Modal Logic S5

2006 ◽  
pp. 313-321 ◽  
Author(s):  
Natalia Rubtsova
Keyword(s):  
Modal Logic ◽  
Epistemic Modal

scholarly journals A Conflict Tolerant Logic of Explicit Evidence

2021 ◽  
Vol 27 (1) ◽  
pp. 124-144
Author(s):  
Thomas Studer
Keyword(s):  
Modal Logic ◽  
Quantum Physics ◽  
Thought Experiment ◽  
The Other ◽  
Justification Logic ◽  
Epistemic Modal ◽  
Epistemic Reasoning ◽  
Basic Properties

Standard epistemic modal logic is unable to adequately deal with the FrauchigerRenner paradox in quantum physics. We introduce a novel justification logic CTJ, in which the paradox can be formalized without leading to an inconsistency. Still CTJ is strong enough to model traditional epistemic reasoning. Our logic tolerates two different pieces of evidence such that one piece justifies a proposition and the other piece justifies the negation of that proposition. However, our logic disallows one piece of evidence to justify both a proposition and its negation. We present syntax and semantics for CTJ and discuss its basic properties. Then we give an example of epistemic reasoning in CTJ that illustrates how the different principles of CTJ interact. We continue with the formalization of the Frauchiger–Renner thought experiment and discuss it in detail. Further, we add a trust axiom to CTJ and again discuss epistemic reasoning and the paradox in this extended setting.

Concrete Epistemic Modal Logic: Flatland

2011 ◽  
pp. 70-76 ◽  
Author(s):  
Olivier Gasquet ◽  
François Schwarzentruber
Keyword(s):  
Modal Logic ◽  
Epistemic Modal

Aristotle's modal logic

1995 ◽  
Author(s):  
Richard Patterson
Keyword(s):  
Modal Logic

Modal Logic

1980 ◽  
Author(s):  
Brian F. Chellas
Keyword(s):  
Modal Logic

Modality and folk psychology

2019 ◽  
Vol 28 (1) ◽  
pp. 19-27
Author(s):  
Ja. O. Petik
Keyword(s):  
Modal Logic ◽  
Brain Activity ◽  
Formal System ◽  
Philosophy Of Logic ◽  
Psychological States ◽  
Formal Systems ◽  
Modern Psychology ◽  
Philosophical Interpretation ◽  
Important Direction

The connection of the modern psychology and formal systems remains an important direction of research. This paper is centered on philosophical problems surrounding relations between mental and logic. Main attention is given to philosophy of logic but certain ideas are introduced that can be incorporated into the practical philosophical logic. The definition and properties of basic modal logic and descending ones which are used in study of mental activity are in view. The defining role of philosophical interpretation of modality for the particular formal system used for research in the field of psychological states of agents is postulated. Different semantics of modal logic are studied. The hypothesis about the connection of research in cognitive psychology (semantics of brain activity) and formal systems connected to research of psychological states is stated.

A new approach to the logic of discovery

2007 ◽  
Vol 50 (1) ◽  
pp. 7-27
Author(s):  
Gerald Massey
Keyword(s):  
Modal Logic ◽  
Scientific Discovery ◽  
Traditional View ◽  
New Approach ◽  
Logic Of Discovery ◽  
Good Fortune ◽  
High Incidence ◽  
History Of ◽  
Deep Sense

Contending that the quest for a logic of scientific discovery was prematurely abandoned, the author lays down eight phenomena that such a logic or theory must explain: the banality of scientific discovery; the trainability of scientists; the high incidence of simultaneous discoveries; the ubiquity of relative novices; the fact of scientific genius; the barrenness of isolated workers; the incommensurability of concepts of successive theories; and the quasi-incorporation of old concepts, objects, and methods in successor theories, The author then presents a new theory or logic of discovery according to which discoveries are the termini of "tweak paths" generated when scientists "tinker" with the laws, concepts, methods, and instruments of a given theory. Tinkering and tweaking are illustrated by examples from many-valued and modal logic and from Darwinian biology. Through the history of planetary discovery, the accidental role played by luck or good fortune in some discoveries is explored, but the author emphasizes that in a deep sense serendipity is an in eliminable feature of all scientific discovery because scientists never know m advance whether their tweaks will lead to dead ends or to positive developments. The author's new theory of scientific discovery is shown to account for all eight explananda, ft also reveals science to be a more egalitarian enterprise than the traditional view of scientific discovery as ultimately inexplicable depicts it.

Implications for the epistemic auxiliaries

2017 ◽  
Author(s):  
Daniel Lassiter
Keyword(s):  
Modal Logic ◽  
Probabilistic Theory ◽  
Context Sensitive ◽  
Rule Out

The semantics of the adjectives places strong constraints on theories of the better-studied epistemic auxiliaries. This chapter motivates some basic connections – for instance, must asymmetrically entails likely; likely asymmetrically entails might and possible; and certain asymmetrically entails must (modulo the evidential presupposition of the latter). In addition, I present a lottery experiment showing that might has a context-sensitive meaning that is stronger than possible’s. These connections suffice to rule out the classical treatment from modal logic, as revived recently by von Fintel & Gillies (2010). It also rules out Kratzer’s (1991) theory. The probabilistic theory of Swanson (2006); Lassiter (2011, 2016) satisfies our desiderata, though, as does Swanson’s (2015) blend of the scalar semantics with Kratzer’s account. Both have access to a plausible formalization of must’s evidential component, but the latter has additional interesting features – both strengths and weaknesses – involving dualities and the treatment of so-called “epistemic ought”.

Sign in / Sign up

Export Citation Format

Share Document