This article develops an analogy proposed by Stachel between general relativity (GR) and quantum mechanics (QM) as regards permutation invariance. Our main idea is to overcome Pooley's criticism of the analogy by appeal to paraparticles. In GR, the equations are (the solution space is) invariant under diffeomorphisms permuting spacetime points. Similarly, in QM the equations are invariant under particle permutations. Stachel argued that this feature—a theory's ‘not caring which point, or particle, is which’—supported a structuralist ontology. Pooley criticizes this analogy: (...) in QM the (anti-)symmetrization of fermions and bosons implies that each individual state (solution) is fixed by each permutation, while in GR a diffeomorphism yields in general a distinct, albeit isomorphic, solution. We define various versions of structuralism, and go on to formulate Stachel's and Pooley's positions, admittedly in our own terms. We then reply to Pooley. Though he is right about fermions and bosons, QM equally allows more general types of particle symmetry, in which states (vectors, rays, or density operators) are not fixed by all permutations (called ‘paraparticle states’). Thus Stachel's analogy is revived. (shrink)

According to a widely shared generic conception of inferential justification—‘the standard conception’—an agent is inferentially justified in believing that p only if she has antecedently justified beliefs in all the non-redundant premises of a good argument for p. This conception tends to serve as the starting-point in contemporary debates about the nature and scope of inferential justification: as neutral common ground between various competing, more specific, conceptions. But it’s a deeply problematic starting-point. This paper explores three questions that haven’t been (...) given the attention they deserve, that complicate the application of the standard conception to cases, and that reveal it to be underspecified at the core—in ways that aren’t resolved but inherited by more specific (extant) versions of it. The goal isn’t to answer the questions, but to articulate them, explain what turns on them, and invite a critical re-examination of the standard conception. (shrink)

Although much has been written about divine knowledge, and some on divine beliefs, virtually nothing has been written about divine credences. In this essay we comparatively assess four views on divine credences: (1) God has only beliefs, not credences; (2) God has both beliefs and credences; (3) God has only credences, not beliefs; and (4) God has neither credences nor beliefs, only knowledge. We weigh the costs and benefits of these four views and draw connections to current discussions in philosophical (...) theology. (shrink)

This paper argues for explanatory eliminativism about topics (and cognates, such as subject matters) relative to the domain of conceptual engineering. It has become usual to think that topics serve an important explanatory role in theories of conceptual engineering, namely, to determine the limits of revision. I argue, first, that such limits can be understood either as thenormative limitspertaining to the justification of conceptual engineering, as themetaphysical limitspertaining to the identity of the concepts in question, or as theterminological limitspertaining to (...) usage of the original terminology. Second, I argue that the metaphysical reading is disputable as a theory of concepts and inconsequential for conceptual engineers, and that neither of the two leading accounts of topics that have been presented in the literature—the samesaying account and functionalism—determine the limits of revision in either of the two remaining senses. In the absence of more promising competitors, I conclude that there is no theoretical role for topics to play in theories of conceptual engineering. An upshot of my argument is that conceptual engineers should stop worrying about things like topic (dis)continuity, and instead shift their attention to the issues that really matter for justifying conceptual revisions or replacements, making terminological choices, and underpinning conceptual engineering with a theory of concepts. (shrink)

This paper aims to contribute to debates about the nature of philosophical inquiry and its relation to science. The starting point is the Discontinuity View (DV), which holds that philosophy is discontinuous with science. Upon critically engaging two lines of argument in favor of DV, the paper presents and defends the Continuity View (CV), according to which philosophy and science are continuous forms of inquiry. The critical engagement sheds light on continuities between philosophical and scientific inquiry while underlining special normative (...) competences of philosophical work. The final part of the paper uses these insights to offer a brief outline of a normative approach to philosophy of science. (shrink)

This dissertation examines aspects of the interplay between computing and scientific practice. The appropriate foundational framework for such an endeavour is rather real computability than the classical computability theory. This is so because physical sciences, engineering, and applied mathematics mostly employ functions defined in continuous domains. But, contrary to the case of computation over natural numbers, there is no universally accepted framework for real computation; rather, there are two incompatible approaches --computable analysis and BSS model--, both claiming to formalise algorithmic (...) computation and to offer foundations for scientific computing. The dissertation consists of three parts. In the first part, we examine what notion of 'algorithmic computation' underlies each approach and how it is respectively formalised. It is argued that the very existence of the two rival frameworks indicates that 'algorithm' is not one unique concept in mathematics, but it is used in more than one way. We test this hypothesis for consistency with mathematical practice as well as with key foundational works that aim to define the term. As a result, new connections between certain subfields of mathematics and computer science are drawn, and a distinction between 'algorithms' and 'effective procedures' is proposed. In the second part, we focus on the second goal of the two rival approaches to real computation; namely, to provide foundations for scientific computing. We examine both frameworks in detail, what idealisations they employ, and how they relate to floating-point arithmetic systems used in real computers. We explore limitations and advantages of both frameworks, and answer questions about which one is preferable for computational modelling and which one for addressing general computability issues. In the third part, analog computing and its relation to analogue (physical) modelling in science are investigated. Based on some paradigmatic cases of the former, a certain view about the nature of computation is defended, and the indispensable role of representation in it is emphasized and accounted for. We also propose a novel account of the distinction between analog and digital computation and, based on it, we compare analog computational modelling to physical modelling. It is concluded that the two practices, despite their apparent similarities, are orthogonal. (shrink)

