This paper explores the link between number marking and(in)definiteness in nominals and their interpretation. Differencesbetween bare singulars and plurals in languages without determinersare explained by treating bare nominals as kind terms. Differencesarise, it is argued, because singular and plural kinds relatedifferently to their instantiations. In languages with determiners,singular kinds typically occur with the definite determiner, butplural/mass kinds can be bare in some languages and definite inothers. An account of singular kinds in terms of taxonomic readingsis proposed, with (...) class='Hi'>number marking playing a crucial role inexplaining the obligatory presence of the determiner. The variationbetween languages with respect to plural/mass kinds is explained bypositing a universal scale of definiteness, with individual languageschoosing different cut-off points for lexicalization of the definitedeterminer. The possibility of further cross-linguistic variation isalso considered. (shrink)

This essay explores the commitments of modal structuralism. The precise nature of the modal-structuralist analysis obscures an unclarity of its import. As usually presented, modal structuralism is a form of anti-platonism. I defend an interpretation of modal structuralism that, far from being a form of anti-platonism, is itself a platonist analysis: The metaphysically significant distinction between (i) primitive modality and (ii) the natural numbers (objectually understood) is genuine, but the arithmetic facts just are facts about possible progressions. If correct, modal (...) structuralism is best understood not as an alternative to, but as a species of, platonism. (shrink)

This article describes a method of automatically detecting, counting and classifying logs on a timber truck using a photograph. An image-processing algorithm is developed to process the photograph to calculate an estimate of the number of logs present and their respective diameters. The algorithm uses color information in multiple color spaces as well as geometrical operators to segment the image and extract the relevant information. This information enables the sawmill to better plan internal logistics and production in advance of (...) the truck’s arrival time. The algorithm is robust with respect to external factors such as varying lighting conditions and camera angle, but some inaccuracies remain, mainly caused by logs being occluded or covered in mud or snow. (shrink)

A comprehensive collection of the writings of Mark Fisher (1968-2017), whose work defined critical writing for a generation. This comprehensive collection brings together the work of acclaimed blogger, writer, political activist and lecturer Mark Fisher (aka k-punk). Covering the period 2004 - 2016, the collection will include some of the best writings from his seminal blog k-punk; a selection of his brilliantly insightful film, television and music reviews; his key writings on politics, activism, precarity, hauntology, mental health and popular modernism (...) for numerous websites and magazines; his final unfinished introduction to his planned work on "Acid Communism"; and a number of important interviews from the last decade. Edited by Darren Ambrose and with a foreword by Simon Reynolds. (shrink)

Mark Platts is responsible for the first systematic presentation of truth-conditional semantics and for turning a generation of philosophers on to the Davidsonian program. He is also a pioneer in discussions of moral realism, and has made important contributions to bioethics, the philosophy of human rights and moral responsibility. This book is a tribute to Platts's pioneering work in these areas, featuring contributions from number of leading scholars of his work from the US, UK and Mexico. It features replies (...) to the individual essays from Platts, as well as a concluding chapter reflecting on his philosophical career from Oxford to Mexico City. Mind, Language and Morality will be of interest to philosophers across a wide range of areas, including ethics, moral psychology, philosophy of law, and philosophy of language. (shrink)

In addition to the standard ellipsis process known as VP-ellipsis, another ellipsis process, known as pseudo-gapping, was first brought to the fore-front in the 1970’s by Sag (1976) and N. Levin (1986). This process elides subparts of a VP, as in (1): (1) Although I don’t like steak, I do___pizza. Developing ideas of K.S. Jayaseelan (Jayaseelan (1990)), Howard Lasnik has developed an analysis in which pseudo-gapping, which, in some instances, looks as though it is simply deleting a verb, is in (...) fact deletion of a verb phrase, so that pseudo-gapping is really a probe into the structure of the verb phrase. I will examine pseudo-gapping in detail, and will show that it truly is a gold mine of insight into a number of fundamental issues in syntax. More concretely, I will demonstrate that a careful, detailed analysis of this process will bear on the derivational level at which Principle A of the binding theory applies, as well as the amount of explicit encoding within syntactic representations of informational structure, particularly focus. The paper will also re-assess Lasnik’s conclusion that pseudo-gapping provides evidence for Larson’s (1988) V-raising to a higher empty V position, a case of head movement, and will show that the movement involved is actually a case of remnant movement, or XP-movement. (shrink)

The paper gives a historically informed reconstruction of Frege's view of statements of number. The reconstruction supports Frege's claim that a statement can be 'about a concept' although it does not contain a singular term referring to the concept. Hence, Frege's philosophy of number is not subject to the problems Frege sees for singular reference to concepts.

