Manuel Padilla Cruz has written an excellent response piece (Padilla Cruz 2019) to my initial article (Cull 2019) on dismissive incomprehension, where he raises a number of interesting issues and has put forward a number of excellent ideas for avenues for further research. Here I seek to deepen our understanding of the phenomenon by developing some responses that have come forward in thinking about and discussing dismissive incomprehension, especially in reference to what Padilla Cruz has said. Hopefully this adds to (...) his analysis and helps to provoke the further research we are both interested in seeing. (shrink)

In this paper I suggest a reconstruction of the traditional concepts of con-tinent and incontinent action. This reconstruction proceeds along the lines of a standpoint of bounded rationality. My suggestion agrees with some relevant aspects of Davidson’s treatment of this topic. One of these aspects is that incontinent action is typically signalled by the following two subjective experiences: a feeling of surprise towards one’s own action and a difficulty in understanding oneself; another is that incontinence cannot simply be disposed of (...) in terms of some inability of the agent to avoid “succumbing to temptation”; still another is the view that inconti-nent action is common in real human affairs. But my suggestion dis-agrees with other relevant aspects of Davidson’s treatment of inconti-nence too. In particular, it avoids what I take to be its two major draw-backs. These are a view of continent action that falls prey to a com-pletely unrealistic concept of psychological rationality and the idea that incontinence necessarily involves a dimension of essential irrationality. (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)

An inductive logic is a system of inference that describes the relation between propositions on data, and propositions that extend beyond the data, such as predictions over future data, and general conclusions on all possible data. Statistics, on the other hand, is a mathematical discipline that describes procedures for deriving results about a population from sample data. These results include predictions on future samples, decisions on rejecting or accepting a hypothesis about the population, the determination of probability assignments over such (...) hypotheses, the selection of a statistical model for studying the population, and so on. Both inductive logic and statistics are calculi for getting from the given data to propositions or results that transcend the data. (shrink)

A aceitação ou a escolha de uma teoria científica por parte de uma comunidade científica é um evento ou processo central na dinâmica científica. É, também, um evento ou processo complexo –já que dele participam as teorias, a experiência e alguma forma de relação inferencial entre a teoria e a experiência.

This paper defends Pragmatic Conceptual Analysis , a proposed empirical methodology for explicating philosophical concepts. This methodology attributes to our shared concepts whatever application conditions they would need to have in order best to continue delivering benefits in the ways they have regularly delivered benefits in the past. In the first stage of my argument I argue that Pragmatic Conceptual Analysis has what I call normative authority : we have practical and epistemic reason to adopt the explications that it delivers (...) even if we think doing so requires stipulative revisions in the meanings of our concepts. I then use this normative authority to argue that Pragmatic Conceptual Analysis also has what I call descriptive authority : when we understand concept-meaning in the way we ought to understand it (in the way licensed by the normative authority of Pragmatic Conceptual Analysis) we see that, rather than being revisionary, Pragmatic Conceptual Analysis is a semantically conservative tool that uncovers (what we should think of as being) the meanings our concepts already have. (shrink)

The Linda paradox is a key topic in current debates on the rationality of human reasoning and its limitations. We present a novel analysis of this paradox, based on the notion of verisimilitude as studied in the philosophy of science. The comparison with an alternative analysis based on probabilistic confirmation suggests how to overcome some problems of our account by introducing an adequately defined notion of verisimilitudinarian confirmation.

Predictions about the future and unrestricted universal generalizations are never logically implied by our observational evidence, which is limited to particular facts in the present and past. Nevertheless, propositions of these and other kinds are often said to be confirmed by observational evidence. A natural place to begin the study of confirmation theory is to consider what it means to say that some evidence E confirms a hypothesis H.

