The formal and empirical-generative perspectives of computation are demonstrated to be inadequate to secure the goals of simulation in the social sciences. Simulation does not resemble formal demonstrations or generative mechanisms that deductively explain how certain models are sufficient to generate emergent macrostructures of interest. The description of scientific practice implies additional epistemic conceptions of scientific knowledge. Three kinds of knowledge that account for a comprehensive description of the discipline were identified: formal, empirical and intentional knowledge. The use of formal (...) conceptions of computation for describing simulation is refuted; the roles of programming languages according to intentional accounts of computation are identified; and the roles of iconographic programming languages and aesthetic machines in simulation are characterized. The roles that simulation and intentional decision making may be able to play in a participative information society are also discussed. (shrink)

The classical theory of computation does not represent an adequate model of reality for simulation in the social sciences. The aim of this paper is to construct a methodological perspective that is able to conciliate the formal and empirical logic of program verification in computer science, with the interpretative and multiparadigmatic logic of the social sciences. We attempt to evaluate whether social simulation implies an additional perspective about the way one can understand the concepts of program and computation. We demonstrate (...) that the logic of social simulation implies at least two distinct types of program verifications that reflect an epistemological distinction in the kind of knowledge one can have about programs. Computer programs seem to possess a causal capability (Fetzer, 1999) and an intentional capability that scientific theories seem not to possess. This distinction is associated with two types of program verification, which we call empirical and intentional verification. We demonstrate, by this means, that computational phenomena are also intentional phenomena, and that such is particularly manifest in agent-based social simulation. Ascertaining the credibility of results in social simulation requires a focus on the identification of a new category of knowledge we can have about computer programs. This knowledge should be considered an outcome of an experimental exercise, albeit not empirical, acquired within a context of limited consensus. The perspective of intentional computation seems to be the only one possible to reflect the multiparadigmatic character of social science in terms of agent-based computational social science. We contribute, additionally, to the clarification of several questions that are found in the methodological perspectives of the discipline, such as the computational nature, the logic of program scalability, and the multiparadigmatic character of agent-based simulation in the social sciences. (shrink)

This article reports an exploratory survey of the structure of interdisciplinary research in Agent-Based Social Simulation. One hundred and ninety six researchers participated in the survey completing an on-line questionnaire. The questionnaire had three distinct sections, a classification of research domains, a classification of models, and an inquiry into software requirements for designing simulation platforms. The survey results allowed us to disambiguate the variety of scientific goals and modus operandi of researchers with a reasonable level of detail, and to identify (...) a classification of agent-based models used in simulation. In particular, in the interdisciplinary context of social-scientific modelling, agent-based computational modelling and computer engineering, we analyse the extent to which these paradigmatic models seem to be mutually instrumental in the field. We expect that our proposal may improve the viability of submitting, explaining and comparing agent-based simulations in articles, which is an important methodological requirement to consolidate the field. We also expect that it will motivate other proposals that could further validate, extend or change ours, in order to refine the classification with more types of models. (shrink)

The terms ‘verification’ and ‘validation’ are widely used in science, both in the natural and the social sciences. They are extensively used in simulation, often associated with the need to evaluate models in different stages of the simulation development process. Frequently, terminological ambiguities arise when researchers conflate, along the simulation development process, the technical meanings of both terms with other meanings found in the philosophy of science and the social sciences. This article considers the problem of verification and validation in (...) social science simulation along five perspectives: The reasons to address terminological issues in simulation; the meaning of the terms in the philosophical sense of the problem of “truth”; the observation that some debates about these terms in simulation are inadvertently more terminological than epistemological; the meaning of the terms in the technical context of the simulation development process; and finally, a comprehensive outline of the relation between terminology used in simulation, different types of models used in the development process and different epistemological perspectives. (shrink)