The present essay examines and critically discusses Paul Benacerraf's antiplatonist argument of "What Numbers Could Not Be." In the course of defending platonism against Benacerraf's semantic skepticism, I develop a novel platonist analysis of the content of arithmetic on the basis of which the necessary existence of the natural numbers and the nature of numerical reference are explained.

The ‘received view’ about computation is that all computations must involve representational content. Egan and Piccinini argue against the received view. In this paper, I focus on Egan’s arguments, claiming that they fall short of establishing that computations do not involve representational content. I provide positive arguments explaining why computation has to involve representational content, and how that representational content may be of any type. I also argue that there is no need for computational psychology to be individualistic. Finally, I (...) draw out a number of consequences for computational individuation, proposing necessary conditions on computational identity and necessary and sufficient conditions on computational I/O equivalence of physical systems.Keywords: Computation; Representation; Computational identity; Explanation; Narrow content; Physical computation. (shrink)

A comprehensive collection of the writings of Mark Fisher (1968-2017), whose work defined critical writing for a generation. This comprehensive collection brings together the work of acclaimed blogger, writer, political activist and lecturer Mark Fisher (aka k-punk). Covering the period 2004 - 2016, the collection will include some of the best writings from his seminal blog k-punk; a selection of his brilliantly insightful film, television and music reviews; his key writings on politics, activism, precarity, hauntology, mental health and popular modernism (...) for numerous websites and magazines; his final unfinished introduction to his planned work on "Acid Communism"; and a number of important interviews from the last decade. Edited by Darren Ambrose and with a foreword by Simon Reynolds. (shrink)

Research Ethics Committees (RECs) play a critical gatekeeping role in clinical trials. This role is meant to ensure that only those trials that meet certain ethical thresholds proceed through their gate. Two of these thresholds are that the potential benefits of trials are reasonable in relation to risks and that trials are capable of producing a requisite amount of social value. While one ought not expect perfect execution by RECs of their gatekeeping role, one should expect routine success in it. (...) This article reviews a range of evidence showing that substantial numbers of ethically tainted trials are receiving REC approvals. Many of the trials are early phase trials that evidence shows have benefits that may not be reasonable compared with their risks and many others are later trials that evidence shows may lack sufficient social value. The evidence pertains to such matters as methodologically inadequate preclinical studies incapable of supporting the inferences that REC members must make about the prospects for potential benefit needed to offset the risks in early phase trials and sponsorship bias that can cause improperly designed, conducted, analysed and reported later phase trials. The analysis of the evidence makes clear that REC practices need to be strengthened if they are to adequately fulfil their gatekeeping role. The article also explores options that RECs could use in order to improve their gatekeeping function. (shrink)

Contemporary bioethics has been somewhat skewed by its focus on high-tech medicine and the resulting development of ethical frameworks based on an acute-care model of healthcare. Research and scholarship in bioethics have payed only cursory attention to ethical issues related to disability. I argue that bioethics should concern itself with the full range of theoretical and practical issues related to disability. This encounter with the disability community will enrich bioethics and, potentially, society as well. I suggest a number of (...) items that the bioethics agenda should include, such as the development of a casuistry of the right to healthcare and to community integration and an advocacy role in fostering an understanding among the public and policy makers of the need to reform research and treatment related to disability. (shrink)

Experimental moral philosophy began to emerge as a methodology inthe last decade of the twentieth century, a branch of the largerexperimental philosophy approach. From the beginning,it has been embroiled in controversy on a number of fronts. Somedoubt that it is philosophy at all. Others acknowledge that it isphilosophy but think that it has produced modest results at best andconfusion at worst. Still others think it represents an important advance., Before the research program can be evaluated, we should have someconception (...) of its scope. But controversy surrounds questionsabout its boundaries as well. Uncontroversially, the distinctionbetween experimental and non-experimental philosophy is not identicalto the distinction between a posteriori and a prioriphilosophy. Experimental evidence is a proper subset of empiricalevidence, which is itself a subset of a posteriorievidence. Can any more be said?, L1: A child raised in a particular linguistic community almostinevitably ends up speaking an idiolect of the local language despitelack of sufficient explicit instruction, lack of extensive negativefeedback for mistakes, and grammatical mistakes by caretakers., character, moral | cognitivism vs. non-cognitivism, moral | emotion | ethics: virtue | intuition | moral anti-realism | moral psychology: empirical approaches | moral realism | moral relativism | well-being, Copyright © 2014 byMark Alfano Don Loeb, View this site from another server:. (shrink)

The interactivist model has explored a number of consequences of process metaphysics. These include reversals of some fundamental metaphysical assumptions dominant since the ancient Greeks, and multiple further consequences throughout the metaphysics of the world, minds, and persons. This article surveys some of these consequences, ranging from issues regarding entities and supervenience to the emergence of normative phenomena such as representation, rationality, persons, and ethics.

