While more species are being identified as cultural on a regular basis, stark differences between human and animal cultures remain. Humans are more richly cultural, with group-specific practices and social norms guiding almost every element of our lives. Furthermore, human culture is seen as cumulative, cooperative, and normative, in contrast to animal cultures. One hypothesis to explain these differences is grounded in the observation that human children across cultures appear to spontaneously over-imitate silly or causally irrelevant behaviors that they (...) observe. The few studies on over-imitation in other species are largely taken as evidence that spontaneous over-imitation is not present in other species. This leads to the over-imitation hypothesis – that the differences between human culture and animal cultures can be traced to the human unique tendency to over-imitate. In this paper, we analyze the current state of the literature on animal over-imitation and challenge the adequacy of the over-imitation hypothesis for the differences between humans and animal cultures. To make this argument, we first argue that the function of human over-imitation is norm-learning and that over-imitation, like skill-learning, should be subject to selective social learning effects. Then we review the empirical evidence against animal over-imitation and argue that these studies do not take into account the relevant variables given the normative and selective nature of over-imitation. We then analyze positive empirical evidence of over-imitation in great apes and canids from the experimental literature and conclude that the current body of evidence suggests that some canids and primates may have the capacity for over-imitation. This paper offers a methodological suggestion for how to study animal over-imitation, and a theoretical suggestion that over-imitation might be much more widely found among species. The larger implication for claims about human uniqueness suggests that if we do find widespread evidence of over-imitation across species, many of the current theories of human uniqueness that focus on human hyper-cooperation or social norms may have only identified a difference of degree, not of kind, between humans and other animals. (shrink)

