In a series of papers, Don Fallis points out that although mathematicians are generally unwilling to accept merely probabilistic proofs, they do accept proofs that are incomplete, long and complicated, or partly carried out by computers. He argues that there are no epistemic grounds on which probabilistic proofs can be rejected while these other proofs are accepted. I defend the practice by presenting a property I call ‘transferability’, which probabilistic proofs lack and acceptable proofs have. I also consider (...) what this says about the similarities between mathematics and, on the one hand natural sciences, and on the other hand philosophy. (shrink)

Logicism is the thesis that all or, at least parts, of mathematics is reducible to deductive logic in at least two senses: (A) that mathematical lexis can be defined by sole recourse to logical constants [a definition thesis]; and, (B) that mathematical theorems are derivable from solely logical axioms [a derivation thesis]. The principal proponents of this thesis are: Frege, Dedekind, and Russell. The central question that I raise in this paper is the following: ‘How did Russell construe the philosophical (...) worth of logicism?’ The argument that I build in response to this is that Russell perceived an inverse proportion between a logical reduction of mathematics and the certitude of non-novel mathematical theorems—such that the more we reduce mathematics to logic, the more certain we become of our mathematical theorems; this was portrayed through a presentation of mathematical knowledge as coherent. Therefore, I set out to sketch Russell’s coherence theory and appraise it in relation to the presence discourse: i.e., in relation to logicism and mathematical certainty. (shrink)

Bioinformatics scientists often describe their own scientific activities as the practice of working with large amounts of data using computing devices. An essential part of their self-identification is also the development of ways to visually represent the results of this work. Some of these methods are aimed at building convenient representations of data and demonstrating patterns present in them (graphics, diagrams, graphs). Others are ways of visualizing objects that are not directly accessible to human perception (microphotography, X-ray). Both the construction (...) of visualizations and (especially) the creation of new computer visualization methods are considered in bioinformatics as significant scientific achievements. Representations of the three-dimensional structure of protein molecules play a special role in the inquiries of bioinformatics scientists. 3D-visualization of a macromolecule, on the one hand, is, like a graph, a representation of the results of computer processing of data arrays obtained by material methods – spatiotemporal coordinates of structural elements of the molecule. On the other hand, like microphotography, these 3D structures should serve as accurate representations of specific scientific objects. This leads to the parallel existence of two contradictory epistemic regimes: creative arbitrariness in making convenient, communicatively successful models, is combined with commitment to the object “as it really is”. The paradox is reinforced by the fact that the scientific study of objects in question (determining the properties of the structure, its functions, comparison with other structures) by means of computers does not require visualization at all. Its obviously high value for bioinformatics does not look justified if we take into account the prominent artificiality and artistry of the resulting images. However, the status of these images becomes clearer if we relate them to earlier notions of the role of the visual in scientific discovery. The highest estimation of visualization as the final result of scientific research was characteristic of Renaissance science. The artistic representation of ideal essential properties, instead of a strict correspondence to a particular biological object, is an epistemic virtue typical of the naturalists of the 17th and 18th centuries. Both suggested a close collaboration between the scientist and the artist; and standards for visualizing macromolecules in bioinformatics grow out of a similar collaboration (Geis’ drawings). The desire for maximum accuracy and detail inherits the regulation of “mechanical objectivity” (as Daston and Galison put it into words), for which it is also important to eliminate humans from the image production process (in bioinformatics, to transfer these functions to computer programs). Thus, 3D-visualization of protein structures bears traces of historically different value orientations, but the scientific practice of the 20th and 21st centuries, supplemented by computer technologies, allows them to be intertwined in particular disciplinary units. (shrink)

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

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

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

The epistemic virtues and vices are typically defined in terms of effects or motivations related to the epistemic states of their possessors. However, philosophers have recently begun to consider _other-regarding_ epistemic virtues, traits oriented toward the epistemic flourishing of others. In a similar vein, this paper discusses _outward-facing_ epistemic vices, properties oriented toward the epistemic languishing of others. I argue for the existence of both reliabilist and responsibilist outward-facing vices, and illustrate how such vices (...) negatively bear on the epistemic prospects of others. I pay special attention to how outward-facing epistemic vices may manifest in online activities that promote the epistemic languishing of others by negatively influencing the online epistemic environment. (shrink)

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

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

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

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