Prompted by the development of the Theory of Challenge and Threat States in Athletes (Jones et al, 2009), recent years has witnessed a considerable increase in research examining challenge and threat in sport. This manuscript provides a critical review of the literature examining challenge and threat in sport, tracing its historical development and some of the current empirical ambiguities. In an attempt to reconcile some of these ambiguities, and utilising neurobiological evidence associated with approach- and avoidance-motivation (cf. Elliot & Covington, (...) 2001), this paper draws upon the Evaluative Space Model (ESM: Cacioppo et al., 1997) and considers the implications for understanding challenge and threat in sport. For example, rather than see challenge and threat as opposite ends of a single bipolar continuum, the ESM implies that individuals could be (1) challenged, (2) threatened, (3) challenged and threatened, or (4) neither challenged or threatened by a particular stimulus. From this perspective it could be argued that the appraisal of some sport situations as both challenging and threatening could be advantageous, whereas the current literature seems to imply that the appraisal of stress as a threat is maladaptive for performance. In drawing upon the ESM, we outline the Evaluative Space Approach to Challenge and Threat and provide several testable hypotheses for advancing understanding of challenge and threat (in sport). We also outline a number of cardiovascular and experiential measures that can be used to examine these hypotheses. In sum, this paper provides a significant theoretical, empirical and practical contribution to our understanding of challenge and threat (in sport). (shrink)

In this paper, I deploy an argument that I have developed in a number of recent papers in the service of three projects. First, I show that the most influential version of legal positivism – that associated with H.L.A. Hart – fails. The argument’s engine is a requirement that a constitutive account of legal facts must meet. According to this rational-relation requirement, it is not enough for a constitutive account of legal facts to specify non-legal facts that modally determine (...) the legal facts. The constitutive determinants of legal facts must provide reasons for the obtaining of the legal facts (in a sense of “reason” that I develop). I show that the Hartian account is unable to meet this requirement. That officials accept a rule of recognition does not by itself constitute a reason why the standards specified in that rule are part of the law of the community. I argue that it is false that understanding the explanatory significance of officials’ acceptance of a rule is part of our reflective understanding of the nature of law. The second project of the paper is to respond to a family of objections that challenge me to explain why normative facts and descriptive facts together are better placed to provide reasons for legal facts than descriptive facts alone. A unifying theme of the objections is that explanations have to stop somewhere; descriptive facts, it is suggested, are no worse a stopping place than normative facts. Third, the paper spells out a consequence of the rational-relation requirement: if an account of what, at the most basic level, determines legal facts is true in any possible legal system, it is true in all possible legal systems. For example, if a Hartian account of legal facts is true in any possible legal system, it is true in all possible legal systems. I use this all-or-nothing result in my critique of a Hartian account, but the result is of interest in its own right. (shrink)

While today there is much discussion about the ethics of artificial intelligence, less work has been done on the philosophical nature of AI. Drawing on Bergson and Ricoeur, this paper proposes to use the concepts of time, process, and narrative to conceptualize AI and its normatively relevant impact on human lives and society. Distinguishing between a number of different ways in which AI and time are related, the paper explores what it means to understand AI as narrative, as process, (...) or as the emergent outcome of processes and narratives. It pays particular attention to what it calls the “narrator” and “time machine” roles of AI and the normative implications of these roles. It argues that AI processes and narratives shape our time and link past, present, and future in particular ways that are ethically and politically significant. (shrink)

Mark Jago presents an original philosophical account of meaningful thought: in particular, how it is meaningful to think about things that are impossible. We think about impossible things all the time. We can think about alchemists trying to turn base metal to gold, and about unfortunate mathematicians trying to square the circle. We may ponder whether God exists; and philosophers frequently debate whether properties, numbers, sets, moral and aesthetic qualities, and qualia exist. In many philosophical or mathematical debates, when one (...) side of the argument gets things wrong, it necessarily gets them wrong. As we consider both sides of one of these philosophical arguments, we will at some point think about something that’s impossible. Yet most philosophical accounts of meaning and content hold that we can’t meaningfully think or reason about the impossible. -/- In The Impossible, Jago argues that we often gain new information, new beliefs, and, sometimes, fresh knowledge through logic, mathematics, and philosophy. That is why logic, mathematics, and philosophy are useful. We therefore require accounts of knowledge and belief, of information and content, and of meaning which allow space for the impossible. Jago’s aim in this book is to provide such accounts. He gives a detailed analysis of the concept of hyperintensionality, whereby logically equivalent contents may be distinct, and develops a theory in terms of possible and impossible worlds. Along the way, he provides a theory of what those worlds are and how they feature in our analysis of normative epistemic concepts: knowledge, belief, information, and content. (shrink)

