Let us call dispositional monism the view that all natural properties have their identities fixed purely by their dispositional features, that is, by the patterns of stimulus and response in which they participate. DM implies that natural properties are pure powers: things whose natures are fully identified by their roles in determining the potentialities of events to cause or be caused. As pure powers, properties are meant to lack quiddities in Black's sense. A property possesses a quiddity just in case (...) its identity is fixed by something independent of the causal–nomological roles it may enter into. Paradigmatically, a categorical property is thought of as a property whose identity is fixed by a quiddity .The key question about the viability of DM as a theory of properties is how properties can be pure powers devoid of any quiddity. Bird provides an answer. According to Bird , ‘all there is to a property is a matter of second-order relations to other properties’. The second-order relation is just the relation that a disposition, its stimulus condition, and a manifestation condition bear to each other. Call this relation SR. SR is not causation or physical necessitation. The latter relations are first-order relations between concrete events. SR is a second-order relation. Its possession by properties explains why events featuring those properties can enter into certain first-order relations of causation or necessitation.Bird's thought then is this: the sense in which properties have their identities fixed purely by their causal–nomological roles is that they are relationally constituted, where the relation doing the constituting is SR. 1 This thesis of relational constitution does not imply that natural properties are themselves relations. Nothing prevents the identity …. (shrink)

