The visual system adapts to a wide range of visual features, from lower-level features like color and motion to higher-level features like causality and, perhaps, number. According to some, adaptation is a strictly perceptual phenomenon, such that the presence of adaptation licenses the claim that a feature is truly perceptual in nature. Given the theoretical importance of claims about adaptation, then, it is important to understand exactly when the visual system does and does not exhibit adaptation. Here, we take as (...) a case study one specific kind of adaptation: visual adaptation to size. Supported by evidence from four experiments, we argue that, despite robust effects of size adaptation in the lab, (1) size adaptation effects are phenomenologically underwhelming (in some cases, hardly appreciable at all), (2) some effects of size adaptation appear contradictory, and difficult to explain given current theories of size adaptation, and (3) prior studies on size adaptation may have failed to isolate size as the adapted dimension. Ultimately, we argue that while there is evidence to license the claim that size adaptation is genuine, size adaptation is a puzzling and poorly understood phenomenon. (shrink)

Time is woven into the fabric of our lives. Everything we do, we do in and across time. It is not just that our lives are stretched out in time, from the moment of birth to the moment of our death. It is that our lives are stories. We make sense of ourselves, today, by understanding who we were yesterday, and the day before, and the day before that; by understanding what we did and why we did it. Our memories (...) shape our present selves, since we are the product of who we were, and who we remember being. Yet who we are lasts for but a moment. It is who we will be that demands attention. We are forever projecting ourselves into the future. We painstakingly plan for the needs of our future selves, all the while knowing that while what we do will make those future selves who they are, still, our future selves are elusive. So it is not simply that we happen to live our lives in time, the way, say, one might happen to live in Australia, or Singapore. It is hard to fathom how things could be otherwise. What would it be to live a life without time? Yet time itself is intangible. Though we are keenly aware of what has been ‒ of pain and loss, regret and pride ‒ and of what might be ‒ of anticipation, and dread, and longing ‒ time itself seems unaffected by anything we do. Though we can anticipate a future birthday cake, time itself cannot be tasted. Though we can dread a future dentist’s appointment, time itself cannot be touched. Though we remember the crunching of leaves this past autumn, time itself cannot be heard. How can it be that something so central to each of us, to who we are, and what we care about, can be so spectral? What, in the end, is time? Is time real, like a substance in which each of us, like insects in amber, finds ourselves trapped? Is time a dimension through which we can move? Is time not a thing at all, but some connection between events? If time is real, what is it like? Does it flow like a river, taking each of us prisoner in its current, washing us ever closer to the end of our lives? Is time like a cresting wave, coming ever closer to each of us from the future, engulfing us, and then receding into the past? Or is time static? Like a one-way road that each of us might wander, with no chance to turn back? Or perhaps time is like none of these things. Perhaps time is more like space; something we can navigate freely, so that we can visit different times just like we visit different places. Perhaps we can we travel in time the way we can travel in space. These questions, and many more, are the focus of this book. Now, you might wonder what philosophers are doing writing a book about time. Surely that’s a job for physicists! It is true: a great deal of what we know about time stems from our understanding of physics. However, even in physics we find that there are questions about time that go unanswered. Moreover, increasingly, physicists are turning to philosophers for help in understanding the role that time plays in current physical theories. Our goal is to get the reader up to speed on some of the central issues that influence our understanding of time so that they too may play a role in this ongoing discussion between science and philosophy. We hope that in doing so it will become clear what philosophy can bring to the study of time. There is a natural narrative in philosophy regarding the study of time, and we have chosen to organise this book according to that narrative. However, the book may also be approached in a ‘choose-your-own adventure’ spirit. While later chapters build on material introduced in earlier chapters, you can skip around, reading the book in any order you choose. For the instructor, this means that she can design her course around this book in any number of ways, depending on the particular topic she wishes to focus on. (shrink)

Presentism faces a serious challenge from truthmaker theory. Standard solutions to the truthmaker objection against presentism proceed in one of two ways. Easy road presentists invoke new entities to satisfy the requirements of truthmaker theory. Hard road presentists, by contrast, flatly refuse to give in to truthmaker demands. Recently, a third way has been proposed. This response seeks to address the truthmaking problem by tensing our truthmaker principles. These views, though intuitive, are under-developed. In this paper, I get serious about (...) a fundamentally tensed approach to truthmaking by sketching out the underlying ontological picture needed to make sense of tensed truthmaker theory. (shrink)

