Can knowledge be defined? We expound an argument of John Cook Wilson's that it cannot. Cook Wilson's argument connects knowing with having the power to inquire. We suggest that if he is right about that connection, then knowledge is, indeed, indefinable.

John Cook Wilson is an important predecessor of contemporary knowledge first epistemologists: among other parallels, he claimed that knowledge is indefinable. We reconstruct four arguments for this claim discernible in his work, three of which find no clear analogues in contemporary discussions of knowledge first epistemology. We pay special attention to Cook Wilson’s view of the relation between knowledge and forms of thinking (like belief). Claims of Cook Wilson’s that support the indefinability of knowledge include: (...) that knowledge, unlike belief, straddles an active/passive divide; that, rather than entailing belief, knowledge excludes belief; and that understanding forms of thinking other than knowledge (such as belief) depends on understanding knowledge. Reflecting on Cook Wilson’s framework highlights underappreciated concerns relevant to any attempt to define knowledge. (shrink)

Deep Ecology, the Voluntary Human Extinction Movement (VHEMT), and Anti-Civilization Primitivism have frequently been labeled as radical environmental ideologies, owing to their relationship with activities conducted by environmental extremists. Nonetheless, given the serious concerns faced by climate change and biodiversity loss, it is critical to engage with a broad range of perspectives and techniques. Such participation allows us to have access to a greater range of perspectives and a more diverse pool of knowledge, boosting our capacity for creative (...) problem-solving. The purpose of this essay is to reconsider the underlying concepts and principles that drive these theories, as well as to assess their relevance in tackling modern environmental issues. We think that Deep Ecology, the Voluntary Human Extinction Movement (VHEMT), and Anti-Civilization Primitivism should be called "unconventional" or "distinctive" rather than "radical," because they primarily focus on the ontological perspective but do not urge extreme acts. Meanwhile, their distinctiveness helps increase public awareness about environmental issues and promote reflection on and rethinking of the ontological link between mankind and the natural world. (shrink)

This essay offers an account and defense of conceptual primitivism about truth: the view that the concept of truth is a fundamental concept that cannot be analyzed or defined in terms of concepts that are more fundamental. It considers three arguments in defense of primitivism, and meets a familiar objection that fundamental concepts are by their nature obscure and mysterious. It concludes by considering the ways in which primitivism is similar to and different from other theories (...) of truth, both substantive and deflationary. (shrink)

This paper develops a non-relativist version of contextualism about knowledge. It is argued that a plausible contextualism must take into account three features of our practice of attributing knowledge: (1) knowledge-attributions follow a default-and-challenge pattern; (2) there are preconditions for a belief's enjoying the status of being justified by default (e.g. being orthodox); and (3) for an error-possibility to be a serious challenge, there has to be positive evidence that the possibility might be realized in the (...) given situation. It is argued that standard "semantic" versions of contextualism (e.g. those of Lewis, Cohen, DeRose) fail to take these features into account, which makes them overly hospitable to the sceptic, and that Williams' version of contextualism, although incorporating (1), fails to do justice to (2) and (3). According to the contextualism developed here, although epistemic standards vary with the context, the truth-value of particular knowledge-attributions does not. Contexts here are understood as being constituted by two elements: an epistemic practice (a rule-governed social practice such as a scientific discipline, the law, a craft etc., in which knowledge-claims are evaluated according to specific standards) and the "facts of the matter" (i.e. those facts which, together with the epistemic standards in question, determine which error-possibilities are relevant and thus have to be eliminated for a knowledge-claim to be true). If there are several epistemic practices, and thus several contexts, in which a knowledge-claim can be evaluated, it is the "strictest" practice that counts. In this way, the counterintuitive consequence of other versions of contextualism that the same knowledge-claim can be true in one context, but false in another, can be avoided. At the same time, scepticism can be resisted since even in the "strictest" epistemic practices, error-possibilities become relevant only when backed by positive evidence that they might in fact obtain. (shrink)

Reasoning About Knowledge is the first book to provide a general discussion of approaches to reasoning about knowledge and its applications to distributed ...