This paper delves into the character concept as applied to reproduction. Our argument is that the prevailing functional-adaptationist perspective falls short in explaining the evolution of reproductive traits, and we propose an alternative organismal-relational approach that incorporates the developmental and interactive aspects of reproduction. To begin, we define the functional individuation of reproductive traits as evolutionary strategies aimed at enhancing fitness, and we demonstrate how this perspective influences the classification of reproductive characters and modes, the comprehension of shared traits as (...) resulting from conflicts of evolutionary interest between individuals, and the explanation of reproductive diversity. After outlining the shortcomings of this framework, we introduce an organismal-relational approach grounded in evolutionary developmental studies of reproduction. This view provides a revised classification for reproductive characters and modes and offers a new understanding of interorganismal traits that takes into account their inherently relational nature. Lastly, we present the research agenda that emerges from this approach, which addresses the core explanatory gaps left by the adaptationist perspective, including the explanation of reproductive homologies and homoplasies, the developmental constraints associated with the evolution of reproductive modes, and the evolvability of reproductive characters. (shrink)

How should one react when one has a belief, but knows that other people—who have roughly the same evidence as one has, and seem roughly as likely to react to it correctly—disagree? This paper argues that the disagreement of other competent inquirers often requires one to be much less confident in one’s opinions than one would otherwise be.

Many philosophers have been attracted to a restricted version of the principle of indifference in the case of self‐locating belief. Roughly speaking, this principle states that, within any given possible world, one should be indifferent between different hypotheses concerning who one is within that possible world, so long as those hypotheses are compatible with one's evidence. My first goal is to defend a more precise version of this principle. After responding to several existing criticisms of such a principle, I argue (...) that existing formulations of the principle are crucially ambiguous, and I go on to defend a particular disambiguation of the principle. According to the disambiguation I defend, how we should apply this restricted principle of indifference sensitively depends on our background metaphysical beliefs. My second goal is to apply this disambiguated principle to classical skeptical problems in epistemology. In particular, I argue that Eternalism threatens to lead us to external world skepticism, and Modal Realism threatens to lead us to inductive skepticism. (shrink)

According to First-Person Realism, one's own first-person perspective on the world is metaphysically privileged in some way. After clarifying First-Person Realism by reference to parallel debates in the metaphysics of modality and time, I survey eight different arguments in favor of First-Person Realism.

I insist that I was able to raise my hand, and I acknowledge that a law would have been broken had I done so, but I deny that I am therefore able to break a law. To uphold my instance of soft determinism, I need not claim any incredible powers. To uphold the compatibilism that I actually believe, I need not claim that such powers are even possible. My incompatibilist opponent is a creature of fiction, but he has his prototypes (...) in real life. He is modeled partly after Peter van Inwagen and partly on myself when I first worried about van Inwagen's argument against compatibilism. (shrink)

Does the capacity to think require the capacity to sense? A lively debate on this topic runs throughout the history of philosophy and now animates discussions of artificial intelligence. Many have argued that AI systems such as large language models cannot think and understand if they lack sensory grounding. I argue that thought does not require sensory grounding: there can be pure thinkers who can think without any sensory capacities. As a result, the absence of sensory grounding does not entail (...) that large language models cannot think or understand. I also consider to what extent quasi-sensory grounding can at least boost the performance of a language model. (shrink)

The singularity hypothesis is a radical hypothesis about the future of artificial intelligence on which self-improving artificial agents will quickly become orders of magnitude more intelligent than the average human. Despite the ambitiousness of its claims, the singularity hypothesis has been defended at length by leading philosophers and artificial intelligence researchers. In this paper, I argue that the singularity hypothesis rests on scientifically implausible growth assumptions. I show how leading philosophical defenses of the singularity hypothesis (Chalmers 2010, Bostrom 2014) fail (...) to overcome the case for skepticism. I conclude by drawing out philosophical implications of this discussion for our understanding of consciousness, personal identity, digital minds, existential risk, and ethical longtermism. GPI Working Paper No . 19-2022. (shrink)