In this paper, I will present and advocate a view about what we are doing when we attribute delusion, namely, say that someone is delusional. It is an “expressivist” view, roughly analogous to expressivism in meta-ethics. Just as meta-ethical expressivism accounts for certain key features of moral discourse, so does this expressivism account for certain key features of delusion attribution. And just as meta-ethical expressivism undermines factualism about moral properties, so does this expressivism, if correct, show that certain attempts to (...) objectively define delusion are misguided. I proceed as follows. I start by examining different attempts at defining delusion, separating broadly psychiatric attempts from epistemic ones. I then present a change of approach, according to which we question whether the term “delusion” is in the business of (merely) describing reality. I then support this proposal, first, by borrowing standard lines of argument from meta-ethics (including ontological reluctance, intrinsic motivation, and deep disagreement) but also, by inference to the best explanation of some the features we see when we try to theorise about delusion (namely that it is hard to define, and that our delusion attributions are elicited by a plurality of norms). (shrink)

Jerry Fodor wrote the following assessment of Danto’s importance in 1993: “Danto has done something I’ve been very much wanting to do: namely, reconsider some hard problems in aesthetics in the light of the past 20 years or so of philosophical work on intentionality and representation” (Fodor 1993, p. 41). Fodor is absolutely right: some of Danto’s work could be thought of as the application of some influential ideas about perception that Fodor also shared. The problem is that these ideas (...) have turned out to be false. Both Danto and Fodor are modularist: they both think that perception is an encapsulated process that is in no way influenced by any kind of non-perceptual processing (see, e.g., Fodor 1983, Pylyshyn 1984). Many of Danto’s famous and influential arguments rely very directly on this modularist assumption. There is now, however, a wealth of evidence against modularism of the strong kind held to by Danto and Fodor. We now know that perceptual experience is not determined entirely by the retinal input: our visual processing is influenced at various point in a top-down manner. What we know and what kinds of visual stimuli we have encountered previously deeply influence how the retinal input is processed. The empirical literature on this is vast and conclusive (for an overview, see Teufel and Nanay 2017 but see also the references in the last section of this paper). What does this mean for Danto’s views on art and perception? While one of Danto’s premises may turn out to be false, the history and examples he gave are valuable and bear repeating. Even more importantly, Danto’s aesthetics can in part be separated out from his modularism, leading us to draw slightly different but arguably even more interesting conclusions from famous thought experiments such as the Gallery of Indiscernibles. (shrink)

This paper argues that everyday practices crucial for ensuring politically engaged citizens such as sharing news articles or deliberating about potential laws can also be responsible for undermining the state’s efforts to publicize the law. Theorists view publicity—a requirement that laws should be public and accessible—as having crucial normative and practical importance in liberal democracy and, more broadly, in ensuring the rule of law. Due to egalitarian concerns, laws are often long, complex, and specific to ensure that street-level bureaucrats exercise (...) low levels of discretion in applying the law. This—what I deem the institutional publicity problem—means that the law is so inaccessible that busy, everyday citizens must turn to third-party sources to understand policymaking. These intermediaries often make mistakes promulgating the law. Misinformation is hard to counteract, and pre-existing beliefs affect information acceptance. This all represents a behavioral publicity problem: morally and legally permissible actions can complicate and undermine reasonable efforts of citizens to learn about the law. I argue that the state is caught between a rock and a hard place. While there are benefits to having the state fight against misinformation, it also raises serious concerns about democratic engagement. (shrink)

Presentism faces a familiar objection from truthmaker theory. How can propositions about the past be made true if past entities do not exist? In answering this question, there are, broadly, two roads open to the presentist. The easy road to presentism proceeds by capitulating to the demands imposed by truthmaker theory and finding truthmakers for claims about the past. This road typically involves the invocation of controversial metaphysical posits that must then be defended. The hard road to presentism resists the (...) demands of truthmaker theory by denying that all truths must be truth-made. The road is hard as it requires providing a principled restriction on the scope of truthmaker theory. In this paper, I argue that the hard road collapses back into the easy road; there is no hard road to presentism. (shrink)