In October 2009 I decided to stop doing philosophy. This meant, in particular, stopping work on the book that I was writing on the nature of probability. At that time, I had no intention of making my unfinished draft available to others. However, I recently noticed how many people are reading the lecture notes and articles on my web site. Since this draft book contains some important improvements on those materials, I decided to make it available to anyone who wants (...) to read it. That is what you have in front of you. The account of Laplace’s theory of probability in Chapter 4 is very different to what I said in my seminar lectures, and also very different to any other account I have seen; it is based on a reading of important texts by Laplace that appear not to have been read by other commentators. The discussion of von Mises’ theory in Chapter 7 is also new, though perhaps less revolutionary. And the final chapter is a new attempt to come to grips with the popular, but amorphous, subjective theory of probability. The material in the other chapters has mostly appeared in previous articles of mine but things are sometimes expressed differently here. I would like to say again that this is an incomplete draft of a book, not the book I would have written if I had decided to finish it. It no doubt contains poor expressions, it may contain some errors or inconsistencies, and it doesn’t cover all the theories that I originally intended to discuss. Apart from this preface, I have done no work on the book since October 2009. (shrink)

This paper presents statistical default logic, an expansion of classical (i.e., Reiter) default logic that allows us to model common inference patterns found in standard inferential statistics, including hypothesis testing and the estimation of a populations mean, variance and proportions. The logic replaces classical defaults with ordered pairs consisting of a Reiter default in the first coordinate and a real number within the unit interval in the second coordinate. This real number represents an upper-bound limit on the probability of accepting (...) the consequent of an applied default and that consequent being false. A method for constructing extensions is then defined that preserves this upper bound on the probability of error under a (skeptical) non-monotonic consequence relation. (shrink)

Proponents of Bayesian confirmation theory believe that they have the solution to a significant, recalcitrant problem in philosophy of science. It is the identification of the logic that governs evidence and its inductive bearing in science. That is the logic that lets us say that our catalog of planetary observations strongly confirms Copernicus’ heliocentric hypothesis; or that the fossil record is good evidence for the theory of evolution; or that the 3oK cosmic background radiation supports big bang cosmology. The definitive (...) solution to this problem would be a significant achievement. The problem is of central importance to philosophy of science, for, in the end, what distinguishes science from myth making is that we have good evidence for the content of science, or at least of mature sciences, whereas myths are evidentially ungrounded fictions. The core ideas shared by all versions of Bayesian confirmation theory are, at a good first approximation, that a scientist’s beliefs are or should conform to a probability measure; and that the incorporation of new evidence is through conditionalization using Bayes’ theorem. While the burden of this chapter will be to inventory why critics believe this theory may not be the solution after all, it is worthwhile first to summarize here the most appealing virtues of this simple account. There are three. First, the theory reduces the often nebulous notion of a logic of.. (shrink)

This chapter provides an overview of the issues involved in recent debates about the epistemological relevance of emotions. We first survey some key issues in epistemology and the theory of emotions that inform various assessments of emotions’ potential significance in epistemology. We then distinguish five epistemic functions that have been claimed for emotions: motivational force, salience and relevance, access to facts and beliefs, non-propositional contributions to knowledge and understanding, and epistemic efficiency. We identify two core issues in the discussions about (...) such epistemic functions of emotions: First, even though it is plausible that emotions are involved in epistemic processes, it may be doubted whether they really matter for the normative question of what counts as knowledge or justified belief. Second, some of the epistemic functions claimed for emotions in general may only be attributed to some specifically epistemic emotions, which have been present all along in traditional epistemology, albeit under different labels such as ‘intuitions’. (shrink)

The sheer multitude of criteria of empirical significance has been taken as evidence that the pre-analytic notion being explicated is too vague to be useful. I show instead that a significant number of these criteria—by Ayer, Popper, Przełęcki, Suppes, and David Lewis, among others—not only form a coherent whole, but also connect directly to the theory of definition, the notion of empirical content as explicated by Ramsey sentences, and the theory of measurement; two criteria by Carnap and Sober are trivial, (...) but can be saved and connected to the other criteria by slight modifications. A corollary is that the ordinary language defense of Lewis, the conceptual arguments by Ayer and Popper, the theoretical considerations by Przełęcki, and the practical considerations by Suppes all apply to the same criterion or closely related criteria. Furthermore, the equivalence of some criteria allows for their individual justifications to be taken cumulatively and, together with the entailment relations between nonequivalent criteria, suggest criteria for general auxiliary assumptions, comparative criteria, and more liberal conceptions of observation. (shrink)

