Philosophers debate about which logical system, if any, is the One True Logic. This involves a disagreement concerning the sufficient conditions that may single out the correct logic among various candidates. This paper discusses whether there are necessary conditions for the correct logic; that is, I discuss whether there are features such that if a logic is correct, then it has those features, although having them might not be sufficient to single out the correct logic. Traditional rationalist arguments suggest that (...) the necessary conditions of thought are necessary and sufficient conditions singling out the correct logical and mathematical theories. In the contemporary debate, Chalmers advocates a view along this line. Jago, analogously, suggests that the necessary conditions for thought—or, as he calls them, our basic epistemic expectations—single out a family of logical and mathematical theories. Warren and Williamson, on the other hand, argue that there are no necessary conditions of thought. I argue that there are necessary conditions for thought, and these are necessary but not sufficient conditions to be the correct logic; indeed, these are features that all logics—correct or incorrect—share. No view we can understand is ruled out by the necessary conditions for thought, but we cannot understand quite any view. Human linguistic and conceptual abilities are genetically constrained, and these constraints are our best guide to the boundaries of logic. Arguing for this, I tackle two dogmas of modern rationalism: namely, the view that the biological constraints of human cognition have no bearing on the boundaries of the epistemic space, and the view that the boundaries of thought coincide with the boundaries of language. (shrink)

Philosophy strives to give us a firmer hold on our concepts. But what about their hold on us? Why place ourselves under the sway of a concept and grant it the authority to shape our thought and conduct? Another conceptualization would carry different implications. What makes one way of thinking better than another? This book develops a framework for concept appraisal. Its guiding idea is that to question the authority of concepts is to ask for reasons of a special kind: (...) reasons for concept use, which tell us which concepts to adopt, adhere to, or abandon, thereby shoring up—or undercutting—the reasons for action and belief that guide our deliberations. Traditionally, reasons for concept use have been sought either in timeless rational foundations or in concepts’ inherent virtues, such as precision and consistency. Against this, the book advances two main claims: that we find reasons for concept use in the conceptual needs we discover when we critically distance ourselves from a concept by viewing it from the autoethnographic stance; and that sometimes, concepts that conflict, or exhibit other vices such as vagueness or superficiality, are just what we need. By considering not what concepts are absolutely best, but what concepts we now need, we can reconcile ourselves to the contingency of our concepts, determine the proper place of efforts to tidy up thought, and adjudicate between competing conceptions of things—even things as contested as liberty or free will. A needs-based approach separates helpful clarification from hobbling tidy-mindedness, and authoritative definition from conceptual gerrymandering. (shrink)

Abstract (German version follows): -/- This paper develops a new proposal for a coherentist business ethic in which ethically justified and empirically supported proposed solutions to economic problems are developed through a coherentist process of adjustments between the three levels of (1) conception of problem and its solution, (2) positive economic theory, and (3) ethical theories. Using an example, it illustrates how in this framework, Homann's business ethics gains in validity and relevance but loses its claim to universality. // -/- (...) Diese Arbeit entwickelt eine kohärentistische Wirtschaftsethik, in der ethisch begründete und empirisch gestützte Lösungsvorschläge für ökonomische Probleme durch einen kohärentistischen Anpassungsprozess zwischen den drei Ebenen (1) Auffassung von Problem und Lösungsansatz, (2) positive ökonomische Theorie, sowie (3) ethischen Theorien erarbeitet werden. Anhand eines Beispiels wird illustriert, wie Homanns Wirtschaftsethik in diesem Rahmen an Validität und Relevanz gewinnt, jedoch ihren Universalitätsanspruch verliert. (shrink)