A theory of property needs to give an account of the whole life-cycle of a property right: how it is initiated, transferred, and terminated. Economics has focused on the transfers in the market and has almost completely neglected the question of the initiation and termination of property in normal production and consumption (not in some original state or in the transition from common to private property). The institutional mechanism for the normal initiation and termination of (...) class='Hi'>property is an invisible-hand function of the market, the market mechanism of appropriation. Does this mechanism satisfy an appropriate normative principle? The standard normative juridical principle is to assign or impute legal responsibility according to de facto responsibility. It is given a historical tag of being "Lockean" but the basis is contemporary jurisprudence, not historical exegesis. Then the fundamental theorem of the property mechanism is proven which shows that if "Hume's conditions" (no transfers without consent and all contracts fulfilled) are satisfied, then the market automatically satisfies the Lockean responsibility principle, i.e., "Hume implies Locke." As a major application, the results in their contrapositive form, "Not Locke implies Not Hume," are applied to a market economy based on the employment contract. It is shown the production based on the employment contract violates the Lockean principle (all who work in an employment enterprise are de facto responsible for the positive and negative results) and thus Hume's conditions must also be violated in the marketplace (de facto responsible human action cannot be transferred from one person to another—as is readily recognized when and employer and employee together commit a crime). (shrink)

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

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

A proof P of a theorem T is transferable when a typical expert can become convinced of T solely on the basis of their prior knowledge and the information contained in P. Easwaran has argued that transferability is a constraint on acceptable proof. Meanwhile, a proof P is fixable when it’s possible for other experts to correct any mistakes P contains without having to develop significant new mathematics. Habgood-Coote and Tanswell have observed that some acceptable proofs are both fixable and (...) in need of fixing, in the sense that they contain nontrivial mistakes. The claim that acceptable proofs must be transferable seems quite plausible. The claim that some acceptable proofs need fixing seems plausible too. Unfortunately, these attractive suggestions stand in tension with one another. I argue that the transferability requirement is the problem. Acceptable proofs need only satisfy a weaker requirement I call “corrigibility”. I explain why, despite appearances, the corrigibility standard is preferable to stricter alternatives. (shrink)

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

I propose the notion of ‘epistemic sanity’, a property of parsimony between the holding of true but not false beliefs and the consideration of our cognitive limitations. Where ‘alethic value’ is the epistemic value of holding true but not false beliefs, the ‘alethic potential’ of an agent is the amount of extra alethic value that she is expected to achieve, given her current environment, beliefs, and reasoning skills. Epistemic sanity would be related to the holding of (...) (true or false) beliefs that increase the agent's alethic potential (relevant beliefs) but not of beliefs that decrease it (this is related to cognitive parsimony). Suspension of judgment, forgetting, and clutter avoidance are the main contributors to an agent's epistemic sanity, where this paper focuses on suspension. I argue that rational suspension favors the holding of true and relevant beliefs, which is not the case for the extremes of opinionation (no suspension) and skepticism (general suspension). In the absence of evidence, opinionated agents are often forced to rely on principles such as the principle of indifference, but suspension dominates indifference in terms of alethic value in some conditions. A rational agent would only find it beneficial to adopt skepticism if she considers herself to be an anti-expert about her entire agenda, but then ‘flipping’ beliefs maximizes expected alethic value in relation to skepticism. The study of epistemic sanity results in an ‘impure’ veritism, which can deal with some limitations of veritism (e.g., explaining the existence of false but relevant beliefs). (shrink)

According to the standard story, there are two defensible theories of property rights: historical and institutional theories. The former says that you own something when you’ve received it via an unbroken chain of just transfers from its original appropriation. The latter says that you own something when you’ve been assigned it by just institutions. This standard story says that the historical theory throws up a barrier to redistributive economic policies while the institutional theory does not. In this paper, I (...) argue that the standard story is wrong in almost every detail. For a start, neither of these theories are defensible. Both generate absurd consequences when combined with our non-ideal circumstances. In actuality, no unbroken chains of just transfers stretch from original appropriation to what we now possess. And our actual institutions are very seriously unjust. So both theories imply that we actually own almost nothing. I revise these theories so that they avoid this absurd consequence. Yet, when we do this, their distributive implications flip. The institutional theory throws up serious barriers to redistribution while the historical theory tears them down. In our non-ideal circumstances, the distributive implications of these theories are the opposite of what is standardly presumed. (shrink)

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