The analysis and theorizing about concepts like “knowledge” and “justification” has played a central role in much of epistemology in the past half century. This dissertation argues for the claim that we should understand this conceptual concern as one of design. Concepts are tools and the concepts of interest to epistemologists must be those that we can best use in service of our epistemic interests. On this understanding of the conceptual project, we determine the content of epistemic concepts, not by (...) consulting our naïve linguistic intuitions, but by determining what concepts will best help us express and enforce the epistemic norms that serve our interests. The determination of what concepts will do this job best will pull on information from many empirical sources like psychology and sociology. It will also require some means of determining what our epistemic interests are. In defending this view of the methodology of epistemology, we examine how one might go about designing and thinking about the purposes of an example epistemic concept: “epistemic ought”. We also consider how thinking about things from a design prospective can help in the determination of our epistemic interests by considering how design considerations feature in the debate between scientific realism and anti-realism. We also examine and respond to a few potential problems for this methodological view from Selim Berker’s arguments against epistemic teleology to problems with the design method’s potentially problematically self-undermining or self-reinforcing character. Advisor: David Henderson. (shrink)

This thesis focuses on models of conceptual change in science and philosophy. In particular, I developed a new bootstrapping methodology for studying conceptual change, centered around the formalization of several popular models of conceptual change and the collective assessment of their improved formal versions via nine evaluative dimensions. Among the models of conceptual change treated in the thesis are Carnap’s explication, Lakatos’ concept-stretching, Toulmin’s conceptual populations, Waismann’s open texture, Mark Wilson’s patches and facades, Sneed’s structuralism, and Paul Thagard’s conceptual revolutions. (...) -/- In order to analyze and compare the conception of conceptual change provided by these different models, I rely on several historical reconstructions of episodes of scientific conceptual change. The historical episodes of scientific change that figure in this work include the emergence of the morphological concept of fish in biological taxonomies, the development of scientific conceptions of temperature, the Church-Turing thesis and related axiomatizations of effective calculability, the history of the concept of polyhedron in 17th and 18th century mathematics, Hamilton’s invention of the quaternions, the history of the pre-abstract group concepts in 18th and 19th century mathematics, the expansion of Newtonian mechanics to viscous fluids forces phenomena, and the chemical revolution. I will also present five different formal and informal improvements of four specific models of conceptual change. I will first present two different improvements of Carnapian explication, a formal and an informal one. My informal improvement of Carnapian explication will consist of a more fine-grained version of the procedure that adds an intermediate, third step to the two steps of Carnapian explication. I will show how this novel three-step version of explication is more suitable than its traditional two-step relative to handle complex cases of explications. My second, formal improvement of Carnapian explication will be a full explication of the concept of explication itself within the theory of conceptual spaces. By virtue of this formal improvement, the whole procedure of explication together with its application procedures and its pragmatic desiderata will be reconceptualized as a precise procedure involving topological and geometrical constraints inside the theory of conceptual spaces. My third improved model of conceptual change will consist of a formal explication of Darwinian models of conceptual change that will make vast use of Godfrey-Smith’s population-based Darwinism for targeting explicitly mathematical conceptual change. My fourth improvement will be dedicated instead to Wilson’s indeterminate model of conceptual change. I will show how Wilson’s very informal framework can be explicated within a modified version of the structuralist model-theoretic reconstructions of scientific theories. Finally, the fifth improved model of conceptual change will be a belief-revision-like logical framework that reconstructs Thagard’s model of conceptual revolution as specific revision and contraction operations that work on conceptual structures. -/- At the end of this work, a general conception of conceptual change in science and philosophy emerges, thanks to the combined action of the three layers of my methodology. This conception takes conceptual change to be a multi-faceted phenomenon centered around the dynamics of groups of concepts. According to this conception, concepts are best reconstructed as plastic and inter-subjective entities equipped with a non-trivial internal structure and subject to a certain degree of localized holism. Furthermore, conceptual dynamics can be judged from a weakly normative perspective, bound to be dependent on shared values and goals. Conceptual change is then best understood, according to this conception, as a ubiquitous phenomenon underlying all of our intellectual activities, from science to ordinary linguistic practices. As such, conceptual change does not pose any particular problem to value-laden notions of scientific progress, objectivity, and realism. At the same time, this conception prompts all our concept-driven intellectual activities, including philosophical and metaphilosophical reflections, to take into serious consideration the phenomenon of conceptual change. An important consequence of this conception, and of the analysis that generated it, is in fact that an adequate understanding of the dynamics of philosophical concepts is a prerequisite for analytic philosophy to develop a realistic and non-idealized depiction of itself and its activities. (shrink)