The notion of domain specificity plays a central role in some of the most important debates in cognitive science. Yet, despite the widespread reliance on domain specificity in recent theorizing in cognitive science, this notion remains elusive. Critics have claimed that the notion of domain specificity can't bear the theoretical weight that has been put on it and that it should be abandoned. Even its most steadfast proponents have highlighted puzzles and tensions that arise once one tries to go beyond (...) an initial intuitive sketch of what domain specificity involves. In this paper, we address these concerns head on by developing an account of what it means for a cognitive mechanism to be domain specific that overcomes the obstacles that have made domain specificity seem so problematic. We then apply this understanding of domain specificity to one of the key debates that it has figured prominently in—the rationalism-empiricism debate concerning the origins of cognitive traits—and introduce several related theoretical notions that work alongside domain specificity in helping to clarify what makes a view more (or less) rationalist. This example illustrates how the notion of domain specificity can, and should, continue to play a central role in ongoing debates in cognitive science. (shrink)

Genealogies of belief have dominated recent philosophical discussions of genealogical debunking at the expense of genealogies of concepts, which has in turn focused attention on genealogical debunking in an epistemological key. As I argue in this paper, however, this double focus encourages an overly narrow understanding of genealogical debunking. First, not all genealogical debunking can be reduced to the debunking of beliefs—concepts can be debunked without debunking any particular belief, just as beliefs can be debunked without debunking the concepts in (...) terms of which they are articulated. Second, not all genealogical debunking is epistemological debunking. Focusing on concepts rather than beliefs brings distinct forms of genealogical debunking to the fore that cannot be comprehensively captured in terms of epistemological debunking. We thus need a broader understanding of genealogical debunking, which encompasses not just epistemological debunking, but also what I shall refer to as metaphysical debunking and ethical debunking. (shrink)

This dissertation begins by addressing the question of when a causal model is apt for deciding questions of actual causation with respect to some target situation. I first provide relevant background about causal models, explain what makes them promising as a tool for analyzing actual causation, and motivate the need for a theory of aptness as part of such an analysis (Chapter 1). I then define what it is for a model on a given interpretation to be accurate of, that (...) is, say only true things about, some target situation. This involves a systematization of various representational principles mentioned and/or discussed throughout the literature into a method of interpretation, which I propose be taken as standard (Chapter 2). Next, I explain and address two reasons for which accuracy as I’ve defined it is insufficient for aptness. The first reason – already discussed in the literature – is the problem of structural isomorphs. In response, I propose the aptness condition of Explicit Partial Mediation (Chapter 3). The second reason – which has yet to be noticed – is the problem of the indeterminacy of accuracy. As I demonstrate, a model is accurate of a target situation only relative to a set of background possibilities – what I call a modal profile. It follows that a model represents a situation only relative to some modal profile or other. I go on to discuss the ramifications of this observation for a theory of actual causation in terms of models. I argue that the relativity be taken at face value and built into our metaphysical account of causation, resulting in a view that I call causal relativism (Chapter 4). I explore one advantage of this view in detail: that the resulting account can defend the principle of strong proportionality against several objections (Chapter 5). Finally, I apply the earlier discussion of aptness to attempts to provide a semantics of counterfactuals in terms of causal models – an interventionist semantics. I show how just as a similarity semantics relies on an opaque notion of similarity, an interventionist semantics relies on an analogous notion of aptness. The challenge of articulating aptness thus undermines the claim that an interventionist semantics avoids representational problems inherent in a similarity semantics (Chapter 6). I close with a recap and suggestions for future research (Chapter 7). -/- . (shrink)

The motivating question of this paper is: ‘How are our beliefs in the theorems of mathematics justified?’ This is distinguished from the question ‘How are our mathematical beliefs reliably true?’ We examine an influential answer, outlined by Russell, championed by Gödel, and developed by those searching for new axioms to settle undecidables, that our mathematical beliefs are justified by ‘intuitions’, as our scientific beliefs are justified by observations. On this view, axioms are analogous to laws of nature. They are postulated (...) to best systematize the data to be explained. We argue that there is a decisive difference between the cases. There is agreement on the data to be systematized in the scientific case that has no analog in the mathematical one. There is virtual consensus over observations, but conspicuous dispute over intuitions. In this respect, mathematics more closely resembles stereotypical philosophy. We conclude by distinguishing two ideas that have long been associated -- realism (the idea that there is an independent reality) and objectivity (the idea that in a disagreement, only one of us can be right). We argue that, while realism is true of mathematics and philosophy, these domains fail to be objective. One upshot of the discussion is that even questions of fundamental physics may fail to be objective in roughly the sense that the question, ‘Is the Parallel Postulate is true?’, understood as one of pure mathematics, fails to be. Another is a kind of pragmatism. Factual questions in mathematics, modality, logic, and evaluative areas go proxy for non-factual practical ones. -/- . (shrink)