It is a common criticism of presentism – the view according to which only the present exists – that it errs against truthmaker theory. Recent attempts to resolve the truthmaker objection against presentism proceed by restricting truthmaker maximalism (the view that all truths have truthmakers), maintaining that propositions concerning the past are not made true by anything, but are true nonetheless. Support for this view is typically garnered from the case for negative existential propositions, which some philosophers contend are exceptions (...) to truthmaker maximalism. In this article, we argue that a ‘no truthmakers’ approach to the truthmaker objection is critically flawed. (shrink)

We study the logical and computational properties of basic theorems of uncountable mathematics, including the Cousin and Lindelöf lemma published in 1895 and 1903. Historically, these lemmas were among the first formulations of open-cover compactness and the Lindelöf property, respectively. These notions are of great conceptual importance: the former is commonly viewed as a way of treating uncountable sets like e.g. [Formula: see text] as “almost finite”, while the latter allows one to treat uncountable sets like e.g. [Formula: see text] (...) as “almost countable”. This reduction of the uncountable to the finite/countable turns out to have a considerable logical and computational cost: we show that the aforementioned lemmas, and many related theorems, are extremely hard to prove, while the associated sub-covers are extremely hard to compute. Indeed, in terms of the standard scale (based on comprehension axioms), a proof of these lemmas requires at least the full extent of second-order arithmetic, a system originating from Hilbert–Bernays’ Grundlagen der Mathematik. This observation has far-reaching implications for the Grundlagen’s spiritual successor, the program of Reverse Mathematics, and the associated Gödel hierarchy. We also show that the Cousin lemma is essential for the development of the gauge integral, a generalization of the Lebesgue and improper Riemann integrals that also uniquely provides a direct formalization of Feynman’s path integral. (shrink)

We investigate the connections between computability theory and Nonstandard Analysis. In particular, we investigate the two following topics and show that they are intimately related. A basic property of Cantor space$2^ $ is Heine–Borel compactness: for any open covering of $2^ $, there is a finite subcovering. A natural question is: How hard is it to compute such a finite subcovering? We make this precise by analysing the complexity of so-called fan functionals that given any $G:2^ \to $, output a (...) finite sequence $\langle f_0, \ldots,f_n \rangle $ in $2^ $ such that the neighbourhoods defined from $\overline {f_i } G\left$ for $i \le n$ form a covering of $2^ $. A basic property of Cantor space in Nonstandard Analysis is Abraham Robinson’s nonstandard compactness, i.e., that every binary sequence is “infinitely close” to a standard binary sequence. We analyse the strength of this nonstandard compactness property of Cantor space, compared to the other axioms of Nonstandard Analysis and usual mathematics.Our study of yields exotic objects in computability theory, while leads to surprising results in Reverse Mathematics. We stress that and are highly intertwined, i.e., our study is holistic in nature in that results in computability theory yield results in Nonstandard Analysis and vice versa. (shrink)

In this article I consider what it would take to combine a certain kind of mathematical Platonism with serious presentism. I argue that a Platonist moved to accept the existence of mathematical objects on the basis of an indispensability argument faces a significant challenge if she wishes to accept presentism. This is because, on the one hand, the indispensability argument can be reformulated as a new argument for the existence of past entities and, on the other hand, if one accepts (...) the indispensability argument for mathematical objects then it is hard to resist the analogous argument for the existence of the past. (shrink)

In this articleIconsider what it would take to combine a certain kind of mathematicalPlatonism with serious presentism.Iargue that a Platonist moved to accept the existence of mathematical objects on the basis of an indispensability argument faces a significant challenge if she wishes to accept presentism. This is because, on the one hand, the indispensability argument can be reformulated as a new argument for the existence of past entities and, on the other hand, if one accepts the indispensability argument for mathematical (...) objects then it is hard to resist the analogous argument for the existence of the past. (shrink)