We present data and argument to show that in Tetris - a real-time interactive video game - certain cognitive and perceptual problems are more quickly, easily, and reliably solved by performing actions in the world rather than by performing computational actions in the head alone. We have found that some translations and rotations are best understood as using the world to improve cognition. These actions are not used to implement a plan, or to implement a reaction; they are used to (...) change the world in order to simplify the problem-solving task. Thus, we distinguish pragmatic actions ñ actions performed to bring one physically closer to a goal - from epistemic actions - actions performed to uncover information that is hidden or hard to compute mentally. To illustrate the need for epistemic actions, we first develop a standard information-processing model of Tetris-cognition, and show that it cannot explain performance data from human players of the game - even when we relax the assumption of fully sequential processing. Standard models disregard many actions taken by players because they appear unmotivated or superfluous. However, we describe many such actions that are actually taken by players that are far from superfluous, and that play valuable roles in improving human performance. We argue that traditional accounts are limited because they regard action as having a single function: to change the world. By recognizing a second function of action - an epistemic function - we can explain many of the actions that a traditional model cannot. Although, our argument is supported by numerous examples specifically from Tetris, we outline how the one category of epistemic action can be incorporated into theories of action more generally. (shrink)

Presentism and Eternalism are competing views about the ontological and temporal structure of the world, introduced and demarcated by their answers to questions about what exists and whether what exists changes. The goal of this chapter is to give the reader a clear understanding of Presentism and Eternalism, and a sense of some considerations used to critically assess the views by briefly rehearsing some of the main philosophical problems facing them.

The question of whether Everettian quantum mechanics (EQM) justifies the existence of metaphysical indeterminacy has recently come to the fore. Metaphysical indeterminacy has been argued to emerge from three sources: coherent superpositions, the indefinite number of branches in the quantum multiverse and the nature of these branches. This paper reviews the evidence and concludes that those arguments don’t rely on EQM alone and rest on metaphysical auxiliary assumptions that transcend the physics of EQM. We show how EQM can be ontologically (...) interpreted without positing metaphysical indeterminacy by adopting a deflationary attitude towards branches. Two ways of developing the deflationary view are then proposed: one where branches are eliminated, and another where they are reduced to the universal quantum state. (shrink)

Epistemologists have recently proposed a number of norms governing rational inquiry. My aim in this paper is to unify and explain recently proposed norms of inquiry by developing a general account of the conditions under which inquiries are rational, analogous to theories such as evidentialism and reliabilism for rational belief. I begin with a reason-responsiveness conception of rationality as responding correctly to possessed normative reasons. I extend this account with a series of claims about the normative reasons for inquiry that (...) we possess. I apply the account to shed light on two classes of norms that have featured prominently in recent discussions: norms of clutter avoidance forbidding agents from engaging in trivial inquiries, and norms of logical non-omniscience governing properties such as the deductive closure and consistency of an agent's belief state. I conclude with a discussion of the sense in which norms of inquiry should be regarded as epistemic norms. (shrink)

When our choice affects some other person and the outcome is unknown, it has been argued that we should defer to their risk attitude, if known, or else default to use of a risk avoidant risk function. This, in turn, has been claimed to require the use of a risk avoidant risk function when making decisions that primarily affect future people, and to decrease the desirability of efforts to prevent human extinction, owing to the significant risks associated with continued human (...) survival. I raise objections to the claim that respect for others’ risk attitudes requires risk avoidance when choosing for future generations. In particular, I argue that there is no known principle of interpersonal aggregation that yields acceptable results in variable population contexts and is consistent with a plausible ideal of respect for others’ risk attitudes in fixed population cases. GPI Working Paper No . 20-2022. (shrink)

One way to interpret the work of Joshua Greene (2001; 2008; 2014) is that the wave of empirical research into moral decision-making is a way for us to become more confident in our ability to gain moral knowledge. We argue that empirical research into moral judgment has shown (both survey-based and brain-based) that the grounds of moral judgment are opaque on several dimensions. We argue that we cannot firmly grasp what the morally relevant/irrelevant features of a decision context are, understand (...) which cognitive system responds to said features, and further know that we are actually basing our judgment upon what we take to be the morally relevant features. That is, we argue that moral judgment is very much like other kinds of judgment: Deeply influenced by facts about the decision-context and the decision-maker. However, if moral judgment is merely the exercise of our general judgment making faculty, we shouldn’t be surprised by this result. We conclude by considering what this means for our practice of making moral judgments. (shrink)

