The dividing walls of hostility -- The roots of othering -- The forms of othering -- The violent consequences of othering -- Voices of the moral imperative -- And the walls come tumbling down.

This Element, written for researchers and students in philosophy and the behavioral sciences, reviews and critically assesses extant work on number concepts in developmental psychology and cognitive science. It has four main aims. First, it characterizes the core commitments of mainstream number cognition research, including the commitment to representationalism, the hypothesis that there exist certain number-specific cognitive systems, and the key milestones in the development of number cognition. Second, it provides a taxonomy of influential views within mainstream number cognition research, (...) along with the central challenges these views face. Third, it identifies and critically assesses a series of core philosophical assumptions often adopted by number cognition researchers. Finally, the Element articulates and defends a novel version of pluralism about number concepts. (shrink)

Hofweber (Ontology and the ambitions of metaphysics, Oxford University Press, 2016) argues for a thesis he calls “internalism” with respect to natural number discourse: no expressions purporting to refer to natural numbers in fact refer, and no apparent quantification over natural numbers actually involves quantification over natural numbers as objects. He argues that while internalism leaves open the question of whether other kinds of abstracta exist, it precludes the existence of natural numbers, thus establishing what he calls “restricted nominalism” about (...) natural numbers. We argue that Hofweber’s internalism fails to establish restricted nominalism. Not only is his primary argument for restricted nominalism invalid, the analysis of quantification proposed threatens to collapse internalism into either a traditional form of error theory or realism. (shrink)

The Renaissance was a period of great intellectual change and innovation as philosophers rediscovered the philosophy of classical antiquity and passed it on to the modern age. Renaissance philosophy is distinct both from the medieval scholasticism, based on revelation and authority, and from philosophers of the seventeenth and eighteenth centuries who transformed it into new philosophical systems. Despite the importance of the Renaissance to the development of philosophy over time, it has remained largely understudied by historians of philosophy and professional (...) philosophers. This anthology aims to correct this by providing scholars and students of philosophy with representative translations of the most important philosophers of the Renaissance. Its purpose is to help readers appreciate philosophy in the Renaissance and its importance in the history of philosophy. The anthology includes translations from philosophers from the thirteenth to the seventeenth centuries, and it ranges from works on moral and political philosophy, to metaphysics, epistemology, and natural philosophy, thereby providing historians and students of philosophy with a sense for the nature, breadth, and complexity of philosophy in the Renaissance. Each translation is accompanied by an introduction by a historian of Renaissance philosophy, as well as select secondary sources, in order to encourage further study. (shrink)

It is proposed here that the spinal network of proprioceptive feedback from length and force receptors constitutes the mechanism underlying the coordination of activation thresholds for muscles acting about the same and neighboring joints. For the most part, these circuits come between motoneurons and supraspinal signals, invalidating the idea that the activation thresholds constitute control variables for the motor system.

Number words seemingly function both as adjectives attributing cardinality properties to collections, as in Frege’s ‘Jupiter has four moons’, and as names referring to numbers, as in Frege’s ‘The number of Jupiter’s moons is four’. This leads to what Thomas Hofweber calls Frege’s Other Puzzle: How can number words function as modifiers and as singular terms if neither adjectives nor names can serve multiple semantic functions? Whereas most philosophers deny that one of these uses is genuine, we instead argue that (...) number words, like many related expressions, are polymorphic, having multiple uses whose meanings are systematically related via type shifting. (shrink)

One of the more distinctive features of Bob Hale and Crispin Wright’s neologicism about arithmetic is their invocation of Frege’s Constraint – roughly, the requirement that the core empirical applications for a class of numbers be “built directly into” their formal characterization. In particular, they maintain that, if adopted, Frege’s Constraint adjudicates in favor of their preferred foundation – Hume’s Principle – and against alternatives, such as the Dedekind-Peano axioms. In what follows we establish two main claims. First, we show (...) that, if sound, Hale and Wright’s arguments for Frege’s Constraint at most establish a version on which the relevant application of the naturals is transitive counting – roughly, the counting procedure by which numerals are used to answer “how many”-questions. Second, we show that this version of Frege’s Constraint fails to adjudicate in favor of Hume’s Principle. If this is the version of Frege’s Constraint that a foundation for arithmetic must respect, then Hume’s Principle no more – and no less – meets the requirement than the Dedekind-Peano axioms do. (shrink)

