A true Turing machine requires an infinitely long paper tape. Thus a TM can be housed in the infinite world of Newtonian spacetime, but not necessarily in our world, because our world-at least according to our best spacetime theory, general relativity-may be finite. All the same, one can argue for the "existence" of a TM on the basis that there is no such housing problem in some other relativistic worlds that are similar to our world. But curiously enough-and this is (...) the main point of this paper-some of these close worlds have a special spacetime structure that allows TMs to perform certain Turing unsolvable tasks. For example, in one kind of spacetime a TM can be used to solve first-order predicate logic and the halting problem. And in a more complicated spacetime, TMs can be used to decide arithmetic. These new computers serve to show that Church's thesis is a thoroughly contingent claim. Moreover, since these new computers share the fundamental properties of a TM in ordinary operation, a computability theory based on these non-Turing computers is no less worthy of investigation than orthodox computability theory. Some ideas about this new mathematical theory are given. (shrink)

A true Turing machine (TM) requires an infinitely long paper tape. Thus a TM can be housed in the infinite world of Newtonian spacetime (the spacetime of common sense), but not necessarily in our world, because our world-at least according to our best spacetime theory, general relativity-may be finite. All the same, one can argue for the "existence" of a TM on the basis that there is no such housing problem in some other relativistic worlds that are similar ("close") to (...) our world. But curiously enough-and this is the main point of this paper-some of these close worlds have a special spacetime structure that allows TMs to perform certain Turing unsolvable tasks. For example, in one kind of spacetime a TM can be used to solve first-order predicate logic and the halting problem. And in a more complicated spacetime, TMs can be used to decide arithmetic. These new computers serve to show that Church's thesis is a thoroughly contingent claim. Moreover, since these new computers share the fundamental properties of a TM in ordinary operation (e.g. intuitive, finitely programmed, limited in computational capability), a computability theory based on these non-Turing computers is no less worthy of investigation than orthodox computability theory. Some ideas about this new mathematical theory are given. (shrink)

Presented here is a new result concerning the computational power of so-called SADn computers, a class of Turing-machine-based computers that can perform some non-Turing computable feats by utilising the geometry of a particular kind of general relativistic spacetime. It is shown that SADn can decide n-quantifier arithmetic but not (n+1)-quantifier arithmetic, a result that reveals how neatly the SADn family maps into the Kleene arithmetical hierarchy. Introduction Axiomatising computers The power of SAD computers Remarks regarding the concept of computability.

This collection of articles on the theme of space and time covers such broad topics as the philosophy of spacetime, spacetime structure, spacetime ontology, the epistemology of geometry, and general relativity.

In his recent article On Relativity Theory and Openness of the Future (1991), Howard Stein proves not only that one can define an objective becoming relation in Minkowski spacetime, but that there is only one possible definition available if one accepts certain natural assumptions about what it is for becoming to occur and for it to be objective. Stein uses the definition supplied by his proof to refute an argument due to Rietdijk (1966, 1976), Putnam (1967) and Maxwell (1985, 1988) (...) that Minkowski spacetime leaves no room for objective becoming whatsoever. However, Stein's proof does not seem to go far enough. By considering only what events have become from the standpoint of any given event, Stein's uniqueness proof fails from the outset to allow for a more general kind of becoming whereby it is understood to occur from the standpoint of events on the particular worldlines followed by observers. This suggests that there may, after all, be more than one way to define objective becoming in Minkowski spacetime once each observer's worldline is allowed to figure in the definition. This suspicion is further aroused by two recent proposals for objective, worldline-dependent becoming due to Peacock (1992) and Muller (1992) who advocate ways of defining becoming that are not equivalent to the definition Stein's uniqueness proof delivers. Nevertheless, we show that Stein's uniqueness proofcan be extended in a natural way to cover this more general kind of becoming, provided one does not enrich standard Minkowski spacetime by privileging certain sets of worldlines over others in an unwarranted manner. Thus we aim to reinforce Stein's point that standard Minkowski spacetime does make room for objective becoming, but in essentially only one way, despite arguments and proposals to the contrary. (shrink)

