According to our folk theory of lying, liars leak observable cues of their insincerity, observable cues that make it easy to catch a liar in real time. Various prominent social epistemologists rely on the correctness of our folk theory as empirically well-confirmed when building their normative accounts of the epistemology of testimony. Deception detection research in communication studies, however, has shown that our folk-theory is mistaken. It is not empirically well-confirmed but empirically refuted. Michaelian (2010) and Shieber (2012) have already (...) discussed some of this literature and its relevance for epistemology, especially for the most worked out reliance on our folk theory by Elizabeth Fricker (1994, 2016, 2017a, 2024). Fricker (2016) raises a reasonable objection to their presentations of the research: is the research ecologically valid? Do the experiments in the lab carry over to real life? This chapter conveys the methodology of the research, defends its ecological validity, and addresses further research on the nature and frequency of lies in ordinary life. Social epistemologists stand to gain from understanding the nuts and bolts of deception detection research and its findings. The chapter concludes with a detailed examination of Fricker’s relilance on folk theory in her “local reductionist” epistemology of testimony. Further areas of research relevant to social epistemology are listed. (shrink)

Not only the direct physical experiences of deployment can severely harm soldiers’ mental health. Witnessing violations of their moral principles by the enemy, or by their fellow soldiers and superiors, can also have a devastating impact. It can cause soldiers’ moral disorientation, increasing feelings of shame, guilt, or hate, and the need for general answers on questions of right and wrong. Various attempts have been made to keep soldiers mentally sane. One is to provide convincing causes for their deployment, which (...) risks an “end justifies the means” way of thinking. The good cause can provide a moral justification for horrible atrocities. Another method, introduced in the USA, Canada, and Australia, aims to strengthen military personnel’s resistance by promoting and maintaining a happy, optimistic state of mind through the use of positive psychology. Alongside making soldiers “morally fit” for all kinds of situations, the focus could also be on moral recovery and forgiveness. Such a care-based military ethics approach, aimed at mutual understanding and interdependence, could help soldiers handle the emotional impact of moral conflicts. This demands that military units reflect on their organizational culture and rethink oaths and codes of conduct that focus mainly on efficiency and readiness, as well as the soldierly self-image with its seemingly still deeply rooted warrior ethos. Today, resilience and positive psychology in the military is apparently mainly geared to assuring its soldiers’ readiness. An appropriate set of virtues and understanding of virtue ethics that are less centered on self-perfection and autonomy could point to a different form of character-building and lead to a better understanding of others. (shrink)

The JSTOR Archive is a trusted digital repository providing for long-term preservation and access to leading academic journals and scholarly literature from around the world. The Archive is supported by libraries, scholarly societies, publishers, and foundations. It is an initiative of JSTOR, a not-for-profit organization with a mission to help the scholarly community take advantage of advances in technology. For more information regarding JSTOR, please contact [email protected].

Peter Ludlow presents the first book on the philosophy of generative linguistics, including both Chomsky's government and binding theory and his minimalist ...

You don't say much about who you are teaching, or what subject you teach, but you do seem to see a need to justify what you are doing. Perhaps you're teaching underprivileged children, opening their minds to possibilities that might otherwise never have occurred to them. Or maybe you're teaching the children of affluent families and opening their eyes to the big moral issues they will face in life — like global poverty, and climate change. If you're doing something like (...) this, then stick with it. Giving money isn't the only way to make a difference. (shrink)

When is it (epistemically) rational to suspend judgment on a proposition? Before addressing this question, one has to clarify what suspension of judgment (in short: suspension) is and establish rationality standards for the attitudes that constitute suspension. Ideally, suspending can be reduced to attitudes for which one already has established rationality standards. This paper distinguishes two kinds of suspension, weak and strong, and offers a reductionist account of suspension based on credence. However, it does not reduce suspension to credence alone (...) but takes a higher-order perspective on credence into account. Other doxastic attitudes such as belief and doubtful belief are also reexamined and defined in the light of this higher-order perspective. (shrink)

