Coincidence comes in two varieties – permanent and temporary. Moderate monism is the position that permanent coincidence, but not temporary coincidence, entails identity. Extreme monism is the position that even temporary coincidence entails identity. Pluralists are opponents of monism tout court. The intuitively obvious, commonsensical position is moderate monism. It is therefore important to see if it can be sustained.

Divers presents a set of de re modal truths which, he claims, are inconvenient for Lewisean modal realism. We argue that there is no inconvenience for Lewis.

Many of the most important social institutions—e.g., law and language—are thought to be normative in some sense. And philosophers have been puzzled by how this normativity can be explained in terms of the social, descriptive states of affairs that presumably constitute them. This paper attempts to solve this sort of puzzle by considering a simpler and less contentious normative social practice: table manners. Once we are clear on the exact sense in which a practice is normative, we see that some (...) practices can be normative in an interesting and non-trivial sense, but also explicable with merely descriptive resources. In addition to arguing that it is possible to explain normative practices with descriptive resources, this paper presents and defends just such an explanation—an account of the nature of table manners that appeals only to descriptive states of affairs. (shrink)

That believing truly as a matter of luck does not generally constitute knowing has become epistemic commonplace. Accounts of knowledge incorporating this anti-luck idea frequently rely on one or another of a safety or sensitivity condition. Sensitivity-based accounts of knowledge have a well-known problem with necessary truths, to wit, that any believed necessary truth trivially counts as knowledge on such accounts. In this paper, we argue that safety-based accounts similarly trivialize knowledge of necessary truths and that two ways of responding (...) to this problem for safety, issuing from work by Williamson and Pritchard, are of dubious success. (shrink)

David Lewis holds that a single possible world can provide more than one way things could be. But what are possible worlds good for if they come apart from ways things could be? We can make sense of this if we go in for a metaphysical understanding of what the world is. The world does not include everything that is the case—only the genuine facts. Understood this way, Lewis's “cheap haecceitism” amounts to a kind of metaphysical anti-haecceitism: it says there (...) aren't any genuine facts about individuals over and above their qualitative roles. (shrink)

Should we make significant sacrifices to ever-so-slightly lower the chance of extremely bad outcomes, or to ever-so-slightly raise the chance of extremely good outcomes? *Fanaticism* says yes: for every bad outcome, there is a tiny chance of extreme disaster that is even worse, and for every good outcome, there is a tiny chance of an enormous good that is even better. I consider two related recent arguments for Fanaticism: Beckstead and Thomas's argument from *strange dependence on space and time*, and (...) Wilkinson's *Indology* argument. While both arguments are instructive, neither is persuasive. In fact, the general principles that underwrite the arguments (a *separability* principle in the first case, and a *reflection* principle in the second) are *inconsistent* with Fanaticism. In both cases, though, it is possible to rehabilitate arguments for Fanaticism based on restricted versions of those principles. The situation is unstable: plausible general principles tell *against* Fanaticism, but restrictions of those same principles (with strengthened auxiliary assumptions) *support* Fanaticism. All of the consistent views that emerge are very strange. (shrink)

Constitutive reflexivity, stories, and personal narrative were used to interpret leisure experience and provide insights for understanding leisure identity. I present a personal narrative of an annual canoe camping trip on a forested backcountry river. Stories are told in first person by the author about his trip of twenty years on a river with a small group of men. The author illustrates how personal narrative allows opportunities for understanding and interpreting meanings and changing leisure identities. The confluence of narrative, identity, (...) and leisure experience is illustrated and discussed. The purpose is to bring the writer/researcher into the qualitative project as a subject and actor in the story and show how leisure identity images are created and affirmed through time. (shrink)