Hume's Reception in Early America: Expanded Edition brings together the original American responses to one of Britain's greatest men of letters, David Hume. Now available as a single volume paperback, this new edition includes updated further readings suggestions and dozens of additional primary sources gathered together in a completely new concluding section. From complete pamphlets and booklets, to poems, reviews, and letters, to extracts from newspapers, religious magazines and literary and political journals, this book's contents come from a wide variety (...) of sources published in colonial America and the early United States between 1758 and 1850. As well as classics by Thomas Jefferson, John Adams and Alexander Hamilton, it contains scores of unknown and hard-to-locate items, many of which have not been reprinted since their original publication. These responses are divided into four parts covering Hume's Essays; his Philosophical Writings; his History of England; and his Character and Death. Each of those parts has a separate introductory essay, and every selection is introduced by a short headnote that sets the piece in its historical context and provides bibliographical references. Packed with new insights into Hume and American thought and culture, Hume's Reception in Early America reveals the relevance and impact of Hume on American political, philosophical, historical, religious, and aesthetic debates. (shrink)

Prologue, invitation to thinking about God In the Hebrew Bible? -- Part I, questions about God? -- Why does God in the Bible have a body? -- What do God's body parts in the Bible mean? -- Why is God angry in the Bible? -- Does God in the Bible have gender or sexuality? -- Part II, questions about God in the world? -- What can creation tell us about God? -- Who-or what-is the Satan? -- Why do people suffer (...) according to the Hebrew Bible? -- Epilogue, God in the Bible and beyond. (shrink)

This paper offers a new way to make sense of disagreement expansion from a polylogical perspective by incorporating various places in addition to players and positions into the analysis. The concepts build on prior implicit ideas about disagreement space by suggesting how to more fully account for argumentative context, and its construction, in large-scale complex controversies. As a basis for our polylogical analysis, we use a New York Times news story reporting on an oil train explosion—a significant point in the (...) broader controversy over producing oil and gas via hydraulic fracturing. (shrink)

A specific issue for argumentation theory is whether information and communication technologies play any role in governing argument — that is, as parties engage in practical activities across space and time via ICTs, does technology matter for the interplay of argumentative content and process in managing disagreement? The case made here is that technologies do matter because they are not merely conduits of communication but have a role in the pragmatics of communication and argumentation. In particular, ICTs should be recognized (...) as communication-information services that are delegated degrees of responsibility for managing disagreements arising from practical activities. These services are organized around practical theories for designing disagreement space. However, recognizing this relationship between argument and technology requires accounting for procedures, techniques, or rules and speech acts that are not argumentative propositions in any strict sense but that are consequential for what becomes argumentation in any setting. An account about designing disagreement space, grounded in Jackson and Jacobs’s theory of Disagreement Management, is put forward to address these issues while more generally contributing to understanding argument in context. (shrink)

It is time to bring the rich resources of these traditions into the contemporary debate about the nature of self. This volume is the first of its kind.

Fitting Attitudes accounts of value analogize or equate being good with being desirable, on the premise that ‘desirable’ means not, ‘able to be desired’, as Mill has been accused of mistakenly assuming, but ‘ought to be desired’, or something similar. The appeal of this idea is visible in the critical reaction to Mill, which generally goes along with his equation of ‘good’ with ‘desirable’ and only balks at the second step, and it crosses broad boundaries in terms of philosophers’ other (...) commitments. For example, Fitting Attitudes accounts play a central role both in T.M. Scanlon’s [1998] case against teleology, and in Michael Smith [2003], [unpublished] and Doug Portmore’s [2007] cases for it. And of course they have a long and distinguished history. (shrink)

Since the 1960s, many artists have incorporated ecological concerns into their work, an endeavor that has required new strategies in art-making. To explore recent American manifestations of these interests, the David and Alfred Smart Museum commissioned new projects from artists Mark Dion, Peter Fend, and Dan Peterman, each focusing on interrelationships between particular organisms—human beings-and a specific group of sites—a museum building, a river landscape, and a university campus. The results, exhibited at the Smart Museum during the summer of (...) 2000, evoke the varied scales, from the microscopic to the global, at which human actions affect the environment. This catalog documents each of the artists' projects through an array of images and words: Smart Museum Associate Curator Stephanie Smith provides an introduction and brief overviews of the three projects, each of the artists contribute statements, and photographers Susan Anderson and Tom van Eynde document—in over 100 images—the processes and projects that comprise the exhibition. (shrink)

