Joint actions often require agents to track others’ actions while planning and executing physically incongruent actions of their own. Previous research has indicated that this can lead to visuomotor interference effects when it occurs outside of joint action. How is this avoided or overcome in joint actions? We hypothesized that when joint action partners represent their actions as interrelated components of a plan to bring about a joint action goal, each partner’s movements need not be represented in relation to distinct, (...) incongruent proximal goals. Instead they can be represented in relation to a single proximal goal – especially if the movements are, or appear to be, mechanically linked to a more distal joint action goal. To test this, we implemented a paradigm in which participants produced finger movements that were either congruent or incongruent with those of a virtual partner, and either with or without a joint action goal (the joint flipping of a switch, which turned on two light bulbs). Our findings provide partial support for the hypothesis that visuomotor interference effects can be reduced when two physically incongruent actions are represented as mechanically interdependent contributions to a joint action goal. (shrink)

I recently had the occasion to reread Naming and Necessity by Saul Kripke. NaN struck me this time, as it always has, as breathtakingly clear and lucid. It also struck me this time, as it always has, as wrong-headed in several major ways, both in its methodology and its content. Herein is a brief explanation why.

In the life and work of Marcel Duchamp, there is the combination of the visual and the ideational in works such as The Large Glass, the combination of art and chess within his productive activity, the combination of this productive activity and the ways he made money to live, and the combination of the artwork and the viewer in art’s ongoing developmental movements. These combinations provide a content that can be used to create an understanding of the operation of combination (...) itself. This combination can then be conceptualised through a demarcation of its general features: the layered structural basis of how multiple combinations constitute a combinational whole, and the way in which the purpose of combination becomes the driver of its developmental movements. Another purpose could be to open other terrains of thought for the development of philosophy, allowing a renewed source of momentum through a combinational method. (shrink)