Der berühmte Ameisenmann E.O. Wilson war schon immer einer meiner Helden - nicht nur ein hervorragender Biologe, sondern eine der winzigen und verschwindenden Minderheit von Intellektuellen, die es zumindest wagt, die Wahrheit über unsere Natur anzudeuten, die andere nicht verstehen oder, soweit sie es verstehen, aus politischen Gründen unermüdlich vermeiden. Leider beendet er seine lange Karriere auf äußerst schäbige Weise als Partei eines ignoranten und arroganten Angriffs auf die Wissenschaft, der zumindest teilweise durch die religiöse Inbrunst seiner Harvard-Kollegenmotiviertist. Es zeigt (...) die abscheulichen Folgen, wenn Universitäten Geld von religiösen Gruppen annehmen, Wissenschaftszeitschriften von großen Namen so bewundert sind, dass sie eine ordnungsgemäße Peer Review vermeiden und wenn Egos außer Kontrolle geraten dürfen. Es führt uns in die Natur der Evolution, die Grundlagen der wissenschaftlichen Methodik, wie Mathematik mit Wissenschaft zusammenhängt, was eine Theorie ausmacht, und sogar, welche Einstellungen zu Religion und Großzügigkeit angemessen sind, wenn wir uns unaufhaltsam dem Zusammenbruch der industriellen Zivilisation nähern. Ich fand Abschnitte in 'Conquest' mit dem üblichen prägnanten Kommentar (obwohl nichts wirklich Neues oder Interessantes, wenn man seine anderen Werke gelesen hat und auf biologie im Allgemeinen ist) in der oftgestylten Prosa, die sein Markenzeichen ist, aber war ziemlich überrascht, dass der Kern des Buches seine Ablehnung inklusiver Fitness (die seit über 50 Jahren ein Standbein der Evolutionsbiologie ist) zugunsten der Gruppenauswahl ist. Man nimmt an, dass von ihm kommen und mit den articles er bezieht sich auf veröffentlicht von sich selbst und Harvard Mathematik Kollege Nowak in großen Peer-Review-Zeitschriften wie Nature, muss es ein wesentlicher Fortschritt sein,, trotz der Tatsache, dass ich wusste, Gruppenauswahl wurde fast überall abgelehnt, da mit jeder großen Rolle in der Evolution. Ich habe zahlreiche Rezensionen im Netz gelesen und viele haben gute Kommentare, aber die, die ich am meisten sehen wollte, war, dass von renommierten Wissenschaftsautor und Evolutionsbiologe Richard Dawkins. Im Gegensatz zu den meisten von Fachleuten, die in Zeitschriften nur für diejenigen mit Zugang zu einer Universität zur Verfügung stehen, ist es leicht im Netz verfügbar, obwohlanscheinend, entschied er sich, es nicht in einer Zeitschrift zu veröffentlichen, da es angemessen abscheulich ist. Leider findet man eine vernichtende Ablehnung des Buches und den acerbic Kommentar über einen wissenschaftlichen Kollegen, den ich je von Dawkins gesehen habe -- über alles in seinem vielen Austausch mit dem verstorbenen und unbeklagten Demagogen und Pseudowissenschaftler Stephan Jay Gould. Obwohl Gould für seine persönlichen Angriffe auf seinen Harvard-Kollegen Wilson berüchtigt war, stellt Dawkins fest, dass ein Großteil von "Conquest" einen unbequem an Goulds häufige Verfehlungen in "bland, unfocussed ecumenicalis" erinnert. Dasselbe gilt mehr oder weniger für Wilsons populäres Schreiben, einschließlich seines jüngsten Buches "The Meaning of Human Existence" – eine weitere schamlose Eigenwerbung seiner diskreditierten Ideen zu Inklusiver Fitness (IF). Dawkins weist darauf hin, dass das berüchtigte 2010-Papier von Nowak, Tarnita und Wilson in Nature von über 140 Biologen, die einen Brief unterzeichnet haben, fast überall abgelehnt wurde und dass es in Wilsons Buch kein Wort darüber gibt. Auch in den folgenden 4 Jahren mit Artikeln, Vorträgen und mehreren Büchern haben sie dies nicht korrigiert. Es gibt keine andere Wahl, als Dawkins trenchant Kommentar zuzustimmen: "Für Wilson nicht zu zugeben, dass er für sich selbst gegen die große Mehrheit seiner professionellen Kollegen spricht - es schmerzt mich, dies von einem lebenslangen Helden zu sagen -- ein Akt mutwilligen Arroganz." Angesichts von Nowaks späterem Verhalten muss man ihn auch einbeziehen. Ich habe das Gefühl, dass einer der fassungslosen Menschen, die man im Fernsehen sieht, interviewt wird, nachdem der nette Mann von nebenan, der seit 30 Jahren alle Kinder babysitten, als Serienmörder entlarvt wird. Dawkins weist auch darauf hin (wie er und andere seit vielen Jahren), dass inklusive Fitness mit dem Neo-Darwinismus (d.h. logischerweise folgt) entsteht und nicht abgelehnt werden kann, ohne die Evolution selbst abzulehnen. Wilson erinnert uns erneut an Gould, der Kreationisten von der einen Seite seines Mundes anprangerte, während er ihnen Trost spendete, indem er endlosen ultraliberalen marxistisch gefärbten Kauderwelsch über Spandrels, unterbrochenes Gleichgewicht und Evolutionspsychologie von der anderen ausspeist. Die Unbestimmtheit und mathematische Opazität (für die meisten von uns) der Mathematik der Gruppen- oder Mehrebenenauswahl ist genau das, was die Sanftmütigen ihnen ermöglichen wollen, dem rationalen Denken in ihren endlosen antiwissenschaftlichen Gerüchten und (in der Wissenschaft) postmodernen Wortsalate zu entkommen. Schlimmer noch, Wilsons "Eroberung" ist ein schlecht durchdachtes und schlampig geschriebenes Durcheinander voller Nonsequiturs, vager Streifzüge, Verwirrungen und Inkohärenz. Eine gute Bewertung, die einige davon im Detail ist, dass von Absolvent Gerry Carter, die Sie im Netz finden können. Wilson hat auch nichts mit unserem gegenwärtigen Verständnis der Evolutionspsychologie (EP) zu tun (siehe z.B. die letzten 300 Seiten von Pinkers 'The Better Angels of our Nature'). Wenn Sie eine seriöse Buchlänge Bericht über die soziale Evolution und einige relevante EP von einem Experten wollen, siehe 'Principles of Social Evolution' von Andrew F.G. Bourke, oder ein nicht ganz so ernster und zugegebenermaßen fehlerhafter und irrender Bericht, aber ein Muss,das Robert Trivers dennoch lesen muss—'The Folly of Fools: The Logic of Deceit and Self-Deception in Human Life' und ältere, aber immer noch aktuelle und durchdringende Werke wie 'The Evolutionof Cooperation':Revised Edition by Robert Axelrod and 'The Biology ofMoral Systems' von Richard Alexander. (shrink)