How should a group with different opinions (but the same values) make decisions? In a Bayesian setting, the natural question is how to aggregate credences: how to use a single credence function to naturally represent a collection of different credence functions. An extension of the standard Dutch-book arguments that apply to individual decision-makers recommends that group credences should be updated by conditionalization. This imposes a constraint on what aggregation rules can be like. Taking conditionalization as a basic constraint, we gather (...) lessons from the established work on credence aggregation, and extend this work with two new impossibility results. We then explore contrasting features of two kinds of rules that satisfy the constraints we articulate: one kind uses fixed prior credences, and the other uses geometric averaging, as opposed to arithmetic averaging. We also prove a new characterisation result for geometric averaging. Finally we consider applications to neighboring philosophical issues, including the epistemology of disagreement. (shrink)

On a certain reading, the respective theories of Freud and Nietzsche might be described as exploring the suffered relational histories of the subject, who is driven by need; these histories might also be understood as histories of language. This suggests a view of language as a complicated mode of identifying-with, which obliges linguistic subjects to identify the non-identical, but also enables them to simultaneously identify with each other in the psychoanalytic sense. This ambivalent space of psychoanalytic identification would be conditioned (...) by relational histories. On one hand, this might lead to conformity within a system of language as a shared, obligatory compromise formation that would defend against the non-identical; magical language, typified in Freud’s critique of animism and in Nietzsche’s critique of “free will” guided by absolute normative signifiers (“Good” and “Evil”), would be symptomatic of this sort of defense. On the other hand, given other relational histories, it may produce the possibility for more transitional modes of identification, and thereby modes of language that can bear its suffered histories, and lead to proliferation of singular compromise formations. It is suggested that while the former is historically dominant, Nietzsche and various psychoanalytic thinkers contribute to conceiving of the possibility of working ourselves towards the latter. (shrink)

Could space consist entirely of extended regions, without any regions shaped like points, lines, or surfaces? Peter Forrest and Frank Arntzenius have independently raised a paradox of size for space like this, drawing on a construction of Cantor’s. I present a new version of this argument and explore possible lines of response.

Psychopathy is increasingly in the public eye. However, it is yet to be fully and effectively understood. Within the context of the DSM-IV, for example, it is best regarded as a complex family of disorders. The upside is that this family can be tightly related along common dimensions. Characteristic marks of psychopaths include a lack of guilt and remorse for paradigm case immoral actions, leading to the common conception of psychopathy rooted in affective dysfunctions. An adequate portrait of psychopathy is (...) much more complicated, however. Though some neural regions and corresponding functions are commonly indicated, they range across those responsible for action planning and learning, as well as emotional processes. Accordingly, a complete fine-grained map of all neural mechanisms responsible for psychopathy has not been realized, and even if it were, such a map would have limited utility outside of the context of surgical or chemical intervention. The utility of a neural-level understanding of psychopathy is further limited by the fact that it is only applicable in the clinical identification of individual subjects, and the neuro-chemical/biological correction of those subjects after they are positively identified as psychopaths. On the other hand, an information processing model of moral cognition provides for wider-ranging applications. The theoretical and practical implications for such a feasible working model of psychopathic personalities are assessed. Finally, this chapter raises the possibility of directed modification of social-environmental factors discouraging the development of psychopathic personalities in the first place, modifications which are also open to simulation and testing in terms of the same model of moral cognition. (shrink)

Decision theorists widely accept a stochastic dominance principle: roughly, if a risky prospect A is at least as probable as another prospect B to result in something at least as good, then A is at least as good as B. Recently, philosophers have applied this principle even in contexts where the values of possible outcomes do not have the structure of the real numbers: this includes cases of incommensurable values and cases of infinite values. But in these contexts the usual (...) formulation of stochastic dominance is wrong. We show this with several counterexamples. Still, the motivating idea behind stochastic dominance is a good one: it is supposed to provide a way of applying dominance reasoning in the stochastic context of probability distributions. We give two new formulations of stochastic dominance that are more faithful to this guiding idea, and prove that they are equivalent. (shrink)