We present statistical analyses of the large‐scale structure of 3 types of semantic networks: word associations, WordNet, and Roget's Thesaurus. We show that they have a small‐world structure, characterized by sparse connectivity, short average path lengths between words, and strong local clustering. In addition, the distributions of the number of connections follow power laws that indicate a scale‐free pattern of connectivity, with most nodes having relatively few connections joined together through a small number of hubs with many connections. (...) These regularities have also been found in certain other complex natural networks, such as the World Wide Web, but they are not consistent with many conventional models of semantic organization, based on inheritance hierarchies, arbitrarily structured networks, or high‐dimensional vector spaces. We propose that these structures reflect the mechanisms by which semantic networks grow. We describe a simple model for semantic growth, in which each new word or concept is connected to an existing network by differentiating the connectivity pattern of an existing node. This model generates appropriate small‐world statistics and power‐law connectivity distributions, and it also suggests one possible mechanistic basis for the effects of learning history variables (age of acquisition, usage frequency) on behavioral performance in semantic processing tasks. (shrink)

According to Frege, we need a criterion for recognising when different sentences express the same thought to make progress in logic. He himself hedged his own equipollence criterion with a number of provisos. In the literature on Frege, little attention has been paid to the problems these provisos raise. In this paper, I will argue that Fregeans have ignored these provisos at their peril. For without these provisos, Frege’s criterion yields wrong results; but with the provisos in place, it (...) is of no use for Frege’s purposes. This is connected to what Frege took to be the ‘greatest difficulty for philosophy’: natural language sentences don’t just express thoughts; they convey evaluations and communicative hints. Because of this, Frege’s recognition criterion for thoughts cannot be applied to them and we cannot make logical progress by ‘recognising a thought in different linguistic guises’. (shrink)

Over the past years, a number of probabilistic measures of coherence have been proposed. As shown in the paper, however, many of them do not conform to the intuitition that equivalent testimonies are highly coherent, regardless of their prior probability.

Brouwer and Husserl both aimed to give a philosophical account of mathematics. They met in 1928 when Husserl visited the Netherlands to deliver his Amsterdamer Vorträge. Soon after, Husserl expressed enthusiasm about this meeting in a letter to Heidegger, and he reports that they had long conversations which, for him, had been among the most interesting events in Amsterdam. However, nothing is known about the content of these conversations; and it is not clear whether or not there were any other (...) exchanges between them. The following is an attempt at some remarks on Husserl’s Philosophy of Arithmetic from an intuitionistic, by which I mean a Brouwerian, point of view. I will confine myself specifically to some intuitionistic musings on Husserl’s analysis of the concept of finite number, which he developed in his Habilitationsschrift of 1887, “On the Concept of Number,” and presented again in 1891 in the first four chapters of the Philosophy of Arithmetic. It will turn out that the intuitionistic account of number is very different from Husserl’s. For instance, they strongly disagree about the number 2. On the other hand, the roots of the projects of Husserl and Brouwer have much in common. Since this fact makes their disagreement pressing and lends it much of its significance, I will begin there. (shrink)

Philosophers from Plato and Augustine to Heidegger, Nozick, and Baudrillard have warned us of the dangers of living on too heavy a diet of illusion and make-believe. But contemporary cultural life provides broader, more attractive opportunities to do so than have existed at any other point in history. The gentle forms of self-deceit that such experiences require of us, and that so many have regarded as ethically unwholesome or psychologically self-destructive, can in fact serve as vital means to political reconciliation, (...) cultural enrichment, and even (a kind of) utopia. -/- The first half of the book provides a highly schematic definition of simulated experience and compares it with some claims about the nature of simulation made by other philosophers about what it is for one thing to be a simulation of another. The author then provides a critical survey of the views of some major authors about the value of certain specific types of simulated experience, mainly in order to point out the many puzzling inconsistencies and ambiguities that their thoughts upon the topic often exhibit. In the second half of the book, the author defends an account of the positive social value of simulated experience and compares his own position to the ideas of a number of utopian political thinkers, as well as to Plato's famous doctrine of the "noble lie." He then makes some tentative practical suggestions about how a proper appreciation of the value of simulated experience might influence public policy decisions about such matters as the justification of taxation, paternalistic "choice management," and governmental transparency. (shrink)

This book includes ten essays that trace the notion of unconcealment as it develops from Heidegger's early writings to his later work, shaping his philosophy of truth, language and history. 'Unconcealment' is the idea that what entities are depends on the conditions that allow them to manifest themselves. This concept, central to Heidegger's work, also applies to worlds in a dual sense: first, a condition of entities manifesting themselves is the existence of a world; and second, worlds themselves are disclosed. (...) The unconcealment or disclosure of a world is the most important historical event, and Heidegger believes there have been a number of quite distinct worlds that have emerged and disappeared in history. Heidegger's thought as a whole can profitably be seen as working out the implications of the original understanding of unconcealment. (shrink)