Reductionism about testimony holds that testimonial warrant or entitlement is just a species of inductive warrant. Anti-Reductionism holds that it is different from inductive but analogous to perceptual or memorial warrant. Perception receives much of its positive epistemic status from being reliably truthconducive in normal conditions. One reason to reject the epistemic analogy is that testimony involves agency – it goes through the will of the speaker – but perception does not. A speaker might always choose to lie or otherwise (...) deliberately mislead. It is argued that the force of this derives (in part) from Libertarianism about agency, and that Libertarianism, if it undermines the Anti-Reductionist explanation of why we are entitled to rely upon testimony, undermines the Reductionist explanation as.. (shrink)

Experience clearly suggests that most legal philosophers and ethicists are not surprised to be told that liberal states cannot permissibly prohibit same-sex marriage (henceforth: SSM). It is somewhat less clear just what the appropriate liberal strategy is and should be in defense of this thesis. Rather than try to defend SSM directly, I shall proceed indirectly by arguing that SSM prohibitions are indefensible on liberal grounds. Initially, I shall consider what I take to be the most powerful liberal argument against (...) SSM prohibitions and account for my reservations about it. Then, I shall propose an alternative argument with roots in constitutional law that since SSM prohibitions do not survive liberal scrutiny, they must be rejected. (shrink)

We argue that Graziano and Kastner are mistaken to claim that neglect favors their self-directed social perception account of consciousness. For the latter should not predict that neglect would result from damage to mechanisms of social perception. Neglect is better explained in terms of damage to attentional mechanisms.

Abū Bakr al-Rāzī (d. 925), a doctor known not only for his medical expertise but also for his notorious philosophical ideas, has not yet been given due credit for his ideas on the ethical treatment of animals. This paper explores the philosophical and theological background of his remarks on animal welfare, arguing that al-Rāzī did not (as has been claimed) see animals as possessing rational, intellectual souls like those of humans. It is also argued that al-Rāzī probably did not, as (...) is usually believed, endorse human-animal transmigration. His ethical stance does not in any case depend on shared characteristics of humans and animals, but rather on the need to imitate God’s providence and mercy. (shrink)

The relationship of part to whole is one of the most fundamental there is; this is the first and only full-length study of this concept. This book shows that mereology, the formal theory of part and whole, is essential to ontology. Peter Simons surveys and criticizes previous theories, especially the standard extensional view, and proposes a more adequate account which encompasses both temporal and modal considerations in detail. 'Parts could easily be the standard book on mereology for the next (...) twenty or thirty years.' Timothy Williamson, Grazer Philosophische Studien. (shrink)

Peter Ludlow shows how word meanings are much more dynamic than we might have supposed, and explores how they are modulated even during everyday conversation. The resulting view is radical, and has far-reaching consequences for our political and legal discourse, and for enduring puzzles in the foundations of semantics, epistemology, and logic.

This chapter provides an introduction to higher-order metaphysics as well as to the contributions to this volume. We discuss five topics, corresponding to the five parts of this volume, and summarize the contributions to each part. First, we motivate the usefulness of higher-order quantification in metaphysics using a number of examples, and discuss the question of how such quantifiers should be interpreted. We provide a brief introduction to the most common forms of higher-order logics used in metaphysics, and indicate a (...) number of questions which can be raised in such systems using logical vocabulary alone. Using a further example, we return to applications of higher-order logics in metaphysics. We also mention key developments in the history of higher-order logic as it pertains to metaphysics. Finally, we mention certain arguments which have been raised against the use of higher-order logic, and some ways of responding to them. (shrink)

Accounts of the concepts of function and dysfunction have not adequately explained what factors determine the line between low‐normal function and dysfunction. I call the challenge of doing so the line‐drawing problem. Previous approaches emphasize facts involving the action of natural selection (Wakefield 1992a, 1999a, 1999b) or the statistical distribution of levels of functioning in the current population (Boorse 1977, 1997). I point out limitations of these two approaches and present a solution to the line‐drawing problem that builds on the (...) second one. (shrink)