Conceptual engineering has been linked by Herman Cappelen to a position called “representational skepticism”, described as one’s refusal to uncritically take over the conceptual representations one is handed. This position is contrasted with an uncritical attitude, called “representational complacency”. Arguably, neither position, or a hybrid of the two, is rationally sustainable. This paper therefore proposes an alternative option, called “critical concept conservatism”, stating that having a concept makes it rational (in a suitable sense of “rational”) for one to retain it, (...) unless there are grounds to question it. Critical concept conservatism avoids the drawbacks of skepticism and complacency; plus, it is independently supported by both positive and negative considerations. Furthermore, it complies with the demanding attitude towards conceptual representations that a conceptual engineer would be expected to have. (shrink)

Dasgupta poses a serious challenge to realism about natural properties. He argues that there is no acceptable explanation of why natural properties deserve the value realists assign to them and are consequently absent of value. In response, this paper defines and defends an alternative non-explanatory account of normativity compatible with realism. Unlike Lewis and Sider, who believe it is sufficient to defend realism solely on realist terms, I engage with the challenge on unfriendly grounds by revealing a tu quoque. Dasgupta (...) and anti-realists face a similar challenge to that directed against realism: one that not only undermines the objection to realism by legitimising non-explanatory normativity but leaves them facing a significant dilemma. (shrink)

Reasoning from inconclusive evidence, or ‘induction’, is central to science and any applications we make of it. For that reason alone it demands the attention of philosophers of science. This Element explores the prospects of using probability theory to provide an inductive logic, a framework for representing evidential support. Constraints on the ideal evaluation of hypotheses suggest that overall support for a hypothesis is represented by its probability in light of the total evidence, and incremental support, or confirmation, indicated by (...) an increased probability given the evidence than otherwise. This proposal is shown to have the capacity to reconstruct many canons of the scientific method and inductive inference. Along the way, significant objections are discussed, such as the challenge from inductive scepticism and the objection that the probabilistic approach makes evidential support arbitrary. (shrink)

Habilitation thesis in psychology. The book consists of a collection of reasoning studies. The experimental investigations will take us from people’s reasoning about probabilities, entailments, pragmatic factors, argumentation, and causality to morality. An overarching theme of the book is norm pluralism and individual differences in rationality research.

I articulate a Global Best-System Account (GBSA) of laws of nature along broadly Mill–Ramsey–Lewis lines. The guiding idea is that the job of laws is to capture real patterns across time—where a pattern is real if it allows to compress information about matters of particular fact. The GBSA’s key ingredient is a definition of ‘best system’ in terms of a ranking method that meets a number of desiderata: it is rigorously defined; it outputs the ranking based on the candidate systems’ (...) epistemic virtues; it is objective, in that the output does not depend on one’s choice of basic concepts; it avoids two trivialization results (by Lewis, and Arrow-Okasha); and it does not appeal to naturalness, or other metaphysical notions in that vicinity. Although the GBSA is independent of the controversial thesis of Humean Supervenience, it satisfies the weaker thesis that laws of nature supervene on the total physical state of the world. Moreover, the resulting notion of lawhood is hyperintensional, unlike the neighboring notion of nomological necessity. Finally, GBSA-laws do not track naturalness, contra the Lewisian orthodoxy. (shrink)

We can infer moral conclusions from nonmoral evidence using a three-step procedure. First, we distinguish the processes generating belief so that their reliability in generating true belief is statistically predictable. Second, we assess the processes’ reliability, perhaps by observing how frequently they generate true nonmoral belief or logically inconsistent beliefs. Third, we adjust our credence in moral propositions in light of the truth ratios of the processes generating beliefs in them. This inferential route involves empirically discovering truths of the form (...) “Process P, which generates belief in moral proposition M, has truth ratio T", and using them to discover probabilities for moral propositions. The inferential route is noncircular, and progress along it is driven fundamentally by induction. (shrink)

