We present a technique for automatically verifying cryptographic protocols specified in the mainstream specification language CAPSL. We define a translation from CAPSL models into interpreted systems, a popular semantics for temporal-epistemic logic, and rewrite CAPSL goals as temporal-epistemic specifications. We present a compiler that implements this translation. The compiler links to the symbolic model checker MCMAS. We evaluate the technique on protocols in the Clark-Jacobs library and in the SPORE repository against custom secrecy and authentication requirements.

The essay deals with the issue of how a non-summativist account of collective epistemic traits can be properly justified. We trace the roots of this issue in virtue epistemology and collective epistemology and then critically examine certain views advanced to justify non-summativism. We focus on those considered by Fricker, including Gilbert’s concept of plural subjects, which she endorses. We find her analysis of these views problematic for either going beyond the parameters of the summativism-nonsummativism debate or contradicting common intuitions (...) about epistemic trait ascriptions. As an alternative, we advance the idea that collective epistemic traits are system properties; or that epistemic traits act as system properties when attributed to collectives taken in their own right. Working as a system, the individual members of a collective perform their designated roles or tasks in coordination and cooperation with each other to achieve theirjoint intentions. Being attributes exclusive to systems, collective epistemic traits cannot, therefore, be attributed in the same respect to the individuals comprising these systems, thereby blocking any summative account of these traits. This model also easily sidesteps the problems besetting Fricker’s preferred one. (shrink)

This paper examines some consequences of the (quasi-)epiphenomenalism implied by a property dualistic view of phenomenal consciousness. The focus is upon the variation of phenomenal content over time. A thought-experiment is constructed to support two claims. The weaker claim exhibits an incompatibility which arises in certain logically possible situations between a conscious subject’s epistemic norms and the requirement that one be aware of one’s conscious experience. This could be interpreted as providing some epistemic grounds for the postulation of (...) bridging laws between the physical/functional and phenomenal domains. The stronger claim has it that the ontology of property dualism is not properly able to account for the certainty I have of being phenomenally conscious. The problem is viewed as resulting from the neglect of the intensional context involved in a proper representation of the argument for property dualism. It is argued that only a transcendental move can do justice to this certainty I have. (shrink)

Reductive intellectualists hold that knowledge-how is a kind of knowledge-that. For this thesis to hold water, it is obviously important that knowledge-how and knowledge-that have the same epistemic properties. In particular, knowledge-how ought to be compatible with epistemic luck to the same extent as knowledge-that. It is argued, contra reductive intellectualism, that knowledge-how is compatible with a species of epistemic luck which is not compatible with knowledge-that, and thus it is claimed that knowledge-how and knowledge-that come (...) apart. (shrink)

This paper examines some consequences of the (quasi‐)epiphenomenalism implied by a property dualistic view of phenomenal consciousness. The focus is upon the variation of phenomenal content over time. A thought‐experiment is constructed to support two claims. The weaker claim exhibits an incompatibility which arises in certain logically possible situations between a conscious subject’s epistemic norms and the requirement that one be aware of one’s conscious experience. This could be interpreted as providing some epistemic grounds for the postulation of (...) bridging laws between the physical/functional and phenomenal domains. The stronger claim has it that the ontology of property dualism is not properly able to account for the certainty I have of being phenomenally conscious. The problem is viewed as resulting from the neglect of the intensional context involved in a proper representation of the argument for property dualism. It is argued that only a transcendental move can do justice to this certainty I have. (shrink)

Searle suggests biological naturalism as a solution to the mind-brain problem that escapes traditional terminology with its seductive pull towards either dualism or materialism. We reconstruct Searle's argument and demonstrate that it needs additional support to represent a position truly located between dualism and materialism. The aim of our paper is to provide such an additional argument. We introduce the concept of "autoepistemic limitation" that describes our principal inability to directly experience our own brain as a brain from the first-person (...) perspective. The neglect of the autoepistemic limitation leads to inferences from epistemic properties to ontological features - we call this "epistemic-ontological inference." Searle attempts to avoid such epistemic-ontological inference but does not provide a sufficient argument. Once the autoepistemic limitation is considered, epistemic-ontological inference can be avoided. As a consequence, one can escape traditional terminology with its seductive pull towards either dualism or materialism. (shrink)

It is popular to hold that our primary epistemic access to specific response-dependent properties like the fearsome or admirable (or so-called ‘affective properties’) is constituted by the corresponding emotion. I argue that this view is incompatible with a widely held meta-ethical view, according to which affective properties have deontic force. More specifically, I argue that this view cannot accommodate for the requirement that deontic entities provide guidance. If affective properties are to guide the formation of (...) the corresponding emotion, our primary access to them cannot be provided by that same emotion. (shrink)

An encyclopedic article on epistemic supervenience in Blackwell companion to epistemology, 2 ed.