Linguists, particularly in the generative tradition, commonly rely upon intuitions about sentences as a key source of evidence for their theories. While widespread, this methodology has also been controversial. In this paper, I develop a positive account of linguistic intuition, and defend its role in linguistic inquiry. Intuitions qualify as evidence as form of linguistic behavior, which, since it is partially caused by linguistic competence (the object of investigation), can be used to study this competence. I defend this view by (...) meeting two challenges. First, that intuitions are collected through methodologically unsound practices, and second, that intuition cannot distinguish between the contributions of competence and performance systems. (shrink)

This third paper locates the synthetic neurorobotics research reviewed in the second paper in terms of themes introduced in the first paper. It begins with biological non-reductionism as understood by Searle. It emphasizes the role of synthetic neurorobotics studies in accessing the dynamic structure essential to consciousness with a focus on system criticality and self, develops a distinction between simulated and formal consciousness based on this emphasis, reviews Tani and colleagues' work in light of this distinction, and ends by forecasting (...) the increasing importance of synthetic neurorobotics studies for cognitive science and philosophy of mind going forward, finally in regards to most- and myth-consciousness. (shrink)

“There are no gaps in logical space,” David Lewis writes, giving voice to sentiment shared by many philosophers. But different natural ways of trying to make this sentiment precise turn out to conflict with one another. One is a *pattern* idea: “Any pattern of instantiation is metaphysically possible.” Another is a *cut and paste* idea: “For any objects in any worlds, there exists a world that contains any number of duplicates of all of those objects.” We use resources from model (...) theory to show the inconsistency of certain packages of combinatorial principles and the consistency of others. (shrink)

We prove a representation theorem for preference relations over countably infinite lotteries that satisfy a generalized form of the Independence axiom, without assuming Continuity. The representing space consists of lexicographically ordered transfinite sequences of bounded real numbers. This result is generalized to preference orders on abstract superconvex spaces.

The paper discusses the arguments for and against animalism and concludes that a pluralist position which rejects animalism and embraces a multiplicity of thinkers is the best option.

Abstract: One approach to alignment with human values in AI and robotics is to engineer artificial systems isomorphically with human beings. One persistent problem is that different human beings champion different value orientations as ideal, exclusive of others, thereby confounding worries about AI. Prior work proposed a view of human development of purpose and source of meaning in life in terms of project ideal conditions, in effect establishing lifelong value orientations according to which intermediate situations are evaluated. The idea is (...) that robots designed accordingly may autonomously align with human values through similar developmental processes, to realize project ideal conditions through iterative interaction with social and object environments. The present work considers two apparently mutually exclusive views on value alignment, that of St. Augustine and contemporary cognitive scientists including Gregg Northoff. The present work describes these views as divergent error theories which, due to variable development of variable cognitive potential, present to different subjects as mutually exclusive yet accurate accounts of personal experience. Specifically, the hypothesis proposed is that differential development of spindle neural projections during adolescence establishes lifelong connections between prior established relatively immediate routine processes (entrained during childhood) and later developing higher-level social and self-processes, with these projections hard-wiring lifelong value orientations. Insights from this study are applied to considerations for AI value alignment and robot religion. Robot experiments informed by this study may eventually represent such differences by design, with autonomous robots developing religious associations with temporally distal project ideal conditions through love for humanity, as described by Augustine, contrary to contemporary accounts emphasizing selfish fit to passing norms. Finally, the motivating hope of this study is that risks associated with value misaligned robots may be obviated by adequately informed designers. (shrink)

In "Pascal's Mugging" (Bostrom 2009), Pascal gives away his wallet for an extremely tiny chance of an extremely large reward. In this continuation of Bostrom's story, Pascal's friend counsels him to take into account the possibility of making mistakes about his true expected utilities, and they consider to what extent this will help Pascal make plans to avoid future muggings.