We give a unified account of some results in the development of Polyadic Inductive Logic in the last decade with particular reference to the Principle of Spectrum Exchangeability, its consequences for Instantial Relevance, Language Invariance and Johnson's Sufficientness Principle, and the corresponding de Finetti style representation theorems.

The full Bayesian signi/cance test (FBST) for precise hypotheses is presented, with some illustrative applications. In the FBST we compute the evidence against the precise hypothesis. We discuss some of the theoretical properties of the FBST, and provide an invariant formulation for coordinate transformations, provided a reference density has been established. This evidence is the probability of the highest relative surprise set, “tangential” to the sub-manifold (of the parameter space) that defines the null hypothesis.

Conceptual engineering projects have been criticized for creating discontinuities of subject-matter and, as a result, discontinuities in inquiries: call this the Change of Subject objection. In this paper, I explore a way of dealing with the objection that clarifies its scope and eventually downplays it. First, two strategies aimed at saving subject-continuity are examined and found wanting: Herman Cappelen’s appeal to topics, and the account in terms of concept function. Second, the idea is introduced that one can begin an object-level (...) inquiry either with a ‘semantically conservative’ approach, whereby semantic change is not permitted, or with a ‘semantically progressive’ approach, whereby semantic change is permitted. This distinction helps one significantly downplay the Change of Subject objection. (shrink)

Using Carnap’s concept explication, we propose a theory of concept formation in mathematics. This theory is then applied to the problem of how to understand the relation between the concepts formal proof and informal, mathematical proof.

When we think about what others believe and want, we are usually affected by what we know about their attitudes. If I’m aware that another person believes something, I have an opportunity to agree or disagree with it. If I think that another person wants something, I can endorse or disapprove of her desire. The importance of such reactions to attributed beliefs and desires has thus far been overlooked in philosophy of mind where the focus has been on explanatory and (...) predictive roles of attitude attribution. The primary goal of this thesis is to fill this lacuna and to articulate the indispensability of such reactions – agreement/disagreement and endorsement/disapproval – for social cognition. In the process of doing it I also show how these initial reactions ground certain further possible responses in intersubjective communication: manipulation, negotiation or adoption of attributed attitudes. The second aim of this thesis is to explicate what is it about belief and desire attributions that makes the responses I’ve described possible. Because one can agree or disagree both with beliefs and assertions and endorse or disapprove both desires and requests, I argue that we should understand belief attributions in terms of assertions and desire attributions in terms of requests. When we think what someone believes and wants, we treat her as a conversation partner because her attitudes call for the same responses as speech acts do, even if she hasn’t made any explicit assertion or request herself. In short, beliefs and desires have communicative significance. Given such significance, we can also see what one needs to take into consideration when attributing these attitudes to another. My answer in the thesis is that belief and desire attributions have to be grounded in facts about the behaviour and well-being of attributees and that these facts also constitute the nature of beliefs and desires. (shrink)

What is scientific progress? This paper advances an interpretation of this question, and an account that serves to answer it. Roughly, the question is here understood to concern what type of cognitive change with respect to a topic X constitutes a scientific improvement with respect to X. The answer explored in the paper is that the requisite type of cognitive change occurs when scientific results are made publicly available so as to make it possible for anyone to increase their understanding (...) of X. This account is briefly compared to two rival accounts of scientific progress, based respectively on increasing truthlikeness and accumulating knowledge, and is argued to be preferable to both. (shrink)

This essay offers a conception of logic by which logic may be considered to be exceptional among the sciences on the backdrop of a naturalistic outlook. The conception of logic focused on emphasises the traditional role of logic as a methodology for the sciences, which distinguishes it from other sciences that are not methodological. On the proposed conception, the methodological aims of logic drive its definitions and principles, rather than the description of scientific phenomena. The notion of a methodological discipline (...) is explained as a relation between disciplines or practices. Logic serves as a methodological discipline with respect to any theoretical practice, and this generality, as well as logic’s reflexive nature, distinguish it from other methodological disciplines. Finally, the evolution of model theory is taken as a case study, with a focus on its methodological role. Following recent work by John Baldwin and Juliette Kennedy, we look at model theory from its inception in the mid-twentieth century as a foundational endeavour until developments at the end of the century, where the classification of theories has taken centre-stage. (shrink)

The no-free-lunch theorems promote a skeptical conclusion that all possible machine learning algorithms equally lack justification. But how could this leave room for a learning theory, that shows that some algorithms are better than others? Drawing parallels to the philosophy of induction, we point out that the no-free-lunch results presuppose a conception of learning algorithms as purely data-driven. On this conception, every algorithm must have an inherent inductive bias, that wants justification. We argue that many standard learning algorithms should rather (...) be understood as model-dependent: in each application they also require for input a model, representing a bias. Generic algorithms themselves, they can be given a model-relative justification. (shrink)