Tarski’s pioneering work on truth has been thought by some to motivate a robust, correspondence-style theory of truth, and by others to motivate a deflationary attitude toward truth. I argue that Tarski’s work suggests neither; if it motivates any contemporary theory of truth, it motivates conceptual primitivism, the view that truth is a fundamental, indefinable concept. After outlining conceptual primitivism and Tarski’s theory of truth, I show how the two approaches to truth share much in common. While Tarski (...) does not explicitly accept primitivism, the view is open to him, and fits better with his formal work on truth than do correspondence or deflationary theories. Primitivists, in turn, may rely on Tarski’s insights in motivating their own perspective on truth. I conclude by showing how viewing Tarski through the primitivist lens provides a fresh response to some familiar charges from Putnam and Etchemendy. (shrink)

The Great Divide in metaphysical debates about laws of nature is between Humeans, who think that laws merely describe the distribution of matter, and non-Humeans, who think that laws govern it. The metaphysics can place demands on the proper formulations of physical theories. It is sometimes assumed that the governing view requires a fundamental / intrinsic direction of time: to govern, laws must be dynamical, producing later states of the world from earlier ones, in accord with the fundamental direction (...) of time in the universe. In this paper, we propose a minimal primitivism about laws of nature (MinP) according to which there is no such requirement. On our view, laws govern by constraining the physical possibilities. Our view captures the essence of the governing view without taking on extraneous commitments about the direction of time or dynamic production. Moreover, as a version of primitivism, our view requires no reduction / analysis of laws in terms of universals, powers, or dispositions. Our view accommodates several potential candidates for fundamental laws, including the principle of least action, the Past Hypothesis, the Einstein equation of general relativity, and even controversial examples found in the Wheeler-Feynman theory of electrodynamics and retrocausal theories of quantum mechanics. By understanding governing as constraining, non-Humeans who accept MinP have the same freedom to contemplate a wide variety of candidate fundamental laws as Humeans do. (shrink)

Trenton Merricks argues for and defends a novel version of primitivism about truth : being true is a primitive monadic but non-intrinsic property. This examination consists of the following triad: a critical discussion of Merricks’ argument for his view, a rejection of his objection against Paul Horwich’s minimalist theory of truth, and a direct objection against his view on the grounds that it entails being true is a mysterious and suspicious property. The conclusion is that Merricks’ primitivism (...) should be rejected. (shrink)

In this paper I consider the prospects for pluralism about knowledge, that is, the view that there is a plurality of knowledge relations. After a brief overview of some views that entail a sort of pluralism about knowledge, I focus on a particular kind of knowledge pluralism I call standards pluralism. Put roughly, standards pluralism is the view that one never knows anything simpliciter. Rather, one knows by this-or-that epistemic standard. Because there is a (...) plurality of epistemic standards, there is a plurality of knowledge relations. In §1 I argue that one can construct an impressive case for standards pluralism. In §2 I clarify the relationship between standards pluralism, epistemic contextualism and epistemic relativism. In §3 I argue that standards pluralism faces a serious objection. The gist of the objection is that standards pluralism is incompatible with plausible claims about the normative role of knowledge. In §4 I finish by sketching the form that a standards pluralist response to this objection might take. (shrink)

There is a growing body of empirical evidence which shows that infants and non-human primates have the ability to represent the mental states of other agents, i.e. that they possess a Theory of Mind. We will argue that this evidence also suggests that infants and non-human primates possess the concept of truth, which, as we will explain, is good news for primitivists about truth. First, we will offer a brief overview of alethic primitivism, focusing on Jamin Asay’s conceptual (...) version of the view. Next, we will survey relevant work on Theory of Mind which indicates that children younger than two and non-human primates are able to attribute false beliefs. Then, we will bring these false-belief data to bear on Asay’s form of primitivism, arguing that the data support two of the four distinctive theses of this view and offering some remarks about the empirical evaluability of the two remaining theses. We hope that our discussion will help to bridge the gap between psychological and philosophical inquiry and that it will encourage further empirical research on the cognitive significance of the concept of truth for humans and other thinking creatures. (shrink)

