Sentience is the capacity to have feelings, such as feelings of pain, pleasure, hunger, thirst, warmth, joy, comfort and excitement. It is not simply the capacity to feel pain, but feelings of pain, distress or harm, broadly understood, have a special significance for animal welfare law. Drawing on over 300 scientific studies, we evaluate the evidence of sentience in two groups of invertebrate animals: the cephalopod molluscs or, for short, cephalopods (including octopods, squid and cuttlefish) and the decapod crustaceans or, (...) for short, decapods (including crabs, lobsters and crayfish). We also evaluate the potential welfare implications of current commercial practices involving these animals. (shrink)

The sentence "The boss fired the employee who is always late" invites the defeasible inference that the speaker is attempting to convey that the lateness caused the firing. We argue that such inferences cannot be understood in terms of familiar approaches to extrasemantic enrichment such as implicature, impliciture, explicature, or species of local enrichment already in the literature. Rather, we propose that they arise from more basic cognitive strategies, grounded in processes of coherence establishment, that thinkers use to make sense (...) of the world. Attention to such cases provides a richer and more varied landscape of extrasemantic enrichment than has been appreciated to date. (shrink)

This editorial introduces the Journal of Consciousness Studies special issue on "Animal Consciousness". The 15 contributors and co-editors answer the question "How should we study animal consciousness scientifically?" in 500 words or fewer.

In a new study, Ben-Haim et al. use subliminal stimuli to separate conscious and unconscious perception in macaques. A programme of this type, using a range of cognitive tasks, is a promising way to look for conscious perception in more controversial cases.

We consider the relationship between neural and behavioural evidence for animal consciousness. We critically examine two recent studies: one neural and one behavioural. The first, on crows, finds different neural activity depending on whether a stimulus is reported as seen or unseen. However, to implicate this neural activity in consciousness, we must assume that a specific conditioned behaviour is a report of conscious experience. The second study, on macaques, records behaviours strikingly similar to patterns of conscious and unconscious perception in (...) humans. However, confounds are only ruled out in human subjects, presupposing substantial neural similarity between humans and macaques. Taken together, the two studies reveal a sense in which neural and behavioural research rely on each other. Looking ahead, these two types of evidence could prove to be either mutually reinforcing or mutually undermining. The science of animal consciousness needs both neural and behavioural evidence, ideally obtained as part of a single coordinated programme. (shrink)

Kim Sterelny's book The Pleistocene social contract provides an exceptionally well-informed and credible narrative explanation of the origins of inequality and hierarchy. In this essay review, we reflect on the role of rational choice theory in Sterelny's project, before turning to Sterelny's reasons for doubting the importance of cultural group selection. In the final section, we compare Sterelny's big picture with an alternative from David Wengrow and David Graeber.

Objective correlates—behavioral, functional, and neural—provide essential tools for the scientific study of consciousness. But reliance on these correlates should not lead to the ‘fallacy of misplaced objectivity’: the assumption that only objective properties should and can be accounted for objectively through science. Instead, what needs to be explained scientifically is what experience is intrinsically— its subjective properties—not just what we can do with it extrinsically. And it must be explained; otherwise the way experience feels would turn out to be magical (...) rather than physical. We argue that it is possible to account for subjective properties objectively once we move beyond cognitive functions and realize what experience is and how it is structured. Drawing on integrated information theory, we show how an objective science of the subjective can account, in strictly physical terms, for both the essential properties of every experience and the specific properties that make particular experiences feel the way they do. (shrink)

I reflect on the commentaries on my ‘skill hypothesis’ from Andrews/westra, Tomasello, Sterelny, and Railton. I discuss the difference between normative cognition and the broader category of action-guiding representation, and I reflect on the relationship between joint intentionality and normative cognition. I then consider Sterelny and Railton’s variants on the skill hypothesis, which highlight some important areas where future evidence could help us refine the account: the relative importance of on-the-fly skill execution vs. longer-term strategizing, the relative importance of toolmaking (...) vs. collaborative foraging, and the question of whether norms are encoded in control models themselves or in the goals and ideals that our control models help us pursue. (shrink)