A satisfactory theory of linguistic communication must explain how it is that, through the interpersonal exchange of auditory, visual, and tactile stimuli, the communicative preconditions for the acquisition of testimonial knowledge regularly come to be satisfied. Without an account of knowledge-yielding communication this success condition for linguistic theorizing is left opaque, and we are left with an incomplete understanding of testimony, and communication more generally, as a source of knowledge. This paper argues that knowledge-yielding communication should be modelled on knowledge (...) itself. It is argued that knowledge-yielding communication occurs iff interlocutors coordinate on truth values in a non-lucky and non-deviant way. This account is able to do significant explanatory work: it sheds light on the nature of referential communication, and it allows us to capture, in an informative way, the sense in which interlocutors must entertain similar propositions in order to communicate successfully. (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 recent literature on causality has seen the introduction of several distinctions within causality, which are thought to be important for understanding the widespread scientific practice of focusing causal explanations on a subset of the factors that are causally relevant for a phenomenon. Concepts used to draw such distinctions include, among others, stability, specificity, proportionality, or actual-difference making. In this contribution, I propose a new distinction that picks out an explanatorily salient class of causes in biological systems. Some select causes (...) in complex biological systems, I argue, have the property of enabling coherent causal control of these systems. Examples of such control variables include hormones and other signaling molecules, e.g., TOR (target of rapamycin), morphogens or the products of homeotic selector genes in embryonic pattern formation. I propose an analysis of this notion based on concepts borrowed from causal graph theory. (shrink)

Kant holds that in order to have knowledge of an object, a subject must be able to “prove” that the object is really possible—i.e., prove that there is neither logical inconsistency nor “real repugnance” between its properties. This is (usually) easy to do with respect to empirical objects, but (usually) impossible to do with respect to particular things-in-themselves. In the first section of the paper I argue that an important predecessor of Kant’s account of our ignorance of real possibility can (...) be found in Locke’s Essay Concerning Human Understanding. In the middle sections I discuss the way in which our inability to prove the real possibility of things-in-themselves motivates Kant’s famous prohibition on certain kinds of knowledge-claims about them. In the final section I examine Hegel’s attempts to dissolve this problem of real repugnance and thereby remove an inherited obstacle to speculative knowledge of the supersensible. -/- . (shrink)

Empirical work has lately confirmed what many philosophers have taken to be true: people are ‘biased toward the future’. All else being equal, we usually prefer to have positive experiences in the future, and negative experiences in the past. According to one hypothesis, the temporal metaphysics hypothesis, future-bias is explained either by our beliefs about temporal metaphysics—the temporal belief hypothesis—or alternatively by our temporal phenomenology—the temporal phenomenology hypothesis. We empirically investigate a particular version of the temporal belief hypothesis according to (...) which future-bias is explained by the belief that time robustly passes. Our results do not match the apparent predictions of this hypothesis, and so provide evidence against it. But we also find that people give more future-biased responses when asked to simulate a belief in robust passage. We take this to suggest that the phenomenology that attends simulation of that belief may be partially responsible for future-bias, and we examine the implications of these results for debates about the rationality of future-bias. (shrink)

Several authors have used the notion of causal specificity in order to defend non-parity about genetic causes (Waters 2007, Woodward 2010, Weber 2017, forthcoming). Non-parity in this context is the idea that DNA and some other biomolecules that are often described as information-bearers by biologists play a unique role in life processes, an idea that has been challenged by Developmental Systems Theory (e.g., Oyama 2000). Indeed, it has proven to be quite difficult to state clearly what the alleged special role (...) of genetic causes consists in. In this paper, I show that the set of biomolecules that are normally considered to be information-bearers (DNA, mRNA) can be shown to be the most specific causes of protein primary structure, provided that causal specificity is measured over a relevant space of biological possibilities, disregarding physical as well as logically possible states of the causal variables. (shrink)

Empirical evidence suggests that a majority of people believe that time robustly passes, and that many also report that it seems to them, in experience, as though time robustly passes. Non-dynamists deny that time robustly passes, and many contemporary non-dynamists—deflationists—even deny that it seems to us as though time robustly passes. Non-dynamists, then, face the dual challenge of explaining why people have such beliefs and make such reports about their experiences. Several philosophers have suggested the stable-self explanation, according to which (...) what partly explains one or both of the explananda is that people believe themselves to have a stable persisting self which is imagined either as moving through time, or as being stationary, with time moving around it. This paper empirically investigates this explanation. We found, however, no evidential support for the stable-self explanation, leaving the non-dynamist but also, we will argue, the dynamist, with an extant explanatory challenge. (shrink)

This is a discussion of the state of discussion on pragmatic reasons for belief.

This essay considers Kant’s theory of modality in light of a debate in contemporary modal metaphysics and modal logic concerning the Barcan formulas. The comparison provides a new and fruitful perspective on Kant’s complex and sometimes confusing claims about possibility and necessity. Two central Kantian principles provide the starting point for the comparison: that the possible must be grounded in the actual and that existence is not a real predicate. Both are shown to be intimately connected to the Barcan formulas, (...) and Kant’s views on what he distinguishes as three different kinds of modality are then considered in light of this connection. (shrink)

How is it that a speaker _S_ can at once make it obvious to an audience _A_ that she intends to communicate some proposition _p_, and yet at the same time retain plausible deniability with respect to this intention? The answer is that _S_ can bring it about that _A_ has a high justified credence that ‘_S_ intended _p_’ without putting _A_ in a position to know that ‘_S_ intended _p_’. In order to achieve this _S_ has to exploit a (...) sense in which communication can be lottery-like. After defending this view of deniability I argue that it compares favorably to a rival account recently developed by Dinges and Zakkou (Mind, https://doi.org/10.1093/mind/fzac056, 2023 ). (shrink)

This paper argues that underlying social biases are able to affect the processes underlying linguistic interpretation. The result is a series of harms systematically inflicted on marginalised speakers. It is also argued that the role of biases and stereotypes in interpretation complicates Miranda Fricker's proposed solution to epistemic injustice.

I examine different arguments that could be used to establish indeterminism of neurological processes. Even though scenarios where single events at the molecular level make the difference in the outcome of such processes are realistic, this falls short of establishing indeterminism, because it is not clear that these molecular events are subject to quantum mechanical uncertainty. Furthermore, attempts to argue for indeterminism autonomously (i.e., independently of quantum mechanics) fail, because both deterministic and indeterministic models can account for the empirically observed (...) behavior of ion channels. (shrink)

The fallacy fallacy is either the misdiagnosis of fallacy or the supposition that the conclusion of a fallacy must be a falsehood. This paper explores the relevance of these and related errors of reasoning for the appraisal of arguments, especially within virtue theories of argumentation. In particular, the fallacy fallacy exemplifies the Owl of Minerva problem, whereby tools devised to understand a norm make possible new ways of violating the norm. Fallacies are such tools and so are vices. Hence a (...) similar problem arises with argumentative vices. Fortunately, both instances of the problem have a common remedy. (shrink)

Virtue theories of argumentation (VTA) emphasize the roles arguers play in the conduct and evaluation of arguments, and lay particular stress on arguers’ acquired dispositions of character, that is, virtues and vices. The inspiration for VTA lies in virtue epistemology and virtue ethics, the latter being a modern revival of Aristotle’s ethics. Aristotle is also, of course, the father of Western logic and argumentation. This paper asks to what degree Aristotle may thereby be claimed as a forefather by VTA.

An important advance in normativity research over the last decade is an increased understanding of the distinction, and difference, between normativity and rationality. Normativity concerns or picks out a broad set of concepts that have in common that they are, put loosely, guiding. For example, consider two commonly used normative concepts: that of a normative reason and that of ought. To have a normative reason to perform some action is for there to be something that counts in favour of performing (...) that action. Likewise with ought, when there is sufficient evidence for something, one ought to believe it (at least under normal circumstances). Not all guidance need be directed towards a specific state or a specific action. Subject to the requirements of normativity, too, are relations. It is commonly believed, for example, that we ought not to hold contradictory beliefs.1 At least some of the requirements that concern relations amongst an agent’s mental states are, or seem, distinctive. Agents who fail to satisfy these requirements are considered, at least to some degree, irrational. On many current views, being irrational is distinct in some way from not being how one ought to be; rationality is a concept distinct from normativity. Much of the literature on this topic over the last decade stems from attempts to capture the characteristic features of the requirements of rationality. Two influential views in particular did much to set the agenda. The first of these two was put forward John Broome.2 His view, the particulars of which I shall discuss in more detail below, is that the requirements of rationality could be expressed using a normative relation, which he calls a ‘normative requirement’. Normative requirements are conditionals governed by an all-thingsconsidered ought. In the case of rationality, the conditional is made up entirely of mental states.. (shrink)

David Lewis—famously—never tasted vegemite. Did he have any knowledge of what it's like to taste vegemite? Most say 'no'; I say 'yes'. I argue that knowledge of what it’s like varies along a spectrum from more exact to more approximate, and that phenomenal concepts vary along a spectrum in how precisely they characterize what it’s like to undergo their target experiences. This degreed picture contrasts with the standard all-or-nothing picture, where phenomenal concepts and phenomenal knowledge lack any such degreed structure. (...) I motivate the degreed picture by appeal to (1) limits in epistemic abilities such as recognition, imagination, and inference, and (2) the semantics of ‘knows what it’s like’ expressions. I argue that approximate phenomenal knowledge cannot be explained merely via determinable or vague phenomenal concepts. I develop a framework for systematizing approximate knowledge of phenomenal character. And I explain how my view challenges some standard assumptions about the acquisition conditions, requirements for mastery, and referential mechanisms of phenomenal concepts. (shrink)

Disagreements that resist rational resolution, often termed “deep disagreements”, have been the focus of much work in epistemology and informal logic. In this paper, I argue that they also deserve the attention of philosophers of mathematics. I link the question of whether there can be deep disagreements in mathematics to a more familiar debate over whether there can be revolutions in mathematics. I propose an affirmative answer to both questions, using the controversy over Shinichi Mochizuki’s work on the abc conjecture (...) as a potential example of both phenomena. I conclude by investigating the prospects for the resolution of mathematical deep disagreements in virtue-theoretic approaches to informal logic and mathematical practice. (shrink)

In this chapter, I present and explore various arguments for skepticism that are related to memory. My focus will be on the aspects of the arguments that are unique to memory, which are not shared, for example, by the more often explored skeptical arguments related to perception. -/- Here are some interesting upshots. First, a particular problem for justifiably concluding that one's memory is reliable is that any reasoning in favor of this conclusion will either result in epistemically circularity or (...) not be sufficient to justify the conclusion. Second, since many beliefs stored in memory do not appear to be based on evidence, it might also appear to follow that they are not justified. Third, although many stored memory beliefs are not based on stored memory experiences in the same way that perceptual beliefs are based on perceptual experiences, skeptical scenarios loom just as problematically for memory beliefs as they do for perceptual beliefs. (shrink)

I argue that assertoric content functions as a means for us to track the responsibilities undertaken by communicators, and that distinctively assertoric commitments are distinguished by being generated directly in virtue of the words the speaker uses. This raises two questions: (a) Why are speakers responsible for the content thus generated? (b) Why is it important for us to distinguish between commitments in terms of their manner of generation? I answer the first question by developing a novel responsibility based metasemantics. (...) I answer the second by reference to the conflicting pressures governing the resources we have available for appraising speech. (shrink)

A famous mathematical theorem says that the sum of an infinite series of numbers can depend on the order in which those numbers occur. Suppose we interpret the numbers in such a series as representing instances of some physical quantity, such as the weights of a collection of items. The mathematics seems to lead to the result that the weight of a collection of items can depend on the order in which those items are weighed. But that is very hard (...) to believe. A puzzle then arises: How do we interpret the metaphysical significance of this mathematical theorem? I first argue that prior solutions to the puzzle lead to implausible consequences. Then I develop my own solution, where the basic idea is that the weight of a collection of items is equal to the limit of the weights of its finite subcollections contained within ever-expanding regions of space. I show how my solution is intuitively plausible and philosophically motivated, how it reveals an underexplored line of metaphysical inquiry about quantities and locations, and how it elucidates some classic puzzles concerning supertasks. (shrink)

Is a human more conscious than an octopus? In the science of consciousness, it’s oftentimes assumed that some creatures (or mental states) are more conscious than others. But in recent years, a number of philosophers have argued that the notion of degrees of consciousness is conceptually confused. This paper (1) argues that the most prominent objections to degrees of consciousness are unsustainable, (2) examines the semantics of ‘more conscious than’ expressions, (3) develops an analysis of what it is for a (...) degreed property to count as degrees of consciousness, and (4) applies the analysis to various theories of consciousness. I argue that whether consciousness comes in degrees ultimately depends on which theory of consciousness turns out to be correct. But I also argue that most theories of consciousness entail that consciousness comes in degrees. (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)

I argue that experiences can have microphenomenal structures, where the macrophenomenal properties we introspect are realized by non-introspectible microphenomenal properties. After explaining what it means to ascribe a microstructure to experience, I defend the thesis against its principal philosophical challenge, discuss how the thesis interacts with other philosophical issues about experience, and consider our prospects for investigating the microphenomenal realm.

Templates travel because they offer a tractable format that can be used for model-building in a variety of domains. It is often because of this quality that a particular template is chosen. But one cannot assume that there are always templates ready to model a new phenomenon, and moreover, templates have also been designed at some point. A critical aspect of this designing process is the choice of the mathematical objects with which one hopes to capture this phenomenon. This means (...) that one has to assess which of the properties of different kinds of mathematical objects and which combinations of them are most appropriate. The selection of these objects is based on whether their properties enable the model to perform its function. This selection of mathematical objects is similar to the selection of materials in mechanical design. (shrink)

Virtue ethics is frequently billed as a remedy to the problems of deontological and consequentialist ethics that Bernard Williams identified in his critique of “the morality system.” But how far can virtue ethics be relied upon to avoid these problems? What does Williams’s critique of the morality system mean for virtue ethics? To answer this question, we offer a more principled characterisation of the defining features of the morality system in terms of its organising ambition—to shelter life against luck. This (...) reveals the system to be multiply realisable: the same function can be served by substantively different but functionally equivalent ideas. After identifying four requirements that ethical thought must meet to function as a morality system, we show that they can also be met by certain constellations of virtue-ethical ideas. We thereby demonstrate the possibility of virtue-ethical morality systems raising problems analogous to those besetting their deontological and consequentialist counterparts. This not only widens the scope of Williams’s critique and brings out the cautionary aspect of his legacy for virtue ethics. It also offers contemporary virtue ethicists a more principled understanding of the functional features that mark out morality systems and lie at the root of their problems, thereby helping them to avoid or overcome these problems. (shrink)

Darwin famously held that his use of the term "chance" in evolutionary theory merely "serves to acknowledge plainly our ignorance of the causes of each particular variation". Is this a tenable view today? Or should we revise our thinking about chance in evolution in light of the more advanced, quantitative models of Neo-Darwinian theory, which make substantial use of statistical reasoning and the concept of probability? Is determinism still a viable metaphysical doctrine about biological reality after the quantum revolution in (...) physics, or dowe have to abandon it in favor of an objective indeterminism? In light of such reflections, what is the relevant interpretation of probability in evolutionary theory? Do biologists use the concept of probability because they are finite cognitive agents or because the evolutionary process is fundamentally probabilistic? In this paper, I will show that we do not yet fully understand the nature of chance in evolution. (shrink)

ABSTRACTIn this article, we explore the debate on corporate citizenship and the role of business in global governance. In the debate on political corporate social responsibility it is assumed that under globalization business is taking up a greater political role. Apart from economic responsibilities firms assume political responsibilities taking up traditional governmental tasks such as regulation of business and provision of public goods. We contrast this with a subsidiarity-based approach to governance, in which firms are seen as intermediate actors who (...) have political co-responsibilities in society endowed upon them by national governmental institutions. We argue that both approaches face conceptual and empirical problems, and do not make clear the content and scope of political corporate responsibility. Based on Iris Marion Young’s account of political responsibility we argue that corporate actors and governmental actors have a shared responsibility to tackle societal problems. Taking political corporate responsibility not only entails engaging in private action or engaging in public–private partnerships, but it also includes aiding governmental actors to remedy injustice or even create public institutions where they do not yet exist. By adding this perspective we contribute to the debate on responsibility in corporate citizenship and clarify the political role business can play in global governance. (shrink)

This paper develops a theory of analog representation. We first argue that the mark of the analog is to be found in the nature of a representational system’s interpretation function, rather than in its vehicles or contents alone. We then develop the rulebound structure theory of analog representation, according to which analog systems are those that use interpretive rules to map syntactic structural features onto semantic structural features. The theory involves three degree-theoretic measures that capture three independent ways in which (...) a system can be more or less analog. We explain how our theory improves upon prior accounts of analog representation, provides plausible diagnoses for novel challenge cases, extends to hybrid systems that are partially analog and partially symbolic, and accounts for some of the advantages and disadvantages of representing analogically versus symbolically. (shrink)

In this chapter I hope to persuade you that defective contexts are more ubiquitous than we typically assume. In doing, so I will draw attention to a number of pressing social and theoretical issues which arise once we start to consider defective contexts. I will proceed by pointing to a number of ways in which defective contexts can emerge without self-correcting in the manner envisioned by Stalnaker. First I will consider situations in which some, but not all interlocutors recognise that (...) the context is defective. I will then consider cases of opaquely defective contexts, and the question of what it is for a context to be “close enough” to being non-defective. (shrink)

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)

Once upon a time, not too long ago, the question about apes and ethics had to do with moral standing—do apes have interests or rights that humans ought to respect? Given the fifty years of research on great ape cognition, life history, social organization, and behavior, the answer to that question seems obvious. Apes have emotions and projects, they can be harmed, and they have important social relationships.

This paper defines and defends a notion of teleological function which is fit to figure in explanations concerning how organic systems, and the items which compose them, are able to perform certain activities, such as surviving and reproducing or pumping blood. According to this notion, a teleological function of an item (such as the heart) is a typical way in which items of that type contribute to some containing system's ability to do some activity. An account of what it is (...) for an item to contribute to a containing system's ability to perform an activity is provided. I argue that the view acquires its normative status in virtue of the fact that it obeys a function-accident distinction and obeys a function-dysfunction distinction; that the view is ahistorical; and, that its ahistoricity provides it with an advantage over one of its main competitors. (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)

A show on Radio Romania Cultural, ”Springs of Philosophy” 22 May 2010. Moderator: Constantin Aslam. Guest: Marcel Chelba. The subject of the discussion was the topicality and modernity of Kant, on Marcel Chelba's book: Critical Introduction (On the Possibility of Metaphysics, as Science, in the Perspective of Kantian Critical Philosophy), Crates, 2004. The central idea is that Kant's transcendental aesthetics is the epistemological paradigm of modern science and that modern science has confirmed Kant, not refuted him, as is widely believed.

This chapter discusses Kant's 1763 "possibility proof" for the existence of God. I first provide a reconstruction of the proof in its two stages, and then revisit my earlier argument according to which the being the proof delivers threatens to be a Spinozistic-panentheistic God—a being whose properties include the entire spatio-temporal universe—rather than the traditional, ontologically distinct God of biblical monotheism. I go on to evaluate some recent alternative readings that have sought to avoid this result by arguing that the (...) relevant facts about real modality can be ultimately grounded in God’s powers or thoughts – or that Kant just leaves the grounding relations mysterious. I argue that the textual and philosophical costs of each of these alternative readings are formidable. The chapter concludes with a discussion of the fate of the proof in the critical period. Some commentators think that it disappears altogether, or that it is downgraded such that it produces a mere regulative idea of God as the most real being. I suggest that the proof survives but that the mode of assent it licenses towards its conclusion changes from knowledge to a certain kind of Belief (Glaube). (shrink)

Conscious experiences are characterized by mental qualities, such as those involved in seeing red, feeling pain, or smelling cinnamon. The standard framework for modeling mental qualities represents them via points in geometrical spaces, where distances between points inversely correspond to degrees of phenomenal similarity. This paper argues that the standard framework is structurally inadequate and develops a new framework that is more powerful and flexible. The core problem for the standard framework is that it cannot capture precision structure: for example, (...) consider the phenomenal contrast between seeing an object as crimson in foveal vision versus merely as red in peripheral vision. The solution I favor is to model mental qualities using regions, rather than points. I explain how this seemingly simple formal innovation not only provides a natural way of modeling precision, but also yields a variety of further theoretical fruits: it enables us to formulate novel hypotheses about the space and structures of mental qualities, formally differentiate two dimensions of phenomenal similarity, generate a quantitative model of the phenomenal sorites, and define a measure of discriminatory grain. A noteworthy consequence is that the structure of the mental qualities of conscious experiences is fundamentally different from the structure of the perceptible qualities of external objects. (shrink)

Formal logic has often been seen as uniquely placed to analyze mathematical argumentation. While formal logic is certainly necessary for a complete understanding of mathematical practice, it is not sufficient. Important aspects of mathematical reasoning closely resemble patterns of reasoning in nonmathematical domains. Hence the tools developed to understand informal reasoning, collectively known as argumentation theory, are also applicable to much mathematical argumentation. This chapter investigates some of the details of that application. Consideration is given to the many contrasting meanings (...) of the word “argument”; to some of the specific argumentation-theoretic tools that have been applied to mathematics, notably Toulmin layouts and argumentation schemes; to some of the different ways that argumentation is implicated in mathematical practices; and to the social aspects of mathematical argumentation. (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)

Does utterance understanding require reliable (i.e. non-lucky) recovery of the speaker’s intended proposition? There are good reasons to answer in the affirmative: the role of understanding in supporting testimonial knowledge seemingly requires such reliability. Moreover, there seem to be communicative analogues of Gettier cases in which luck precludes the audience’s understanding an utterance despite recovering the intended proposition. Yet, there are some major problems with the view that understanding requires such reliability. Firstly, there are a number of cases in which (...) understanding seems to occur in a lucky way. In light of these cases I argue that we need to narrow down the precise sense in which understanding precludes luck – the anti-luck condition attached to linguistic understanding is importantly different to anti-luck conditions typically applied to knowledge. Secondly, Megan Hyska has recently argued that, assuming understanding precludes luck, we get a communicative analogue of the value problem for knowledge. i.e. why is it better to meet the other conditions for understanding in a reliable way than in a lucky way? It is natural to assume that we can simply port over our favoured responses to the epistemic value problem in response to Hyska’s challenge. I argue that, due to the difference between epistemic and communicative luck (discussed in response to the first problem), this cannot be done. The epistemic and communicative value problems will require different solutions. I close by sketching the beginnings of an alternative answer to the value problem for communication. (shrink)

Metaphysicians often claim that some metaphysical theory should (or shouldn’t) be believed because it exhibits (or fails to exhibit) theoretical virtues such as simplicity. Metaphysicians also sometimes claim that the legitimacy of these sorts of appeals to theoretical virtues are vindicated by the similar appeals to theoretical virtues which scientists make in scientific theory choice. One objection to this methodological move is to claim that the metaphysician misdescribes the role that theoretical virtues play within science. In this paper I defend (...) the metaphysician’s use of theoretical virtues against this objection. (shrink)

I present a reconstruction of F.H.C. Crick's two 1957 hypotheses "Sequence Hypothesis" and "Central Dogma" in terms of a contemporary philosophical theory of causation. Analyzing in particular the experimental evidence that Crick cited, I argue that these hypotheses can be understood as claims about the actual difference-making cause in protein synthesis. As these hypotheses are only true if restricted to certain nucleic acids in certain organisms, I then examine the concept of causal specificity and its potential to counter claims about (...) causal parity of DNA and other cellular components. I first show that causal specificity is a special kind of invariance under interventions, namely invariance of generalizations that range over finite sets of discrete variables. Then, I show that this notion allows the articulation of a middle ground in the debate over causal parity. (shrink)

Causal selection is the task of picking out, from a field of known causally relevant factors, some factors as elements of an explanation. The Causal Parity Thesis in the philosophy of biology challenges the usual ways of making such selections among different causes operating in a developing organism. The main target of this thesis is usually gene centrism, the doctrine that genes play some special role in ontogeny, which is often described in terms of information-bearing or programming. This paper is (...) concerned with the attempt of confronting the challenge coming from the Causal Parity Thesis by offering principles of causal selection that are spelled out in terms of an explicit philosophical account of causation, namely an interventionist account. I show that two such accounts that have been developed, although they contain important insights about causation in biology, nonetheless fail to provide an adequate reply to the Causal Parity challenge: Ken Waters's account of actual-difference making and Jim Woodward's account of causal specificity. A combination of the two also doesn't do the trick, nor does Laura Franklin-Hall's account of explanation (in this volume). We need additional conceptual resources. I argue that the resources we need consist in a special class of counterfactual conditionals, namely counterfactuals the antecedents of which describe biologically normal interventions. (shrink)

Griffiths et al. (2015) have proposed a quantitative measure of causal specificity and used it to assess various attempts to single out genetic causes as being causally more specific than other cellular mechanisms, for example, alternative splicing. Focusing in particular on developmental processes, they have identified a number of important challenges for this project. In this discussion note, I would like to show how these challenges can be met.

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.