State of the art paper on the problem of induction: how to justify the conclusion that ‘all Fs are Gs’ from the premise that ‘all observed Fs are Gs’. The most prominent theories of contemporary philosophical literature are discussed and analysed, such as: inductivism, reliabilism, perspective of laws of nature, rationalism, falsificationism, the material theory of induction and probabilistic approaches, according to Carnap, Reichenbach and Bayesianism. In the end, we discuss the new problem of induction of Goodman, raised by the (...) grue predicate. (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)

Changing concepts comes with a risk of creating merely verbal disputes. Accounts of topic continuity (such as Herman Cappelen’s) are supposed to solve this problem. As this paper shows, however, no existing solution avoids the danger of mere verbalness. On the contrary, accounts of topic continuity in fact increase the danger of overlooking merely verbal disputes between pre- and post-ameliorators. Ultimately, this paper suggests accepting the danger of mere verbalness resulting from a change in topic as a downside of conceptual (...) engineering. Changing the topic under discussion may be worth the risk, however, in many cases. In fact, this paper proposes that the main goal of conceptual engineering should be seen as changing topics for the better. (shrink)

Bayesian confirmation theory—abbreviated to in these notes—is the predominant approach to confirmation in late twentieth century philosophy of science. It has many critics, but no rival theory can claim anything like the same following. The popularity of the Bayesian approach is due to its flexibility, its apparently effortless handling of various technical problems, the existence of various a priori arguments for its validity, and its injection of subjective and contextual elements into the process of confirmation in just the places where (...) critics of earlier approaches had come to think that subjectivity and sensitivity to context were necessary. (shrink)

In science and philosophy, a relatively demanding notion of understanding is of central interest: an epistemic subject understands a subject matter by means of a theory. This notion can be explicated in a way which resembles JTB analyses of knowledge. The explication requires that the theory answers to the facts, that the subject grasps the theory, that she is committed to the theory and that the theory is justified for her. In this paper, we focus on the justification condition and (...) argue that it can be analyzed with reference to the idea of a reflective equilibrium. (shrink)

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)

Ordinary Language Philosophy has largely fallen out of favour, and with it the belief in the primary importance of analyses of ordinary language for philosophical purposes. Still, in their various endeavours, philosophers not only from analytic but also from other backgrounds refer to the use and meaning of terms of interest in ordinary parlance. In doing so, they most commonly appeal to their own linguistic intuitions. Often, the appeal to individual intuitions is supplemented by reference to dictionaries. In recent times, (...) Internet search engine queries for expressions of interest have become quite popular. Apparently, philosophers attempt to surpass the limits of their own linguistic intuitions by appealing to experts or to factual uses of language. I argue that this attempt is commendable but that its execution is wanting. Instead of appealing to dictionaries or Internet queries, philosophers should employ computer-based linguistic corpora in order to confirm or falsify hypotheses about the factual use of language. This approach also has some advantages over methods employed by experimental philosophers. If the importance of ordinary language is stressed, the use of linguistic corpora is hardly avoidable. (shrink)

The Full Bayesian Significance Test (FBST) for precise hypotheses is presented, with some applications relevant to reliability theory. The FBST is an alternative to significance tests or, equivalently, to p-ualue.s. In the FBST we compute the evidence of the precise hypothesis. This evidence is the probability of the complement of a credible set "tangent" to the sub-manifold (of the para,rreter space) that defines the null hypothesis. We use the FBST in an application requiring a quality control of used components, based (...) on remaining life statistics. (shrink)

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.

It is elementary logic, that a precondition for a sentence to be a scientifc proposition is that it have a truth value (the latter, potentially determinable with reference to empirical evidence); and a precondition that it have a truth value, is that it have a sense. It is argued, herein, that, in consequence of ambiguity attendant to the grounds of ascription of the focal term, psychopathy (and cognates), linguistic expressions relating to the issues of the existence- and causes- of psychopathy, (...) are absent a sense; in consequence, are not adjudicable in terms of empirical evidence. Preliminary conceptual elucidations, preconditional for a dissolution of the ambiguity, and, hence, the entry of the issues into a fruitful, cumulative, line of empirical investigation, are undertaken. (shrink)