Conventional wisdom dictates that proofs of mathematical propositions should be treated as necessary, and sufficient, for entailing `significant' mathematical truths only if the proofs are expressed in a---minimally, deemed consistent---formal mathematical theory in terms of: * Axioms/Axiom schemas * Rules of Deduction * Definitions * Lemmas * Theorems * Corollaries. Whilst Andrew Wiles' proof of Fermat's Last Theorem FLT, which appeals essentially to geometrical properties of real and complex numbers, can be treated as meeting this criteria, it nevertheless leaves two (...) questions unanswered: (i) Why is x^n +y^n = z^n solvable only for n < 3 if x, y, z, n are natural numbers? (ii) What technique might Fermat have used that led him to, even if only briefly, believe he had `a truly marvellous demonstration' of FLT? Prevailing post-Wiles wisdom---leaving (i) essentially unaddressed---dismisses Fermat's claim as a conjecture without a plausible proof of FLT. -/- However, we posit that providing evidence-based answers to both queries is necessary not only for treating FLT as significant, but also for understanding why FLT can be treated as a true arithmetical proposition. We thus argue that proving a theorem formally from explicit, and implicit, premises/axioms using rules of deduction---as currently accepted---is a meaningless game, of little scientific value, in the absence of evidence that has already established---unambiguously---why the premises/axioms and rules of deduction can be treated, and categorically communicated, as pre-formal truths in Marcus Pantsar's sense. Consequently, only evidence-based, pre-formal, truth can entail formal provability; and the formal proof of any significant mathematical theorem cannot entail its pre-formal truth as evidence-based. It can only identify the explicit/implicit premises that have been used to evidence the, already established, pre-formal truth of a mathematical proposition. Hence visualising and understanding the evidence-based, pre-formal, truth of a mathematical proposition is the only raison d'etre for subsequently seeking a formal proof of the proposition within a formal mathematical language (whether first-order or second order set theory, arithmetic, geometry, etc.) By this yardstick Andrew Wiles' proof of FLT fails to meet the required, evidence-based, criteria for entailing a true arithmetical proposition. -/- Moreover, we offer two scenarios as to why/how Fermat could have laconically concluded in his recorded marginal noting that FLT is a true arithmetical proposition---even though he either did not (or could not to his own satisfaction) succeed in cogently evidencing, and recording, why FLT can be treated as an evidence-based, pre-formal, arithmetical truth (presumably without appeal to properties of real and complex numbers). It is primarily such a putative, unrecorded, evidence-based reasoning underlying Fermat's laconic assertion which this investigation seeks to reconstruct; and to justify by appeal to a plausible resolution of some philosophical ambiguities concerning the relation between evidence-based, pre-formal, truth and formal provability. (shrink)

Denna artikel är den första i en serie om två artiklar som introducerar astrobiologins filosofi. Detta är ett förhållandevis nytt och i Sverige nästan okänt forskningsfält som dock befinner sig i snabb tillväxt internationellt. Ämnet presenteras här i form av exempel på några centrala frågeställningar inom området. I den här artikeln presenteras några frågeställningar hemmahörande i teoretisk filosofi.

Two powerful arguments have famously dominated the realism debate in philosophy of science: The No Miracles Argument (NMA) and the Pessimistic Meta-Induction (PMI). A standard response to the PMI is selective scientific realism (SSR), wherein only the working posits of a theory are considered worthy of doxastic commitment. Building on the recent debate over the NMA and the connections between the NMA and the PMI, I here consider a stronger inductive argument that poses a direct challenge for SSR: Because it (...) is sometimes exactly the working posits which contradict each other, i.e., that which is directly responsible for empirical success, SSR cannot deliver a general explanation of scientific success. (shrink)