The comprehension of anaphoric relations may be guided not only by discourse, but also syntactic information. In the literature on online processing, however, the focus has been on audible pronouns and descriptions whose reference is resolved mainly on the former. This paper examines one relation that both lacks overt exponence, and relies almost exclusively on syntax for its resolution: adjunct control, or the dependency between the null subject of a non-finite adjunct and its antecedent in sentences such as Mickey talked (...) to Minnie before ___ eating. Using visual world eyetracking, we compare the time course of interpreting this null subject and overt pronouns (Mickey talked to Minnie before he ate). We show that when control structures are highly frequent, listeners are just as quick to resolve reference in either case. When control structures are less frequent, reference resolution based on structural information still occurs upon hearing the non-finite verb, but more slowly, especially when unaided by structural and referential predictions. This may be due to increased difficulty in recognizing that a referential dependency is necessary. These results indicate that in at least some contexts, referential expressions whose resolution depends on very different sources of information can be resolved approximately equally rapidly, and that the speed of interpretation is largely independent of whether or not the dependency is cued by an overt referring expression. (shrink)

“Pragmatic encroachers” about knowledge generally advocate two ideas: (1) you can rationally act on what you know; (2) knowledge is harder to achieve when more is at stake. Charity Anderson and John Hawthorne have recently argued that these two ideas may not fit together so well. I extend their argument by working out what “high stakes” would have to mean for the two ideas to line up, using decision theory.

I examine what the mathematical theory of random structures can teach us about the probability of Plenitude, a thesis closely related to David Lewis's modal realism. Given some natural assumptions, Plenitude is reasonably probable a priori, but in principle it can be (and plausibly it has been) empirically disconfirmed—not by any general qualitative evidence, but rather by our de re evidence.

The ultimate goal of research into computational intelligence is the construction of a fully embodied and fully autonomous artificial agent. This ultimate artificial agent must not only be able to act, but it must be able to act morally. In order to realize this goal, a number of challenges must be met, and a number of questions must be answered, the upshot being that, in doing so, the form of agency to which we must aim in developing artificial agents comes (...) into focus. This chapter explores these issues, and from its results details a novel approach to meeting the given conditions in a simple architecture of information processing. (shrink)

Natural resource management agencies in the United States have a legal responsibility to represent Indigenous Peoples and federally recognized Tribes in environmental stewardship. This comment article is a call to action that argues for genuine representation of Tribes and other Indigenous Peoples through adherence to existing, formal consultation policies and coproduction of knowledge. Agencies must recognize and respect the differences between public involvement and government-to-government consultation with federally-recognized Tribes. Sovereign tribal nations are not the public and have a unique relationship (...) with federal agencies based in the federal trust responsibility. Coproduction of knowledge is an emerging enterprise that has potential for meaningfully engaging and genuinely and equitably representing Indigenous Peoples and Tribes and should be codeveloped and implemented as policy. Agencies should build capacity to properly represent tribal nations in decisions. Agency employees and Indigenous Peoples must spend more time together to increase cultural awareness and build meaningful relationships to facilitate genuine consultation and coproduction of knowledge. (shrink)

People with the kind of preferences that give rise to the St. Petersburg paradox are problematic---but not because there is anything wrong with infinite utilities. Rather, such people cannot assign the St. Petersburg gamble any value that any kind of outcome could possibly have. Their preferences also violate an infinitary generalization of Savage's Sure Thing Principle, which we call the *Countable Sure Thing Principle*, as well as an infinitary generalization of von Neumann and Morgenstern's Independence axiom, which we call *Countable (...) Independence*. In violating these principles, they display foibles like those of people who deviate from standard expected utility theory in more mundane cases: they choose dominated strategies, pay to avoid information, and reject expert advice. We precisely characterize the preference relations that satisfy Countable Independence in several equivalent ways: a structural constraint on preferences, a representation theorem, and the principle we began with, that every prospect has a value that some outcome could have. (shrink)