There are multiple formal characterizations of the natural numbers available. Despite being inter-derivable, they plausibly codify different possible applications of the naturals – doing basic arithmetic, counting, and ordering – as well as different philosophical conceptions of those numbers: structuralist, cardinal, and ordinal. Some influential philosophers of mathematics have argued for a non-egalitarian attitude according to which one of those characterizations is ‘more basic’ or ‘more fundamental’ than the others. This paper addresses two related issues. First, we review some of (...) these non-egalitarian arguments, lay out a laundry list of different, legitimate, notions of relative priority, and suggest that these arguments plausibly employ different such notions. Secondly, we argue that given a metaphysical-cum-epistemological gloss suggested by Frege's foundationalist epistemology, the ordinals are plausibly more basic than the cardinals. This is just one orientation to relative priority one could take, however. Ultimately, we subscribe to an egalitarian attitude towards these formal characterizations: they are, in some sense, equally ‘legitimate’. (shrink)

In this paper, we outline and critically evaluate Thomas Hofweber’s solution to a semantic puzzle he calls Frege’s Other Puzzle. After sketching the Puzzle and two traditional responses to it—the Substantival Strategy and the Adjectival Strategy—we outline Hofweber’s proposed version of Adjectivalism. We argue that two key components—the syntactic and semantic components—of Hofweber’s analysis both suffer from serious empirical difficulties. Ultimately, this suggests that an altogether different solution to Frege’s Other Puzzle is required.

A core commitment of Bob Hale and Crispin Wright’s neologicism is their invocation of Frege’s Constraint—roughly, the requirement that the core empirical applications for a class of numbers be “built directly into” their formal characterization. According to these neologicists, if legitimate, Frege’s Constraint adjudicates in favor of their preferred foundation—Hume’s Principle—and against alternatives, such as the Dedekind–Peano axioms. In this paper, we consider a recent argument for legitimating Frege’s Constraint due to Hale, according to which the primary empirical application of (...) the naturals is transitive counting, or answering ‘how many’-questions using numerals. We make two claims regarding Hale’s argument. First, it fails to legitimate Frege’s Constraint in virtue of resting on unsupported and highly contentious assumptions. Secondly, even if sound, Hale’s argument would vindicate a version of Frege’s Constraint which fails to adjudicate in favor of Hume’s Principle over alternative characterizations of the naturals. (shrink)

There are multiple formal characterizations of the natural numbers available. Despite being inter-derivable, they plausibly codify different possible applications of the naturals – doing basic arithmetic, counting, and ordering – as well as different philosophical conceptions of those numbers: structuralist, cardinal, and ordinal. Nevertheless, some influential philosophers of mathematics have argued for a non-egalitarian attitude according to which one of those characterizations is more “legitmate” in virtue of being “more basic” or “more fundamental”. This paper addresses two related issues. First, (...) we review some of these non-egalitarian arguments, lay out a laundry list of different, legitimate, notions of relative priority, and suggest that these arguments plausibly employ different such notions. Secondly, we argue that given a metaphysical-cum-epistemological gloss suggested by Frege’s foundationalist epistomology, the ordinals are plausibly more basic than the cardinals. This is just one orientation to relative priority one could take, however. Ultimately, we subscribe to an egalitarian attitude towards these formal characterizations: they are, in some sense, equally “legitimate”. (shrink)

Hartry Field has suggested that we should adopt at least a methodological deflationism: [W]e should assume full-fledged deflationism as a working hypothesis. That way, if full-fledged deflationism should turn out to be inadequate, we will at least have a clearer sense than we now have of just where it is that inflationist assumptions ... are needed. I argue here that we do not need to be methodological deflationists. More pre-cisely, I argue that we have no need for a disquotational truth-predicate; (...) that the word true, in ordinary language, is not a disquotational truth-predicate; and that it is not at all clear that it is even possible to introduce a disquotational truth-predicate into ordinary language. If so, then we have no clear sense how it is even possible to be a methodological deflationist. My goal here is not to convince a committed deflationist to abandon his or her position. My goal, rather, is to argue, contrary to what many seem to think, that reflection on the apparently trivial character of T-sentences should not incline us to deflationism. (shrink)

