A partial ordering $\mathbb{P}$ is $n$-Ramsey if, for every coloring of $n$-element chains from $\mathbb{P}$ in finitely many colors, $\mathbb{P}$ has a homogeneous subordering isomorphic to $\mathbb{P}$. In their paper on Ramsey properties of the complete binary tree, Chubb, Hirst, and McNicholl ask about Ramsey properties of other partial orderings. They also ask whether there is some Ramsey property for pairs equivalent to $\mathit{ACA}_{0}$ over $\mathit{RCA}_{0}$. A characterization theorem for finite-level partial orderings with Ramsey properties has been proven by the (...) second author. We show, over $\mathit{RCA}_{0}$, that one direction of the equivalence given by this theorem is equivalent to $\mathit{ACA}_{0}$, and the other is provable in $\mathit{ATR}_{0}$. We answer Chubb, Hirst, and McNicholl’s second question by showing that there is a primitive recursive partial ordering $\mathbb{P}$ such that, over $\mathit{RCA}_{0}$, “$\mathbb{P}$ is 2-Ramsey” is equivalent to $\mathit{ACA}_{0}$. (shrink)

We show, relative to the base theory RCA₀: A nontrivial tree satisfies Ramsey's Theorem only if it is biembeddable with the complete binary tree. There is a class of partial orderings for which Ramsey's Theorem for pairs is equivalent to ACA₀. Ramsey's Theorem for singletons for the complete binary tree is stronger than $B\sum_{2}^{0}$ , hence stronger than Ramsey's Theorem for singletons for ω. These results lead to extensions of results, or answers to questions, of Chubb, Hirst, and McNicholl [3].

We study the reverse mathematics of pigeonhole principles for finite powers of the ordinal $\omega$ . Four natural formulations are presented, and their relative strengths are compared. In the analysis of the pigeonhole principle for $\omega^{2}$ , we uncover two weak variants of Ramsey’s theorem for pairs.

This paper explores the relationship between Toni Morrison’s 1987 novel, Beloved, and F. W. J. Schelling’s 1813 draft of Ages of the World (Die Weltalter). It shows that Die Weltalter, contrary to much recent scholarship, which often stresses the many ways Schelling anticipated the antimetaphysical trends of post-Hegelian thought, should be first approached as a genuine attempt tobe faithful to the event of first creation and time’s “indivisible remainders”. The paper will show that Schelling’s “indivisible remainders”, the forgotten and “disremembered” (...) of history, force his thought to the limits of Romantic and idealist reflection and toward the traumatic encounters of Beloved. Morrison’s depiction of the irrepressible longing for life and recognition amid the pain and ugliness of American slavery parallels Schelling’s efforts to understand the tremendous need for life and fellowship that first urged god toward creation, when primordial longing was overcome in a child and a god entered time. (shrink)

Distinguishing “business” concerns from “ethical” values is not only an unfruitful and meaningless task, it is also an impossible endeavor. Nevertheless, fruitless attempts to separate facts from values produce detrimental second-order effects, both for theory and practice, and should therefore be abandoned. We highlight examples of exemplary research that integrate economic and moral considerations, and point the way to a business ethics discipline that breaks new ground by putting ideas and narratives about businesstogetherwith ideas and narratives about ethics.

I take the human costs of global poverty to demand serious political reflection. I argue for a diverse consensus among theories of justice on a set of obligations toward the global poor that we, sadly, fail to fulfill. I analyze this moral failure, developing an account of it that highlights structural flaws in the flow of information relevant to our moral relations with the global poor. I conclude that proper attention to the flow of information within global society is an (...) imperative of global justice. (shrink)

This paper explores, analyzes, and investigates how the political ideologies of American citizens and their elected representatives interact with views put forth by corporate media to help shape various ideologies about environmental issues in contemporary America. I specifically enter into this area of exploration by focusing on one variable, the variable of religion. Therefore, in this paper I seek to help elucidate broad patterns and understandings of environmental issues in America as they have developed since the beginning of the modern (...) environmental movement, focusing especially on the role religion has and is playing in this process. The paper is driven by identifying two major groups in American society, Liberal/nurturant parent, and Conservative/strict father, and how the core values of each group influence their ideological approaches to religion, environmentalism, and politics. The investigation is undertaken in the larger context of worsening climate change, suggesting that the interplay of religious, political, and environmentalist ideology of the past few decades presages further ideological shifts in the coming decades about our changing biosphere. (shrink)

