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.

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)

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)

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)

In ‘Reification and Assent in Research Involving Those Who Lack Capacity’, Smajdor argues that adults with impaired capacity to grant informed consent (AWIC) are often excluded from participating in biomedical research because they cannot provide informed consent, leading to decreased chances AWIC will benefit from such research. Smajdor uses Honneth’s concept of reification to propose that securing assent (rather than consent) in cases involving AWIC offers patients moral recognition that is not tied to their capacities. Assent provides this recognition by (...) including the patient in a shared moral sphere, highlighting her agency and worth without reducing her to her incapacity or a thing-to-be-managed. Assent also avoids grounding in, or a reliance on, the future development of autonomy (pp.5–6).1 Our recent research on patient and caregiver perspectives of potential paediatric deep brain stimulation (pDBS) for refractory obsessive–compulsive disorder (OCD) and dystonia demonstrates that paediatric neurosurgery patients desire the kind of recognition Smajdor associates with assent, and their caregivers largely agree.2 3 Since (generally) paediatric patients in the USA are unable to grant informed consent, their caregivers must provide it instead. This raises the question of how to properly integrate paediatric patients into the DBS decision-making process. One dimension along which this is evident is that …. (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)

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)

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)

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)

Several recent epistemologists have used understanding-assent links in theories of a priori knowledge and justification, but Williamson influentially argued against the existence of such links. Here I (1) clarify the nature of understanding-assent links and their role in epistemology; (2) clarify and clearly formulate Williamson’s arguments against their existence; (3) argue that Williamson has failed to successfully establish his conclusion; and (4) rebut Williamson’s claim that accepting understanding-assent links amounts to a form of dogmatism.

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)

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)

Our relationship to the infinite is controversial. But it is widely agreed that our powers of reasoning are finite. I disagree with this consensus; I think that we can, and perhaps do, engage in infinite reasoning. Many think it is just obvious that we can't reason infinitely. This is mistaken. Infinite reasoning does not require constructing infinitely long proofs, nor would it gift us with non-recursive mental powers. To reason infinitely we only need an ability to perform infinite inferences. I (...) argue that we have this ability. My argument looks to our best current theories of inference and considers examples of apparent infinite reasoning. My position is controversial, but if I'm right, our theories of truth, mathematics, and beyond could be transformed. And even if I'm wrong, a more careful consideration of infinite reasoning can only deepen our understanding of thinking and reasoning. -/- (Note for readers: the paper's brief discussion of uniform reflection and omega inconsistency is misleading. The imagined interlocutor's argument makes an assumption about the PA-provability of provability generalizations that, while true for the Godel sentence's instances, is unjustified, in general. This means my position is stronger against this objection than the paper suggests, since omega inconsistent theories are not automatically inconsistent with their uniform reflection principles, you also need to assume the arithmetically true Pi-2 sentences.). (shrink)

In recent years, the effort to formalize erotetic inferences—i.e., inferences to and from questions—has become a central concern for those working in erotetic logic. However, few have sought to formulate a proof theory for these inferences. To fill this lacuna, we construct a calculus for sequents that are sound and complete for two species of erotetic inferences studied by Inferential Erotetic Logic : erotetic evocation and erotetic implication. While an effort has been made to axiomatize the former in a sequent (...) system, there is currently no proof theory for the latter. Moreover, the extant axiomatization of erotetic evocation fails to capture its defeasible character and provides no rules for introducing or eliminating question-forming operators. In contrast, our calculus encodes defeasibility conditions on sequents and provides rules governing the introduction and elimination of erotetic formulas. We demonstrate that an elimination theorem holds for a version of the cut rule that applies to both declarative and erotetic formulas and that the rules for the axiomatic account of question evocation in IEL are admissible in our system. (shrink)

BackgroundDeep brain stimulation is approved for treating refractory obsessive-compulsive disorder in adults under the US Food and Drug Administration Humanitarian Device Exemption, and studies hav...

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)

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.

Once upon a time, logical conventionalism was the most popular philosophical theory of logic. It was heavily favored by empiricists, logical positivists, and naturalists. According to logical conventionalism, linguistic conventions explain logical truth, validity, and modality. And conventions themselves are merely syntactic rules of language use, including inference rules. Logical conventionalism promised to eliminate mystery from the philosophy of logic by showing that both the metaphysics and epistemology of logic fit into a scientific picture of reality. For naturalists of all (...) stripes, this was paradise. Alas, paradise was lost. By the end of the twentieth century, logical conventionalism had been almost universally abandoned. But more recently, it has been revitalized. This chapter provides an overview of logical conventionalism and its history, clears away misunderstandings, and briefly responds to both the canonical objections to conventionalism (from Quine, Dummett, Boghossian, and many others) as well as new objections (from Field and Golan). From paradise lost, to paradise regained: logical conventionalism is back. (shrink)