Many philosophers of science believe that empirical psychology can contribute little to the philosophical investigation of explanations. They take this to be shown by the fact that certain explanations fail to elicit any relevant psychological events (e.g., familiarity, insight, intelligibility, etc.). We report results from a study suggesting that, at least among those with extensive science training, a capacity to render an event intelligible is considered a requirement for explanation. We also investigate for whom explanations must be capable of rendering (...) events intelligible and whether or not accuracy is also viewed as a requirement. (shrink)

This article looks at “faith-in” and what Jonathan Kvanvig calls the “belittler objection” by comparing Hegel’s and Kierkegaard’s interpretations of Abram (later known as Abraham). I first argue that Hegel’s treatment of Abram in Spirit of Christianity and its Fate is an objection to faith-in. Building on this with additional Hegelian texts, I argue that Hegel’s objection employs his social command account of morality. I then turn to Johannes de Silentio’s treatments of Abraham in Fear and Trembling and Søren (...) Kierkegaard’s Works of Love to argue that Kierkegaard defends faith-in as part of a moderate divine command account of moral knowledge. Finally, this article suggests that the belittler objection is ultimately an objection to faith-in as a divine command source of moral knowledge or obligation rather than social command. (shrink)

Andrew Bourke’s Principles of Social Evolution identifies three stages that characterize an evolutionary transition in individuality and deploys inclusive fitness theory to explain each stage. The third stage, social group transformation, has hitherto received relatively little attention from inclusive fitness theorists. In this review, I first discuss Bourke’s “virtual dominance” hypothesis for the evolution of the germ line. I then contrast Bourke’s inclusive fitness approach to the major transitions with the multi-level approach developed by Richard Michod, Samir Okasha and (...) others. I suggest that, rather than choosing between these approaches, we should exploit the strengths of both. Finally, I stress the need for a firmer conceptual grasp of the nature of social group transformation. (shrink)

Causal contextualism holds that sentences of the form ‘c causes e’ have context-sensitive truth-conditions. We consider four arguments invoked by Jonathan Schaffer in favor of this view. First, he argues that his brand of contextualism helps solve puzzles about transitivity. Second, he contends that how one describes the relata of the causal relation sometimes affects the truth of one’s claim. Third, Schaffer invokes the phenomenon of contrastive focus to conclude that causal statements implicitly designate salient alternatives to the cause (...) and effect. Fourth, he claims that the appropriateness of a causal statement depends on what is contextually taken for granted or made salient. We show that causal invariantism can explain these linguistic data at least as well as contextualism. We then argue that pace Schaffer, some causal sentences are always correct and can never be plausibly denied, regardless of the context. (shrink)

As part of a review symposium on DARWIN'S ARGUMENT BY ANALOGY: FROM ARTIFICIAL TO NATURAL SELECTION (2021), the journal METASCIENCE invited Roger White, Jon Hodge and me to submit a response to the thoughtful commentaries on our book by Andrea Sullivan-Clarke, David Depew and Andrew Inkpen.

In recent years, there has been a heated debate about how to interpret findings that seem to show that humans rapidly and automatically calculate the visual perspectives of others. In the current study, we investigated the question of whether automatic interference effects found in the dot-perspective task (Samson, Apperly, Braithwaite, Andrews, & Bodley Scott, 2010) are the product of domain-specific perspective-taking processes or of domain-general “submentalizing” processes (Heyes, 2014). Previous attempts to address this question have done so by implementing inanimate (...) controls, such as arrows, as stimuli. The rationale for this is that submentalizing processes that respond to directionality should be engaged by such stimuli, whereas domain-specific perspective-taking mechanisms, if they exist, should not. These previous attempts have been limited, however, by the implied intentionality of the stimuli they have used (e.g. arrows), which may have invited participants to imbue them with perspectival agency. Drawing inspiration from “novel entity” paradigms from infant gaze-following research, we designed a version of the dot-perspective task that allowed us to precisely control whether a central stimulus was viewed as animate or inanimate. Across four experiments, we found no evidence that automatic “perspective-taking” effects in the dot-perspective task are modulated by beliefs about the animacy of the central stimulus. Our results also suggest that these effects may be due to the task-switching elements of the dot-perspective paradigm, rather than automatic directional orienting. Together, these results indicate that neither the perspective-taking nor the standard submentalizing interpretations of the dot-perspective task are fully correct. (shrink)

