‘Bayesian epistemology’ became an epistemological movement in the 20th century, though its two main features can be traced back to the eponymous Reverend Thomas Bayes (c. 1701-61). Those two features are: (1) the introduction of a formal apparatus for inductive logic; (2) the introduction of a pragmatic self-defeat test (as illustrated by Dutch Book Arguments) for epistemic rationality as a way of extending the justification of the laws of deductive logic to include a justification for the laws of inductive logic. (...) The formal apparatus itself has two main elements: the use of the laws of probability as coherence constraints on rational degrees of belief (or degrees of confidence) and the introduction of a rule of probabilistic inference, a rule or principle of conditionalization. (shrink)

Formal learning theory is the mathematical embodiment of a normative epistemology. It deals with the question of how an agent should use observations about her environment to arrive at correct and informative conclusions. Philosophers such as Putnam, Glymour and Kelly have developed learning theory as a normative framework for scientific reasoning and inductive inference.

The glass vase on my desk is fragile. It should be handled with care because it it is likely to shatter or crack if it is knocked, dropped, or otherwise treated roughly. The vase has certain dispositions, for example the disposition to shatter when dropped. But what is this disposition? It seems on the one hand to be a perfectly real property, a genuine respect of similarity common to glass vases, china cups, ancient manuscripts, and anything else fragile. Yet on (...) the other hand my vase's disposition seems mysterious, "ethereal" (as Nelson Goodman (1954) put it) in a way that, say, its size and shape properties are not. For my vase's disposition, it seems, has to do only with its possibly shattering in certain conditions, conditions which I hope will never be realized. In general, it seems that nothing about the actual behavior of an object is ever necessary for it to have the dispositions it has. Many objects differ from each other with respect to their dispositions in virtue of their merely possible behavior, and this is a mysterious way for objects to differ. (shrink)

There have been monumental advances in the study of the social dimensions of knowledge in the late twentieth and early twenty-first centuries. But it has been common within a wide variety of fields--including social philosophy, cognitive science, epistemology, and the philosophy of science--to approach the social dimensions of knowledge as simply another resource to be utilized or controlled. I call this view, in which other people's epistemic significance are only of instrumental value, manipulationism. I identify manipulationism, trace its manifestations in (...) the aforementioned fields, and explain how to move beyond it. The principal strategy that I employ for moving beyond manipulationism consists of synthesizing enactivism and neo-Kuhnian social epistemology. Specifically, I expand the enactivist concept of participatory sense-making by linking it to recent conceptual innovations in social epistemology, such as the concept of immanent cogent argumentation. (shrink)

This project is about the asymmetry of time. The main source of discontent for physicists and philosophers alike is that even though in every physical theory we developed and/or discovered for explaining how the universe functions, the laws are time reversal invariant; there seems to be a very genuine asymmetry between the past and the future. The aim of this project is to examine several attempts to solve this friction between the laws of physics and the asymmetry and provide a (...) new proposal that makes use of modern cosmology. In the recent history of physics and in contemporary philosophy of science there have been several attempts to explain the asymmetry of time and reconcile this asymmetry with time reversal invariant physical laws. David Albert developed one of the most recent attempts at solving the problem in Time and Chance (2000). Albert claims that there is a conclusive solution to the problem of asymmetry of time: namely, combining the laws of mechanics with several novel concepts that he introduces, the most important of which is what he calls "the past hypothesis". Eric Winsberg developed another modern attempt to solve the problem of the asymmetry of time. Winsberg combines Hans Reichenbach's branch systems proposal with a "framework" view of laws to solve the problem. Although this version of the branch systems proposal overcomes several problems associated with Reichenbach's original construction of the proposal, certain aspects of it are still open to critique. Following a brief introduction, my chapters include 1) a history of the problem of the asymmetry of time, in which I provide a historical overview of the issues particularly discussed by Boltzmann and his interlocutors, 2) a detailed evaluation of David Albert's account of the asymmetry of time, where he argues that we can solve all the problems if we use a combination of laws of physics and the past hypothesis, 3) a detailed overview of Eric Winsberg's account that depends a specific way of looking at the laws of physics--the framework view, and 4) my account, which attempts to solve the problem of the asymmetry of time, making extensive use of the developments on modern cosmology, specifically regarding the inflationary mechanism. I claim that if we take into account recent developments in modern cosmology and proposals for laws for initial conditions, then we cannot maintain the metaphysical status of the past hypothesis in Albert's project. Specifically, I argue that in order for a theory to make use of initial conditions of the universe, it has to include a set of laws from modern cosmology pertaining to that initial condition. I defend the position that inflation can supply the source of asymmetry when supported by the aggregate view of laws, which I introduce in the last chapter. The explanation of the asymmetry of time requires the use of dynamical equations from modern cosmology that would produce the boundary conditions. The boundary condition produced in this way would fill in for the source of the asymmetry of time. Consequently, I argue that the explanation of the asymmetry of time is encoded in the laws of modern cosmology. (shrink)