A revelatory new theory of consciousness that returns emotions to the center of mental life. For Mark Solms, one of the boldest thinkers in contemporary neuroscience, discovering how consciousness comes about has been a lifetime's quest. Scientists consider it the "hard problem" because it seems an impossible task to understand why we feel a subjective sense of self and how it arises in the brain. Venturing into the elementary physics of life, Solms has now arrived at an astonishing answer. (...) In The Hidden Spring, he brings forward his discovery in accessible language and graspable analogies. Solms is a frank and fearless guide on an extraordinary voyage from the dawn of neuropsychology and psychoanalysis to the cutting edge of contemporary neuroscience, adhering to the medically provable. But he goes beyond other neuroscientists by paying close attention to the subjective experiences of hundreds of neurological patients, many of whom he treated, whose uncanny conversations expose much about the brain's obscure reaches. Most importantly, you will be able to recognize the workings of your own mind for what they really are, including every stray thought, pulse of emotion, and shift of attention. The Hidden Spring will profoundly alter your understanding of your own subjective experience. (shrink)

We usually consider literary thinking to be peripheral and dispensable, an activity for specialists: poets, prophets, lunatics, and babysitters. Certainly we do not think it is the basis of the mind. We think of stories and parables from Aesop's Fables or The Thousand and One Nights, for example, as exotic tales set in strange lands, with spectacular images, talking animals, and fantastic plots--wonderful entertainments, often insightful, but well removed from logic and science, and entirely foreign to the world of everyday (...) thought. But Mark Turner argues that this common wisdom is wrong. The literary mind--the mind of stories and parables--is not peripheral but basic to thought. Story is the central principle of our experience and knowledge. Parable--the projection of story to give meaning to new encounters--is the indispensable tool of everyday reason. Literary thought makes everyday thought possible. This book makes the revolutionary claim that the basic issue for cognitive science is the nature of literary thinking. In The Literary Mind, Turner ranges from the tools of modern linguistics, to the recent work of neuroscientists such as Antonio Damasio and Gerald Edelman, to literary masterpieces by Homer, Dante, Shakespeare, and Proust, as he explains how story and projection--and their powerful combination in parable--are fundamental to everyday thought. In simple and traditional English, he reveals how we use parable to understand space and time, to grasp what it means to be located in space and time, and to conceive of ourselves, other selves, other lives, and other viewpoints. He explains the role of parable in reasoning, in categorizing, and in solving problems. He develops a powerful model of conceptual construction and, in a far-reaching final chapter, extends it to a new conception of the origin of language that contradicts proposals by such thinkers as Noam Chomsky and Steven Pinker. Turner argues that story, projection, and parable precede grammar, that language follows from these mental capacities as a consequence. Language, he concludes, is the child of the literary mind. Offering major revisions to our understanding of thought, conceptual activity, and the origin and nature of language, The Literary Mind presents a unified theory of central problems in cognitive science, linguistics, neuroscience, psychology, and philosophy. It gives new and unexpected answers to classic questions about knowledge, creativity, understanding, reason, and invention. (shrink)

It is argued here that large-scale organization and networked computing enable new divisions of communicative work aimed at shaping the content, direction, and outcomes of societal conversations. The challenge for argumentation theory and practice lies in attending to these new divisions of communicative work in constituting contemporary argumentative realities. Goffman’s conceptualization of participation frameworks and production formats are applied to articulate the communicative work of organizations afforded by networked computing that invents and innovates argument in all of its senses—as product, (...) process, and procedure. Communicative work, however, may be scaffolding argumentative contexts and practices that are quite different than what has constituted past argumentative realities. The computerization of argument happens as organizations invent and innovate argument practice relative to the demands and opportunities of interorganizational communication. The cases and examples examined here suggest that argument practice is evolving around the logic of conversation and the principle of personalization. The analysis challenges argumentation theory to seriously engage with the construction of communicative contexts and the realization of ideas about disagreement management in organizational practice and information infrastructures. Directions for integrating insights from a design perspective on argument with insights from organizational and information systems theory are proposed for coming to terms with an era of large-scale organization and computerization, in particular the evolution of argument practice, the inscription of argument in the built environment, and the absorption of socio-cultural argument practices by organizations and computation. (shrink)