4E approaches to affective technology tend to focus on how ‘users’ manage their situated affectivity, analogously to how they help themselves cognitively through epistemic actions or using artefacts and scaffolding. Here I focus on cases where the function of affective technology is to exploit or manipulate the agent engaging with it. My opening example is the cigarette, where technological refinements have harmfully transformed the affective process of consuming nicotine. I proceed to develop case studies of two very different but also (...) harmful affective technologies. Casinos and electronic gambling machines deploy computationally intensive scaffolding to shape the onset and continuation of gambling episodes. High-heeled shoes affectively engineer wearers’ relationships to their own embodied capacities and are predominantly expected to be worn by women. I conclude with a discussion of the need for study of affective technology to focus other-directed applications, some of which will serve competing or antagonistic interests. (shrink)

The old evidence problem affects any probabilistic confirmation measure based on comparing pr(H/E) and pr(H). The article argues for the following points: (1) measures based on likelihood ratios also suffer old evidence difficulties; (2) the less-discussed synchronic old evidence problem is, in an important sense, the most acute; (3) prominent attempts to solve or dissolve the synchronic problem fail; (4) a little-discussed variant of the standard measure avoids the problem, in an appealing way; and (5) this measure nevertheless reveals a (...) different problem for probabilistic confirmation measures, a problem that is unlikely to lend itself to formal solution. (shrink)

This dialogue explores the question of whether intentionality—the “ofness”, “aboutness”, or “directedness” of mental states—is a relation. We explore three views: the Naive View, on which intentionality is a relation to ordinary, everyday objects, facts, and other such items; the Abstract Contents View, on which intentionality is a relation to mind-independent abstract entities that are our contents; and the Aspect View, on which intentionality is a matter of having intentional states with particular (non-relational) aspects that are our contents. We consider (...) the challenges facing these views, which include empirical challenges in accounting for all the contents our intentional states can represent, metaphysical challenges in making sense of how contents can be entertained or otherwise represented by us and how they can play a psychological role in the mental economy, and challenges in making sense of how intentionality connects us to the world—if at all. Along the way, we consider the question of how consciousness is related to intentionality and how this affects one’s choice of views. (shrink)

Abstract:Skepticism about grounding is the view that ground-theoretic concepts shouldn’t be used in meta­physical theorizing. Possible reasons for adopting this attitude are numerous: perhaps grounding is unintelligible; or perhaps it’s never instantiated; or perhaps it’s just too heterogeneous to be theor­­­­­etically useful. Unfortunately, as currently pursued the debate between grounding enthusiasts and skeptics is insufficiently structured. This paper’s purpose is to impose a measure of conceptual rigor on the debate by offering an opinionated taxonomy of views with a reasonable claim (...) to being “skeptical.” I argue that carving up logical space into pro- and anti-grounding views isn’t especially helpful; rather, we should recognize various degrees of ground-theoretic involvement depending on how inflationary our understanding of the theoretical term ‘ground’ is. (shrink)

This is a corrected version of the final proofs. I've fixed a number of typos, and corrected a blunder in chapter 4. In chapter 4 I say that 'this is this' is analytic, and 'this is not this' is antonymous. This is inconsistent with what I say in chapter 5, and not what I actually think. Rather, 'this is this' is taugologous, and 'this is not this' is contradictory. Analyticity and autnonmy are sense properties while tautologousness and contradictoriness are formal (...) logical properties. Heading, ToC and Index updated accordingly. (Oxford will make these corrections in their online version and in future print runs.). (shrink)

Psychological and philosophical studies have extended J. J. Gibson’s notion of affordances. Affordances are possibilities for bodily action presented to us by the objects of our perception. Recent work has argued that we should extend the actions afforded by perception to mental action. I argue that we can extend the notion of affordance itself. What I call ‘Introspective Affordances’ are possibilities for mental action presented to us by introspectively accessible states. While there are some prima facie worries concerning the non-perceptual (...) nature of introspection, I will argue that our internal mental lives share enough commonalities with experiences in our environment to warrant this extension. I will demonstrate the value of introspective affordances by showing how they allow us to explain an underexplored aspect of thought insertion. (shrink)