Andrew Wiles' analytic proof of Fermat's Last Theorem FLT, which appeals to geometrical properties of real and complex numbers, leaves two questions unanswered: (i) What technique might Fermat have used that led him to, even if only briefly, believe he had `a truly marvellous demonstration' of FLT? (ii) Why is x^n+y^n=z^n solvable only for n<3? In this inter-disciplinary perspective, we offer insight into, and answers to, both queries; yielding a pre-formal proof of why FLT can be treated as a true (...) arithmetical proposition (one which, moreover, might not be provable formally in the first-order Peano Arithmetic PA), where we admit only elementary (i.e., number-theoretic) reasoning, without appeal to analytic properties of real and complex numbers. We cogently argue, further, that any formal proof of FLT needs---as is implicitly suggested by Wiles' proof---to appeal essentially to formal geometrical properties of formal arithmetical propositions. (shrink)

How do multiple reasons combine to support a conclusion about what to do or believe? This question raises two challenges: How can we represent the strength of a reason? How do the strengths of multiple reasons combine? Analogous challenges about confirmation have been answered using probabilistic tools. Can reductive and nonreductive theories of reasons use these tools to answer their challenges? Yes, or more exactly: reductive theories can answer both challenges. Nonreductive theories, with the help of a result in confirmation (...) theory, can answer one, and there are grounds for optimism that they can answer the other. (shrink)

Our purpose in this paper is to contribute to a practice-based characterization of scientific inference. We want to explore whether Brandom’s pragmatist–inferentialist framework can suitably accommodate several types of ampliative inference common in scientific reasoning and explanation (probabilistic reasoning, abduction and idealisation). First, we argue that Brandom’s view of induction in terms of merely permissive inferences is inadequate; in order to overcome the shortcoming of Brandom’s proposal, we put forward an alternative conception of inductive, probabilistic reasoning by appeal to the (...) notion of degrees of commitment. Moreover, we examine the sorts of inferential commitments operative in other types of ampliative inferences, such as abduction or reasoning involving idealizations and assumptions. We suggest that agents engaging in these forms of reasoning often undertake restricted inferential commitments, whose scope and reach are more limited that in the case of the commitments associated with full beliefs. (shrink)

This paper analyzes three contrasting strategies for modeling intentional agency in contemporary analytic philosophy of mind and action, and draws parallels between them and similar strategies of scientific model-construction. Gricean modeling involves identifying primitive building blocks of intentional agency, and building up from such building blocks to prototypically agential behaviors. Analogical modeling is based on picking out an exemplary type of intentional agency, which is used as a model for other agential types. Theoretical modeling involves reasoning about intentional agency in (...) terms of some domain-general framework of lawlike regularities, which involves no detailed reference to particular building blocks or exemplars of intentional agency. Given the contrasting procedural approaches that they employ and the different types of knowledge that they embody, the three strategies are argued to provide mutually complementary perspectives on intentional agency. (shrink)

How much does rationality constrain what we should believe on the basis of our evidence? According to this book, not very much. For most people and most bodies of evidence, there is a wide range of beliefs that rationality permits them to have in response to that evidence. The argument, which takes inspiration from William James' ideas in 'The Will to Believe', proceeds from two premises. The first is a theory about the basis of epistemic rationality. It's called epistemic utility (...) theory, and it says that what it is epistemically rational for you to believe is what it would be rational for you to choose if you were given the chance to pick your beliefs and, when picking them, you were to care only about their epistemic value. So, to say which beliefs are permitted, we must say how to measure epistemic value, and which decision rule to use when picking your beliefs. The second premise is a claim about attitudes to epistemic risk, and it says that rationality permits many different such attitudes. These attitudes can show up in epistemic utility theory in two ways: in the way you measure epistemic value; and in the decision rule you use to pick beliefs. This book explores the latter. The result is permissivism about epistemic rationality: different attitudes to epistemic risk lead to different choices of prior beliefs; given most bodies of evidence, different priors lead to different posteriors; and even once we fix your attitudes to epistemic risk, if they are at all risk-inclined, there is a range of different priors and therefore different posteriors they permit. (shrink)

There are presently two approaches to the study of well-being. Philosophers typically focus on normative theorizing, attempting to identify the things that are ultimately good for a person, while largely ignoring empirical research. The idea is that empirical attention cannot be directed to the right place without a rigorous theory. Meanwhile, social scientists typically focus on empirical research, attempting to identify the causes and consequences of well-being, while largely ignoring normative theorizing. The idea is that conceptual and theoretical clarity will (...) come with time and more data. This paper argues that neither is a good approach to the study of well-being. The traditional philosophical approach underappreciates the vital importance of empirical investigation, while the atheoretical empirical approach underappreciates the vital importance of normative theorizing. The proposed solution is to bring these methods together. Well-being research should be interdisciplinary. The paper proposes a “conceptual engineering” approach as a novel alternative. This approach involves an iterative process of normative theorizing, empirical investigation, and conceptual revision, with the aim of articulating concepts and theories of well-being that optimally suit particular interests and purposes. (shrink)

L'ingegneria concettuale è una branca della filosofia caratterizzata da un approccio normativo nei confronti della rappresentazione. Assunzione fondamentale è che i nostri dispositivi rappresentazionali possano essere difettosi. Si configura dunque come l'attività che consiste nell'identificare i difetti in tali dispositivi e mettere in atto strategie di miglioramento. Verranno illustrate le questioni fondamentali a cui una teoria di ingegneria concettuale deve rispondere: in cosa consiste esattamente questa attività? Come possiamo attuarla? Quali meccanismi regolano la formazione dei dispositivi rappresentazionali? Possiamo influire su (...) tali meccanismi? Verrà inoltre presentata un'obiezione all'ingegneria concettuale e varie risposte. -/- Conceptual engineering is a branch of philosophy characterised by a normative approach towards representation. The fundamental assumption of it is that our representational devices can be defective. Conceptual engineering is then the activity consisting of identifying the defects of such devices and putting in place ameliorative strategies. This paper illustrates the fundamental issues for a theory of conceptual engineering: what does this activity consist of? How can we implement it? What mechanisms regulate the formation of representational devices? Can we have an influence over those mechanisms? Moreover, it will be presented an objection to conceptual engineering and various responses to it. (shrink)

Despite its central role in our cognitive lives, rational belief revision has received relatively little attention from epistemologists. This dissertation begins to fill that absence. In particular, we explore the phenomenon of defeasible epistemic justification, i.e., justification that can be lost as well as gained by epistemic agents. We begin by considering extant theories of defeat, according to which defeaters are whatever cause a loss of justification or things that somehow neutralize one's reasons for belief. Both of these theories are (...) both extensionally and explanatorily inadequate and, so, are rejected. We proceed to develop a novel theory of defeat according to which defeaters are reasons against belief. According to this theory, the dynamics of justification are explained by the competition between reasons for and reasons against belief. We find that this theory not only handles the counter-examples that felled the previous theories but also does a fair job in explaining the various aspects of the phenomenon of defeat. Furthermore, this theory accomplishes this without positing any novel entities or mechanisms; according to this theory, defeaters are epistemic reasons against belief, the mirror image of our epistemic reasons for belief, rather than sui generis entities. (shrink)

Carnap’s seminal ‘Empiricism, Semantics and Ontology’ makes important use of the notion of a framework and the related distinction between internal and external questions. But what exactly is a framework? And what role does the internal/external distinction play in Carnap’s metaontology? In an influential series of papers, Matti Eklund has recently defended a bracingly straightforward interpretation: A Carnapian framework, Eklund says, is just a natural language. To ask an internal question, then, is just to ask a question in, say, English. (...) To try to ask an external question is to try, absurdly, to ask a question in no language at all. Finding that so trivial an I/e distinction can’t help to explain Carnap’s deflationary metaontology, Eklund is led to attribute to Carnap a view he calls ontological pluralism. In this paper, I show that Eklund misreads Carnap, and I argue that this misreading obscures fundamental features of Carnap’s philosophy. I then defend an account of frameworks as what Carnap called semantical systems, and I place this account in the context of Carnap’s philosophical program of explication. Finally, I discuss the role that frameworks and the I/e distinction play in ESO, showing that ESO provides no reason to attribute the doctrine of ontological pluralism to Carnap. (shrink)

In recent years two different axiomatic characterizations of the intuitive concept of effective calculability have been proposed, one by Sieg and the other by Dershowitz and Gurevich. Analyzing them from the perspective of Carnapian explication, I argue that these two characterizations explicate the intuitive notion of effective calculability in two different ways. I will trace back these two ways to Turing’s and Kolmogorov’s informal analyses of the intuitive notion of calculability and to their respective outputs: the notion of computorability and (...) the notion of algorithmability. I will then argue that, in order to adequately capture the conceptual differences between these two notions, the classical two-step picture of explication is not enough. I will present a more fine-grained three-step version of Carnapian explication, showing how with its help the difference between these two notions can be better understood and explained. (shrink)

What is the significance of empirical moral psychology for metaethics? In this article we take up Michael Ruse’s evolutionary debunking argument against moral realism and reassess it in the context of the empirical state of the art. Ruse’s argument depends on the phenomenological presumption that people generally experience morality as objective. We demonstrate how recent experimental findings challenge this widely-shared armchair presumption and conclude that Ruse’s argument fails. We situate this finding in the recent debate about Carnapian explication and argue (...) that it illustrates the necessary role that empirical moral psychology plays in explication preparation. Moral psychology sets boundaries for reasonable desiderata in metaethics and, therefore, it is necessary for metaethics. (shrink)

The Shape of Agency offers interlinked explanations of the basic building blocks of agency, as well as its exemplary instances. The first part offers accounts of a collection of related phenomena that have long troubled philosophers of action: control over behaviour, non-deviant causation, and intentional action. These accounts build on earlier work in the causalist tradition, and undermine the claims made by many that causalism cannot offer a satisfying account of non-deviant causation, and therefore fails as an account of intentional (...) action. The second part turns to modes of agentive excellence—ways that agents display quality of form—providing a novel account of skill, including an account of the ways that agents display more or less skill. Shepherd discusses the role of knowledge in skill, and concludes that while knowledge is often important, it is inessential. This leads to a discussion of the way that knowledge of action and knowledge of how to act informs action execution. Knowledgeable action includes a unique epistemic underpinning: in knowledgeable action, the agent has authoritative knowledge of what she is doing and how she is doing it when and because she is poised to control her action by way of practical reasoning. (shrink)

The thesis of this article is that the nature of probability is centered on its formal properties, not on any of its standard interpretations. Section 2 is a survey of Bayesian applications. Section 3 focuses on two examples from physics that seem as completely objective as other physical concepts. Section 4 compares the conflict between subjective Bayesians and objectivists about probability to the earlier strident conflict in physics about the nature of force. Section 5 outlines a pragmatic approach to the (...) various interpretations of probability. Finally, Sect. 6 argues that the essential formal nature of probability is expressed in the standard axioms, but more explicit attention should be given to the concept of randomness. (shrink)

This paper gives an explication of our intuitive notion of strength of justification in a controversial debate. It defines a thesis' degree of justification within the bipolar argumentation framework of the theory of dialectical structures as the ratio of coherently adoptable positions according to which that thesis is true over all coherently adoptable positions. Broadening this definition, the notion of conditional degree of justification, i.e.\ degree of partial entailment, is introduced. Thus defined degrees of justification correspond to our pre-theoretic intuitions (...) in the sense that supporting and defending a thesis t increases, whereas attacking it decreases, t's degree of justification. Moreover, it is shown that (conditional) degrees of justification are (conditional) probabilities. Eventually, the paper explains that it is rational to believe theses with a high degree of justification insofar as this strengthens the robustness of one's position. (shrink)

In this dissertation, I address the question of how to construct scientific theories of emotions that are both conceptually sound and empirically fruitful. To do this, I offer an analysis of the main challenges scientific theories of emotions face, and I propose a meta-theoretical framework to construct scientific concepts of emotions as explications of folk emotion concepts. Part I discusses the main challenges theories of emotions in psychology and neuroscience encounter. The first states that a proper scientific theory of emotions (...) must explain all and only the phenomena under the vernacular term ‘emotion’ with a common set of conceptual resources and under an overarching generic concept of emotion. The second demands that each emotion category corresponds to well-coordinated sets of neural, physiological, and behavioral patterns of responses. I argue that none of the best contemporary theories of emotions in psychology and neuroscience overcomes these challenges. As a result, a new theory of emotions is required. In Part II, I develop the meta-theoretical framework to construct a theory of emotions that overcomes the challenges above. First, I propose a pluralistic account of scientific kinds based on different patterns of projection that various disciplines may take to justify inductive inferences. These are essentialist, historical, and social patterns. Each of these patterns provides a framework to construct different types of scientific concepts. I argue that among the frameworks for scientific kinds available, the one that is best suited to explicate emotion concepts is a functional framework. Consequently, I conclude by recommending scientists pursue functionalist theories of emotions over essentialist, historical, or social theories. (shrink)

Scientists often diverge widely when choosing between research programs. This can seem to be rooted in disagreements about which of several theories, competing to address shared questions or phenomena, is currently the most epistemically or explanatorily valuable—i.e. most successful. But many such cases are actually more directly rooted in differing judgments of pursuit-worthiness, concerning which theory will be best down the line, or which addresses the most significant data or questions. Using case studies from 16th-century astronomy and 20th-century geology and (...) biology, I argue that divergent theory choice is thus often driven by considerations of scientific process, even where direct epistemic or explanatory evaluation of its final products appears more relevant. Broadly following Kuhn’s analysis of theoretical virtues, I suggest that widely shared criteria for pursuit-worthiness function as imprecise, mutually-conflicting values. However, even Kuhn and others sensitive to pragmatic dimensions of theory ‘acceptance’, including the virtue of fruitfulness, still commonly understate the role of pursuit-worthiness—especially by exaggerating the impact of more present-oriented virtues, or failing to stress how ‘competing’ theories excel at addressing different questions or data. This framework clarifies the nature of the choice and competition involved in theory choice, and the role of alternative theoretical virtues. (shrink)

Conceptual engineers seek to revise or replace the devices we use to speak and think. If this amounts to an effort to change what natural language expressions mean, conceptual engineers will have a hard time. It is largely unfeasible to change the meaning of e.g. ‘cause’ in English. Conceptual engineers may therefore seem unable to make the changes they aim to make. This is what I call ‘the implementation problem’. In this paper, I argue that the implementation problem dissolves if (...) we expand our view of how conceptual engineers could implement the products of their work. I describe four implementation options: Standing Meaning, Meaning Modulation, Speaker-Meaning and Different Language. I query the feasibility and worth of pursuing these options. Unless each option fails because it is unfeasible or not worthwhile, conceptual engineers do not face an implementation problem worth worrying about. I argue that some of the options are feasible and worthwhile, and therefore, that conceptual engineers do not face an implementation problem worth worrying about. (shrink)

Epistemic injustice is injustice to a person qua knower. In one form of this phenomenon a speaker’s testimony is denied credence in a way that wrongs them. I argue that the received definition of this testimonial injustice relies too heavily on epistemic criteria that cannot explain why the moral concept of injustice should be invoked. I give an account of the nature of the wrong of epistemic injustice that has it depend not on the accuracy of judgments that are used (...) or made in the process of deciding whether to listen to or trust a speaker, but on whether the basis of the decision about a speaker is their reliability or their identity, and the account explains why the latter is a moral wrong. A key difference between the two accounts is how they classify the use of true statistical generalizations connecting identity and reliability. The received view implies that this cannot be an injustice, while the view proposed here implies that it can. As such the new view appears to imply a conflict between moral and epistemic obligations: it is morally wrong to use true statistical generalizations in certain contexts, yet they are part of our evidence, and we are epistemically obligated to take all of our evidence into account. I reconcile these two thoughts without adopting the currently popular view that a belief’s being morally wrong makes it epistemically unjustified, and I argue that following the principle of total evidence encourages epistemic justice rather than thwarting it. (shrink)

Max Deutsch has recently argued that conceptual engineering is stuck in a dilemma. If it is construed as the activity of revising the semantic meanings of existing terms, then it faces an unsurmountable implementation problem. If, on the other hand, it is construed as the activity of introducing new technical terms, then it becomes trivial. According to Deutsch, this conclusion need not worry us, however, for conceptual engineering is ill-motivated to begin with. This paper responds to Deutsch by arguing, first, (...) that there is a third construal of conceptual engineering, neglected by him, which renders it both implementable and non-trivial, and second, that even the more ambitious project of changing semantic meanings is no less feasible than other normative projects we currently pursue. Lastly, the value of conceptual engineering is defended against Deutsch’s objections. (shrink)

I argue that Sarah Sawyer's and Herman Cappelen's recent accounts of how speakers talk and think about the same concept or topic even when their understandings of that concept or topic substantially diverge risk multiplying our metasemantic categories unnecessarily and fail to prove explanatory. When we look more closely at our actual practices of samesaying, we find that speakers with seemingly incompatible formulations of a subject matter take one another to samesay when they are attempting to arrive at a correct (...) understanding of that subject matter. These speakers adopt what I call a prospective externalist perspective on the subject matter in question. I then argue that there are contexts where judgments of samesaying are more routinely defeated because speakers are taking up a perspective I call retrospective internalism. From this perspective, speakers are aiming to render maximally intelligible the linguistic behavior of other speakers that appear to them to deviate from their own. Whether or not we count speakers as samesaying with us will therefore depend on the kind of the perspective we adopt. Different perspectives, it will turn out, often yield different verdicts. On my perspective-based approach, there is no need to hypostatize or inflate our metasemantic taxonomies. (shrink)

The purpose of this paper is to provide a detailed technical protocol analysis of chess masters' evaluative expertise, paying particular attention to the analysis of the structure of their memory process in evaluating foreseen possibilities in games of dynamic equilibrium. The paper has two purposes. First, to publish a results chapter from my DPhil thesis (in revised journal article form) attending to the measurement of foresight in chess masters' evaluation process, testing alternative theories of cognitive expertise in the domain of (...) chess; and second to provide a subset of the technical graphical analysis that corresponds to that measurement to preserve this protocol analysis for access in the academic domain for future studies of expert memory and foresight (e.g., Ericsson & Simon, 1993). The step-by-step protocol analysis consists of: (i) an introduction to foresight cognition as hypothesis testing, (ii) a theoretical review in the domain of chess masters' expertise according to the theoretical frameworks in that field purporting hypotheses relevant to chess masters' evaluative skill processes, and (iii) summary tables and non-parametric statistical analysis corroborating chunking theory frameworks of expert cognition (e.g., DeGroot, 1965; Newell & Simon, 1972; Gobet, 1998; Gobet et al., 2004), and refuting the alternative search-evaluation models (e.g., Holding & Reynolds, 1982). Moreover, the journal article espouses the preservation of the traditional protocol analysis method core to the field of expert cognition (DeGroot, 1969; Kotov, 1971). The full protocol analysis can be found in monograph form here on my SSRN profile in ‘The role of falsification in hypothesis testing’. It takes the form of a specialist population study (e.g., detailed case study work; Luria, 1987). Thus the outline consists of a short introduction, a theoretical methodological review discussing protocol analysis methods for specialist population studies in cognition (with particular attention to the preservation of protocol analysis methods for chess studies in cognition and expert memory/ with a fresh angle on the foresight process), and the full set of protocol analyses with corresponding problem behaviour graphs. A subset of the main results has been published elsewhere (e.g., Cowley & Byrne, 2004; Cowley 2006), receiving scientific and scientific journalistic acclaim (e.g., Nature Online News 2004). (shrink)

It is a well-known fact that mathematics plays a crucial role in physics; in fact, it is virtually impossible to imagine contemporary physics without it. But it is questionable whether mathematical concepts could ever play such a role in psychology or philosophy. In this paper, we set out to examine a rather unobvious example of the application of topology, in the form of the theory of persons proposed by Kurt Lewin in hisPrinciples of Topological Psychology. Our aim is to show (...) that this branch of mathematics can furnish a natural conceptual system for Gestalt psychology, in that it provides effective tools for describing global qualitative aspects of the latter’s object of investigation. We distinguish three possible ways in which mathematics can contribute to this: explanation, explication (construed in the spirit of Carnap) and metaphor. We hold that all three of these can be usefully characterized asthrowing light ontheir subject matter, and argue that in each case this contrasts with the role of explanations in physics. Mathematics itself, we argue, provides something different from such explanations when applied in the field of psychology, and this is nevertheless still cognitively fruitful. (shrink)

According to the deliberative view of democracy, the legitimacy of democratic politics is closely tied to whether the use of political power is accompanied by a process of rational deliberation among the citizenry and their representatives. Critics have questioned whether this level of deliberative capacity is even possible among modern citizenries--due to limitations of time, energy, and differential backgrounds--which therefore calls into question the very possibility of this type of democracy. In my dissertation, I counter this line of criticism, arguing (...) that deliberative democrats and their critics have both idealized the wrong kind of citizen deliberation. Citizen deliberation should not be concerned with the indeterminate project of "translating" abstract democratic principles and values into everyday cases of political problem-solving. Instead, deliberation should take the form of analogy, just as we already find it in everyday politics and affairs. When ordinary citizens use analogies, they do not derive decisions from general principles or values, but they still reason nonetheless. Seen from this analogical perspective, deliberative democracy is already a practical reality to a large degree. When an election is on the horizon, a campaign season arises in which debates, forums, and "barstool" dialogues exponentially increase the amount of citizen deliberation. In these settings, citizens can readily be seen to be mapping analogous past candidates, elections, issues, and problems onto those currently on the ballot so as to reason about them. Consequently, analogical reasoning allows citizens to treat the majority rule mechanisms that proliferate in real politics as "deliberative outlets," which is to say, as catalysts of deliberation akin to the "creative outlets" that catalyze self-expression in the arts. While citizens may recognize majority rule mechanisms as catalysts of deliberation, many democratic theorists will hesitate to embrace this vision of the practical reality of deliberative politics. Isn't analogical reasoning too low in rigor to be placed at the heart of the deliberative ideal? I develop two arguments to explain the foundational role analogy plays in deliberation and to counter such critics. First, I draw on the explosion of research on analogical reasoning over the past two decades to show that it is far more rigorous and systematic than many suppose. Second, I argue that to the extent that citizen deliberation is concerned with rational planning, rather than just reasoning in general, analogical reasoning is logically superior. When we reason about what to do, we make plans that incorporate predictions about what is likely to ensue when a given course of action is selected. However, as soon as predictions enter into deliberation, its underlying logic changes as well. The reason for this change in logic is that as our probabilistic reasoning expands, the probability of its conclusions degenerates. Therefore, when assessing probabilities, we no longer should seek decisions derived from long, elegant chains of reasoning that connect our various options to generalities like values and principles. Instead, what we need is "short and sweet," or terse, humble lines of reasoning, which are more congruent with this form of deliberation. Thus, to the extent that democratic deliberation is involved in rational planning, it calls not for the elegant, deductive kind of reasoning idealized by proponents and critics of deliberative democracy alike. Instead, democratic deliberation calls for the "short and sweet," analogical kind of decision-making we associate with ordinary citizens already. After all, as research has shown, analogies are a much preferred and rigorous way by which even experts engage in probabilistic reasoning. By focusing on analogical reasoning, I therefore conclude that the practical reality of deliberative democracy should be recognized in ways that might ordinarily be dismissed. (shrink)

Using quantitative methods, we investigate the role of logic in analytic philosophy from 1941 to 2010. In particular, a corpus of five journals publishing analytic philosophy is assessed and evaluated against three main criteria: the presence of logic, its role and level of technical sophistication. The analysis reveals that logic is not present at all in nearly three-quarters of the corpus, the instrumental role of logic prevails over the non-instrumental ones, and the level of technical sophistication increases in time, although (...) it remains relatively low. These results are used to challenge the view, widespread among analytic philosophers and labeled here “prevailing view”, that logic is a widely used and highly sophisticated method to analyze philosophical problems. (shrink)

“Conceptual analysis” is a misnomer—it refers, but it does not refer to a method or practice that involves the analysis of concepts. Once this is recognized, many of the main arguments for skepticism about conceptual analysis can be answered, since many of these arguments falsely assume that conceptual analyses target concepts. The present paper defends conceptual analysis from skepticism about its viability and, positively, presents an argument for viewing conceptual analyses as targeting philosophical phenomena, not our concepts of these phenomena.

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

A characterization of epistemic rationality, or epistemic justification, is typically taken to require a process of conceptual clarification, and is seen as comprising the core of a theory of (epistemic) rationality. I propose to explicate the concept of rationality. -/- It is essential, I argue, that the normativity of rationality, and the purpose, or goal, for which the particular theory of rationality is being proposed, is taken into account when explicating the concept of rationality. My position thus amounts to an (...) instrumentalist position about theories of epistemic rationality. Since there are different purposes, or goals, for which theories of rationality are proposed, the method of explication leaves room for different characterizations of rationality. I focus on two such (kinds of) purposes: first, the purpose of guiding the formation (or maintenance) of doxastic states and, second, the purpose of assessing (the formation or maintenance of) doxastic states. I conclude by outlining a pluralistic picture concerning rationality. (shrink)

Recently there has been a trend of moving towards biological and neurocognitive based classifications of mental disorders that is motivated by a dissatisfaction with the syndrome-based classifications of mental disorders. The Research Domain Criteria (indicated with the acronym RDoC) represents a bold and systematic attempt to foster this advancement. However, RDoC faces theoretical and conceptual issues that need to be addressed. Some of these difficulties emerge when we reflect on the plausible reading of the slogan “mental disorders are brain disorders”, (...) that according to proponents of RDoC constitutes one of its main presuppositions. Some authors think that endorsing this idea commits RDoC to a form of biological reductionism. We offer empirical and theoretical considerations for concluding that the slogan above should not be read as a reductionist thesis. We argue, instead, that the slogan has a pragmatic function whose aim is to direct research in psychopathology. We show how this function might be captured in the framework of a Carnapian explication as a methodological tool for conceptual engineering. Thus, we argue that a charitable interpretation of the aims of the proponents of RDoC should be understood as an attempt at providing an explication of the concept of mental disorder in terms of brain disorder whose main goal is to provide a more precise and fruitful notion that is expected to have a beneficial impact on classification, research, and treatment of psychiatric conditions. (shrink)

Philosophical theories of evidence have been on offer, but they are mostly evaluated in terms of all-or-none desiderata — if they fail to meet one of the desiderata, they are not a satisfactory theory. In this thesis, I aim to accomplish three missions. Firstly, I construct a new way of evaluating theories of evidence, which I call a tool-based view. Secondly, I analyse the nature of what I will call the various relevance-mediating vehicles that each theory of evidence employs. Thirdly, (...) I articulate the comparative core of evidential reasoning in the historical sciences, one which is overlooked in major theories of evidence. On the first mission, I endorse a meta-thesis of pluralism on theories of evidence, namely a tool-based view. I regard a theory of evidence as a purpose-specific and setting-sensitive tool which has its own strengths, difficulties and limitations. Among the major theories of evidence I have reviewed, I focus on Achinstein’s explanationist theory, Cartwright’s argument theory and Reiss’s inferentialist account, scrutinising and evaluating them against the purposes they set out and the scope of their applications. On the second mission, I note that there is no such thing as intrinsically ‘being evidence’. Rather, I hold that relevance-mediating vehicles configure data, materials or claims in such ways that some of them are labelled evidence. I identify the relevance-mediating vehicles that the theories of evidence employ. On the final mission, I argue that the likelihoodist account is an appropriate tool for explaining the evidential reasoning in poorly specified settings where likelihoods can be only imprecisely compared. Such settings, I believe, are typical in the historical sciences. Using the reconstruction of proto-sounds in historical linguistics as a case study, I formalise the rationale behind it by means of the law of likelihood. (shrink)

Each day people are presented with circumstances that may require speculation. Scientists may ponder questions such as why a star is born or how rainbows are made, psychologists may ask social questions such as why people are prejudiced, and military strategists may imagine what the consequences of their actions might be. Speculations may lead to the generation of putative explanations called hypotheses. But it is by checking if hypotheses accurately reflect the encountered facts that lead to sensible behaviour demonstrating a (...) true understanding. If evidence shows a hypothesis to be false, then people should rationally abandon it, especially if there are negative consequences. The aim of this thesis is to examine how effectively people search for evidence in their hypothesis testing to test whether or not their hypotheses are true or false in competitive games. -/- Research findings from six studies of hypothesis testing behaviour in competitive deductive tasks are explored. Chapter by chapter the thesis tests how everyday people, and master chess players, tackle hypothesis testing in mathematical tasks, such as how to solve sequential number sequence puzzles when thinking about an opponent, or how to solve chess problems in a variety of contexts. The implications of the results are discussed in light of aspects of general cognition: such as reasoning, social hypothesis testing and planning. (shrink)