Observers inspected normal, high quality color displays of everyday visual scenes while their eye movements were recorded. A large display change occurred each time an eye blink occurred. Display changes could either involve "Central Interest" or "Marginal Interest" locations, as determined from descriptions obtained from independent judges in a prior pilot experiment. Visual salience, as determined by luminance, color, and position of the Central and Marginal interest changes were equalized. -/- The results obtained were very similar to those obtained in (...) prior experiments showing failure to detect changes occurring simultaneously with saccades, flicker, or “mudsplashes” in the visual scene: Many changes were very hard to detect, and Marginal Interest changes were harder to detect than Central Interest changes. -/- Analysis of eye movements showed, as expected, that the probability of detecting a change depended on the eye’s distance from the change location. However a surprising finding was that both for Central and Marginal Interest changes, evenwhen observers were directly fixating the change locations (within 1 degree),more than 40% of the time they still failed to see the changes. It seems that looking at something does not guarantee you “ see” it. (shrink)

When looking at a scene, observers feel that they see its entire structure in great detail and can immediately notice any changes in it. However, when brief blank fields are placed between alternating displays of an original and a modified scene, a striking failure of perception is induced: identification of changes becomes extremely difficult, even when changes are large and made repeatedly. Identification is much faster when a verbal cue is provided, showing that poor visibility is not the cause of (...) this difficulty. Identification is also faster for objects mentioned in brief verbal descriptions of the scene. These results support the idea that observers never form a complete, detailed representation of their surroundings. In addition, results also indicate that attention is required to perceive change, and that in the absence of localized motion signals it is guided on the basis of high-level interest. (shrink)

The Ontology for Biomedical Investigations (OBI) is an ontology that provides terms with precisely defined meanings to describe all aspects of how investigations in the biological and medical domains are conducted. OBI re-uses ontologies that provide a representation of biomedical knowledge from the Open Biological and Biomedical Ontologies (OBO) project and adds the ability to describe how this knowledge was derived. We here describe the state of OBI and several applications that are using it, such as adding semantic expressivity to (...) existing databases, building data entry forms, and enabling interoperability between knowledge resources. OBI covers all phases of the investigation process, such as planning, execution and reporting. It represents information and material entities that participate in these processes, as well as roles and functions. Prior to OBI, it was not possible to use a single internally consistent resource that could be applied to multiple types of experiments for these applications. OBI has made this possible by creating terms for entities involved in biological and medical investigations and by importing parts of other biomedical ontologies such as GO, Chemical Entities of Biological Interest (ChEBI) and Phenotype Attribute and Trait Ontology (PATO) without altering their meaning. OBI is being used in a wide range of projects covering genomics, multi-omics, immunology, and catalogs of services. OBI has also spawned other ontologies (Information Artifact Ontology) and methods for importing parts of ontologies (Minimum information to reference an external ontology term (MIREOT)). The OBI project is an open cross-disciplinary collaborative effort, encompassing multiple research communities from around the globe. To date, OBI has created 2366 classes and 40 relations along with textual and formal definitions. The OBI Consortium maintains a web resource providing details on the people, policies, and issues being addressed in association with OBI. (shrink)