What is the source of logical and mathematical truth? This book revitalizes conventionalism as an answer to this question. Conventionalism takes logical and mathematical truth to have their source in linguistic conventions. This was an extremely popular view in the early 20th century, but it was never worked out in detail and is now almost universally rejected in mainstream philosophical circles. Shadows of Syntax is the first book-length treatment and defense of a combined conventionalist theory of logic and mathematics. It (...) argues that our conventions, in the form of syntactic rules of language use, are perfectly suited to explain the truth, necessity, and a priority of logical and mathematical claims, as well as our logical and mathematical knowledge. (shrink)

An influential argument against the possibility of truth by linguistic convention holds that while conventions can determine which proposition a given sentence expresses, they (conventions) are powerless to make propositions true or false. This argument has been offered in the literature by Lewy, Yablo, Boghossian, Sider and others. But despite its influence and prima facie plausibility, the argument: (i) equivocates between different senses of “making true”; (ii) mistakenly assumes hyperintensional contexts are intensional; and (iii) relies upon an implausible vision of (...) the way that language works. (shrink)

This article evaluates an emerging element in popular debate and inquiry: DYOR. (Haven’t heard of the acronym? Then Do Your Own Research.) The slogan is flexible and versatile. It is used frequently on social media platforms about topics from medical science to financial investing to conspiracy theories. Using conceptual and empirical resources drawn from philosophy and psychology, we examine key questions about the slogan’s operation in human cognition and epistemic culture.

Recently a number of works in meta-ontology have used a variant of J.H. Harris's collapse argument in the philosophy of logic as an argument against Eli Hirsch's quantifier variance. There have been several responses to the argument in the literature, but none of them have identified the central failing of the argument, viz., the argument has two readings: one on which it is sound but doesn't refute quantifier variance and another on which it is unsound. The central lesson I draw (...) is that arguments against quantifier variance must pay strict attention to issues of translation and interpretation. The paper also has a substantial appendix in which I prove the equivalence of plural mereological nihilism and standard first-order atomistic mereology; results of this kind are often appealed to in the literature on quantifier variance but without many details on the nature or proof of the result. (shrink)

In “Truth by Convention” W.V. Quine gave an influential argument against logical conventionalism. Even today his argument is often taken to decisively refute logical conventionalism. Here I break Quine’s arguments into two— the super-task argument and the regress argument—and argue that while these arguments together refute implausible explicit versions of conventionalism, they cannot be successfully mounted against a more plausible implicit version of conventionalism. Unlike some of his modern followers, Quine himself recognized this, but argued that implicit conventionalism was explanatorily (...) idle. Against this I show that pace Quine’s claim that implicit conventionalism has no content beyond the claim that logic is firmly accepted, implicit rules of inference can be used to distinguish the firmly accepted from the conventional. As part of my case, I argue that positing syntactic rules of inference as part of our linguistic competence follows from the same methodology that leads contemporary linguists and cognitive scientists to posit rules of phonology, morphology, and grammar. The upshot of my discussion is a diagnosis of the fallacy in Quine’s master critique of logical conventionalism and a re-opening of possibilities for an attractive conventionalist theory of logic. (shrink)

Like other epistemic activities, inquiry seems to be governed by norms. Some have argued that one such norm forbids us from believing the answer to a question and inquiring into it at the same time. But another, hither-to neglected norm seems to permit just this sort of cognitive arrangement when we seek to confirm what we currently believe. In this paper, I suggest that both norms are plausible and that the conflict between them constitutes a puzzle. Drawing on the felicity (...) conditions of confirmation requests and the biased interrogatives used to perform them, I argue that the puzzle is genuine. I conclude by considering a response to the puzzle that has implications for the debate regarding the relationship between credences and beliefs. (shrink)

Conventionalism about mathematics claims that mathematical truths are true by linguistic convention. This is often spelled out by appealing to facts concerning rules of inference and formal systems, but this leads to a problem: since the incompleteness theorems we’ve known that syntactic notions can be expressed using arithmetical sentences. There is serious prima facie tension here: how can mathematics be a matter of convention and syntax a matter of fact given the arithmetization of syntax? This challenge has been pressed in (...) the literature by Hilary Putnam and Peter Koellner. In this paper I sketch a conventionalist theory of mathematics, show that this conventionalist theory can meet the challenge just raised , and clarify the type of mathematical pluralism endorsed by the conventionalist by introducing the notion of a semantic counterpart. The paper’s aim is an improved understanding of conventionalism, pluralism, and the relationship between them. (shrink)

