I provide an examination and comparison of modal theories for underwriting different non-modal theories of sets. I argue that there is a respect in which the `standard' modal theory for set construction---on which sets are formed via the successive individuation of powersets---raises a significant challenge for some recently proposed `countabilist' modal theories (i.e. ones that imply that every set is countable). I examine how the countabilist can respond to this issue via the use of regularity axioms and raise some questions (...) about this approach. I argue that by comparing them with the `standard' uncountabilist theory, a new approach that brings in arbitrariness rather than the strict controls of forcing is desirable. (shrink)

Zero provides a challenge for philosophers of mathematics with realist inclinations. On the one hand it is a bona fide cardinal number, yet on the other it is linked to ideas of nothingness and non-being. This paper provides an analysis of the epistemology and metaphysics of zero. We develop several constraints and then argue that a satisfactory account of zero can be obtained by integrating an account of numbers as properties of collections, work on the philosophy of absences, and recent (...) work in numerical cognition and ontogenetic studies. (shrink)

This article articulates and assesses an imperatival approach to the foundations of mathematics. The core idea for the program is that mathematical domains of interest can fruitfully be viewed as the outputs of construction procedures. We apply this idea to provide a novel formalisation of arithmetic and set theory in terms of such procedures, and discuss the significance of this perspective for the philosophy of mathematics.

In this essay, I review two earlier anti-Semitic propaganda films of 1939, to wit, Robert and Bertram, and Linen from Ireland. I begin by rehearsing some of Abram de Swann’s analysis of genocide and then discuss in greater detail a classic sociological analysis written during WWII by Hans Speier. Speier distinguished three broad kinds of war of increasing ferocity: instrumental war, agonistic war, and absolute war. While the first two sorts of war are relatively constrained, in absolute war the in-group (...) regards the out-group as inherently evil, and consequently the goal of such a war is to exterminate the out-group, with no limitation on methods. I suggest in the piece that the focus of these films is precisely to get the audience to view Jews as three different things: different (not Germans as “Aryans” are supposed to be); disgusting (loathsome, somehow degenerate); and dangerous (a threat to Aryan Germans by their very nature). I cover both films, pointing to the scenes that are crafted to engender in the audience exactly these feelings. To help explain how the various scenes manipulate the audience to push the regime’s Anti-Semitic narrative, I use Robert Cialdini’s theory of the use of psychological mechanisms in marketing. (shrink)

How does our language relate to reality? This is a question that is especially pertinent in set theory, where we seem to talk of large infinite entities. Based on an analogy with the use of models in the natural sciences, we argue for a threefold correspondence between our language, models, and reality. We argue that so conceived, the existence of models can be underwritten by a weak notion of existence, where weak existence is to be understood as existing in virtue (...) of language. (shrink)

In this paper I attempt to clarify the nature of the vice of greed, focusing on what can be called “modest greed”. Agents who are modestly greedy do not long for material goods or wealth with intense desires. Rather, they have quite modest desires, but ones whose satisfaction they pursue excessively relative to other goods. Greed - including modest greed - emerges as a particularly troubling and problematic vice.

In this essay, I review the movie Good. Good tells the story of the moral corruption of its protagonist, a writer, who is seduced by blandishments and material rewards given to him by the Nazi regime. It is a nice illustration of corruption—the degradation of character wrought by the desire for wealth and fame—what Aristotle would call “pleonexia.”.

The independence phenomenon in set theory, while pervasive, can be partially addressed through the use of large cardinal axioms. A commonly assumed idea is that large cardinal axioms are species of maximality principles. In this paper, I argue that whether or not large cardinal axioms count as maximality principles depends on prior commitments concerning the richness of the subset forming operation. In particular I argue that there is a conception of maximality through absoluteness, on which large cardinal axioms are restrictive. (...) I argue, however, that large cardinals are still important axioms of set theory and can play many of their usual foundational roles. (shrink)