Abstracting away from its various particular versions, contemporary externalism about knowledge can be broadly characterized as the rejection of two central ideas: that knowledge is incompatible with reflective awareness of the possibility of error, and that knowledge is necessarily tied to the resources that are available from within the first-person perspective. In this brief introduction, I outline five distinctly externalist accounts of knowledge, and two distinctly externalist methodological approaches to knowledge, all fitting this general (...) description. (shrink)

The aim of the paper is to state a version of epistemic expressivism regarding knowledge, and to suggest how this expressivism about knowledge explains the value of knowledge. The paper considers how an account of the value of knowledge based on expressivism about knowledge responds to the Meno Problem, the Swamping Problem, and a variety of other questions that pertains to the value of knowledge, and the role of knowledge in our (...) cognitive ecology. (shrink)

What is knowledge? What are the sources of knowledge? What is the value of knowledge? What can we know? _Arguing About Knowledge_ offers a fresh and engaging perspective on the theory of knowledge. This comprehensive and imaginative selection of readings examines the subject in an unorthodox and entertaining manner whilst covering the fundamentals of the theory of knowledge. It includes classic and contemporary pieces from the most influential philosophers from Descartes, Russell, Quine and G.E. (...) Moore to Richard Feldman, Edward Craig, Gilbert Harman and Roderick Chisholm. In addition, students will find fascinating alternative pieces from literary and popular work such as Lewis Caroll, Jorges Luis Borges and Paul Boghossian. Each article selected is clear, interesting and free from unnecessary jargon. The editors provide lucid introductions to each section in which they give an overview of the debate and outline the arguments of the papers. _Arguing About Knowledge_ is an inventive and stimulating reader for students new to the theory of knowledge. (shrink)

Externalism About Knowledge presents new essays from leading epistemologists working in various branches of this tradition: process reliabilism, tracking views, safety views, virtue epistemology, proper functionalism, naturalized epistemology, and knowledge-first epistemology.

Focuses on the arguments that show the externalism of mental content. Discussion on the principle of knowledge identification; Account of basic self-knowledge; Interpretations of sentence content; Skepticism of knowledge content.

In this paper, the Carneades argumentation system is extended to represent a procedural view of inquiry in which evidence is marshalled to support or defeat claims to knowledge. The model is a sequence of moves in a collaborative group inquiry in which parties take turns making assertions about what is known or not known, putting forward evidence to support them, and subjecting these moves to criticisms. It is shown how this model of evaluating evidence in an inquiry is (...) based on a defeasible logic using forms of argument that admit exceptions. It is contended that reasoning from absence of knowledge is as important to inquiry as positive reasoning from evidence to knowledge. The philosophical conflict between this view of reasoning about knowledge and the true-belief-plus view is explored by airing objections and replies on both sides. (shrink)

In this paper we propose a new semantics, based on the notion of a "contextual model", that makes it possible to express and compare — within a unique formal framework — different views on the roles of various notions of context in knowledge ascriptions. We use it to provide a logical analysis of such positions as skeptical and moderate invariantism, contextualism, and subject-sensitive invariantism. A dynamic formalism is also proposed that offers new insights into a classical skeptical puzzle.

Experimental restrictionists have challenged philosophers’ reliance on intuitions about thought experiment cases based on experimental findings. According to the expertise defense, only the intuitions of philosophical experts count—yet the bulk of experimental philosophy consists in studies with lay people. In this paper, we argue that direct strategies for assessing the expertise defense are preferable to indirect strategies. A direct argument in support of the expertise defense would have to show: first, that there is a significant difference between expert and (...) lay intuitions; second, that expert intuitions are superior to lay intuitions; and third, that expert intuitions accord with the relevant philosophical consensus. At present, there is only little experimental evidence that bears on these issues. To advance the debate, we conducted two new experiments on intuitions about knowledge with experts and lay people. Our results suggest that the intuitions of epistemological experts are superior in some respects, but they also pose an unexpected challenge to the expertise defense. Most strikingly, we found that even epistemological experts tend to ascribe knowledge in fake-barn-style cases. This suggests that philosophy, as a discipline, might fail to adequately map the intuitions of its expert practitioners onto a disciplinary consensus. (shrink)