The origin and absurdity of the Religious Right's Culture Wars and why they should call them off.

When do two sentences say the same thing, that is, express the same content? We defend two-component (2C) semantics: the view that propositional contents comprise (at least) two irreducibly distinct constituents: (1) truth-conditions and (2) subject-matter. We contrast 2C with one-component (1C) semantics, focusing on the view that subject-matter is reducible to truth-conditions. We identify exponents of this view and argue in favor of 2C. An appendix proposes a general formal template for propositional 2C semantics.

Recently, philosophers have appealed to empirical studies to argue that whenever we think that p, we automatically believe that p (Millikan 2004; Mandelbaum 2014; Levy and Mandelbaum 2014). Levy and Mandelbaum (2014) have gone further and claimed that the automaticity of believing has implications for the ethics of belief in that it creates epistemic obligations for those who know about their automatic belief acquisition. I use theoretical considerations and psychological findings to raise doubts about the empirical case for the view (...) that we automatically believe what we think. Furthermore, I contend that even if we set these doubts aside, Levy and Mandelbaum’s argument to the effect that the automaticity of believing creates epistemic obligations is not fully convincing. (shrink)

Children from various countries have been acknowledged and studied for their ability to philosophize, while, unfortunately, Filipino children have not received similar recognition. In this paper, I make a rather unpopular claim that Filipino children can and already are doing philosophy in their efforts to make sense of their existential conditions. “Doing philosophy” here refers to the act of being perplexed by one's own or other people's experiences and making an effort to comprehend them. Filipino children, are a vast and (...) diverse group, coming from various backgrounds, speaking different or even multiple languages, and representing rich cultures and unique circumstances. This diversity adds richness to the wide array of experiences from which existential questions can emerge. However, to truly comprehend the philosophical thinking of Filipino children, they need opportunities and guidance to explore their existential questions and solutions, regardless of how tentative or rudimentary these may seem to adults. Without such opportunities, it remains unclear to what extent their thinking engages with philosophical themes and issues. This not only offers Filipino adults a view of children’s inner worlds but also brings fresh perspectives to commonly held assumptions. (shrink)

ABSTRACTThis article offers a novel sceptical argument that the sensitivity-contextualist must say is sound; moreover, she must say that the conclusion of this argument is true at ordinary standards. The view under scrutiny has it that in different contexts knowledge-attributing sentences express different propositions, propositions which differ in the stretch of worlds across which the subject is required to track the truth. I identify the underlying reason for the sceptical result and argue that it makes sensitivity-contextualism irremediably flawed. Contextualists, I (...) conclude, should abandon sensitivity for some other piece of epistemic machinery. (shrink)

We explore some possibilities for developing epistemic logic using truthmaker semantics. We identify three possible targets of analysis for the epistemic logician. We then list some candidate epistemic principles and review the arguments that render some controversial. We then present the classic Hintikkan approach to epistemic logic and note—as per the ‘problem of logical omniscience’—that it validates all of the aforementioned principles, controversial or otherwise. We then lay out a truthmaker framework in the style of Kit Fine and present six (...) different ways of extending this semantics with a conditional knowledge operator, drawing on notions of implication and content that are prominent in Fine’s work. We demonstrate that different logics are thereby generated, bearing on the aforementioned epistemic principles. Finally, we offer preliminary observations about the prospects for each logic. (shrink)

This book explores the idea that all of logic can be reduced to two very simple rules that are sensitive to logical polarity. The authors show that this idea has profound consequences for our understanding of the nature of human inferential capacities, and for some of the key issues in contemporary linguistics.