The relevance of analytic metaphysics has come under criticism: Ladyman & Ross, for instance, have suggested do discontinue the field. French & McKenzie have argued in defense of analytic metaphysics that it develops tools that could turn out to be useful for philosophy of physics. In this article, we show first that this heuristic defense of metaphysics can be extended to the scientific field of applied ontology, which uses constructs from analytic metaphysics. Second, we elaborate on a parallel by French (...) & McKenzie between mathematics and metaphysics to show that the whole field of analytic metaphysics, being useful not only for philosophy but also for science, should continue to exist as a largely autonomous field. (shrink)

Incompatibilists believe free will is impossible if determinism is true, and they often claim that this view is supported by ordinary intuitions. We challenge the claim that incompatibilism is intuitive to most laypersons and discuss the significance of this challenge to the free will debate. After explaining why incompatibilists should want their view to accord with pretheoretical intuitions, we suggest that determining whether incompatibilism is in fact intuitive calls for empirical testing. We then present the results of our studies, which (...) put significant pressure on the claim that incompatibilism is intuitive. Finally, we consider and respond to several potential objections to our approach. (shrink)

Disability-positive philosophers often note a troubling tendency to dismiss what disabled people say about their well-being. This chapter seeks to get clearer on why this tendency might be troubling. It argues that recent appeals to lived experience, testimonial injustice, and certain challenges to adaptive-preference reasoning do not fully explain what is wrong with questioning the happiness of disabled people. It then argues that common attempts to debunk the claim that disabled people are happy are worrisome because they threaten everyone’s well-being (...) and are further challenged by an argument from moral risk. (shrink)

Virtue theorists in ethics often embrace the following characterizationof right action: An action is right iff a virtuous agent would performthat action in like circumstances. Zagzebski offers a parallel virtue-basedaccount of epistemically justified belief. Such proposals are severely flawedbecause virtuous agents in adverse circumstances, or through lack ofknowledge can perform poorly. I propose an alternative virtue-based accountaccording to which an action is right (a belief is justified) for an agentin a given situation iff an unimpaired, fully-informed virtuous observerwould deem the (...) action to be right (the belief to be justified). (shrink)

US citizens perceive their society to be one of the most diverse and religiously tolerant in the world today. Yet seemingly intractable religious intolerance and moral conflict abound throughout contemporary US public life - from abortion law battles, same-sex marriage, post-9/11 Islamophobia, public school curriculum controversies, to moral and religious dimensions of the Black Lives Matter and Occupy Wall Street movements, and Tea Party populism. Healthy Conflict in Contemporary American Society develops an approach to democratic discourse and coalition-building across deep (...) moral and religious divisions. Drawing on conflict transformation in peace studies, recent American pragmatist thought, and models of agonistic democracy, Jason Springs argues that, in circumstances riven with conflict between strong religious identities and deep moral and political commitments, productive engagement may depend on thinking creatively about how to constructively utilize conflict and intolerance. The result is an approach oriented by the recognition of conflict as a constituent and life-giving feature of social and political relationships. (shrink)

I present an account of epistemic autonomy as a distinctively wide-ranging epistemic virtue, one that helps us to understand a range of phenomena that might otherwise seem quite disparate – from the appropriate selection of epistemic methods, stances and topics of inquiry, to the harms of epistemic oppression, gaslighting and related phenomena. The account draws on four elements commonly incorporated into accounts of personal autonomy: (i) self-governance, (ii) authenticity, (iii) self-creation and (iv) independence. I further argue that for a distinctively (...) epistemic virtue of autonomy; the above elements must ultimately reliably lead to valuable epistemic goods (for the agent herself and others). I then turn to the domains or ways in which epistemic autonomy so understood, can be made manifest. I suggest that epistemic autonomy is a virtue that allows us to appropriately choose (i) subject matters and areas of inquiry, (ii) methods, sources, and processes of belief formation, (iii) epistemic goals and (iv) epistemic stances or frameworks. So understood, epistemic autonomy has a role to play in shaping most every aspect of our epistemic lives. (shrink)