Hume is known for his claim that our idea of causation is nothing beyond constant conjunction, and that our idea of necessary connection is nothing beyond a felt determination of the mind. In short, Hume endorses a "thin" conception of causation and necessary connection. In recent years, however, a sizeable number of philosophers have come to view Hume as someone who believes in the existence of thick causal connections - that is, causal connections that allow one to infer a priori (...) the effect from the cause, and vice versa. Hume doesn't wish to deny such connections, said philosopher's claim, he only seeks to demonstrate that we can't know anything about the nature of the thick causal connections that make up the natural world. In this dissertation, I defend the old or traditional interpretation of Hume on causation. I draw attention to the important but neglected role of clear and distinct perception in Hume's thought, arguing that for Hume our impressions are clear and distinct perceptions, whereas our ideas are faint and obscure. Accordingly, Hume's copy principle - the thesis that our ideas are copies of our impressions - is Hume's way of rendering our naturally obscure and confused ideas distinct. One need only discern the impression from which said ideas are copied. In this way, I show that Hume's opinion concerning our idea of thick causation is that it's an obscure and confused idea, and that the only clear and distinct idea we can have of causation is thin causation. Furthermore, since meaning for Hume is a matter of a word's being associated with an idea, Hume thinks that an expression such as "thick causation" is meaningless or confused. In one sense, then, Hume is a positivist, and as such doesn't believe in thick causal connections. (shrink)

Lewis is famous as a contemporary philosophical system-builder. The most obvious way his philosophy exhibited a system was in its content: Lewis’s metaphysics, for example, provided answers to many metaphysical puzzles in an integrated way, and there are illuminating connections to be drawn between his general metaphysical views and, for example, his various views about the mind and its place in nature.

Often philosophers have reason to ask fundamental questions about the aims, methods, nature, or value of their own discipline. When philosophers systematically examine such questions, the resulting work is sometimes referred to as “metaphilosophy.” Metaphilosophy, it should be said, is not a well-established, or clearly demarcated, field of philosophical inquiry like epistemology or the philosophy of art. However, in the late 20th and early 21st centuries there has been a great deal of metaphilosophical work on issues concerning the methodology of (...) philosophy in the analytic tradition. This article focuses on that work. (shrink)

Powers ontologies are currently enjoying a resurgence. This would be dispiriting news for the moderns; in their eyes, to imbue bodies with powers is to slide back into the scholastic slime from which they helped philosophy crawl. I focus on Descartes’s ‘little souls’ argument, which points to a genuine and, I think persisting, defect in powers theories. The problem is that an Aristotelian power is intrinsic to whatever has it. Once this move is accepted, it becomes very hard to see (...) how humble matter could have such a thing. It is as if each empowered object were possessed of a little soul that directs it and governs its behavior. Instead of attempting to resurrect the Aristotelian power theory, contemporary philosophers would be best served by taking their inspiration from its early modern replacement, devised by John Locke and Robert Boyle. On this view, powers are internal relations, not monadic properties intrinsic to their bearers. This move at once drains away the mysterious directedness of Aristotelian powers and solves the contemporary version of the little souls argument, Neil Williams’s ‘problem of fit.’. (shrink)