Are the distinctions between past, present and future, and the apparent ‘passage’ of time, features of the world in itself, or manifestations of the human perspective? Questions of this kind have been at the heart of metaphysics of time since antiquity. The latter view has much in common with pragmatism, though few in these debates are aware of that connection, and few of the view’s proponents think of themselves as pragmatists. For their part, pragmatists are often unaware of this congenial (...) application of their methodology; some associate pragmatism with the other side of the old debate in the metaphysics of time. In my view, this link between time and pragmatism only scratches the surface of the deep two-way dependencies between these two topics. The human temporal perspective turns out to be deeply implicated not merely in our temporal notions themselves, but in many other conceptual categories – arguably, in fact, in all of them, and in the nature of language and thought. In this way, reflection on our own temporal character vindicates James’ famous slogan for global pragmatism: ‘The trail of the human serpent is thus over everything.’. (shrink)

Logical monism is the view that there is ‘One True Logic’. This is the default position, against which pluralists react. If there were not ‘One True Logic’, it is hard to see how there could be one true theory of anything. A theory is closed under a logic! But what is logical monism? In this article, I consider semantic, logical, modal, scientific, and metaphysical proposals. I argue that, on no ‘factualist’ analysis (according to which ‘there is One True Logic’ expresses (...) a factual claim, rather than an attitude like approval), does the doctrine have both metaphysical and methodological import. Metaphysically, logics abound. Methodologically, what to infer from what is not settled by the facts, even the normative ones. I conclude that the only interesting sense in which there could be One True Logic is noncognitive. The same may be true of monism about normative areas, like moral, epistemic, and prudential ones, generally. (shrink)

The framework of Solomonoff prediction assigns prior probability to hypotheses inversely proportional to their Kolmogorov complexity. There are two well-known problems. First, the Solomonoff prior is relative to a choice of Universal Turing machine. Second, the Solomonoff prior is not computable. However, there are responses to both problems. Different Solomonoff priors converge with more and more data. Further, there are computable approximations to the Solomonoff prior. I argue that there is a tension between these two responses. This is because computable (...) approximations to Solomonoff prediction do not always converge. (shrink)

In this paper I extend the case for a necessitation account of particular laws in Kant's philosophy of science by examining the relation between reason's hypothetical use in the Appendix to the Transcendental Dialectic and the legitimate hypotheses identified in the Doctrine of Method. Building on normative accounts of reason's ideas, I argue that reason's hypothetical use does not describe the connections between objects and their grounds, which lie beyond the reach of the understanding, but merely prescribes the relations between (...) appearances and their conditions, for which the understanding must seek. A legitimate hypothesis, I suggest, is a proposition we hold to be true that fills in one or several of those relations. The problematic character of hypotheses requires that we evaluate our reasons for holding them to be true. While natural modality is grounded in the nature of things, which cannot be fully known, our reasons for assent can and must be grounded on features of objects that are epistemically available to us. (shrink)

Philosophers disagree. A lot. Pervasive disagreement is part of the territory; consensus is hard to find. Some think this should lead us to embrace philosophical skepticism: skepticism about the extent to which we can know, or justifiably believe, the philosophical views we defend and advance. Most philosophers in the literature fall into one camp or the other: philosophical skepticism or philosophical anti-skepticism. Drawing on the insights of hinge epistemology, this paper proposes another way forward, an intermediate position that appeals both (...) to skeptical and anti-skeptical intuitions concerning the possibility and scope of philosophical knowledge. The main advantage of our account is that it’s able to recover some philosophical knowledge while also being compatible with philosophical skepticism. (shrink)

It is a common intuition in scientific practice that positive instances confirm. This confirmation, at least based purely on syntactic considerations, is what Nelson Goodman’s ‘Grue Problem’, and more generally the ‘New Riddle’ of Induction, attempt to defeat. One treatment of the Grue Problem has been made along Bayesian lines, wherein the riddle reduces to a question of probability assignments. In this paper, I consider this so-called Bayesian Grue Problem and evaluate how one might proffer a solution to this problem (...) utilizing what I call a phenomenological approach. I argue that this approach to the problem can be successful on the Bayesian framework. (shrink)