PLEASE NOTE: This is the corrected 2nd eBook edition, 2021. ●●●●● _Critique of Impure Reason_ has now also been published in a printed edition. To reduce the otherwise high price of this scholarly, technical book of nearly 900 pages and make it more widely available beyond university libraries to individual readers, the non-profit publisher and the author have agreed to issue the printed edition at cost. ●●●●● The printed edition was released on September 1, 2021 and is now available through (...) all booksellers, including Barnes & Noble, Amazon, and brick-and-mortar bookstores under ISBN 978-0-578-88646-6. ●●●●● In light of the length of this book, readers who would like to have a more detailed description of the book's objectives and method may find it helpful to read the detailed and clearly written Wikipedia entry about this work: From the Wikipedia search page, use the search phrase "Critique of Impure Reason". At least at the time of this writing (11/29/2021), the Wikipedia entry is well-researched and accurate. ●●●●● In addition, a "Primer on Bartlett's CRITIQUE OF IMPURE REASON" has been made available by the author. It is available under its title through PhilPapers and other philosophy online archives. ●●●●● COMMENDATIONS OF THIS WORK, from the back cover of the published edition: ●●●●● “I admire its range of philosophical vision.” – Nicholas Rescher, Distinguished University Professor of Philosophy, University of Pittsburgh, author of more than 100 books. ●●●●● “Bartlett’s _Critique of Impure Reason_ is an impressive, bold, and ambitious work. Careful scholarship is balanced by original analyses that lead the reader to recognize the limits of meaning, knowledge, and conceptual possibility. The work addresses a host of traditional philosophical problems, among them the nature of space, time, causality, consciousness, the self, other minds, ontology, free will and determinism, and others. The book culminates in a fascinating and profound new understanding of relativity physics and quantum theory.” – Gerhard Preyer, Professor of Philosophy, Goethe-University, Frankfurt am Main, Germany, author of many books including _Concepts of Meaning_, _Beyond Semantics and Pragmatics_, _Intention and Practical Thought_, and _Contextualism in Philosophy_. ●●●●● “[This work’s] goal is of a unique and difficult species: Dr. Bartlett seeks to develop a formal logical calculus on the basis of transcendental philosophical arguments; in fact, he hopes that this calculus will be the formal expression of the transcendental foundation of knowledge.... I consider Dr. Bartlett’s work soundly conceived and executed with great skill.” – C. F. von Weizsäcker, philosopher and physicist, former Director, Max-Planck-Institute, Starnberg, Germany. ●●●●● “Bartlett has written an American “Prolegomena to All Future Metaphysics.” He aims rigorously to eliminate meaningless assertions, reach bedrock, and place philosophy on a firm foundation that will enable it, like science and mathematics, to produce lasting results that generations to come can build on. This is a great book, the fruit of a lifetime of research and reflection, and it deserves serious attention.” — Martin X. Moleski, former Professor, Canisius College, Buffalo, NY, studies of scientific method, the presuppositions of thought, and the self-referential nature of epistemology. ●●●●● “Bartlett has written a book on what might be called the underpinnings of philosophy. It has fascinating depth and breadth, and is all the more striking due to its unifying perspective based on the concepts of reference and self-reference.” – Don Perlis, Professor of Computer Science, University of Maryland, author of numerous publications on self-adjusting autonomous systems and philosophical issues concerning self-reference, mind, and consciousness. ●●●●● ●●●●● The _Critique of Impure Reason: Horizons of Possibility and Meaning_ comprises a major and important contribution to philosophy. Thanks to the generosity of its publisher, this massive 885-page volume has been published as a free open access eBook (3.75MB) as well as an open access printed edition. It inaugurates a revolutionary paradigm shift in philosophical thought by providing compelling and long-sought-for solutions to a wide range of philosophical problems. In the process, the work fundamentally transforms the way in which the concepts of reference, meaning, and possibility are understood. The book includes a Foreword by the celebrated German philosopher and physicist Carl Friedrich von Weizsäcker. ●●●●● In Kant’s _Critique of Pure Reason_ we find an analysis of the preconditions of experience and of knowledge. In contrast, but yet in parallel, the new _Critique_ focuses upon the ways—unfortunately very widespread and often unselfconsciously habitual—in which many of the concepts that we employ _conflict_ with the very preconditions of meaning and of knowledge. ●●●●● This is a book about the boundaries of frameworks and about the unrecognized conceptual confusions in which we become entangled when we attempt to transgress beyond the limits of the possible and meaningful. We tend either not to recognize or not to accept that we all-too-often attempt to trespass beyond the boundaries of the frameworks that make knowledge possible and the world meaningful. ●●●●● The _Critique of Impure Reason_ proposes a bold, ground-breaking, and startling thesis: that a great many of the major philosophical problems of the past can be solved through the recognition of a viciously deceptive form of thinking to which philosophers as well as non-philosophers commonly fall victim. For the first time, the book advances and justifies the criticism that a substantial number of the questions that have occupied philosophers fall into the category of “impure reason,” violating the very conditions of their possible meaningfulness. ●●●●● The purpose of the study 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. As a consequence, the boundaries of _possible meaning_ are determined. ●●●●● Bartlett, the author or editor of more than 20 books, is responsible for identifying this widespread and delusion-inducing variety of error, _metalogical projection_. It is a previously unrecognized and insidious form of erroneous thinking that undermines its own possibility of meaning. It comes about as a result of the pervasive human compulsion to seek to transcend the limits of possible reference and meaning. ●●●●● Based on original research and rigorous analysis combined with extensive scholarship, the _Critique of Impure Reason_ develops a self-validating method that makes it possible to recognize, correct, and eliminate this major and pervasive form of fallacious thinking. In so doing, the book provides at last provable and constructive solutions to a wide range of major philosophical problems. ●●●●● CONTENTS AT A GLANCE ▪▪▪▪▪ Preface ▪▪▪▪▪ Foreword by Carl Friedrich von Weizsäcker ▪▪▪▪▪ Acknowledgments ▪▪▪▪▪ Avant-propos: A philosopher’s rallying call ▪▪▪▪▪ Introduction ▪▪▪▪▪ A note to the reader ▪▪▪▪▪ A note on conventions ▪▪▪▪▪ ▪▪▪▪▪ ▪▪▪▪▪ PART I ▪▪▪▪▪ ▪▪▪▪▪ WHY PHILOSOPHY HAS MADE NO PROGRESS AND HOW IT CAN ▪▪▪▪▪ 1 Philosophical-psychological prelude ▪▪▪▪▪ 2 Putting belief in its place: Its psychology and a needed polemic ▪▪▪▪▪ 3 Turning away from the linguistic turn: From theory of reference to metalogic of reference ▪▪▪▪▪ 4 The stepladder to maximum theoretical generality ▪▪▪▪▪ ▪▪▪▪▪ ▪▪▪▪▪ PART II ▪▪▪▪▪ THE METALOGIC OF REFERENCE ▪▪▪▪▪ A New Approach to Deductive, Transcendental Philosophy ▪▪▪▪▪ 5 Reference, identity, and identification ▪▪▪▪▪ 6 Self-referential argument and the metalogic of reference ▪▪▪▪▪ 7 Possibility theory ▪▪▪▪▪ 8 Presupposition logic, reference, and identification ▪▪▪▪▪ 9 Transcendental argumentation and the metalogic of reference ▪▪▪▪▪ 10 Framework relativity ▪▪▪▪▪ 11 The metalogic of meaning ▪▪▪▪▪ 12 The problem of putative meaning and the logic of meaninglessness ▪▪▪▪▪ 13 Projection ▪▪▪▪▪ 14 Horizons ▪▪▪▪▪ 15 De-projection ▪▪▪▪▪ 16 Self-validation ▪▪▪▪▪ 17 Rationality: Rules of admissibility ▪▪▪▪▪ ▪▪▪▪▪ ▪▪▪▪▪ PART III ▪▪▪▪▪ PHILOSOPHICAL APPLICATIONS OF THE METALOGIC OF REFERENCE ▪▪▪▪▪ Major Problems and Questions of Philosophy and the Philosophy of Science ▪▪▪▪▪ 18 Ontology and the metalogic of reference ▪▪▪▪▪ 19 Discovery or invention in general problem-solving, mathematics, and physics ▪▪▪▪▪ 20 The conceptually unreachable: “The far side” ▪▪▪▪▪ 21 The projections of the external world, things-in-themselves, other minds, realism, and idealism ▪▪▪▪▪ 22 The projections of time, space, and space-time ▪▪▪▪▪ 23 The projections of causality, determinism, and free will ▪▪▪▪▪ 24 Projections of the self and of solipsism ▪▪▪▪▪ 25 Non-relational, agentless reference and referential fields ▪▪▪▪▪ 26 Relativity physics as seen through the lens of the metalogic of reference ▪▪▪▪▪ 27 Quantum theory as seen through the lens of the metalogic of reference ▪▪▪▪▪ 28 Epistemological lessons learned from and applicable to relativity physics and quantum theory ▪▪▪▪▪ ▪▪▪▪▪ PART IV ▪▪▪▪▪ HORIZONS ▪▪▪▪▪ 29 Beyond belief ▪▪▪▪▪ 30 _Critique of Impure Reason_: Its results in retrospect ▪▪▪▪▪ ▪▪▪▪▪ SUPPLEMENT ▪▪▪▪▪ The Formal Structure of the Metalogic of Reference ▪▪▪▪▪ APPENDIX I ▪▪▪▪▪ The Concept of Horizon in the Work of Other Philosophers ▪▪▪▪▪ APPENDIX II ▪▪▪▪▪ Epistemological Intelligence ▪▪▪▪▪ References ▪▪▪▪▪ Index ▪▪▪▪▪ About the author. (shrink)