Hylomorphists hold that substances are, in some sense, composites of matter and form. The form of a substance is typically taken to play a fundamental role in determining the unity or identity of the whole. Staunch hylomorphists think that this role is of a kind that precludes the ontological reduction of form to the physical and thus take their position to be inconsistent with physicalism. Forms, according to staunch hylomorphism, play a fundamental role in grounding their bearers’ proper parts and (...) that, it seems, rules out the physical grounding of form itself. I shall develop a physicalist version of hylomorphism that treats form as geometric structure and which, I shall argue, entails many of the central theses endorsed by staunch hylomorphists. Based on Shoemaker’s notion of conditional powers, I shall argue that the geometric structures of complex wholes are the conditions on at least some of the conditional powers of their bearers’ proper parts, transforming those powers into powers simpliciter. Thus, forms play a fundamental role in the dynamical evolution of the physical world, but without bestowing causal powers themselves and hence without violating the causal closure of the physical domain. If a substance’s proper parts are taken to be individuated by their powers simpliciter, then they derive their identities from their places in the substantial whole, which thus determines the identities of its proper parts without changing their intrinsic natures. (shrink)

The ongoing explosion of interest in artificial intelligence is fueled in part by recently developed techniques in machine learning. Those techniques allow automated systems to process huge amounts of data, utilizing mathematical methods that depart from traditional statistical approaches, and resulting in impressive advancements in our ability to make predictions and uncover correlations across a host of interesting domains. But as is now widely discussed, the way that those systems arrive at their outputs is often opaque, even to the experts (...) who design and deploy them. Is it morally problematic to make use of opaque automated methods when making high-stakes decisions, like whether to issue a loan to an applicant, or whether to approve a parole request? Many scholars answer in the affirmative. However, there is no widely accepted explanation for why transparent systems are morally preferable to opaque systems. We argue that the use of automated decision-making systems sometimes violates duties of consideration that are owed by decision-makers to decision-subjects, duties that are both epistemic and practical in character. Violations of that kind generate a weighty consideration against the use of opaque decision systems. In the course of defending our approach, we show that it is able to address three major challenges sometimes leveled against attempts to defend the moral import of transparency in automated decision-making. (shrink)

According to the Principle of Sufficient Reason, every fact has an explanation. An important challenge to this principle is that it risks being a counterexample to itself. What explains why everything needs to be explained? My first goal is to distinguish two broad kinds of answers to this question, which I call “Humean Rationalism” and “Non-Humean Rationalism”. My second goal will be to defend the prospects of Humean Rationalism.

The causal closure of the physical poses a familiar causal exclusion problem for the special sciences that stems from the idea that if closure is true, then fundamental physical properties do all the causal work involved in bringing about physical effects. In this paper I aim to show that the strongest causal closure principle that is not ruled out by some simple physics in fact allows for a certain kind of downward causation, which in turn makes room for robust special (...) science autonomy. I focus on the case of vector composition, arguing that it involves irreducibly multilevel causation. To give a complete causal explanation of what goes on in cases that involve the effects of multiple forces, we need to appeal not only to the fundamental properties that generate those forces, but also to geometric properties that determine how multiple vectors compose. However, if all the causal work involved in such cases were due to fundamental physical properties, there would be a one-level explanation available. Hence, I argue, it cannot be the case that fundamental physical properties do all the causal work. The extra causal work, I suggest, comes from the fact that the causal powers bestowed by fundamental physical properties have irreducibly geometric manifestation conditions. I defend the resulting form of downward causation as a solution to the problem of special science autonomy, and discuss two potential accounts of its source, in terms of the debate between kinematic and dynamic theories of the origins of spacetime symmetries. (shrink)

Political fact-checkers evaluate the truthfulness of politicians’ claims. This paper contributes to an emerging scholarly debate on whether fact-checkers treat political parties differently in a systematic manner depending on their ideology (bias). We first examine the available approaches to analyze bias and then present a new approach in two steps. First, we propose a logistic regression model to analyze the outcomes of fact-checks and calculate how likely each political party will obtain a truth score. We test our model with a (...) sample of fact-checks from Newtral, a major Spanish fact-checker. Our model would signal bias under two assumptions: a) all political parties are on average equally accurate in their statements; b) the verification method gives precise instructions and is implemented systematically. We investigate this second assumption with a series of interviews with Newtral fact-checkers. We show that standard verification protocols are so loosely implemented that fact-checks reflect a set of journalistic decisions, rather than a bias in the statistical sense. We call for a more rigorous definition of verification methods as a pre-requisite for an unbiased assessment of politician’s claims. (shrink)