Hypothetical contracts have been said to be not worth the paper they are not written on. This paper defends hypothetical consent theories of justice, such as Rawls's, against the view that they lack justificatory power. I argue that while hypothetical consent cannot generate political obligation, it can generate political legitimacy.

Kant claims that persons have a perfect duty to respect themselves. I argue, first, that Kant’s argument for the duty of self-respect commits him to an implausible view of the nature of self-respect: he must hold that failures of self-respect are either deliberate or matter of self-deception. I argue, second, that this problem cannot be solved by understanding failures of self-respect as failures of rationality because such a view is incompatible with human psychology. Surely it is not irrational for people, (...) especially members of oppressed groups, to view themselves as having diminished moral worth. (shrink)

Many distributive egalitarians do not endorse strict equality of goods. Rather, they treat an equal division as having a special status such that departures from equality must be justified. They claim, then, that an equal division is “presumptively” just. Though the idea that equality is presumptively just and that departures from it may be just has intuitive appeal, making a case for this idea proves difficult. I argue, first, that extant “presumption arguments” are unsound. Second, I distill two general philosophical (...) morals: luck egalitarians have not adequately defended the presumption of equality and they face serious obstacles in doing so; Rawls has defended it, but only indirectly via the contract apparatus. This approach narrows the presumption’s appeal. Third, I consider and reject two alternative ways of understanding the presumption of equality that might avoid the problems revealed by my examination of extant views. The first appeals to the idea of value pluralism. The second treats the presumption as a view about the burden of proof. I conclude, ultimately, that it is misleading to think of distributive egalitarianism as typically having the form of a presumption argument. (shrink)

Luck egalitarianism has been criticized for condoning some cases of oppression and condemning others for the wrong reason—namely, that the victims were not responsible for their oppression. Oppression is unjust, however, the criticism says, regardless of whether victims are responsible for it, simply because it is contrary to the equal moral standing of persons. I argue that four luck egalitarian responses to this critique are inadequate. Two address only the first part of the objection and do so in a way (...) that risks making luck egalitarianism inconsistent. A third severely dilutes the luck egalitarian doctrine. A fourth manages to denounce some instances of oppression for the right reason, but at the same time permits other instances of oppression and condemns yet others for the wrong reason. (shrink)

What effects are produced in an encounter between what Gilles Deleuze calls Spinoza’s ‘practical philosophy’ and abolition? Closely following Deleuze’s account of Spinoza, this essay moves from the reifying and weakening punitive moralism of carceral state thought towards a joyful materialist abolitionist ethic. It starts with the three theses for which, Deleuze argues, Spinoza was denounced in his own lifetime: materialism (devaluation of consciousness), immoralism (devaluation of all values) and atheism (devaluation of the sad passions). From these three, it derives (...) three parallel abolitionist theses: (1) Spinozan materialism undermines the reifications of carceral state thought; (2) Spinozan ethics undermines the punitivism of the carceral state; and (3) Spinozan joy is inversely proportional to the power of the carceral state. While Spinoza’s corpus may not give us an adequate account of the complex dynamics of the carceral state and racial capitalism today, this essay argues that in the infinite streams of the Ethics we nonetheless find some vital strategies through which we might compose an anomalous alliance between this condemned philosopher and abolition. (shrink)

My article discusses the character of Marla, the narrator’s lover, in the film Fight Club. Her only option, within the terms of the film’s logic, I argue, is to define her worth derivatively, by association with the narrator. Fight Club, then, despite its somewhat self-effacing attitude about the rejuvenation of masculinity that it portrays, reinforces a familiar patriarchal story: men’s sense of worth lies in their joint world-making activities. Women’s sense of worth lies in their attachment to individual men who (...) undertake these activities. My main argument builds upon three preliminary discussions. The first is a brief outline of the contours of the concept of self-respect. The second is an analysis of the links between gender, personhood and the grounds of self-respect. The third is an account of my approach to interpreting Fight Club given its many layers of irony. Drawing on these preliminary discussions, I examine two interpretations of the film’s social commentary— what I call the “gender-neutral” and the “gender-specific” interpretations. I show that on both of these readings the film implies that Marla, as a woman, must regain her self-respect through an intimate relationship with the narrator. (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)