Self-verifying judgments like _I exist_ seem rational, and self-defeating ones like _It will rain, but I don’t believe it will rain_ seem irrational_._ But one’s evidence might support a self-defeating judgment, and fail to support a self-verifying one. This paper explains how it can be rational to defy one’s evidence if judgment is construed as a mental performance or act, akin to inner assertion. The explanation comes at significant cost, however. Instead of causing or constituting beliefs, judgments turn out to (...) be mere epiphenomena, and self-verification and self-defeat lack the broader philosophical import often claimed for them. (shrink)

This paper develops and critiques the two-dimensionalist account of mental content developed by David Chalmers. I first explain Chalmers's account and show that it resists some popular criticisms. I then argue that the main interest of two-dimensionalism lies in its accounts of cognitive significance and of the connection between conceivability and possibility. These accounts hinge on the claim that some thoughts have a primary intension that is necessarily true. In this respect, they are Carnapian, and subject to broadly Quinean attack. (...) The remainder of the paper advances such an attack. I argue that there are possible thinkers who are willing to revise their beliefs in response to expert testimony, and that such thinkers will have no thoughts with necessary primary intensions. I even suggest that many actual humans may well be such thinkers. I go on to argue that these possible thinkers show that the two-dimensionalist accounts fail. (shrink)

ABSTRACT Contemporary relativists often see their view as contributing to a semantic/post-semantic account of linguistic data about disagreement and retraction. I offer an independently motivated metasemantic account of the same data, that also handles a number of cases and empirical results that are problematic for the relativist. The key idea is that the content of assertions and beliefs is determined in part by facts about other times, including times after the assertion is made or the belief is formed. On this (...) temporal externalist view, speaker behaviours such as retraction of previous assertions play a role in making it the case that a past utterance has a given meaning. (shrink)

The central thesis of this paper is that fake news and related phenomena serve as defeaters for knowledge transmission via journalistic channels. This explains how they pose a threat to democracy; and it points the way to determining how to address this threat. Democracy is both intrinsically and instrumentally good provided the electorate has knowledge (however partial and distributed) of the common good and the means of achieving it. Since journalism provides such knowledge, those who value democracy have a reason (...) to protect it. Hostile agents, however, can undermine both the effectiveness of democratic decision-making and faith in democracy itself, by deliberately promulgating fake news and hyper-partisan views; moreover, these effects can come about unintentionally on social media. I conclude that we may need to change, not just the way we process information online, but also the informational environment in which we operate. (shrink)