A pervasive thought in contemporary philosophy of mathematics is that in order to justify reflection principles, one must hold universism: the view that there is a single universe of pure sets. I challenge this kind of reasoning by contrasting universism with a Zermelian form of multiversism. I argue that if extant justifications of reflection principles using notions of richness are acceptable for the universist, then the Zermelian can use similar justifications. However, I note that for some forms of richness argument, (...) the status of reflection principles as axioms is left open for the Zermelian. (shrink)

In this essay, I want to explore one of the most ironic episodes in the history of propaganda, the attempt by various federal agencies to moderate American WWII anti-Japanese propaganda films. My texts will be four films, two produced by the military, and two by Hollywood: December 7th (1943), directed by Gregg Toland and revised by John Ford; Air Force (1943), directed Howard Hawks; Know Your Enemy: Japan (1945), directed by Frank Capra; and Betrayal for the East (1945), directed by (...) William Berke. As all of these films are readily available on YouTube, I will be brief in my description of them. Instead, I will focus on how they served to intensify racial hatred of Japanese in general and Japanese-Americans in particular, and how the federal government tried to control that propaganda—but was limited by its own policies regarding Japanese-Americans. (shrink)

This paper is a companion piece to my earlier paper “Fallibilism and Concessive Knowledge Attributions”. There are two intuitive charges against fallibilism. One is that it countenances the truth (and presumably acceptability) of utterances of sentences such as “I know that Bush is a Republican, though it might be that he is not a Republican”. The second is that it countenances the truth (and presumably acceptability) of utterances of sentences such as “I know that Bush is a Republican, even though (...) I’m not certain that he is”, or “I know that Bush it a Republican, even though it isn’t certain that he is.” In “Fallibilism and Concessive Knowledge Attributions”, I argue that fallibilism in epistemology does not countenance the truth of utterances of sentences such as “I know that Bush is a Republican, though it might be that he is not a Republican”. In this paper, I argue that there are independent reasons for thinking that utterances of sentences such as “I know that Bush is a Republican, though I’m not certain that he is” and “I know that Bush is a Republican, though it’s not certain that he is” are unassertible. More specifically, I argue that these are simply instances of Moore’s Paradox, such as “Dogs bark, but I don’t know that they do.” The right account of Moore’s Paradox does not involve the falsehood of the semantic content of the relevant utterances, but rather their pragmatic unacceptability. So the anti-fallibilist intuitions turn out to have pragmatic, rather than semantic import, and therefore do not tell against the truth of fallibilism. Fallibilism in epistemology is often thought to be theoretically desirable, but intuitively problematic. My purpose with these two papers is to show that fallibilism is not intuitively problematic. (shrink)

A central area of current philosophical debate in the foundations of mathematics concerns whether or not there is a single, maximal, universe of set theory. Universists maintain that there is such a universe, while Multiversists argue that there are many universes, no one of which is ontologically privileged. Often forcing constructions that add subsets to models are cited as evidence in favour of the latter. This paper informs this debate by analysing ways the Universist might interpret this discourse that seems (...) to necessitate the addition of subsets to V. We argue that despite the prima facie incoherence of such talk for the Universist, she nonetheless has reason to try and provide interpretation of this discourse. We analyse extant interpretations of such talk, and analyse various tradeoffs in naturality that might be made. We conclude that the Universist has promising options for interpreting different forcing constructions. (shrink)

If, relative to a context, what a sentence says is necessarily true, then what it says must be so. If, relative to a context, what a sentence says is possible, then what it says could be true. Following natural philosophical usage, it would thus seem clear that in assessing an occurrence of a sentence for possibility or necessity, one is assessing what is said by that occurrence. In this paper, I argue that natural philosophical usage misleads here. In assessing an (...) occurrence of a sentence for possibility or necessity, one is not assessing the modal status of the proposition expressed by that occurrence of the sentence. (shrink)