Batterman and Rice ([2014]) argue that minimal models possess explanatory power that cannot be captured by what they call ‘common features’ approaches to explanation. Minimal models are explanatory, according to Batterman and Rice, not in virtue of accurately representing relevant features, but in virtue of answering three questions that provide a ‘story about why large classes of features are irrelevant to the explanandum phenomenon’ ([2014], p. 356). In this article, I argue, first, that a method (the renormalization group) they propose (...) to answer the three questions cannot answer them, at least not by itself. Second, I argue that answers to the three questions are unnecessary to account for the explanatoriness of their minimal models. Finally, I argue that a common features account, what I call the ‘generalized ontic conception of explanation’, can capture the explanatoriness of minimal models. (shrink)

This study examines the role of corporate philanthropy in the management of reputation risk and shareholder value of the top 100 ASX listed Australian firms for the 3 years 2011–2013. The results of this study demonstrate the business case for corporate philanthropy and hence encourage corporate philanthropy by showing increasing firms’ investment in corporate giving as a percentage of profit before tax, increases the likelihood of an increase in shareholder value. However, the proviso is that firms must also manage their (...) reputation risk at the same time. There is a negative association between corporate giving and shareholder value which is mitigated by firms’ management of reputation. The economic significance of this result is that for every cent in the dollar the firm spends on corporate giving, Tobin’s Q will decrease by 0.413 %. In contrast, if the firm increase their reputation by 1 point then Tobin’s Q will increase by 0.267 %. Consequently, the interaction of corporate giving and reputation risk management is positively associated with shareholder value. These results are robust while controlling for potential endogeneity and reverse causality. This paper assists both academics and practitioners by demonstrating that the benefits of corporate philanthropy extend beyond a gesture to improve reputation or an attempt to increase financial performance, to a direct collaboration between all the factors where the benefits far outweigh the costs. (shrink)

Philosophers have tended to construe friendship as an intimate relationship involving mutual love, and have focused their discussions on this ‘true’ form of friendship. However, everyone recognizes that we use the word ‘friend’ and its cognates to refer, non-ironically, to those with whom we share various relationships that are not terribly intimate or which do not involve mutual love. I argue that there exists no general reason to restrict our philosophical focus to ‘true’ friendships, and allege that we can gain (...) important insights if we broaden our perspective to include lesser friends. I contend that friendships, in the broad sense (encompassing both ‘true’ and lesser forms), are necessarily relationships that are the product of significant collaborative norm manipulation. And I argue that understanding friendship in this way helps explain important features, including the difference between friendships and familiar relations, the non-fungibility of friends, and why friendships are often in flux. (shrink)

Bringing together the latest scientific advances and some of the most enduring subtle philosophical puzzles and problems, this book collects original historical and contemporary sources to explore the wide range of issues surrounding the nature of life. Selections ranging from Aristotle and Descartes to Sagan and Dawkins are organised around four broad themes covering classical discussions of life, the origins and extent of natural life, contemporary artificial life creations and the definition and meaning of 'life' in its most general form. (...) Each section is preceded by an extensive introduction connecting the various ideas discussed in individual chapters and providing helpful background material for understanding them. With its interdisciplinary perspective, this fascinating collection is essential reading for scientists and philosophers interested in astrobiology, synthetic biology and the philosophy of life. (shrink)

An account of distinctively mathematical explanation (DME) should satisfy three desiderata: it should account for the modal import of some DMEs; it should distinguish uses of mathematics in explanation that are distinctively mathematical from those that are not (Baron [2016]); and it should also account for the directionality of DMEs (Craver and Povich [2017]). Baron’s (forthcoming) deductive-mathematical account, because it is modelled on the deductive-nomological account, is unlikely to satisfy these desiderata. I provide a counterfactual account of DME, the Narrow (...) Ontic Counterfactual Account (NOCA), that can satisfy all three desiderata. NOCA appeals to ontic considerations to account for explanatory asymmetry and ground the relevant counterfactuals. NOCA provides a unification of the causal and the non-causal, the ontic and the modal, by identifying a common core that all explanations share and in virtue of which they are explanatory. (shrink)