Organ procurement policy from the recently deceased recasts families into gatekeepers of a scarce medical resource. To the frustration of organ procurement teams, families do not always authorize organ donation. As a result, efforts to increase the number of organs available for transplantation often seek to limit the authority of families to refuse organ retrieval. For example, in some locales if a deceased family member has satisfied the legal conditions for first-person prior assent, a much looser and easier standard (...) to satisfy than informed consent, organ retrieval may proceed despite the family’s objections. Some countries have replaced voluntary consent to organ donation with forms of organ conscription. Often referred to under the misnomer “presumed consent,” such policies legalize the harvesting of organs at death, unless individuals exercise official options to opt out. As this article explores, however, there are good grounds for affirming the authority of the family to consent to or to deny organ donation on behalf of recently deceased family members, as well as to reject first-person assent and “presumed consent” policies of organ procurement. Insofar as individuals have failed clearly and competently to provide informed consent to organ donation, moral authorization for the use of the person and his body ought to be grounded on the foundational authority of the family, rather than the state’s supposed interests in obtaining organs for transplantation. (shrink)

The logical omniscience problem, whereby standard models of epistemic logic treat an agent as believing all consequences of its beliefs and knowing whatever follows from what else it knows, has received plenty of attention in the literature. But many attempted solutions focus on a fairly narrow specification of the problem: avoiding the closure of belief or knowledge, rather than showing how the proposed logic is of philosophical interest or of use in computer science or artificial intelligence. Sentential epistemic logics, as (...) opposed to traditional possible worlds approaches, do not suffer from the problems of logical omniscience but are often thought to lack interesting epistemic properties. In this paper, I focus on the case of rule-based agents, which play a key role in contemporary AI research but have been neglected in the logical literature. I develop a framework for modelling monotonic, nonmonotonic and introspective rule-based reasoners which have limited cognitive resources and prove that the resulting models have a number of interesting properties. An axiomatization of the resulting logic is given, together with completeness, decidability and complexity results. (shrink)

Rational constructivism is one of the leading theories in developmental psychology. But it is not a purely psychological theory: rational constructivism also makes a number of substantial epistemological claims about both the nature of human rationality and several normative principles that fall squarely into the ambit of epistemology. The aim of this paper is to clarify and defend both theses and several other epistemological claims, as they represent the essential epistemological dimensions of rational constructivism.

In lieu of an abstract, here is a brief excerpt of the content:Hume Studies Volume 29, Number 1, April 2003, pp. 89-98 Another "Curious Legend" about Hume's An Abstract of a Treatise of Human Nature MARK G. SPENCER I In 1938, J. M. Keynes and P. Sraffa edited and introduced for Cambridge University Press a reprinting of An Abstract of A Treatise of Human Nature.1 The Abstract they claimed in their subtitle was "A Pamphlet hitherto unknown by DAVID HUME." (...) Arguing against a number of nineteenth and early-twentieth -century scholars who attributed authorship of an abstract of the Treatise to Adam Smith, Keynes and Sraffa convincingly documented in their introductory essay many solid reasons for thinking that the pamphlet being reprinted was Hume's.2 Sixty years on, their account dispelling this "curious legend" of Smith's authorship has now become the received opinion. T.E. Jessop accepted Keynes and Sraffa's argument (having seen it in proof before the edition was published) in his bibliography of 1938, and Norman Kemp Smith gave their version an early supportive review.3 E.C. Mossner, in his well-known biography of Hume, accepted wholeheartedly Keynes and Sraffa's findings.4 When in 1978 the Selby-Bigge's edition of Hume's Treatise saw its second edition the text of the Abstract was appended and a note gave P.H. Nidditch's opinion that "Hume's authorship is overwhelmingly likely."5 More recently Mark G. Spencer is Social Sciences and Humanities Research Council of Canada Postdoctoral Research Fellow, Department of History, University of Toronto. Sidney Smith Hall, 100 St. George St., Toronto, Ontario MSS 3GS, Canada. [email protected] 90 Mark G. Spencer in the pages of this journal, Jeff Broome, David Raynor, and David Fate Norton have all helped buttress the case for Hume's authorship, as did R. W. Connon and M. Pollard elsewhere.6 Despite an occasional dissenting voice,7 the Abstract is now widely, and rightly (or so it seems to this author), thought to have been Hume's. But with all of this scholarly attention focused on confirming Hume's authorship, another much more contentious aspect of Keynes and Sraffa's interpretation has gone largely unnoticed. Keynes and Sraffa's billing of the Abstract as "A Pamphlet hitherto unknown by DAVID HUME," suggested that before 1938 the Abstract had not been attributed publicly to Hume and that the contents of the pamphlet also had been completely unknown. "Students of Hume have known that an abstract of the Treatise was made and intended for publication," wrote a reviewer of Keynes and Sraffa, "[b]ut no copy of this abstract was known to exist: indeed it was usually supposed that the abstract had never been printed at all."8 Relying on Keynes and Sraffa it would be easy to suppose that the Abstract was never publicly ascribed to Hume and even that the contents of the pamphlet had been overlooked entirely until Keynes and Sraffa came along. One of the purposes of the present short essay is to dispel, once and for all, that misunderstanding about the Abstract. Norman Kemp Smith went part of the way toward that end in 1938 when he reviewed Keynes and Sraffa's edition. But in the process Kemp Smith introduced another "curious legend" that has slipped into scholarly acceptance with little comment and no debate. We will see that it is a mistake to argue, as Kemp Smith did, that Hume's authorship of a sixpenny pamphlet was known to readers of An universal biographical and historical dictionary, published in 1800. There is no discussion of Hume's Abstract in that book. However, the Abstract was discussed in print in at least three different publications between 1818 and 1827, long after its initial publication in 1740 and long before Keynes and Sraffa brought it to the attention of their audience in 1938. While pre-1938 Hume scholars had overlooked the Abstract, at least one of Hume's early nineteenth-century critics knew of the Abstract's existence, attributed the work to Hume, and even quoted extensively from Hume's "Preface." Most interesting of all, Hume's authorship of the Abstract was interpreted in ways that are telling of the historical reception of... (shrink)