Public reason as a political ideal aims to reconcile reasonable disagreement; however, is public reason itself the object of reasonable disagreement? Jonathan Quong, David Estlund, Andrew Lister, and some other philosophers maintain that public reason is beyond reasonable disagreement. I argue this view is untenable. In addition, I consider briefly whether or not two main versions of the public reason principle, namely, the consensus version and the convergence version, need to satisfy their own requirements. My discussion has several (...) important implications for the debate on public reason. (shrink)

This three-part chapter explores a higher-order logic we call ‘Classicism’, which extends a minimal classical higher-order logic with further axioms which guarantee that provable coextensiveness is sufficient for identity. The first part presents several different ways of axiomatizing this theory and makes the case for its naturalness. The second part discusses two kinds of extensions of Classicism: some which take the view in the direction of coarseness of grain (whose endpoint is the maximally coarse-grained view that coextensiveness is sufficient for (...) identity), and some which take the view in the direction of fineness of grain (whose endpoint is the maximally fine-grained theory containing all distinctness claims compatible with Classicism). The third part introduces some techniques for constructing models of Classicism, and uses them to prove the consistency of many of the extensions of Classicism introduced in the second part. (shrink)

© The Author 2016. Published by Oxford University Press on behalf of The Scots Philosophical Association and the University of St Andrews. All rights reserved. For permissions, please e-mail: [email protected] Nanay provides an original and interesting discussion of the connections between aesthetics and the philosophy of perception. According to Nanay, many topics within aesthetics are about experiences of various kinds. Aesthetics is not philosophy of perception, but there are important questions within aesthetics that we can address in an interesting way (...) by using the conceptual apparatus of the philosophy of perception.The main theme of this book is the role of attention in those perceptual experiences that are relevant for aesthetics. Nanay claims that in some paradigmatic examples of aesthetic experiences our attention is exercised in the way of being distributed across properties. He argues that various versions of distributed attention can explain our experiences of aesthetic... (shrink)

This paper argues that the theory of structured propositions is not undermined by the Russell-Myhill paradox. I develop a theory of structured propositions in which the Russell-Myhill paradox doesn't arise: the theory does not involve ramification or compromises to the underlying logic, but rather rejects common assumptions, encoded in the notation of the $\lambda$-calculus, about what properties and relations can be built. I argue that the structuralist had independent reasons to reject these underlying assumptions. The theory is given both a (...) diagrammatic representation, and a logical representation in a novel language. In the latter half of the paper I turn to some technical questions concerning the treatment of quantification, and demonstrate various equivalences between the diagrammatic and logical representations, and a fragment of the $\lambda$-calculus. (shrink)

This article gives an overview of some recent debates about the relationship between reasons and rational requirements of coherence - e.g. the requirements to be consistent in our beliefs and intentions, and to intend what we take to be the necessary means to our ends.

In this paper the logic of broad necessity is explored. Definitions of what it means for one modality to be broader than another are formulated, and it is proven, in the context of higher-order logic, that there is a broadest necessity, settling one of the central questions of this investigation. It is shown, moreover, that it is possible to give a reductive analysis of this necessity in extensional language. This relates more generally to a conjecture that it is not possible (...) to define intensional connectives from extensional notions. This conjecture is formulated precisely in higher-order logic, and concrete cases in which it fails are examined. The paper ends with a discussion of the logic of broad necessity. It is shown that the logic of broad necessity is a normal modal logic between S4 and Triv, and that it is consistent with a natural axiomatic system of higher-order logic that it is exactly S4. Some philosophical reasons to think that the logic of broad necessity does not include the S5 principle are given. (shrink)

Higher-order logic augments first-order logic with devices that let us generalize into grammatical positions other than that of a singular term. Some recent metaphysicians have advocated for using these devices to raise and answer questions that bear on many traditional issues in philosophy. In contrast to these 'higher-order metaphysicians', traditional metaphysics has often focused on parallel, but importantly different, questions concerning special sorts of abstract objects: propositions, properties and relations. The answers to the higher-order and the property-theoretic questions may coincide (...) sometimes but will often come apart. I argue that when they do, the higher-order questions are closer to the metaphysical action and so it would be better for these debates to proceed in higher-order terms. (shrink)