The idea of a new aestheticism is now explicit in both philosophical aesthetics and cultural theory with the publication of Gary Iseminger's The Aesthetic Function of Art and an anthology of essays edited by John Joughin and Simon Malpas critiquing the anti-aestheticism of literary theory. Both are significant in marking a wider trend reacting to, broadly speaking, intellectualised and historicised accounts of art, refocusing on the idea of appreciation itself, and working away from the emphasis on ideology and disregard for (...) the particularity of works in, especially, literary theory. This broader context also includes renewed debates running within philosophical aesthetics about non-perceptual aesthetic properties and the aesthetic experience of conceptual artworks, and about beauty in art, considerations that have engaged two philosophers normally identified by their commitment to art theoretical and historical (and by extension, non-aesthetic) accounts of artistic making and viewing, namely Noël Carroll and Arthur Danto. So Carroll acknowledges that what's at stake is an aesthetic theory of art that is potentially 'back in business', while Danto's 'surprising' theoretic re-engagement with the concept of beauty has been noted by Diarmuid Costello. (shrink)

This paper proposes that existing computational modeling research programs may be combined into platforms for the information of public policy. The main idea is that computational models at select levels of organization may be integrated in natural terms describing biological cognition, thereby normalizing a platform for predictive simulations able to account for both human and environmental costs associated with different action plans and institutional arrangements over short and long time spans while minimizing computational requirements. Building from established research programs, the (...) proposal aims to take advantage of current momentum in the direction of the integration of the cognitive with social and natural sciences, reduce start-up costs and increase speed of development. These are all important upshots given rising unease over the potential for AI and related technologies to shape the world going forward. (shrink)

Rather than assume—based on the contents of the Nachlass—that the Eternal Recurrence, in its initial formulation, coheres with the later theoretico-metaphysical sense (i.e., sharing abstract space with the Will to Power) I propose the inverse (contrary to Heidegger, Deleuze, and Nehamas (whose Proustian exegesis (Nietzsche: Life as Literature) I’m obliged to radically extend)); namely, that the rotary cosmology of recurrence, as a literal proposition, is a consequence of the poetic sense of the earlier parable (GS)–which, I find, ultimately prefigures the (...) design of his own virulent relapse into theoria (WP). (shrink)

Abstract. Recent developments, both in the cognitive sciences and in world events, bring special emphasis to the study of morality. The cognitive sci- ences, spanning neurology, psychology, and computational intelligence, offer substantial advances in understanding the origins and purposes of morality. Meanwhile, world events urge the timely synthesis of these insights with tra- ditional accounts that can be easily assimilated and practically employed to augment moral judgment, both to solve current problems and to direct future action. The object of the (...) following paper is to present such a synthesis in the form of a model of moral cognition, the ACTWith model of conscience. The purpose of the model is twofold. One, the ACTWith model is intended to shed light on personal moral dispositions, and to provide a tool for actual human moral agents in the refinement of their moral lives. As such, it re- lies on the power of personal introspection, bolstered by the careful study of moral exemplars available to all persons in all cultures in the form of literary or religious figures, if not in the form of contemporary peers and especially leadership. Two, the ACTWith model is intended as a minimum architec- ture for fully functional artificial morality. As such, it is essentially amodal, implementation non-specific and is developed in the form of an information processing control system. There are given as few hard points in this sys- tem as necessary for moral function, and these are themselves taken from review of actual human cognitive processes, thereby intentionally capturing as closely as possible what is expected of moral action and reaction by hu- man beings. Only in satisfying these untutored intuitions should an artificial agent ever be properly regarded as moral, at least in the general population of existing moral agents. Thus, the ACTWith model is intended as a guide both for individual moral development and for the development of artificial moral agents as future technology permits. (shrink)

The Epistemic Objection says that certain theories of time imply that it is impossible to know which time is absolutely present. Standard presentations of the Epistemic Objection are elliptical—and some of the most natural premises one might fill in to complete the argument end up leading to radical skepticism. But there is a way of filling in the details which avoids this problem, using epistemic safety. The new version has two interesting upshots. First, while Ross Cameron alleges that the Epistemic (...) Objection applies to presentism as much as to theories like the growing block, the safety version does not overgeneralize this way. Second, the Epistemic Objection does generalize in a different, overlooked way. The safety objection is a serious problem for a widely held combination of views: “propositional temporalism” together with “metaphysical eternalism”. (shrink)

