Results 41 to 50 of about 27,099 (296)
Is there a logic of information? [PDF]
, 2013 Information-based epistemology maintains that ‘being informed’ is an independent cognitive state that cannot be reduced to knowledge or to belief, and the modal logic KTB has been proposed as a model.
Wheeler, Gregory
core +4 more sources
Philosophia Scientiæ, 2005 Hintikka and Sandu have developed IF logic as a genuine alternative to classical first-order logic : liberalizing dependence schemas between quantifiers, IF would carry out all the ideas already underlying classical logic.
Denis Bonnay
doaj +1 more source
, 2018 Inquisitive modal logic InqML is a generalisation of standard Kripke-style modal logic. In its epistemic incarnation, it extends standard epistemic logic to capture not just the information that agents have, but also the questions that they are ...
Ciardelli, Ivano, Otto, Martin
core +1 more source
, 2017 The article investigates an evidence-based semantics for epistemic logics in which pieces of evidence are interpreted as equivalence relations on the epistemic worlds. It is shown that the properties of knowledge obtained from potentially infinitely many
Naumov, Pavel, Tao, Jia
core +1 more source
, 2019 We present an inferentialist account of the epistemic modal operator might. Our starting point is the bilateralist programme. A bilateralist explains the operator not in terms of the speech act of rejection ; we explain the operator might in terms of ...
Incurvati, Luca, Schlöder, Julian J.
core +2 more sources
Some Remarks on the Model Theory of Epistemic Plausibility Models [PDF]
, 2010 Classical logics of knowledge and belief are usually interpreted on Kripke models, for which a mathematically well-developed model theory is available. However, such models are inadequate to capture dynamic phenomena.
Aucher G. +7 more
core +1 more source
‘Turkeys Cannot Vote for Christmas’: Why Epistemic Disobedience in an Anti‐Black World Matters
Australian Journal of Social Issues, EarlyView.ABSTRACT Never in the history of global coloniality has the idea of epistemic disobedience been as important as in the 21st century. This is not only because the struggle for decolonisation has shifted from physical confrontation between the coloniser and the colonised into a battle of ideas but also because the former has deployed the idea of ...
Morgan Ndlovu
wiley +1 more source
Logical Omniscience as a Conditionality Issue. A Multi-Modal Approach
CríticaMany solutions to the problem of Logical Omniscience assume that this arises from the behavior of the epistemic operators. However, few proposals have criticized the assumption that material implication accurately accounts for conditionality. This paper
Juan Carlos Sánchez Hernández
doaj +1 more source
Rich Counter-Examples for Temporal-Epistemic Logic Model Checking [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 Model checking verifies that a model of a system satisfies a given property, and otherwise produces a counter-example explaining the violation. The verified properties are formally expressed in temporal logics.
Simon Busard, Charles Pecheur
doaj +1 more source
Australian Journal of Social Issues, EarlyView.ABSTRACT This article reflects on the construction of a supportive community of Black Afro‐diasporic graduate students and their supervisors researching issues relating to race in the field of education in Australia. It draws on the concept of marronage—a term rooted in the fugitive act of becoming a maroon, where enslaved people enacted an escape in ...
Hellen Magoi +6 more
wiley +1 more source