The authors develop an axiomatic theory of nonexistent objects and and give a formal semantics for the language of the theory.

Actualists who believe in possible worlds typically regard them as "abstract" objects of some special sort. For example, Alvin Plantinga takes worlds to be maximal possible states-of-affairs, all of which "exist", as actualism requires, but only one of which "obtains". Views like Plantinga's run into difficulty in the interpretation of statements of "iterated" modality, statements about what is "possible" for individuals that "could" exist but that do not actually exist. These statements seem to require the existence of "singular" states-Of-affairs that (...) have nonactual individuals as constituents, a requirement that is incompatible with actualism. One can try to avoid the troublesome singular states-of-affairs by introducing "unexemplified individual essences" and maintaining that these are the true constituents of the required states-of-affairs, rather than the nonactual possibles themselves. However, serious arguments are raised against this employment of individual essences. (shrink)

Recently Saul Kripke has drawn attention to a puzzle about belief and proper names, a puzzle of which philosophers have been aware for a long time, but which has never been completely resolved. Kripke gives a new, bilingual illustration of the puzzle:1 Pierre, while living in his native France, learns much about the city of London, which he calls ‘Londres,’ and comes to believe something which he would express in French with the words, ‘Londres est jolie.’ Using standard principle of (...) translation, it seems correct for us to say, ‘Pierre believes that London is pretty.’ Suppose however that Pierre learns English, travels to London, learns that the name of the city he is in is ‘London,’ and sincerely and comprehendingly asserts, ‘London is not pretty.’ On the basis of his assertion, it seems correct for us to say, ‘Pierre believes that London is not pretty.’ But suppose he does not realize that ‘Londres’ is also a name for the city he is in, so he retains the belief which he would express with the French words, ‘Londres est jolie.’ Then, by the same principles of translation as before, it seems that we are still justified in saying, ‘Pierre believes that London is pretty.’ But now we have attributed to Pierre contradictory beliefs, and that does not seem acceptable, since Pierre has committed no logical oversight.Kripke believes that this is the same puzzle as one that arises in older, monolingual examples, such as that used by Quine: suppose Tom believes that Cicero denounced Cataline. Since ‘Tully’ is another name for Cicero, it seems acceptable to paraphrase his belief and say, ‘Tom believes that Tully denounced Cataline.’ But suppose Tom does not realize that Cicero and Tully are the same person, and suppose, in fact, that he sincerely and comprehendingly asserts, ‘Tully did not denounce Cataline.’ Then it also seems acceptable to say, on the basis of Tom’s assertion, ‘Tom believes that Tully did not denounce Cataline.’ But now we have attributed to Tom contradictory beliefs, and, as in the Pierre example, that does not seem acceptable. (shrink)

Recently Saul Kripke has drawn attention to a puzzle about belief and proper names, a puzzle of which philosophers have been aware for a long time, but which has never been completely resolved. Kripke gives a new, bilingual illustration of the puzzle:1 Pierre, while living in his native France, learns much about the city of London, which he calls ‘Londres,’ and comes to believe something which he would express in French with the words, ‘Londres est jolie.’ Using standard principle of (...) translation, it seems correct for us to say, ‘Pierre believes that London is pretty.’ Suppose however that Pierre learns English, travels to London, learns that the name of the city he is in is ‘London,’ and sincerely and comprehendingly asserts, ‘London is not pretty.’ On the basis of his assertion, it seems correct for us to say, ‘Pierre believes that London is not pretty.’ But suppose he does not realize that ‘Londres’ is also a name for the city he is in, so he retains the belief which he would express with the French words, ‘Londres est jolie.’ Then, by the same principles of translation as before, it seems that we are still justified in saying, ‘Pierre believes that London is pretty.’ But now we have attributed to Pierre contradictory beliefs, and that does not seem acceptable, since Pierre has committed no logical oversight.Kripke believes that this is the same puzzle as one that arises in older, monolingual examples, such as that used by Quine: suppose Tom believes that Cicero denounced Cataline. Since ‘Tully’ is another name for Cicero, it seems acceptable to paraphrase his belief and say, ‘Tom believes that Tully denounced Cataline.’ But suppose Tom does not realize that Cicero and Tully are the same person, and suppose, in fact, that he sincerely and comprehendingly asserts, ‘Tully did not denounce Cataline.’ Then it also seems acceptable to say, on the basis of Tom’s assertion, ‘Tom believes that Tully did not denounce Cataline.’ But now we have attributed to Tom contradictory beliefs, and, as in the Pierre example, that does not seem acceptable. (shrink)