The study of decision making has traditionally been dominated by axiomatic utility theories. More recently, an alternative approach, which focuses on the micro-mechanisms of the underlying deliberation process, has been shown to account for several "paradoxes" in human choice behavior for which simple utility-based approaches cannot. Decision field theory (DFT) is a cognitive-dynamical model of decision making and preferential choice, built on the fundamental principle that decisions are based on the accumulation of subjective evaluations of choice alternatives until a threshold (...) criterion is met. This article extends the basic DFT framework to the domain of dynamic decision making. DFT-Dynamic is proposed as a new alternative to normative backward induction. Through its attention to the processes underlying planning and deliberation DFT-D provides simple, emergent explanations for violations of choice principles traditionally taken as evidence of irrationality. A recent multistage decision making study is used to showcase the model's efficacy for developing cognitive models of individual strategies. (shrink)

Conceptual engineers have recently turned to the notion of conceptual functions to do a variety of explanatory work. Functions are supposed to explain what speakers are debating about in metalinguistic negotiations, to capture when two concepts are about the same thing, and to help guide our normative inquiries into which concepts we should use. In this paper, I argue that this recent “functional turn” should be deflated. Contra most interpreters, we should not try to use a substantive notion of conceptual (...) functions to handle various problems for conceptual engineering. The primary accounts of function appealed to by conceptual engineers, namely etiological and system functions, are not suited to handle many of the problems functions are supposed to handle, and it’s dubious whether any other account of function would do better. Instead of trying to use substantive functions to solve theoretical problems, we should deflate those problems themselves by focusing only on what matters to us, as speakers or theorists, in a given inquiry. (shrink)

Achieving food system sustainability is one of the more pressing challenges of this century. Over the last decades, experts from diverse disciplines and intellectual traditions have worked to document the critical threats to food system sustainability and to define an appropriate agenda for action. Nevertheless, these efforts have tended to focus selectively on only a few components of the food system or have tended to be framed in particular discourses. Depending on the point of departure, what aspects of the food (...) system are considered threatened, and what must be sustained, can differ greatly between perspectives. In this article, we draw from systems-thinking and social-ecological systems concepts to focus on the underlying process-related attributes that could support a more sustainable food system. We then examine the support for specific system attributes in six different knowledge domains addressing sustainable agriculture and food. From this review, we identify five system attributes—diversity, modularity, transparency, innovation and congruence—that are repeatedly featured in the different knowledge domains as critical aspects of food system sustainability. We argue that in the face of considerable complexity and high uncertainty, these attributes can serve as a guide to conceptualizing food system choices adaptively and iteratively. (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)

Because the fauna of the world possess a blood-driven vitality so comparable to that of people, they serve as an unwitting resource in the anthropocentric quest to ward off the ravages of death and decay, to create a cornucopia of human life amid the caprices of the cosmos. Fueled by the human fear of the grave, the “Gilgamesh complex” is the ensemble of beliefs and desires underlying a spectrum of zoocidal practices ranging from religious immolation to scientific experimentation. The name (...) of the complex draws its textual inspiration from the Babylonian epic of the warrior-king Gilgamesh, who lays waste to beasts of forest and field in his quest for immortality. From a psychological perspective, the epic of Gilgamesh pierces the veil of submerged desires and muddled behaviors that most people in modern society are loath to recognize. The Gilgamesh complex is also among the most culturally and historically encompassing of psychological complexes, penetrating to the barest of human existential concerns—the preoccupation with death. (shrink)

In the mid twentieth century, logical positivists and many other philosophers endorsed a simple equation: something was necessary just in case it was analytic just in case it was a priori. Kripke’s examples of a posteriori necessary truths showed that the simple equation is false. But while positivist-style inferentialist approaches to logic and mathematics remain popular, there is no inferentialist account of necessity a posteriori. I give such an account. This sounds like an anti-Kripkean project, but it is not. Some (...) of Kripke’s remarks even suggest this kind of approach. This inferentialist approach reinstates neither the simple equation nor pure conventionalism about necessity a posteriori. But it does lead to something near enough, a type of impure conventionalism. In recent years, metaphysically heavyweight approaches to modality have been popular, while other approaches have lagged behind. The inferentialist, impure conventionalist theory of necessity I describe aims to provide a metaphysically lightweight option in modal metaphysics. (shrink)