Philosophers commonly say that beliefs come in degrees. Drawing from the literature, I make precise three arguments for this claim: an argument from degrees of confidence, an argument from degrees of firmness, and an argument from natural language. I show that they all fail. I also advance three arguments that beliefs do not come in degrees: an argument from natural language, an argument from intuition, and an argument from the metaphysics of degrees. On the basis of these arguments, I conclude (...) that beliefs do not come in degrees. (shrink)

In this paper, I present and defend a novel account of doubt. In Part 1, I make some preliminary observations about the nature of doubt. In Part 2, I introduce a new puzzle about the relationship between three psychological states: doubt, belief, and confidence. I present this puzzle because my account of doubt emerges as a possible solution to it. Lastly, in Part 3, I elaborate on and defend my account of doubt. Roughly, one has doubt if and only if (...) one believes one might be wrong; I argue that this is superior to the account that says that one has doubt if and only if one has less than the highest degree of confidence. (shrink)

In addition to having an institutional site or scope, a theory of distributive justice might also have an institutional ‘reach’ or currency. It has the first when it applies to only social phenomena. It has the second when it distributes only socially produced goods. One objection to luck egalitarianism is that it has absurd implications. In response, Tan has defended a luck egalitarian account that has a strictly institutional reach. I argue, first, that Tan’s view contains two fatal ambiguities and, (...) second, that, to be sound, it requires an institutional currency. This second argument implies that virtually all extant luck egalitarian currencies are incompatible with his approach. I argue, third, that the alleged absurd implications often have little to do with the extent of luck egalitarianism’s reach. (shrink)

In his book On the Nature of Marx’s Things Jacques Lezra inherits another Marx and another materialism. It is an aleatory materialism: a materialism of the dynamic contingency of Marx and his “things”. This “subterranean current” of aleatory materialism is excavated by Lezra in his swerve through the letters, notebooks, and “private notes” of a young Marx working on his doctorate thesis. Following Lezra’s necrophilological thread –which encounters Lucretius and his “things”– we find that, in a parallel fashion, Marx is (...) also searching for a concept of science in his dissertation. This is what here is tentatively called a science of contingency. This science – though not in the usual disciplinary sense– opens the possibility of an alliance with Karen Barad’s performative materialism that displaces the humanism of the “new materialisms” by thinking alongside another science of contingency, also of a certain Lucretian inheritance, and which Marx did not get to think: quantum mechanics. -/- -- -/- En su libro On the Nature of Marx’s Things Jacques Lezra hereda otro Marx, y otro materialismo. Un materialismo aleatorio, un materialismo de la contingencia dinámica de Marx y sus “cosas”. Tal “corriente subterránea” del materialismo aleatorio es excavada por Lezra en su desvío por las cartas, cuadernos y notas “privadas” de un joven Marx que trabajaba en su tesis de doctorado. Siguiendo el hilo necrofilológico de Lezra, que se topa con Lucrecio y sus “cosas,” encontramos que, paralelamente, Marx también busca un concepto de ciencia en su tesis: lo que tentativamente nombramos ciencia de la contingencia. Ciencia, no ya disciplinaria, que abre la posibilidad de una alianza con el materialismo performativo de Karen Barad que desplaza el humanismo de los “nuevos materialismos” desde una reflexión critica que piensa a la par de otra ciencia de la contingencia, también de cierta herencia lucreciana, con la cual Marx no llegó a pensar: la mecánica cuántica. (shrink)

