Epistemic Logic, Misc

Starting with Kant’s undeveloped proposal of a “negative science,” the author describes how philosophy may be developed and strengthened by means of a systematic approach that seeks to identify and eliminate a widespread but seldom recognized form of systemic and propagating conceptual error. ¶¶¶¶¶ -/- The paper builds upon the author’s book, CRITIQUE OF IMPURE REASON: HORIZONS OF POSSIBILITY AND MEANING (Studies in Theory and Behavior, 2021). ¶¶¶¶¶ -/- The author’s purpose is twofold: first, to enable us to recognize the (...) boundaries of what is referentially forbidden—the limits beyond which reference becomes meaningless—and second, to avoid falling victims to a certain broad class of conceptual confusions that lie at the heart of many major philosophical problems. By realizing these objectives, the boundaries of possible meaning are determined. (shrink)

The problem of identity is central to epistemic transference. However, relative identity appears to be the only way to work out an epistemic useful notion of identity. Relative identity, on its part, is either parasitic on strict identity or not identity at all. If, on the contrary, we ought for a strict concept of identity capable of satisfying its requirements, we end up with a tautologic and epistemic worthless category. The paper provides an answer to this problem, which, while working (...) with a strict notion, shows how it might still serve epistemic purposes. In doing so, it shows how a formal reconstruction of our objectual world and the identities we refer to poses a workable model upon which our messy epistemic one acquires stability. The paper focuses primarily on the Geach-Quine discussion on identity. (shrink)

How should we understand validity? A standard way to characterize validity is in terms of the preservation of truth (or truth in a model). But there are several problems facing such characterizations. An alternative approach is to characterize validity epistemically, for instance in terms of the preservation of an epistemic status. In this paper, I raise a problem for such views. First, I argue that if the relevant epistemic status is factive, such as being in a position to know or (...) having conclusive evidence for, then the account runs into trouble if we endorse certain familiar logical principles. Second, I argue that if the relevant epistemic status is non-factive, such as is rationally committed to or has justification for believing, then a similar problem arises if we endorse the logical principles as well as a sufficiently strong epistemic “level-bridging” principle. Finally, I argue that an analogous problem arises for the most natural characterization of validity in terms of rational credence. (shrink)

_Framing effects_ concern the having of different attitudes towards logically or necessarily equivalent contents. Framing is of crucial importance for cognitive science, behavioral economics, decision theory, and the social sciences at large. We model a typical kind of framing, grounded in (i) the structural distinction between beliefs activated in working memory and beliefs left inactive in long term memory, and (ii) the topic- or subject matter-sensitivity of belief: a feature of propositional attitudes which is attracting growing research attention. We introduce (...) a class of models featuring (i) and (ii) to represent, and reason about, agents whose belief states can be subject to framing effects. We axiomatize a logic which we prove to be sound and complete with respect to the class. (shrink)

Commonsense ontology often conflicts with the ontology of our best scientific and philosophical theories. However, commonsense ontology, and commonsense belief systems in general, seems to be remarkably efficient and cognitively fundamental. In cases of contrast, it is better to find a way to reconcile commonsense and ”theoretical” ontologies. Given that commonsense ontologies are typically expressed within natural language, a classical procedure of reconciliation is semantical. The strategy is that of individuating the ”ontologically problematic” expressions of natural language and paraphrasing the (...) sentences in which they appear in a (formal) language whose commitments are compatible with those of our best theories. We believe that this strategy of reconciliation, though quite standard, especially in the philosophical literature, is problematic: for a start, it forces us to conclude that the ”real content” of our commonsense expressions and beliefs is different from what it appears. Commonsense ontology becomes just an illusion. We will thus propose an alternative approach: according to our view, a commonsense ontology is reconciled with a theoretical ontology in case it is shown that the explanation of why we believe in the existence of a problematic entity is compatible with our best theories. We will call this kind of reconciliation ”epistemic”. The advantage of an epistemic reconciliation is that commonsense ontology is treated in its own right and could be taken prima facie. Another advantage of the view is that epistemic reconciliation can be analysed through the notion of explaining away: a commonsense ontology is epistemically reconciled with a theoretical ontology if and only if the problematic entities of the commonsense ontology are explained away by ”respectable” entities of the theoretical ontology. In the final part of the paper, we sketch a formal analysis of explaining away. (shrink)

Abstract. Traditional epistemology of knowledge and belief can be succinctly characterized as JTB-epistemology, i.e., it is characterized by the thesis that knowledge is justified true belief. Since Gettier’s trail-blazing paper of 1963 this account has become under heavy attack. The aim of is paper is to study the Gettier problem and related issues in the framework of topological epistemic logic. It is shown that in the framework of topological epistemic logic Gettier situations necessarily occur for most topological models of knowledge (...) and belief. On the other hand, there exists a special class of topological models (based on so called nodec spaces) for which traditional JTB-epistemology is valid. Further, it is shown that for each topological model of Stalnaker’s combined logic KB of knowledge and belief a canonical JTB-model (its JTB-doppelganger) can be constructed that shares many structural properties with the original model but is free of Gettier situations. The topological model and its JTB-doppelganger both share the same justified belief operator and have very similar knowledge operators. Seen from a somewhat different perspective, the JTB-account of epistemology amounts to a simplification of a more general epistemological account of knowledge and belief that assumes that these two concepts may differ in some cases. The JTB-account of knowledge and belief assumes that the epistemic agent’s cognitive powers are rather large. Thereby in the JTB-epistemology Gettier cases do not occur. Eventually, it is shown that for all topological models of Stalnaker’s KB-logic Gettier situations are topologically characterized as nowhere dense situations. This entails that Gettier situations are epistemologically invisible in the sense that they can neither be known nor believed with justification with respect to the knowledge operator and the belief operator of the models involved. (shrink)