Individuals sometimes pass their duties on to collectives, which is one way in which collectives can come to have duties. The collective discharges its duties by acting through its members, which involves distributing duties back out to individuals. Individuals put duties in and get (transformed) duties out. In this paper we consider whether (and if so, to what extent) this general account can make sense of states' duties. Do some of the duties we typically take states to have come from (...) individuals having passed on certain individual duties? There are complications: states can discharge their duties by contracting fulfilment out to non-members; states seem able to dissolve the duties of non-members; and some of states' duties are not derived in this way. We demonstrate that these complicate, but do not undermine, the general account and its application to states. And the application has an interesting upshot: by asking which individuals robustly participate in this process of duty transfer-and-transformation with a given state, we can begin to get a grip on who counts as a member of that state. (shrink)

The moral justification of intellectual property is often called into question when placed in the context of pharmaceutical patents and global health concerns. The theoretical accounts of both John Rawls and Robert Nozick provide an excellent ethical framework from which such questions can be clarified. While Nozick upholds an individuals right to intellectual property, based upon its conformation with Lockean notions of property and Nozicks ideas of just acquisition and transfer, Rawls emphasizes the importance of basic (...) liberties, such as an individuals right to health, superceding such secondary rights as intellectual property rights. From a policy perspective, patent protection for pharmaceutical products necessarily entails the balancing of corporate intellectual property interests and public interests in healthcare. The moral dilemma that occurs when these two interests clash is not easily resolved. Aside from corporate and public interests, the state maintains an interest in creating and preserving policies that regulate the moral dilemma itself. This paper analyzes the economic and ethical factors surrounding the production and distribution of the anti-HIV medication, AZT. Potential policy implications and recommendations are also discussed. (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)

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

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)

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

Legal philosophers and property scholars sometimes disagree over one or more of the following: the meaning of the word 'property,' the concept of property, and the nature of property. For much of the twentieth century, the work of W.N. Hohfeld and Tony Honoré represented a consensus around property. The consensus often went under the heading of property as bundle of rights, or more accurately as a set of normative relations between persons with respect to (...) things. But by the mid-l 990s, the consensus was under attack. Key figures in the attack were James Penner, a legal philosopher, and Thomas W. Merrill and Henry E. Smith, two highly regarded professors of property law. This article aims to repel the attack and argues for property as a set of normative relations between persons with respect to things. The positive case for this view of property pays special attention to the philosophy of language and the analysis of concepts. The positive case also maintains that the right to use and the power to transfer are as central to property as the right to exclude. It is possible that the virtues of Smith's modular theory of property differ from the virtues of a well-crafted bundle theory. Indeed, it may be the case that these two theories throw light on different features of property law and are not, save at the margin, competitors with each other. The label 'new essentialism' sometimes applied to the work of Penner, Merrill, and Smith seems inapt if property does not have an essence. Of course, they might refuse the label. (shrink)

This paper generalizes the preface paradox beyond the conjunctive aggregation of beliefs and constructs an analogous paradox for deontic reasoning. The analysis of the deontic case suggests a systematic restriction of intuitive rules for reasoning with obligations. This proposal can be transferred to the epistemic case: it avoids the preface and the lottery paradox and saves one of the two directions of the Lockean Thesis (i.e., high credence is sufficient, but not necessary for rational belief). The resulting account compares (...) favorably to competing proposals; in particular, we can formulate the rules of correct doxastic reasoning without reference to probabilistic features of the involved propositions. (shrink)

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

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

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)

The scope and type of property rights recognized over the effectiveness of antibiotics have a direct effect on how those claiming ownership engage in the exploitation and stewardship of this scarce resource. We examine the different property claims and rights the four major interest groups are asserting on antibiotics: (i) the inventors, (ii) those demanding that the resource be treated like any other transferable commodity, (iii) those advocating usage restrictions based on good stewardship principles and (iv) those considering (...) the resource as common heritage of humankind. (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 and hyperintensional cognitivism and modal and hyperintensional expressivism. I also develop a novel, topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel, dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. 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 higher 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 interpretational and objective modalities and the 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 in 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)