State of art paper on the topic laws of nature, around the problem of identification what is to be a law of nature. The most prominent theories of contemporary philosophical literature are discussed and analysed, such as: the simple regularity theory, from Hume; the Mill-Ramsey-Lewis best systems theory; the Dretske-Tooley-Armstrong theory of laws as relations among universals; Ellis’s essentialist theory; Cartwright’s theory of laws as ceteris paribus laws; the anti-reductionist theories of Lange, Maudlin and Carroll, the anti-realist theories of Mumford, (...) van Fraassen and Giere; etc. (shrink)

Williamson ( 2007 ) argues that philosophers acquire no philosophical knowledge at all by semantic understanding alone. He further argues that the most important method used for achieving philosophical knowledge is through the ‘imaginative simulation’ process some of whose products are neither a priori nor a posteriori but ‘armchair’ knowledge. We argue in this paper that the way Williamson argues against the claim that semantic understanding alone is enough to achieve philosophical knowledge can be paralleled by an exactly similar argument (...) against his view that imaginative simulation alone is enough to achieve philosophical knowledge. Because of the parallel argument, we conclude that Williamson’s argument against semantic understanding shows at most that it is fallible, if used alone, as a method for achieving philosophical knowledge. We also point out a blind spot in Williamson’s argument for his epistemology of modality: a reliable method for achieving knowledge about subjunctive conditionals is not necessarily a reliable method for achieving knowledge about modal statements even if every modal statement is logically equivalent to some subjunctive conditional. Finally, we argue that, with a suitable understanding of ‘understanding the meaning,’ Williamson’s armchair knowledge is nothing but the a priori knowledge of those good-old-days philosophy. (shrink)

Prior research found correlations between reflection test performance and philosophical tendencies among laypeople. In two large studies (total N = 1299)—one pre-registered—many of these correlations were replicated in a sample that included both laypeople and philosophers. For example, reflection test performance predicted preferring atheism over theism and instrumental harm over harm avoidance on the trolley problem. However, most reflection-philosophy correlations were undetected when controlling for other factors such as numeracy, preferences for open-minded thinking, personality, philosophical training, age, and gender. Nonetheless, (...) some correlations between reflection and philosophical views survived this multivariate analysis and were only partially confounded with either education or self-reported reasoning preferences. Unreflective thinking still predicted believing in God whereas reflective thinking still predicted believing that (a) proper names like ‘Santa’ do not necessarily refer to entities that actually exist and (b) science does reveal the fundamental nature of the world. So some robust relationships between reflection and philosophical tendencies were detected even among philosophers, and yet there was clearly more to the link between reflection and philosophy. To this end, demographic and metaphilosophical hypotheses are considered. (shrink)

A belief is valuable when it “gets it right”. This “getting it right” is often understood solely as a matter of truth. But there is a second sense of “getting it right” worth exploring. According to this second sense, a belief “gets it right” when its concepts accurately match the way the world is objectively organized – that is, when its concepts are joint-carving, or have fidelity. In this paper, I explore the relationship between fidelity and epistemic value. While many (...) philosophers (especially metaphysicians) acknowledge fidelity's value, they overlook just how much it might disrupt our understanding of epistemic value. To tease out this disruption, I draw on the Jamesian balance between seeking the truth and avoiding the false. A similar balance must be struck both within the pursuit of fidelity itself (“seeking the joints” and “avoiding the gruesome”) as well as between the pursuit of fidelity and the pursuit of truth. I then give an argument against the claim that truth is the higher epistemic good. (shrink)