Cantor’s first set theory paper (1874) establishes the uncountability of ${\mathbb R}$. We study this most basic mathematical fact formulated in the language of higher-order arithmetic. In particular, we investigate the logical and computational properties of ${\mathsf {NIN}}$ (resp. ${\mathsf {NBI}}$ ), i.e., the third-order statement there is no injection resp. bijection from $[0,1]$ to ${\mathbb N}$. Working in Kohlenbach’s higher-order Reverse Mathematics, we show that ${\mathsf {NIN}}$ and ${\mathsf {NBI}}$ are hard to prove in terms of (conventional) comprehension axioms, (...) while many basic theorems, like Arzelà’s convergence theorem for the Riemann integral (1885), are shown to imply ${\mathsf {NIN}}$ and/or ${\mathsf {NBI}}$. Working in Kleene’s higher-order computability theory based on S1–S9, we show that the following fourth-order process based on ${\mathsf {NIN}}$ is similarly hard to compute: for a given $[0,1]\rightarrow {\mathbb N}$ -function, find reals in the unit interval that map to the same natural number. (shrink)

We prove that the problem of determining the minimum propositional proof length is NP- hard to approximate within a factor of 2 log 1 - o(1) n . These results are very robust in that they hold for almost all natural proof systems, including: Frege systems, extended Frege systems, resolution, Horn resolution, the polynomial calculus, the sequent calculus, the cut-free sequent calculus, as well as the polynomial calculus. Our hardness of approximation results usually apply to proof length measured either by (...) number of symbols or by number of inferences, for tree-like or dag-like proofs. We introduce the Monotone Minimum (Circuit) Satisfying Assignment problem and reduce it to the problems of approximation of the length of proofs. (shrink)

We consider whether given a simple, finite description of a group in the form of an algorithm, it is possible to algorithmically determine if the corresponding group has some specified property or not. When there is such an algorithm, we say the property is recursively recognizable within some class of descriptions. When there is not, we ask how difficult it is to detect the property in an algorithmic sense. We consider descriptions of two sorts: first, recursive presentations in terms of (...) generators and relators, and second, algorithms for computing the group operation. For both classes of descriptions, we show that a large class of natural algebraic properties, Markov properties, are not recursively recognizable, indeed they are \-hard to detect in recursively presented groups and \-hard to detect in computable groups. These theorems suffice to give a sharp complexity measure for the detection problem of a number of typical group properties, for example, being abelian, torsion-free, orderable. Some properties, like being cyclic, nilpotent, or solvable, are much harder to detect, and we give sharp characterizations of the corresponding detection problems from a number of them. We give special attention to orderability properties, as this was a main motivation at the beginning of this project. (shrink)

Many prominent critiques of philosophical methods proceed by suggesting that some method is unreliable, especially in comparison to some alternative method. In light of this, it may seem natural to conclude that these (comparatively) unreliable methods should be abandoned. Drawing upon work on the division of cognitive labour in science, we argue things are not so straightforward. Rather, whether an unreliable method should be abandoned depends heavily on the crucial question of how we should divide philosophers’ time and effort between (...) different methods, in order to maximise our prospects of achieving epistemic success. We show that, in a range of cases, even a (comparatively) unreliable method deserves to be allocated some of these resources. (shrink)

Bestselling author Sam Harris dismantles the most common justification for religious faith-that a moral system cannot be based on science.

In this enlightening book, Sam Harris argues that free will is an illusion but that this truth should not undermine morality or diminish the importance of social and political freedom; indeed, this truth can and should change the way we think about some of the most important questions in life.

Inquiry aims at knowledge. Your inquiry into a question succeeds just in case you come to know the answer. However, combined with a common picture on which misleading evidence can lead knowledge to be lost, this view threatens to recommend a novel form of dogmatism. At least in some cases, individuals who know the answer to a question appear required to avoid evidence bearing on it. In this paper, we’ll aim to do two things. First, we’ll present an argument for (...) this novel form of dogmatism and show that it presents a substantive challenge. Second, we’ll consider a way those who take knowledge to be the aim of inquiry can mount a response. In the course of doing so, we’ll try to get clearer on the normative connections between inquiry, knowledge and evidence gathering. (shrink)

Sam Harris dismantles the most common justification for religious faith--that a moral system cannot be based on science.

Suppositional theories of conditionals take apparent similarities between supposition and conditionals as a starting point, appealing to features of the former to provide an account of the latter. This paper develops a novel form of suppositional theory, one which characterizes the relationship at the level of semantics rather than at the level of speech acts. In the course of doing so, it considers a range of novel data which shed additional light on how conditionals and supposition interact.