Famous results by David Lewis show that plausible-sounding constraints on the probabilities of conditionals or evaluative claims lead to unacceptable results, by standard probabilistic reasoning. Existing presentations of these results rely on stronger assumptions than they really need. When we strip these arguments down to a minimal core, we can see both how certain replies miss the mark, and also how to devise parallel arguments for other domains, including epistemic “might,” probability claims, claims about comparative value, and so on. A (...) popular reply to Lewis's results is to claim that conditional claims, or claims about subjective value, lack truth conditions. For this strategy to have a chance of success, it needs to give up basic structural principles about how epistemic states can be updated—in a way that is strikingly parallel to the commitments of the project of dynamic semantics. (shrink)

I examine three ‘anti-object’ metaphysical views: nihilism, generalism, and anti-quantificationalism. After setting aside nihilism, I argue that generalists should be anti-quantificationalists. Along the way, I attempt to articulate what a ‘metaphysically perspicuous’ language might even be.

Some philosophers respond to Leibniz’s “shift” argument against absolute space by appealing to antihaecceitism about possible worlds, using David Lewis’s counterpart theory. But separated from Lewis’s distinctive system, it is difficult to understand what this doctrine amounts to or how it bears on the Leibnizian argument. In fact, the best way of making sense of the relevant kind of antihaecceitism concedes the main point of the Leibnizian argument, pressing us to consider alternative spatiotemporal metaphysics.

Hegel uses the term Einsicht (‘insight’) throughout several key subsections of Chapter Six of the Phenomenology of Spirit (notably in ‘Faith and Pure Insight’ and ‘The Struggle of the Enlightenment with Superstition’). Nowhere else in his work does the term enjoy such a sustained treatment. Commentators generally accept Hegel’s use of the term in the Phenomenology as simply referring to the type of counter-religious reasoning found in the French Enlightenment. I show how Hegel derives the term, through the lens of (...) Kant’s essay, ‘What Does It Mean to Orient Oneself in Thinking?’ from the Pantheismusstreit, the philosophical debate between Mendelssohn and Jacobi about knowledge of God. The Aufklärung provenance of Einsicht shows how a deep complicity between faith and reason, in the form of immediate knowing, leads beyond the Terror to a happier outcome in the Morality section. Finally, passing reference to Einsicht in the Vorbegriff of the Encyclopaedia Logic confirms its role in the ethical and political vocation of Hegel’s Science. (shrink)

Obsessive-compulsive disorder is a commonly occurring neuropsychiatric condition characterized by bothersome intrusive thoughts and urges that frequently lead to repetitive dysfunctional behaviours such as excessive handwashing. There are well-documented alterations in cerebral function which appear to be closely related to the manifestation of these symptoms. Controlled studies of cognitive-behavioural therapy techniques utilizing the active refocusing of attention away from the intrusive phenomena of OCD and onto adaptive alternative activities have demonstrated both significant improvements in clinical symptoms and systematic changes in (...) the pathological brain circuitry associated with them. Careful investigation of the relationships between the experiential and putative neurophysiological processes involved in these changes can offer useful insights into volitional aspects of cerebral function. (shrink)

Nietzsche, Nihilism and the Philosophy of the Future examines Nietzsche's analysis of and response to contemporary nihilism, the sense that nothing has value or ...

The differences between the theories of hearing held by Aristotle and by Alexander of Aphrodisias are explored. Alexander appears to have a more systematic approach which avoids the dilemma faced by Aristotle in deciding whether the hearing process constitutes a time-taking kinesis or an instantaneous energeia.