For years now, unionization has been under vigorous attack. Membership has been steadily declining, and with it union bargaining power. As a result, unions may soon lose their ability to protect workers from economic and personal abuse, as well as their significance as a political force. In the Name of Liberty responds to this worrying state of affairs by presenting a new argument for unionization, one that derives an argument for universal unionization in both the private and public sector from (...) concepts of liberty that we already accept. In short, In the Name of Liberty reclaims the argument for liberty from the political right, and shows how liberty not only requires the unionization of every workplace as a matter of background justice, but also supports a wide variety of other progressive policies. (shrink)

The effectiveness of decision rules depends on characteristics of both rules and environments. A theoretical analysis of environments specifies the relative predictive accuracies of the “take-the-best” heuristic (TTB) and other simple strategies for choices between two outcomes based on binary cues. We identify three factors: how cues are weighted; characteristics of choice sets; and error. In the absence of error and for cases involving from three to five binary cues, TTB is effective across many environments. However, hybrids of equal weights (...) (EW) and TTB models are more effective as environments become more compensatory. As error in the environment increases, the predictive ability of all models is systematically degraded. Indeed, using the datasets of Gigerenzer et al. (1999, Simple Heuristics That Make Us Smart, New York: Oxford University Press), TTB and similar models do not predict much better than a naïve model that exploits dominance. Finally, we emphasize that the results reported here are conditional on binary cues. (shrink)

Lange argues that some natural phenomena can be explained by appeal to mathematical, rather than natural, facts. In these “distinctively mathematical” explanations, the core explanatory facts are either modally stronger than facts about ordinary causal law or understood to be constitutive of the physical task or arrangement at issue. Craver and Povich argue that Lange’s account of DME fails to exclude certain “reversals”. Lange has replied that his account can avoid these directionality charges. Specifically, Lange argues that in legitimate DMEs, (...) but not in their “reversals,” the empirical fact appealed to in the explanation is “understood to be constitutive of the physical task or arrangement at issue” in the explanandum. I argue that Lange’s reply is unsatisfactory because it leaves the crucial notion of being “understood to be constitutive of the physical task or arrangement” obscure in ways that fail to block “reversals” except by an apparent ad hoc stipulation or by abandoning the reliance on understanding and instead accepting a strong realism about essence. (shrink)

This book provides a systematic treatment of Locke's theory of probable assent. It shows how the theory applies to Locke's philosophy of science, moral epistemology, and religious epistemology. There is a powerful case to be made that the most important dimension of Locke's philosophy is his theory of rational probable assent, rather than his theory of knowledge. According to Locke, we largely live our lives in the "twilight of probability" rather than in "the sunshine of certain knowledge". Locke's theory of (...) probable assent is towering insofar as it contains a wealth of novel, independently interesting, and prescient elements that precede the modern field of formal epistemology. In this book, the author argues for the central role of probable assent in Locke's philosophy. Locke's theory of probable assent is based on an epistemic modesty that claims, roughly, that our cognitive abilities are quite limited and that we ought to carry ourselves in believing with due caution. This modesty motivates the author's discussion of other aspects of Locke's epistemology, notably his principle of proportionality, his doxastic involuntarism, his epistemological pragmatism, and his theory of testimony. The book concludes by connecting the theory of probable assent with Locke's views on the limits of science, moral epistemology, and the rationality of faith. Locke's Twilight of Probability will appeal to scholars and advanced students working on Locke and the history of early modern philosophy. (shrink)