ABSTRACT This paper argues for a version of sceptical invariantism about knowledge on which the acceptability of knowledge-attributing sentences varies with the context of assessment.

This paper introduces a two-dimensional modal logic to reason about knowledge in asynchronous multi-agent message-passing systems. We present a new theoretical definition for concurrent knowledge in order to describe the kind of knowledge typical in such asynchronous environments. To define concurrent knowledge, we propose the closed sub-product of modal logics: a two-dimensional formal semantics where one dimension corresponds to asynchronous runs, the other corresponds to consistent cuts and the concurrent knowledge is defined as the (...) transitive closure over the product of the former dimensions. We axiomatize the presented logic issuing proofs of soundness and completeness with respect to the class of closed sub-product of modal frames. (shrink)

Two views on the direction of time can be distinguished—primitivism and non-primitivism. According to the former, time’s direction is an in-built, fundamental property of the physical world. According to the latter, time’s direction is a derivative property of a fundamentally directionless reality. In the literature, non-primitivism has been widely supported since most our fundamental dynamical laws are time-reversal invariant. In this paper, I offer a way out to the primitivist. I argue that we do have good grounds (...) to support a primitive direction of time in the quantum realm. The rationale depends on exploiting the metaphysical and dynamical underdetermination of quantum theories to make a case in favor of primitivism. In particular, primitivism can be grounded in spontaneous collapse theories. The specific sense in which these theories capture a primitive direction of time is that, when the ontology of the theory is seriously taken into account, it does not remain invariant under time reversal. In taking GRW with a matter-density field, I will argue that primitivism about the direction of time can be defended in the quantum case. (shrink)

In the most popular logics combining knowledge and awareness, it is not possible to express statements about knowledge of unawareness such as “Ann knows that Bill is aware of something Ann is not aware of”—without using a stronger statement such as “Ann knows that Bill is aware of \(p\) and Ann is not aware of \(p\) ”, for some particular \(p\) . In Halpern and Rêgo (Proceedings of KR 2006; Games Econ Behav 67(2):503–525, 2009b) Halpern and Rêgo (...) introduced a logic in which such statements about knowledge of unawareness can be expressed. The logic extends the traditional framework with quantification over formulae, and is thus very expressive. As a consequence, it is not decidable. In this paper we introduce a decidable logic which can be used to reason about certain types of unawareness. Our logic extends the traditional framework with an operator expressing full awareness, i.e., the fact that an agent is aware of everything, and another operator expressing relative awareness, the fact that one agent is aware of everything another agent is aware of. The logic is less expressive than Halpern’s and Rêgo’s logic. It is, however, expressive enough to express all of the motivating examples in Halpern and Rêgo (Proceedings of KR 2006; Games Econ Behav 67(2):503–525, 2009b). In addition to proving that the logic is decidable and that its satisfiability problem is PSPACE-complete, we present an axiomatisation which we show is sound and complete. (shrink)