Modernism is a mental and intellectual approach by modern human; a mind that became a new change facing life crisis and manifested the various aspects of life using art medium. Modern period started a fundamental change; therefore, the artist converted the art meaning by its stream of consciousness. The author, poet and painter of the modern period embodied the self-concept of surrounding issues using an innovative thought. Achieving differences made the dynamic mind of the modern artist to research in order (...) to create a world free of any representation after its subjective powers. On the other hand, art pundits appeared with new attitudes and express their iconoclastic opinions on representation avoidance concepts in modern art. Gilles Deleuze and Nelson Goodman are 20th century philosophers, who cohered a special paradigm on this period by presenting useful concept. The writer believes that recognition and perception of modern artistic works get a new concept considering opinions of these two great theoretician. Modern literary and visual works, abandoning the former representation tradition, changed to a form of anti-representational and modeling based on the concepts submitted by the mentioned philosophers provided a range of new thoughts. Focusing on painting and literature as two artistic eras, this research tries to renovate a different aspect of representation, by connecting them together. What is to be questioned is, on what concepts was the representation concept in the worldview of artists and theoretician in the modern period based and how it was affected? (shrink)

Quine’s negative theses about meaning and analyticity are well known, but he also defends a positive account of these notions. I explain what his negative and positive views are, and argue that Quine’s positive account of meaning entails that two of his most famous doctrines, namely the claim that there are no analytic statements and the indeterminacy of translation thesis, are false. But I show that the falsity of these doctrines doesn’t affect his criticisms of traditional conceptions of meaning. This (...) is because the class of analytic statements that his account of meaning enables us to isolate is of no philosophical interest, and because we can hold that translation is determined without admitting that meaning is. (shrink)

The problem of act individuation is a debate about the identity conditions of human acts. The fundamental question about act individuation is: how do we distinguish between actions? Three views of act individuation have dominated the literature. First, Donald Davidson and G.E.M. Anscombe have argued that a number of different descriptions refer to a single act. Second, Alvin Goldman and Jaegwon Kim have argued that each description designates a distinct act. Finally, Irving Thalberg and Judith Jarvis Thomson have averred that (...) some acts are sequences of causally related events, which include both a primitive bodily action and some of its effects. All of these accounts have assumed that a simple invariantist account of act individuation captures how ordinary people distinguish between acts. For my dissertation, I devised an experiment to test the action theorists' assumptions. My data show that people's intuitions seem to depend on the valence of the consequences of the action under consideration. So, an invariantist account is not possible. In light of the empirical results, I argue that if we seek a folk account of act individuation, then that account should be able to explain the variability that seems to be present in people's intuitions about different cases. (shrink)

My dissertation explores the ways in which Rudolf Carnap sought to make philosophy scientific by further developing recent interpretive efforts to explain Carnap’s mature philosophical work as a form of engineering. It does this by looking in detail at his philosophical practice in his most sustained mature project, his work on pure and applied inductive logic. I, first, specify the sort of engineering Carnap is engaged in as involving an engineering design problem and then draw out the complications of design (...) problems from current work in history of engineering and technology studies. I then model Carnap’s practice based on those lessons and uncover ways in which Carnap’s technical work in inductive logic takes some of these lessons on board. This shows ways in which Carnap’s philosophical project subtly changes right through his late work on induction, providing an important corrective to interpretations that ignore the work on inductive logic. Specifically, I show that paying attention to the historical details of Carnap’s attempt to apply his work in inductive logic to decision theory and theoretical statistics in the 1950s and 1960s helps us understand how Carnap develops and rearticulates the philosophical point of the practical/theoretical distinction in his late work, offering thus a new interpretation of Carnap’s technical work within the broader context of philosophy of science and analytical philosophy in general. (shrink)