Epistemic instrumentalists think that epistemic normativity is just a special kind of instrumental normativity. According to them, you have epistemic reason to believe a proposition insofar as doing so is conducive to certain epistemic goals or aims—say, to believe what is true and avoid believing what is false. Perhaps the most prominent challenge for instrumentalists in recent years has been to explain, or explain away, why one’s epistemic reasons often do not seem to depend on (...) one’s aims. This challenge can arguably be met. But a different challenge looms: instrumental reasons in the practical domain have various properties that epistemic reasons do not seem to share. In this chapter, we offer a way for epistemic instrumentalists to overcome this challenge. Our main thesis takes the form of a conditional: if we accept an independently plausible transmission principle of instrumental normativity, we can maintain that epistemic reasons in fact do share the relevant properties of practical instrumental reasons. In addition, we can explain why epistemic reasons seem to lack these properties in the first place: some properties of epistemic reasons are elusive, or easy to overlook, because we tend to think and talk about epistemic reasons in an ‘elliptical’ manner. (shrink)

When one has both epistemic and practical reasons for or against some belief, how do these reasons combine into an all-things-considered reason for or against that belief? The question might seem to presuppose the existence of practical reasons for belief. But we can rid the question of this presupposition. Once we do, a highly general ‘Combinatorial Problem’ emerges. The problem has been thought to be intractable due to certain differences in the combinatorial properties of epistemic and practical reasons. (...) Here we bring good news: if we accept an independently motivated version of epistemic instrumentalism—the view that epistemic reasons are a species of instrumental reasons—we can reduce The Combinatorial Problem to the relatively benign problem of how to weigh different instrumental reasons against each other. As an added benefit, the instrumentalist account can explain the apparent intractability of The Combinatorial Problem in terms of a common tendency to think and talk about epistemic reasons in an elliptical manner. (shrink)

In "The Epistemic Significance of Perceptual Learning," Elijah Chudnoff (this issue) argues that cases from perceptual learning show that perception not only generates reasons for beliefs but also preserves those reasons over time in perceptual learning cases. In this paper, we dispute the idea that perceptual learning enables the preservation of perceptual reasons. We then argue for an alternative view, viz. the view that perceptual learning is epistemically significant insofar as it modifies our perceptual system in such a way (...) as to make us capable of perceiving subtle low-level properties (e.g. lightness) and high-level properties (e.g. chess configurations). Acquiring the capacity to perceive these properties is what enables us to achieve expertise in a variety of subject matters (e.g. chicken sexing, chess playing, language fluency). Along the way, we argue against two main points in Chudnoff’s paper. The first is that, pace Chudnoff, perceptual learning does not result in the acquisition of new facts. It only results in the acquisition of a new perceptual capacity. The second is that experiences resulting from perceptual learning can always serve as immediate justifiers of beliefs and hence do not need supporting background information in order to serve as reasons. (shrink)

Could groups ever be an understanding subject (an epistemic agent ascribed with understanding) or should we keep our focus exclusively on the individuals that make up the group? The way this paper will shape an answer to this question is by starting from a case we are most willing to accept as group understanding, then mark out the crucial differences with an unconvincing case, and, ultimately, explain why these differences matter. In order to concoct the cases, however, we need (...) to elucidate what it means to be attributed with understanding and what makes up an epistemic agent. I shall argue that it is abilities, above all, that guide our attributions of understanding. While it is true that understanding must go beyond single acts, this is not going beyond as in going behind them (to private occurrences which are impossible to discern and don’t themselves contribute anything of value), but beyond as in considering what people could and would do: their discernable and valuable abilities. To conceptualize whom the abilities belong to, I will specify what it means to be an epistemic agent. I shall argue that it is being a successful target of the epistemic stance. The epistemic stance (heavily inspired by Dennett’s intentional stance) forms an instrumental abstraction by attributing epistemic properties (i.e., beliefs, epistemic aims, problem-solving tactics) to an entity to explain or predict its behavior. Macro-systematicity (a higher-level pattern which a theory can exploit) is what makes the epistemic stance’s abstraction an explanatory powerful one (regardless of how that macro-systematicity is realized) and emergence (the lack of a straightforward mapping-relation between the micro and the macro) is what makes its power unique to a particular level of explanation. To end, I suggest two kinds of mapping-relations and walk through the shift from reducibility to emergence. (shrink)