This paper formulates a general epistemological argument against what I call non-causal realism, generalizing domain specific arguments by Benacerraf, Field, and others. First I lay out the background to the argument, making a number of distinctions that are sometimes missed in discussions of epistemological arguments against realism. Then I define the target of the argument—non-causal realism—and argue that any non-causal realist theory, no matter the subject matter, cannot be given a reasonable epistemology and so should be rejected. Finally I discuss (...) and respond to several possible responses to the argument. In addition to clearing up and avoiding numerous misunderstandings of arguments of this kind that are quite common in the literature, this paper aims to present and endorse a rigorous and fully general epistemological argument against realism. (shrink)

In recent years, direct brain interventions have shown increased success in manipulating neurobiological processes often associated with moral reasoning and decision-making. As current DBIs are refined, and new technologies are developed, the state will have an interest in administering DBIs to criminal offenders for rehabilitative purposes. However, it is generally assumed that the state is not justified in directly intruding in an offender’s brain without valid consent. Thomas Douglas challenges this view. The state already forces criminal offenders to go to (...) jail without their consent. This represents a serious interference with an offender’s rights. If criminal offenders are already morally liable to incarceration, why is the state not also entitled to administer DBIs without consent for the purposes of rehabilitation? Douglas argument focuses on the right to ‘bodily integrity’. He argues that there is no compelling reason to believe that bodily rights that protect an offender from non-consensual DBIs are stronger than rights that protect an offender from incarceration. This paper will extend Douglas’ analysis. It will consider the more fundamental right to ‘mental integrity’. The right to mental integrity defends an inner sphere of liberty. It protects critical capacities necessary for the exercise of autonomous human agency—without which a vast majority of moral rights could not exist. Thus, the right to mental integrity is ultimately more important for a moral assessment of DBIs. The right strongly suggests that both presently, and in the future, there may be many cases in which the state is not entitled to administer DBIs to criminal offenders without valid consent. (shrink)

Unrestricted inferentialism holds both that any collection of inference rules can determine a meaning for an expression and meaning constituting rules are automatically valid. Prior's infamous tonk connective refuted unrestricted inferentialism, or so it is universally thought. This paper argues against this consensus. I start by formulating the metasemantic theses of inferentialism with more care than they have hitherto received; I then consider a tonk language — Tonklish — and argue that the unrestricted inferentialist's treatment of this language is only (...) problematic if it is mistakenly assumed that Tonklish can be homophonically translated into English. Next, I discuss the proper, non-homophonic, translation of Tonklish into English, rebut various objections, and consider several variants of Tonklish. The paper closes by highlighting the philosophical advantages that unrestricted inferentialism has over its competitors once the terrors of tonk have been tamed. (shrink)

This paper investigates the determinacy of mathematics. We begin by clarifying how we are understanding the notion of determinacy before turning to the questions of whether and how famous independence results bear on issues of determinacy in mathematics. From there, we pose a metasemantic challenge for those who believe that mathematical language is determinate, motivate two important constraints on attempts to meet our challenge, and then use these constraints to develop an argument against determinacy and discuss a particularly popular approach (...) to resolving indeterminacy, before offering some brief closing reflections. We believe our discussion poses a serious challenge for most philosophical theories of mathematics, since it puts considerable pressure on all views that accept a non-trivial amount of determinacy for even basic arithmetic. (shrink)

Theodore Sider’s recent book, “Writing the Book of the World”, employs a primitive notion of metaphysical structure in order to make sense of substantive metaphysics. But Sider and others who employ metaphysical primitives face serious epistemological challenges. In the first section I develop a specific form of this challenge for Sider’s own proposed epistemology for structure; the second section develops a general reliability challenge for Sider’s theory; and the third and final section argues for the rejection of Siderean structure in (...) the course of answering a transcendental argument against such rejection. (shrink)

Friedrich Nietzsche thought that philosophers were deeply mistaken about the nature and sources of philosophical activity. Where others took themselves to be motivated by a desire to know the truth, Nietzsche charged that his fellow philosophers, motivated by a pathological set of psychological and physiological characteristics, did little more than sublimate and rationalize their own prejudices. In this thesis, I sketch out in further detail and defend the plausibility and significance of this Nietzschean diagnosis of philosophers. I argue that since (...) Nietzsche’s view of philosophers both offers a compelling explanation of some phenomena in contemporary philosophical practice and, were it true, would have significant upshot for how and even whether philosophy should be practiced, we philosophers ought to begin taking it seriously. (shrink)

Experimental research is reviewed which suggests that rational framing effects influence young children's social activities according to a logic of interdependence. However, young children are unlikely to possess some of the elaborate cognitive skills argued in the Target Article to be prerequisite for rational framing effects. Understanding rational framing effects requires understanding their ontogenetic origins.