A frege-Russell cardinal number is a maximal class of equinumerous classes. Since anything can be numbered, A frege-Russell cardinal should contain classes whose members are cardinal numbers. This is not possible in standard set theories, Since it entails that some classes are members of members of themselves. However, A consistent set theory can be constructed in which such membership circles are allowed and in which, Consequently, Genuine frege-Russell cardinals can be defined.

The use of a concept called "explicativity", for (provisionally) accepting a theory or Hypothesis H, has previously been discussed. That previous discussion took into account the prior probability of H, and hence implicitly its theoretical simplicity. We here suggest that a modification of explicativity is required to allow for what may be called the pragmatic simplicity of H, that is, the simplicity of using H in applications as distinct from the simplicity of the description of H.

Co-published with the University of Queensland Press. HPC holds rights in North America and U. S. Dependencies. Since its first publication in 1976, Alan Chalmers's highly regarded and widely read work--translated into eighteen languages--has become a classic introduction to the scientific method, known for its accessibility to beginners and its value as a resource for advanced students and scholars. In addition to overall improvements and updates inspired by Chalmers's experience as a teacher, comments from his readers, and recent developments (...) in the field, this fourth edition features an extensive chapter-long postscript that draws on his research into the history of atomism to illustrate important themes in the philosophy of science. Identifying the qualitative difference between knowledge of atoms as it figures in contemporary science and metaphysical speculations about atoms common in philosophy since the time of Democritus offers a revealing and instructive way to address the question at the heart of this groundbreaking work: What is this thing called science? (shrink)

I propose to consider the question, "Can machines think?" This should begin with definitions of the meaning of the terms "machine" and "think." The definitions might be framed so as to reflect so far as possible the normal use of the words, but this attitude is dangerous, If the meaning of the words "machine" and "think" are to be found by examining how they are commonly used it is difficult to escape the conclusion that the meaning and the answer to (...) the question, "Can machines think?" is to be sought in a statistical survey such as a Gallup poll. But this is absurd. Instead of attempting such a definition I shall replace the question by another, which is closely related to it and is expressed in relatively unambiguous words. The new form of the problem can be described in terms of a game which we call the 'imitation game." It is played with three people, a man (A), a woman (B), and an interrogator (C) who may be of either sex. The interrogator stays in a room apart front the other two. The object of the game for the interrogator is to determine which of the other two is the man and which is the woman. He knows them by labels X and Y, and at the end of the game he says either "X is A and Y is B" or "X is B and Y is A." The interrogator is allowed to put questions to A and B. We now ask the question, "What will happen when a machine takes the part of A in this game?" Will the interrogator decide wrongly as often when the game is played like this as he does when the game is played between a man and a woman? These questions replace our original, "Can machines think?". (shrink)

Many explanations in science make use of mathematics. But are there cases where the mathematical component of a scientific explanation is explanatory in its own right? This issue of mathematical explanations in science has been for the most part neglected. I argue that there are genuine mathematical explanations in science, and present in some detail an example of such an explanation, taken from evolutionary biology, involving periodical cicadas. I also indicate how the answer to my title question impacts on broader (...) issues in the philosophy of mathematics; in particular it may help platonists respond to a recent challenge by Joseph Melia concerning the force of the Indispensability Argument. (shrink)

This Element offers a new account of the philosophical significance of logical empiricism that relies on the past forty years of literature reassessing the project. It argues that while logical empiricism was committed to empiricism and did become tied to the trajectory of analytic philosophy, neither empiricism nor logical analysis per se was the deepest philosophical commitment of logical empiricism. That commitment was, rather, securing the scientific status of philosophy, bringing philosophy into a scientific conception of the world.