forthcoming in reisner and steglich-peterson, eds., Reasons for Belief If I believe, for no good reason, that P and I infer (correctly) from this that Q, I don’t think we want to say that I ‘have’ P as evidence for Q. Only things that I believe (or could believe) rationally, or perhaps, with justification, count as part of the evidence that I have. It seems to me that this is a good reason to include an epistemic acceptability constraint on evidence (...) possessed…1 It is a truism that adopting an unjustified belief does not put you in a better evidential position with respect to believing its consequences. This truism has led many philosophers to assume that there must, at a minimum, be a justification condition (and perhaps even a knowledge condition) on what it takes to count as having evidence. This is the best (or only) possible explanation of the truism, these philosophers have believed. This paper explores an alternative explanation for the truism. According to the alternative explanation that I will offer, unjustified beliefs do not put you in a better evidential position with respect to believing their consequences because any evidence you have in virtue of having an unjustified belief is guaranteed to be defeated. Since the lack of justification for a belief guarantees its defeat, I will suggest, we don't need to postulate a special justification condition (much less a knowledge condition) on what it takes to count as having evidence. Why is this important? It is important because the assumption that there must be a justification condition (or perhaps a knowledge condition) on what it takes to count as having evidence places a high bar on what it takes to have evidence - such a high bar that it is difficult to see how this bar could be met in the case of basic, perceptually justified beliefs. As a result, the high bar set by this condition plays a fundamental role, I will claim, in central features of a core dialectic from the epistemology of basic perceptual belief which plays a central role in the debates between internalism and externalism, foundationalism and coherentism, and rationalism and empiricism.. (shrink)

Doxastic voluntarism is the thesis that our beliefs are subject to voluntary control. While there’s some controversy as to what “voluntary control” amounts to (see 1.2), it’s often understood as direct control: the ability to bring about a state of affairs “just like that,” without having to do anything else. Most of us have direct control over, for instance, bringing to mind an image of a pine tree. Can one, in like fashion, voluntarily bring it about that one believes a (...) specific proposition? Doxastic voluntarists hold that, at least in some circumstances—such as when the evidence is ambiguous—we can. Doxastic involuntarists, in contrast, maintain that we cannot. Some involuntarists hold that the concept of belief itself precludes the possibility of believing voluntarily. Others hold that the impossibility of voluntary belief is a contingent psychological fact. Historically, the issue of doxastic voluntarism has been connected to how many think about religious commitment: a prominent view of faith is that it is a voluntary decision to believe. Furthermore, the issue of voluntarism has also been viewed as having bearing on fundamental questions in epistemology. For example, are epistemic norms duties to believe in certain ways? Are there practical or moral reasons to believe? If the answer to either question is “yes,” it seems some measure of voluntary doxastic control is required. -/- In section 1, we expand on the definition of doxastic voluntarism, and survey various kinds of control (e.g. direct, indirect, long-range) and the doxastic attitudes we might control (e.g. outright belief, withholding, credences). In section 2, we discuss a number of historical views on doxastic voluntarism. In section 3, we survey motivations for rejecting doxastic voluntarism. There are two general strategies: arguments that appeal to psychological considerations, and conceptual arguments regarding the nature of belief. In section 4, we survey five approaches to defending voluntarism: those that appeal to epistemic permissivism, doxastic compatibilism, skepticism, one-off considerations, and non-standard views of belief. In section 5, we cover empirical work on doxastic voluntarism. The last two sections discuss two implications of voluntarism. In section 6, we discuss voluntarism’s implications for the ethics of belief, and in section 7, we discuss issues at the intersection of voluntarism and religious faith. (shrink)

The ambiguity theory of “knows” is the view that knows and its cognates have more than one propositional sense—i.e., more than one sense that can properly be used in “knows that” etc. constructions. The ambiguity theory of “know” has received relatively little attention as an account of the truth-conditions for knowledge ascriptions and denials—especially compared to views like classical, moderate invariantism and epistemic contextualism. In this paper, it is argued that the ambiguity theory of knows has an advantage over both (...) classical, moderate invariantism and epistemic contextualism. This advantage is that it is the only one of these views that can account for “diverging knowledge responses without inconsistency” —i.e., cases in which, for the same subject S and proposition p, one and the same speaker says truly “S knows p” but instead could have truly said “S does not know p” and vice versa. This paper argues both for the existence of DRWI scenarios and the ability of the ambiguity theory of knows to best explain their existence. (shrink)

This book is a philosophical study of the relations between hearing and thinking about music. The central problem it addresses is as follows: how is it possible to talk about what a listener perceives in terms that the listener does not recognize? By applying the concepts and techniques of analytic philosophy the author explores the ways in which musical hearing may be described as nonconceptual, and how such mental representation contrasts with conceptual thought. The author is both philosopher and musicologist (...) and uniquely combines the perspectives of both disciplines. Exploring the philosophical questions of mental representation in the relatively neglected, nonverbal domain of music, this study is a major contribution to the philosophical understanding of music perception and cognitive theory. (shrink)