Here I defend dispositionalism about meaning and rule-following from Kripkenstein's infamous anti-dispositionalist arguments. The problems of finitude, error, and normativity are all addressed. The general lesson I draw is that Kripkenstein's arguments trade on an overly simplistic version of dispositionalism.

Quantifier variance holds that different languages can have unrestricted quantifier expressions that differ in meaning, where an expression is a “quantifier” just in case it plays the right inferential role. Several critics argued that J.H. Harris’s “collapse” argument refutes variance by showing that identity of inferential role is incompatible with meaning variance. This standard, syntactic collapse argument has generated several responses. More recently, Cian Dorr proved semantic collapse theorems to generate a semantic collapse argument against variance. The argument is significantly (...) different from standard collapse, so it requires a new response. Here I clarify and analyze the semantic collapse argument, and explain how variantists can and should respond to it. The paper also includes an appendix showing the difficulties of positing identity variance without quantifier variance. The argument in the appendix has yet to appear in print, but is familiar to specialists. (shrink)

This paper develops a novel puzzle about desire consisting of three independently plausible but jointly inconsistent propositions: all desires are dispositional states, we have privileged access to some of our desires, and we do not have privileged access to any dispositional state. Proponents of the view that all desires are dispositional states might think the most promising way out of this puzzle is to deny. I argue, however, that such attempts fail because the most plausible accounts of self-knowledge of desires (...) do not explain how we possess privileged access to dispositional desires. I conclude by offering what I take to be a more promising solution to the puzzle, one that involves the rejection of on the grounds that some desires possess phenomenology. (shrink)

In ‘Patients, doctors and risk attitudes,’ Makins argues that, when physicians must decide for, or act on behalf of, their patients they should defer to patient risk attitudes for many of the same reasons they defer to patient values, although with a caveat: physicians should defer to the higher-order desires of patients when considering their risk attitudes. This modification of what Makins terms the ‘deference principle’ is primarily driven by potential counterexamples in which a patient has a first-order desire with (...) one risk attitude (either risk-seeking or averse) and a second-order desire that this risk attitude not be effective in guiding their choices.1 There are two reasons we might think people with obsessive–compulsive disorder (OCD) are particularly relevant patients for evaluating Makins’ proposal. Not only might their first-order risk attitudes be irrational, but many people with OCD also judge their own OCD behaviours to be excessive or unwarranted making them structurally similar to the counterexamples outlined above. Yet, I argue that recent research about risk and decision-making under uncertainty for those with OCD complicates Makins’ proposal by raising questions of whether and to what degree their risk attitudes are irrational such that they should not play a part in the surrogate decisions made by physicians. This places more …. (shrink)

The study of defeasible reasoning unites epistemologists with those working in AI, in part, because both are interested in epistemic rationality. While it is traditionally thought to govern the formation and (with)holding of beliefs, epistemic rationality may also apply to the interrogative attitudes associated with our core epistemic practice of inquiry, such as wondering, investigating, and curiosity. Since generally intelligent systems should be capable of rational inquiry, AI researchers have a natural interest in the norms that govern interrogative attitudes. Following (...) its recent coinage, we use the term ``zetetic'' to refer to the properties and norms associated with the capacity to inquire. In this paper, we argue that zetetic norms can be modeled via defeasible inferences to and from questions---a.k.a erotetic inferences---in a manner similar to the way norms of epistemic rationality are represented by defeasible inference rules. We offer a sequent calculus that accommodates the unique features of ``erotetic defeat" and that exhibits the computational properties needed to inform the design of zetetic agents. The calculus presented here is an improved version of the one presented in Millson (2019), extended to cover a new class of defeasible erotetic inferences. (shrink)

It’s commonly thought that, in conversation, speakers accept and reject propositions that have been asserted by others. Do speakers accept and reject questions as well? Intuitively, it seems that they do. But what does it mean to accept or reject a question? What is the relationship between these acts and those of asking and answering questions? Are there clear and distinct classes of reasons that speakers have for acceptance and rejection of questions? This chapter seeks to address these issues. Beyond (...) their intrinsic interest to those working on the nature of questions, solutions to these problems may aid the extension of inferentialist approaches to logic and language. Inferentialists who think that inferences should be conceived in terms of the norms we are subject to in virtue of both the sentences we accept or assert as well as those we reject or deny are known as bilateralists. A coherent account of accepting and rejecting questions raises the prospects for a bilateralism that interprets question-involving or erotetic inferences according to these additional primitives. While a full-blown bilateralism for erotetic inferences and ultimately for question-forming operators themselves far exceeds this chapter’s scope, the work presented here does sketch the first steps in that direction. (shrink)