Epistemologists often assume that an agent’s epistemic goal is simply to acquire as much knowledge as possible for herself. Drawing on an analogy with ethics and other practices, I argue that being situated in an epistemic community introduces a range of epistemic virtues (and goals) which fall outside of those typically recognized by both individualistic and social epistemologists. Candidate virtues include such traits as honesty, integrity (including an unwillingness to misuse one’s status as an expert), patience, and creativity. We can (...) understand such traits to be epistemic virtues insofar as they tend to produce knowledge – not for the agent alone, but for her community. Recognition of such ‘otherregarding epistemic virtues’ both broadens the area of inquiry of epistemology, and introduces new standards for the evaluation of epistemic agents. (shrink)

This article examines two questions about scientists’ search for knowledge. First, which search strategies generate discoveries effectively? Second, is it advantageous to diversify search strategies? We argue pace Weisberg and Muldoon, “Epistemic Landscapes and the Division of Cognitive Labor”, that, on the first question, a search strategy that deliberately seeks novel research approaches need not be optimal. On the second question, we argue they have not shown epistemic reasons exist for the division of cognitive labor, identifying the errors that led (...) to their conclusions. Furthermore, we generalize the epistemic landscape model, showing that one should be skeptical about the benefits of social learning in epistemically complex environments. (shrink)

Christopher Johnson has put forward in this journal the view that ad hominem reasoning may be more generally reasonable than is allowed by writers such as myself, basing his view on virtue epistemology. I review his account, as well as the standard account, of ad hominem reasoning, and show how the standard account would handle the cases he sketches in defense of his own view. I then give four criticisms of his view generally: the problems of virtue conflict, vagueness, conflation (...) of speech acts, and self-defeating counsel. I then discuss four reasons why the standard account is superior: it better fits legal reality, the account of other fallacies, psychological science, and political reality. (shrink)

Simon Keller and Sarah Stroud have both argued that the demands of being a good friend can conflict with the demands of standard epistemic norms. Intuitively, good friends will tend to seek favorable interpretations of their friends’ behaviors, interpretations that they would not apply to strangers; as such they seem prone to form unjustified beliefs. I argue that there is no such clash of norms. In particular, I argue that friendship does not require us to form beliefs about our friends (...) in the biased fashion suggested by Stroud and Keller. I further argue that while some slight bias in belief-formation might be permitted by friendship, any such bias would fall within the bounds of epistemic propriety. (shrink)

Multiverse Views in set theory advocate the claim that there are many universes of sets, no-one of which is canonical, and have risen to prominence over the last few years. One motivating factor is that such positions are often argued to account very elegantly for technical practice. While there is much discussion of the technical aspects of these views, in this paper I analyse a radical form of Multiversism on largely philosophical grounds. Of particular importance will be an account of (...) reference on the Multiversist conception, and the relativism that it implies. I argue that analysis of this central issue in the Philosophy of Mathematics indicates that Radical Multiversism must be algebraic, and cannot be viewed as an attempt to provide an account of reference without a softening of the position. (shrink)

It is argued that Nozick's experience machine thought experiment does not pose a particular difficulty for mental state theories of well-being. While the example shows that we value many things beyond our mental states, this simply reflects the fact that we value more than our own well-being. Nor is a mental state theorist forced to make the dubious claim that we maintain these other values simply as a means to desirable mental states. Valuing more than our mental states is compatible (...) with maintaining that the impact of such values upon our well-being lies in their impact upon our mental lives. (shrink)