We develop a new version of the causal theory of spacetime. Whereas traditional versions of the theory seek to identify spatiotemporal relations with causal relations, the version we develop takes causal relations to be the grounds for spatiotemporal relations. Causation is thus distinct from, and more basic than, spacetime. We argue that this non-identity theory, suitably developed, avoids the challenges facing the traditional identity theory.

The curriculum design, faculty characteristics, and experience of implementing masters' level international research ethics training programs supported by the Fogarty International Center was investigated. Multiple pedagogical approaches were employed to adapt to the learning needs of the trainees. While no generally agreed set of core competencies exists for advanced research ethics training, more than 75% of the curricula examined included international issues in research ethics, responsible conduct of research, human rights, philosophical foundations of research ethics, and research regulation and ethical (...) review process. Common skills taught included critical thinking, research methodology and statistics, writing, and presentation proficiency. Curricula also addressed the cultural, social, and religious context of the trainees related to research ethics. Programs surveyed noted trainee interest in Western concepts of research ethics and the value of the transnational exchange of ideas. Similar faculty expertise profiles existed in all programs. Approximately 40% of faculty were female. Collaboration between faculty from low- and middleincome countries (LMICs) and high-income countries (HICs) occurred in most programs and at least 50% of HIC faculty had previous LMIC experience. This paper is part of a collection of papers analyzing the Fogarty International Research Ethics Education and Curriculum Development program. (shrink)

Think of a number, any number, or properties like fragility and humanity. These and other abstract entities are radically different from concrete entities like electrons and elbows. While concrete entities are located in space and time, have causes and effects, and are known through empirical means, abstract entities like meanings and possibilities are remarkably different. They seem to be immutable and imperceptible and to exist "outside" of space and time. This book provides a comprehensive critical assessment of the problems raised (...) by abstract entities and the debates about existence, truth, and knowledge that surround them. It sets out the key issues that inform the metaphysical disagreement between platonists who accept abstract entities and nominalists who deny abstract entities exist. Beginning with the essentials of the platonist–nominalist debate, it explores the key arguments and issues informing the contemporary debate over abstract reality: arguments for platonism and their connections to semantics, science, and metaphysical explanation the abstract–concrete distinction and views about the nature of abstract reality epistemological puzzles surrounding our knowledge of mathematical entities and other abstract entities. arguments for nominalism premised upon concerns about paradox, parsimony, infinite regresses, underdetermination, and causal isolation nominalist options that seek to dispense with abstract entities. Including chapter summaries, annotated further reading, and a glossary, _Entities_ is essential reading for anyone seeking a clear and authoritative introduction to the problems raised by abstract entities. (shrink)

Standard approaches to counterfactuals in the philosophy of explanation are geared toward causal explanation. We show how to extend the counterfactual theory of explanation to non-causal cases, involving extra-mathematical explanation: the explanation of physical facts by mathematical facts. Using a structural equation framework, we model impossible perturbations to mathematics and the resulting differences made to physical explananda in two important cases of extra-mathematical explanation. We address some objections to our approach.

Kant proclaimed that all theodicies must fail in ?On the Miscarriage of All Philosophical Trials in Theodicy?, but it is mysterious why he did so since he had developed a theodicy of his own during the critical period. In this paper, I offer an explanation of why Kant thought theodicies necessarily fail. In his theodicy, as well as in some of his works in ethics, Kant explained moral evil as resulting from unavoidable limitations in human beings. God could not create (...) finite beings without such limitations and so could not have created humans that were not prone to committing immoral acts. However, the work of Carl Christian Eberhard Schmid showed Kant that given his own beliefs about freedom and the nature of responsibility one could not account for moral evil in this way without tacitly denying that human beings were responsible for their actions. This result is significant not only because it explains an otherwise puzzling shift in Kant's philosophy of religion, but also because it shows that the theodicy essay provides powerful evidence that Kant's thinking about moral evil and freedom underwent fundamental shifts between early works such as the Groundwork and later works like the Religion within the Limits of Mere Reason. (shrink)