Expressivists about epistemic modals deny that ‘Jane might be late’ canonically serves to express the speaker’s acceptance of a certain propositional content. Instead, they hold that it expresses a lack of acceptance. Prominent expressivists embrace pragmatic expressivism: the doxastic property expressed by a declarative is not helpfully identified with that sentence’s compositional semantic value. Against this, we defend semantic expressivism about epistemic modals: the semantic value of a declarative from this domain is the property of doxastic attitudes it canonically serves (...) to express. In support, we synthesize data from the critical literature on expressivism—largely reflecting interactions between modals and disjunctions—and present a semantic expressivism that readily predicts the data. This contrasts with salient competitors, including: pragmatic expressivism based on domain semantics or dynamic semantics; semantic expressivism à la Moss [2015]; and the bounded relational semantics of Mandelkern [2019]. (shrink)

Bayesianism can be characterized as the following twofold position: (i) rational credences obey the probability calculus; (ii) rational learning, i.e., the updating of credences, is regulated by some form of conditionalization. While the formal aspect of various forms of conditionalization has been explored in detail, the philosophical application to learning from experience is still deeply problematic. Some philosophers have proposed to revise the epistemology of perception; others have provided new formal accounts of conditionalization that are more in line with how (...) we learn from perceptual experience. The current investigation argues that Bayesian epistemology is still incomplete; the epistemology of perception and the epistemology of rational reasoning have not been reconciled. (shrink)

In her last known piece of work Lady Mary Shepherd’s Metaphysics (1832), Mary Shepherd writes that “mind, may inhere in definite portions of matter […] or of infinite space” (LMSM 699). Shepherd thus suggests that a mind – a “capacity for sensation in general” (e.g., EPEU 16) – may have a spatial location. This is prima facie surprising given that she is committed to the view that the mind is unextended. In this paper, we argue that Shepherd can consistently honor (...) both of these commitments. We argue, first, that even though finite minds, due to their unextendedness cannot, to use Shepherd’s term, ‘occupy’ space as material bodies do, such minds can nonetheless be said to have a spatial location in virtue of what we call their presence, or what Shepherd calls ‘inherence’, in a material body. Second, we argue that, in a similar way, the divine mind is present throughout the whole of space and is thus omnipresent. We then argue that, in contrast to finite minds, the divine mind does not require a body to be present in space. Rather, we contend, God’s omnipresence might be best understood in a ‘holenmerist’ sense, where the divine mind is wholly present in every part of creation. (shrink)

This paper argues that early modern experimental philosophy emerged as the dominant member of a pair of methods in natural philosophy, the speculative versus the experimental, and that this pairing derives from an overarching distinction between speculative and operative philosophy that can be ultimately traced back to Aristotle. The paper examines the traditional classification of natural philosophy as a speculative discipline from the Stagirite to the seventeenth century; medieval and early modern attempts to articulate a scientia experimentalis; and the tensions (...) in the classification of natural magic and mechanics that led to the introduction of an operative part of natural philosophy in the writings of Francis Bacon and John Johnston. The paper concludes with a summary of the salient discontinuities between the experimental/speculative distinction of the mid-seventeenth century and its predecessors and a statement of the developments that led to the ascendance of experimental philosophy from the 1660s. (shrink)

Fitelson (1999) demonstrates that the validity of various arguments within Bayesian confirmation theory depends on which confirmation measure is adopted. The present paper adds to the results set out in Fitelson (1999), expanding on them in two principal respects. First, it considers more confirmation measures. Second, it shows that there are important arguments within Bayesian confirmation theory and that there is no confirmation measure that renders them all valid. Finally, the paper reviews the ramifications that this "strengthened problem of measure (...) sensitivity" has for Bayesian confirmation theory and discusses whether it points at pluralism about notions of confirmation. (shrink)

