Formal reasoning of knowledge in systems engineering through epistemic modal logic

2020 ◽  
Author(s):  
Hanumanthrao Kannan
Keyword(s):  
Modal Logic ◽  
Systems Engineering ◽  
Formal Reasoning ◽  
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.

Elster, Marx and Methodology

1989 ◽  
Vol 15 ◽  
pp. 133-161
Author(s):  
Joseph McCarney
Keyword(s):  
Game Theory ◽  
Modal Logic ◽  
Formal Reasoning ◽  
Single Dimension ◽  
Making Sense ◽  
Methodological Aspects ◽  
Relevant Material

This paper is concerned with the treatment by Jon Elster of methodological aspects of Marx’s work, and, in particular, with his assessment of Marx’s distinctive contribution to methodology. The relevant material is to be found in a variety of writings with the most complete and systematic presentation in Making Sense of Marx. The issues to be discussed here comprise, of course, only a single dimension of Elster’s view of Marx. It is, however, a strategic one whose influence is felt throughout the whole. Moreover, it is the dimension which is closest to the intellectual interests of Elster himself. Prominent among those interests has been the question of the relevance of methods of formal reasoning, particularly of modal logic and of game theory, to the study of society. Hence, the present emphasis should take one near the heart of Elster’s Marx, and offer a perspective on his thought in general.

Concrete Epistemic Modal Logic: Flatland

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

Abstraction: An alternative neurocognitive account of recognition, prediction, and decision making

2020 ◽  
Vol 43 ◽  
Author(s):  
Valerie F. Reyna ◽  
David A. Broniatowski
Keyword(s):  
Decision Making ◽  
Software Engineering ◽  
Systems Engineering ◽  
Evidence Based ◽  
Extensive Literature ◽  
Trace Theory ◽  
Fuzzy Trace Theory ◽  
Abstract Representations ◽  
Technical Systems

Abstract Gilead et al. offer a thoughtful and much-needed treatment of abstraction. However, it fails to build on an extensive literature on abstraction, representational diversity, neurocognition, and psychopathology that provides important constraints and alternative evidence-based conceptions. We draw on conceptions in software engineering, socio-technical systems engineering, and a neurocognitive theory with abstract representations of gist at its core, fuzzy-trace theory.

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

Radio Systems Engineering

2016 ◽  
Author(s):  
Steven W. Ellingson
Keyword(s):  
Systems Engineering ◽  
Radio Systems
Sign in / Sign up

Export Citation Format

Share Document