This paper argues that luck egalitarianism, especially in the guise of equality of opportunity for welfare, is in tension with the ideal of fair equality of opportunity in three ways. First, equal opportunity for welfare is compatible with a caste system in employment that is inconsistent with open competition for positions. Second, luck egalitarianism does not support hiring on the basis of qualifications. Third, amending luck egalitarianism to repair this problem requires abandoning fair access to qualifications. Insofar as luck egalitarianism (...) cannot support fair equality of opportunity, it cannot do justice to the claims of the disabled. Indeed, in the absence of fair equality of opportunity, disabled people are likely to be marginalized. (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)

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

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

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

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

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

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

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

Aesthetic reasons are reasons to do and think various things. For example, it makes sense to wonder if a tree stump on the lawn was left there for environmental rather than aesthetic reasons, or for no reason at all. Aesthetic considerations of this kind are often contrasted with non-aesthetic reasons—such as moral or epistemic reasons. For example, they seem connected to pleasure-in-experience in a distinctive way that differs from paradigmatic moral reasons. Relatedly, the authority of aesthetic reasons has often been (...) thought to involve less of an “external demand” upon us than in the other cases. In this chapter, I suggest that such distinctiveness and modesty coheres well with an anti-realist treatment that views them as non-objective in nature. I then go on to consider an alternative, more robustly realist conception of aesthetic reasons. (shrink)

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

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

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

Aristotle is essentially human; that is, for all possible worlds metaphysically consistent with our own, if Aristotle exists, then he is human. This is a claim about the essential property of an object. The claim that objects have essential properties has been hotly disputed, but for present purposes, we can bracket that issue. In this essay, we are interested, rather, in the question of whether properties themselves have essential properties (or features) for their existence. We call those who suppose they (...) do “property essentialists”; those who do not, “property anti-essentialists,” or “quidditists.” We offer two complementary arguments. Our total argument is under-girded by two assumptions: transworld identity theory and “received view” counterfactual semantics, a la David Lewis. We then argue that, if one presumes that these are true, then one risks running headlong into paradox if one also accepts property anti-essentialism. That's the first argument. By contrast, if one accepts these same assumptions in conjunction with property essentialism, then the paradox is avoided. This is the second argument. We take it that our arguments work to show that, between property essentialism and quidditism, the property essentialist is on better footing. Plausibly, properties themselves do have essential properties for their existence. (shrink)

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

Frege-Geach worries about embedding and composition have plagued metaethical theories like emotivism, prescriptivism and expressivism. The sharpened point of such criticism has come to focus on whether negation and inconsistency have to be understood in descriptivist terms. Because they reject descriptivism, these theories must offer a non-standard account of the meanings of ethical and normative sentences as well as related semantic facts, such as why certain sentences are inconsistent with each other. This paper fills out such a solution to the (...) negation problems, following some of the original emotivist ideas about the interplay of interests in conversation. We communicate both to share information and coordinate our actions, and we use distinctively normative language like deontic ‘must’ and ‘may’ to negotiate what people are to do. The kinds of disagreement involved in such negotiation can illuminate the issues with negation and inconsistency. This paper outlines a dynamic semantic system in which these ideas can bear fruit, developing the scorekeeping model of conversation. The result is clarification about what Frege-Geach worries can mean for nondescriptive semantics. (shrink)

One thousand fair causally isolated coins will be independently flipped tomorrow morning and you know this fact. I argue that the probability, conditional on your knowledge, that any coin will land tails is almost 1 if that coin in fact lands tails, and almost 0 if it in fact lands heads. I also show that the coin flips are not probabilistically independent given your knowledge. These results are uncomfortable for those, like Timothy Williamson, who take these probabilities to play a (...) central role in their theorizing. (shrink)

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

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

A number of authors have objected to the application of non-classical logic to problems in philosophy on the basis that these non-classical logics are usually characterised by a classical metatheory. In many cases the problem amounts to more than just a discrepancy; the very phenomena responsible for non-classicality occur in the field of semantics as much as they do elsewhere. The phenomena of higher order vagueness and the revenge liar are just two such examples. The aim of this paper is (...) to show that a large class of non-classical logics are strong enough to formulate their own model theory in a corresponding non-classical set theory. Specifically I show that adequate definitions of validity can be given for the propositional calculus in such a way that the metatheory proves, in the specified logic, that every theorem of the propositional fragment of that logic is validated. It is shown that in some cases it may fail to be a classical matter whether a given sentence is valid or not. One surprising conclusion for non-classical accounts of vagueness is drawn: there can be no axiomatic, and therefore precise, system which is determinately sound and complete. (shrink)