Epistemic Sentimentalism is the view that emotional experiences such as fear and guilt are a source of immediate justification for evaluative beliefs. For example, guilt can sometimes immediately justify a subject’s belief that they have done something wrong. In this paper I focus on a family of objections to Epistemic Sentimentalism that all take as a premise the claim that emotions possess a normative property that is apparently antithetical to it: epistemic reason-responsiveness, i.e., emotions have evidential bases (...) and justifications can be demanded of them. I respond to these objections whilst granting that emotions are reason-responsive. This is not only dialectically significant vis-à-vis the prospects for Epistemic Sentimentalism, but also supports a broader claim about the compatibility of a mental item’s being reason-responsive and its being a generative source of epistemic justification. (shrink)

We present epistemic multilateral logic, a general logical framework for reasoning involving epistemic modality. Standard bilateral systems use propositional formulae marked with signs for assertion and rejection. Epistemic multilateral logic extends standard bilateral systems with a sign for the speech act of weak assertion (Incurvati and Schlöder 2019) and an operator for epistemic modality. We prove that epistemic multilateral logic is sound and complete with respect to the modal logic S5 modulo an appropriate translation. The (...) logical framework developed provides the basis for a novel, proof-theoretic approach to the study of epistemic modality. To demonstrate the fruitfulness of the approach, we show how the framework allows us to reconcile classical logic with the contradictoriness of so-called Yalcin sentences and to distinguish between various inference patterns on the basis of the epistemic properties they preserve. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large (...) cardinal axioms, undecidable propositions, and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter 2 argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal cognitivism and modal expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic epistemic two-dimensional hyperintensional semantics. Chapter 3 provides an abstraction principle for epistemic (hyper-)intensions. Chapter 4 advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter 5 applies the fixed points of the modal μ-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal μ-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal μ-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter 6 advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter 7 provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters 2 and 4 are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. Chapters 8-12 provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter 8 examines the interaction between my hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of Ω-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter 9 examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter 10 examines the philosophical significance of hyperintensional Ω-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter 11 provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter 12 avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between the interpretational and objective modalities and truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals while bypassing the category of Set in category theory. Chapter 13 examines modal responses to the alethic paradoxes. Chapter 14 examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

The logical omniscience problem, whereby standard models of epistemic logic treat an agent as believing all consequences of its beliefs and knowing whatever follows from what else it knows, has received plenty of attention in the literature. But many attempted solutions focus on a fairly narrow specification of the problem: avoiding the closure of belief or knowledge, rather than showing how the proposed logic is of philosophical interest or of use in computer science or artificial intelligence. Sentential epistemic (...) logics, as opposed to traditional possible worlds approaches, do not suffer from the problems of logical omniscience but are often thought to lack interesting epistemic properties. In this paper, I focus on the case of rule-based agents, which play a key role in contemporary AI research but have been neglected in the logical literature. I develop a framework for modelling monotonic, nonmonotonic and introspective rule-based reasoners which have limited cognitive resources and prove that the resulting models have a number of interesting properties. An axiomatization of the resulting logic is given, together with completeness, decidability and complexity results. (shrink)

By “epistemic pragmatism” in general I will understand the claim that whether propositions instantiate certain key epistemic properties (such as being known or being justifiably believed) depends not just on factors traditionally recognized as epistemic, but also on pragmatic factors, such as how costly it would be to the subject if the proposition were false. In what follows I consider two varieties of epistemic pragmatism. According to what I shall call moderate epistemic pragmatism, how (...) much evidence we need in favor of a proposition in order to know that the proposition is true depends on our preferences. According to what I shall call extreme epistemic pragmatism, on the other hand, our preferences influence our epistemic position at a more basic level, because they help determine how much justification we actually have in favor of the proposition in question. Simplifying brutally, moderate epistemic pragmatism has it that the more worried we are about a proposition’s being false, the more justification we need in order to know it, whereas extreme epistemic pragmatism has it that the more worried we are about a proposition’s being false, the less justification we have for it. Recently, Fantl and McGrath have presented an interesting argument for moderate epistemic pragmatism, an argument which relies on the principle that (roughly) knowledge is sufficient for action (KA). In this paper I argue that KA, together with a plausible principle about second-order evidence, entails extreme epistemic pragmatism. (shrink)