Stewart Cohen’s New Evil Demon argument raises familiar and widely discussed concerns for reliabilist accounts of epistemic justification. A now standard response to this argument, initiated by Alvin Goldman and Ernest Sosa, involves distinguishing different notions of justification. Juan Comesaña has recently and prominently claimed that his Indexical Reliabilism (IR) offers a novel solution in this tradition. We argue, however, that Comesaña’s proposal suffers serious difficulties from the perspective of the philosophy of language. More specifically, we show that the two (...) readings of sentences involving the word ‘justified’ which are required for Comesaña’s solution to the problem are not recoverable within the two-dimensional framework of Robert Stalnaker to which he appeals. We then consider, and reject, an attempt to overcome this difficulty by appeal to a complication of the theory involving counterfactuals, and conclude the paper by sketching our own preferred solution to Cohen’s New Evil Demon. (shrink)

Many epistemologists are enamored with a defeat condition on knowledge. In this paper we present some implementation problems for defeatism, understood along either internalist or externalist lines. We then propose that one who accepts a knowledge norm of belief, according to which one ought to believe only what one knows, can explain away much of the motivation for defeatism. This is an important result, because on the one hand it respects the plausibility of the intuitions about defeat shared by many (...) in epistemology; but on the other hand, it obviates the need to provide a unified account of defeat which plays well with the most plausible views of how knowledge fits with evidential probability. (shrink)

Recent years have seen the rise of a new family of non-probabilistic accounts of epistemic justification. According to these views—we may call them Normalcy Views—a belief in P is justified only if, given the evidence, there exists no normal world in which S falsely beliefs that P. This paper aims to raise some trouble for this new approach to justification by arguing that Normalcy Views, while initially attractive, give rise to problematic accounts of epistemic defeat. As we will see, on (...) Normalcy Views seemingly insignificant pieces of evidence turn out to have considerable defeating powers. This problem—I will call it the Easy-Defeat Problem—gives rise to a two-pronged challenge. First, it shows that the Normalcy View has counterintuitive implications and, second, it opens the door to an uncomfortable skeptical threat. (shrink)

In this chapter, the author offers another explanation of the variation in contents, which is explained by contextualism as being related to a variation in standards. The author’s explanation posits that the contents of knowledge attributions are invariant. The variation lies in what knowledge attributions we are willing to make or accept. Although not easy to acknowledge, what contextualism counts as knowledge varies with the context in which it is attributed. A new rival to contextualism, known as Subject-Sensitive Invariantism, goes (...) so far as to suggest that practical importance to the subject can affect the truth-value of a knowledge attribution. John MacFarlane puts forth another view in which the truth-value of a knowledge attribution is not absolute but relative. These two views raise interesting questions in their own right, but it is only contextualism which implies that the content of a knowledge attribution can vary with facts about the context in which it is made. (shrink)

This paper formulates some paradoxes of inductive knowledge. Two responses in particular are explored: According to the first sort of theory, one is able to know in advance that certain observations will not be made unless a law exists. According to the other, this sort of knowledge is not available until after the observations have been made. Certain natural assumptions, such as the idea that the observations are just as informative as each other, the idea that they are independent, and (...) that they increase your knowledge monotonically (among others) are given precise formulations. Some surprising consequences of these assumptions are drawn, and their ramifications for the two theories examined. Finally, a simple model of inductive knowledge is offered, and independently derived from other principles concerning the interaction of knowledge and counterfactuals. (shrink)

One thousand fair causally isolated coins will be independently flipped tomorrow morning and you know this fact. I argue that the probability, conditional on your knowledge, that any coin will land tails is almost 1 if that coin in fact lands tails, and almost 0 if it in fact lands heads. I also show that the coin flips are not probabilistically independent given your knowledge. These results are uncomfortable for those, like Timothy Williamson, who take these probabilities to play a (...) central role in their theorizing. (shrink)

The primary aim of this paper is to defend the Lockean View—the view that a belief is epistemically justified iff it is highly probable—against a new family of objections. According to these objections, broadly speaking, the Lockean View ought to be abandoned because it is incompatible with, or difficult to square with, our judgments surrounding certain legal cases. I distinguish and explore three different versions of these objections—The Conviction Argument, the Argument from Assertion and Practical Reasoning, and the Comparative Probabilities (...) Argument—but argue that none of them are successful. I also present some very general reasons for being pessimistic about the overall strategy of using legal considerations to evaluate epistemic theories; as we will see, there are good reasons to think that many of the considerations relevant to legal theorizing are ultimately irrelevant to epistemic theorizing. (shrink)