Well-known epistemologies of science have implications for how best to understand knowledge transfer (KT). Yet, to date, no serious attempt has been made to explicate these particular implications. This paper infers views about KT from two popular epistemologies; what we characterize as incommensurabilitist views (after Devitt, 2001; Bird, 2002, 2008; Sankey and Hoyningen-Huene 2013) and voluntarist views (after Van Fraassen, 1984; Dupré, 2001; Chakravartty, 2015). We argue views of the former sort define the methodological, ontological, and social conditions (...) under which research operates within ‘different worlds’ (to use Kuhn's expression), and entail that genuine KTs under those conditions should be difficult or even impossible. By contrast, more liberal voluntarist views recognize epistemological processes that allow for transfers across different sciences even under such conditions. After outlining these antithetical positions, we identify two kinds of KTs present in well-known episodes in the history of ecology—specifically, successful model transfers from chemical kinetics and thermodynamics into areas of ecological research—which reveal significant limitations of incommensurabilitist views. We conclude by discussing how the selected examples support a pluralistic voluntarism regarding KT. (shrink)

Sound and complete axiomatizations are provided for a number of different logics involving modalities for the knowledge of multiple agents and operators for branching time, extending previous work of Halpern, van der Meyden and Vardi [to appear, SIAM Journal on Computing] for logics of knowledge and linear time. The paper considers the system constraints of synchrony, perfect recall and unique initial states, which give rise to interaction axioms. The language is based on the temporal logic CTL*, interpreted with (...) respect to a version of the bundle semantics. (shrink)

On Folk Epistemology explores how we ascribe knowledge to ourselves and others. Empirical evidence suggests that we do so early and often in thought as well as in talk. Since knowledge ascriptions are central to how we navigate social life, it is important to understand our basis for making them. -/- A central claim of the book is that factors that have nothing to do with knowledge may lead to systematic mistakes in everyday ascriptions of knowledge. (...) These mistakes are explained by an empirically informed account of how ordinary knowledge ascriptions are the product of cognitive heuristics that are associated with biases. In developing this account, Mikkel Gerken presents work in cognitive psychology and pragmatics, while also contributing to epistemology. For example, Gerken develops positive epistemic norms of action and assertion and moreover, critically assesses contextualism, knowledge-first methodology, pragmatic encroachment theories and more. Many of these approaches are argued to overestimate the epistemological significance of folk epistemology. In contrast, this volume develops an equilibristic methodology according to which intuitive judgments about knowledge cannot straightforwardly play a role as data for epistemological theorizing. Rather, critical epistemological theorizing is required to interpret empirical findings. Consequently, On Folk Epistemology helps to lay the foundation for an emerging sub-field that intersects philosophy and the cognitive sciences: The empirical study of folk epistemology. (shrink)

There is a large literature exploring how accuracy constrains rational degrees of belief. This paper turns to the unexplored question of how accuracy constrains knowledge. We begin by introducing a simple hypothesis: increases in the accuracy of an agent’s evidence never lead to decreases in what the agent knows. We explore various precise formulations of this principle, consider arguments in its favour, and explain how it interacts with different conceptions of evidence and accuracy. As we show, the principle has (...) some noteworthy consequences for the wider theory of knowledge. First, it implies that an agent cannot be justified in believing a set of mutually inconsistent claims. Second, it implies the existence of a kind of epistemic blindspot: it is not possible to know that one’s evidence is misleading. (shrink)

In this paper I defend a unified approach to knowledge and understanding. Both are achievements due to cognitive abilities or skills. The difference between them is a difference of aspects. Knowledge emphasizes the successful aspect of an achievement and the exclusion of epistemic luck, whereas understanding emphasizes the agent's contribution in bringing about an achievement through the exercise of one's cognitive skills. Knowledge and understanding cannot be separated. I argue against the claim that understanding is distinct (...) from knowledge because the former is compatible with environmental luck. Achievements rule out environmental luck because abilities can be exercised only in their proper environment. I also reject the intellectualist claim that understanding requires the ability to explain what one intends to understand. The understanding of an item is reflected in our ability to solve cognitive tasks using that item. The more tasks one can deal with by using an item, the deeper is one’s understanding of that item. Being able to explain why a claim holds is not necessary for possessing understanding, even though it may be necessary for accomplishing some very specific tasks. Neither understanding nor knowledge require any kind of second-order cognition by default. (shrink)

In this paper non-normal worlds semantics is presented as a basic, general, and unifying approach to epistemic logic. The semantical framework of non-normal worlds is compared to the model theories of several logics for knowledge and belief that were recently developed in Artificial Intelligence (AI). It is shown that every model for implicit and explicit belief (Levesque), for awareness, general awareness, and local reasoning (Fagin and Halpern), and for awareness and principles (van der Hoek and Meyer) induces a non-normal (...) worlds model validating precisely the same formulas (of the language in question). (shrink)

One of the important issues in research on knowledge based computer systems is development of methods for reasoning about knowledge. In the present paper semantics for knowledge operators is introduced. The underlying logic is developed with epistemic operators relative to indiscernibility. Facts about knowledge expressible in the logic are discussed, in particular common knowledge and joint knowledge of n group of agents. Some paradoxes of epistemic logic are shown to be eliminated in (...) the given system. A formal logical analysis of reasoning about knowledge is a subject of investigations both in logic and computer science , and several epistemic systems have been proposed to formalize the operator ‘an agent knows’. In the present paper we propose a formalization based on a semantic treatment of knowledge within the framework of rough set theory . The inspiration for the underlying epistemic logic came from the analysis of knowledge transfer in distributed systems developed in Orlowska and Sanders and from the author’s earlier work on indiscernibility and relative accessibility semantics. (shrink)

There is widespread suspicion that there is a principled conflict between epistemic internalism and content externalism (or anti-individualism). Despite the prominence of this suspicion, it has rarely been substantiated by explicit arguments. However, Duncan Pritchard and Jesper Kallestrup have recently provided a prima facie argument concluding that internalism about knowledge and externalism about content are incompatible. I criticize the incompatibilist argument and conclude that the purported incompatibility is, at best, prima facie. This is, in part, because several (...) steps in the argument are faulty and, in part, because there are promising responses available to the compatibilists. (shrink)

I question the widespread assumption that when we act for reasons we know what our reasons are. I argue that an agent may act in ignorance, or partial ignorance, regarding his or her reasons, and an action involving ignorance of this sort may still qualify as done for reasons. I conclude from here that we need to develop a suitable new model of action for reasons, and I proceed to offer such a model. Briefly, I argue that an action qualifies (...) as done for reasons when the agent performing that action possesses a reasons explanation of it and is (at least partly) motivated to act by the fact he possesses such an explanation. The crucial point is that the agent may not be motivated – not even in part – by the content of the reasons that constitute the explanation in question. (shrink)

In ”Formal Problems about Knowledge,” Roy Sorensen examines epistemological issues that have logical aspects. He uses Fitch's proof for unknowables and the surprise test paradox to illustrate the hopes of the modal logicians who developed epistemic logic, and he considers the epistemology of proof with the help of the knower paradox. One solution to this paradox is that knowledge is not closed under deduction. Sorensen reviews the broader history of this maneuver along with the relevant alternatives model (...) of knowledge which assumes that ”know” is an absolute term like ”flat.” Sorensen argues that the difference between epistemic absolute terms and extensional absolute terms gives rise to an asymmetry that undermines recent claims that there is a structural parallel between the supervaluational and epistemicist theories of vagueness, and he suggests that we have overestimated the ability of logical demonstration to produce knowledge. (shrink)

Epistemological contextualism is often defended by appealing to the context sensitivity of our intuitions about knowledge ascriptions. A popular invariantist response is to explain this feature by an appeal to pragmatic implicature. In this paper I argue that this rejoinder faces a hitherto underestimated problem relating to the fact that such supposed implicatures do not appear cancellable, contrary to what we should expect. I defend contextualism by demonstrating that the current invariantist explanation of this lack of cancellability is (...) unsuccessful, owing to a failure to appreciate the diversity of circumstances in which knowledge ascriptions may be used. (shrink)

Sound and complete axiomatizations are provided for a number of different logics involving modalities for the knowledge of multiple agents and operators for branching time, extending previous work of Halpern, van der Meyden and Vardi [to appear, SIAM Journal on Computing] for logics of knowledge and linear time. The paper considers the system constraints of synchrony, perfect recall and unique initial states, which give rise to interaction axioms. The language is based on the temporal logic CTL*, interpreted with (...) respect to a version of the bundle semantics. (shrink)

Those defending non-factivity of knowledge should explain why it is so intuitive that knowledge entails truth. One option they have is to concede a great deal to this intuition: they can maintain that we know that knowledge is factive, even though it is not.