The values-based approach to welfare holds that it is good for one to realize goals, activities, and relationships with which one strongly (and stably) identifies. This approach preserves the subjectivity of welfare while affirming that a life well lived must be active, engaged, and subjectively meaningful. As opposed to more objective theories, it is unified, naturalistic, and ontologically parsimonious. However, it faces objections concerning the possibility of self-sacrifice, disinterested and paradoxical values, and values that are out of sync with physical (...) and emotional needs. This paper revises the values-based approach, emphasizing the important—but limited—role consciously held values play in human agency. The additional components of human agency in turn explain why it is important for one’s values to cohere with one’s fixed drives, hard-wired emotional responses, and nonvolitionally guided cognitive pro- cesses. This affords promising responses to the objections above. (shrink)

Fictionalist approaches to ontology have been an accepted part of philosophical methodology for some time now. On a fictionalist view, engaging in discourse that involves apparent reference to a realm of problematic entities is best viewed as engaging in a pretense. Although in reality, the problematic entities do not exist, according to the pretense we engage in when using the discourse, they do exist. In the vocabulary of Burgess and Rosen (1997, p. 6), a nominalist construal of a given discourse (...) is revolutionary just in case it involves a “reconstruction or revision” of the original discourse. Revolutionary approaches are therefore prescriptive. In contrast, a nominalist construal of a given discourse is hermeneutic just in case it is a nominalist construal of a discourse that is put forth as a hypothesis about how the discourse is in fact used; that is, hermeneutic approaches are descriptive. I will adopt Burgess and Rosen’s terminology to describe the two different spirits in which a fictionalist hypothesis in ontology might be advanced. Revolutionary fictionalism would involve admitting that while the problematic discourse does in fact involve literal reference to nonexistent entities, we ought to use the discourse in such a way that the reference is simply within the pretense. The hermeneutic fictionalist, in contrast, reads fictionalism into our actual use of the problematic discourse. According to her, normal use of the problematic discourse involves a pretense. According to the pretense, and only according to the pretense, there exist the objects to which the discourse would commit its users, were no pretense involved. My purpose in this paper is to argue that hermeneutic fictionalism is not a viable strategy in ontology. My argument proceeds in two steps. First, I discuss in detail several problematic consequences of any interesting application of hermeneutic fictionalism. Of course, if there is good evidence that hermeneutic fictionalism is correct in some cases, then some of these drastic consequences would have to be accepted.. (shrink)

Some philosophers have argued for what I call the reason-giving requirement for conscientious refusal in reproductive healthcare. According to this requirement, healthcare practitioners who conscientiously object to administering standard forms of treatment must have arguments to back up their conscience, arguments that are purely public in character. I argue that such a requirement, though attractive in some ways, faces an overlooked epistemic problem: it is either too easy or too difficult to satisfy in standard cases. I close by briefly considering (...) whether a version of the reason-giving requirement can be salvaged despite this important difficulty. (shrink)

Set-theoretic and category-theoretic foundations represent different perspectives on mathematical subject matter. In particular, category-theoretic language focusses on properties that can be determined up to isomorphism within a category, whereas set theory admits of properties determined by the internal structure of the membership relation. Various objections have been raised against this aspect of set theory in the category-theoretic literature. In this article, we advocate a methodological pluralism concerning the two foundational languages, and provide a theory that fruitfully interrelates a ‘structural’ perspective (...) to a set-theoretic one. We present a set-theoretic system that is able to talk about structures more naturally, and argue that it provides an important perspective on plausibly structural properties such as cardinality. We conclude the language of set theory can provide useful information about the notion of mathematical structure. (shrink)