This book discusses the problem of mathematical knowledge, and its broader philosophical ramifications. It argues that the problem of explaining the (defeasible) justification of our mathematical beliefs (‘the justificatory challenge’), arises insofar as disagreement over axioms bottoms out in disagreement over intuitions. And it argues that the problem of explaining their reliability (‘the reliability challenge’), arises to the extent that we could have easily had different beliefs. The book shows that mathematical facts are not, in general, empirically accessible, contra Quine, (...) and that they cannot be dispensed with, contra Field. However, it argues that they might be so plentiful that our knowledge of them is intelligible. The book concludes with a complementary ‘pluralism’ about modality, logic and normative theory, highlighting its revisionary implications. Metaphysically, pluralism engenders a kind of perspectivalism and indeterminacy. Methodologically, it vindicates Carnap’s pragmatism, transposed to the key of realism. (shrink)

This paper consists of an investigation of three debates concerning propositional identity: the tension between structured propositions and higher-order logic, the principle Only Logical Circles, and Kaplan’s Paradox. The literature at large has mistaken the consequences of each of these debates. Structuralists are not committed to the claim that identical properties have different extensions; rather, they are committed to existence monism. Only Logical Circles does not preclude the identification of green in terms of grue; some further (and, as of yet, (...) undisclosed) principle is required for that result. And Kaplan’s Paradox does not count against the possible-worlds conception of propositions; it applies to every account of propositions whatsoever. (shrink)

at seek to identify the necessary and sufficient conditions for a work to count as fiction. She argues that this goal cannot really be achieved; instead, she appeals to the notion of genre to distinguish between fiction and nonfiction. This notion is significantly more flex- ible, since it invites us to identify standard—but not necessary—and counter-standard features of works of fiction in light of our classificatory practices. More specifically, Friend argues that the genre of fiction has the genre of nonfiction—and (...) only that genre—as its con- trast class. I will refer to the particular way in which Friend elaborates this claim as the contrast view. I have, nevertheless, the impression that this view unnecessarily narrows down the array of perspectives and attitudes from which we can approach works of fiction. I will thus develop a line of reasoning to the effect that the contrast view should rather be construed as picking out a particular way of relating to works of fiction that lies at the end of a continuum defined by different degrees of reflectivity and estrangement. This implies that the contrast view is false as a general claim about how we experience works of fiction, even though this view may appropriately de- pict a specific way of approaching such works. (shrink)

Readers of Stoic ethics may find ‘benefit’ (ōpheleia) an essential but enigmatic concept. It directly connects to some critical terms of Stoic ethics, such as ‘good’ and ‘virtue,’ but there is no extant discussion of a definition. Beyond the superficial connections, what makes ‘benefit’ beneficial? Why is benefit a good thing? I argue that these essential questions remain unanswerable for a good reason: Stobaeus committed to a specious claim about benefit in his Anthology, which has misguided later commentaries. Either the (...) Stoics themselves made a stronger contrast between sages and inferior people at the cost of coherence, or Stobaeus simply mischaracterized the Stoics’ ideas in his descriptions. This paper aims to clarify Stobaeus’s inaccurate description and reconstruct a coherent and comprehensible interpretation of benefit in the Stoic spirit, with the help of Stoic cosmology. To benefit is to further nature’s agreement. Given the available evidence, I argue that Stoics seem to, or should, be committed to my interpretation. This paper is structured as follows. Section 1 offers a quick background of Stoic ethics. Section 2 discusses two important characteristics of benefit. Section 3 discusses Stobaeus’s description of benefit and inferior people. Section 4 attempts an interpretation of benefit. Finally, Section 5 discusses Inwood and Gerson’s interpretation and argues that it is inadequate. (shrink)

Contemporary psychologism has been amended for most of the objections by its opponents over a century ago. However, some authors still raise doubts about its ability to account for some peculiar properties of logic. In particular, it is argued that the psychological universality of patterns of inferential behavior is not sufficient to account for the normativity of logic. In this paper, I deal with the issue and offer three alternative solutions that do not rely on mere empirical universality. I will (...) use the works of Laurence Jonathan Cohen, Diego Marconi and Marcello D'Agostino, adapting them for the purpose of defending logical psychologism. I will therefore argue that, although more refined work on the subject is needed, contemporary psychologism has the key resources to retain its place in the philosophical debate on the foundations of logic. (shrink)