Recent experimental evidence from developmental psychology and cognitive neuroscience indicates that humans are equipped with unlearned elementary mathematical skills. However, formal mathematics has properties that cannot be reduced to these elementary cognitive capacities. The question then arises how human beings cognitively deal with more advanced mathematical ideas. This paper draws on the extended mind thesis to suggest that mathematical symbols enable us to delegate some mathematical operations to the external environment. In this view, mathematical symbols are not only used to (...) express mathematical concepts—they are constitutive of the mathematical concepts themselves. Mathematical symbols are epistemic actions, because they enable us to represent concepts that are literally unthinkable with our bare brains. Using case-studies from the history of mathematics and from educational psychology, we argue for an intimate relationship between mathematical symbols and mathematical cognition. (shrink)

To allow a pragmatic approach to understanding value of knowledge as a ‘thing’ to be transferred, the axiological foundationalism significance of the human perception of knowledge continues to be a significant contributing factor. Similarly the construct of our knowledge is parallel to doxastic attitudes and perspectives. Thus, through reconciliation of foundational and doxastic positions, one can view knowledge and knowledge value as a singular construct. This can be characterised through a multitude definition but not as a singular epistemic principal. (...) This interpretation of current and historical literature offers an outline and assessment of current and historical knowledge philosophy, theory and positioning, but at the same time, tries to place it within the realms of a business context. (shrink)

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

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

This paper investigates logical aspects of combining linear orders as semantics for modal and temporal logics, with modalities for possible paths, resulting in a variety of branching time logics over classes of trees. Here we adopt a unified approach to the Priorean, Peircean and Ockhamist semantics for branching time logics, by considering them all as fragments of the latter, obtained as combinations, in various degrees, of languages and semantics for linear time with a modality for possible paths. We then consider (...) a hierarchy of natural classes of trees and bundled trees arising from a given class of linear orders and show that in general they provide different semantics. We also discuss transfer of definability from linear orders to trees and introduce a uniform translation from Priorean to Peircean formulae which transfers definability of properties of linear orders to definability of properties of all paths in trees. (shrink)

A remarkable event occurred at the December 3, 2004, meeting of the U. S. President’s Council on Bioethics. Council member William Hurlbut, a physician and Consulting Professor in the Program in Human Biology at Stanford University, formally unveiled a proposal that he claimed would solve the ethical problems surrounding the extraction of stem cells from human embryos. The proposal would involve the creation of genetically defective embryos that “never rise to the level of integrated organismal existence essential to be designated (...) human life with potential,” and therefore could be used as morally acceptable sources of stem cells for research and therapy. The aim of this essay is to show that Hurlbut’s proposal does not solve the ethical problems associated with human embryonic stem cell research. Two major reasons are presented. First, the proposal, which involves modification of a somatic cell nucleus, suffers from an ethical problem that is common to all types of human genetic engineering: since the procedure is not foolproof, there will be failures. In the case of the procedure Hurlbut proposes, some normal (albeit cloned) embryos will be produced. Second, the embryo engineered in the manner described is, at least in the early stages of its development, fully human despite its genetic defect. This essay also will show how a reasonable person might mistakenly view the proposal as legitimate if he or she makes the error of conflating genetic determinism with Aristotelian teleology. Finally, it will argue that ethical clarity can be achieved by seeing the embryo as a holistic entity possessing emergent properties that cannot simply be spelled out by genes. (shrink)

In a previous Philo article, it was shown how properties could be ontologically dispensed with via a representational analysis: to be an X is to comprehensively represent all the properties of an X. The current paper extends that representationalist (RT) theory by explaining representation itself in parallel epistemic rather than ontological terms. On this extended RT (ERT) theory, representations of X, as well as the real X, both may be identified as providing information about X, whether partial or comprehensive. (...) But that information does not match ontological, property-based analyses of X, so it is epistemically fundamental–hence supporting a broadly conceptualist rather than nominalist metaphysics. (shrink)

Mainstream analytic epistemology regards knowledge as the property of individuals, rather ‎than groups. Drawing on insights from the reality of knowledge production and dissemination ‎in the sciences, I argue, from within the analytic framework, that this view is wrong. I defend ‎the thesis of ‘knowledge-level justification communalism’, which states that at least some ‎knowledge, typically knowledge obtained from expert testimony, is the property of a ‎community and possibly none of its individual members, in that only the community or (...) some ‎members of it collectively possesses knowledge-level justification for its individual members’ ‎beliefs. I address several objections that individuals, qua individuals, have or are able to ‎acquire knowledge-level justification for all the beliefs they obtain from expert testimony. I ‎argue that the problem I identify with individualism is invariant under any specific account of ‎justification, internalist or externalist. ‎. (shrink)