Misunderstanding Science? offers a challenging new perspective on the public understanding of science. In so doing, it also challenges existing ideas of the nature of science and its relationships with society. Its analysis and case presentation are highly relevant to current concerns over the uptake, authority, and effectiveness of science as expressed, for example, in areas such as education, medical/health practice, risk and the environment, technological innovation. Based on several in-depth case-studies, and informed theoretically by the sociology of scientific knowledge, (...) the book shows how the public understanding of science questions raises issues of the epistemic commitments and institutional structures which constitute modern science. It suggests that many of the inadequacies in the social integration and uptake of science might be overcome if modern scientific institutions were more reflexive and open about the implicit normative commitments embedded in scientific cultures. (shrink)

We are all concerned by the environmental threats facing us today. Environmental issues are a major area of concern for policy makers, industrialists and public groups of many different kinds. While science seems central to our understanding of such threats, the statements of scientists are increasingly open to challenge in this area. Meanwhile, citizens may find themselves labelled as "ignorant" in environmental matters. In Citizen Science Alan Irwin provides a much needed route through the fraught relationship between science, the (...) public and the environmental threat. (shrink)

ABSTRACT: So far in this book, we have examined algorithmic decision systems from three autonomy-based perspectives: in terms of what we owe autonomous agents (chapters 3 and 4), in terms of the conditions required for people to act autonomously (chapters 5 and 6), and in terms of the responsibilities of agents (chapter 7). -/- In this chapter we turn to the ways in which autonomy underwrites democratic governance. Political authority, which is to say the ability of a government to exercise (...) power, may be justifiable or not. Whether it is justified and how it can come to be justified is a question of political legitimacy. Political legitimacy is another way in which autonomy and responsibility are linked. This relationship is the basis of the current chapter, and it is important in understanding the moral salience of algorithmic systems. We will draw the connection as follows. We begin, in section 8.1, by describing two uses of technology: crime predicting technology used to drive policing practices and social media technology used to influence elections (including by Cambridge Analytica and by the Internet Research Agency). In section 8.2 we consider several views of legitimacy and argue for a hybrid version of normative legitimacy based on one recently offered by Fabienne Peter. In section 8.3 we will explain that the connection between political legitimacy and autonomy is that legitimacy is grounded in legitimating processes, which are in turn based on autonomy. Algorithmic systems—among them PredPol and the Cambridge Analytica-Facebook-Internet Research Agency amalgam—can hinder that legitimation process and conflict with democratic legitimacy, as we argue in section 8.4. We will conclude by returning to several cases that serve as through-lines to the book: Loomis, Wagner, and Houston Schools. -/- The link below is to an open-access copy of the chapter. (shrink)

How might social theory, public understanding of science and science policy best inform one another? What have been the key features of science-society relations in the modern world? How are we to re-think science-society relations in the context of globalization, hybridity and changing patterns of governance? This topical and unique book draws together the three key perspectives on science-society relations: public understanding of science, scientific and public governance, and social theory. The book presents a series of case studies (including the (...) debates on genetically modified foods and the AIDS movement in the USA) to discuss critically the ways in which social theorists, social scientists, and science policy makers deal with science-society relations. ‘Science' and 'society' combine in many complex ways. Concepts such as citizenship, expertise, governance, democracy and the public need to be re-thought in the context of contemporary concerns with globalization and hybridity. A radical new approach is developed and the notion of ethno-epistemic assemblage is used to articulate a new series of questions for the theorization, empirical study and politics of science-society relations. (shrink)

In spite of a powerful tradition, more than two thousand years old, that in a valid argument the premises must be relevant to the conclusion, twentieth-century logicians neglected the concept of relevance until the publication of Volume I of this monumental work. Since that time relevance logic has achieved an important place in the field of philosophy: Volume II of Entailment brings to a conclusion a powerful and authoritative presentation of the subject by most of the top people working in (...) the area. Originally the aim of Volume II was simply to cover certain topics not treated in the first volume--quantification, for example--or to extend the coverage of certain topics, such as semantics. However, because of the technical progress that has occurred since the publication of the first volume, Volume II now includes other material. The book contains the work of Alasdair Urquhart, who has shown that the principal sentential systems of relevance logic are undecidable, and of Kit Fine, who has demonstrated that, although the first-order systems are incomplete with respect to the conjectured constant domain semantics, they are still complete with respect to a semantics based on "arbitrary objects." Also presented is important work by the other contributing authors, who are Daniel Cohen, Steven Giambrone, Dorothy L. Grover, Anil Gupta, Glen Helman, Errol P. Martin, Michael A. McRobbie, and Stuart Shapiro. Robert G. Wolf's bibliography of 3000 items is a valuable addition to the volume. (shrink)