In this BA dissertation, I deploy examples of non-causal explanations of physical phenomena as evidence against the view that causal models of explanation can fully account for explanatory practices in science. I begin by discussing the problems faced by Hempel’s models and the causal models built to replace them. I then offer three everyday examples of non-causal explanation, citing sticks, pilots and apples. I suggest a general form for such explanations, under which they can be phrased as inductive-statistical arguments incorporating (...) plausible assumptions. I then show the applicability of this form to explanatory practices in thermal physics. I explore the possibility that population genetics provides a similar form of explanation, and offer a novel defence of the statistical interpretation of population genetics proposed by Matthen and Ariew (2002). I close with remarks concerning how, when faced with competing causal and non-causal explanations of the same phenomenon, we can perform an Inference to the Best Explanation. (shrink)

The central problem of the dissertation concerns the possibility of a distinction between truth-evaluable and non-truth-evaluable utterances of a natural language. The class of truth-evaluable utterances includes assertions, con. ectures and other kinds of speech act susceptible of truth evaluation. The class of non-truth-evaluable utterances includes commands, exhortations, wishes i.e. utterances not evaluated as being true or false. The problem is placed in the context of radical interpretation theory and it shown that it is a substantial problem of Davidson‘s early (...) theory of radical interpret at ion. I consider the possibility of distinguishing between locutionary and illocutionary act in uttering a sentence and its significance in the present project. I discuss the suggestion that the mood of the verb of the sentence signifies the required distinction between truth-evaluable utterances and non-truth-evaluable ones. I argue that no criterion for the distinction based on the mood of the verb is adequate. The solution that I propose to the problem of classifylng truth-evaluable utterances appeals to mental states. The view that grounds this line of inquiry is that the truth-evaluability of an utterance is a characteristic of it exclusively relevant to the doxastic dimension of the speaker’s mind. I discuss the constraints that the nature of radical interpretation puts upon the way we construe the notion of belief. I propose that a possible classification of mental states into doxastic and non-doxastic that would result in a classification of utterances into truth-evaluable and non-truthevaluable ones can be given by an elaborated version of a decision theoretic scheme. I suggest that a decision theoretic scheme based on a decision theory that, like Savage’s theory, grants independence axioms is a better candidate to offer a solution to the central problem of the dissertation than a scheme based on a non- standard decision theory such as Richard Jeffrey’s. I conclude by showing that the proposal I make satisfies the constraints I have considered and that it can be accommodated by a radical interpretation theory. (shrink)

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)

The present paper first shows that the validity of deductive-nomological (D-N) explanations (systematizations) depends in general on the interpretation context of the predicates involved in the explanation. Therefore, no logical-semantical model can be adequate. This problem is solved by relativisation of the validity criteria on both the confirmation context and the definition context of the premisses. Based upon this, a logical-pragmatical model of D-N explanation is developed. Thereby, especially explanations of laws and global explanations are taken into consideration, since these (...) can be regarded as prototypes of scientific explanation. (shrink)

There are many important dimensions of epistemic evaluation, one of which is justification. We don’t just evaluate beliefs for truth, reliability, accuracy, and knowledge, but also for justification. However, in the epistemological literature, there is much disagreement about the nature of justification and how it should be understood. One of the controversies that has separated the contemporary epistemological discourse into two opposing camps has to do with the internalism-externalism distinction. Whereas internalists defend certain core assumptions about justification from the pre-Gettier (...) tradition, externalists generally think that the traditional conception is untenable and should be replaced. In this compilation thesis, I argue for, defend, and develop a particular brand of internalism, both in general and with respect to specific sources of justification. In papers 1 and 2, I defend a couple of well-known arguments for mentalism and accessibilism. Moreover, I also point out how prominent versions of these theses are vulnerable to serious problems (e.g., about over-intellectualization and vicious regresses). Part of my goal in the first couple of papers is to figure out what commitments the internalist should take on in order to avoid the externalist's objections, while at the same time receiving support from considerations that have motivated internalism in the past. In papers 3 and 4, I start from the assumption that mentalism is true and attempt to answer the following questions: 1) which non-factive mental states can play a justification-conferring role with respect to empirical belief? And 2) why does this set of states play the epistemic role it does? In response to question 1, I argue that all and only one's beliefs and perceptual experiences have justificatory relevance. In response to question 2, I argue that one's beliefs and perceptual experiences are one's strongly representational states, and that strongly representational states necessarily provide support to certain empirical propositions. Having done so, I then defend mentalism about scientific evidence from a couple of prominent objections in the recent literature. Lastly, in papers 5 and 6, I argue for a particular brand of internalism about testimonial and memorial justification and show how that position has a dialectical advantage over its main competitors. (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)

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)

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)