We defend the reliability of Hurlburt's Descriptive Experi-ence Sampling method against some of Schwitzgebel's attacks. But we agree with Schwitzgebel that the method could be used much more widely than it has been, helping to answer questions about the nature and structure of consciousness in addition to cataloguing the latter's contents. We sketch a number of potential lines of further enquiry.

We give a Hilbert style axiomatization for the set of formulas in the temporal language with Until and Since which are valid over the real number flow of time. The axiomatization, which is orthodox in the sense of only having the usual temporal rules of inference, is complete with respect to single formulas.

Dreyfus’s work is widely known for its critique of artificial intelligence and still stands as an example of how to do excellent philosophical work that is at the same time relevant to contemporary technological and scientific developments. But for philosophers of technology, especially for those sympathetic to using Heidegger, Merleau-Ponty, and Wittgenstein as sources of inspiration, it has much more to offer. This paper outlines Dreyfus’s account of skillful coping and critically evaluates its potential for thinking about technology. First, it (...) is argued that his account of skillful coping can be developed into a general view about handling technology which gives due attention to know-how/implicit knowledge and embodiment. Then a number of outstanding challenges are identified that are difficult to cope with if one remains entirely within the world of Dreyfus’s writings. They concern questions regarding other conceptualizations of technology and human–technology relations, issues concerning how to conceptualize the social and the relation between skill, meaning, and practices, and the question about the ethical and political implications of his view, including how virtue and skill are related. Acknowledging some known discussions about Dreyfus’s work, but also drawing on other material and on the author’s previous writings, the paper suggests that to address these challenges and develop the account of skillful coping into a wider scoped, Dreyfus-inspired philosophy of technology, it could take more distance from Heidegger’s conceptions of technology and benefit from engagement with work in postphenomenology, pragmatism, the later Wittgenstein, and virtue ethics. (shrink)

Critics of reliability theories of epistemic justificationoften claim that the `generality problem' is an insurmountabledifficulty for such theories. The generality problem is theproblem of specifying the level of generality at which abelief-forming process is to be described for the purposeof assessing its reliability. This problem is not asintractable as it seems. There are illuminating solutionsto analogous problems in the ethics literature. Reliabilistsought to attend to utilitarian approaches to choices betweeninfinite utility streams; they also ought to attend towelfarist approaches to social (...) choice situations that donot demand full aggregation of individual welfares.These analogies suggest that the traditional `single number'approach to reliability is misguided. I argue that a newapproach – the `vector reliability' approach – is preferable.Vector reliability theories associate target beliefs withreliability vectors – that is, structured collections ofreliability numbers – and construct criteria of epistemicjustification that appeal to these vectors. The bulk of thetheoretical labor involved in a reliability account of epistemicjustification is thus transferred from picking a uniquereliability number to constructing a plausible criterionof epistemic justification. (shrink)

While the Catholic Church has taken a number of steps to create a safe environment for children, its largely procedural approach to the sexual abuse crisis leaves a lot to be desired. If the Catholic Church wants to identify and counteract the elements that precipitated this crisis, it needs to enlist Catholic universities and parents, as universities possess the intellectual resources to understand the crisis in its full depth and breadth and parents are the most capable protectors of children (...) in the Catholic Church. Empowering these two constituencies and relying on them to lead child protection efforts represent the best chance to overcome a legacy of pain and distrust and to create a Church that is nurturing and safe for its children. (shrink)