Recently in the U.S. a near-consensus has formed around the idea that it would be desirable to "end welfare as we know it," in the words of President Bill Clinton.1 In this context, the term "welfare" does not refer to the entire panoply of welfare state provision including government sponsored old age pensions, government provided medical care for the elderly, unemployment benefits for workers who have lost their jobs without being fired for cause, or aid to the disabled. "Welfare" in (...) contemporary debates means "cash, food, or housing assistance to healthy nonaged persons with low incomes."2 In the U.S., the main policy that qualifies as welfare in this sense is Aid to Families with Dependent Children.3 Although contemporary attacks on welfare are identified with conservative policy analysts such as Charles Murray, in fact dissatisfaction with the policies Murray targets for criticism is widespread among liberal intellectuals. For example, in a sharply critical review essay on Murray's book Losing Ground, Christopher Jencks worries that "the social policies that prevailed from 1964 to 1980 often seemed to reward vice" instead of rewarding virtuous conduct by the poor. The problem as Jencks, following Murray, views it is not easy to repair, because "if you set out to help people who are in trouble, you almost always find that most of them are to some extent responsible for their present troubles. Few victims are completely innocent. Helping those who are not doing their best to help themselves poses extraordinarily difficult moral and political problems."4 David T. Ellwood writes that Murray “is almost certainly correct in stating that welfare does not reflect or reinforce our most basic values. He is also correct in stating that no amount of tinkering with benefit levels or work rules will change that.”. (shrink)

Saul Kripke once noted that there is a tight connection between computation and de re knowledge of whatever the computation acts upon. For example, the Euclidean algorithm can produce knowledge of _which number_ is the greatest common divisor of two numbers. Arguably, algorithms operate directly on syntactic items, such as strings, and on numbers and the like only via how the numbers are represented. So we broach matters of _notation_. The purpose of this article is to explore the relationship between (...) the notations acceptable for computation, the usual idealizations involved in theories of computability, flowing from Alan Turing’s monumental work, and de re propositional attitudes toward numbers and other mathematical objects. (shrink)

It is commonly held that there is no place for the 'now’ in physics, and also that the passing of time is something subjective, having to do with the way reality is experienced but not with the way reality is. Indeed, the majority of modern theoretical physicists and philosophers of physics contend that the passing of time is incompatible with modern physical theory, and excluded in a fundamental description of physical reality. This book provides a forceful rebuttal of such claims. (...) In successive chapters the author explains the historical precedents of the modern opposition to time flow, giving careful expositions of matters relevant to becoming in classical physics, the special and general theories of relativity, and quantum theory, without presupposing prior expertise in these subjects. Analysing the arguments of thinkers ranging from Aristotle, Russell, and Bergson to the proponents of quantum gravity, he contends that the passage of time, understood as a local becoming of events out of those in their past at varying rates, is not only compatible with the theories of modern physics, but implicit in them. (shrink)

Clarke and Beck import certain assumptions about the nature of numbers. Although these are widespread within research on number cognition, they are highly contentious among philosophers of mathematics. In this commentary, we isolate and critically evaluate one core assumption: the identity thesis.

Here, we compare birdsong and human musicality using insights from songbird neuroethology and evolution. For example, neural recordings during songbird duetting and other coordinated vocal behaviors could inform mechanistic hypotheses regarding human brain function during music-making. Furthermore, considering songbird evolution as a model system suggests that selection favoring certain culturally transmitted behaviors can indirectly select for associated underlying neural functions.

We give an examination of the automorphism group Aut of a countable recursively saturated model M of PA. The main result is a characterisation of strong elementary initial segments of M as the initial segments consisting of fixed points of automorphisms of M. As a corollary we prove that, for any consistent completion T of PA, there are recursively saturated countable models M1, M2 of T, such that Aut[ncong]Aut, as topological groups with a natural topology. Other results include a classification (...) of the normal subgroups of Aut of the form [lcub]g: g [uharr] A = idA[rcub], for sets A M, and a highly homogeneous representation of Aut as a subgroup of Aut. (shrink)

How should a machine intelligence perform unsupervised structure discovery over streams of sensory input? One approach to this problem is to cast it as an apperception task [1]. Here, the task is to construct an explicit interpretable theory that both explains the sensory sequence and also satisfies a set of unity conditions, designed to ensure that the constituents of the theory are connected in a relational structure. However, the original formulation of the apperception task had one fundamental limitation: it assumed (...) the raw sensory input had already been parsed using a set of discrete categories, so that all the system had to do was receive this already-digested symbolic input, and make sense of it. But what if we don't have access to pre-parsed input? What if our sensory sequence is raw unprocessed information? The central contribution of this paper is a neuro-symbolic framework for distilling interpretable theories out of streams of raw, unprocessed sensory experience. First, we extend the definition of the apperception task to include ambiguous (but still symbolic) input: sequences of sets of disjunctions. Next, we use a neural network to map raw sensory input to disjunctive input. Our binary neural network is encoded as a logic program, so the weights of the network and the rules of the theory can be solved jointly as a single SAT problem. This way, we are able to jointly learn how to perceive (mapping raw sensory information to concepts) and apperceive (combining concepts into declarative rules). (shrink)