In debates concerning the consequence argument, it has long been claimed that [McKay, T. J., and D. Johnson. 1996. “A Reconsideration of an Argument Against Compatibilism.” Philosophical Topics 24 (2): 113–122] demonstrated the invalidity of rule (β). Here, I argue that their result is not as robust as we might like to think. First, I argue that McKay and Johnson's counterexample is successful if one adopts a certain interpretation of ‘no choice about’ and if one is willing to deny the (...) conditional excluded middle principle. In order to make this point I demonstrate that (β) is valid on Stalnaker's theory of counterfactuals. This result is important and should not be neglected, I argue, because there is a particular line of objection to the revised formulations of the consequence argument that does not succeed against the original version. (shrink)

I argue against the claim that it is trivial to state that Sidgwick used the method of wide reflective equilibrium. This claim is based on what could be called the Triviality Charge, which is pressed against the method of wide reflective equilibrium by Peter Singer. According to this charge, there is no alternative to using the method if it is interpreted as involving all relevant philosophical background arguments. The main argument against the Triviality Charge is that although the method of (...) wide reflective equilibrium is compatible with coherentism (understood as a form of weak foundationalism) as well as moderate foundationalism, it is not compatible with strong foundationalism. Hence, the claim that a philosopher uses the method of wide reflective equilibrium is informative. In particular, this is true with regard to Sidgwick. (shrink)

This volume collects selected papers delivered at the 15th Conference of the International Society for Utilitarian Studies, which was held at Karlsruhe Institute of Technology in July 2018. It includes papers dealing with the past, present, and future of utilitarianism – the theory that human happiness is the fundamental moral value – as well as on its applications to animal ethics, population ethics, and the future of humanity, among other topics.

Philosophy is a reflective activity. So perhaps it is unsurprising that many philosophers have claimed that reflection plays an important role in shaping and even improving our philosophical thinking. This hypothesis seems plausible given that training in philosophy has correlated with better performance on tests of reflection and reflective reasoning has correlated with demonstrably better judgments in a variety of domains. This article reviews the hypothesized roles of reflection in philosophical thinking as well as the empirical evidence for these roles. (...) This reveals that although there are fairly reliable links between reflection and philosophical judgment among both laypeople and philosophers, the role of reflection in philosophical thinking may nonetheless depend in part on other factors, some of which have yet to be determined. So progress in research on reflection in philosophy may require further innovation in experimental methods and psychometric validation of philosophical measures. (shrink)

This paper is concerned with two concepts of qualitativeness that apply to intensional entities. I propose an account of pure qualitativeness that largely follows the traditional understanding established by Carnap, and try to shed light on its ontological presuppositions. On this account, an intensional entity is purely qualitative iff it does not ‘involve’ any particular. An alternative notion of qualitativeness—which I propose to refer to as a concept of strict qualitativeness—has recently been introduced by Chad Carmichael. However, Carmichael’s definition presupposes (...) a highly fine-grained conception of properties and relations. To eliminate this presupposition, I tentatively suggest a different definition that rests on a concept of perspicuous denotation. In the penultimate section, both concepts of qualitativeness are put to work in distinguishing between different ‘grades’ of qualitative discriminability. (shrink)

Naïve realism is a theory of perception with great explanatory ambitions. It has been influentially argued that, in order to realize these explanatory ambitions, the naïve realist should say that any perception belongs to just one fundamental kind. I think, however, that adopting this commitment does not particularly help the naïve realist to realize her explanatory ambitions, and so is not warranted. This result is significant because once this commitment about fundamental kinds is relinquished, we see that it is possible (...) to develop some new and surprising forms of naïve realism—most notably, what I call pluralist naïve realism. (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)

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

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)

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)

Jonathan Y. Tsou examines and defends positions on central issues in philosophy of psychiatry. The positions defended assume a naturalistic and realist perspective and are framed against skeptical perspectives on biological psychiatry. Issues addressed include the reality of mental disorders; mechanistic and disease explanations of abnormal behavior; definitions of mental disorder; natural and artificial kinds in psychiatry; biological essentialism and the projectability of psychiatric categories; looping effects and the stability of mental disorders; psychiatric classification; and the validity of the DSM's (...) diagnostic categories. The main argument defended by Tsou is that genuine mental disorders are biological kinds with harmful effects. This argument opposes the dogma that mental disorders are necessarily diseases that result from biological dysfunction. Tsou contends that the broader ideal of biological kinds offers a more promising and empirically ascertainable naturalistic standard for assessing the reality of mental disorders and the validity of psychiatric categories. (shrink)

