1,720,974 research outputs found
An epistemic logic for becoming informed
No full textVarious conceptual approaches to the notion of information can currently be traced in the literature in logic and formal epistemology. A main issue of disagreement is the attribution of truthfulness to informational data, the so called Veridicality Thesis (Floridi 2005). The notion of Epistemic Constructive Information (Primiero 2007) is one of those rejecting VT. The present paper develops a formal framework for ECI. It extends on the basic approach of Artemov's logic of proofs (Artemov 1994), representing an epistemic logic based on dependent justifications, where the definition of information relies on a strict distinction from factual truth. The definition obtained by comparison with a Normal Modal Logic translates a constructive logic for "becoming informed": its distinction from the logic of "being informed"aEuro"which internalizes truthfulness-is essential to a general evaluation of information with respect to truth. The formal disentanglement of these two logics, and the description of the modal version of the former as a weaker embedding into the latter, allows for a proper understanding of the Veridicality Thesis with respect to epistemic states defined in terms of information
Epistemic closure and commutative, nonassociative residuated structures
Get PDF<p>K-axiom-based epistemic closure for explicit knowledge is rejected for even the most trivial cases of deductive inferential reasoning on account of the fact that the closure axiom does not extend beyond a raw consequence relation. The recognition that deductive inference concerns interaction as much as it concerns consequence allows for perspectives from logics of multi-agent information flow to be refocused onto mono-agent deductive reasoning. Instead of modeling the information flow between different agents in a communicative or announcement setting, we model the information flow between different states of a single agent as that agent reasons deductively. The resource management of the database of agent states for the deductive reasoning fragment in question is covered by the residuated structure that encodes the nonassociative Lambek Calculus with permutation, bottom, and identity: NLP (01) .</p>
A Note on (In)Compatibility Relations
No full textNon-symmetric incompatibility relations, or non-symmetric compatibility relations, are a standard method for introducing a split negation pair on a frame. Another standard method is to reject commutation for the frame. The first task is to examine the relationship between non-symmetric incompatibility relations and non-symmetric compatibility relations and commutation failure on frames. The second task is to look at the sort of points that may constitute such frames. Taking the points as information states, what type of information states may operate in non-symmetric incompatibility/compatibility environments? The proposal made here is that databases consisting of sub-propositional information states, or data-points, are a respectable place to start.</p
Information and logical equivalence
No full textEThOS - Electronic Theses Online ServiceGBUnited Kingdo
- …
