In this paper I urge friends of truth-value gaps and truth-value gluts – proponents of paracomplete and paraconsistent logics – to consider theories not merely as sets of sentences, but as pairs of sets of sentences, or what I call ‘bitheories,’ which keep track not only of what holds according to the theory, but also what fails to hold according to the theory. I explain the connection between bitheories, sequents, and the speech acts of assertion and denial. I illustrate the (...) usefulness of bitheories by showing how they make available a technique for characterising different theories while abstracting away from logical vocabulary such as connectives or quanti- fiers, thereby making theoretical commitments independent of the choice of this or that particular non-classical logic. (shrink)

In this paper, I distinguish different kinds of pluralism about logical consequence. In particular, I distinguish the pluralism about logic arising from Carnap’s Principle of Tolerance from a pluralism which maintains that there are different, equally “good” logical consequence relations on the one language. I will argue that this second form of pluralism does more justice to the contemporary state of logical theory and practice than does Carnap’s more moderate pluralism.

In many societies, the aging of the population is becoming a major problem. This raises difficult issues for ethics and public policy. On what is known as the fair innings view, it is not impermissible to give lower priority to policies that primarily benefit the elderly. Philosophers have tried to justify this view on various grounds. In this article, I look at a consequentialist, a fairness-based, and a contractarian justification. I argue that all of them have implausible implications and fail (...) to correspond to our moral intuitions. I end by outlining a different kind of consequentialist justification that avoids those implications and corresponds better to our considered moral judgments. (shrink)

Wendy S. Parker and I have advanced an inductive-risk approach to the provision of climate information that relies on the contextual values of information users. This approach aims to improve the e...

Natural deduction with alternatives extends Gentzen–Prawitz-style natural deduction with a single structural addition: negatively signed assumptions, called alternatives. It is a mildly bilateralist, single-conclusion natural deduction proof system in which the connective rules are unmodi_ed from the usual Prawitz introduction and elimination rules — the extension is purely structural. This framework is general: it can be used for (1) classical logic, (2) relevant logic without distribution, (3) affine logic, and (4) linear logic, keeping the connective rules fixed, and varying purely (...) structural rules. The key result of this paper is that the two principles that introduce kinds of irrelevance to natural deduction proofs: (a) the rule of explosion (from a contradiction, anything follows); and (b) the structural rule of vacuous discharge; are shown to be two sides of a single coin, in the same way that they correspond to the structural rule of weakening in the sequent calculus. The paper also includes a discussion of assumption classes, and how they can play a role in treating additive connectives in substructural natural deduction. (shrink)

Mark Balaguer's Platonism and Anti-Platonism in Mathematics presents an intriguing new brand of platonism, which he calls plenitudinous platonism, or more colourfully, full-blooded platonism. In this paper, I argue that Balaguer's attempts to characterise full-blooded platonism fail. They are either too strong, with untoward consequences we all reject, or too weak, not providing a distinctive brand of platonism strong enough to do the work Balaguer requires of it.

This essay is structured around the bifurcation between proofs and models: The first section discusses Proof Theory of relevant and substructural logics, and the second covers the Model Theory of these logics. This order is a natural one for a history of relevant and substructural logics, because much of the initial work — especially in the Anderson–Belnap tradition of relevant logics — started by developing proof theory. The model theory of relevant logic came some time later. As we will see, (...) Dunn’s algebraic models [76, 77] Urquhart’s operational semantics [267, 268] and Routley and Meyer’s relational semantics [239, 240, 241] arrived decades after the initial burst of activity from Alan Anderson and Nuel Belnap. The same goes for work on the Lambek calculus: although inspired by a very particular application in linguistic typing, it was developed first proof-theoretically, and only later did model theory come to the fore. Girard’s linear logic is a different story: it was discovered though considerations of the categorical models of coherence.. (shrink)

Many logics in the relevant family can be given a proof theory in the style of Belnap's display logic. However, as originally given, the proof theory is essentially more expressive than the logics they seek to model. In this paper, we consider a modified proof theory which more closely models relevant logics. In addition, we use this proof theory to show decidability for a large range of substructural logics.