Platonists affirm the existence of abstract mathematical objects, and Nominalists deny the existence of abstract mathematical objects. While there are standard arguments in favor of Nominalism, these arguments fail to account for the necessity of Nominalism. Furthermore, these arguments do nothing to explain why Nominalism is true. They only point to certain theoretical vices that might befall the Platonist. The goal of this paper is to formulate and defend a simple, valid argument for the necessity of Nominalism that seeks to (...) precisify the widespread intuition that mathematical objects are somehow ‘spooky’ or ‘mysterious’. (shrink)

According to the Nomological Argument, observed regularities in nature are best explained by an appeal to a supernatural being. A successful explanation must avoid two perils. Some explanations provide too little structure, predicting a universe without regularities. Others provide too much structure, thereby precluding an explanation of certain types of lawlike regularities featured in modern scientific theories. We argue that an explanation based in the creative, intentional action of a supernatural being avoids these two perils whereas leading competitors do not. (...) Although our argument falls short of a full defense, it does suggest that the Nomological Argument is worthy of philosophical attention. (shrink)

We model scientific theories as Bayesian networks. Nodes carry credences and function as abstract representations of propositions within the structure. Directed links carry conditional probabilities and represent connections between those propositions. Updating is Bayesian across the network as a whole. The impact of evidence at one point within a scientific theory can have a very different impact on the network than does evidence of the same strength at a different point. A Bayesian model allows us to envisage and analyze the (...) differential impact of evidence and credence change at different points within a single network and across different theoretical structures. (shrink)

I examine the views of Thomas Reid with respect to a certain version of the problem of induction: Why are inductions using natural kinds successful, and what justifies them? I argue that while both Reid holds a kind of conventionalist view about natural kinds, this conventionalism has a realistic component which allows him to answer both questions.

In his new book, Logical Form, Andrea Iacona distinguishes between two different roles that have been ascribed to the notion of logical form: the logical role and the semantic role. These two roles entail a bifurcation of the notion of logical form. Both notions of logical form, according to Iacona, are descriptive, having to do with different features of natural language sentences. I agree that the notion of logical form bifurcates, but not that the logical role is merely descriptive. In (...) this paper, I focus on formalization, a process by which logical form, on its logical role, is attributed to natural language sentences. According to some, formalization is a form of explication, and it involves normative, pragmatic, as well as creative aspects. I present a view by which formalization involves explicit commitments on behalf of a reasoner or an interpreter, which serve the normative grounds for the evaluation of a given text. In previous work, I proposed the framework of semantic constraints for the explication of logical consequence. Here, I extend the framework to include formalization constraints. The various constraints then serve the role of commitments. I discuss specific issues raised by Iacona concerning univocality, co-reference and equivocation, and I show how our views on these matters diverge as a result of our different starting assumptions. (shrink)

‘Simplicity’ comes up in different senses in scientific methodology. The simplicity criterion at issue here is relied on in all inductive inference, it’s argued. Therefore, it cannot be inductively...

An Aristotelian philosophy of nature rejects the modern prejudice in favor of the microscopic, a rejection that is crucial if we are to penetrate the mysteries of the quantum world. I defend an Aristotelian model by drawing on both quantum chemistry and recent work on the measurement problem. By building on the work of Hans Primas, using the distinction between quantum and classical properties that emerges in quantum chemistry at the thermodynamic or continuum limit, I develop a new version of (...) the Copenhagen interpretation, a version that is realist, holistic, and hylomorphic in character, allowing for the attribution of fundamental causal powers to human observers and their instruments. I conclude with a critique of non-hylomorphic theories of primitive ontology, including Bohmian mechanics, Everettianism, and GRW mass-density. (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)