A wide range of prominent epistemological theories include a principle of conservatism. Such principles take the fact that an agent currently holds a certain belief to constitute at least some measure of epistemic justification for her to maintain that belief. I examine the main arguments that have been made in conservatism's behalf, and find them unsound. Most interestingly, conservatism does not fall out of confirmational holism (the view that the justification of each of our beliefs is in part determined by (...) our other beliefs). I argue that conservatism is a mild form of dogmatism, and should be abandoned. (shrink)

This article defends the view that having a language just is knowing how to engage in communication with it. It also argues that, despite claims to the contrary, this view is compatible and complementary with the Chomskyan conception of language on which humans have languages in virtue of being in brain states realizing tacit knowledge of grammars for those languages.

Much recent discussion in the philosophy of mathematics has concerned the indispensability argument—an argument which aims to establish the existence of abstract mathematical objects through appealing to the role that mathematics plays in empirical science. The indispensability argument is standardly attributed to W. V. Quine and Hilary Putnam. In this paper, I show that this attribution is mistaken. Quine's argument for the existence of abstract mathematical objects differs from the argument which many philosophers of mathematics ascribe to him. Contrary to (...) appearances, Putnam did not argue for the existence of abstract mathematical objects at all. I close by suggesting that attention to Quine and Putnam's writings reveals some neglected arguments for platonism which may be superior to the indispensability argument. (shrink)

The most immediately appealing model for formal constraints on degrees of belief is provided by probability theory, which tells us, for instance, that the probability of P can never be greater than that of (P v Q). But while this model has much intuitive appeal, many have been concerned to provide arguments showing that ideally rational degrees of belief would conform to the calculus of probabilities. The arguments most frequently used to make this claim plausible are the so-called "Dutch Book" (...) arguments. (shrink)

Traditionally, the investigation of truth has been anchored in a priori reasoning. Cognitive science deviates from this tradition by adding empirical data on how people understand and use concepts. Building on psychophysics and machine learning methods, we introduce conceptual scaling, an approach to map people's understanding of abstract concepts. This approach, allows computing participant-specific conceptual maps from obtained ordinal comparison data, thereby quantifying perceived similarities among abstract concepts. Using this approach, we investigated individual's alignment with philosophical theories on truth and (...) the predictive capacity of conceptual maps. The obtained results indicated that, while people's understanding of truth is multifaceted and encapsulates notions of coherence and authenticity, alignment is best for the correspondence theory of truth. Furthermore, conceptual maps allowed predicting individual outcomes with an accuracy of roughly 70%. This research demonstrates that conceptual scaling offers accurate descriptions of individual's understanding of abstract concepts, behavioral predictions, and quantification of alignment with theoretical perspectives. (shrink)

There is a difference between merely thinking that P and really grasping that P. For example, Jackson's (1982) black-and-white Mary cannot (before leaving her black-and-white room) fully grasp what it means to say that fire engines are red, but she can perfectly well entertain the thought that fire engines are red. The contrast between merely thinking and grasping is especially salient in the context of certain moral decisions. For example, an individual who grasps the plight of starving children thanks to (...) evocative images seems much more likely to donate for the children's benefit than someone who is merely told about their plight. This paper offers a phenomenal account of grasping according to which grasping a content (whether a proposition or concept) consists in one's thoughts about the content being constituted by phenomenal experiences of constituents of the content. This account improves on earlier phenomenal accounts of grasping (Bourget 2017a, 2018) by allowing for partial grasping and generalizing to concepts. The paper also addresses objections to phenomenal accounts of grasping, including the objection that recent developments in AI technology show that consciousness is irrelevant to grasping and understanding. (shrink)