It is common parlance among philosophers who inquire into the nature of consciousness to speak of there being something it is like for the subject of a mental state to be in it. The popularity of the ‘what-it-is-like’ phrase stems, in part, from the assumption that it enables us to distinguish, in an intuitive and illuminating way, between conscious and unconscious mental states: conscious mental states, unlike unconscious mental states, are such that there is something it is like for their (...) subjects to be in them. The ‘what-it-is-like’ phrase, however, has not gone unopposed; some very clever philosophers have vigorously disputed it. Peter Hacker, for example, has argued that the phrase should be abandoned because it is ungrammatical, and Paul Snowdon has argued that it should be abandoned because the propositions expressed by its usage are either trivial or false. This paper mounts a case for the claim that neither of these conclusions is warranted. Against Hacker, it is argued that the arguments he produces for the ungrammaticality of the phrase are unpersuasive, and against Snowdon it is argued that he fails to consider a plausible and independently motivated interpretation of the phrase, and that, on this interpretation, the propositions expressed by its usage are non-trivially true. (shrink)

Altruism has long been taken to be the guiding principle of ethical organ donation in the UK, and has been used as justification for rejecting or allowing certain types of donation. We argue that, despite this prominent role, altruism has been poorly defined in policy and position documents, and used confusingly and inconsistently. Looking at how the term has been used over recent years allows us to define ‘organ donation altruism’, and comparing this with accounts in the philosophical literature highlights (...) its theoretical shortcomings. The recent report from the Nuffield Council on Bioethics reaffirmed the importance of altruism in organ donation, and offered a clearer definition. This definition is, however, more permissive than that of altruism previously seen in UK policy, and as a result allows some donations that previously have been considered unacceptable. We argue that while altruistic motivation may be desirable, it is not necessary. (shrink)

Engineers should learn how to act on their responsibility to society during their education. At present, however, it is unknown what students think about the meaning of socially responsible engineering. This paper synthesizes 4 years of longitudinal interviews with engineering students as they progressed through college. The interviews revolved broadly around how students saw the connections between engineering and social responsibility, and what influenced these ideas. Using the Weidman Input–Environment–Output model as a framework, this research found that influences included required (...) classes such as engineering ethics, capstone design, and some technical courses, pre-college volunteering and familial values, co-curricular groups such as Engineers Without Borders and the Society of Women Engineers, as well as professional experiences through internships. Further, some experiences such as technical courses and engineering internships contributed to confine students’ understanding of an engineer’s social responsibility. Overall, students who stayed in engineering tended to converge on basic responsibilities such as safety and bettering society as a whole, but tended to become less concerned with improving the lives of the marginalized and disadvantaged. Company loyalty also became important for some students. These results have valuable, transferable contributions, providing guidance to foster students’ ideas on socially responsible engineering. (shrink)