This short paper offers a skeptical solution to Åqvist's paradox of epistemic obligation. The solution is based on the contention that in SDL/KDT logics the externalist features of knowledge, about which we cannot have obligations, are obscured.

I explore the motivation and logical consequences of the idea that we have some (limited) ability to know contingent facts about the future, even in presence of the assumption that the future is objectively unsettled or indeterminate. I start by formally characterizing skepticism about the future. This analysis nudges the anti-skeptic towards the idea that if some propositions about the future are objectively indeterminate, then it may be indeterminate whether a suitably positioned agent knows them. -/- Philosophical Perspectives, Volume 35, (...) Issue 1, Page 50-69, December 2021. (shrink)

We define a notion of the intelligence level of an idealized mechanical knowing agent. This is motivated by efforts within artificial intelligence research to define real-number intelligence levels of compli- cated intelligent systems. Our agents are more idealized, which allows us to define a much simpler measure of intelligence level for them. In short, we define the intelligence level of a mechanical knowing agent to be the supremum of the computable ordinals that have codes the agent knows to be codes (...) of computable ordinals. We prove that if one agent knows certain things about another agent, then the former necessarily has a higher intelligence level than the latter. This allows our intelligence no- tion to serve as a stepping stone to obtain results which, by themselves, are not stated in terms of our intelligence notion (results of potential in- terest even to readers totally skeptical that our notion correctly captures intelligence). As an application, we argue that these results comprise evidence against the possibility of intelligence explosion (that is, the no- tion that sufficiently intelligent machines will eventually be capable of designing even more intelligent machines, which can then design even more intelligent machines, and so on). (shrink)

We study the structure of families of theories in the language of arithmetic extended to allow these families to refer to one another and to themselves. If a theory contains schemata expressing its own truth and expressing a specific Turing index for itself, and contains some other mild axioms, then that theory is untrue. We exhibit some families of true self-referential theories that barely avoid this forbidden pattern.

The verb ‘to know’ can be used both in ascriptions of propositional knowledge and ascriptions of knowledge of acquaintance. In the formal epistemology literature, the former use of ‘know’ has attracted considerable attention, while the latter is typically regarded as derivative. This attitude may be unsatisfactory for those philosophers who, like Russell, are not willing to think of knowledge of acquaintance as a subsidiary or dependent kind of knowledge. In this paper we outline a logic of knowledge of acquaintance in (...) which ascriptions like ‘Mary knows Smith’ are regarded as formally interesting in their own right, remaining neutral on their relation to ascriptions of propositional knowledge. The resulting logical framework, which is based on Hintikka’s modal approach to epistemic logic, provides a fresh perspective on various issues and notions at play in the philosophical debate on acquaintance. (shrink)

In this paper I investigate an alternative to imprecise probabilism. Imprecise probabilism is a popular revision of orthodox Bayesianism: while the orthodox Bayesian claims that a rational agent’s belief-state can be represented by a single credence function, the imprecise probabilist claims instead that a rational agent’s belief-state can be represented by a set of such functions. The alternative that I put forward in this paper is to claim that the expression ‘credence’ is vague, and then apply the theory of supervaluationism (...) to sentences containing this expression. This gives us a viable alternative to imprecise probabilism, and I end by comparing the two accounts. I show that supervaluationism has a simpler way of handling sentences relating the belief-states of two different people, or of the same person at two different times; that both accounts may have the resources to develop plausible decision theories; and finally that the supervaluationist can accommodate higher-order vagueness in a way that is not available to the imprecise probabilist. (shrink)

This paper reviews the central points and presents some recent developments of the epistemic approach to paraconsistency in terms of the preservation of evidence. Two formal systems are surveyed, the basic logic of evidence (BLE) and the logic of evidence and truth (LET J ), designed to deal, respectively, with evidence and with evidence and truth. While BLE is equivalent to Nelson’s logic N4, it has been conceived for a different purpose. Adequate valuation semantics that provide decidability are given for (...) both BLE and LET J . The meanings of the connectives of BLE and LET J , from the point of view of preservation of evidence, is explained with the aid of an inferential semantics. A formalization of the notion of evidence for BLE as proposed by M. Fitting is also reviewed here. As a novel result, the paper shows that LET J is semantically characterized through the so-called Fidel structures. Some opportunities for further research are also discussed. (shrink)

The paper analyzes dynamic epistemic logic from a topological perspective. The main contribution consists of a framework in which dynamic epistemic logic satisfies the requirements for being a topological dynamical system thus interfacing discrete dynamic logics with continuous mappings of dynamical systems. The setting is based on a notion of logical convergence, demonstratively equivalent with convergence in Stone topology. Presented is a flexible, parametrized family of metrics inducing the latter, used as an analytical aid. We show maps induced by action (...) model transformations continuous with respect to the Stone topology and present results on the recurrent behavior of said maps. (shrink)

A dynamic epistemic logic is presented in which the single agent can reason about his knowledge stages before and after announcements. The logic is generated by reinterpreting multi agent private announcements in a single agent environment. It is shown that a knowability principle is valid for such logic: any initially true ϕ can be known after a certain number of announcements.