Laboratory experimentation was once considered impossible or irrelevant in economics. Recently, however, economic science has gone through a real ‘laboratory revolution’, and experimental economics is now a most lively subfield of the discipline. The methodological advantages and disadvantages of controlled experimentation constitute the main subject of this thesis. After a survey of the literature on experiments in philosophy and economics, the problem of testing normative theories of rationality is tackled. This philosophical issue was at the centre of a famous controversy (...) in decision theory, during which a methodology of normative falsification was first articulated and used to assess experimental results. In the third chapter, the methodological advantages of controlled experimentation are illustrated and discussed with examples taken from the experiments on the so-called ‘preference reversal’ phenomenon. Laboratory testing allows to establish with a high degree of certainty that certain phenomena lie behind the experimental data, by means of independent testing, elimination of alternative hypotheses, and the use of different instruments of observation. The fourth chapter is devoted to a conceptual analysis of the problem of ‘parallelism’. This is the problem of inferring from the occurrence of a phenomenon in the laboratory, to its instantiation also in non-laboratory environments. Experimental economists have discussed parallelism at length, and their views are presented and criticised. Eventually, it is argued that parallelism is a factual matter and as such can only be established on empirical grounds. The fifth chapter provides an example of how one can argue for parallelism, focusing on the case of experimentation on the ‘winner’s curse’ phenomenon. The role of experiments as ‘mediators’ between theoretical models and their target domain of application is illustrated, and the structure of parallelism arguments analysed in detail. Finally, in the last chapter, economic experiments are compared to simulations, in order to highlight their specific characteristics. (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)

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)

Part I of the dissertation examines the cognitive aspects of autonomy. The central question concerns what kind of cognitive capacity autonomy is. It will be argued that the concept of autonomy is best understood in terms of a metacognitive capacity of the individual. It is argued that metacognition has two components: procedural reflexivity and metarepresentation. Metarepresentation in turn can be divided into inferential reflexivity and other-attributiveness. These two components are essential for autonomy. Particular emphasis is put on procedural reflexivity. Further, (...) since the essential function of metacognition is control, it is argued that the concept of autonomy, understood as a metacognitive capacity, can be interpreted in terms of control. Issues arising from empirical data from neuroscience on functional, as well as impaired, metacognition, and on undermined autonomy, are dealt with. It is argued that autonomy cannot be determined with respect to subjective conditions. Neurological impairments, like Anton’s Syndrome, dementia, and thought insertion in schizophrenia, are put forward in support of this claim. To determine autonomy we require external conditions. In order to determine whether an individual is autonomous, both the metacognitive status of the individual and the external setting must be considered, since they are in interplay and consequently influence each other. In Part II, the analysis put forward in Part I is applied to Swedish healthcare. It is argued that the distinction between autonomy as a right and as a capacity must be explicit in order to understand what autonomy means and to deal with it effectively in healthcare practice. A discussion about whether or not the patient’s right to autonomy sometimes tends to be over-emphasized in healthcare is put forward. Special emphasis is placed on psychitaric issues such as deinstitutionalization and participation. Following the closure of the mental hospitals, deinstitutionalization and community-based care have become central topics in psychiatry. At the same time, the implementation of such care can be demanding for patients suffering from a persistent mental disorder. In part II it is also suggested that the metacognitive account of the concept of autonomy might help clarify the criteria governing coercive care. Finally, some suggestions concerning developments and improvements in Swedish healthcare, especially in psychiatry, where the concept of autonomy is important but problematic, are put forward. (shrink)