A number of theorists hold that literal, linguistic meaning is determined by the cognitive mechanism that underpins semantic competence. Borg and Larson and Segal defend a version of the view on which semantic competence is underpinned by the cognition of a truth-conditional semantic theory—a semantic theory which is true. Let us call this view the “cognitivist account of meaning”. In this paper, I discuss a surprisingly serious difficulty that the cognitivist account of meaning faces in light of the liar (...) paradox. I raise an argument to the effect that, in light of linguistic evidence concerning the liar paradox, the cognised semantic theory is inconsistent. This contradicts the cognitivist account. I consider a range of possible responses to the difficulty, raising problems for each. The liar paradox poses a serious difficulty to the cognitivist account of meaning, and it is unclear whether the difficulty can be resolved. (shrink)

Biobanks are repositories of human biological materials collected for biomedical research. There are over 300 million stored specimens in the United States, and the number grows by 20 million per year. In the post-genome world of high throughput gene sequencing and computational biology, biobanks hold the promise of facilitating large-scale research studies. New organizational and operational models of research repositories also raise complex issues of big science, big business, and big ethical concerns.

In this paper, I deploy an argument that I have developed in a number of recent papers in the service of three projects. First, I show that the most influential version of legal positivism – that associated with H.L.A. Hart – fails. The argument’s engine is a requirement that a constitutive account of legal facts must meet. According to this rational-relation requirement, it is not enough for a constitutive account of legal facts to specify non-legal facts that modally determine (...) the legal facts. The constitutive determinants of legal facts must provide reasons for the obtaining of the legal facts (in a sense of “reason” that I develop). I show that the Hartian account is unable to meet this requirement. That officials accept a rule of recognition does not by itself constitute a reason why the standards specified in that rule are part of the law of the community. I argue that it is false that understanding the explanatory significance of officials’ acceptance of a rule is part of our reflective understanding of the nature of law. The second project of the paper is to respond to a family of objections that challenge me to explain why normative facts and descriptive facts together are better placed to provide reasons for legal facts than descriptive facts alone. A unifying theme of the objections is that explanations have to stop somewhere; descriptive facts, it is suggested, are no worse a stopping place than normative facts. Third, the paper spells out a consequence of the rational-relation requirement: if an account of what, at the most basic level, determines legal facts is true in any possible legal system, it is true in all possible legal systems. For example, if a Hartian account of legal facts is true in any possible legal system, it is true in all possible legal systems. I use this all-or-nothing result in my critique of a Hartian account, but the result is of interest in its own right. (shrink)

When it comes to using patient data from the National Health Service for research, we are often told that it is a matter of trust: we need to trust, we need to build trust, we need to restore trust. Various policy papers and reports articulate and develop these ideas and make very important contributions to public dialogue on the trustworthiness of our research institutions. But these documents and policies are apparently constructed with little sustained reflection on the nature of trust (...) and trustworthiness, and therefore are missing important features that matter for how we manage concerns related to trust. We suggest that what we mean by ‘trust’ and ‘trustworthiness’ matters and should affect the policies and guidance that govern data sharing in the NHS. We offer a number of initial, general reflections on the way in which some of these features might affect our approach to principles, policies and strategies that are related to sharing patient data for research. This paper is the outcome of a ‘public ethics’ coproduction activity which involved members of the public and two academic ethicists. Our task was to consider collectively the accounts of trust developed by philosophers as they applied in the context of the NHS and to coproduce an argumentative position relevant to this context. (shrink)

It is shown that the decision problem for the temporal logic with until and since connectives over real-numbers time is PSPACE-complete. This is the most practically useful dense time temporal logic.

Several researchers have recently argued that p values lose their meaning in exploratory analyses due to an unknown inflation of the alpha level (e.g., Nosek & Lakens, 2014; Wagenmakers, 2016). For this argument to be tenable, the familywise error rate must be defined in relation to the number of hypotheses that are tested in the same study or article. Under this conceptualization, the familywise error rate is usually unknowable in exploratory analyses because it is usually unclear how many hypotheses (...) have been tested on a spontaneous basis and then omitted from the final research report. In the present article, I argue that it is inappropriate to conceptualize the familywise error rate in relation to the number of hypotheses that are tested. Instead, it is more appropriate to conceptualize familywise error in relation to the number of different tests that are conducted on the same null hypothesis in the same study. Under this conceptualization, alpha level adjustments in exploratory analyses are (a) less necessary and (b) objectively verifiable. As a result, p values do not lose their meaning in exploratory analyses. (shrink)