This article aims to contribute to the elucidation of the nature of inquiry. I start with some common desiderata for any theory of inquiry. I then categorize inquiry as a structured process. By focusing on its essential components, I advance a new characterization of inquiry as a combination of questioning attitudes guiding actions. Finally, I turn to the recent objection that questioning attitudes are not necessary for inquiry. I argue that inquiry is a structured process essentially constituted by questioning attitudes (...) having two precise functional roles, initiating and guiding the deployment of cognitive capacities towards an epistemic goal. (shrink)

In this paper I will offer a comprehensive defense of the safety account of knowledge against counterexamples that have been recently put forward. In Sect. 2, I will discuss different versions of safety, arguing that a specific variant of method-relativized safety is the most plausible. I will then use this specific version of safety to respond to counterexamples in the recent literature. In Sect. 3, I will address alleged examples of safe beliefs that still constitute Gettier cases. In Sect. 4, (...) I will discuss alleged examples of unsafe knowledge. In Sect. 5, I will address alleged cases of safe belief that do not constitute knowledge for non-Gettier reasons. My overall goal is to show that there are no successful counterexamples to robust anti-luck epistemology and to highlight some major presuppositions of my reply. (shrink)

Conceptualism is the thesis that, for any perceptual experience E, (i) E has a Fregean proposition as its content and (ii) a subject of E must possess a concept for each item represented by E. We advance a framework within which conceptualism may be defended against its most serious objections (e.g., Richard Heck's argument from nonveridical experience). The framework is of independent interest for the philosophy of mind and epistemology given its implications for debates regarding transparency, relationalism and representationalism, demonstrative (...) thought, phenomenal character, and the speckled hen objection to modest foundationalism. (shrink)

This essay aims to provide a modal logic for rational intuition. Similarly to treatments of the property of knowledge in epistemic logic, I argue that rational intuition can be codified by a modal operator governed by the modal $\mu$-calculus. Via correspondence results between fixed point modal propositional logic and the bisimulation-invariant fragment of monadic second-order logic, a precise translation can then be provided between the notion of 'intuition-of', i.e., the cognitive phenomenal properties of thoughts, and the modal operators regimenting the (...) notion of 'intuition-that'. I argue that intuition-that can further be shown to entrain conceptual elucidation, by way of figuring as a dynamic-interpretational modality which induces the reinterpretation of both domains of quantification and the intensions and hyperintensions of mathematical concepts that are formalizable in monadic first- and second-order formal languages. Hyperintensionality is countenanced via a topic-sensitive epistemic two-dimensional truthmaker semantics. (shrink)

This paper aims to contribute to the analysis of the nature of mathematical modality and hyperintensionality, and to the applications of the latter to absolute decidability. Rather than countenancing the interpretational type of mathematical modality as a primitive, I argue that the interpretational type of mathematical modality is a species of epistemic modality. I argue, then, that the framework of two-dimensional semantics ought to be applied to the mathematical setting. The framework permits of a formally precise account of the priority (...) and relation between epistemic mathematical modality and metaphysical mathematical modality. The discrepancy between the modal systems governing the parameters in the two-dimensional intensional setting provides an explanation of the difference between the metaphysical possibility of absolute decidability and our knowledge thereof. I also advance a topic-sensitive epistemic two-dimensional truthmaker semantics, if hyperintensional approaches are to be preferred to possible worlds semantics. I examine the relation between two-dimensional hyperintensional states and epistemic set theory, providing two-dimensional hyperintensional formalizations of the modal logic of ZFC, large cardinal axioms, $\Omega$-logic, and the Epistemic Church-Turing Thesis. (shrink)

This essay provides a novel account of iterated epistemic states. The essay argues that states of epistemic determinacy might be secured by countenancing iterated epistemic states on the model of fixed points in the modal $\mu$-calculus. Despite the epistemic indeterminacy witnessed by the invalidation of modal axiom 4 in the sorites paradox -- i.e. the KK principle: $\square$$\phi$ $\rightarrow$ $\square$$\square$$\phi$ -- a hyperintensional epistemic $\mu$-automaton permits fixed points to entrain a principled means by which to iterate epistemic states and account (...) thereby for necessary conditions on self-knowledge. The hyperintensional epistemic $\mu$-calculus is applied to the iteration of the epistemic states of a single agent instead of the common knowledge of a group of agents, and is thus a novel contribution to the literature. (shrink)

The topic of this article is the ontology of practical reasons. We draw a critical comparison between two views. According to the first, practical reasons are states of affairs; according to the second, they are propositions. We first isolate and spell out in detail certain objections to the second view that can be found only in embryonic form in the literature – in particular, in the work of Jonathan Dancy. Next, we sketch possible ways in which one might respond to (...) each one of these objections. A careful evaluation of these complaints and responses, we argue, shows that the first view is not as obviously compelling as it is thought by Dancy. Indeed, it turns out that the view that practical reasons are propositions is by no means unworkable and in fact, at least under certain assumptions, explicit considerations can be made in favour of a propositional construal of reasons. (shrink)

Object-hood is central to Husserl’s work, yet he employs several different notions of object-hood without clarifying the differences; his work thus offers rich and nuanced reflections on object-hood, but in a theoretically underdeveloped, at times even paradoxical, form. This paper aims to develop Husserl’s theory of objects systematically. In order to achieve this I distinguish five object-concepts operative in Husserl’s phenomenology and prove that they are not co-extensional. I also argue that they form a layer in terms of transcendental constitution, (...) one implying the other. I conclude the paper by exploring Husserl’s paradoxical claim that the absolute is not an object. From these considerations, two meta-phenomenological lessons emerge: object-hood is not total ; yet we cannot escape objectification while engaged in phenomenological reflection. (shrink)

According to some philosophers who accept a propositional conception of evidence, someone's evidence includes a proposition only if it is true. I argue against this thesis by appealing to the possibility of knowledge from falsehood.

El objeto de este artículo es analizar el problema de la justificación del conocimiento básico y ofrecer una solución basada en un tipo de justificación deflacionaria no-evidencialista a partir de la noción de habilitación de T. Burge y la de _garantía racional_ de C. Wright. El problema, en el caso del conocimiento básico lógico, es que justificar las reglas lógicas inferencialmente supone utilizar principios lógicos, con lo cual se genera un círculo vicioso. Examinamos la viabilidad del enfoque no-inferencialista de Wright (...) y sostendremos que una garantía racional es una respuesta viable para el problema de la justificación del conocimiento lógico básico. (shrink)

Is there good reason to worry about celebrity involvement in democratic politics? The rise of celebrity politicians such as Donald Trump and Vladimir Zelensky has led political theorists and commentators to worry that the role of expertise in democratic politics has been undermined. According to one recent critique, celebrities possess a significant degree of epistemic power that is unconnected to appropriate expertise. This presents a problem both for deliberative and epistemic theories of democratic legitimacy, which ignore this form of power, (...) and for real existing democracies attempting to meet the standards of legitimacy set out by these theories. But do these critiques apply to democratic elitism? In this paper, we argue that recognition of celebrity epistemic power in fact represents a valuable resource for supporting the legitimacy and practice of democratic elitism, though these benefits do come with certain risks to which elite theories are particularly vulnerable. (shrink)

Drawing inspiration from a well-attested historical tradition, I propose an account of cognition according to which knowledge is not only prior to belief; it is also, and crucially, not a kind of belief. Believing, in turn, is not some sort of botched knowing, but a mental state fundamentally different from knowing, with its own distinctive and complementary role in our cognitive life. I conclude that the main battle-line in the history of epistemology is drawn between the affirmation of a natural (...) mental state in which there is a contact between ‘mind’ and ‘reality’ and the rejection of such a natural mental state. For the former position, there is a mental state which is different in kind from belief, and which is constituted by the presence of the object of cognition to the cognitive subject, with no gap between them. For the latter position, all our cognition is belief, and the question becomes how and when belief is permissible. (shrink)

In this article I attempt to provide a conceptual framework for thinking about reliance in a systematic way. I argue that reliance is a cognitive attitude that has a tighter connection to the guidance of our thought and action than ordinary belief does. My main thesis is that reliance has a ‘constitutive aim’: namely, it aims at guiding our thought and action in a way that is sensible from the standpoint of practical or theoretical ends. This helps explain why reliance (...) is, in contrast to belief, typically formed and revised in response to pragmatic considerations. (shrink)

In a series of articles, Kit Fine presents some highly compelling objections to monism, the doctrine that spatially coincident objects are identical. His objections rely on Leibniz’s Law and linguistic environments that appear to be immune to the standard charge of non-transparency and substitution failure. In this paper, I respond to Fine’s objections on behalf of the monist. Following Benjamin Schnieder, I observe that arguments from Leibniz’s Law are valid only if they involve descriptive, rather than metalinguistic, negation. Then I (...) show that the monist is justified in treating the negation in Fine’s objections as metalinguistic in nature. Along the way I make a few methodological remarks about the interaction between the study of natural language and metaphysics. I also present evidence that some of the linguistic environments which Fine relies on are, contrary to appearances, non-transparent. (shrink)

The logic of ‘being informed’ gives a formal analysis of a cognitive state that does not coincide with either belief, or knowledge. To Floridi, who first proposed the formal analysis, the latter is supported by the fact that unlike knowledge or belief, being informed is a factive, but not a reflective state. This paper takes a closer look at the formal analysis itself, provides a pure and an applied semantics for the logic of being informed, and tries to find out (...) to what extent the formal analysis can contribute to an information-based epistemology. (shrink)

The knowledge norm of assertion is mainly in competition with a high probability or rational credibility norm. The argument for the knowledge norm that I offer turns on cases in which a hearer responds to a speaker's assertion by asserting another sentence that would lower the probability of the speaker's assertion, were its probability less than one. In cases like this, though with qualifications, is the hearer's contribution a challenge to the speaker's assertion or complementary to it? My answer is (...) the latter, and that only the knowledge norm yields that answer.The cases that I rely on follow from an elementary probability relation, though one that is inconsistent with the still influential relevance criterion for confirmation and evidence . Assume, for illustrative purposes, that p is in your belief corpus, as a consequence of your believing ∨ ∨ . 1 You learn that ∼ & ∼ , which would lessen the probability of p, were its probability less than one, 2 since it eliminates two rows of the truth-table in which p holds. What conclusion do you reach about p?Rather than withdrawing p, you acquire the belief that p & ∼ s & ∼ r, even though Formula where pr would be the subjective or epistemic probability of p on a probabilistic view of the knowledge norm before learning ∼ & ∼ . Instead of withdrawal …. (shrink)

Recent work in the philosophy of mind and cognitive science (e.g., Clark and Chalmers 1998; Clark 2010a; Clark 2010b; Palermos 2014) can help to explain why certain kinds of assertions—made on the basis of information stored in our gadgets rather than in biological memory—are properly criticisable in light of misleading implicatures, while others are not.

This paper considers the ways that Information Ethics (IE) treats things. A number of critics have focused on IE’s move away from anthropocentrism to include non-humans on an equal basis in moral thinking. I enlist Actor Network Theory, Dennett’s views on ‹as if’ intentionality and Magnani’s characterization of ‹moral mediators’. Although they demonstrate different philosophical pedigrees, I argue that these three theories can be pressed into service in defence of IE’s treatment of things. Indeed the support they lend to the (...) extension of moral status to non-human objects can be seen as part of a trend towards the accommodation of non-humans into our moral and social networks. A number of parallels are drawn between philosophical arguments over artificial intelligence and information ethics. (shrink)

The philosophical case for extended cognition is often made with reference to ‘extended-memory cases’ ; though, unfortunately, proponents of the hypothesis of extended cognition as well as their adversaries have failed to appreciate the kinds of epistemological problems extended-memory cases pose for mainstream thinking in the epistemology of memory. It is time to give these problems a closer look. Our plan is as follows: in §1, we argue that an epistemological theory remains compatible with HEC only if its epistemic assessments (...) do not violate what we call ‘the epistemic parity principle’. In §2, we show how the constraint of respecting the epistemic parity principle stands in what appears to be a prima facie intractable tension with mainstream thinking about cases of propositional memory. We then outline and evaluate in §3 several lines of response. (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)

Is more information always better? Or are there some situations in which more information can make us worse off? Good (1967) argues that expected utility maximizers should always accept more information if the information is cost-free and relevant. But Good's argument presupposes that you are certain you will update by conditionalization. If we relax this assumption and allow agents to be uncertain about updating, these agents can be rationally required to reject free and relevant information. Since there are good reasons (...) to be uncertain about updating, rationality can require you to prefer ignorance. (shrink)

This paper argues that several leading theories of subjunctive conditionals are incompatible with ordinary intuitions about what credences we ought to have in subjunctive conditionals. In short, our theory of subjunctives should intuitively display semantic humility, i.e. our semantic theory should deliver the truth conditions of sentences without pronouncing on whether those conditions actually obtain. In addition to describing intuitions about subjunctive conditionals, I argue that we can derive these ordinary intuitions from justified premises, and I answer a possible worry (...) for my derivation by refuting a subjunctive triviality result modeled on (Lewis 1976). I conclude that the debate over the correct theory of subjunctive conditionals requires settling meta-philosophical questions about the relative value of various virtues of first-order theories of subjunctive conditionals. (shrink)

This chapter presents a typology of the different kinds of inductive inferences we can draw from our evidence, based on the explanatory relationship between evidence and conclusion. Drawing on the literature on graphical models of explanation, I divide inductive inferences into (a) downwards inferences, which proceed from cause to effect, (b) upwards inferences, which proceed from effect to cause, and (c) sideways inferences, which proceed first from effect to cause and then from that cause to an additional effect. I further (...) distinguish between direct and indirect forms of downwards and upwards inferences. I then show how we can subsume canonical forms of inductive inference mentioned in the literature, such as inference to the best explanation, enumerative induction, and analogical inference, under this typology. Along the way, I explore connections with probability and confirmation, epistemic defeat, the relation between abduction and enumerative induction, the compatibility of IBE and Bayesianism, and theories of epistemic justification. (shrink)

On at least one of its uses, ‘higher-order evidence’ refers to evidence about what opinions are rationalized by your evidence. This chapter surveys the foundational epistemological questions raised by such evidence, the methods that have proven useful for answering them, and the potential consequences and applications of such answers.

This paper will be concerned with the role acquaintance plays in contemporary theories of introspection. Traditionally, the relation of acquaintance has been conceived in analytic epistemology and philosophy of mind as being only epistemically relevant inasmuch as it causes, or enables, or justifies a peculiar kind of propositional knowledge, i.e., knowledge by acquaintance. However, in recent years a novel account of the role of acquaintance in our introspective knowledge has been offered. According to this novel constitutive approach, acquaintance is, in (...) itself, a sui generis—i.e., non-propositional—kind of knowledge. As we will suggest, a stalemate between David Chalmers’ account of direct phenomenal concepts—as a prototypical example of a causal view—and Anna Giustina’s account of primitive introspection—as a prototypical example of a constitutive view—is looming in the current controversy between the two families of theories. Towards the end of the essay, we will point to some possible ways for a constitutive theorist to break the stalemate. (shrink)

Conditionalization is a widely endorsed rule for updating one’s beliefs. But a sea of complaints have been raised about it, including worries regarding how the rule handles error correction, changing desiderata of theory choice, evidence loss, self-locating beliefs, learning about new theories, and confirmation. In light of such worries, a number of authors have suggested replacing Conditionalization with a different rule — one that appeals to what I’ll call “ur-priors”. But different authors have understood the rule in different ways, and (...) these different understandings solve different problems. In this paper, I aim to map out the terrain regarding these issues. I survey the different problems that might motivate the adoption of such a rule, flesh out the different understandings of the rule that have been proposed, and assess their pros and cons. I conclude by suggesting that one particular batch of proposals, proposals that appeal to what I’ll call “loaded evidential standards”, are especially promising. (shrink)

What is the scope of our conscious mental agency, and how do we acquire self-knowledge of it? Both questions are addressed through an investigation of what best explains our inability to form judgemental thoughts in direct response to practical reasons. Contrary to what Williams and others have argued, it cannot be their subjection to a truth norm, given that our failure to adhere to such a norm need not undermine their status as judgemental. Instead, it is argued that we cannot (...) form judgements at will because we subjectively experience them as responses to epistemic reasons, and because this is incompatible with our experiential awareness of direct mental actions, such as instances of imagining. However, this latter awareness does not extend to indirect agency, which relies on epistemic or causal processes as means. Judging may therefore still count as an indirect action - just like, say, breaking a window by throwing a stone. (shrink)

This paper extends several themes from recent work on norms of assertion. It does as much by applying those themes to the speech act of asking. In particular, it argues for the view that there is a species of asking which is governed by a certain norm, a norm to the effect that one should ask a question only if one doesn’t know its answer.

This paper explores the nature of curiosity from an epistemological point of view. First it motivates this exploration by explaining why epistemologists do and should care about what curiosity is. Then it surveys the relevant literature and develops a particular approach.

What sort of epistemic positions are compatible with inquiries driven by interrogative attitudes like wonder and puzzlement? The ignorance norm provides a partial answer: interrogative attitudes directed at a particular question are never compatible with knowledge of the question’s answer. But some are tempted to think that interrogative attitudes are incompatible with weaker positions like belief as well. This paper defends that the ignorance norm is exhaustive. All epistemic positions weaker than knowledge directed at the answer to a question are (...) compatible with having an interrogative attitude towards that question. We offer two arguments for this conclusion. The first is based on considerations about the role of hedging in inquiry. The second is conditional on considerations related to the aim of inquiry as a goal-directed activity. (shrink)

I argue against the Standard View of ignorance, according to which ignorance is defined as equivalent to lack of knowledge, that cases of environmental epistemic luck, though entailing lack of knowledge, do not necessarily entail ignorance. In support of my argument, I contend that in cases of environmental luck an agent retains what I call epistemic access to the relevant fact by successfully exercising her epistemic agency and that ignorance and non-ignorance, contrary to what the Standard View predicts, are not (...) modal in the sense that knowledge is. After responding to objections, I conclude by sketching an alternative account of ignorance centered on the notions of epistemic access and epistemic agency. (shrink)