This paper is about conjunctions and disjunctions in the scope of non-doxastic atti- tude verbs. These constructions generate a certain type of ignorance implicature. I argue that the best way to account for these implicatures is by appealing to a notion of contex- tual redundancy (Schlenker, 2008; Fox, 2008; Mayr and Romoli, 2016). This pragmatic approach to ignorance implicatures is contrasted with a semantic account of disjunctions under `wonder' that appeals to exhausti cation (Roelofsen and Uegaki, 2016). I argue that (...) exhausti cation-based theories cannot handle embedded conjunctions, so a pragmatic account of ignorance implicatures is superior. (shrink)

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)

Traditional attempts to delineate the distinctive rationality of modern science have taken it for granted that the purpose of empirical research is to test judgments. The choice of concepts to use in those judgments is therefore seen either a matter of indifference (Popper) or as important choice which must be made, so to speak, in advance of all empirical research (Carnap). I argue that scientific method aims precisely at empirical testing of concepts, and that even the simplest scientific ex- periment (...) or observation results in conceptual change. (shrink)

According to a prevalent view among philosophers formal logic is the philosopher’s main tool to assess the validity of arguments, i.e. the philosopher’s ars iudicandi. By drawing on a famous dispute between Russell and Strawson over the validity of a certain kind of argument – of arguments whose premises feature definite descriptions – this paper casts doubt on the accuracy of the ars iudicandi conception. Rather than settling the question whether the contentious arguments are valid or not, Russell and Strawson, (...) upon discussing the proper logical analysis of definite descriptions, merely contrast converse informal validity assessments rendered explicit by nonequivalent logical for-malizations. (shrink)

This thesis is about the metaphysics of logic. I argue against a view I refer to as ‘logical realism’. This is the view that the logical constants represent a particular kind of metaphysical structure, which I dub ‘logico-metaphysical structure’. I argue instead for a more metaphysically lightweight view of logic which I dub ‘logical expressivism’. -/- In the first part of this thesis (Chapters I and II) I argue against a number of arguments that Theodore Sider has given for logical (...) realism. In Chapter I, I present an argument of his to the effect that logico-metaphysical structure provides the only good explanation of the semantic determinacy of the logical constants. I argue that other explanations are possible. In Chapter II, I present another argument of his to the effect that logico-metaphysical structure is something that comes along with ontological realism: the view that there is a non-language-relative fact of the matter about what exists. I argue that the connection between logical and ontological realism is not as close as Sider makes it out to be. -/- In the second part of this thesis (Chapters III – V) I set out a positive view of the logical constants that can explain both why their meanings are semantically determinate, and why they form part of our vocabulary. On that view, the primary bearers of logical structure are propositional attitudes, and the logical constants are in our language as vehicles for the expression of logically complex propositional attitudes. In Chapter III, I set out an expressivist theory of propositional logic. In Chapter IV, I use this theory to explain how the logical connectives end up having determinate meanings. In Chapter V, I extend the expressivist theory to predicate logic. (shrink)

This article is about a coming project concerning a coherentist approach to ethics in school. The project has two main parts; one theoretical and one empirical. The former focuses on philosophical problems and issues concerning coherentism as a metaethical position in general, and particularly when applied to the field of value education, and the latter aims to study some consequences of a coherentist approach to the study of discussing ethical matters with children.Metaethical coherentism is a position in the discussion about (...) justification of moral judgements. According to coherentism, we build some kind of web in which different moral judgements are connected by some justification‐relation or the like. Some judgements might be more central than others, but these can be justified by the more particular and peripheral ones, and vice versa. Coherentism differs from foundationalism, according to which there are some foundational judgements that are not justified by any other judgements. The rest of our judgements are justified if they are justified by this foundation. We wish to study what benefits a coherentist approach might have in the study of ethical discussions in school. In Sweden, the educational system has as one of its main purposes to mediate a "value foundation" based on "Christian ethical tradition and western humanism" to the pupils. Suppose now that you have a foundationalist approach to ethical discussion in schools, as many seem to have had historically, and that some pupil expresses the judgement that some of his classmates have a lower value than him, due to the colour of their skin. This judgement conflicts with the judgement that the colour of ones skin does not have any bearing of ones value, included in the value foundation of the school. According to a foundationalist, we here have a conflict between foundational values, or so we can suppose. In this case, there is nothing obvious to do to resolve this conflict, because the foundational values cannot be justified; it is supposed that we simply realise the correctness of them by our moral intuition, or the like. A coherentist, on the other side, could point to how these two different judgements gain different amount of justification from other judgements, and thereby hopefully find consensus, and hence dissolve the conflict.Coherentism is not theoretically unproblematic, though. One problem is how to understand the justification‐relation. What does it mean that two propositions justify each other? Philosophers have discussed several different proposals. We give a new proposal, based on some of Arne Naess' theories. With regard to methods for ethical discussion in relation to a coherentistic approach, it seems as a "philosophy with children" approach will seem as a natural choice. (shrink)

Computational complexity is a discipline of computer science and mathematics which classifies computational problems depending on their inherent difficulty, i.e. categorizes algorithms according to their performance, and relates these classes to each other. P problems are a class of computational problems that can be solved in polynomial time using a deterministic Turing machine while solutions to NP problems can be verified in polynomial time, but we still do not know whether they can be solved in polynomial time as well. A (...) solution for the so-called NP-complete problems will also be a solution for any other such problems. Its artificial-intelligence analogue is the class of AI-complete problems, for which a complete mathematical formalization still does not exist. In this chapter we will focus on analysing computational classes to better understand possible formalizations of AI-complete problems, and to see whether a universal algorithm, such as a Turing test, could exist for all AI-complete problems. In order to better observe how modern computer science tries to deal with computational complexity issues, we present several different deep-learning strategies involving optimization methods to see that the inability to exactly solve a problem from a higher order computational class does not mean there is not a satisfactory solution using state-of-the-art machine-learning techniques. Such methods are compared to philosophical issues and psychological research regarding human abilities of solving analogous NP-complete problems, to fortify the claim that we do not need to have an exact and correct way of solving AI-complete problems to nevertheless possibly achieve the notion of strong AI. (shrink)

Quinian bootstrapping is Susan Carey's solution to Fodor’s paradox of concept learning. Carey claims that contrary to Fodor’s view, not all learning amounts to hypothesis testing, and that there are ways in which even primitive concepts can be learned. Recently Georges Rey has argued that Carey’s attempt to refute radical concept nativism is unsuccessful. First it cannot explain how the expressive power of mental representational systems could increase due to learning. Second, both Fodorian circularity charges and Goodmanian problems of indeterminacy (...) apply to Carey’s examples of Quinian bootstrapping. I argue that Carey’s examples of bootstrapping can be amended to escape Fodorian and Goodmanian objections. I suggest some ways to improve on our models of concept learning to this end. I also argue that skill learning is the way for mental representational systems to increase their own expressive power, that is, to enrich their conceptual repertoire beyond what compositionality alone affords. (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)

Over the past 50 years, there has been a great deal of philosophical interest in laws of nature, perhaps because of the essential role that laws play in the formulation of, and proposed solutions to, a number of perennial philosophical problems. For example, many have thought that a satisfactory account of laws could be used to resolve thorny issues concerning explanation, causation, free-will, probability, and counterfactual truth. Moreover, interest in laws of nature is not constrained to metaphysics or philosophy of (...) science; claims about laws play essential roles in areas as diverse as the philosophy of religion (e.g., in the argument from design) and the philosophy of mind (e.g., in the formulation of Davidson’s anomalous monism). In my dissertation, I consider and reject the widely-held thesis that the facts concerning laws can be reduced to the facts concerning the particular entities that the laws “govern,” and that the laws thus have no independent existence. I instead defend a version of nomic primitivism, according to which the facts about laws cannot be reduced to facts that are themselves non-nomic – i.e., to facts that do not fundamentally involve laws, counterfactuals, causes, etc. Insofar as the truth or falsity of reductionism about laws has implications for many of the problems mentioned above, I think that this result should be of interest even to those who who do not work in metaphysics or the philosophy of science. My methodology, which I lay out and defend in Chapter One, is a version of Carnapian explication. This method emphasizes the importance of articulating and maintaining clear distinctions between (1) the vague concept (or concepts) law of nature inherent in ordinary language and scientific practice and (2) the precise analyses of “law of nature” that philosophers have proposed as potential replacements for this concept. I argue that metaphysics-as-explication has clear advantages over rival conceptions of metaphysical methodology; in particular, it allows us to formulate evaluative criteria for metaphysical claims. In Chapter Two, I offer an example of how careful attention to concepts already in use can help resolve philosophical debate. Specifically, I argue that much recent literature has mistakenly assumed that there is only one concept of “law of nature” in use, while there are in fact at least two. Strong laws are the principles pursued by fundamental physics: they are true, objective, and bear distinctive relationships to counterfactuals and explanation. Weak laws, by contrast, lack at least one of these distinctive characteristics but play central roles in both the “special sciences” and in everyday life. In Chapters Three and Four, I offer extended arguments against the two most prominent versions of reductionism about laws – Humeanism and law necessitarianism. According to philosophical Humeans, the laws of nature supervene upon the non-modal, non-nomic facts concerning the behavior of particular things at particular times and places. Law necessitarians, by contrast, argue that the laws are in fact metaphysically necessary, and that which laws there are is determined by a class of primitive, modally loaded facts concerning the essences, natures, or dispositions. I argue that both of these views are mistaken insofar as they disagree with well-entrenched scientific practices and those in favor of reductionism have failed to provided sufficient reason for thinking that these practices should be revised. Much of my argument is focused on the role played by a number of supposed methodological principles, including appeals to intuition, parsimony, and methodological naturalism. While the conclusions of this dissertation are explicitly constrained to laws, many of the arguments should be of interest to those who are concerned about philosophical methodology (especially in the role of intuition in philosophical argument) or the appropriate relation between metaphysics, science, and the philosophy of science. (shrink)

Dual process theorists posit the existence of two distinct types of cognitive processing in order to explain domains of higher cognition such as reasoning and decision-making. Such theories typically allude to co-varying clusters of properties as well as an underlying mechanism or system for each processing type. I will argue that a host of empirical findings cast doubt upon the validity of both theses, and that simpler models of higher cognition—that do not appeal to types of processing—might be preferable.

Recently it has been proposed that humans possess an innate, domain-specific moral faculty, and that this faculty might be fruitfully understood by drawing a close analogy with nativist theories in linguistics. This Linguistic Analogy hypothesizes that humans share a universal moral grammar. In this paper I argue that this conception is deeply flawed. After profiling a recent and appealing account of universal moral grammar, I suggest that recent empirical findings reveal a significant flaw, which takes the form of a dilemma: (...) either there is something wrong with the moral grammar model because we do not actually possess the innate contents it says we have, or the moral grammar model is simply the wrong model of moral cognition. In light of this dilemma, I conclude we ought to be skeptical that the Linguistic Analogy can adequately serve as a general account of moral cognition. (shrink)

One of the main lines of research in algorithmic fairness involves individual fairness (IF) methods. Individual fairness is motivated by an intuitive principle, similar treatment, which requires that similar individuals be treated similarly. IF offers a precise account of this principle using distance metrics to evaluate the similarity of individuals. Proponents of individual fairness have argued that it gives the correct definition of algorithmic fairness, and that it should therefore be preferred to other methods for determining fairness. I argue that (...) individual fairness cannot serve as a definition of fairness. Moreover, IF methods should not be given priority over other fairness methods, nor used in isolation from them. To support these conclusions, I describe four in-principle problems for individual fairness as a definition and as a method for ensuring fairness: (1) counterexamples show that similar treatment (and therefore IF) are insufficient to guarantee fairness; (2) IF methods for learning similarity metrics are at risk of encoding human implicit bias; (3) IF requires prior moral judgments, limiting its usefulness as a guide for fairness and undermining its claim to define fairness; and (4) the incommensurability of relevant moral values makes similarity metrics impossible for many tasks. In light of these limitations, I suggest that individual fairness cannot be a definition of fairness, and instead should be seen as one tool among several for ameliorating algorithmic bias. (shrink)

In , Peter van Inwagen asked a good question. (Asking the right question is often the hardest part.) He asked: what do you have to do to some objects to get them to compose something---to bring into existence some further thing made up of those objects? Glue them together or what?1 Some said that you don’t have to do anything.2 No matter what you do to the objects, they’ll always compose something further, no matter how they are arranged. Thus we (...) learned of the fusion of the coins in our pockets and the Eiffel tower. (shrink)

The dissertation examines the nature and epistemic implications of epistemic source circularity. An argument exhibits this type of circularity when at least one of the premises is produced by a belief source the conclusion says is legitimate, e.g. a track record argument for the legitimacy of sense perception that uses premises produced by sense perception. In chapter one I examine this and several other types of circularity, identifying relevant similarities and differences between them. In chapter two I discuss the differences (...) between internalist and externalist analyses of justification. I examine in detail foundationalist and non-foundationalist versions of internalism, and go on to consider how one might characterize externalism: either negatively, by denying particular internalist theses, or positively, in terms of a theory offering different conditions for justification. I discuss the views of reliabilist foundationalists at length. In chapter three I present the internalist objection to externalism that the latter mistakenly permit one to be justified in believing the conclusion of an epistemic source circular inference. I explain the externalists' response that it is not in virtue of their externalism that they permit epistemic source circularity but rather their foundationalism; thus, internalist foundationalists must permit epistemic source circularity as well. I evaluate the positions of several internalists, most of them explicitly foundationalists, and argue that they too cannot avoid permitting epistemic source circularity. In the final chapter I consider whether such circularity is vicious, even though both internalist and externalist foundationalists permit it. I argue that one can sustain an objection to epistemic source circularity by imposing a non-question-begging requirement on justification and explain how respecting this requirement leads one to a non-foundationalist view. I conclude by considering the objection that question-begging leads to a certain arbitrariness in belief formation that should give the foundationalist pause when it comes to determining, at the beginning of inquiry, which beliefs are justified and which are not. The dissertation is primarily concerned with making clear the possible skeptical and non-skeptical positions one can take towards epistemic source circularity. I do not argue for the truth of a particular metaepistemology. (shrink)

One increasingly popular technique in philosophy might be called the "platitudes analysis": a set of widely accepted claims about a given subject matter are collected, adjustments are made to the body of claims, and this is taken to specify a “role” for the phenomenon in question. (Perhaps the best-known example is analytic functionalism about mental states, where platitudes about belief, desire, intention etc. are together taken to give us a "role" for states to fill if they are to count as (...) mental states.) We then look to our best theory of the world to see where this role is satisfied, if at all. Unfortunately, the platitudes analysis, so characterised, does not seem to help when we are doing fundamental metaphysics—when we want to know what, at base, our world is like (and not merely where things like e.g. the mental would be found in an already-specified ontology). Nevertheless, I will argue that the platitudes analysis, properly understood, does have the materials to help us answer questions in fundamental metaphysics as well. I will explore three different ways it can do so. (shrink)

The notion of strength has featured prominently in recent debates about abductivism in the epistemology of logic. Following Williamson and Russell, we distinguish between logical and scientific strength and discuss the limits of the characterizations they employ. We then suggest understanding logical strength in terms of interpretability strength and scientific strength as a special case of logical strength. We present applications of the resulting notions to comparisons between logics in the traditional sense and mathematical theories.

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)

In this paper, I develop two criticisms of L. Jonathan Cohen's influential a priori argument that human irrationality cannot be experimentally demonstrated. The first is that the argument depends crucially on the concept of a normal human but that no such concept suitable for Cohen's purposes is available. The second is that even if his argument were granted, his thesis of an unimpeachable human capacity for reasoning is not a defense of human reasoning, but rather amounts to the claim that (...) we cannot make any meaningful evaluative claims about human reasoning whatsoever. (shrink)

Philosophers have long tried to understand scientific change in terms of a dynamics of revision within ‘theoretical frameworks,’ ‘disciplinary matrices,’ ‘scientific paradigms’ or ‘conceptual schemes.’ No-one, however, has made clear precisely how one might model such a conceptual scheme, nor what form change dynamics within such a structure could be expected to take. In this paper we take some first steps in applying network theory to the issue, modeling conceptual schemes as simple networks and the dynamics of change as cascades (...) on those networks. The results allow a new understanding of two traditional approaches—Popper and Kuhn—as well as introducing the intriguing prospect of viewing scientific change using the metaphor of selforganizing criticality. (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)

Philosophical work on explanation has focused on the following two topics: theories of explanation, intended to enumerate necessary and sufficient conditions for explanation, and inference to the best explanation as the strongest form of justification for ontological or metaphysical claims. I critically examine the most important philosophical work in both of these areas and defend my own conclusions about the connections between explanation and ontology. I argue that all of our inferences about the nature of the world, in ontology or (...) metaphysics, presuppose criteria for acceptable explanation. I first examine the metaphysics of Plato, Aristotle, and Leibniz, arguing that their metaphysical reasoning was guided by assumptions about the nature of explanation. I also survey some recent work in ontology and find inference to the best explanation offered as the strongest available method of defending existence claims. To conclude this discussion, I offer an original argument for the thesis that all reasoning about existence claims, being nondeductive, presupposes some criteria for acceptable explanations, or a theory of explanation. Carl Hempel and Wesley Salmon have been two of the most influential philosophers offering theories of explanation, and I examine their work with the intention of discovering ontological or metaphysical assumptions shaping their theories of explanation. I argue that Hempel's theory rests on deterministic assumptions, and I argue the Salmon's theory of causality, which he admits supports his theory of explanation, is subject to empiricist criticisms. Theories of explanation typically rest on assumptions about the nature of the world, I argue, and I explain why this is so with an original theory of explanation connecting it to the psychological phenomenon of understanding. We rely on understanding in the identification of explanations, and understanding requires establishing a metaphysical context for an explanandum-event. I end by indicating the possibility of generating vicious justificatory circles through the reciprocal relationship of support between explanation and ontology, and I argue that vicious circles can be avoided only by grounding all ontological reasoning in a fundamental explanatory task of giving order to experience through a system of categories. (shrink)