Practical wisdom is the intellectual virtue that enables a person to make reliably good decisions about how, all-things-considered, to live. As such, it is a lofty and important ideal to strive for. It is precisely this loftiness and importance that gives rise to important questions about wisdom: Can real people develop it? If so, how? What is the nature of wisdom as it manifests itself in real people? I argue that we can make headway answering these questions by modeling wisdom (...) on expert skill. Presenting the main argument for this expert skill model of wisdom is the focus of this paper. More specifically, I’ll argue that wisdom is primarily the same kind of epistemic achievement as expert decision-making skill in areas such as firefighting. Acknowledging this helps us see that, and how, real people can develop wisdom. It also helps to resolve philosophical debates about the nature of wisdom. For example, philosophers, including those who think virtue should be modeled on skills, disagree about the extent to which wise people make decisions using intuitions or principled deliberation and reflection. The expert skill model resolves this debate by showing that wisdom includes substantial intuitive and deliberative and reflective abilities. (shrink)

In the contemporary philosophy of set theory, discussion of new axioms that purport to resolve independence necessitates an explanation of how they come to be justified. Ordinarily, justification is divided into two broad kinds: intrinsic justification relates to how `intuitively plausible' an axiom is, whereas extrinsic justification supports an axiom by identifying certain `desirable' consequences. This paper puts pressure on how this distinction is formulated and construed. In particular, we argue that the distinction as often presented is neither well-demarcated nor (...) sufficiently precise. Instead, we suggest that the process of justification in set theory should not be thought of as neatly divisible in this way, but should rather be understood as a conceptually indivisible notion linked to the goal of explanation. (shrink)

We explain and explore class-theoretic potentialism—the view that one can always individuate more classes over a set-theoretic universe. We examine some motivations for class-theoretic potentialism, before proving some results concerning the relevant potentialist systems (in particular exhibiting failures of the $\mathsf {.2}$ and $\mathsf {.3}$ axioms). We then discuss the significance of these results for the different kinds of class-theoretic potentialists.

Problem one: why, if God designed the human mind, did it take so long for humans to develop theistic concepts and beliefs? Problem two: why would God use evolution to design the living world when the discovery of evolution would predictably contribute to so much nonbelief in God? Darwin was aware of such questions but failed to see their evidential significance for theism. This paper explores this significance. Problem one introduces something I call natural nonbelief, which is significant because it (...) parallels and corroborates well-known worries about natural evil. Problems one and two, especially when combined, support naturalism over theism, intensify the problem of divine hiddenness, challenge Alvin Plantinga’s views about the naturalness of theism, and advance the discussion about whether the conflict between science and religion is genuine or superficial. (shrink)

Practical wisdom (hereafter simply ‘wisdom’), which is the understanding required to make reliably good decisions about how we ought to live, is something we all have reason to care about. The importance of wisdom gives rise to questions about its nature: what kind of state is wisdom, how can we develop it, and what is a wise person like? These questions about the nature of wisdom give rise to further questions about proper methods for studying wisdom. Is the study of (...) wisdom the proper subject of philosophy or psychology? How, exactly, can we determine what wisdom is and how we can get it? In this chapter, we give an overview of some prominent philosophical answers to these questions. We begin by distinguishing practical wisdom from theoretical wisdom and wisdom as epistemic humility. Once we have a clearer sense of the target, we address questions of method and argue that producing a plausible and complete account of wisdom will require the tools of both philosophy and empirical psychology. We also discuss the implications this has for prominent wisdom research methods in empirical psychology. We then survey prominent philosophical accounts of the nature of wisdom and end with reflections on the prospects for further interdisciplinary research. (shrink)

Wisdom, long a topic of interest to moral philosophers, is increasingly the focus of social science research. Philosophers have historically been concerned to develop a rationally defensible account of the nature of wisdom and its role in the moral life, often inspired in various ways by virtue theoretical accounts of practical wisdom (phronesis). Wisdom scientists seek to, among other things, define wisdom and its components so that we can measure them. Are the measures used by wisdom scientists actually measuring what (...) philosophers have in mind when they discuss practical wisdom? I argue that they are not. Contemporary measures of wisdom and its components may pick out some necessary prerequisites of practical wisdom, but they do not measure a philosophically plausible practical wisdom or its components. After explaining the argument and defending it against objections, I consider its implications. Should wisdom scientists ignore the philosophical conception of practical wisdom in favor of other conceptions, revise their methods to try to measure it, or continue the interdisciplinary study of practical wisdom without expecting to measure it? I make a preliminary argument for the third option. (shrink)