It is illegitimate to read any ontology about "race" off of biological theory or data. Indeed, the technical meaning of "genetic variation" is fluid, and there is no single theoretical agreed-upon criterion for defining and distinguishing populations (or groups or clusters) given a particular set of genetic variation data. Thus, by analyzing three formal senses of "genetic variation"—diversity, differentiation, and heterozygosity—we argue that the use of biological theory for making epistemic claims about "race" can only seem plausible when it relies (...) on the user’s own assumptions about race; the move from biological measures to claims about “race” inevitably amounts to a pernicious reification. We also excavate assumptions in the history of the technical discourse over the concept of "race" (e.g., Livingstone's and Dobzhansky's 1962 exchange, Edwards' 2003 response to Lewontin 1972, as well as contemporary discussions of cladistic "race", and "races" as clusters). We show that claims about the existence (or non-existence) of "race" are underdetermined by biological facts, methods, and theories. Biological theory does not force the concept of "race" upon us; our social discourse, social ontology, and social expectations do. We become prisoners of our abstractions at our own hands, and at our own expense. (shrink)

In explaining the notion of a fundamental property or relation, metaphysicians will often draw an analogy with languages. The fundamental properties and relations stand to reality as the primitive predicates and relations stand to a language: the smallest set of vocabulary God would need in order to write the “book of the world.” This paper attempts to make good on this metaphor. To that end, a modality is introduced that, put informally, stands to propositions as logical truth stands to sentences. (...) The resulting theory, formulated in higher-order logic, also vindicates the Humean idea that fundamental properties and relations are freely recombinable and a variant of the structural idea that propositions can be decomposed into their fundamental constituents via logical operations. Indeed, it is seen that, although these ideas are seemingly distinct, they are not independent, and fall out of a natural and general theory about the granularity of reality. (shrink)

Prior to Kripke’s seminal work on the semantics of modal logic, McKinsey offered an alternative interpretation of the necessity operator, inspired by the Bolzano–Tarski notion of logical truth. According to this interpretation, ‘it is necessary that A’ is true just in case every sentence with the same logical form as A is true. In our paper, we investigate this interpretation of the modal operator, resolving some technical questions, and relating it to the logical interpretation of modality and some views in (...) modal metaphysics. In particular, we present an hitherto unpublished solution to problems 41 and 42 from Friedman’s 102 problems, which uses a different method of proof from the solution presented in the paper of Tadeusz Prucnal. (shrink)

Virtue theories have become influential in ethics and epistemology. This paper argues for a similar approach to argumentation. Several potential obstacles to virtue theories in general, and to this new application in particular, are considered and rejected. A first attempt is made at a survey of argumentational virtues, and finally it is argued that the dialectical nature of argumentation makes it particularly suited for virtue theoretic analysis.

In this paper I present a precise version of Stalnaker's thesis and show that it is both consistent and predicts our intuitive judgments about the probabilities of conditionals. The thesis states that someone whose total evidence is E should have the same credence in the proposition expressed by 'if A then B' in a context where E is salient as they have conditional credence in the proposition B expresses given the proposition A expresses in that context. The thesis is formalised (...) rigorously and two models are provided that demonstrate that the new thesis is indeed tenable within a standard possible world semantics based on selection functions. Unlike the Stalnaker-Lewis semantics the selection functions cannot be understood in terms of similarity. A probabilistic account of selection is defended in its place. -/- I end the paper by suggesting that this approach overcomes some of the objections often leveled at accounts of indicatives based on the notion of similarity. (shrink)

The principle of universal instantiation plays a pivotal role both in the derivation of intensional paradoxes such as Prior’s paradox and Kaplan’s paradox and the debate between necessitism and contingentism. We outline a distinctively free logical approach to the intensional paradoxes and note how the free logical outlook allows one to distinguish two different, though allied themes in higher-order necessitism. We examine the costs of this solution and compare it with the more familiar ramificationist approaches to higher-order logic. Our assessment (...) of both approaches is largely pessimistic, and we remain reluctantly inclined to take Prior’s and Kaplan’s derivations at face value. (shrink)

We explore the view that Frege's puzzle is a source of straightforward counterexamples to Leibniz's law. Taking this seriously requires us to revise the classical logic of quantifiers and identity; we work out the options, in the context of higher-order logic. The logics we arrive at provide the resources for a straightforward semantics of attitude reports that is consistent with the Millian thesis that the meaning of a name is just the thing it stands for. We provide models to show (...) that some of these logics are non-degenerate. (shrink)

In this article, I argue that depression and suicide are natural kinds insofar as they are classes of abnormal behavior underwritten by sets of stable biological mechanisms. In particular, depression and suicide are neurobiological kinds characterized by disturbances in serotonin functioning that affect various brain areas (i.e., the amygdala, anterior cingulate, prefrontal cortex, and hippocampus). The significance of this argument is that the natural (biological) basis of depression and suicide allows for reliable projectable inferences (i.e., predictions) to be made about (...) individual members of a kind. In the context of assisted suicide, inferences about the decision-making capacity of depressed individuals seeking physician-assisted suicide are of special interest. I examine evidence that depression can hamper the decision-making capacity of individuals seeking assisted suicide and discuss some implications. (shrink)

An increasing amount of twenty-first century metaphysics is couched in explicitly hyperintensional terms. A prerequisite of hyperintensional metaphysics is that reality itself be hyperintensional: at the metaphysical level, propositions, properties, operators, and other elements of the type hierarchy, must be more fine-grained than functions from possible worlds to extensions. In this paper I develop, in the setting of type theory, a general framework for reasoning about the granularity of propositions and properties. The theory takes as primitive the notion of a (...) substitution on a proposition (property, etc.) and, among other things, uses this idea to elucidate a number of theoretically important distinctions. A class of structures are identified which can be used to model a wide range of positions about the granularity of reality; certain of these structures are seen to receive a natural treatment in the category of M-sets. (shrink)

Most work on the semantic paradoxes within classical logic has centered around what this essay calls “linguistic” accounts of the paradoxes: they attribute to sentences or utterances of sentences some property that is supposed to explain their paradoxical or nonparadoxical status. “No proposition” views are paradigm examples of linguistic theories, although practically all accounts of the paradoxes subscribe to some kind of linguistic theory. This essay shows that linguistic accounts of the paradoxes endorsing classical logic are subject to a particularly (...) acute form of the revenge paradox: that there is no exhaustive classification of sentences into “good” and “bad” such that the T-schema holds when restricted to the “good” sentences unless it is also possible to prove some “bad” sentences. The foundations for an alternative classical nonlinguistic approach is outlined that is not subject to the same kinds of problems. Although revenge paradoxes of different strengths can be formulated, they are found to be indeterminate at higher orders and not inconsistent. (shrink)

In psychiatry, pharmacological drugs play an important experimental role in attempts to identify the neurobiological causes of mental disorders. Besides being developed in applied contexts as potential treatments for patients with mental disorders, pharmacological drugs play a crucial role in research contexts as experimental instruments that facilitate the formulation and revision of neurobiological theories of psychopathology. This paper examines the various epistemic functions that pharmacological drugs serve in the discovery, refinement, testing, and elaboration of neurobiological theories of mental disorders. I (...) articulate this thesis with reference to the history of antipsychotic drugs and the evolution of the dopamine hypothesis of schizophrenia in the second half of the twentieth century. I argue that interventions with psychiatric patients through the medium of antipsychotic drugs provide researchers with information and evidence about the neurobiological causes of schizophrenia. This analysis highlights the importance of pharmacological drugs as research tools in the generation of psychiatric knowledge and the dynamic relationship between practical and theoretical contexts in psychiatry. (shrink)

A range of developing countries and international advocacy organizations have argued that wealthy countries, as a result of their greater historical contribution to human-induced climate change, owe a ?climate debt? to poor countries. Critics of this argument have claimed that it is incoherent or morally objectionable. In this essay we clarify the concept of climate debt and assess its value for conceptualizing responsibilities associated with global climate change and for guiding international climate negotiations. We conclude that the idea of a (...) climate debt can be coherently formulated, and that while some understandings of the idea of climate debt could lead to morally objectionable conclusions, other accounts would not. However, we argue that climate debt nevertheless provides an unhelpful frame for advancing global justice through international climate negotiations ? the only existing means of resolving political conflict over the collective action problems posed by human-induced climate change ? due to its retrospective and potentially adversarial emphasis, and to problems of measurement. (shrink)

Traditional geometry concerns itself with planimetric and stereometric considerations, which are at the root of the division between plane and solid geometry. To raise the issue of the relation between these two areas brings with it a host of different problems that pertain to mathematical practice, epistemology, semantics, ontology, methodology, and logic. In addition, issues of psychology and pedagogy are also important here. To our knowledge there is no single contribution that studies in detail even one of the aforementioned areas.

We develop a theory of necessity operators within a version of higher-order logic that is neutral about how fine-grained reality is. The theory is axiomatized in terms of the primitive of *being a necessity*, and we show how the central notions in the philosophy of modality can be recovered from it. Various questions are formulated and settled within the framework, including questions about the ordering of necessities under strength, the existence of broadest necessities satisfying various logical conditions, and questions about (...) their logical behaviour. We also wield the framework to probe the conditions under which a logicist account of necessities is possible, in which the theory is completely reducible to logic. (shrink)

Presentists face a familiar problem. If only present objects exist, then what 'makes true' our true claims about the past? According to Ross Cameron, the 'truth-makers' for past and future tensed propositions are presently instantiated Temporal Distributional Properties. We present an argument against Cameron's view. There are two ways that we might understand the term 'distribute' as it appears. On one reading, the resulting properties are not up to the task of playing the truth-maker role; on the other, the properties (...) are incompatible with presentism. (shrink)

An influential argument due to Elliott Sober, subsequently strengthened by Denis Walsh and Joel Pust, moves from plausible premises to the bold conclusion that natural selection cannot explain the traits of individual organisms. If the argument were sound, the explanatory scope of selection would depend, surprisingly, on metaphysical considerations concerning origin essentialism. I show that the Sober-Walsh-Pust argument rests on a flawed counterfactual criterion for explanatory relevance. I further show that a more defensible criterion for explanatory relevance recently proposed by (...) Michael Strevens lends support to the view that natural selection can be relevant to the explanation of individual traits. (shrink)

Many say that ontological disputes are defective because they are unimportant or without substance. In this paper, we defend ontological disputes from the charge, with a special focus on disputes over the existence of composite objects. Disputes over the existence of composite objects, we argue, have a number of substantive implications across a variety of topics in metaphysics, science, philosophical theology, philosophy of mind, and ethics. Since the disputes over the existence of composite objects have these substantive implications, they are (...) themselves substantive. (shrink)

In this paper I argue that the enkratic principle in its classic formulation may not be a requirement of rationality. The investigation of whether it is leads to some important methodological insights into the study of rationality. I also consider the possibility that we should consider rational requirements as a subset of a broader category of agential requirements.

The result of combining classical quantificational logic with modal logic proves necessitism – the claim that necessarily everything is necessarily identical to something. This problem is reflected in the purely quantificational theory by theorems such as ∃x t=x; it is a theorem, for example, that something is identical to Timothy Williamson. The standard way to avoid these consequences is to weaken the theory of quantification to a certain kind of free logic. However, it has often been noted that in order (...) to specify the truth conditions of certain sentences involving constants or variables that don’t denote, one has to apparently quantify over things that are not identical to anything. In this paper I defend a contingentist, non-Meinongian metaphysics within a positive free logic. I argue that although certain names and free variables do not actually refer to anything, in each case there might have been something they actually refer to, allowing one to interpret the contingentist claims without quantifying over mere possibilia. (shrink)

The new evil demon problem is often considered to be a serious obstacle for externalist theories of epistemic justification. In this paper, I aim to show that the new evil demon problem also afflicts the two most prominent forms of internalism: moderate internalism and historical internalism. Since virtually all internalists accept at least one of these two forms, it follows that virtually all internalists face the NEDP. My secondary thesis is that many epistemologists – including both internalists and externalists – (...) face a dilemma. The only form of internalism that is immune to the NEDP, strong internalism, is a very radical and revisionary view – a large number of epistemologists would have to significantly revise their views about justification in order to accept it. Hence, either epistemologists must accept a theory that is susceptible to the NEDP or accept a very radical and revisionary view. (shrink)

Inclusive fitness theory was not originally designed to explain the major transitions in evolution, but there is a growing consensus that it has the resources to do so. My aim in this paper is to highlight, in a constructive spirit, the puzzles and challenges that remain. I first consider the distinctive aspects of the cooperative interactions we see within the most complex social groups in nature: multicellular organisms and eusocial insect colonies. I then focus on one aspect in particular: the (...) extreme redundancy these societies exhibit. I argue that extreme redundancy poses a distinctive explanatory puzzle for inclusive fitness theory, and I offer a potential solution which casts coercion as the key enabler. I suggest that the general moral to draw from the case is one of guarded optimism: while inclusive fitness is a powerful tool for understanding evolutionary transitions, it must be integrated within a broader framework that recognizes the distinctive problems such transitions present and the distinctive mechanisms by which these problems may be overcome. (shrink)

In recent years there has been a revitalised interest in non-classical solutions to the semantic paradoxes. In this paper I show that a number of logics are susceptible to a strengthened version of Curry's paradox. This can be adapted to provide a proof theoretic analysis of the omega-inconsistency in Lukasiewicz's continuum valued logic, allowing us to better evaluate which logics are suitable for a naïve truth theory. On this basis I identify two natural subsystems of Lukasiewicz logic which individually, but (...) not jointly, lack the problematic feature. (shrink)

Those inclined to positions in the philosophy of time that take tense seriously have typically assumed that not all regions of space-time are equal: one special region of space-time corresponds to what is presently happening. When combined with assumptions from modern physics this has the unsettling consequence that the shape of this favored region distinguishes people in certain places or people traveling at certain velocities. In this paper I shall attempt to avoid this result by developing a tensed picture of (...) reality that is nonetheless consistent with ‘hypersurface egalitarianism’—the view that all hypersurfaces are equal. (shrink)

This paper argues that new light may be shed on mathematical reasoning in its non-pathological forms by careful observation of its pathologies. The first section explores the application to mathematics of recent work on fallacy theory, specifically the concept of an ‘argumentation scheme’: a characteristic pattern under which many similar inferential steps may be subsumed. Fallacies may then be understood as argumentation schemes used inappropriately. The next section demonstrates how some specific mathematical fallacies may be characterized in terms of argumentation (...) schemes. The third section considers the phenomenon of correct answers which result from incorrect methods. This turns out to pose some deep questions concerning the nature of mathematical knowledge. In particular, it is argued that a satisfactory epistemology for mathematical practice must address the role of luck. (shrink)

A number of `no-proposition' approaches to the liar paradox find themselves implicitly committed to a moderate disquotational principle: the principle that if an utterance of the sentence `$P$' says anything at all, it says that $P$ (with suitable restrictions). I show that this principle alone is responsible for the revenge paradoxes that plague this view. I instead propose a view in which there are several closely related language-world relations playing the `semantic expressing' role, none of which is more central to (...) semantic theorizing than any other. I use this thesis about language and the negative result about disquotation to motivate the view that people do say things with utterances of paradoxical sentences, although they do not say the proposition you'd always expect, as articulated with a disquotational principle. (shrink)

In his recent book, Bernecker (Memory, 2010) has attacked the following prominent view: (RK) S remembers that p only if S knows that p. An attack on RK is also an attack on Timothy Williamson’s view that knowledge is the most general factive stative attitude. In this paper, I defend RK against Bernecker’s attacks and also advance new arguments in favor of it. In Sect. 2, I provide some background on memory. In Sect 3, I respond to Bernecker’s attacks on (...) RK and develop a new argument for RK. In Sects. 4 and 5, I develop two more new arguments for RK. (shrink)

In this article, we identify three key design dimensions along which cryptocurrencies differ -- privacy, censorship-resistance, and consensus procedure. Each raises important normative issues. Our discussion uncovers new ways to approach the question of whether Bitcoin or other cryptocurrencies should be used as money, and new avenues for developing a positive answer to that question. A guiding theme is that progress here requires a mixed approach that integrates philosophical tools with the purely technical results of disciplines like computer science and (...) economics. Note: this article is the second entry within a two-part sequence on the Philosophy, Politics, and Economics of Cryptocurrency. (shrink)

An increasing amount of contemporary philosophy of mathematics posits, and theorizes in terms of special kinds of mathematical modality. The goal of this paper is to bring recent work on higher-order metaphysics to bear on the investigation of these modalities. The main focus of the paper will be views that posit mathematical contingency or indeterminacy about statements that concern the `width' of the set theoretic universe, such as Cantor's continuum hypothesis. Within a higher-order framework I show that contingency about the (...) width of the set-theoretic universe refutes two orthodoxies concerning the structure of modal reality: the view that the broadest necessity has a logic of S5, and the "Leibniz biconditionals" stating that what is possible, in the broadest sense of possible, is what is true in some possible world. Nonetheless, I suggest that the underlying picture of modal set-theory is coherent and has attractions. (shrink)