When brief blank fields are placed between alternating displays of an original and a modified scene, a striking failure of perception is induced: the changes become extremely difficult to notice, even when they are large, presented repeatedly, and the observer expects them to occur (Rensink, O'Regan, & Clark, 1997). To determine the mechanisms behind this induced "change blindness", four experiments examine its dependence on initial preview and on the nature of the interruptions used. Results support the proposal that representations at (...) the early stages of visual processing are highly volatile, and that focused attention is needed to stabilize them sufficiently to support the perception of change. (shrink)

James Woodward’s Making Things Happen presents the most fully developed version of a manipulability theory of causation. Although the ‘interventionist’account of causation that Woodward defends in Making Things Happen has many admirable qualities, Michael Strevens argues that it has a fatal flaw. Strevens maintains that Woodward’s interventionist account of causation renders facts about causation relative to an individual’s perspective. In response to this charge, Woodward claims that although on his account X might be a relativized cause of Y relative (...) to some perspective, this does not lead to the problematic relativity that Strevens claims. Roughly, Woodward argues this is so because if X is a relativized cause of Y with respect to some perspective, then X is a cause of Y simpliciter. So, the truth of whether X is a cause of Y is not relative to one’s perspective. Strevens counters by arguing that Woodward’s response fails because relativized causation is not monotonic. In this paper I argue that Strevens’ argument that relativized causation is not monotonic is unsound. (shrink)

At the turn of the century, Russell, Husserl and Couturat singled out Leibniz the logician as an important precursor of the way they thought philosophy should be done. Like their most gifted contemporaries they conceived of philosophy as essentially argumentative and - as Russell put it in a 1911 talk in French - analytic. Unsurprisingly, the search for the best arguments and analyses meant that good philosophy was cosmopolitan. William James and Ernst Mach were read everywhere. James studied (...) Mach and the pupils of Brentano, whom Stout introduced to Cambridge. Moore recognised the deep kinship between his work on ethics and that of Brentano. Russell was influenced by Peano, used and criticised Meinong and was attacked by Poincaré. Pragmatism was subjected to a series of criticisms by realists in German and in English but gradually began to win adherents, for example in Italy, where Vailati and Calderoni introduced both pragmatism and Austrian philosophy of mind. (shrink)

Serious actualism is the view that it is metaphysically impossible for an entity to have a property, or stand in a relation, and not exist. Fine (1985) and Pollock (1985) influentially argue that this view is false. In short, there are properties like the property of nonexistence, and it is metaphysically possible that some entity both exemplifies such a property and does not exist. I argue that such arguments are indeed successful against the standard formulation of serious actualism. However, I (...) also argue that we should distinguish a weaker formulation of serious actualism using the actualist distinction between truth in, and truth at, a possible world. This weaker formulation is then shown to be consistent with the existence and possible exemplification of properties like the property of nonexistence. I end with a novel argument for the truth of the weaker formulation. (shrink)

Subject-sensitive invariantism posits surprising connections between a person’s knowledge and features of her environment that are not paradigmatically epistemic features. But which features of a person’s environment have this distinctive connection to knowledge? Traditional defenses of subject-sensitive invariantism emphasize features that matter to the subject of the knowledge-attribution. Call this pragmatic encroachment. A more radical thesis usually goes ignored: knowledge is sensitive to moral facts, whether or not those moral facts matter to the subject. Call this moral encroachment. This paper (...) argues that, insofar as there are good arguments for pragmatic encroachment, there are also good arguments for moral encroachment. (shrink)

According to the view that there is moral encroachment in epistemology, whether a person has knowledge of p sometimes depends on moral considerations, including moral considerations that do not bear on the truth or likelihood of p. Defenders of moral encroachment face a central challenge: they must explain why the moral considerations they cite, unlike moral bribes for belief, are reasons of the right kind for belief (or withheld belief). This paper distinguishes between a moderate and a radical version of (...) moral encroachment. It shows that, while defenders of moderate moral encroachment are well-placed to meet the central challenge, defenders of radical moral encroachment are not. The problem for radical moral encroachment is that it cannot, without taking on unacceptable costs, forge the right sort of connection between the moral badness of a belief and that belief’s chance of being false. (shrink)

Can new technology enhance purpose-driven, democratic dialogue in groups, governments, and societies? Online Deliberation: Design, Research, and Practice is the first book that attempts to sample the full range of work on online deliberation, forging new connections between academic research, technology designers, and practitioners. Since some of the most exciting innovations have occurred outside of traditional institutions, and those involved have often worked in relative isolation from each other, work in this growing field has often failed to reflect the full (...) set of perspectives on online deliberation. This volume is aimed at those working at the crossroads of information/communication technology and social science, and documents early findings in, and perspectives on, this new field by many of its pioneers. -/- CONTENTS: -/- Introduction: The Blossoming Field of Online Deliberation (Todd Davies, pp. 1-19) -/- Part I - Prospects for Online Civic Engagement -/- Chapter 1: Virtual Public Consultation: Prospects for Internet Deliberative Democracy (James S. Fishkin, pp. 23-35) -/- Chapter 2: Citizens Deliberating Online: Theory and Some Evidence (Vincent Price, pp. 37-58) -/- Chapter 3: Can Online Deliberation Improve Politics? Scientific Foundations for Success (Arthur Lupia, pp. 59-69) -/- Chapter 4: Deliberative Democracy, Online Discussion, and Project PICOLA (Public Informed Citizen Online Assembly) (Robert Cavalier with Miso Kim and Zachary Sam Zaiss, pp. 71-79) -/- Part II - Online Dialogue in the Wild -/- Chapter 5: Friends, Foes, and Fringe: Norms and Structure in Political Discussion Networks (John Kelly, Danyel Fisher, and Marc Smith, pp. 83-93) -/- Chapter 6: Searching the Net for Differences of Opinion (Warren Sack, John Kelly, and Michael Dale, pp. 95-104) -/- Chapter 7: Happy Accidents: Deliberation and Online Exposure to Opposing Views (Azi Lev-On and Bernard Manin, pp. 105-122) -/- Chapter 8: Rethinking Local Conversations on the Web (Sameer Ahuja, Manuel Pérez-Quiñones, and Andrea Kavanaugh, pp. 123-129) -/- Part III - Online Public Consultation -/- Chapter 9: Deliberation in E-Rulemaking? The Problem of Mass Participation (David Schlosberg, Steve Zavestoski, and Stuart Shulman, pp. 133-148) -/- Chapter 10: Turning GOLD into EPG: Lessons from Low-Tech Democratic Experimentalism for Electronic Rulemaking and Other Ventures in Cyberdemocracy (Peter M. Shane, pp. 149-162) -/- Chapter 11: Baudrillard and the Virtual Cow: Simulation Games and Citizen Participation (Hélène Michel and Dominique Kreziak, pp. 163-166) -/- Chapter 12: Using Web-Based Group Support Systems to Enhance Procedural Fairness in Administrative Decision Making in South Africa (Hossana Twinomurinzi and Jackie Phahlamohlaka, pp. 167-169) -/- Chapter 13: Citizen Participation Is Critical: An Example from Sweden (Tomas Ohlin, pp. 171-173) -/- Part IV - Online Deliberation in Organizations -/- Chapter 14: Online Deliberation in the Government of Canada: Organizing the Back Office (Elisabeth Richard, pp. 177-191) -/- Chapter 15: Political Action and Organization Building: An Internet-Based Engagement Model (Mark Cooper, pp. 193-202) -/- Chapter 16: Wiki Collaboration Within Political Parties: Benefits and Challenges (Kate Raynes-Goldie and David Fono, pp. 203-205) -/- Chapter 17: Debian’s Democracy (Gunnar Ristroph, pp. 207-211) -/- Chapter 18: Software Support for Face-to-Face Parliamentary Procedure (Dana Dahlstrom and Bayle Shanks, pp. 213-220) -/- Part V - Online Facilitation -/- Chapter 19: Deliberation on the Net: Lessons from a Field Experiment (June Woong Rhee and Eun-mee Kim, pp. 223-232) -/- Chapter 20: The Role of the Moderator: Problems and Possibilities for Government-Run Online Discussion Forums (Scott Wright, pp. 233-242) -/- Chapter 21: Silencing the Clatter: Removing Anonymity from a Corporate Online Community (Gilly Leshed, pp. 243-251) -/- Chapter 22: Facilitation and Inclusive Deliberation (Matthias Trénel, pp. 253-257) -/- Chapter 23: Rethinking the ‘Informed’ Participant: Precautions and Recommendations for the Design of Online Deliberation (Kevin S. Ramsey and Matthew W. Wilson, pp. 259-267) -/- Chapter 24: PerlNomic: Rule Making and Enforcement in Digital Shared Spaces (Mark E. Phair and Adam Bliss, pp. 269-271) -/- Part VI - Design of Deliberation Tools -/- Chapter 25: An Online Environment for Democratic Deliberation: Motivations, Principles, and Design (Todd Davies, Brendan O’Connor, Alex Cochran, Jonathan J. Effrat, Andrew Parker, Benjamin Newman, and Aaron Tam, pp. 275-292) -/- Chapter 26: Online Civic Deliberation with E-Liberate (Douglas Schuler, pp. 293-302) -/- Chapter 27: Parliament: A Module for Parliamentary Procedure Software (Bayle Shanks and Dana Dahlstrom, pp. 303-307) -/- Chapter 28: Decision Structure: A New Approach to Three Problems in Deliberation (Raymond J. Pingree, pp. 309-316) -/- Chapter 29: Design Requirements of Argument Mapping Software for Teaching Deliberation (Matthew W. Easterday, Jordan S. Kanarek, and Maralee Harrell, pp. 317-323) -/- Chapter 30: Email-Embedded Voting with eVote/Clerk (Marilyn Davis, pp. 325-327) -/- Epilogue: Understanding Diversity in the Field of Online Deliberation (Seeta Peña Gangadharan, pp. 329-358). -/- For individual chapter downloads, go to odbook.stanford.edu. (shrink)

An Aristotelian Philosophy of Mathematics breaks the impasse between Platonist and nominalist views of mathematics. Neither a study of abstract objects nor a mere language or logic, mathematics is a science of real aspects of the world as much as biology is. For the first time, a philosophy of mathematics puts applied mathematics at the centre. Quantitative aspects of the world such as ratios of heights, and structural ones such as symmetry and continuity, are parts of the physical world and (...) are objects of mathematics. Though some mathematical structures such as infinities may be too big to be realized in fact, all of them are capable of being realized. Informed by the author's background in both philosophy and mathematics, but keeping to simple examples, the book shows how infant perception of patterns is extended by visualization and proof to the vast edifice of modern pure and applied mathematical knowledge. (shrink)

Contributors: -/- John Beatty (British Columbia); Kelly James Clark (Ibn Haldun, Istanbul); Angela Coventry (Portland State); Thomas Holden (UC Santa Barbara); Willem Lemmens (Antwerp); Robin Le Poidevin (Leeds); Jennifer Marusic (Edinburgh); Kevin Meeker (South Alabama); Amyas Merivale (Oxford); Peter Millican (Oxford); Dan O’Brien (Oxford Brookes); Graham Oppy (Monash); Paul Russell (Lund); Andre C. Willis (Brown).

Mathematicians often speak of conjectures as being confirmed by evidence that falls short of proof. For their own conjectures, evidence justifies further work in looking for a proof. Those conjectures of mathematics that have long resisted proof, such as the Riemann hypothesis, have had to be considered in terms of the evidence for and against them. In recent decades, massive increases in computer power have permitted the gathering of huge amounts of numerical evidence, both for conjectures in pure mathematics and (...) for the behavior of complex applied mathematical models and statistical algorithms. Mathematics has therefore become (among other things) an experimental science (though that has not diminished the importance of proof in the traditional style). We examine how the evaluation of evidence for conjectures works in mathematical practice. We explain the (objective) Bayesian view of probability, which gives a theoretical framework for unifying evidence evaluation in science and law as well as in mathematics. Numerical evidence in mathematics is related to the problem of induction; the occurrence of straightforward inductive reasoning in the purely logical material of pure mathematics casts light on the nature of induction as well as of mathematical reasoning. (shrink)

The alienation constraint on theories of well-being has been influentially expressed thus: 'what is intrinsically valuable for a person must have a connection with what he would find in some degree compelling or attractive …. It would be an intolerably alienated conception of someone’s good to imagine that it might fail in any such way to engage him' (Railton 1986: 9). Many agree this claim expresses something true, but there is little consensus on how exactly the constraint is to be (...) understood. Here, I clarify the sense in which the quote offers a basic constraint on theories of well-being—a constraint that should be adopted by (e.g.) hedonists, desire satisfactionists, and objective list theorists alike. This constraint focuses on affective engagement, or positive affective stances in connection with a proposed good. I show that the constraint explains a near-universal intuition, and rules out a number of well-known theories of well-being. (shrink)

This paper argues for the diversification of university-level philosophy curricula. I defend the ideal of expansionist pluralism and connect it to metaphilosophical myopia – problematically limited or constrained visions of the range of forms taken by philosophy. Expansively pluralist curricula work to challenge metaphilosophical myopia and one of its costs, namely, a specific kind of hermeneutical injustice, perpetrated against the communities and traditions shaped by the occluded forms of philosophy.

A polemical account of Australian philosophy up to 2003, emphasising its unique aspects (such as commitment to realism) and the connections between philosophers' views and their lives. Topics include early idealism, the dominance of John Anderson in Sydney, the Orr case, Catholic scholasticism, Melbourne Wittgensteinianism, philosophy of science, the Sydney disturbances of the 1970s, Francofeminism, environmental philosophy, the philosophy of law and Mabo, ethics and Peter Singer. Realist theories especially praised are David Armstrong's on universals, David Stove's on logical probability (...) and the ethical realism of Rai Gaita and Catholic philosophers. In addition to strict philosophy, the book treats non-religious moral traditions to train virtue, such as Freemasonry, civics education and the Greek and Roman classics. (shrink)

Call the following claim Asymmetry: rationality often requires a more steadfast response to pure moral disagreement than it does to otherwise analogous non-moral disagreement. This paper briefly motivates Asymmetry and explores its implications for meta-ethics. Some philosophers have thought that anti-realists are better-placed than realists to explain Asymmetry because, if anti-realism is true, disagreement cannot provide evidence against the reliability of one's thinking about objective moral facts. This paper argues that this simple diagnosis fails to support otherwise plausible anti-realisms. It (...) closes by discussing an alternative explanation for Asymmetry, which appeals to the moral importance of steadfastness. (shrink)

This essay provides a novel argument for impurism, the view that certain non-truth-relevant factors can make a difference to a belief's epistemic standing. I argue that purists, unlike impurists, are forced to claim that certain ‘high-stakes’ cases rationally require agents to be akratic. Akrasia is one of the paradigmatic forms of irrationality. So purists, in virtue of calling akrasia rationally mandatory in a range of cases with no obvious precedent, take on a serious theoretical cost. By focusing on akrasia, and (...) on the nature of the normative judgments involved therein, impurists gain a powerful new way to frame a core challenge for purism. They also gain insight about the way in which impurism is true: my argument motivates the claim that there is moral encroachment in epistemology. (shrink)

In this paper, I defend an epistemic requirement on fitting hopes and worries: it is fitting to hope or to worry that p only if one’s epistemic position makes it rational to suspend judgment as to whether p. This view, unlike prominent alternatives, is ecumenical; it retains its plausibility against a variety of different background views of epistemology. It also has other important theoretical virtues: it is illuminating, elegant, and extensionally adequate. Fallibilists about knowledge have special reason to be friendly (...) to my view; it can help them explain why it can be unfitting to hold on to hope and worry in the face of overwhelming evidence, and it can also help them explain the sense in which knowledge that p and hope that –p are in tension with one another. (shrink)

Throughout history, almost all mathematicians, physicists and philosophers have been of the opinion that space and time are infinitely divisible. That is, it is usually believed that space and time do not consist of atoms, but that any piece of space and time of non-zero size, however small, can itself be divided into still smaller parts. This assumption is included in geometry, as in Euclid, and also in the Euclidean and non- Euclidean geometries used in modern physics. Of the few (...) who have denied that space and time are infinitely divisible, the most notable are the ancient atomists, and Berkeley and Hume. All of these assert not only that space and time might be atomic, but that they must be. Infinite divisibility is, they say, impossible on purely conceptual grounds. (shrink)

The logical interpretation of probability, or "objective Bayesianism'' – the theory that (some) probabilities are strictly logical degrees of partial implication – is defended. The main argument against it is that it requires the assignment of prior probabilities, and that any attempt to determine them by symmetry via a "principle of insufficient reason" inevitably leads to paradox. Three replies are advanced: that priors are imprecise or of little weight, so that disagreement about them does not matter, within limits; that it (...) is possible to distinguish reasonable from unreasonable priors on logical grounds; and that in real cases disagreement about priors can usually be explained by differences in the background information. It is argued also that proponents of alternative conceptions of probability, such as frequentists, Bayesians and Popperians, are unable to avoid committing themselves to the basic principles of logical probability. (shrink)

Computer and information ethics, as well as other fields of applied ethics, need ethical theories which coherently unify deontological and consequentialist aspects of ethical analysis. The proposed theory of just consequentialism emphasizes consequences of policies within the constraints of justice. This makes just consequentialism a practical and theoretically sound approach to ethical problems of computer and information ethics.

It has generally been assumed that rapid visual search is based on simple features and that spatial relations between features are irrelevant for this task. Seven experiments involving search for line drawings contradict this assumption; a major determinant of search is the presence of line junctions. Arrow- and Y-junctions were detected rapidly in isolation and when they were embedded in drawings of rectangular polyhedra. Search for T-junctions was considerably slower. Drawings containing T-junctions often gave rise to very slow search even (...) when distinguishing arrow- or Y-junctions were present. This sensitivity to line relations suggests that preattentive processes can extract 3-dimensional orientation from line drawings. A computational model is outlined for how this may be accomplished in early human vision. (shrink)

Sometimes, the fact that an attitude is fitting seems like a demand to have that attitude. But in other cases, the fact that an attitude is fitting seems more like a permission to have the attitude. I defend a proposal that can accommodate both of these appearances. I argue that there is a kind of emotionlessness, which I call apathy, that can be fitting or unfitting in just the same way that emotion can. I further argue that, in some cases, (...) it can be fitting to respond a single object either with emotion or with apathy. When both apathy and emotion are fitting options, the fittingness of the emotion is a permission-like status; failures to have the fitting emotion are not failures of fit. But when an emotion is fitting and apathy is unfitting, the fittingness of the emotion is a demand-like status; failures to have the emotion are failures of fit. (shrink)

In this paper, the author attempts to make explicit certain of the key variables that underlie the wide variety of positions which have been offered in answer to the question posed by the title of the paper. Several positions are reviewed briefly, ranging from Bertrand Russell’s to Jasper’s to Milton Meyer’s to Thoreau’s. These are then considered as a group in terms of possible systems of values which traditionally have formed the basis for condemnations or defenses of political and social (...) silence, of marginal commitment, or of individual nonparticipation or complicity. The author does not hope to settle the issue, but rather to increase our sensitivity to it, and to its complexity. (shrink)

There is a wide range of realist but non-Platonist philosophies of mathematics—naturalist or Aristotelian realisms. Held by Aristotle and Mill, they played little part in twentieth century philosophy of mathematics but have been revived recently. They assimilate mathematics to the rest of science. They hold that mathematics is the science of X, where X is some observable feature of the (physical or other non-abstract) world. Choices for X include quantity, structure, pattern, complexity, relations. The article lays out and compares these (...) options, including their accounts of what X is, the examples supporting each theory, and the reasons for identifying the science of X with (most or all of) mathematics. Some comparison of the options is undertaken, but the main aim is to display the spectrum of viable alternatives to Platonism and nominalism. It is explained how these views answer Frege’s widely accepted argument that arithmetic cannot be about real features of the physical world, and arguments that such mathematical objects as large infinities and perfect geometrical figures cannot be physically realized. (shrink)

Suppose we wish to decide which of a pair of actions has better consequences in a case in which both actions result in infinite utility. Peter Vallentyne and others have proposed that one action has better consequences than a second if there is a time after which the cumulative utility of the first action always outstrips the cumulative utility of the second. I argue against this principle, in particular I show how cases may arise in which up to any point (...) of time action a1 produces more utility than action a2, yet for each individual involved a2 produces more utility. (shrink)

The task of visual search is to determine as rapidly as possible whether a target item is present or absent in a display. Rapidly detected items are thought to contain features that correspond to primitive elements in the human visual system. In previous theories, it has been assumed that visual search is based on simple two-dimensional features in the image. However, visual search also has access to another level of representation, one that describes properties in the corresponding three-dimensional scene. Among (...) these properties are three dimensionality and the direction of lighting, but not viewing direction. These findings imply that the parallel processes of early vision are much more sophisticated than previously assumed. (shrink)

Many writers have recently argued that there is something distinctively problematic about sustaining moral beliefs on the basis of others’ moral views. Call this claim pessimism about moral deference. Pessimism about moral deference, if true, seems to provide an attractive way to argue for a bold conclusion about moral disagreement: moral disagreement generally does not require belief revision. Call this claim steadfastness about moral disagreement. Perhaps the most prominent recent discussion of the connection between moral deference and moral disagreement, due (...) to Alison Hills, uses pessimism about the former to argue for steadfastness about the latter. This paper reveals that this line of thinking, and others like it, are unsuccessful. There is no way to argue from a compelling version of pessimism about moral deference to the conclusion of steadfastness about moral disagreement. The most plausible versions of pessimism about moral deference have only very limited implications for moral disagreement. (shrink)

According to desire satisfactionism, well-being consists in getting what you desire. Recently, several theorists have suggested that this view should be extended to claim that ill-being consists in getting what you are averse to. I argue that both of these paradigmatic claims are false. As I show, desire and aversion are indeed both relevant to well-being and ill-being—in fact, perhaps surprisingly, each attitude has unique effects on both our well-being and ill-being. However, these effects are a matter of the unique (...) feelings desire and aversion produce. The paradigmatic desire satisfactionist approach—and, I argue, a surprisingly wide variety of desire satisfactionist views—cannot properly capture the relevance of these feelings, and thus the relevance of desire and aversion, to well-being and ill-being, and should therefore be abandoned. (shrink)

A problem for Aristotelian realist accounts of universals (neither Platonist nor nominalist) is the status of those universals that happen not to be realised in the physical (or any other) world. They perhaps include uninstantiated shades of blue and huge infinite cardinals. Should they be altogether excluded (as in D.M. Armstrong's theory of universals) or accorded some sort of reality? Surely truths about ratios are true even of ratios that are too big to be instantiated - what is the truthmaker (...) of such truths? It is argued that Aristotelianism can answer the question, but only a semi-Platonist form of it. (shrink)

Is it tautological to call an action "wrongful discrimination?" Some philosophers and political theorists answer this question in the affirmative and claim that the term "discrimination" is intrinsically evaluative. Others agree that "discrimination" usually conveys the action’s moral wrongness but claim that the term can be used in a purely descriptive way. In this paper, we present two corpus studies and two experiments designed to test whether the folk concept of discrimination is evaluative. We demonstrate that the term has undergone (...) a historical development and is nowadays no longer used purely descriptively. Further, we show that this evaluation cannot be cancelled without yielding a contradiction. We conclude that the descriptive use of "discriminatory" is a thing of the past. (shrink)

Recently several authors have argued that accuracy-first epistemology ends up licensing problematic epistemic bribes. They charge that it is better, given the accuracy-first approach, to deliberately form one false belief if this will lead to forming many other true beliefs. We argue that this is not a consequence of the accuracy-first view. If one forms one false belief and a number of other true beliefs, then one is committed to many other false propositions, e.g., the conjunction of that false belief (...) with any of the true beliefs. Once we properly account for all the falsehoods that are adopted by the person who takes the bribe, it turns out that the bribe does not increase accuracy. (shrink)

The formal sciences - mathematical as opposed to natural sciences, such as operations research, statistics, theoretical computer science, systems engineering - appear to have achieved mathematically provable knowledge directly about the real world. It is argued that this appearance is correct.

Modern philosophy of mathematics has been dominated by Platonism and nominalism, to the neglect of the Aristotelian realist option. Aristotelianism holds that mathematics studies certain real properties of the world – mathematics is neither about a disembodied world of “abstract objects”, as Platonism holds, nor it is merely a language of science, as nominalism holds. Aristotle’s theory that mathematics is the “science of quantity” is a good account of at least elementary mathematics: the ratio of two heights, for example, is (...) a perceivable and measurable real relation between properties of physical things, a relation that can be shared by the ratio of two weights or two time intervals. Ratios are an example of continuous quantity; discrete quantities, such as whole numbers, are also realised as relations between a heap and a unit-making universal. For example, the relation between foliage and being-a-leaf is the number of leaves on a tree,a relation that may equal the relation between a heap of shoes and being-a-shoe. Modern higher mathematics, however, deals with some real properties that are not naturally seen as quantity, so that the “science of quantity” theory of mathematics needs supplementation. Symmetry, topology and similar structural properties are studied by mathematics, but are about pattern, structure or arrangement rather than quantity. (shrink)

Let me say something, to begin with, about wanting weird stuff. Stuff like saucers of mud. The example, famously, is from Anscombe’s Intention (Anscombe Anscombe 957)) where she is, in effect, defending a version of the old scholastic maxim, Omne appetitum appetitur sub specie boni. If your Latin is rusty like mine, what that says is just that every appetite – for better congruence with modern discussions, let’s say every desire – desires under the aspect of the good, or in (...) the wording made current by Velleman, under the guise of the good (Velleman 992). To desire something is to regard it as good in some way, as having some desirability characteristic. And not just any old thing can be regarded as good in some way, as having some desirability characteristic. Obviously if this is correct, it rules against our giving desires any sort of ground-floor role in our understand-. (shrink)

A principal challenge facing the progressive bioethics project is the crafting of a consistent message on biopolitical issues that divide progressives. -/- The regulation of enhancement technologies is one of the issues central to this emerging biopolitics, pitting progressive defenders of enhancement, “technoprogressives,” against progressive critics. This essay [PDF] will argue that technoprogressive biopolitics express the consistent application of the core progressive values of the Enlightenment: the right of individuals to control their own bodies, brains and reproduction according to their (...) own conscience, under democratic states that work for the public good. -/- Insofar as left bioconservatives want to ensure the safety of therapies and their equitable distribution, these concerns can be addressed by thorough and independent regulation and a universal health care system, and a progressive bioethics of enhancement can unite both enthusiasts and skeptics. Insofar as bioconservative concerns are motivated by deeper hostility to the Enlightenment project however, by assertion of pre-modern reverence for human uniqueness for instance, then a common program is unlikely. -/- imageAfter briefly reviewing the political history and contemporary landscape of biopolitical debates about enhancement, the essay outlines three meta-policy contexts that will impact future biopolicy: the pressure to establish a universal, cost-effective health insurance system, the aging of industrial societies, and globalization. Technoprogressive appeals are outlined that can appeal to key constituencies, and build a majority coalition in support of progressive change. Finally, some guiding principles for a technoprogressive approach to biopolicy are offered. (shrink)

Dispostions, such as solubility, cannot be reduced to categorical properties, such as molecular structure, without some element of dipositionaity remaining. Democritus did not reduce all properties to the geometry of atoms - he had to retain the rigidity of the atoms, that is, their disposition not to change shape when a force is applied. So dispositions-not-to, like rigidity, cannot be eliminated. Neither can dispositions-to, like solubility.

The distinction between the discrete and the continuous lies at the heart of mathematics. Discrete mathematics (arithmetic, algebra, combinatorics, graph theory, cryptography, logic) has a set of concepts, techniques, and application areas largely distinct from continuous mathematics (traditional geometry, calculus, most of functional analysis, differential equations, topology). The interaction between the two – for example in computer models of continuous systems such as fluid flow – is a central issue in the applicable mathematics of the last hundred years. This article (...) explains the distinction and why it has proved to be one of the great organizing themes of mathematics. (shrink)

Previous theories of early vision have assumed that visual search is based on simple two-dimensional aspects of an image, such as the orientation of edges and lines. It is shown here that search can also be based on three-dimensional orientation of objects in the corresponding scene, provided that these objects are simple convex blocks. Direct comparison shows that image-based and scene-based orientation are similar in their ability to facilitate search. These findings support the hypothesis that scene-based properties are represented at (...) preattentive levels in early vision. (shrink)

Pascal’s wager and Leibniz’s theory that this is the best of all possible worlds are latecomers in the Faith-and-Reason tradition. They have remained interlopers; they have never been taken as seriously as the older arguments for the existence of God and other themes related to faith and reason.

It is well known that the following features hold of AR + T under the strong Kleene scheme, regardless of the way the language is Gödel numbered: 1. There exist sentences that are neither paradoxical nor grounded. 2. There are 2ℵ0 fixed points. 3. In the minimal fixed point the weakly definable sets (i.e., sets definable as {n∣ A(n) is true in the minimal fixed point where A(x) is a formula of AR + T) are precisely the Π1 1 sets. (...) 4. In the minimal fixed point the totally defined sets (sets weakly defined by formulae all of whose instances are true or false) are precisely the ▵1 1 sets. 5. The closure ordinal for Kripke's construction of the minimal fixed point is ωCK 1. In contrast, we show that under the weak Kleene scheme, depending on the way the Gödel numbering is chosen: 1. There may or may not exist nonparadoxical, ungrounded sentences. 2. The number of fixed points may be any positive finite number, ℵ0, or 2ℵ0 . 3. In the minimal fixed point, the sets that are weakly definable may range from a subclass of the sets 1-1 reducible to the truth set of AR to the Π1 1 sets, including intermediate cases. 4. Similarly, the totally definable sets in the minimal fixed point range from precisely the arithmetical sets up to precisely the ▵1 1 sets. 5. The closure ordinal for the construction of the minimal fixed point may be ω, ωCK 1, or any successor limit ordinal in between. In addition we suggest how one may supplement AR + T with a function symbol interpreted by a certain primitive recursive function so that, irrespective of the choice of the Godel numbering, the resulting language based on the weak Kleene scheme has the five features noted above for the strong Kleene language. (shrink)

Antitheodicy objects to all attempts to solve the problem of evil. Its objections are almost all on moral grounds—it argues that the whole project of theodicy is morally offensive. Trying to excuse God’s permission of evil is said to deny the reality of evil, to exhibit gross insensitivity to suffering, and to insult the victims of grave evils. Since antitheodicists urge the avoidance of theodicies for moral reasons, it is desirable to evaluate the moral reasons against theodicies in abstraction from (...) the intellectual reasons for and against them. It is argued that the best known theodicies such as those based on soul-making and free will are guilty of moral faults as alleged. But Leibniz’s best of all possible worlds theory, often thought to be the most morally offensive ‘Panglossian’ theodicy, is morally blameless because it excuses God by the absolute impossibility of his choosing any world better than the present one. Theodicy should not be conceived of as a search for greater goods which may excuse God’s permitting evils. From the divine point of view, creation is an upfront choice between scenarios—in modern parlance, a Trolley problem rather than a Transplant problem. In cases of forced choice among scenarios, it is morally improper to criticize one who chooses the best. (shrink)

The global/local contrast is ubiquitous in mathematics. This paper explains it with straightforward examples. It is possible to build a circular staircase that is rising at any point (locally) but impossible to build one that rises at all points and comes back to where it started (a global restriction). Differential equations describe the local structure of a process; their solution describes the global structure that results. The interplay between global and local structure is one of the great themes of mathematics, (...) but rarely discussed explicitly. (shrink)

The COVID-19 crisis has forced a difficult trade-off between limiting the health impacts of the virus and maintaining economic activity. Welfare economics offers tools to conceptualize this trade-off so that policy-makers and the public can see clearly what is at stake. We review four such tools: the Value of Statistical Life (VSL); the Value of Statistical Life Years (VSLYs); Quality-Adjusted Life-Years (QALYs); and social welfare analysis, and argue that the latter are superior. We also discuss how to choose policies that (...) differentially affect people’s wellbeing. We argue in favor of evaluating policies using a Social Welfare Function (SWF), which evaluates the possible distributions of wellbeing across individuals that may result from a policy. Such a function, we argue, should regard increases in the wellbeing of the less well-off as especially valuable. We then use a model to illustrate how such a framework can help evaluate two broad policy types in response to the pandemic: eradication of the virus, and more lenient control of the spread. Our model reveals how such evaluations depend on many empirical facts but also on key value judgments about the relative importance of health and on the extent of special concern for the worse off. The purpose of this brief is not to make precise recommendations, as conditions vary widely across countries and over time, but to provide a methodology. (shrink)

Fifty years of effort in artificial intelligence (AI) and the formalization of legal reasoning have produced both successes and failures. Considerable success in organizing and displaying evidence and its interrelationships has been accompanied by failure to achieve the original ambition of AI as applied to law: fully automated legal decision-making. The obstacles to formalizing legal reasoning have proved to be the same ones that make the formalization of commonsense reasoning so difficult, and are most evident where legal reasoning has to (...) meld with the vast web of ordinary human knowledge of the world. Underlying many of the problems is the mismatch between the discreteness of symbol manipulation and the continuous nature of imprecise natural language, of degrees of similarity and analogy, and of probabilities. (shrink)

One important but infrequently discussed difficulty with expressivism is the attitude type individuation problem.1 Expressivist theories purport to provide a unified account of normative states. Judgments of moral goodness, beauty, humor, prudence, and the like, are all explicated in the same way: as expressions of attitudes, what Allan Gibbard calls “states of norm-acceptance”. However, expressivism also needs to explain the difference between these different sorts of attitude. It is possible to judge that a thing is both aesthetically good and morally (...) bad. While the realist can explain the difference by suggesting that each judgment makes reference to a different property (or set of properties), the expressivist cannot. She must show that what is expressed by the speaker is different in each case. This has proven to be difficult to do. (shrink)

The chapter presents Anselm’s incompatibilist account of human freedom within the context of his theodicy and presents two arguments against his account. Both arguments aim to show there is a genuine conflict between his account of freedom and the role of God’s grace in making agents just. The first argument, the problem of harmonization, highlights the conflict within the soteriological context where an agent changes from being unjust to being just. The second argument, the problem of just creation, highlights the (...) conflict within the context of the creation of agents prior to the presence of evil. Holding fixed his incompatibilist account and the necessity of divine grace, the upshot of both arguments is that Anselm must endorse a version of Pelagianism. (shrink)

According to the free-will defence, the exercise of free will by creatures is of such value that God is willing to allow the existence of evil which comes from the misuse of free will. A well-known objection holds that the exercise of free will is compatible with determinism and thus, if God exists, God could have predetermined exactly how the will would be exercised; God could even have predetermined that free will would be exercised sinlessly. Thus, it is held, the (...) free-will defence cannot be used as a partial account of why God should have allowed evil to exist. I investigate this objection using Kripke's apparatus for treating modalities and natural kinds to explore the nature of the incompatibilism required by the free-will defence. I show why the objection fails even if the standard arguments for compatibilism are acceptable. This is because the modality involved in the incompatibilism needed by the free-will defence differs from the modality involved in the compatibilism that is supported by standard compatibilist arguments. Finally, an argument is sketched for a variety of incompatibilism of the kind needed by the free-will defence. (shrink)

Quantity is the first category that Aristotle lists after substance. It has extraordinary epistemological clarity: "2+2=4" is the model of a self-evident and universally known truth. Continuous quantities such as the ratio of circumference to diameter of a circle are as clearly known as discrete ones. The theory that mathematics was "the science of quantity" was once the leading philosophy of mathematics. The article looks at puzzles in the classification and epistemology of quantity.