Saul Kripke once noted that there is a tight connection between computation and de re knowledge of whatever the computation acts upon. For example, the Euclidean algorithm can produce knowledge of which number is the greatest common divisor of two numbers. Arguably, algorithms operate directly on syntactic items, such as strings, and on numbers and the like only via how the numbers are represented. So we broach matters of notation. The purpose of this article is to explore the relationship between (...) the notations acceptable for computation, the usual idealizations involved in theories of computability, flowing from Alan Turing’s monumental work, and de re propositional attitudes toward numbers and other mathematical objects. (shrink)

Crispin Wright has argued that our concept of intention is extension-determining, and that this explains why we are so good at knowing our intentions: it does so by subverting the idea that we detect them. This paper has two aims. The first is to make sense of Wright's claim that intention is extension-determining; this is achieved by comparing his position to that of analytic functionalism. The second is to show that it doesn't follow from this that we do not detect (...) our intentions. Wright has conflated two questions. Firstly, do we detect our intentions? Secondly do we detect the concept of intention itself? The extension-determining account returns a negative answer only to the second. (shrink)

We focus on the recent non-causal theory of reasons explanationsof free action proffered by a proponent of the agency theory, Timothy O'Connor. We argue that the conditions O'Connor offersare neither necessary nor sufficient for a person to act for a reason. Finally, we note that the role O'Connor assigns toreasons in the etiology of actions results in further conceptual difficulties for agent-causalism.

In Minkowski spacetime, because of the relativity of simultaneity to the inertial frame chosen, there is no unique world-at-an-instant. Thus the classical view that there is a unique set of events existing now in a three dimensional space cannot be sustained. The two solutions most often advanced are that the four-dimensional structure of events and processes is alone real, and that becoming present is not an objective part of reality; and that present existence is not an absolute notion, but is (...) relative to inertial frame; the world-at-an-instant is a three dimensional, but relative, reality. According to a third view, advanced by Robb, Capek and Stein, what is present at a given spacetime point is, strictly speaking, constituted by that point alone. I argue here against the first of these views that the four-dimensional universe cannot be said to exist now, already, or indeed at any time at all; so that talk of its existence or reality as if that precludes the existence or reality of the present is a non sequitur. The second view assumes that in relativistic physics time lapse is measured by the time co-ordinate function; against this I maintain that it is in fact measured by the proper time, as I argue by reference to the Twin Paradox. The third view, although formally correct, is tarnished by its unrealistic assumption of point-events. This makes it susceptible to paradox, and also sets it at variance with our normal intuitions of the present. I argue that a defensible concept of the present is nonetheless obtainable when account is taken of the non-instantaneity of events, including that of conscious awareness, as that region of spacetime comprised between the forward lightcone of the beginning of a small interval of proper time t and the backward lightcone of the end of that interval. This gives a serviceable notion of what is present to a given event of short duration, as well as saving our intuition of the “reality” or robustness of present events. (shrink)

It is widely believed that empiricism, though once dominant, is now extinct. This turns out to be mistaken because of incorrect assumption about the initial dominance of logical empiricism and about the content and variety of logical empiricist views. In fact, prominent contemporary philosophers (Quine and Kuhn) who are thought to have demolished logical empiricism are shown to exhibit central views of the logical empiricists rather than having overthrown them.

In this interview, C. P. Goodman invites British Polanyi scholar Richard T. Allen to reflect on his interest in Polanyi’s philosophical ideas and share what he believes is valuable in his thought.

"This is an excellent textbook on Neoplatonism which gives the reader a very concise and lucid overview of the basic doctrines and leading thinkers of the last great philosophy to emerge before the Christianization of the Roman Empire. I’ve no doubt that my students next semester will benefit from the analyses contained in the book. The contents of the chapters are very informative and adequately place developments in their socio-cultural context." --Michael B. Simmons, Auburn University at Montgomery.