Bayesian epistemology addresses epistemological problems with the help of the mathematical theory of probability. It turns out that the probability calculus is especially suited to represent degrees of belief (credences) and to deal with questions of belief change, confirmation, evidence, justification, and coherence. Compared to the informal discussions in traditional epistemology, Bayesian epis- temology allows for a more precise and fine-grained analysis which takes the gradual aspects of these central epistemological notions into account. Bayesian epistemology therefore complements traditional epistemology; it (...) does not re- place it or aim at replacing it. (shrink)

The aim of the paper is to develop general criteria of argumentative validity and adequacy for probabilistic arguments on the basis of the epistemological approach to argumentation. In this approach, as in most other approaches to argumentation, proabilistic arguments have been neglected somewhat. Nonetheless, criteria for several special types of probabilistic arguments have been developed, in particular by Richard Feldman and Christoph Lumer. In the first part (sects. 2-5) the epistemological basis of probabilistic arguments is discussed. With regard to the (...) philosophical interpretation of probabilities a new subjectivist, epistemic interpretation is proposed, which identifies probabilities with tendencies of evidence (sect. 2). After drawing the conclusions of this interpretation with respect to the syntactic features of the probability concept, e.g. one variable referring to the data base (sect. 3), the justification of basic probabilities (priors) by judgements of relative frequency (sect. 4) and the justification of derivative probabilities by means of the probability calculus are explained (sect. 5). The core of the paper is the definition of '(argumentatively) valid derivative probabilistic arguments', which provides exact conditions for epistemically good probabilistic arguments, together with conditions for the adequate use of such arguments for the aim of rationally convincing an addressee (sect. 6). Finally, some measures for improving the applicability of probabilistic reasoning are proposed (sect. 7). (shrink)

Este trabajo enfoca uno de los aspectos más problemáticos para el análisis de las ciencias actuales: la discusión acerca de la evaluación de las ciencias y sus consecuencias para la actividad científica. En este escenario, asume como objeto de su análisis el intento de colocar en nuevas bases el debate sobre un mundo posible: la evaluación social de la ciencia. En este ámbito, cabe notar, la comunidad científica – comunidad científica estándar – siempre se ha mantenido como el punto básico (...) de la evaluación de la ciencia y de toda la actividad científica. (shrink)

Abstract. Richard Feldman’s Uniqueness Thesis holds that “a body of evidence justifies at most one proposition out of a competing set of proposi- tions”. The opposing position, permissivism, allows distinct rational agents to adopt differing attitudes towards a proposition given the same body of evidence. We assess various motivations that have been offered for Uniqueness, including: concerns about achieving consensus, a strong form of evidentialism, worries about epistemically arbitrary influences on belief, a focus on truth-conduciveness, and consequences for peer disagreement. (...) We argue that each of these motivations either misunderstands the commitments of permissivism or is question-begging. Better understanding permissivism makes it a much more plausible position. (shrink)

Mind-body problemet analyseras i ett reduktionistiskt perspektiv. Genom att kombinera emergensbegreppet med algoritmisk informationsteori visas i ett tankeexperiment att ett starkt epistemiskt emergent system kan konstrueras utifrån en relativt enkel, ickelinjär process. En jämförelse med hjärnans avsevärt mer komplexa neurala nätverk visar att även medvetandet kan karakteriseras som starkt epistemiskt emergent. Därmed är reduktionistisk förståelse av medvetandet inte möjlig; mind-body problemet har alltså inte en reduktionistisk lösning. Medvetandets ontologiskt emergenta karaktär kan därefter konstateras utifrån en kombinatorisk analys; det är därmed (...) principiellt oreducerbart till lägre-nivå-fenomen. I perspektivet av en modifierad definition av fri vilja diskuteras den fysiska växelverkan som äger rum i hjärnans neurala system. Trots att enskilda neurala lägre-nivå-processer är deterministiska, kan globala processer visas vara icke- deterministiska i ontologisk mening. Vi argumenterar för att detta leder till viljans frihet. (shrink)