Punishment -- Culpable mind -- Culpable action -- Responsibility for harm -- Liability for public welfare offences -- Justification -- Excuse -- Detention after acquittal -- The unity of the penal law.

I advocate a method that strives to interpret important historical figures in philosophy as presenting philosophical systems of thought. This kind of systematic interpretation, as I shall call it, begins with the supposition that the philosophy being interpreted is itself systematic. This sometimes requires recovering the obscured systematicity. Section I gives a positive characterization of systematic interpretations. Section II notes some of the special obstacles that these interpretations must overcome if they are to be successful. Section III gives a brief (...) sketch of how one might systematically approach Locke’s Essay Concerning Human Understanding. That text is a good test case because Locke professes systematicity, but historians have produced daunting arguments for the conclusion that the text fails to present a coherent system. (shrink)

Eleven leading contemporary French philosophers give here more or less direct presentations and exemplifications of their work. All the essays, with one exception, were specifically written for this volume and for an English-speaking readership - the exception is the first publication anywhere of Jacques Derrida's defence of his thèse d'e;tat in 1980, based on his published works. As a collection the essays convey the style, tone and preoccupations, as well as the range and diversity, of French philosophical thinking as it (...) is being practised today. They will stimulate and inform the rapidly growing interest in this area outside France. (shrink)

A comprehensive, systematic, and historical collection of essays on Rudolf Carnap's philosophy and legacy, written by leading international experts. This volume provides a redressing of Carnap's place in the history of analytic philosophy, through his approach to metaphysics, values, politics, epistemology and philosophy of science.

A conception of recognitional abilities and perceptual-discriminative abilities is deployed to make sense of how perceptual experiences enable us to make cognitive contact with objects and facts. It is argued that accepting the emerging view does not commit us to thinking that perceptual experiences are essentially relational, as they are conceived to be in disjunctivist theories. The discussion explores some implications for the theory of knowledge in general and, in particular, for the issue of how we can shed light on (...) the nature of knowledge is if we do not aim to provide conceptual analyses of knowledge in terms of true belief plus something else. Consideration is also given how we can best make sense of the practical value that knowledge has for us. (shrink)

Since its first publication in 1976, Alan Chalmers's highly regarded and widely read work--translated into eighteen languages--has become a classic introduction to the scientific method, known for its accessibility to beginners and its value as a resource for advanced students and scholars. -- Amazon.com.

The food regime concept is a key to unlock not only structured moments and transitions in the history of capitalist food relations, but also the history of capitalism itself. It is not about food per se, but about the relations within which food is produced, and through which capitalism is produced and reproduced. It provides, then, a fruitful perspective on the so-called ‘world food crisis’ of 2007–2008. This paper argues that the crisis stems from a long-term cycle of fossil-fuel dependence (...) of industrial capitalism, combined with the inflation-producing effects of current biofuel offsets and financial speculation, and the concentration and centralization of agribusiness capital stemming from the enabling conjunctural policies of the corporate food regime. Rising costs, related to peak oil and fuel crop substitutes, combine with monopoly pricing by agribusiness to inflate food prices, globally transmitted under the liberalized terms of finance and trade associated with neoliberal policies. (shrink)

This book aims to distil the essentials of liberal constitutionalism from the jurisprudence and practice of contemporary liberal-democratic states. Most constitutional theorists have despaired of a liberal consensus on the fundamental goals of constitutional order. Instead they have contented themselves either with agreement on lower-level principles on which those who disagree on fundamentals may coincidentally converge, or, alternatively with a process for translating fundamental disgreement into acceptable laws. Alan Brudner suggests a conception of fundamental justice that liberals of competing (...) philosophic schools may accept as fulfilling their own basic commitments. He argues that the model liberal-democratic constitution is best understood as a unity of three constitutional frameworks: libertarian, egalitarian, and communitarian. Each of these has a particular conception of public reason. Brudner criticizes each of these frameworks insofar as its organizing conception claims to be fundamental, and moves forward to suggest an Hegelian conception of public reason within which each framework is contained as a constituent element of a whole. When viewed in this light, the liberal constitution embodies a surprising synthesis. It reconciles a commitment to individual liberty and freedom of conscience with the perfectionist idea that the state ought to cultivate a type of personality whose fundamental ends are the goods essential to dignity. Such a reconciliation, the author suggests, may attract competing liberalisms to a consensus on an inclusive conception of public reason under which political authority is validated for those who share a confidence in the individual's inviolable worth. (shrink)