Roughly, a proof of a theorem, is “pure” if it draws only on what is “close” or “intrinsic” to that theorem. Mathematicians employ a variety of terms to identify pure proofs, saying that a pure proof is one that avoids what is “extrinsic,” “extraneous,” “distant,” “remote,” “alien,” or “foreign” to the problem or theorem under investigation. In the background of these attributions is the view that there is a distance measure (or a variety of such measures) between mathematical statements and (...) proofs. Mathematicians have paid little attention to specifying such distance measures precisely because in practice certain methods of proof have seemed self- evidently impure by design: think for instance of analytic geometry and analytic number theory. By contrast, mathematicians have paid considerable attention to whether such impurities are a good thing or to be avoided, and some have claimed that they are valuable because generally impure proofs are simpler than pure proofs. This article is an investigation of this claim, formulated more precisely by proof- theoretic means. After assembling evidence from proof theory that may be thought to support this claim, we will argue that on the contrary this evidence does not support the claim. (shrink)

The philosophies of Epicurus and the Buddha aim to free us from suffering by helping us to recognize how ignorance and delusion lead us to pursue harmful desires. Since the problem lies in our attitudes, the solution is to change our attitudes. Like doctors healing the sick, they offer therapeutic practical advice, to remove the groundless opinions and the unhealthy desires that cause suffering. Although various misconceptions may lead us to conceive of these two thinkers as quite different with respect (...) to values and ethics, there are remarkable similarities. Indeed, their practical advice for how to live has the same normative basis: they counsel us to avoid craving and clinging, so that we avoid the harmful ways of living that make most people unhappy. Epicurus and the Buddha advocate a selective elimination of desire, and on the same basis. As we choose how to live, we are like gardeners weeding out harmful desires and cultivating healthy desires that will make our lives flourish. This article clarifies the notions of craving and clinging, which are often conflated in Buddhist studies, and uses them to improve on our understanding of Epicurus’ categorization of desires. (shrink)

Terence Horgan, George Graham and John Tienson argue that some intentional content is constitutively determined by phenomenology alone. We argue that this would require a certain kind of covariation of phenomenal states and intentional states that is not established by Horgan, Tienson and Graham’s arguments. We make the case that there is inadequate reason to think phenomenology determines perceptual belief, and that there is reason to doubt that phenomenology determines any species of non-perceptual intentionality. We also raise worries about the (...) capacity of phenomenology to map onto intentionality in a way that would be appropriate for any determiner of content/fixer of truth conditions. (shrink)

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

Recommender Systems (RS) on digital platforms increasingly influence user behavior, raising ethical concerns, privacy risks, harmful content promotion, and diminished user autonomy. This article examines RS within the framework of regulations and lawsuits in the United States and advocates for legislation that can withstand constitutional scrutiny under First Amendment protections. We propose (re)framing RS-curated content as commercial speech, which is subject to lessened free speech protections. This approach provides a practical path for future legislation that would allow for effective oversight (...) of RS, particularly in areas of substantial public interest like child safety, national security, and misinformation. (shrink)

Many mathematicians have cited depth as an important value in their research. However, there is no single widely accepted account of mathematical depth. This article is an attempt to bridge this gap. The strategy is to begin with a discussion of Szemerédi's theorem, which says that each subset of the natural numbers that is sufficiently dense contains an arithmetical progression of arbitrary length. This theorem has been judged deep by many mathematicians, and so makes for a good case on which (...) to focus in analyzing mathematical depth. After introducing the theorem, four accounts of mathematical depth will be considered. (shrink)

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