Aesthetic properties figure prominently in our daily lives, our conversations and many actions we take. Yet theoretical disagreement prevails over their nature, their variety, their epistemic and metaphysical status. This overview highlights the heterogeneity of aesthetic properties and examines repercussions for explanation. Aesthetic properties belong to natural objects or scenes, to artworks in any medium, to artefacts and built environments across historical eras; and they draw a wide variety of responses such as our perceptions, emotions or (...) imaginative thought. Historicism about artworks carries over to at least some aesthetic properties that depend on facts of their broader historical context just as works do. One issue is whether aesthetic properties can be demarcated solely in terms of non-aesthetic properties. If not, explanations of aesthetic properties need to draw on other aesthetic notions such as aesthetic experience, attention, judgement or value. The paper examines several accounts of aesthetic value to show how they extend to aesthetic properties. The paper concludes with an overview of the current metaphysical debate between realists and non-realists about aesthetic properties. (shrink)

Epistemic closure has been a central issue in epistemology over the last forty years. According to versions of the relevant alternatives and subjunctivist theories of knowledge, epistemic closure can fail: an agent who knows some propositions can fail to know a logical consequence of those propositions, even if the agent explicitly believes the consequence (having “competently deduced” it from the known propositions). In this sense, the claim that epistemic closure can fail must be distinguished from the fact (...) that agents do not always believe, let alone know, the consequences of what they know—a fact that raises the “problem of logical omniscience” that has been central in epistemic logic. This paper, part I of II, is a study of epistemic closure from the perspective of epistemic logic. First, I introduce models for epistemic logic, based on Lewis’s models for counterfactuals, that correspond closely to the pictures of the relevant alternatives and subjunctivist theories of knowledge in epistemology. Second, I give an exact characterization of the closure properties of knowledge according to these theories, as formalized. Finally, I consider the relation between closure and higher-order knowledge. The philosophical repercussions of these results and results from part II, which prompt a reassessment of the issue of closure in epistemology, are discussed further in companion papers. As a contribution to modal logic, this paper demonstrates an alternative approach to proving modal completeness theorems, without the standard canonical model construction. By “modal decomposition” I obtain completeness and other results for two non-normal modal logics with respect to new semantics. One of these logics, dubbed the logic of ranked relevant alternatives, appears not to have been previously identified in the modal logic literature. More broadly, the paper presents epistemology as a rich area for logical study. (shrink)

Epistemic logic with its possible worlds semantic model is a powerful framework that allows us to represent an agent’s information not only about propositional facts, but also about her own information. Nevertheless, agents represented in this framework are logically omniscient: their information is closed under logical consequence. This property, useful in some applications, is an unrealistic idealisation in some others. Many proposals to solve this problem focus on weakening the properties of the agent’s information, but some authors have (...) argued that solutions of this kind are not completely adequate because they do not look at the heart of the matter: the actions that allow the agent to reach such omniscient state. Recent works have explored how acts of observation, inference, consideration and forgetting affect an agent’s implicit and explicit knowledge; the present work focuses on acts that affect an agent’s implicit and explicit beliefs. It starts by proposing a framework in which these two notions can be represented, and then it looks into their dynamics, first by reviewing the existing notion of belief revision, and then by introducing a rich framework for representing diverse forms of inference that involve both knowledge and beliefs. (shrink)

Three of the major issues in information ethics – intellectual property, speech regulation, and privacy – concern the morality of restricting people’s access to certain information. Consequently, policies in these areas have a significant impact on the amount and types of knowledge that people acquire. As a result, epistemic considerations are critical to the ethics of information policy decisions (cf. Mill, 1978 [1859]). The fact that information ethics is a part of the philosophy of information highlights this important connection (...) with epistemology. In this paper, I illustrate how a value-theoretic approach to epistemology can help to clarify these major issues in information ethics. However, I also identify several open questions about epistemic values that need to be answered before we will be able to evaluate the epistemic consequences of many information policies. (shrink)

The general principle of epistemic closure stipulates that epistemic properties are transmissible through logical means. According to this principle, an epistemic operator, say ε, should satisfy any valid scheme of inference, such as: if ε(p entails q), then ε(p) entails ε(q). The principle of epistemic closure under known entailment (ECKE), a particular instance of epistemic closure, has received a good deal of attention since the last thirty years or so. ECKE states that: if one (...) knows that p entails q, and she knows that p, then she knows that q. It is widely accepted that ECKE constitutes an important piece of the skeptical argument, but the acceptance of an unrestricted version of ECKE is still a matter of debate. On the side of the defenders of ECKE, one finds Stine (1976), Brueckner (1985), Vogel (1990), and Feldman (1995). Others proposed a refutation or a limitation of the principle, like Dretske (1970), Nozick (1981), Hales (1995), Williams (1996), and Sosa (1999). As it turns out, the relevant alternatives view (RAV) elaborated by Dretske, which restricts the scope of ECKE, has been discussed extensively and acknowledged as one of the most important contributions. There is nonetheless a major unsolved difficulty pertaining to Dretske-RAV: the notion of relevant alternatives is defined in such a way that it is bounded by counterfactual possibilities. This ontological import leaves open the door to the skeptic. Some have tried to give more precision to this notion, like Stine (1976), who appealed to a Gricean approach to define relevant alternatives in conversational contexts. My proposal is in accordance with the gist of Dretske’s strategy, i.e. to restrict the validity of ECKE, and I claim that in order to escape the difficulties inherent to RAV one has to introduce a more robust notion, the notion of epistemic context. Epistemic contexts are a subclass of propositional contexts. In that perspective, the closure property is expressed in terms of a property of a relation between epistemic contexts. ECKE holds when and only when either the epistemic context of the premisses is the same as the epistemic context of the conclusion, or the epistemic context change between the premisses and the conclusion is permissible. Permissibility of epistemic context change is a function of consistency. By means of this epistemic context approach, I will show that: (1) epistemic contexts are defined by basic propositions (unchallenged justified beliefs), (2) ECKE holds only under very specific constraints, and (3) the skeptical argument involves a non-permissible change of epistemic context and, by the same token, cannot rely upon ECKE. (shrink)