In recent years, the e ffort to formalize erotetic inferences (i.e., inferences to and from questions) has become a central concern for those working in erotetic logic. However, few have sought to formulate a proof theory for these inferences. To fill this lacuna, we construct a calculus for (classes of) sequents that are sound and complete for two species of erotetic inferences studied by Inferential Erotetic Logic (IEL): erotetic evocation and regular erotetic implication. While an attempt has been made to (...) axiomatize the former in a sequent system, there is currently no proof theory for the latter. Moreover, the extant axiomatization of erotetic evocation fails to capture its defeasible character and provides no rules for introducing or eliminating question-forming operators. In contrast, our calculus encodes defeasibility conditions on sequents and provides rules governing the introduction and elimination of erotetic formulas. We demonstrate that an elimination theorem holds for a version of the cut rule that applies to both declarative and erotetic formulas and that the rules for the axiomatic account of question evocation in IEL are admissible in our system. (shrink)

Achieving food system sustainability is one of the more pressing challenges of this century. Over the last decades, experts from diverse disciplines and intellectual traditions have worked to document the critical threats to food system sustainability and to define an appropriate agenda for action. Nevertheless, these efforts have tended to focus selectively on only a few components of the food system or have tended to be framed in particular discourses. Depending on the point of departure, what aspects of the food (...) system are considered threatened, and what must be sustained, can differ greatly between perspectives. In this article, we draw from systems-thinking and social-ecological systems concepts to focus on the underlying process-related attributes that could support a more sustainable food system. We then examine the support for specific system attributes in six different knowledge domains addressing sustainable agriculture and food. From this review, we identify five system attributes—diversity, modularity, transparency, innovation and congruence—that are repeatedly featured in the different knowledge domains as critical aspects of food system sustainability. We argue that in the face of considerable complexity and high uncertainty, these attributes can serve as a guide to conceptualizing food system choices adaptively and iteratively. (shrink)

There are many layers of regulation governing DNA replication to ensure that genetic information is accurately transmitted from mother cell to daughter cell. While much of the control occurs at the level of origin selection and firing, less is known about how replication fork progression is controlled throughout the genome. In Drosophila polytene cells, specific regions of the genome become repressed for DNA replication, resulting in underreplication and decreased copy number. Importantly, underreplicated domains share properties with common fragile sites. The (...) Suppressor of Underreplication protein SUUR is essential for this repression. Recent work established that SUUR functions by directly inhibiting replication fork progression, raising several interesting questions as to how replication fork progression and stability can be modulated within targeted regions of the genome. Here we discuss potential mechanisms by which replication fork inhibition can be achieved and the consequences this has on genome stability and copy number control. (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)

Inferences are familiar movements of thought, but despite important recent work on the topic, we do not yet have a fully satisfying theory of inference. Here I provide a functionalist theory of inference. I argue that the functionalist framework allows us the flexibility to meet various demands on a theory of inference that have been proposed (such as that it must explain inferential Moorean phenomena and epistemological ‘taking’). While also allowing us to compare, contrast, adapt, and combine features of extant (...) theories of inference into one unified theory. In fleshing out the inference role, I also criticize the common assumption that inference requires rule-following. (shrink)

If we want to retain classical logic and standard syntax in light of the liar, we are forced to restrict the T-schema. The traditional philosophical justification for this is sentential – liar sentences somehow malfunction. But the standard formal way of implementing this is conditional, our T-sentences tell us that if “p” does not malfunction, then “p” is true if and only if p. Recently Bacon and others have pointed out that conditional T-restrictions like this flirt with incoherence. If we (...) want to keep the “malfunction” motivation, our only other option is to non-conditionally restrict the T-schema, but Field and others have given powerful philosophical and technical arguments against this kind of approach. Here I argue that if we really take the philosophical motivation for restricting T-sentences seriously, we can explain why conditional restrictions fail, answer Field's argument, and reason in a coherent way about truth using a non-conditional restriction strategy. This cracks the door open for a fully classical response to the liar and related paradoxes. In closing, I argue that, when properly understood, this kind of “restriction” is not really a restriction at all. If this is right, then the holy grail of liar studies (classical logic, naïve truth, and standard syntax) may yet be attainable. (Note for readers: when this paper was first put online, the typesetters had changed some instances of corners to brackets, leading to confusion. The paper has now been corrected online by PPR, so please make sure you have the corrected version before reading or citing.). (shrink)