On a now orthodox view, humans and many other animals possess a “number sense,” or approximate number system, that represents number. Recently, this orthodox view has been subject to numerous critiques that question whether the ANS genuinely represents number. We distinguish three lines of critique – the arguments from congruency, confounds, and imprecision – and show that none succeed. We then provide positive reasons to think that the ANS genuinely represents numbers, and not just non-numerical confounds or exotic substitutes for (...) number, such as “numerosities” or “quanticals,” as critics propose. In so doing, we raise a neglected question: numbers of what kind? Proponents of the orthodox view have been remarkably coy on this issue. But this is unsatisfactory since the predictions of the orthodox view, including the situations in which the ANS is expected to succeed or fail, turn on the kind of number being represented. In response, we propose that the ANS represents not only natural numbers, but also non-natural rational numbers. It does not represent irrational numbers, however, and thereby fails to represent the real numbers more generally. This distances our proposal from existing conjectures, refines our understanding of the ANS, and paves the way for future research. (shrink)

The theoretical virtue of parsimony values the minimizing of theoretical commitments, but theoretical commitments come in two kinds : ontological and ideological. While the ontological commitments of a theory are the entities it posits, a theory’s ideological commitments are the primitive concepts it employs. Here, I show how we can extend the distinction between quantitative and qualitative parsimony, commonly drawn regarding ontological commitments, to the domain of ideological commitments. I then argue that qualitative ideological parsimony is a theoretical virtue. My (...) defense proceeds by demonstrating the merits of qualitative ideological parsimony and by showing how the qualitative conception of ideological parsimony undermines two notable arguments from ideological parsimony: David Lewis’ defense of modal realism and Ted Sider’s defense of mereological nihilism. (shrink)

Formal models of appearance and reality have proved fruitful for investigating structural properties of perceptual knowledge. This paper applies the same approach to epistemic justification. Our central goal is to give a simple account of The Preface, in which justified belief fails to agglomerate. Following recent work by a number of authors, we understand knowledge in terms of normality. An agent knows p iff p is true throughout all relevant normal worlds. To model The Preface, we appeal to the normality (...) of error. Sometimes, it is more normal for reality and appearance to diverge than to match. We show that this simple idea has dramatic consequences for the theory of knowledge and justification. Among other things, we argue that a proper treatment of The Preface requires a departure from the internalist idea that epistemic justification supervenes on the appearances and the widespread idea that one knows most when free from error. (shrink)

This paper refines a controversial proposal: that core systems belong to a perceptual kind, marked out by the format of its representational outputs. Following Susan Carey, this proposal has been understood in terms of core representations having an iconic format, like certain paradigmatically perceptual outputs. I argue that they don’t, but suggest that the proposal may be better formulated in terms of a broader analogue format type. Formulated in this way, the proposal accommodates the existence of genuine icons in perception, (...) and avoids otherwise troubling objections. (shrink)

A number of philosophers have argued in favour of extended simples on the grounds that they are needed by fundamental physics. The arguments typically appeal to theories of quantum gravity. To date, the argument in favour of extended simples has ignored the fact that the very existence of spacetime is put under pressure by quantum gravity. We thus consider the case for extended simples in the context of different views on the existence of spacetime. We show that the case for (...) extended simples based on physics is far more complex than has been previously thought. We present and then map this complexity, in order to present a much more textured picture of the argument for extended simples. (shrink)

Some critics argue that the types of psychiatric diagnosis found in the Diagnostic and Statistical Manual of Mental Disorders and International Classification of Disease are superfluous and should be abandoned. These are known as categorical polythetic psychiatric diagnoses. To receive a categorical polythetic psychiatric diagnosis an individual need only exhibit some, rather than all, of the symptoms on the diagnostic criteria. Consequently, categorical polythetic psychiatric diagnoses only associate an individual with a range of symptoms rather than specify which symptoms they (...) have. Drawing on Giere’s account of scientific models, I portray categorical polythetic psychiatric diagnoses as abstract models that guide the building of less abstract models. These models can specify which symptoms a particular individual has. Additionally, categorical polythetic psychiatric diagnoses can guide investigation of symptoms towards difficult to spot symptoms, guide investigation towards changing symptoms, and guide investigation towards how symptoms manifest. These important roles mean categorical polythetic psychiatric diagnoses should not be abandoned. (shrink)