Let's suppose you think that there are no uncountable sets. Have you adopted a restrictive position? It is certainly tempting to say yes---you've prohibited the existence of certain kinds of large set. This paper argues that this intuition can be challenged. Instead, I argue that there are some considerations based on a formal notion of restrictiveness which suggest that it is restrictive to hold that there are uncountable sets.

Winning essay of the American Society for Aesthetics' inaugural Peter Kivy Prize. Extends Kivy's notion of sonic picturing through engagement with recent work in philosophy of perception. Argues that sonic pictures are more widespread and more aesthetically and artistically important than even Kivy envisioned. Topics discussed include: the nature of sonic pictures; the nature of sounds; what we can (and more importantly, cannot) conclude from musical listening; sonic pictures in film; beatboxing as an art of sonic picturing; and cover songs (...) as sonic pictures. To be published in the Journal of Aesthetics and Art Criticism. (shrink)

A central area of current philosophical debate in the foundations of mathematics concerns whether or not there is a single, maximal, universe of set theory. Universists maintain that there is such a universe, while Multiversists argue that there are many universes, no one of which is ontologically privileged. Often model-theoretic constructions that add sets to models are cited as evidence in favour of the latter. This paper informs this debate by developing a way for a Universist to interpret talk that (...) seems to necessitate the addition of sets to V. We argue that, despite the prima facie incoherence of such talk for the Universist, she nonetheless has reason to try and provide interpretation of this discourse. We present a method of interpreting extension-talk (V-logic), and show how it captures satisfaction in `ideal' outer models and relates to impredicative class theories. We provide some reasons to regard the technique as philosophically virtuous, and argue that it opens new doors to philosophical and mathematical discussions for the Universist. (shrink)

Agent-causal libertarians maintain we are irreducible agents who, by acting, settle matters that aren’t already settled. This implies that the neural matters underlying the exercise of our agency don’t conform to deterministic laws, but it does not appear to exclude the possibility that they conform to statistical laws. However, Pereboom (Noûs 29:21–45, 1995; Living without free will, Cambridge University Press, Cambridge, 2001; in: Nadelhoffer (ed) The future of punishment, Oxford University Press, New York, 2013) has argued that, if these neural (...) matters conform to either statistical or deterministic physical laws, the complete conformity of an irreducible agent’s settling of matters with what should be expected given the applicable laws would involve coincidences too wild to be credible. Here, I show that Pereboom’s argument depends on the assumption that, at times, the antecedent probability certain behavior will occur applies in each of a number of occasions, and is incapable of changing as a result of what one does from one occasion to the next. There is, however, no evidence this assumption is true. The upshot is the wild coincidence objection is an empirical objection lacking empirical support. Thus, it isn’t a compelling argument against agent-causal libertarianism. (shrink)

Alongside a revival of interest in Thomism in philosophy, scholars have realised its relevance when addressing certain contemporary issues in bioethics. This book offers a rigorous interpretation of Aquinas's metaphysics and ethical thought, and highlights its significance to questions in bioethics. Jason T. Eberl applies Aquinas’s views on the seminal topics of human nature and morality to key questions in bioethics at the margins of human life – questions which are currently contested in the academia, politics and the media (...) such as: When does a human person’s life begin? How should we define and clinically determine a person’s death? Is abortion ever morally permissible? How should we resolve the conflict between the potential benefits of embryonic stem cell research and the lives of human embryos? Does cloning involve a misuse of human ingenuity and technology? What forms of treatment are appropriate for irreversibly comatose patients? How should we care for patients who experience unbearable suffering as they approach the end of life? _Thomistic Principles and Bioethics_ presents a significant philosophical viewpoint which will motivate further dialogue amongst religious and secular arenas of inquiry concerning such complex issues of both individual and public concern. (shrink)

Often philosophers, logicians, and mathematicians employ a notion of intended structure when talking about a branch of mathematics. In addition, we know that there are foundational mathematical theories that can find representatives for the objects of informal mathematics. In this paper, we examine how faithfully foundational theories can represent intended structures, and show that this question is closely linked to the decidability of the theory of the intended structure. We argue that this sheds light on the trade-off between expressive power (...) and meta-theoretic properties when comparing first-order and second-order logic. (shrink)

This paper concerns “human symbolic output,” or strings of characters produced by humans in our various symbolic systems; e.g., sentences in a natural language, mathematical propositions, and so on. One can form a set that consists of all of the strings of characters that have been produced by at least one human up to any given moment in human history. We argue that at any particular moment in human history, even at moments in the distant future, this set is finite. (...) But then, given fundamental results in recursion theory, the set will also be recursive, recursively enumerable, axiomatizable, and could be the output of a Turing machine. We then argue that it is impossible to produce a string of symbols that humans could possibly produce but no Turing machine could. Moreover, we show that any given string of symbols that we could produce could also be the output of a Turing machine. Our arguments have implications for Hilbert’s sixth problem and the possibility of axiomatizing particular sciences, they undermine at least two distinct arguments against the possibility of Artificial Intelligence, and they entail that expert systems that are the equals of human experts are possible, and so at least one of the goals of Artificial Intelligence can be realized, at least in principle. (shrink)

Given the significance of Nicholas of Cusa’s ecclesiastical career, it is no surprise that a good deal of academic attention on Nicholas has focused on his role in the history of the church. Nevertheless, it would also be fair to say that a good deal of the attention that is focused on the life and thought of Nicholas of Cusa is the legacy of prior generations of scholars who saw in his theoretical work an opportunity to define the most salient (...) features of transformations in the habits of thinking leading from the Middle Ages into the epoch of modernity. Thus, although contemporary scholars have not been able to achieve any clear consensus on the question of whether Nicholas belongs to the Middle Ages or to modernity, the field of Cusanus studies has become much more attentive to the possibility that the uniqueness and significance of Nicholas’s vision is a function of his ability to synthesize and redeploy a variety of strands in the Catholic intellectual tradition—strands that are as apt to involve practical matters of canon law and church reform as they are to hinge on a unique and richly developed mystical theology. Given the flourishing of the attention devoted to Nicholas in the late 20th and early 21st centuries, the choices about which texts to include in this article were difficult ones. The rationale for this article’s predominant focus on scholarship of the late 20th and early 21st centuries is that, insofar as the recent studies listed here enter into the debates that have been shaped by their predecessors, the sources mentioned here will point readers to the prior work in the field not acknowledged here. (shrink)

If, relative to a context, what a sentence says is necessarily true, then what it says must be so. If, relative to a context, what a sentence says is possible, then what it says could be true. Following natural philosophical usage, it would thus seem clear that in assessing an occurrence of a sentence for possibility or necessity, one is assessing what is said by that occurrence. In this paper, I argue that natural philosophical usage misleads here. In assessing an (...) occurrence of a sentence for possibility or necessity, one is not assessing the modal status of the proposition expressed by that occurrence of the sentence. (shrink)

Confirmational holism is at odds with Jeffrey conditioning --- the orthodox Bayesian policy for accommodating uncertain learning experiences. Two of the great insights of holist epistemology are that (i) the effects of experience ought to be mediated by one's background beliefs, and (ii) the support provided by one's learning experience can and often is undercut by subsequent learning. Jeffrey conditioning fails to vindicate either of these insights. My aim is to describe and defend a new updating policy that does better. (...) In addition to showing that this new policy is more holism-friendly than Jeffrey conditioning, I will also show that it has an accuracy-centered justification. (shrink)