I foreground the principle of epistemic dependence. I isolate that relation and distinguish it from other relations and note what it does and does not entail. In particular, I distinguish between dependence and necessitation. This has many interesting consequences. On the negative side, many standard arguments in epistemology are subverted. More positively, once we are liberated from the necessary and sufficient conditions project, many fruitful paths for future epistemological investigation open up. I argue that that not being defeated does (...) not make for knowledge. And I argue for the multiple realization of epistemic properties in non-epistemic properties. (shrink)

This paper defends the naïve thesis that the method of experiment has per se an epistemic superiority over the method of computer simulation, a view that has been rejected by some philosophers writing about simulation, and whose grounds have been hard to pin down by its defenders. I further argue that this superiority does not come from the experiment’s object being materially similar to the target in the world that the investigator is trying to learn about, as both sides (...) of dispute over the epistemic superiority thesis have assumed. The superiority depends on features of the question and on a property of natural kinds that has been mistaken for material similarity. Seeing this requires holding other things equal in the comparison of the two methods, thereby exposing that, under the conditions that will be specified, the simulation is necessarily epistemically one step behind the corresponding experiment. Practical constraints like feasibility and morality mean that scientists do not often face an other-things- equal comparison when they choose between experiment and simulation. Nevertheless, I argue, awareness of this superiority and of the general distinction between experiment and simulation is important for maintaining motivation to seek answers to new questions. (shrink)

Strong epistemic anti-individualism—i.e., the claim that knowledge can be irreducibly social—is increasingly debated within mainstream and social epistemology. Most existing approaches attempt to argue for the view on the basis of aggregative analyses, which focus on the way certain groups aggregate the epistemic attitudes of their members. Such approaches are well motivated, given that many groups to which we often ascribe group knowledge—such as juries and committees—operate in this way. Yet another way that group knowledge can be generated (...) is on the basis of epistemic collaborations, such as scientific research teams and Transactive Memory Systems. To produce knowledge, epistemic collaborations rely heavily on the mutual interactions of their group members. This is a distinctive feature of epistemic collaborations that renders them resistant to aggregative analyses. To accommodate this kind of group knowledge, the paper combines virtue reliabilism with the hypothesis of distributed cognition in order to introduce the hybrid approach of distributed virtue reliabilism. On this view, beliefs produced by epistemic collaborations entertain positive epistemic standing in virtue of the mutual interactions of their group members; this positive epistemic standing is a collective property; epistemic collaborations qualify as epistemic group agents; collaborative knowledge is a special kind of group knowledge, motivating strong epistemic anti-individualism in a distinctive way. (shrink)

Strong epistemic anti-individualism—i.e., the claim that knowledge can be irreducibly social—is increasingly debated within mainstream and social epistemology. Most existing approaches attempt to argue for the view on the basis of aggregative analyses, which focus on the way certain groups aggregate the epistemic attitudes of their members. Such approaches are well motivated, given that many groups to which we often ascribe group knowledge—such as juries and committees—operate in this way. Yet another way that group knowledge can be generated (...) is on the basis of epistemic collaborations, such as scientific research teams and Transactive Memory Systems. To produce knowledge, epistemic collaborations rely heavily on the mutual interactions of their group members. This is a distinctive feature of epistemic collaborations that renders them resistant to aggregative analyses. To accommodate this kind of group knowledge, the paper combines virtue reliabilism with the hypothesis of distributed cognition in order to introduce the hybrid approach of distributed virtue reliabilism. On this view, beliefs produced by epistemic collaborations entertain positive epistemic standing in virtue of the mutual interactions of their group members; this positive epistemic standing is a collective property; epistemic collaborations qualify as epistemic group agents; collaborative knowledge is a special kind of group knowledge, motivating strong epistemic anti-individualism in a distinctive way. (shrink)

