Formal reasoning of knowledge in systems engineering through epistemic modal logic

2020 ◽  
Author(s):  
Hanumanthrao Kannan
2021 ◽  
Vol 27 (1) ◽  
pp. 124-144
Author(s):  
Thomas Studer

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.


1989 ◽  
Vol 15 ◽  
pp. 133-161
Author(s):  
Joseph McCarney

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.


2020 ◽  
Vol 43 ◽  
Author(s):  
Valerie F. Reyna ◽  
David A. Broniatowski

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.


Author(s):  
Brian F. Chellas
Keyword(s):  

Sign in / Sign up

Export Citation Format

Share Document