This essay clarifies quantifier variance and uses it to provide a theory of indefinite extensibility that I call the variance theory of indefinite extensibility. The indefinite extensibility response to the set-theoretic paradoxes sees each argument for paradox as a demonstration that we have come to a different and more expansive understanding of ‘all sets’. But indefinite extensibility is philosophically puzzling: extant accounts are either metasemantically suspect in requiring mysterious mechanisms of domain expansion, or metaphysically suspect in requiring nonstandard assumptions about (...) mathematical objects. Happily, the view of quantifier meanings that underwrites quantifier variance can be used to provide an account of indefinite extensibility that is both metasemantically and metaphysically satisfying. Section 1 introduces the puzzle of indefinite extensibility; section 2 develops and clarifies the metasemantics of quantifier variance; section 3 solves section 1's puzzle of indefinite extensibility by applying section 2's account of quantifier meanings; and section 4 compares the theory developed in section 3 to several other theories in the literature. (shrink)

Some philosophers have argued that putative logical disagreements aren't really disagreements at all since when you change your logic you thereby change the meanings of your logical constants. According to this picture classical logicians and intuitionists don't really disagree, they just mean different things by terms like “not” and “or”. Quine gave an infamous “translation argument” for this view. Here I clarify the change of logic, change of meaning (CLCM) thesis, examine and find fault with Quine's translation argument for the (...) thesis, offer a modified translation argument in its stead, defend my modified argument from a crucial objection, discuss where the CLCM thesis leaves logical disputes, and discuss if and how the thesis coheres with Quine's influential view of logic. (shrink)

Network Democracy uses the contemporary tools of ecology and network thinking to unearth the ancient, intellectual ruins of traditional conservative thought. Questioning the West’s veneration of freedom, equality, contractual citizenship, economic progress, cosmopolitanism, secular institutionalism, and reason, Jared Giesbrecht illuminates how these ideals fuel violence and insecurity in our high-speed lives. While the modern age witnesses the rise of a violent conservatism in the form of revolutionary movements enacting terror and vengeance for the interventions of the liberal West, this (...) study reveals a different kind of conservatism - one that has emerged in direct conversation with liberal thought. Giesbrecht highlights the need for intermediate institutions and civil enterprises that form relations and traditions independent of the state in order to develop resistance to the insecurity of the liberal age. This book offers not only a poignant critique, but a constructive and peaceable alternative to the violence of both liberalism and reactionary anti-liberalism. Attuned to the new realities of globalization, advanced technology, and social acceleration, Network Democracy is a masterful hybrid of ancient and cutting-edge political philosophy that casts a new light on the values underlying western civilization. (shrink)

The success of deep brain stimulation (DBS) for movement disorders and the improved understanding of the neurobiologic and neuroanatomic bases of psychiatric diseases have led to proposals to expand current DBS applications. Recent preclinical and clinical work with Alzheimer's disease and obsessive-compulsive disorder, for example, supports the safety of stimulating regions in the hypothalamus and nucleus accumbens in humans. These regions are known to be involved in addiction and overeating associated with obesity. However, the use of DBS targeting these areas (...) as a treatment modality raises common ethical considerations, which include informed consent, coercion, enhancement, threat to personhood, and manipulation of the reward center. Pilot studies for both of these conditions are currently investigational. If these studies show promise, then there is a need to address the ethical concerns related to the initiation of clinical trials including the reliability of preclinical evidence, patient selection, study design, compensation for participation and injury, cost-effectiveness, and the need for long-term follow-up. Multidisciplinary teams are necessary for the ethical execution of such studies. In addition to establishing safety and efficacy, the consideration of these ethical issues is vital to the adoption of DBS as a treatment for these conditions. We offer suggestions about the pursuit of future clinical trials of DBS for the treatment of addiction and overeating associated with obesity and provide a framework for addressing ethical concerns related to treatment. (shrink)

Conceptual engineers sometimes say they want to change what our words mean. If a certain kind of externalism is true, it might be nearly impossible to do that. For some of the external factors that determine meaning, like metaphysical naturalness or past usage, are not within our power to change. And if we can’t change what determines meaning, then we can’t change meaning. I argue that, if this sort of externalism is true, then conceptual engineers didn’t want to change what (...) our words mean anyway. And if they did, they could always engineer externalism out of the language, or engineer a new sense of ‘meaning’ which could be changed. So the truth of externalism does not pose a threat to the possibility of conceptual engineering. (shrink)