The properties of the ${\forall^{1}}$ quantifier defined by Kontinen and Väänänen in [13] are studied, and its definition is generalized to that of a family of quantifiers ${\forall^{n}}$ . Furthermore, some epistemic operators δ n for Dependence Logic are also introduced, and the relationship between these ${\forall^{n}}$ quantifiers and the δ n operators are investigated.The Game Theoretic Semantics for Dependence Logic and the corresponding Ehrenfeucht- Fraissé game are then adapted to these new connectives.Finally, it is proved that the (...) ${\forall^{1}}$ quantifier is not uniformly definable in Dependence Logic, thus answering a question posed by Kontinen and Väänänen in the above mentioned paper. (shrink)

Some philosophers claim that emotions are, at best, hindrances to the discovery of evaluative truths, while others omit them entirely from their epistemology of value. I argue, however, that this is a mistake. Drawing an evaluative parallel with Frank Jackson’s Mary case, I show there is a distinctive way in which emotions epistemically enhance evaluative judgment. This is, in fact, a conclusion philosophers of emotion have been eager to endorse. However, after considering several influential proposals—such as the view that emotions (...) generate evaluative concepts, or the view that emotions justify evaluative beliefs on the model of perception—I conclude that the most promising contender is the notion that emotional experience acquaints us with evaluative properties. (shrink)

Emotion Review, Volume 14, Issue 3, Page 206-216, July 2022. This paper develops the claim that epistemic feelings are affective experiences. To establish some diagnostic criteria, characteristic features of affective experiences are outlined: valence and arousal. Then, in order to pave the way for showing that epistemic feelings have said features, an initial challenge coming from introspection is addressed. Next, the paper turns to empirical findings showing that we can observe physiological and behavioural proxies for valence and arousal (...) in epistemic tasks that typically rely on epistemic feelings. Finally, it is argued that the affective properties do not only correlate with epistemic feelings but that we, in fact, capitalise on these affective properties to perform the epistemic tasks. In other words: the affective properties in question constitute epistemic feelings. (shrink)

On a view implicitly endorsed by many, a concept is epistemically better than another if and because it does a better job at ‘carving at the joints', or if the property corresponding to it is ‘more natural' than the one corresponding to another. This chapter offers an argument against this seemingly plausible thought, starting from three key observations about the way we use and evaluate concepts from en epistemic perspective: that we look for concepts that play a role in (...) explanations of things that cry out for explanation; that we evaluate not only ‘empirical' concepts, but also mathematical and perhaps moral concepts from an epistemic perspective; and that there is much more complexity to the concept/property relation than the natural thought seems to presuppose. These observations, it is argued, rule out giving a theory of conceptual evaluation that is a corollary of a metaphysical ranking of the relevant properties. -/- conceptual ethics, explanation, naturalness, epistemic value, concept/property, semantic internalism. (shrink)

The epistemic argument against epiphenomenalism aims to prove that even if epiphenomenalism is true, its adherents are not able to justify their inferential beliefs. This would mean that they cannot know that they are right which is a self-stultifying consequence. I elaborate on this problem and then present an updated version of epiphenomenalism based on property dualism. I argue that this position is capable of refuting the conclusion of the epistemic argument even in spite of accepting its essential (...) assumptions. This was made possible by an upgraded property exemplification account of events. I also argue against a view which, if true, gives substantial support to the epistemic argument: that a belief justified by other beliefs is knowledge only if it is caused by those beliefs in virtue of their contents. (shrink)

Epistemic logic is the logic of knowledge and belief. It provides insight into the properties of individual knowers, has provided a means to model complicated scenarios involving groups of knowers and has improved our understanding of the dynamics of inquiry.

The present work is motivated by two questions. (1) What should an intuitionistic epistemic logic look like? (2) How should one interpret the knowledge operator in a Kripke-model for it? In what follows we outline an answer to (2) and give a model-theoretic definition of the operator K. This will shed some light also on (1), since it turns out that K, defined as we do, fulfills the properties of a necessity operator for a normal modal logic. The (...) interest of our construction also lies in a better insight into the intuitionistic solution to Fitch's paradox, which is discussed in the third section. In particular we examine, in the light of our definition, De Vidi and Solomon's proposal of formulating the verification thesis as Φ → ¬¬KΦ. We show, as our main result, that this definition excapes the paradox, though it is validated only under restrictive conditions on the models. (shrink)