It is likely that sex robots will exist in the near future, making the effect they might have on human relationships a pressing concern. In this future world, we can imagine sex robots shaping our personal and social relationships through their unique access to, and potential for influencing, our most intimate of behaviours. We investigate whether they might be employed to influence social behaviours in a positive way. The paper begins with an account of the state of the art, acknowledges (...) powerful feminist criticisms that have been made of sex robots, and evaluates suggestions that it might be possible to design sex robots which do not raise these concerns and which might even work to influence social behaviours in a positive way. It then outlines a number of ways that sex robots might be used to educate, “nudge”, and influence people in positive ways. It defends the idea that it would be ethical to use sex robots to promote socially positive behaviours — behaviours that benefit others and improve social cohesion, such as fostering respect and empathy for persons — but not to promote commercial products for parochial interests. We argue that the former project could advance individual and social welfare, while preserving personal autonomy — a minimum requirement of which is the ability to make informed decisions — whereas the latter depends on a lack of transparency and democratic control for its success, targets the vulnerability of the user to achieve its ends, and reinforces the problematic symbolism of negatively gendered sexuality. If sex robot design and application meet public requirements of transparency — enabling informed consent and reflective decision making — and democratic oversight — promoting accountability and the sharing of power with the public — it is conceivable that sex robots might assist, rather than harm society. (shrink)

We all believe an unbounded number of things about the way the world is and about the way the world works. For example, I believe that if I move this book into the other room, it will not change color -- unless there is a paint shower on the way, unless I carry an umbrella through that shower, and so on; I believe that large red trucks at high speeds can hurt me, that trucks with polka dots can hurt (...) me, and so on; that if I move this book, the room will stay in place -- unless there is a pressure switch under the book attached to a bomb, unless the switch communicates to the bomb by radio and there is shielding in the way, and so on; that the moon is not made of green cheese, that the moon is not made of caviar, that the moon is not made of gold, and so on. The problems involved in accounting for such infinite proliferations of beliefs -- and the computations and inferences that take them into account -- are collectively called the Frame Problems, and are considered by some to constitute a major discovery of a new philosophical problem. How could we possibly learn them all? How could the brain possibly hold them all? The problems appear insoluble, impossible. Yet we all learn and hold such unbounded numbers of beliefs; in particular, children do. Something must be wrong. I wish to argue that the frame problem arises from a fundamental presupposition about the nature of representation -- a false presupposition. Yet, it is a presupposition that dominates contemporary developmental psychology (and psychology more broadly, and cognitive science, artificial intelligence, philosophy of mind, and so on). In particular, I will offer an alternative model of the nature of representation within which the frame problem does not arise -- within which such unboundedness is natural. (shrink)

I know that I could have been where you are right now and that you could have been where I am right now, but that neither of us could have been turnips or natural numbers. This knowledge of metaphysical modality stands in need of explanation. I will offer an account based on our knowledge of the natures, or essencess, of things. I will argue that essences need not be viewed as metaphysically bizarre entities; that we can conceptualise and refer to (...) essences; and that we can gain knowledge of them. We can know about which properties are, and which properties are not, essential to a given entity. This knowledge of essence offers a route to knowledge of the ways those entities must be or could be. (shrink)

The meeting focused on uses of ontologies, with a special focus on spatial ontologies, in addressing the ever increasing needs faced by biology and medicine to cope with ever expanding quantities of data. To provide effective solutions computers need to integrate data deriving from myriad heterogeneous sources by bringing the data together within a single framework. The meeting brought together leaders in the field of what are called "top-level ontologies" to address this issue, and to establish strategies among leaders in (...) the field of biomedical ontology for the creation of interoperable biomedical ontologies which will serve the goal of useful data integration. (shrink)

Questions of how we claim to know the things that we know and whose claims to knowledge are treated as authoritative are inescapable in reaching legal judgments. I want to illustrate this generalization by referring to a pair of hypothetical self-defense cases that, I argue, require fact finders to judge both how “accurately” each defendant understood the situation in which he found himself and how accurately policymakers can assess the consequences of alternative legal rules.The first case I will deal with (...) is one in which the defendant shoots and kills her sleeping husband. The husband had physically abused her over a long period. While the defendant will of course acknowledge that she was in no immediate danger at the moment she killed the man, her preliminary claim is that she needed to act self-defensively at that moment for fear that she subsequently would be incapable of defending herself against life-threatening attacks that she was convinced would inevitably be made.The second case is one in which a white defendant shoots and kills a black teenager who has confronted him on the subway, in a situation in which the teenager’s “threats” were ambiguous. The shooting victim had brandished no weapon and made no physical contact with the defendant, but he had “asked” the defendant for money and, in the defendant’s mind, displayed a generally threatening demeanor. I will presuppose that this defendant—unlike Bernhard Goetz, the defendant in the notorious New York subway vigilante case on which I partly base this hypothetical model—overtly acknowledges that the race of the victim played a substantial role in his assessment of the danger of the situation. Mark Kelman, professor of law at Stanford University, is the author of A Guide to Critical Legal Studies as well as a number of articles on law and economics, taxation, criminal law, and legal theory. (shrink)