I gave the name “R theory of time " to the Buddhist philosophy of time in my 2005 article in The 'Indian International Journal of Buddhist Studies because after studying the currently discussed non Buddhist philosophies of time that have been offered to us by many physicists and analytic philosophers, I found that they seemed to not agree as much as I thought theories of time should with the findings of quantum physicists. Rather, the non Buddhist philosophies of time seemed (...) to only be in agreement with relativistic physics, but not at all in agreement with quantum physics. But on the other hand, it seemed to me that the Buddhist philosophy of time agreed best with quantum theory, and thus I published an article about the Buddhist philosophy of time in order to try to show why. (shrink)

Suppose that all non-qualitative facts are grounded in qualitative facts. I argue that this view naturally comes with a picture in which trans-world identity is indeterminate. But this in turn leads to either pervasive indeterminacy in the non-qualitative, or else contingency in what facts about modality and possible worlds are determinate.

The counterpart theorist has a problem: there is no obvious way to understand talk about actuality in terms of counterparts. Fara and Williamson have charged that this obstacle cannot be overcome. Here I defend the counterpart theorist by offering systematic interpretations of a quantified modal language that includes an actuality operator. Centrally, I disentangle the counterpart relation from a related notion, a ‘representation relation’. The relation of possible things to the actual things they represent is variable, and an adequate account (...) of modal language must keep track of the way it is systematically shifted by modal operators. I apply my account to resolve several puzzles about counterparts and actuality. In technical appendices, I prove some important logical results about this ‘representational’ counterpart system and its relationship to other modal systems. (shrink)

3 Abstract This paper is about modeling morality, with a proposal as to the best 4 way to do it. There is the small problem, however, in continuing disagreements 5 over what morality actually is, and so what is worth modeling. This paper resolves 6 this problem around an understanding of the purpose of a moral model, and from 7 this purpose approaches the best way to model morality.

Divers (2014) presents a set of de re modal truths which, he claims, are inconvenient for Lewisean modal realism. We argue that there is no inconvenience for Lewis.

The existence of mereological sums can be derived from an abstraction principle in a way analogous to numbers. I draw lessons for the thesis that “composition is innocent” from neo-Fregeanism in the philosophy of mathematics.

Scientific knowledge is not merely a matter of reconciling theories and laws with data and observations. Science presupposes a number of metatheoretic shaping principles in order to judge good methods and theories from bad. Some of these principles are metaphysical (e.g., the uniformity of nature) and some are methodological (e.g., the need for repeatable experiments). While many shaping principles have endured since the scientific revolution, others have changed in response to conceptual pressures both from within science and without. Many of (...) them have theistic roots. For example, the notion that nature conforms to mathematical laws flows directly from the early modern presupposition that there is a divine Lawgiver. This interplay between theism and shaping principles is often unappreciated in discussions about the relation between science and religion. Today, of course, naturalists reject the influence of theism and prefer to do science on their terms. But as Robert Koons and Alvin Plantinga have argued, this is more difficult than is typically assumed. In particular, they argue, metaphysical naturalism is in conflict with several metatheoretic shaping principles, especially explanatory virtues such as simplicity and with scientific realism more broadly. These arguments will be discussed as well as possible responses. In the end, theism is able to provide justification for the philosophical foundations of science that naturalism cannot. (shrink)

Some hold that the lesson of Russell’s paradox and its relatives is that mathematical reality does not form a ‘definite totality’ but rather is ‘indefinitely extensible’. There can always be more sets than there ever are. I argue that certain contact puzzles are analogous to Russell’s paradox this way: they similarly motivate a vision of physical reality as iteratively generated. In this picture, the divisions of the continuum into smaller parts are ‘potential’ rather than ‘actual’. Besides the intrinsic interest of (...) this metaphysical picture, it has important consequences for the debate over absolute generality. It is often thought that ‘indefinite extensibility’ arguments at best make trouble for mathematical platonists; but the contact arguments show that nominalists face the same kind of difficulty, if they recognize even the metaphysical possibility of the picture I sketch. (shrink)