The topic of the paper is the notion of intuition in Descartes’ philosophy and its epistemic functions. Descartes introduces his notion of intuition in the context of a description of his method and process of knowing and doing science. Intuition is a significant component of this process. I intend to show that the main epistemic functions of intuition in Descartes’ philosophy are differentiated. Intuition is essential not only in the context of justification (the Cartesian synthetic method of proof) (...) but also and especially in the context of discovery (the Cartesian analytic method of discovery). It plays not only a role in the foundation of cogito but also on different stages of constructing the system of knowledge. Intuition has important functions in grasping simple natures, forming primary concepts, comprehending complex natures, forming primary propositions (including primary principles), and capturing relationships between them and building deductive reasoning (the role of intuition in deduction). Hence, intuition is the foundation for all primary stages of producing knowledge. It is active and important element of pure thinking (a priori) in human knowledge, and science. It fulfils these functions due to its specific epistemic properties. I also argue that intuition is not an autonomous and complete type of knowledge. Nor is it an intuitive thesis, but rather the basis of a justification for theses (including cogito). (shrink)

Recent years witnessed a growing interest in non-standard epistemic logics of knowing whether, knowing how, knowing what, knowing why and so on. The new epistemic modalities introduced in those logics all share, in their semantics, the general schema of ∃x◻φ, e.g., knowing how to achieve φ roughly means that there exists a way such that you know that it is a way to ensure that φ. Moreover, the resulting logics are decidable. Inspired by those particular logics, in this (...) work, we propose a very general and powerful framework based on quantifier-free predicate language extended by a new modality, which packs exactly ∃x◻ together. We show that the resulting language, though much more expressive, shares many good properties of the basic propositional modal logic over arbitrary models, such as finite-tree-model property and van Benthem-like characterization w.r.t.\ first-order modal logic. We axiomatize the logic over S5 frames with intuitive axioms to capture the interaction between the new modality and know-that operator in an epistemic setting. (shrink)

In this chapter, I propose a new framework for extended epistemology, based on a second-wave approach to extended cognition. The framework is inclusive, in that it takes into account the complex interplay between the diverse embodiments of extended knowers and the salient properties of technological artifacts, as well as the environment in which they are embedded. Thus it both emphasizes and exploits the complementary roles played by these different elements. Finally, I motivate and explain this framework by applying it (...) to a case of interaction with contemporary technologies. (shrink)

We live in a world in which scientific expertise and its epistemic authority become more important. On the other hand, the financial interests in research, which could potentially corrupt science, are increasing. Due to these two tendencies, a concern for the integrity of scientific research becomes increasingly vital. This concern is, however, hollow if we do not have a clear account of research integrity. Therefore, it is important that we explicate this concept. Following Rudolf Carnap’s characterization of the task (...) of explication, this means that we should develop a concept that is (1) similar to our common sense notion of research integrity, (2) exact, (3) fruitful, and (4) as simple as possible. Since existing concepts do not meet these four requirements, we develop a new concept in this article. We describe a concept of epistemic integrity that is based on the property of deceptiveness, and argue that this concept does meet Carnap’s four requirements of explication. To illustrate and support our claims we use several examples from scientific practice, mainly from biomedical research. (shrink)

A moral-pragmatic argument for a proposition is an argument intended to establish that believing the proposition would be morally beneficial. Since such arguments do not adduce epistemic reasons, i.e., reasons that support the truth of a proposition, they can seem at best to be irrelevant epistemically. At worst, believing on the basis of such reasoning can seem to involve wishful thinking and intellectual dishonesty of a sort that that precludes such beliefs from being epistemically unjustified. Inspired by an argument (...) from William James’ classic, “The Will to Believe”, I argue that there is a way of making sense of moral-pragmatic arguments such that they are epistemically relevant. I develop and argue for a theory of epistemic justification that I dub the “moral encroachment theory” (emphasizing its connection to recent pragmatic encroachment views). According to the theory, moral considerations can raise or lower epistemic standards from where they would be in morally neutral settings. The moral encroachment theory, I contend, denotes a normative property that is at once distinctively epistemic and valuable. The theory also allows a legitimate role for moral-pragmatic reasoning under certain conditions. The upshot is that moral-pragmatic reasoning can be epistemically as well as morally appropriate. (shrink)

I give a biological account of epistemic normativity. My account explains the sense in which it is true that belief is subject to a standard of correctness, and reduces epistemic norms to there being doxastic strategies which guide how best to meet that standard. Additionally, I give an explanation of the mistakes we make in our epistemic discourse, understood as either taking epistemic properties and norms to be sui generis and irreducible, and/or as failing to (...) recognize the reductive base of epistemic normativity. This explanation will appeal to the claim that the beliefs which constitute our epistemic discourse are false but adaptive, and are the outcome of a non-truth tracking process. The opponents of my position are philosophers who take epistemic normativity not to be reducible in this way, and to involve sui generis properties and norms governing belief. The aim of the paper is to show that epistemic normativity can be explained by appeal to the biological functions of our mechanisms of belief-production. (shrink)