The popularity of ‘food sovereignty’ to cover a range of positions, interventions, and struggles within the food system is testament, above all, to the term’s adaptability. Food sovereignty is centrally, though not exclusively, about groups of people making their own decisions about the food system—it is a way of talking about a theoretically-informed food systems practice. Since people are different, we should expect decisions about food sovereignty to be different in different contexts, albeit consonant with a core set of principles (...) (including women’s rights, a shared opposition to genetically modified crops, and a demand for agriculture to be removed from current international trade agreements). In this paper we look at the analytical points of friction in applying ideas of food sovereignty within the context of Indigenous struggles in North America. This, we argue, helps to clarify one of the central themes in food sovereignty: that it is a continuation of anti-colonial struggles, even in post-colonial contexts. Such an examination has dividends both for scholars of food sovereignty and for those of Indigenous politics: by helping to problematize notions of food sovereignty and postcoloniality, but also by posing pointed questions around gender for Indigenous struggles. (shrink)

Jerry Fodor deemed informational encapsulation ‘the essence’ of a system’s modularity and argued that human perceptual processing comprises modular systems, thus construed. Nowadays, his conclusion is widely challenged. Often, this is because experimental work is seen to somehow demonstrate the cognitive penetrability of perceptual processing, where this is assumed to conflict with the informational encapsulation of perceptual systems. Here, I deny the conflict, proposing that cognitive penetration need not have any straightforward bearing on the conjecture that perceptual processing is composed (...) of nothing but informationally encapsulated modules, the conjecture that each and every perceptual computation is performed by an informationally encapsulated module, and the consequences perceptual encapsulation was traditionally expected to have for a perception-cognition border, the epistemology of perception and cognitive science. With these points in view, I propose that particularly plausible cases of cognitive penetration would actually seem to evince the encapsulation of perceptual systems rather than refute/problematize this conjecture. (shrink)

According to the modal view, essence admits of reductive analysis in exclusively modal terms. Fine (1994) argues that modal view delivers an inadequate analysis of essence. This paper defends the modal view from Fine's challenge. This defense proceeds by examining the disagreement between Finean primitivists and Quinean eliminativists about essence. In order to model this disagreement, a distinction between essence and a separable concept, nature, is required. This distinction is then used to show that Fine's challenge is misdirected and therefore (...) unsuccessful. (shrink)

Mathematics appears to play a genuine explanatory role in science. But how do mathematical explanations work? Recently, a counterfactual approach to mathematical explanation has been suggested. I argue that such a view fails to differentiate the explanatory uses of mathematics within science from the non-explanatory uses. I go on to offer a solution to this problem by combining elements of the counterfactual theory of explanation with elements of a unification theory of explanation. The result is a theory according to which (...) a counterfactual is explanatory when it is an instance of a generalized counterfactual scheme. (shrink)

This article introduces a new reflection principle. It is based on the idea that whatever is true in all entities of some kind is also true in a set-sized collection of them. Unlike standard reflection principles, it does not re-interpret parameters or predicates. This allows it to be both consistent in all higher-order languages and remarkably strong. For example, I show that in the language of second-order set theory with predicates for a satisfaction relation, it is consistent relative to the (...) existence of a 2-extendible cardinal (Theorem 7.12) and implies the existence of a proper class of 1-extendible cardinals (Theorem 7.9). (shrink)

This paper develops an account of pluralities based on the following simple claim: some things are nothing over and above the individual things they comprise. For some, this may seem like a mysterious statement, perhaps even meaningless; for others, like a truism, trivial and inferentially inert. I show that neither reaction is correct: the claim is both tractable and has important consequences for a number of debates in philosophy.

It is often claimed that pre-attentive vision has an ‘iconic’ format. This is seen to explain pre-attentive vision's characteristically high processing capacity and to make sense of an overlap in the mechanisms of early vision and mental imagery. But what does the iconicity of pre-attentive vision amount to? This paper considers two prominent ways of characterising pre-attentive visual icons and argues that neither is adequate: one approach renders the claim ‘pre-attentive vision is iconic’ empirically false while the other obscures its (...) ability to do the explanatory work, which motivates positing pre-attentive visual icons in the first place. With this noted, I introduce the notion of an ‘Analogue Map’ and argue that it provides a superior characterisation of pre-attentive vision's iconicity. I then argue that this forces a reassessment of debates which have traditionally presupposed the iconicity of pre-attentive vision, emphasising ramifications for the viability of a format-based perception-thought border. (shrink)