Algorithmic systems and predictive analytics play an increasingly important role in various aspects of modern life. Scholarship on the moral ramifications of such systems is in its early stages, and much of it focuses on bias and harm. This paper argues that in understanding the moral salience of algorithmic systems it is essential to understand the relation between algorithms, autonomy, and agency. We draw on several recent cases in criminal sentencing and K–12 teacher evaluation to outline four key ways in (...) which issues of agency, autonomy, and respect for persons can conflict with algorithmic decision-making. Three of these involve failures to treat individual agents with the respect they deserve. The fourth involves distancing oneself from a morally suspect action by attributing one’s decision to take that action to an algorithm, thereby laundering one’s agency. (shrink)

In the developmentalist era,industrialization has simultaneously transformedagriculture and degraded its natural and culturalbase. Food production and consumption embodies thecontradictory aspects of this transformation. Thispaper argues that the crisis of development hasgenerated two basic responses: (1) the attempt toredefine development as a global project, includingharnessing biotechnology to resolve the food securityquestion, and (2) a series of countermovementsattempting to simultaneously reassert the value oflocal, organic foods, and challenge the attempt on thepart of food corporations and national and globalinstitutions to subject the food (...) question to marketsolutions. It is proposed that the power of food liesin its material and symbolic functions of linkingnature, human survival, health, culture and livelihoodas a focus of resistance to corporate takeover of lifeitself. (shrink)

Providing an illuminating and informed introduction to central philosophical issues, concepts and perspectives in the core fields of metaphysics, epistemology and philosophical logic, the _Dictionary_ takes the most common terms and notions and clarifies what they mean to the philosopher and what sort of problems the philosopher finds associated with them. Thoroughly revised and updated, the bibliographies supply core reading lists, and each entry uses extensive cross referencing to related themes and concepts to provide a greater sense of access, control (...) and comprehension. The _Dictionary_ will also provide those working in proximate fields with an understanding of areas of overlapping interest, concepts of common applicability and the full range and diversity of philosophical analysis and insight. (shrink)

The first work to introduce Foucault's ideas on law to both graduates and undergraduates.

Confucian scholars express skepticism about rights. This skepticism is relevant to managers who face issues about the recognition of workplace rights in a Confucian culture. My essay examines the foundations of this skepticism, and the cogency of potential leading Western liberal responses to it. I conclude that Confucian skepticism is more formidable than liberals have recognized. I attempt to craft an argument that defuses Confucian skepticism about workplace rights while at the same time respecting the moral depth of Confucianism.

Around the world, agricultural landscapes are increasingly seen as “multi-functional” spaces, expected to deliver food supplies while improving rural livelihoods and protecting and restoring healthy ecosystems. To support this array of functions and benefits, governments and civil society in many regions are now promoting integrated farm- and landscape-scale management strategies, in lieu of fragmented management strategies. While rural producers are fundamental to achieving multi-functional landscapes, they are frequently viewed as targets of, or barriers to, landscape-oriented initiatives, rather than as leading (...) agents of change. In reality, however, rural producers in many areas have embraced elements of multi-functional land management. In this paper, we explore the role and recent evolution of producer movements in influencing multi-functional farm and landscape management. We explore these roles through six case studies, including a land reform movement in Brazil, indigenous territorial development in Bolivia, conservation agriculture associations in Canada, environmental cooperatives in the Netherlands, indigenous and biocultural heritage associations in Peru, and Landcare groups in the Philippines. These experiences suggest that producer movements are playing pivotal roles in supporting landscape multi-functionality, not only through agroecological farming practices but also through off-farm efforts to conserve ecosystems and support multi-stakeholder landscape planning. On the other hand, interests of producer movements are not always fully aligned with multi-functional landscape management approaches. The contribution of producer movements to multi-functional landscapes depends on these movements including farm and landscape stewardship in their values and goals, and having the political support and capacity to engage meaningfully in multi-stakeholder processes. (shrink)