So far, T×W frames have been employed to provide a semantics for a language of tense logic that includes a modal operator that expresses historical necessity. The operator is defined in terms of quantification over possible courses of events that satisfy a certain constraint, namely, that of being alike up to a given point. However, a modal operator can as well be defined without placing that constraint. This paper outlines a T×W logic where an operator of the latter kind is (...) used to express the epistemic property of definiteness. Section 1 provides the theoretical background. Sections 2 and 3 set out the semantics. Sections 4 and 5 show, drawing on established results, that there is a sound and complete axiomatization of the logic outlined. (shrink)

This chapter explores properties that bind individuals, knowledge, and communities, together. Section ‎‎1 introduces Hardwig’s argument from trust in others’ testimonies as entailing that trust is the glue ‎that binds individuals into communities. Section 2 asks “what grounds trust?” by exploring assessment ‎of collaborators’ explanatory responsiveness, formal indicators such as affiliation and credibility, ‎appreciation of peers’ tacit knowledge, game-theoretical considerations, and the role moral character ‎of peers, social biases, and social values play in grounding trust. Section 3 deals with (...) establishing ‎reliability standards for formation and breaching of trust. Different epistemic considerations and their ‎underpinning of inductive risks are examined through various communication routes within a ‎discipline, between disciplines, and to the public. Section 4 examines whether a collective entity can ‎be trusted over and above trust that is given to its individual members. Section 5 deals with the roles ‎technological artifacts play in distributed research and collective knowledge. It presents the common ‎view in which genuine trust cannot, in principle, be accorded to artifacts, so as an opposite view. We ‎show that what counts as a genuine object of trust is relevant to debates about the boundaries of ‎collective agency and as a criterion for extended cognitive systems.‎. (shrink)

Epistemic anti-individualism is the view that positive epistemic statuses fail to supervene on internal, physical or mental, properties of individuals. Intellectual humility is a central intellectual virtue in the pursuit of such statuses. After some introductory remarks, this paper provides an argument for epistemic anti-individualism with respect to a virtue-theoretic account of testimonial knowledge. An outline of a dual-aspect account of intellectual humility is then offered. The paper proceeds to argue that insofar as testimonial knowledge is (...) concerned, this stripe of epistemic anti-individualism leads to a particular account of intellectual humility. (shrink)

In this paper I propose a teleological account of epistemic reasons. In recent years, the main challenge for any such account has been to explicate a sense in which epistemic reasons depend on the value of epistemic properties. I argue that while epistemic reasons do not directly depend on the value of epistemic properties, they depend on a different class of reasons which are value based in a direct sense, namely reasons to form (...) beliefs about certain propositions or subject matters. In short, S has an epistemic reason to believe that p if and only if S is such that if S has reason to form a belief about p, then S ought to believe that p. I then propose a teleological explanation of this relationship. It is also shown how the proposal can avoid various subsidiary objections commonly thought to riddle the teleological account. (shrink)

The contrast between third- and first-personal accounts of the experiences of autistic persons has much to teach us about epistemic injustice and epistemic agency. This paper argues that bringing about greater epistemic justice for autistic people requires developing a relational account of epistemic agency. We begin by systematically identifying the many types of epistemic injustice autistic people face, specifically with regard to general assumptions regarding autistic people’s sociability or lack thereof, and by locating the source (...) of these epistemic injustices in neuronormativity and neurotypical ignorance. We then argue that this systematic identification pushes us to construe epistemic agency as resulting from a fundamentally relational and dynamic process between an individual, others around them, and their social, cultural, or institutional environment, rather than as a fixed and inherent property of individuals. Finally, we show how our relational account of epistemic agency allows us to introduce the novel concepts of epistemic disablement and epistemic enablement. We argue that these two concepts allow us to more accurately track the mechanisms that undermine or facilitate epistemic agency, and thereby to better understand how epistemic injustice arises and to design more effective interventions to foster greater epistemic justice for autistic people. (shrink)

We live in a world in which scientific expertise and its epistemic authority become more important. On the other hand, the financial interests in research, which could potentially corrupt science, are increasing. Due to these two tendencies, a concern for the integrity of scientific research becomes increasingly vital. This concern is, however, hollow if we do not have a clear account of research integrity. Therefore, it is important that we explicate this concept. Following Rudolf Carnap’s characterization of the task (...) of explication, this means that we should develop a concept that is similar to our common sense notion of research integrity, exact, fruitful, and as simple as possible. Since existing concepts do not meet these four requirements, we develop a new concept in this article. We describe a concept of epistemic integrity that is based on the property of deceptiveness, and argue that this concept does meet Carnap’s four requirements of explication. To illustrate and support our claims we use several examples from scientific practice, mainly from biomedical research. (shrink)