This essay aims to vindicate the thesis that cognitive computational properties are abstract objects implemented in physical systems. I avail of Voevodsky's Univalence Axiom and function type equivalence in Homotopy Type Theory, in order to specify an abstraction principle for epistemic (hyper-)intensions. The homotopic abstraction principle for epistemic (hyper-)intensions provides an epistemic conduit for our knowledge of (hyper-)intensions as abstract objects. Higher observational type theory might be one way to make first-order abstraction principles defined via inference rules, (...) although not higher-order abstraction principles, computable. The truth of my first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable i.e. Turing computable and the Turing machine being physically implementable. Epistemic modality and hyperintensionality can thus be shown to be both a compelling and a materially adequate candidate for the fundamental structure of mental representational states, comprising a fragment of the language of thought. (shrink)

In epistemology, the concept of knowledge is of distinctive interest. This fact is also reflected in the discussion of epistemic value, which focuses to a large extend on the value problem of knowledge. This discussion suggests that knowledge has an outstanding value among epistemic standings because its value exceeds the value of its constitutive parts. I will argue that the value of knowledge is not outstanding by presenting epistemic standings of checking, transferring knowledge, and proving in court, (...) whose values exceed the value of knowledge in certain contexts. Moreover, the values of these other epistemic standings do not always rely on the value of knowledge. In terms of value, knowledge is not an outstanding epistemic concept. Hence, in terms of value we cannot find support for the privileged position that knowledge enjoys in epistemology. (shrink)

There is a great deal that might be said about justice in property claims. The strategy that I shall employ focuses attention upon the initial acquisition of property -- the most sensitive and most interesting area of property theory. Every theory that discusses property claims favorably assumes that there is some justification for transforming previously unowned resources into property. It is often this assumption which has seemed, to one extent or another, to be vulnerable to (...) attack by critics of particular justifications of property. Nevertheless, this assumption is frequently left undefended by property theorists, and where it is defended, the defense is often remarkably weak. That some initial claim to property be defensible is required by any theory which holds that certain present distributions may be justified, that certain transfers of property are justified, or that restitution ought to be made for previous injustice in transfer or acquisition. The initial acquisition of property, and its justification, is crucial to the remainder of property theory. (shrink)

According to Realism about Epistemic Value, there is such a thing as epistemic value and it is appropriate to evaluate things—e.g., beliefs—for epistemic value because there is such a thing as epistemic value. Allan Hazlett's A Luxury of the Understanding is a sustained critique of Realism. Hazlett challenges proponent of Realism to answer explanatory questions while not justifiably violating certain constraints, including two proposed naturalistic constraints. Hazlett argues they cannot. Here I defend Realism. I argue that (...) it is easy for proponents of Realism to answer Hazlett's explanatory questions. The interesting issue is whether those answers violate Hazlett's naturalistic constraints. My own view is that epistemic value is irreducible to natural properties; it thus violates Hazlett's proposed constraints. I argue that this is justifiable because Hazlett fails to convincingly motivate his naturalistic constraints and there is reason for thinking epistemic value is irreducible to natural properties anyway. (shrink)

A combinatorial analysis of intrinsicality takes intrinsic properties to be independent of accompaniment: a property is intrinsic only if it is possible for a lonely or an accompanied thing to have it or lack it (I). Cameron argues that the combinatorial analysis in Langton & Lewis (1998) faces an epistemic circularity, which makes (I) suspicious. In this paper, I examine two approaches to free the combinatorial analyses from the circularity and find them all fail. Then I provide an (...) outline of an argument for (I) by appealing to the grounding analyses of intrinsicality, which shows an advantage of the grounding analyses over the combinatorial ones. (shrink)

This discussion surrounds the dialectical methodology, underpinning the unity of knowledge, and discusses a differing perspective to knowledge and knowledge value from knowledge transfer practitioners, in a business context. It asks why, if knowledge is vital for business success and competitive advantage, the transfer of knowledge is rarely a simple unproblematic event (Argote et al. 2000). Further, that the creation of knowledge before transfer is recognised within literature as a significant factor in determining a starting point for (...) analogous scrutiny. Under a premise of doxastic attitude, this discussion looks to synthesise from current literature and research the epistemic principal of ‘knowledge’, which underpins understanding congruent knowledge transfer theories and perspectives principals. (shrink)