Jennifer Lackey ('Testimonial Knowledge and Transmission' The Philosophical Quarterly 1999) and Peter Graham ('Conveying Information, Synthese 2000, 'Transferring Knowledge' Nous 2000) offered counterexamples to show that a hearer can acquire knowledge that P from a speaker who asserts that P, but the speaker does not know that P. These examples suggest testimony can generate knowledge. The showpiece of Lackey's examples is the Schoolteacher case. This paper shows that Lackey's case does not undermine the orthodox view that testimony cannot generate (...) knowledge. This paper explains why Lackey's arguments to the contrary are ineffective for they misunderstand the intuitive rationale for the view that testimony cannot generate knowledge. This paper then elaborates on a version of the case from Graham's paper 'Conveying Information' (the Fossil case) that effectively shows that testimony can generate knowledge. This paper then provides a deeper informative explanation for how it is that testimony transfers knowledge, and why there should be cases where testimony generates knowledge. (shrink)

Martine Nida-Rümelin (1996) argues that color science indicates behaviorally undetectable spectrum inversion is possible and raises this possibility as an objection to functionalist accounts of visual states of color. I show that her argument does not rest solely on color science, but also on a philosophically controversial assumption, namely, that visual states of color supervene on physiological states. However, this assumption, on the part of philosophers or vision scientists, has the effect of simply ruling out certain versions of functionalism. While (...) Nida-Rümelin is quite right to search for empirical tests for claims about the nature of visual states, philosophical issues remain pivotal in determining the correctness of these claims. (shrink)

Confirmation bias is one of the most widely discussed epistemically problematic cognitions, challenging reliable belief formation and the correction of inaccurate views. Given its problematic nature, it remains unclear why the bias evolved and is still with us today. To offer an explanation, several philosophers and scientists have argued that the bias is in fact adaptive. I critically discuss three recent proposals of this kind before developing a novel alternative, what I call the ‘reality-matching account’. According to the account, confirmation (...) bias evolved because it helps us influence people and social structures so that they come to match our beliefs about them. This can result in significant developmental and epistemic benefits for us and other people, ensuring that over time we don’t become epistemically disconnected from social reality but can navigate it more easily. While that might not be the only evolved function of confirmation bias, it is an important one that has so far been neglected in the theorizing on the bias. (shrink)

You may not know me well enough to evaluate me in terms of my moral character, but I take it you believe I can be evaluated: it sounds strange to say that I am indeterminate, neither good nor bad nor intermediate. Yet I argue that the claim that most people are indeterminate is the conclusion of a sound argument—the indeterminacy paradox—with two premises: (1) most people are fragmented (they would behave deplorably in many and admirably in many other situations); (2) (...) fragmentation entails indeterminacy. I support (1) by examining psychological experiments in which most participants behave deplorably (e.g., by maltreating “prisoners” in a simulated prison) or admirably (e.g., by intervening in a simulated theft). I support (2) by arguing that, according to certain plausible conceptions, character evaluations presuppose behavioral consistency (lack of fragmentation). Possible reactions to the paradox include: (a) denying that the experiments are relevant to character; (b) upholding conceptions according to which character evaluations do not presuppose consistency; (c) granting that most people are indeterminate and explaining why it appears otherwise. I defend (c) against (a) and (b). (shrink)

I defend the following version of the ought-implies-can principle: (OIC) by virtue of conceptual necessity, an agent at a given time has an (objective, pro tanto) obligation to do only what the agent at that time has the ability and opportunity to do. In short, obligations correspond to ability plus opportunity. My argument has three premises: (1) obligations correspond to reasons for action; (2) reasons for action correspond to potential actions; (3) potential actions correspond to ability plus opportunity. In the (...) bulk of the paper I address six objections to OIC: three objections based on putative counterexamples, and three objections based on arguments to the effect that OIC conflicts with the is/ought thesis, the possibility of hard determinism, and the denial of the Principle of Alternate Possibilities. (shrink)

Imperatives cannot be true or false, so they are shunned by logicians. And yet imperatives can be combined by logical connectives: "kiss me and hug me" is the conjunction of "kiss me" with "hug me". This example may suggest that declarative and imperative logic are isomorphic: just as the conjunction of two declaratives is true exactly if both conjuncts are true, the conjunction of two imperatives is satisfied exactly if both conjuncts are satisfied—what more is there to say? Much more, (...) I argue. "If you love me, kiss me", a conditional imperative, mixes a declarative antecedent ("you love me") with an imperative consequent ("kiss me"); it is satisfied if you love and kiss me, violated if you love but don't kiss me, and avoided if you don't love me. So we need a logic of three -valued imperatives which mixes declaratives with imperatives. I develop such a logic. (shrink)

This article reconsiders the early hominid ‘‘lithic niche’’ by examining the social implications of stone artifact making. I reject the idea that making tools for use is an adequate explanation of the elaborate artifact forms of the Lower Palaeolithic, or a sufficient cause for long-term trends in hominid technology. I then advance an alternative mechanism founded on the claim that competency in making stone artifacts requires extended learning, and that excellence in artifact making is attained only by highly skilled individuals (...) who have been taught and practiced for extensive periods. Consequently both competency and expertise in knapping comes at a high learning cost for both the individual learner and the social group to which they belong. Those high intrinsic costs of learning created contexts in which groups selected cost-reducing forms of social learning and teaching, and in which specialization could develop. Artifacts and their manufacturing processes probably acquired functions as social signals—as honest signals of valuable capacities. The magnification of these signals, through competition between knappers and through inspiring later craftspeople, may account for a substantial amount of the accumulated elaboration visible in the archaeological record. Consequently lithic artifacts operated as material symbols from an early time in hominid evolution. (shrink)

The systems studied in the special sciences are often said to be causally autonomous, in the sense that their higher-level properties have causal powers that are independent of the causal powers of their more basic physical properties. This view was espoused by the British emergentists, who claimed that systems achieving a certain level of organizational complexity have distinctive causal powers that emerge from their constituent elements but do not derive from them. More recently, non-reductive physicalists have espoused a similar view (...) about the causal autonomy of special-science properties. They argue that since these properties can typically have multiple physical realizations, they are not identical to physical properties, and further they possess causal powers that differ from those of their physical realisers. Despite the orthodoxy of this view, it is hard to find a clear exposition of its meaning or a defence of it in terms of a well-motivated account of causation. In this paper, we aim to address this gap in the literature by clarifying what is implied by the doctrine of the causal autonomy of special-science properties and by defending the doctrine using a prominent theory of causation from the philosophy of science. (shrink)

Many artificial intelligence (AI) systems currently used for decision-making are opaque, i.e., the internal factors that determine their decisions are not fully known to people due to the systems’ computational complexity. In response to this problem, several researchers have argued that human decision-making is equally opaque and since simplifying, reason-giving explanations (rather than exhaustive causal accounts) of a decision are typically viewed as sufficient in the human case, the same should hold for algorithmic decision-making. Here, I contend that this argument (...) overlooks that human decision-making is sometimes significantly more transparent and trustworthy than algorithmic decision-making. This is because when people explain their decisions by giving reasons for them, this frequently prompts those giving the reasons to govern or regulate themselves so as to think and act in ways that confirm their reason reports. AI explanation systems lack this self-regulative feature. Overlooking it when comparing algorithmic and human decision-making can result in underestimations of the transparency of human decision-making and in the development of explainable AI that may mislead people by activating generally warranted beliefs about the regulative dimension of reason-giving. (shrink)

Why does classical equilibrium statistical mechanics work? Malament and Zabell (1980) noticed that, for ergodic dynamical systems, the unique absolutely continuous invariant probability measure is the microcanonical. Earman and Rédei (1996) replied that systems of interest are very probably not ergodic, so that absolutely continuous invariant probability measures very distant from the microcanonical exist. In response I define the generalized properties of epsilon-ergodicity and epsilon-continuity, I review computational evidence indicating that systems of interest are epsilon-ergodic, I adapt Malament and Zabell’s (...) defense of absolute continuity to support epsilon-continuity, and I prove that, for epsilon-ergodic systems, every epsilon-continuous invariant probability measure is very close to the microcanonical. (shrink)

The English language now dominates scientific communications. Yet, many scientists have English as their second language. Their English proficiency may therefore often be more limited than that of a ‘native speaker’, and their scientific contributions (e.g. manuscripts) in English may frequently contain linguistic features that disrupt the fluency of a reader’s, or listener’s information processing even when the contributions are understandable. Scientific gatekeepers (e.g. journal reviewers) sometimes cite these features to justify negative decisions on manuscripts. Such justifications may rest on (...) the prima facie plausible assumption that linguistic characteristics that hinder fast and easy understandability of scientific contributions are epistemically undesirable in science. I shall raise some doubts about this assumption by drawing on empirical research on processing fluency and its biasing effects. I also argue that directing scientists with English as a foreign language toward approaching ‘native-level’ English can have the negative consequence of reducing their potential to make scientific belief formation more reliable. These points suggest that one seemingly compelling justification for linguistically discriminating against scientific contributions in ‘non-native’ English is questionable and that the common insistence by scientific gatekeepers on ‘native-like’ English may be epistemically harmful to science. (shrink)

Epistemic two-dimensional semantics is a theory in the philosophy of language that provides an account of meaning which is sensitive to the distinction between necessity and apriority. While this theory is usually presented in an informal manner, I take some steps in formalizing it in this paper. To do so, I define a semantics for a propositional modal logic with operators for the modalities of necessity, actuality, and apriority that captures the relevant ideas of epistemic two-dimensional semantics. I also describe (...) some properties of the logic that are interesting from a philosophical perspective, and apply it to the so-called nesting problem. (shrink)

We present a formal semantics for epistemic logic, capturing the notion of knowability relative to information (KRI). Like Dretske, we move from the platitude that what an agent can know depends on her (empirical) information. We treat operators of the form K_AB (‘B is knowable on the basis of information A’) as variably strict quantifiers over worlds with a topic- or aboutness- preservation constraint. Variable strictness models the non-monotonicity of knowledge acquisition while allowing knowledge to be intrinsically stable. Aboutness-preservation models (...) the topic-sensitivity of information, allowing us to invalidate controversial forms of epistemic closure while validating less controversial ones. Thus, unlike the standard modal framework for epistemic logic, KRI accommodates plausible approaches to the Kripke-Harman dogmatism paradox, which bear on non-monotonicity, or on topic-sensitivity. KRI also strikes a better balance between agent idealization and a non-trivial logic of knowledge ascriptions. (shrink)

We propose a solution to the problem of logical omniscience in what we take to be its fundamental version: as concerning arbitrary agents and the knowledge attitude per se. Our logic of knowledge is a spin-off from a general theory of thick content, whereby the content of a sentence has two components: an intension, taking care of truth conditions; and a topic, taking care of subject matter. We present a list of plausible logical validities and invalidities for the logic of (...) knowledge per se for arbitrary agents, and isolate three explanatory factors for them: the topic-sensitivity of content; the fragmentation of knowledge states; the defeasibility of knowledge acquisition. We then present a novel dynamic epistemic logic that yields precisely the desired validities and invalidities, for which we provide expressivity and completeness results. We contrast this with related systems and address possible objections. (shrink)

This paper is concerned with a propositional modal logic with operators for necessity, actuality and apriority. The logic is characterized by a class of relational structures defined according to ideas of epistemic two-dimensional semantics, and can therefore be seen as formalizing the relations between necessity, actuality and apriority according to epistemic two-dimensional semantics. We can ask whether this logic is correct, in the sense that its theorems are all and only the informally valid formulas. This paper gives outlines of two (...) arguments that jointly show that this is the case. The first is intended to show that the logic is informally sound, in the sense that all of its theorems are informally valid. The second is intended to show that it is informally complete, in the sense that all informal validities are among its theorems. In order to give these arguments, a number of independently interesting results concerning the logic are proven. In particular, the soundness and completeness of two proof systems with respect to the semantics is proven (Theorems 2.11 and 2.15), as well as a normal form theorem (Theorem 3.2), an elimination theorem for the actuality operator (Corollary 3.6), and the decidability of the logic (Corollary 3.7). It turns out that the logic invalidates a plausible principle concerning the interaction of apriority and necessity; consequently, a variant semantics is briefly explored on which this principle is valid. The paper concludes by assessing the implications of these results for epistemic two-dimensional semantics. (shrink)