The necessary but not sufficient conditions for biological informational concepts like signs, symbols, memories, instructions, and messages are (1) an object or referent that the information is about, (2) a physical embodiment or vehicle that stands for what the information is about (the object), and (3) an interpreter or agent that separates the referent information from the vehicle’s material structure, and that establishes the stands-for relation. This separation is named the epistemic cut, and explaining clearly how the stands-for relation (...) is realized is named the symbol-matter problem. (4) A necessary physical condition is that all informational vehicles are material boundary conditions or constraints acting on the lawful dynamics of local systems. It is useful to define a dependency hierarchy of information types: (1) syntactic information (i.e., communication theory), (2) heritable information acquired by variation and natural selection, (3) non-heritable learned or creative information, and (4) measured physical information in the context of natural laws. High information storage capacity is most reliably implemented by discrete linear sequences of non-dynamic vehicles, while the execution of information for control and construction is a non-holonomic dynamic process. The first epistemic cut occurs in self-replication. The first interpretation of base sequence information is by protein folding; the last interpretation of base sequence information is by natural selection. Evolution has evolved senses and nervous systems that acquire non-heritable information, and only very recently after billions of years, the competence for human language. Genetic and human languages are the only known complete general purpose languages. They have fundamental properties in common, but are entirely different in their acquisition, storage and interpretation. (shrink)

The account of natural kinds as stable property clusters is premised on the possibility of separating the epistemic value of natural kinds from their underlying metaphysics. On that account, the co-instantiation of any sub-cluster of the properties associated with a given natural kind raises the probability of the co-instantiation of the rest, and this clustering of property instantiation is invariant under all relevant counterfactual perturbations. We argue that it is not possible to evaluate the stability of a cluster (...) of properties without taking stock of the metaphysical picture used to account for that stability. Thus, even on the stable property cluster account, the epistemic value of natural kinds remains partly grounded in their metaphysical status. (shrink)

in a nervous system of a given species. This chapter provides a critical perspective on the role of connectomes in neuroscientific practice and asks how the connectomic approach fits into a larger context in which network thinking permeates technology, infrastructure, social life, and the economy. In the first part of this chapter, we argue that, seen from the perspective of ongoing research, the notion of connectomes as “complete descriptions” is misguided. Our argument combines Rachel Ankeny’s analysis of neuroanatomical wiring diagrams (...) as “descriptive models” with Hans-Joerg Rheinberger’s notion of “epistemic objects,” i.e., targets of research that are still partially unknown. Combining these aspects we conclude that connectomes are constitutively epistemic objects: there just is no way to turn them into permanent and complete technical standards because the possibilities to map connection properties under different modeling assumptions are potentially inexhaustible. In the second part of the chapter, we use this understanding of connectomes as constitutively epistemic objects in order to critically assess the historical and political dimensions of current neuroscientific research. We argue that connectomics shows how the notion of the “brain as a network” has become the dominant metaphor of contemporary brain research. We further point out that this metaphor shares (potentially problematic) affinities to the form of contemporary “network societies.” We close by pointing out how the relation between connectomes and networks in society could be used in a more fruitful manner. (shrink)

Epistemology and epistemic logic At first sight, the modern agenda of epistemology has little to do with logic. Topics include different definitions of knowledge, its basic formal properties, debates between externalist and internalist positions, and above all: perennial encounters with sceptics lurking behind every street corner, especially in the US. The entry 'Epistemology' in the Routledge Encyclopedia of Philosophy (Klein 1993) and the anthology (Kim and Sosa 2000) give an up-to-date impression of the field. Now, epistemic logic (...) started as a contribution to epistemology, or at least a tool in its modus operandi, with the seminal book Knowledge and Belief (Hintikka's 1962, 2005). Formulas like Ki for "the agent i knows that " Bi for "the agent i believes that " provided logical forms for stating and analyzing philosophical propositions and arguments. And more than that, their model-theoretic semantics in terms of ranges of alternatives provided an appealing extensional way of thinking about what agents know or believe in a given situation. In particular, on Hintikka's view, an agent knows those propositions which are true in all situations compatible with what she knows about the actual world; i.e., her current range of uncertainty. (shrink)

This paper defends the naïve thesis that the method of experiment has per se an epistemic superiority over the method of computer simulation, a view that has been rejected by some philosophers writing about simulation, and whose grounds have been hard to pin down by its defenders. I further argue that this superiority does not come from the experiment’s object being materially similar to the target in the world that the investigator is trying to learn about, as both sides (...) of dispute over the epistemic superiority thesis have assumed. The superiority depends on features of the question and on a property of natural kinds that has been mistaken for material similarity. Seeing this requires holding other things equal in the comparison of the two methods, thereby exposing that, under the conditions that will be specified, the simulation is necessarily epistemically one step behind the corresponding experiment. Practical constraints like feasibility and morality mean that scientists do not often face an other-things- equal comparison when they choose between experiment and simulation. Nevertheless, I argue, awareness of this superiority and of the general distinction between experiment and simulation is important for maintaining motivation to seek answers to new questions. (shrink)