This article critiques the `dominant view' of the popularization of science that takes it as a one-way process of simplification, one in which scientific articles are the originals of knowledge that is then debased by translation for a public that is ignorant of such matters, a blank slate. Recent work is surveyed in several disciplines that questions the boundaries of scientific discourse and genres of popularization: who the actors are, how the discourses interact, what modes are involved, and what is (...) communicated. Implications are drawn from these studies for discourse analysis. (shrink)

In this note I respond to Hartley Slater's argument 12 to the e ect that there is no such thing as paraconsistent logic. Slater's argument trades on the notion of contradictoriness in the attempt to show that the negation of paraconsistent logics is merely a subcontrary forming operator and not one which forms contradictories. I will show that Slater's argument fails, for two distinct reasons. Firstly, the argument does not consider the position of non-dialethic paraconsistency which rejects the possible truth (...) of any contradictions. Against this position Slater's argument has no bite at all. Secondly, while the argument does show that for dialethic paraconsistency according to which contradictions can be true, certain other contradictions must be true, I show that this need not deter the dialethic paraconsistentist from their position. (shrink)

Karl Popper defines an ad hoc hypothesis as one that is introduced to immunize a theory from some (or all) refutation but which cannot be tested independently. He has also attempted to explicate ad hocness in terms of certain other allegedly undesirable properties of hypotheses or of the explanations they would provide, but his account is confused and mistaken. The first such property is circularity, which is undesirable; the second such property is reduction in empirical content, which need not be. (...) In the former case, I argue that non-circularity is in any event preferable to non-ad hocness as a necessary condition for a satisfactory explanation or an explanans, as the case may be, and I try to sort out various persistent errors surrounding this comparison. In the latter case, I suggest that Popper is barking up the wrong tree, that important scientific progress sometimes does consist in just such reductions in empirical content as he proscribes. This provides a further reason for not taking ad hoc hypotheses as Popper conceives them to pose the danger for science he believes they do. (shrink)

Technological progress may eventually produce sophisticated robots with human-like traits that result in humans forming meaningful relationships with them. Such relationships would likely lead to a demand for human–artificial intelligence matrimony. U.S. Supreme Court decisions that expanded the definition of marriage to include interracial and same-sex couples, as well as those that have not extended marriage to polygamous relationships, provide guidance regarding the criteria that human–AI would have to meet to successfully assert a right to marry. Ultimately, robots will have (...) to possess certain characteristics of personhood to marry, including the capacity to contract and to engage in an intimate relationship. Alternatively, if AIs can simulate these abilities sufficiently, we may believe that they have these capacities. Even if AIs genuinely possess the capabilities necessary to enter into a marriage, it is social acceptance of intelligent non-humans as life partners that will likely influence legal development is this realm rather than personhood criteria. However, AIs are likely to face bias due to their “artificial” rather than biological nature. Yet, Peter Singer’s influential argument regarding speciesism in the context of animal rights implies that AIs with specific human-like qualities cannot be justifiably denied certain rights. (shrink)

Beginning with analyses of English generic sentences and English plural indefinite noun phrases (e.g.dogs), we proceed to apply mechanisms there motivated to a characterization of atemporalwhen, a sense ofwhen which does not appear to involve time. Dealt with are such examples as Dogs are intelligent when they have blue eyes, and their relationships to examples like Dogs that have blue eyes are intelligent. The proposed treatment of atemporalwhen helps motivate the existence of a generic verb phrase operator in English, as (...) well as the treatment of indefinite plural noun phrases as disguised definite descriptions. (shrink)

Stanley and Williamson reject Ryle's knowing‐how/knowing‐that distinction charging that it obstructs our understanding of human action. Incorrectly interpreting the distinction to imply that knowledge‐how is non‐propositional, they object that Ryle's argument for it is unsound and linguistic theory contradicts it. I show that they (and their interlocutors) misconstrue the distinction and Ryle's argument. Consequently, their objections fail. On my reading, Ryle's distinction pertains to, not knowledge, but an explanatory gap between explicit and implicit content, and his argument for it is (...) sound. I defend the distinction's necessity in explaining human action and show that it propels a fruitful explanatory program. (shrink)

A philosophical exploration of the problematic nature of the disposable.

Quality of life research aims to develop and apply indices for the measurement of human welfare. It is an increasingly important field within the social sciences and its results are an important resource for policy making and evaluation. This paper explores the conceptual background of quality of life research. It focuses on its single most important issue: the controversy between the use of ``objective social indicators'' and the use of people's ``subjective evaluations'' as proxies for welfare. Most quality of life (...) researchers today argue that people's own evaluations have an indispensable role in quality of life measurement. I argue that their position must be defended on philosophical grounds, because their use of evaluations commits them to some particular theories of welfare. I explore the connections between theories of welfare in philosophy and the use of evaluations in quality of life research. I conclude that even though evaluations may have a role in particular applications, they are unlikely to have a role in all applications. (shrink)

Despite the fact that most of us value integrity, and despite the fact that we readily understand one another when we talk and argue about it, integrity remains elusive to understand. Considerable scholarly attention has left troubling disagreement on fundamental issues: Is integrity in fact a virtue? If it is, what is it a virtue of? Why exactly should we value integrity? What is the appropriate way to have concern for one’s own integrity? Is having integrity compatible with having significant (...) moral flaws? After an overview of common ‘data points’ or platitudes concerning integrity, this article outlines six distinct views of integrity that have been defended and draws attention to problems each has accommodating these data points. (shrink)

One way of evaluating health is in terms of its impact on well-being. It has been shown, however, that evaluating health this way runs into difficulties, since health and other aspects of well-being are not separable. At the same time, the practical implications of the inseparability problem remain unclear. This paper assesses these implications by considering the relations between theories, components, and indicators of well-being.

To protect the welfare and rights of participants in research and to facilitate research that will be of benefit, as well as protect them against litigation, universities and research-funding agencies in Australia adopted the National Statement on Ethical Conduct in Research Involving Humans (NHMRC 1999).1 In many other countries there are similar statements. However, the ways in which such statements are often implemented by Human Research Ethics Committees (HRECs) 2 are in conflict with an important stream of industrial sociological research. (...) This stream seeks to deconstruct workplaces and de-layer management rhetoric to understand the realities and complexities of the social relations of production. There is a pluralist basis for much industrial sociology that challenges the unitarist view of the workplace as essentially harmonious. While views of workplaces as being conflictual and exploitative have to be tempered with an understanding of the accommodative and cooperative nature of workplace relations, there is nevertheless a general recognition of acts of resistance, as well as those of cooperation. The way in which the National Statement is typically implemented in Australia means that many HRECs require written, informed consent, which in the first instance will usually be that of management. An unintended consequence is a research focus on consensus, which is at best one-sided and at worst seriously misleading. It is unlikely that managerial consent will be granted unless there is a ‘good news story’ guaranteed. This article explores the ways in which HRECs may influence workplace research. The publication of the revised National Statement provides a valuable opportunity not to be missed by HRECs to implement more effective and efficient practices which would not have the unintended consequences of the earlier version. This would deserve the support of researchers in industrial sociology and other branches of the social sciences. (shrink)

This paper uses Deleuze and Guattari’s concept of faciality to analyse the teacher’s face. According to Deleuze and Guattari, the teacher-face is a special type of face because it is an ’overcoded’ face produced in specific landscapes. This paper suggests four limit-faces for teacher faciality that actualise different mixes of signifiance and subjectification in a classroom in which individualisation and massifications are affected. Understanding these limit-faces suggests new ways to conceive the affects actualised in the classroom that are subjected to (...) increasing levels of surveillance from education policy makers. Through this ‘partial mapping’ new possibilities emerge to “escape the face”. (shrink)

Analysing Jonathan Glazer’s Under the Skin (2013), this article provides an overview of the importation of suture theory from psychoanalysis into film theory and Žižek’s revisiting of this theory, then bringing about a rapprochement between the concepts of suture and Malabou’s destructive plasticity, as expounded in her work The New Wounded. The forms of wounded subjectivity we find there are unable to stitch themselves into the illusory narratives needed to enable them to access a fixed sense of individual or shared (...) identity and enclose them in a subjectivity separated off from all else around. Here, on the contrary, alterity, the alien, is situated within. It is such a form of subjectivity, I argue, that we find in Glazer’s Under the Skin where this narrative plays out not only diegetically, as we witness the alien that has sutured itself inside a human envelope attempt and fail to articulate itself to an external narrative that remains inaccessible to it, but infratextually also. Indeed, ultimately this article suggests that Under the Skin can be read as a commentary on the viewing subject required by (and forms of subjectivity produced by) post-cinematic media forms that at first seem to operate according to a different logic to the cinematic syntax of classical cinema, but which may in fact require us to reconsider some of our assumptions with regard to all forms of cinematic subjectivity produced in the relations between spectator and screen. (shrink)

The Variety of Evidence Thesis (VET) says that (ceteris paribus) the more diverse (or varied) of two bodies of evidence is the more confirmatory of a hypothesis H. Two recent types of Bayesian explication of VET account for the intuitive force of VET by defining variety as some function of the probabilities of the propositions which collectively constitute a body of evidence. I show that these two accounts of VET are not tracking a meaningful property of bodies of evidence, but (...) rather are tracking artifacts of how those bodies of evidence are described. According to each account, whether a body of evidence is more varied than another depends on how the bodies are split into parts. Furthermore, for each type of account there exists a way to redescribe the total evidence such that any two totalities are equally varied. ‡I would like to thank Elliott Sober for comments on multiple drafts of this paper, and Malcolm Forster, John Koolage, and Joel Velasco for comments on a verbal delivery. †To contact the author, please write to: Department of Philosophy, University of Wisconsin-Madison, 5185 Helen C. White Hall, 600 North Park Street, Madison, WI 53706; e-mail: [email protected]. (shrink)

Reason, objectivity, and human nature are now suspect ideas. Among postmodern thinkers, Richard Rorty has advanced an especially forceful critique of these notions. Drawing partly on Wittgenstein's philosophy of language, Rorty contends that objectivity is no more than a metaphysical name for intersubjective agreement, and that “human nature” is an empty category, there being nothing beneath history and culture. Wittgenstein himself, however, recognized within the world's many civilizations “the common behavior of mankind,” without which Rorty's ethnocentric “solidarity” would be inconceivable. (...) This common form of life—the life of those who speak—encompasses countless human activities that presuppose and are interwoven with the concepts of reason and objectivity. (shrink)

In life reason and emotion are best when complementary. In fact active inquiry in philosophy and in science and mathematics do meet best in the learning process. Since significant meaning making activities can occur in mathematics, philosophy should be studied in the science class. "The notion that mathematics is cold-blooded and stories are warm-blooded must be rethought.".

According to a common line of criticism, Donald Davidson’s argument in “On the Very Idea of a Conceptual Scheme” is invalid because it moves illicitly from the relatively weak thesis that conceptual schemes cannot be incommensurable to the stronger thesis that the idea of a conceptual scheme itself is incoherent. I argue in this paper that such objections fail because they misunderstand the position that Davidson’s argument is intended to rule out. According to the “scheme-content dualism” Davidson targets, conceptual schemes (...) differ only if they are incommensurable with one another. Thus, if Davidson has successfully shown the idea of incommensurability to be incoherent, then he has shown “the very idea of a conceptual scheme” to be incoherent, as well. (shrink)

It has been argued that the criterion of right intention adds nothing in just war theory – that it is subsumed by other conditions on just war. It has also been argued that there is no tenable reading of the criterion at all, and in particular that taking it as a positive requirement on the state's motives is after all incoherent in a way that would make it impossible to satisfy. This article gives an action-theoretic analysis of (one central understanding (...) of) the criterion and uses it to examine arguments that have been offered for the strong negative claims above. It is shown that none of these arguments succeed. Our endeavor brings welcome clarity and understanding to our own ideas about the criterion. (shrink)

David Chalmers argues that consciousness -- authentic, first-person, conscious consciousness -- cannot be reduced to brain events or to any physical event, and that efforts to find a workable mind-body identity theory are, therefore, doomed in principle. But for Chalmers and non-reductionist in general consciousness consists exclusively, or at least paradigmatically, of phenomenal or qualia-consciousness. This results in a seriously inadequate understanding both of consciousness and of the “hard problem.” I describe other, higher-order cognitional events which must be conscious if (...) the “hard problem” is to be solved -- in any sense of ‘solve’ which would make us any the wiser about it -- but whose consciousness is quite different from the qualia and phenomena usually inventoried. Events of this kind are both part of the hard problem and the means by which we will solve it, if we ever do. (shrink)

This article reflects on the successes and failures of a new Philosophy and Ethics course in a low socioeconomic context in Perth, Western Australia, with the eventual demise of the subject in the school at the end of 2010. We frame this reflection within Deleuzian notions of geophilosophy to advocate for a Philosophy and Ethics that is informed by nomadic thought, as this offers a critical freedom for students to transform themselves and their society and suggests practical ways both of (...) overcoming the prejudices which led to its demise and of student reluctance to engage in open discussion in class. We consider the demise of the course a ‘missed opportunity’ because it had so much potential to be transformative of student subjectivities in schools. (shrink)

Harry Frankfurt has famously argued against the principle of alternate possibilities by presenting a case in which, apparently, a person is morally responsible for what he has done even though he could not have done otherwise. A number of commentators have proposed dispositionalist responses to Frankfurt, arguing that he has not produced a counterexample to PAP because, contrary to appearances, the ability to do otherwise is indeed present but is a disposition that has been ‘masked’ or ‘finked’ by the presence (...) of a counterfactual controller. This article argues that this response to Frankfurt does not undercut his attack on PAP, since there are Frankfurt-style counterexamples to the principle—‘brain-malfunction’ cases—that evade the dispositionalist analysis. (shrink)

Martin Heidegger is still subject to controversial discussions about his political views. The question in the centre of the discussions is not if he was politically on the far right, but how far right he was, and also how far right his philosophy is. However, the details of Heidegger’s political approaches in his work are largely disguised and hidden behind Heidegger’s typical writing style, which has remained undefined for so long. There is a short essay in Heidegger’s work that may (...) shed light on the roots and details of his ethnic-identity thinking: “Memorial Address”. (shrink)

Neoclassical and Austrian economic theory lend support to a conception of laissez‐faire capitalism as an ideal scheme of cooperation in which individual decisions are harmonized, and income is distributed according to one's productive contribution. Keynes's critique of this conception has an often‐overlooked moral dimension, according to which the coordination problems that trouble real‐world market economies produce an arbitrary and inequitable distribution of wealth and income.

Governmental organizations funding science m several nations are creating large research centers that draw on several disciplines and that focus research on an area of immediate use to industrial concerns. I analyze eight proposals for a U.K. center devoted to human communication. I argue that the boundaries that such a center seeks to cross— between areas of knowledge, between disciplines, between academic and nonacademic research—are constructed in the proposals for strategic purposes m the immediate situations. The study supports other recent (...) work on the crucial role of texts as interme diaries in the science policy processes, and on the need to recognize the unexpected contingencies and unintended consequences of textual circulation. (shrink)

Utilitarianism is the theory that whether an action is morally right or wrong depends entirely on how beneficial or harmful it will be for everyone involved, only the net balance of benefit and harm matters. Most utilitarians believe that the only thing valuable in itself is happiness, and the only thing bad in itself is suffering; so, to maximize utility is to maximize happiness and minimize suffering. Utilitarians would be baffled by the common Vulcan view that emotions are best gotten (...) rid of. According to utilitarianism, the duty to put the needs of the many ahead of the needs of the few extends even to people one has personal relationships with, like friends and family. The protagonists of the Star Trek franchise would seem to agree, as they generally place personal loyalty over public duty. (shrink)

Anthropological contributions are essential to understanding the evolution of writing and its potential variation. Although Stanislas Dehaene calls for a ‘neuro-anthropological perspective’, he neglects anthropological evidence, including the only indisputable case of independent invention of writing: the pre-Columbian systems of the Americas. Here I argue that anthropological and historical accounts of the cultural evolution of language suggest that ecological, technological, social and political factors have all influenced the ongoing development of writing systems, even in directions contrary to that predicted by (...) a model of increased neural efficiency. In addition, Pre-Columbian writing systems, not subject to a diffusionist confound because of their independent invention, caution that our research on diversity in writing may represent a small, systematically biased sample. To truly understand neuro-cognitive variation, we have to avoid both overly ambitious universalisms and radical cultural relativism. (shrink)

Shapiro and Taschek have argued that simply using intuitionistic logic and its Heyting semantics, one can show that there are no gaps in warranted assertability. That is, given that a discourse is faithfully modeled using Heyting's semantics for the logical constants, then if a statement _S is not warrantedly assertable, its negation (superscript box) _S is. Tennant has argued for this conclusion on similar grounds. I show that these arguments fail, albeit in illuminating ways. An appeal to constructive logic does (...) not commit one to this strong epistemological thesis, but appeals to semantics of intuitionistic logic none the less do give us certain conclusions about the connections between warranted assertability and truth. (edited). (shrink)