The subject of this essay is the classical problem of induction, which is sometimes attributed to David Hume and called “the Humean Problem of Induction.” Here, I examine a certain sort of Neo-Aristotelian solution to the problem, which appeals to the concept of natural kinds in its response to the inductive skeptic. This position is most notably represented by Howard Sankey and Marc Lange. The purpose of this paper is partly destructive and partly constructive. I raise two questions. The first (...) is: Are the natural kind solutions to the problem successful? The first thesis of this paper is that they are not, and I will show how and why they fail. And the second question I raise here is: Is there nonetheless some alternative Neo-Aristotelian solution to the problem which is successful and can overcome the shortcomings endemic to the Sankey-Lange account? The second thesis is that there is, and I’ll attempt to sketch one. My stance here may be summarized by saying that, while I agree with Sankey and Lange that the problem of induction can be adequately resolved, and while I am on the whole sympathetic with the Aristotelian spirit of their account, I am, for all that, dissatisfied with the letter of them. Nothing short of a more thoroughgoing Aristotelianism about the epistemology of induction will do. (shrink)

It has been argued recently that classical theism and Lewisian modal realism are incompatible theses. The most substantial argument to this effect takes the form of a trilemma. It argues that no sense can be made of God’s being a necessary being in the modal realistic picture, on pain of, among other things, modal collapse. The question of this essay is: Is that so? My goal here is to detail the reasons that have been offered in support of this contention (...) and then defend the coherence of theistic modal realism from the trilemma. I call my reply to the argument an “Anselmian-Thomistic” defense, since it appeals to resources from classical medieval philosophy, especially from Anselm and Aquinas. (shrink)

This article will consider imagination in mathematics from a historical point of view, noting the key moments in its conception during the ancient, modern and contemporary eras.

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)

Essentialists suppose that for every individual, if that individual exists at any possible world, then necessarily that individual exemplifies some non-trivial qualitative property essential to it, as such. Anti-essentialists deny this. One important argument leveled by some anti-essentialists against essentialism takes the form of a thought experiment, one originally introduced by Roderick Chisholm, sometimes referred to as Chisholm's Paradox (CP). In this essay, I defend essentialism against CP. I begin by presenting the argument and showing how it leads to a (...) contradiction of the essentialist thesis. I then consider one of the most popular solutions to CP to date, that given by Nathan Salmon. Next, I critique Salmon's proposal and show that it is an insufficient response on behalf of the essentialist. And finally, I propose a novel solution to the paradox and discuss why it is that many metaphysician in the past have found CP plausible, despite being fallacious. (shrink)

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

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

Over the years many mathematicians have voiced a preference for proofs that stay “close” to the statements being proved, avoiding “foreign”, “extraneous”, or “remote” considerations. Such proofs have come to be known as “pure”. Purity issues have arisen repeatedly in the practice of arithmetic; a famous instance is the question of complex-analytic considerations in the proof of the prime number theorem. This article surveys several such issues, and discusses ways in which logical considerations shed light on these issues.

This is a paper on the philosophical clinical psychology of PTSD. How best to improve our treatment plans for the disorder is the primary imperative in the clinical literature. Our failure to properly treat those suffering from PTSD up until now could be either the result of merely a problem in practice or, more seriously, a problem in principle. In this essay, I explore three possible accounts consistent with the supposition that what we have here is a problem in principle. (...) I call the first the “Somatic” hypothesis; the second, the “Memorial”; and the third, a “Rilkean” hypothesis of PTSD, which is inspired by the recent work of M. Rowlands. The first two have been more-or-less articulated previously; the third is introduced here for the first time. The primary argument of this essay is abductive: I argue in favor of a Rilkean Memory hypothesis of PTSD by comparing it to the other two accounts and showing that it possesses greater theoretical virtue than they do. I then conclude the essay by noting certain limitations with the account here sketched, nonetheless suggesting that this hypothesis can open up new avenues of clinical research and treatment options for the disorder. (shrink)

The moral principle that Ought Implies Can (“OIC”) is often assumed without argument in normative discourse. Is this assumption defensible? Some would argue that it is not, as there are many purported counterexamples against it in the literature. However, OIC is not so much a single principle as rather a family of them. In this paper, I will argue that, while not every OIC-type principle is defensible, at least one of them may be. I defend the cognate moral principle that (...) Ought Implies Can or Could Have (“OICCH”). I first show that it is able to circumvent the traditional counterexamples to OIC. And then I show that OICCH is even more plausible than some of the best alternative OIC-type principles to date. The upshot of this paper is that those who find OIC compelling should consider accepting OICCH instead. (shrink)