A new wave of evidentialist theorizing concedes that evidentialism may be extensionally incorrect as an account of all-things-considered rational belief. Nevertheless, these _newer evidentialists_ maintain that there is an importantly distinct type of epistemic rationality about which evidentialism may be the correct account. I argue that natural ways of developing the newer evidentialist position face opposite problems. One version, due to Christensen (Philos Phenomenol Res 103:501–517, 2021), may correctly describe what rationality requires, but does not entail the existence of a (...) distinctively epistemic type of rationality. Another version, due to Maguire and Woods (Philos Rev 129:211–249, 2020), characterizes a normative concept that is both distinct and epistemic, but struggles to explain why this concept should be classified as a type of rationality. I conclude that the newer evidentialist strategy of extensional compromise may be less favorable to evidentialism than previously supposed. (shrink)

Cognitive modules are internal mental structures. Some theorists and empirical researchers hypothesise that the human mind is either partially or massively comprised of structures that are modular in nature. Is the massive modularity of mind hypothesis a cogent view about the ontological nature of human mind or is it, rather, an effective/ineffective adaptationist discovery heuristic for generating predictively successful hypotheses about both heretofore unknown psychological traits and unknown properties of already identified psychological traits? Considering the inadequacies of the case in (...) favour of massive modularity as an ontological hypothesis, I suggest approaching and valuing massive modularity as an adaptationist discovery heuristic. (shrink)

Much contemporary epistemology is informed by a kind of confirmational holism, and a consequent rejection of the assumption that all confirmation rests on experiential certainties. Another prominent theme is that belief comes in degrees, and that rationality requires apportioning one's degrees of belief reasonably. Bayesian confirmation models based on Jeffrey Conditionalization attempt to bring together these two appealing strands. I argue, however, that these models cannot account for a certain aspect of confirmation that would be accounted for in any adequate (...) holistic confirmation theory. I then survey the prospects for constructing a formal epistemology that better accommodates holistic insights. (shrink)

“I don’t want to create painful shoes, but it is not my job to create something comfortable.” – Christian Louboutin. (in Alexander, 2012) Pain is an essential part of the grooming process, and that...

Epistemology has taken a zetetic turn from the study of belief towards the study of inquiry. Several decades ago, theories of bounded rationality took a procedural turn from attitudes towards the processes of inquiry that produce them. What is the relationship between the zetetic and procedural turns? In this paper, I argue that we should treat the zetetic turn in epistemology as part of a broader procedural turn in the study of bounded rationality. I use this claim to motivate and (...) clarify the zetetic turn in epistemology, as well as to reveal the need for a second zetetic turn within practical philosophy. (shrink)

For Shepherd, how many things exist? On the one hand, it looks like the answer is going to be many. It is a central tent of Shepherd's philosophical system that causation is a relation whereby two or more objects combine to create a third. Since there are many instances of this causal relation, there must be many objects in the world. On the other hand, there are several moments throughout her writing where Shepherd indicates that the distinction between causes and (...) effects is in some sense unreal, and that while the world appears to us to consist of many distinct objects interacting causally, really there is just one thing and its merely nominally distinct parts. I argue that Shepherd is an ontological pluralist, and the texts that appear to express a commitment to ontological monism are best understood as expressing ontological holism instead. (shrink)

Both Representation Theorem Arguments and Dutch Book Arguments support taking probabilistic coherence as an epistemic norm. Both depend on connecting beliefs to preferences, which are not clearly within the epistemic domain. Moreover, these connections are standardly grounded in questionable definitional/metaphysical claims. The paper argues that these definitional/metaphysical claims are insupportable. It offers a way of reconceiving Representation Theorem arguments which avoids the untenable premises. It then develops a parallel approach to Dutch Book Arguments, and compares the results. In each case (...) preferencedefects serve as a diagnostic tool, indicating purely epistemic defects. (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)

Informing others about the world is often a helpful act. In this paper, I study agents who conduct experiments to gather information about the world, committing in advance to fully disclose the nature of the experiment together with all experimental findings. While this appears to be a benign activity, I characterize a type of exploitative informing that is possible even within this restricted setup. I show how exploitative informants use public experiments to predictably manipulate interlocutors’ beliefs and actions to their (...) own advantage. I discuss epistemic and practical grounds on which it may be permissible for agents to resist acts of exploitative informing, then conclude by discussing implications for epistemic injustice and duties to gather evidence. (shrink)