Online research in philosophy

We show through analysis of personal advertisements that age preferences for a homosexual or lesbian partner are similar to differences found between men and women in age preferences for a opposite-sex partner. Such data call into question the claim by Kenrick & Keefe (1992) that the sex differences in age selectivity in mate selection are governed by reproductive strategies.

Dienes' & Perner's proposals are discussed in relation to the distinction between explicit and implicit systems of thinking. Evans and Over (1996) propose that explicit processing resources are required for hypothetical thinking, in which mental models of possible world states are constructed. Such thinking requires representations in which the individuals' propositional attitudes including relevant beliefs and goals are made fully explicit.

Ray examines the central questions that arise from the ideas of Einstein, Leibniz and Newton.

In recent years, the psychology of reasoning has been undergoing a paradigm shift, with general Bayesian, probabilistic approaches replacing the older, much more restricted binary logic paradigm. At the same time, dual processing theories have been gaining influence. We argue that these developments should be integrated and moreover that such integration is already underway. The new reasoning paradigm should be grounded in dual processing for its algorithmic level of analysis just as it uses Bayesian theory for its computational level of (...) analysis. Moreover, we propose that, within the new paradigm, these levels of analysis reflect on each other. Bayesianism suggests a specific theoretical understanding of dual processing. Just as importantly, the duality in processing carries over to duality in function; although both types of processes compute degrees of belief, they generate different functions. (shrink)

In his commentary, Oaksford makes two main claims: (1) that the externalisation method used by Green, Over, and Pyne (1997) enforces the correlation observed between probability estimates and selection, and (2) that these estimates support the prediction of a downward revision of P(p) when P(p) > P(q). In this reply, we rebut claim 1 by describing the instructions more comprehensively, and claim 2 by reiterating the importance of making certain theoretical distinctions which Oaksford does not make. Our interest is (...) the psychological process of reaching decision: externalisation methods provide a means of exploring this process and of assessing the value of Bayesian approaches. (shrink)

Łukasiewicz three-valued logic Ł3 is often understood as the set of all 3-valued valid formulas according to Łukasiewicz’s 3-valued matrices. Following Wojcicki, in addition, we shall consider two alternative interpretations of Ł3: “well-determined” Ł3a and “truth-preserving” Ł3b defined by two different consequence relations on the 3-valued matrices. The aim of this paper is to provide (by using Dunn semantics) dual equivalent two-valued under-determined and over-determined interpretations for Ł3, Ł3a and Ł3b. The logic Ł3 is axiomatized as an extension of (...) Routley and Meyer’s basic positive logic following Brady’s strategy for axiomatizing many-valued logics by employing two-valued under-determined or over-determined interpretations. Finally, it is proved that “well determined” Łukasiewicz logics are paraconsistent. (shrink)

Psychologically based accounts of personal identity over time start from a view of persons as experiencing subjects. Derek Parfit argues that if such an account is to justify the importance we attach to identity it will need to provide a deep unity of consciousness throughout the life of a person, and no such unity is possible. In response, many philosophers have switched to a view of persons as essentially agents, arguing that the importance of identity depends upon agential unity (...) rather than unity of consciousness. While this shift contributes significantly to the discussion, it does not offer a fully satisfying alternative. Unity of consciousness still seems required if identity is to be as important as we think it is. Views of identity based on agential unity do, however, point to a new understanding of unity of consciousness which meets Parfit's challenge, yielding an integrated view of identity which sees persons as both subjects and agents. Footnotesa I am indebted to many friends and colleagues for their input in the course of writing this essay. I would like especially to thank David DeGrazia, Anthony Laden, Ray Martin, Marc Slors, and the editors of Social Philosophy and Policy. (shrink)

I argue that it is intuitive and useful to think about composition in the light of the familiar functionalist distinction between role and occupant. This involves factoring the standard notion of parthood into two related notions: being a parthood slot and occupying a parthood slot. One thing is part of another just in case it fills one of that thing's parthood slots. This move opens room to rethink mereology in various ways, and, in particular, to see the mereological structure of (...) a composite as potentially outreaching the individual entities that are its parts. I sketch one formal system that allows things to have individual entities as parts multiple times over. This is particularly useful to David Armstrong, given Lewis's charge that his structural universals must do exactly that. I close by reflecting upon the nature and point of formal mereology. (shrink)

If, as the new tenseless theory of time maintains, there are no tensed facts, then why do our emotional lives seem to suggest that there are? This question originates with Prior’s ‘Thank Goodness That’s Over’ problem, and still presents a significant challenge to the new B-theory of time. We argue that this challenge has more dimensions to it than has been appreciated by those involved in the debate so far. We present an analysis of the challenge, showing the different (...) questions that a B-theorist must answer in order to meet it. The debate has focused on the question of what is the object of my relief when an unpleasant experience is past. We outline the prevailing response to this question. The additional, and neglected, questions are, firstly—‘Why does the same event elicit different emotional responses from us depending on whether it is in the past, present, or future?’ And secondly—‘Why do we care more about proximate future pain than about distant future pain?’ We give B-theory answers to these questions, which appeal to evolutionary considerations. (shrink)

In Book I, Part I, Section VII of the Treatise, Hume sets out to settle, once and for all, the early modern controversy over abstract ideas. In order to do so, he tries to accomplish two tasks: (1) he attempts to defend an exemplar-based theory of general language and thought, and (2) he sets out to refute the rival abstraction-based account. This paper examines the successes and failures of these two projects. I argue that Hume manages to articulate a (...) plausible theory of general ideas; indeed, a version of his account has defenders in contemporary cognitive science. But Hume fails to refute the abstraction-based account, and as a result, the early modern controversy ends in a stalemate, with both sides able to explain how we manage to speak and think in general terms. Although Hume fails to settle the controversy, he nevertheless advances it to a point from which we have yet to progress: the contemporary debate over abstract ideas in cognitive science has stalled on precisely this point. (shrink)

A variant of Hilary Putnam's model-theoretic argument against metaphysical realism appears to show that our quantifiers do not determinately range over absolutely everything. This paper argues that some recent attempts to respond to the quantificational skeptic are unsuccessful and offers an alternative response: the key to answering the skeptic is not to refute her argument but to realize that the argument's setup prevents it from being convincing to those it is directed at.

I am now typing on a computer I bought two years ago. The computer I bought is identical to the computer on which I type. My computer persists over time. Let us divide our subject matter in two. There is first the question of criteria of identity, the conditions governing when an object of a certain kind, a computer for instance, persists until some later time. There are secondly very general questions about the nature of persistence itself. Here I (...) include the question of temporal parts, as well as certain familiar paradoxes (e.g., the statue and the lump). Following John Perry (1975, Introduction), let us characterize a criterion of identity over time for F s as a way of filling in φ in the following schema: Stages S1 and S2 belong to some continuing F iff φ Defenders of temporal parts (see below) regard S1 and S2 as being temporal parts of the continuing F ; others regard S1 and S2 as different stages in the life history of the continuing F . Thus each camp can make use of Perry’s formula. It is traditional to divide such criteria into those governing persons and those governing anything else. It is further traditional to say that the criterion of identity over time for non-persons involves spatiotemporal continuity. An excellent discussion is Eli Hirsch’s The Concept of Identity1, which utilizes the notion of continuity under a sortal. Kind-terms, or sortals, are terms that specify what kind of or sort of thing an object is. Examples include ‘tree’, ‘car’, and ‘mountain’. Where F is a sortal, Hirsch’s analysis is roughly that stages belong to the same F iff they are connected by a spatiotemporally and qualitatively continuous sequence of F -stages. Unmodified, this analysis prohibits temporally discontinuous entities, such as a watch that is taken apart and then reassembled. Hirsch discusses the necessary modifications. Spatiotemporal continuity analyses face a problem when applied to the persistence of matter. The literature here has been dominated by discussion of examples provided by David Armstrong (1980) and Saul Kripke (unpublished.... (shrink)

In the philosophy of science, identity over time emerges as a central concern both as an ontological category in the interpretation of physical theories, and as an epistemological problem concerning the conditions of possibility of knowledge. In Reichenbach and subsequent writers on the problem of indistinguishable quantum particles we see the return of a contrast between Leibniz and Aquinas on the subject of individuation. The possibility of rejecting the principle of the identity of indiscernibles has certain logical difficulties, leading (...) us inexorably from ontology into epistemology. For the epistemological problem we attend to the differences that emerged between the (neo-)Kantian and logical empiricist traditions, also saliently displayed in Reichenbach's writings. After examining the contrast between Kant's and Leibniz's conceptions of empirical knowledge, specifically with respect to the irreducibility of spatiotemporal determinations, we explore an application of a neo-Kantian view to the same problem of indistinguishable quantum particles. (shrink)

"THE central problem in moral philosophy is commonly known as the is-ought problem." So runs the opening sentence of the introduction to a recent volume of readings on this issue. [1] Taken as a statement about the preoccupations of moral philosophers of the present century, we can accept this assertion. The problem of how statements of fact are related to moral judgments has dominated recent moral philosophy. Associated with this problem is another, which has also been given considerable attention - (...) the question of how morality is to be defined. The two issues are linked, since some definitions of morality allow us to move from statements of fact to moral judgments, while others do not. In this article I shall take the two issues together, and try to show that they do not merit the amount of attention they have been given. I shall argue that the differences between the contending parties are terminological, and that there are various possible terminologies, none of which has, on balance, any great advantage over any other terminology. So instead of continuing to regard these issues as central, moral philosophers could, I believe, "agree to disagree" about the "is-ought" problem, and about the definition of morality, provided only that everyone was careful to stipulate how he was using the term "moral" and was aware of the implications and limitations of the definition he was using. Moral philosophers could then move on to consider more important issues. (shrink)

In recent years Structural Realism has been revived as a compromise candidate to resolve the long-standing question of scientific realism. Recent debate over structural realism originates with Worrall's (1989) paper "Structural Realism: The best of Both Worlds". However, critics such as Psillos contend that structural realism incorporates an untenable distinction between structure and nature, and is therefore unworkable. In this paper I consider three versions of structural realism that purport to avoid such criticism. The first is Chakravartty's "semirealism" which (...) proceeds by trying to show that structural realism and entity realism entail one another. I demonstrate that this position will not work, but follow Chakravartty's contention that structural realism need not imply that scientific knowledge can only be of mathematical structure. I advance from this conclusion to sketch a version of structural realism that is consistent with recent deflationary approaches to the scientific realism question. Finally, I consider a third approach to structural realism Ladyman's "metaphysical structural realism" which tries to avoid the difficulties of earlier versions by taking structure to be ontologically primary. I show that the deflationary approach to structural realism undermines the rationale behind Ladyman's approach. (shrink)

(Over)Interpreting Wittgenstein will be read by philosophers investigating Wittgenstein and by scholars, interpreters, students, and specialists, in both analytic and continental philosophy. It will intrigue readers interested in issues of interpretation and cultural studies. This book tells the story - as yet untold - of Wittgenstein interpretation during the past eighty years. It provides different interpretations, chronologies, developments, and controversies. It aims to discover the (socio-cultural rather than psychological) motives and motivations behind the philosophical community's project of interpreting Wittgenstein. (...) As a cultural history of ideas, it traces the parallelism between Wittgenstein interpretation and the move from metaphysics, to language, to postmodernism effected in the twentieth century. (shrink)

The intuition guiding the de…nition of computation has shifted over time, a process that is re‡ected in the changing formulations of the Church-Turing thesis. The theory of computation began with logic and gradually moved to the capacity of …nite automata. Consequently, modern computer models rely on general physical principles, with quantum computers representing the extreme case. The paper discusses this development, and the challenges to the Church-Turing thesis in its physical form, in particular, Kieu’s quantum computer and relativistic hyper-computation. (...) Finally, the robustness of the boundary between polynomial and exponential time complexity is considered in connection with quantum computers and quantum information theory. (shrink)

: Incommensurability between successive scientific theories—the impossibility of empirical evidence dictating the choice between them—was Thomas Kuhn's most controversial proposal. Toward defending it, he directed much effort over his last 30 years into formulating precise conditions under which two theories would be undeniably incommensurable with one another. His first step, in the late 1960s, was to argue that incommensurability must result when two theories involve incompatible taxonomies. The problem he then struggled with, never obtaining a solution that he found (...) entirely satisfactory, was how to extend this initial line of thought to sciences like physics in which taxonomy is not so transparently dominant as it is, for example, in chemistry. This paper reconsiders incommensurability in the light of examples in which evidence historically did and did not carry over continuously from old laws and theories to new ones. The transition from ray to wave optics early in the nineteenth century, we argue, is especially informative in this regard. The evidence for the theory of polarization within ray optics did not carry over to wave optics, so that this transition can be regarded as a prototypical case of discontinuity of evidence, and hence of incommensurability in the way Kuhn wanted. Yet the evidence for classic geometric optics did carry over to wave optics, notwithstanding the fundamental conceptual readjustment that Fresnel's wave theory required. (shrink)

In Logical consequence: A defense of Tarski (Journal of Philosophical Logic, vol. 25, 1996, pp. 617–677), Greg Ray defends Tarski"s account of logical consequence against the criticisms of John Etchemendy. While Ray"s defense of Tarski is largely successful, his attempt to give a general proof that Tarskian consequence preserves truth fails. Analysis of this failure shows that de facto truth preservation is a very weak criterion of adequacy for a theory of logical consequence and should be replaced by a stronger (...) absence-of-counterexamples criterion. It is argued that the latter criterion reflects the modal character of our intuitive concept of logical consequence, and it is shown that Tarskian consequence can be proved to satisfy this criterion for certain choices of logical constants. Finally, an apparent inconsistency in Ray"s interpretation of Tarski"s position on the modal status of the consequence relation is noted. (shrink)

Groups, individuals, and evolutionary restraints : the making of the contemporary debate over group selection Content Type Journal Article Pages 1-14 DOI 10.1007/s10539-011-9255-5 Authors Andrew Hamilton, Center for Biology and Society, School of Life Sciences, Arizona State University, Tempe, AZ 85287-4501 USA Christopher C. Dimond, Center for Biology and Society, School of Life Sciences, Arizona State University, Tempe, AZ 85287-4501 USA Journal Biology and Philosophy Online ISSN 1572-8404 Print ISSN 0169-3867.

This paper considers Peirce's striking remarks about mathematics in a little-known review of Spinoza's Ethics within the larger context of his philosophy of mathematics. It argues that, for Peirce, true mathematical reasoning is always at the vanguard of thought, and resists logical demonstration. Through diagrammatic thought and her pre-theoretical innate faculty of logica utens, the great mathematician is able to see a theorem as true long before the logical apparatus necessary to demonstrate its truth exists. For Peirce, true (theoremic) mathematical (...) thought is in some sense pre-logical, and thus, the logical demonstration of this thought in the form of mathematical proofs is in fact "merely a veil over the living thought.". (shrink)

There is not one but many ways to picture the world--Australian "x-ray" pictures, cubish collages, Amerindian split-style figures, and pictures in two-point perspective each draw attention to different features of what they represent. Understanding Pictures argues that this diversity is the central fact with which a theory of figurative pictures must reckon. Lopes advances the theory that identifying pictures' subjects is akin to recognizing objects whose appearances have changed over time. He develops a schema for categorizing the different ways (...) pictures represent--the different kinds of meaning they have--and argues that that depiction's epistemic value lies in its representational diversity. He also offers a novel account of the phenomenology of pictorial experience, comparing pictures to visual prostheses like mirrors and binoculars. (shrink)

In what follows, I motivate and clarify the controversy over metaphysical realism (the claim that there is a single objective way that the world is) by defending it against two objections. A clear understanding of why these objections are misguided goes a considerable distance in illuminating the complex and controversial nature of m-realism. Once the complex thesis is defined, some objections to it are considered. Since m-realism is such a complex and controversial thesis, it cannot legitimately be treated as (...) inevitable unless, of course, there are no viable alternatives to it. For this reason, a brief defense of non-realist metaphysics is offered. Since m-realism is both controversial and substantive, a commitment to it requires both explicit recognition and sustained defense. (shrink)

Biologists Richard Dawkins and Stephen Jay Gould have recently extended their decades-old disagreements about evolution to the issue of the nature and reality of evolutionary progress. According to Gould, 'progress' is a noxious notion that deserves to be expunged from evolutionary biology. In Dawkins' view, on the other hand, progress is one of the most important, pervasive and inevitable aspects of evolution. Simple appeals to 'the evidence' are clearly insufficient to resolve this disagreement, since it is precisely the interpretation of (...) the evidence that is in dispute. Scientific controversies in general, and the Dawkins/Gould dispute over evolutionary progress in particular, are worth examining in some detail because doing so sheds light on the interconnected roles of methodological and contextual factors in the formation, articulation and defense of scientific claims. My aim in this paper is to clarify the structure of the Dawkins/Gould dispute by analyzing it in terms of a tri-level model of scientific controversies, involving 'top-level' substantive disagreements, 'middle-level' methodological differences, and 'bottom-level' differences in historical and social factors. This simple three-tiered model is sufficiently abstract to have more general applicability to other scientific controversies. (shrink)

Quentin Meillassoux: After finitude: an essay on the necessity of contingency, trans. Ray Brassier. London and New York: Continuum, 2008, 27.95 ( hb );19.95 (pb). Graham Harman, Quentin Meillassoux: Philosophy in the making, Edinburgh: Edinburgh University Press, 2011, viii and 247 pp. 110.00 ( hb );32.00 (pb). Content Type Journal Article Category Book Review Pages 1-5 DOI 10.1007/s11153-012-9341-x Authors Clayton Crockett, University of Central Arkansas, 201 Donaghey Ave., Conway, AR 72035, USA Journal International Journal for Philosophy of Religion Online ISSN (...) 1572-8684 Print ISSN 0020-7047. (shrink)

I claim that differences in the importance attached to economic liberty are more important in debates over the use of genetically modified organisms (GMOs) in agriculture than disagreements about the precautionary principle. I will argue this point by considering a case study: the decision by the U.S. Animal and Plant Health Inspection Service (APHIS) to grant nonregulated status to Roundup Ready soy. I will show that the unregulated release of this herbicide-resistant crop would not be acceptable morally unless one (...) places a very high premium on economic liberty. This is true even if one takes a sound science attitude to unknown risks, rather than a precautionary attitude. I concede that it may not have been within APHIS’s legislative mandate to regulate Roundup Ready soy further, but for those of us who do not put a high premium on economic liberty, this only calls for extending regulatory oversight of GMOs. (shrink)

We present an axiomatisation for the first-order temporal logic with connectives Until and Since over the class of all linear flows of time. Completeness of the axiom system is proved.We also add a few axioms to find a sound and complete axiomatisation for the first order temporal logic of Until and Since over rational numbers time.

Many types of part-whole relations have been proposed in the literature to aid the conceptual modeller to choose the most appropriate type, but many of those relations lack a formal specification to give clear and unambiguous semantics to them. To remedy this, a formal taxonomy of types of mereological and meronymic part-whole relations is presented that distinguishes between transitive and intransitive relations and the kind of entity types that are related. The demand to use it effectively brings afore new requirements (...) for automated reasoning over a hierarchy of relations. To ensure logically and ontologically correct inferencing over both the class and role hierarchy, the new reasoning service RBox compatibility for Description Logics reasoners is introduced. The proposed combination of formal semantics and the new reasoning service will improve the representation of the application domain when using part-whole relations in conceptual models and ontologies. (shrink)

This paper empirically examines the financial performance of a UK unit trust that was initially “conventional” and later adopted socially responsible investment (SRI) principles (ethical investment principles). Comparison is made with three similar conventional funds whose investment objectives remained unchanged. Analysis techniques employed in previous studies find similar results: mean risk-adjusted performance is unchanged by the switch to SRI, with no evidence of over-or under-performance relative to the benchmark market index by any of the four funds. More interestingly, changes (...) in variability of returns over time are also modelled using generalised autoregressive conditional heteroscedasticity models, not previously applied to SRI funds so far as is known. Results show a temporary increase in variability of returns, followed by a return to previous levels after around 4 years. Evidence shows the increased variability to be associated with the adoption of SRI rather than with a change in fund management. Possible explanations for the subsequent reduction in variability include the spread of corporate social responsibility activities by firms and learning by fund managers. In addition to reporting on a previously unobserved phenomenon, this paper raises questions for further research. (shrink)

In the first part of the paper an argument is developed to the effect that (1) there is no moral ground for individual persons to feel responsible for or guilty about crimes of their group to which they have in no way contributed; and (2) since there is no irreducibly collective responsibility nor guilt at any time, there is no question of them persisting over time. In the second part it is argued that there is nevertheless sufficient reason for (...) innocent individual members of a group (that persists over time) to take on responsibility and guilt for the evil other (earlier) members have committed. The reason depends on the acceptability of a particular psychological theory of personal identity. (shrink)

In this essay, James Scott Johnston claims that a dispute over moral teleology lies at the basis of the debate between John Dewey and Robert M. Hutchins. This debate has very often been cast in terms of perennialism, classicism, or realism versus progressivism, experimentalism, or pragmatism. Unfortunately, casting the debate in these terms threatens to leave the reader with the impression that Dewey and Hutchins were simply talking past each other, that one was wrongheaded while the other correct, or (...) that they held incommensurable ideological standpoints. Such an understanding obscures a deeper conflict that divided these two men and overlooks the depth of the differences in their moral outlooks. Johnston argues that both thinkers knew very well what morally significant principles and practices were at stake in the debate and, further, that this awareness, rather than the question of which foundation for education was better for students, informed their responses to one another. (shrink)

Recent iterations of Alvin Plantinga’s “evolutionary argument against naturalism” bear a surprising resemblance to a famous argument in Descartes’s Third Meditation. Both arguments conclude that theists have an epistemic advantage over atheists/naturalists vis-à-vis the question whether or not our cognitive faculties are reliable. In this paper, I show how these arguments bear an even deeper resemblance to each other. After bringing the problem of evil to bear negatively on Descartes’s argument, I argue that, given these similarities, atheists can wield (...) a recent solution to the problem of evil against theism in much the way Plantinga wields the detailsof evolutionary theory against naturalism. I conclude that Plantinga and Descartes give us insufficient reason for thinking theists are in a better epistemic position than atheists and naturalists vis-à-vis the question whether or not our cognitive faculties are reliable. (shrink)

Is the Internet an appropriate medium to use when attempting to resolve conflicts over ethical issues in business? The research reported on in this paper focuses on internet versus face-to-face negotiations as a component of applied discourse ethics. Although internet negotiation has serious restrictions, it also has specific qualities. It enhances reflection and plays down emotion. Important qualities when handling complex and delicate ethical issues.

Russell (1912) and others have argued that the real nature of colour is transparentto us in colour vision. It's nature is fully revealed to us and no further knowledgeis theoretically possible. This is the doctrine of revelation. Two-dimensionalFourier analyses of coloured checkerboards have shown that apparently simple,monadic, colours can be based on quite different physical mechanisms. Experimentswith the McCollough effect on different types of checkerboards have shown thatidentical colours can have energy at the quite different orientations of Fourierharmonic components but (...) no energy at the edges of the checkerboards, thusrefuting revelation. It is concluded that this effect is not explained by a superveniencedispositional account of colour as proposed by McGinn (1996). It was argued that theMcCollough effect in checkerboards was an example of a local mind/body reduction(Kim 1993), by which the different characteristics of identical colours falsifies revelation. This reduction being based on both physical and neurological mechanisms led to a clear explanation of the perceive phenomenal effects and thus laid a small bridge over the explanatory gap. (shrink)

Taking multidimensional ethics scale approach, this article describes an empirical survey of top managers’ moral decision-making patterns and their change from 1994 to 2004 during morally problematic situations in the Finnish context. The survey questionnaire consisted of four moral dilemmas and a multidimensional scale with six ethical dimensions: justice, deontology, relativism, utilitarianism, egoism and female ethics. The managers evaluated their decision-making in the problems using the multidimensional ethics scale. Altogether 880 questionnaires were analysed statistically. It is concluded that relying on (...) the utilitarian principles is a core ethical evaluation criterion amongst top business managers in Finland. This study proves that managers’ moral decision-making patterns change over time. According to the results of this research, managers’ moral decision-making became more multidimensional during the study period. The change is explained by (1) the inclusion of female ethics items in the scale which allows managers to show more diversity in their decision- making, (2) the change in the Finnish economic context from depression to economic prosperity and growth during the study period, which is conducive to the spread of post materialist values, such as the importance of social relations and (3) the increasing public discussion of the importance ethical issues in business. (shrink)

1. One theory or many? In 2004 a very interesting and readable article by Lenore Blum, entitled “Computing over the reals: Where Turing meets Newton,” appeared in the Notices of the American Mathematical Society. It explained a basic model of computation over the reals due to Blum, Michael Shub and Steve Smale (1989), subsequently exposited at length in their influential book, Complexity and Real Computation (1997), coauthored with Felipe Cucker. The ‘Turing’ in the title of Blum’s article refers (...) of course to Alan Turing, famous for his explication of the notion of mechanical computation on discrete data such as the integers. The ‘Newton’ there has to do to with the well known numerical method due to Isaac Newton for approximating the zeros of continuous functions under suitable conditions that is taken to be a paradigm of scientific computing. Finally, the meaning of “Turing meets Newton” in the title of Blum’s article has another, more particular aspect: in connection with the problem of controlling errors in the numerical solution of linear equations and inversion of matrices,Turing (1948) defined a notion of condition for the relation of changes in the output of a computation due to small changes in the input that is analogous to Newton’s definition of the derivative. The thrust of Blum’s 2004 article was that the BSS model of computation on the reals is the appropriate foundation for scientific computing in general. By way of response, two years later another very interesting and equally readable article appeared in the Notices, this time by Mark Braverman and Stephen Cook (2006) entitled “Computing over the reals: Foundations for scientific computing,” in which the authors argued that the requisite foundation is provided by a quite different “bit computation” model, that is in fact prima facie incompatible with the BSS model. The bit computation model goes back to ideas due to Stefan Banach and Stanislaw Mazur in the latter part of the 1930s, but the first publication was not made until Mazur (1963).. (shrink)

Between 1698 and 1706 Leibniz was engaged in one of his most interesting correspondences, with the Dutch philosopher and physicist Burcher de Volder. The two men were concerned primarily with the question of how the motion of bodies can be explained without appeal to the direct intervention of God. Leibniz presented a naturalistic account of motion to De Volder, but failed to convince him of its adequacy. I shall examine one reason for this failure - the disagreement that arose (...) class='Hi'>over the issue of whether there is a substance whose nature is constituted by extension. (shrink)

Abstract Theories of personal well-being are typically developed so that they render verdicts on (a) how well-off a person is at a moment, (b) how well-off a person is over an interval of time, and (c) how good a whole life is for the person who lives it. Conative theories of welfare posit welfare-atoms that consist, e.g., in episodes of desire-satisfaction, aim-achievement, or values-realisation. Most extant conative theories are additive: they compute well-being over time?up to and including the (...) value of a whole life?by adding up the values of these welfare atoms. Here, it is shown that such atomistic, additive conative theories do not always generate plausible verdicts on (b) and (c) above. They imply that lives featuring incoherent plans and rapidly changing projects go surprisingly well for those who lived them. Holistic theories of well-being are often thought to provide a solution to problems like these. However, one of the best-known versions of welfare holism within the conative family, Rawls? rational life-preferentism, is based on the problematic assumption that there is one ideal life plan for each person. This paper presents a new form of paradigm-resemblance based conative holism that does not make this assumption and that explains the limits of additivity. (shrink)

Getting over systematics Content Type Journal Article Category Book Review Pages 1-4 DOI 10.1007/s11016-012-9662-5 Authors John S. Wilkins, University of Sydney, Sydney, NSW 2009, Australia Journal Metascience Online ISSN 1467-9981 Print ISSN 0815-0796.

Abstract I aim to explain why majority voting can be assumed to have an epistemic edge over lottery voting. This would provide support for majority voting as the appropriate decision mechanism for deliberative epistemic accounts of democracy. To argue my point, I first recall the usual arguments for majority voting: maximal decisiveness, fairness as anonymity, and minimal decisiveness. I then show how these arguments are over inclusive as they also support lottery voting. I then present a framework to (...) measure accuracy so as to compare the two decision mechanisms. I go over four arguments for lottery voting and three arguments for majority voting that support their respective accuracy. Lottery voting is then shown to have, compared to majority voting, a decreased probability of discrimination. That is, I argue that with lottery voting it is less probable under conditions of normal politics that if the procedure selects X, X is reasonable. I then provide two case scenarios for each voting mechanism that illustrate my point. Content Type Journal Article Pages 1-17 DOI 10.1007/s11158-011-9176-9 Authors Yann Allard-Tremblay, Departments of Philosophy, University of St Andrews, Edgecliffe, The Scores, St Andrews, Fife KY16 9AL, UK Journal Res Publica Online ISSN 1572-8692 Print ISSN 1356-4765. (shrink)

How are we to understand the fact that the philosophical debate over nanotechnologies has been reduced to a clash of seemingly preprogrammed arguments and counterarguments that paralyzes all rational discussion of the ultimate ethical question of social acceptability in matters of nanotechnological development? With this issue as its starting point, the study reported on here, intended to further comprehension of the issues rather than provide a cause-and-effect explanation, seeks to achieve a rational grasp of what is being said through (...) the appeals made to this or that principle in the range of arguments put forward in publications on the subject. We present the results of the study’s analyses in two parts. In the first, we lay out the seven categories of argument that emerged from an analysis of the literature: the arguments based on nature, dignity, the good life, utility, equity, autonomy, and rights. In the second part, we present the background moral stances that support each category of argument. Identifying the different categories of argument and the moral stance that underlies each category will enable a better grasp of the reasons for the multiplicity of the arguments that figure in discussions of the acceptability of nanotechnologies and will ultimately contribute to overcoming the tendency towards talking past each other that all too often disfigures the exchange. Clarifying the implications of the moral arguments deployed in the debate over nanotechnologies may make it possible to reduce the confusion observable in these exchanges and contribute to a better grasp of the reasons for their current unproductiveness. (shrink)

(Uncorrected OCR) Abstract of thesis entitled The Debate over Human Nature in Warring States China submitted by Dan Robins for the degree of Doctor of Philosophy at the University of Hong Kong in April 2001 This dissertation is an account of the most famous disagreement in early Chinese philosophy. The disagreement is usually thought to have taken place between Mencius (c. 385-303 BC) and <span class='Hi'>Xunzi</span> (c. 310-230 BC) (the two most prominent Confucians of the Warring States period), and (...) to have concerned the goodness or badness of human nature. I give a novel interpretation of the dispute, and a fully-worked out account of its history. I argue that ren zhi xing A2tt (or �eople� xing� is not a near analogue of human nature, and that the dispute unfolded over a short period between <span class='Hi'>Xunzi</span> and members of a Mencian school operating decades after Mencius� death. I try to show that if we read Mencian and Xunzian discussions of the issue as contemporary documents, we can see them interacting in surprisingly precise ways. This allows me to portray the specifically philosophical character of the dispute in much tighter focus than has previously been possible. My interpretation of the concept of xing stresses its links with nature, health, and spontaneity. A person� xing is a locus of continuity with nature that sustains normal physiological and psychological functioning, including in particular the proper functioning of her sense organs and the appropriate production of emotions and desires. This functioning might also involve certain sorts of behavior; if it is a person� xing to behave in a particular way, then she will behave that way as reliably and as thoughtlessly as she desires food when hungry. Xing is vulnerable, and can be damaged by either deprivation or over-indulgence. This damage undermines a person� spontaneity in a way that renders her unhealthy. The dispute concerned the extent to which virtue could be made to participate in the spontaneous economy sustained by xing. Mencius� followers argued that the right sort of self-cultivation could nurture a natural growth that would preserve xing while i ii developing virtue. <span class='Hi'>Xunzi</span> argued that no serious course of moral improvement could limit itself to natural development. Both parties made several attempts to incorporate a theory of xing into their moral and psychological views. By distinguishing between chronological layers of their texts, I am able to trace developments in their views and interactions between them. Though I focus on these Confucian philosophers, I suggest that the dispute was originally provoked by primitivist philosophers whose texts have been preserved in the Zhuangzi, which is usually considered a Daoist anthology. I follow scholars such as Herbert Fingarette, Robert Eno, and Chad Hansen in attributing a �erformance model�of action to early Chinese philosophers. In detailed interpretations of central statements of Mencian and Xunzian psychology, I show how they stressed ability rather than desire. I build on this conclusion to dispute accounts that make reasoning or moral intuition central to the dispute over people� xing. (shrink)

In biscuit conditionals (BCs) such as If you’re hungry, there’s pizza in the fridge, the if clause appears to apply to the illocutionary act performed in uttering the main clause, rather than to its propositional content. Accordingly, previous analyses of BCs have focused on illocutionary acts, and, this, I argue, leads them to yield incorrect paraphrases. I propose, instead, that BCs involve existential quantification over potential literal acts such as assertions, questions, commands, and exclamations, the semantic objects associated with (...) declarative, interrogative, imperative, and exclamative sentences, respectively. Such an existential interpretation of BCs requires only that we add potential literal acts to our inventory of individuals, and it produces reasonable paraphrases in which if has its normal meaning: If you’re hungry,[there’s a (relevant/salient) assertion that] there’s pizza in the fridge. These potential literal act variables are introduced into semantic interpretations and then undergo Existential Closure. Hence, we would expect to see similar interpretations in contexts other than BCs, that is, with other if constructions, with connectives other than if, with potential literal acts other than assertion, and in root sentences. This prediction is borne out, along with the parallel prediction that we cannot quantify over purely illocutionary acts like offers, but only over potential literal acts, those conventionally associated with a particular morphosyntactic shape. (shrink)

In his essay 'The Pit and the Pyramid: Introduction to Hegel's Semiology', Jacques Derrida claims that there is a privilege of speech over writing inherent in Hegel's theory of signs. In this paper, I examine Derrida's criticism. While it is to Derrida's credit that he focusses on an area of Hegel's philosophy that has hardly been analysed, his reading is problematic in several regards. After presenting Derrida's main arguments, I pose three questions, the first of which belongs to the (...) realm of subjective spirit, the second to objective spirit, and the third to absolute spirit. I shall then show that Hegel makes several statements in favour of a privilege of writing over speech - statements that are not merely parenthetic or marginal. Moreover, those claims that Hegel makes toward any privilege of speech are in the wrong place, namely, subjective spirit, for them to represent his final point of view. (shrink)

In Ockhamist branching-time logic [Prior 67], formulas are meant to be evaluated on a specified branch, or history, passing through the moment at hand. The linguistic counterpart of the manifoldness of future is a possibility operator which is read as `at some branch, or history (passing through the moment at hand)'. Both the bundled-trees semantics [Burgess 79] and the $\langle moment, history\rangle$ semantics [Thomason 84] for the possibility operator involve a quantification over sets of moments. The Ockhamist frames are (...) (3-modal) Kripke structures in which this second-order quantification is represented by a first-order quantification. The aim of the present paper is to investigate the notions of modal definability, validity, and axiomatizability concerning 3-modal frames which can be viewed as generalizations of Ockhamist frames. (shrink)

Should an institutional scheme prioritize the rectification or compensation of harms it has wrongfully caused over provision of aid to persons it has not harmed? Some who think so rely on an analogy with the view that persons should give higher priority to rectification than to aid. Inference from the personal view to the institutional view would be warranted if either (i) the correct moral principles for institutional assessment are nearest possible equivalents of the correct personal moral principles, or (...) (ii) the moral principles which ground the personal view also ground the institutional view. Neither claim can be justified. I briefly assess some alternative ways of defending the view that institutions should prioritize rectification over aid. (shrink)

The biological effects of low doses of toxic and carcinogenic chemicals are currently a matter of significant scientific controversy. This paper argues that philosophers of science can contribute to alleviating this controversy by examining it with the aid of a novel account of scientific anomaly. Specifically, analysis of contemporary research on chemical hormesis (i.e., alleged beneficial biological effects produced by low doses of substances that are harmful at higher doses) suggests that scientists may initially describe anomalous phenomena in terms of (...) multiple distinct "characterizations," each of which is compatible with current empirical evidence. By focusing attention on this feature of scientific anomalies, philosophers of science can alleviate the controversy over low-dose chemical effects in at least two ways: (1) they can pinpoint the significant ways in which particular characterizations frame the controversy, and (2) they can identify the methodological value judgments at stake in researchers' choice of characterizations. (shrink)

It is proposed that the recent controversy over "time-symmetric quantum counterfactuals" (TSQCs), based on the Aharonov-Bergmann-Lebowitz Rule for measurements of pre- and post-selected systems, can be clarified by taking TSQCs to be counterfactuals with a specific type of compound antecedent. In that case, inconsistency proofs such as that of Sharp and Shanks (1993) are not applicable, and the main issue becomes not whether such statements are true, but whether they are nontrivial. The latter question is addressed and answered in (...) the negative. Thus it is concluded that TSQCs, understood as counterfactuals with a compound antecedent, are true but only trivially so, and provide no new contingent information about specific quantum systems (except in special cases already identified in literature). (shrink)

Modern management reporting on its company''s performance is influenced by individuals ethical considerations. Stakeholders philosophies have continued to change over the last 75 years affecting reporting systems for companies reporting information internally and externally. These fundamental changes in philosophy have affected how information is conveyed. We are not claiming that only one philosophical viewpoint dominates companies reporting practices, but there does appear to be a changing trend of philosophies building on one another. We use resource dependence theory in relationship (...) to a decision-making model to explain changing stakeholders positions over time. This paper argues that six dominant philosophical theories have influenced the way individuals and organizations report financial and other information. Further, these philosophies then are depicted in a model that helps us to understand what influences companies to present themselves to the outside world. A vignette is used to depict changing philosophical views for several companies management report over 75 years. (shrink)

The epistemology of the historical sciences has been debated recently. Cleland argued that the effects of the past overdetermine it. Turner argued that the past is underdetermined by its effects because of the decay of information from the past. I argue that the extent of over- and underdetermination cannot be approximated by philosophical inquiry. It is an empirical question that each historical science attempts to answer. Philosophers should examine how paradigmatic cases of historical science handled underdetermination or utilized overdetermination. (...) I analyze such a paradigmatic case, Darwin’s phylogenetic inferences. Darwin proceeded in three consecutive stages. The initial inference that there was some common cause of homologies was usually overdetermined. The final inference of the character traits of ancestor species was usually underdetermined. The second stage inference of the causal net that connected the species that share some common cause was inbetween. A comparison with Comparative Historical Linguistics demonstrates similar three stages of inference that move from the over- to the underdetermined. (shrink)

The role of ethics in technology development has been often questioned, especially in the early days of societal reflection of technology. However, the situation has changed dramatically. Ethical consideration now is generally declared to be indispensable in shaping technology in a socially acceptable and sustainable way. The expectations of ethics are large; often even a kind of “New Ethics” is postulated. In the present paper an over-estimation of the role of ethics for technology development is rejected. It is argued (...) that ethical reflection is, indeed, indispensable in certain problem areas and situation types; but there is, on the other hand, space for technology development free from the requirement for ethical reflection. The absence of a requirement for ethical reflection, however, always has to be considered relative to some “morale provisoire” (provisional morality) as an accepted normative framework within which technology development may occur without explicit ethical reflection. If this framework, however, is doubted or is shown to be insufficient the situation changes completely. Ethical reflection in this case becomes necessary, to consider this normative framework in order to offer modifications or supplements. (shrink)

Temporal logic is one of the many areas in which a possible world semantics is adopted. Prior's Ockhamist and Peircean semantics for branching-time, though, depart from the genuine Kripke semantics in that they involve a quantification over histories, which is a second-order quantification over sets of possible worlds. In the paper, variants of the original Prior's semantics will be considered and it will be shown that all of them can be viewed as first-order counterparts of the original semantics.

The analysis of a dispute can focus on either interests, rights, or power. Commentators often frame the conflict over conscience in clinical practice as a dispute between a patient’s right to legally available medical treatment and a clinician’s right to refuse to provide interventions the clinician finds morally objectionable. Multiple sources of unresolvable moral disagreement make resolution in these terms unlikely. One should instead focus on the parties’ interests and the different ways in which the health care delivery system (...) can accommodate them. In the specific case of pharmacists refusing to dispense emergency contraception, alternative systems such as advanced prescription, pharmacist provision, and over-the-counter sales may better reconcile the client’s interest in preventing unintended pregnancy and the pharmacist’s interest in not contravening his or her conscience. Within such an analysis, the ethicist’s role becomes identifying and clarifying the parties’ morally relevant interests. (shrink)

Are We Spiritual Machines? as well as Ray Kurzweil for his response to my essay in that book and his willingness to take part in this discussion. My essay in that book was titled "Kurzweil's Impoverished Spirituality" and was essentially a stripped down version of a piece I had done for..

In the first section of this paper I present the measurement-theoretic fallacy of over-assignment of structure: the unwarranted assumption that every numeric relation holding among two (or more) numbers represents some empirical, physical relation among the objects to which these numbers are assigned as measures (e.g., of temperature). In the second section I argue that a generalized form of this fallacy arises in various philosophical contexts, in the form of a misguided, over-extended application of one conceptual domain to (...) another. Three examples are given: (i) the reduction of arithmetic into set theory, (ii) the ascription of full-blown intentional states to (at least some) non-overtly intentional creatures, such as Wittgenstein's builders, and (iii) the analysis of some modal notions as involving quantification over possible worlds (or their substitutes). The discussion of the third example gives rise to a novel account of possible-worlds talk. (shrink)

Peter Geach proposed a substitutional construal of quantification over thirty years ago. It is not standardly substitutional since it is not tied to those substitution instances currently available to us; rather, it is pegged to possible substitution instances. We argue that (i) quantification over the real numbers can be construed substitutionally following Geach's idea; (ii) a price to be paid, if it is that, is intuitionism; (iii) quantification, thus conceived, does not in itself relieve us of ontological commitment (...) to real numbers. (shrink)

According to the simple proposal, a predicate is rigid iff it signifies the same property across the different possible worlds. The simple proposal has been claimed to suffer from an over-generalization problem. Assume that one can make sense of predicates signifying properties, and assume that trivialization concerns, to the effect that the notion would cover any predicate whatsoever, can be overcome. Still, the proposal would over-generalize, the worry has it, by covering predicates for artifactual, social, or evaluative properties, (...) such as 'is a knife,' 'is a bachelor,' or 'is funny.' In defense, it is argued that rigidity for predicates as characterized plays the appropriate theoretical role, and that the contention that "unnatural" properties are not to be rigidly signified is ungrounded. (shrink)

This paper looks at some of the ethical concerns regarding a recent application to the U.S. Food and Drug Administration (FDA) for approval of the sale of HIV tests over-the-counter (OTC) directly to consumers. The concept of at-home HIV testing is not new, but OraSure Technologies Inc., a U.S. manufacturer of rapid HIV tests, is now seeking FDA approval to take at-home testing one step further to enable consumers to test themselves and interpret the results without the assistance of (...) an outside party. This paper reviews some of the purported benefits and potential risks of at-home HIV testing, and looks at the way one Canadian company is attempting to address the potential risks. In doing so, this paper brings to the fore concerns regarding corporate involvement in the regulatory approval of biotech products. (shrink)

Criminal law theory concerns itself with the justification of punishment. Conflicting moral theories of punishment will be held in liberal democracies. The positive law therefore neither will nor should reflect exclusively a single moral theory of punishment. Like the institutions for making law, the institutions for enforcing it will cause punishments imposed to deviate from what pure moral theory might prescribe. These claims are illustrated by the debate over blackmail prohibition. The best rationale for prohibition is not the moral (...) argument that blackmailers culpably cause harm, but the political argument that blackmailers threaten the state’s claimed monopoly on punishing crime. (shrink)

Dynamic Topological Logic ( ) is a modal logic which combines spatial and temporal modalities for reasoning about dynamic topological systems , which are pairs consisting of a topological space X and a continuous function f : X → X . The function f is seen as a change in one unit of time; within one can model the long-term behavior of such systems as f is iterated. One class of dynamic topological systems where the long-term behavior of f is (...) particularly interesting is that of minimal systems ; these are dynamic topological systems which admit no proper, closed, f -invariant subsystems. In such systems the orbit of every point is dense, which within translates into a non-trivial interaction between spatial and temporal modalities. This interaction, however, turns out to make the logic simpler, and while s in general tend to be undecidable, interpreted over minimal systems we obtain decidability, although not in primitive recursive time; this is the main result that we prove in this paper. We also show that interpreted over minimal systems is incomplete for interpretations on relational Kripke frames and hence does not have the finite model property; however it does have a finite non-deterministic quasimodel property. Finally, we give a set of formulas of which characterizes the class of minimal systems within the class of dynamic topological systems, although we do not offer a full axiomatization for the logic. (shrink)

When it comes to conflict over risk management priorities in food production, a number of observers, including myself, have called for some sort of public deliberation as a means of resolving the moral disagreements underlying such conflicts. This paper asks how, precisely, such deliberation might be facilitated. It is shown that representative democracy and the liberal regulation that most Western democracies adhere to place important constraints on public deliberation. The challenge is to find forums for public deliberation that can (...) operate within these constraints while still making a constructive contribution. (shrink)

: This article explores debate as a key scientific practice among the medical elite in nineteenth-century Paris, with an emphasis on academic debate and debate in the scientific/medical press. I use the debate over the microscope, which took place in the Paris Academy of Medicine in 1854-55 and concurrently in the medical press, to illustrate the role of debate as scientific practice. Focusing on the debate in the press, I show how medical journalists used the debate in the Academy (...) to raise larger questions about the nature of science and medicine and to legitimate French microscopy. I suggest that debate was an important scientific practice in nineteenth-century Paris, not only owing to a longstanding belief that truth emerges through disputation but also depending on and exemplifying a shared masculine culture of honor. (shrink)

What is the nature of the decision-related personal values of corporate management? Managers' attitudes and behaviors are built upon their personal value systems (PVS). Knowledge about the structure of management's PVS assists in understanding the attributes of corporate decision making. Utilizing a survey instrument developed and used by England (1967, 1975), this article updates this research into corporate managers' personal value systems. England's PVS consists of sixty-six pre-tested values clustered into five groups. As one could expect with personal values, statistical (...) tests reveal that even with dramatic changes in the business environment the overall personal values structure has not changed over the intervening three decades. The results also reveal that corporate managers retain their pragmatic value orientation as discussed by England. (shrink)

Substructural logics have received a lot of attention in recent years from the communities of both logic and algebra. We discuss the algebraization of substructural logics over the full Lambek calculus and their connections to residuated lattices, and establish a weak form of the deduction theorem that is known as parametrized local deduction theorem. Finally, we study certain interpolation properties and explain how they imply the amalgamation property for certain varieties of residuated lattices.

We show that there is a structure of countably infinite signature with $P = N_{2}P$ and a structure of finite signature with $P = N_{1}P$ and $N_{1}P \neq N_{2}P$ . We give a further example of a structure of finite signature with $P \neq N_{1}P$ and $N_{1}P \neq N_{2}P$ . Together with a result from [10] this implies that for each possibility of P versus NP over structures there is an example of countably infinite signature. Then we show that (...) for some finite ℒ the class of ℒ-structures with $P = N_{1}P$ is not closed under ultraproducts and obtain as corollaries that this class is not $\delta$ -elementary and that the class of ᵍ-structures with $P \neq N_{1}P$ is not elementary. Finally we prove that for all f dominating all polynomials there is a structure of finite signature with the following properties: $P \neq N_{1}P$ . $N_{1}P \neq N_{2}P$ , the levels $N_{2}TIME(n^{i})$ of $N_{2}P$ and the levels $N_{1}TIME(n^{i})$ of $N_{1}P$ are different for different i, indeed $DTIME(n^{i'}) \nsubseteq N_{2}TIME(n^{i})$ if $i' \textgreater i$ ; $DTIME(f) \nsubseteq N_{2}P$ , and $N_{2}P \nsubseteq DEC$ . DEC is the class of recognizable sets with recognizable complements. So this is an example where the internal structure of $N_{2}P$ is analyzed in a more detailed way. In our proofs we use methods in the style of classical computability theory to construct structures except for one use of ultraproducts. (shrink)

This essay concerns the problem of individuation in metaphysics in relation to the question of individuality in politics. It rejects the assumption in muchof ancient, modern, and contemporary philosophy and theology that unity and diversity are opposed and that this opposition produces conflict and violence. Theproposed alternative is a metaphysics and politics of relationality. This alternative is not so much indebted to Aristotle, but instead goes back to Platonist metaphysics and its transformation by Augustine and Boethius. By privileging substance (...) class='Hi'>over all other categories, Aristotle not only relegated the transcendent immaterial actuality from the immanence of the material world but also divorced particular beings from the universal Prime Mover or God. By contrast, for Plato, the transcendent universal Good individuates all immanent particulars relationally at the level of the oikos, the polis, and the cosmos. Crucially, by combining the concept of creation ex nihilo with the metaphysics of participation, Augustine and Boethius reconfi gured Plato’s Good in the direction of the Creator-God and Trinitarian relationality. Thus, each and every being is individuated because it is a particular reflection of the universal Good, a unique and singular expression of God’s self-communicative actualization in the world. (shrink)

Abstract. This article traces the intellectual history of scientific studies of intercessory prayer published in English between 1965 and the present by focusing on the conflict and discussion they prompted in the medical literature. I analyze these debates with attention to how researchers articulate the possibilities and limits medical science has for studying intercessory prayer over time. I delineate three groups of researchers and commentators: those who think intercessory prayer can and should be studied scientifically, those who are more (...) skeptical and articulate the limits of science around this topic, and those who focus primarily on the pragmatic applications of this knowledge. I analyze these contests as examples of what Thomas Gieryn calls “epistemic authority” as medical researchers engage in what he describes as “boundary-work” or “the discursive attribution of selected qualities to scientists, scientific methods, and scientific claims for the purposes of drawing a rhetorical boundary between science and some less authoritative residual non-science.” (Gieryn 1999, 4 (Gieryn 1999, 4)). (shrink)

Conflict of interest has been a leading issue in the Canadian legal profession over the last three decades, and it shows no sign of abating. No other issue has so consistently and dramatically dominated both the practice of law and its regulation in Canada. This article describes the conceptual and political battles that have been fought over conflicts of interest in Canada during this time. These battles reveal deeper ontological divisions about the practice of law in Canada. The (...) clash over conflicts of interest exposes competing conceptions of what it means to be a lawyer in Canada in the twenty-first century and how the legal profession should be governed. The conflicts of interest debate increasingly centres on the duty of loyalty owed by lawyers to their clients. (shrink)

We consider a new fragment of first-order logic with two variables. This logic is defined over interval structures. It constitutes unary predicates, a binary predicate and a function symbol. Considering such a fragment of first-order logic is motivated by defining a general framework for event-based interval temporal logics. In this paper, we present a sound, complete and terminating decision procedure for this logic. We show that the logic is decidable, and provide a NEXPTIME complexity bound for satisfiability. This result (...) shows that even a simple decidable fragment of first-order logic has NEXPTIME complexity. (shrink)

A novel algebraic structure of the genetic code is proposed. Here, the principal partitions of the genetic code table were obtained as equivalent classes of quotient spaces of the genetic code vector space over the Galois field of the four DNA bases. The new algebraic structure shows strong connections among algebraic relationships, codon assignment and physicochemical properties of amino acids. Moreover, a distance function defined between the codon binary representations in the vector space was demonstrated to have a linear (...) behavior respect to physical variables such as the mean of amino acids interaction energies in proteins. It was also noticed that the distance between wild type and mutant codons approach to smaller values in mutational variants of four genes, i.e., human phenylalanine hydroxylase, human β-globin, HIV-1 protease and HIV-1 reverse transcriptase. These results strongly suggest that deterministic rules must be involved in the genetic code origin. (shrink)

This book is intended not only for scholars and students in humanities, history (esp. the history of ideas), Jewish studies, philosophy (esp. the history of philosophy), and Christian theology, but also for those concerned with the roots of anti-Semitism and with the need for toleration and intercultural pluralism. Modernity and the Final Aim of History: * Combines the development of German philosophy from the Enlightenment to Idealism, and from Idealism to the revolutionary turning-point of the mid-nineteenth century with the Jewish (...) question; * Shows the close entwining of anti-Jewish prejudices with awareness of the importance of Judaism in the formation of modern thought; * Points out the hopes, obstacles, compromises, and disappointments of Jewish emancipation right up to the appearance of racial anti-Semitism; * Traces the changes in the debate over Judaism from the theological perspective to the philosophical and from the philosophical to that of the economic and naturalistic; * Underlines the dangers to toleration that arise from seeing human history as directed towards a single aim; *Can be used in university courses and seminars, as well as in research groups. (shrink)

It has been shown that, when observing an action, infants can rely on either outcome selection information (i.e., actions that express a choice between potential outcomes) or means selection information (i.e., actions that are causally efficient toward the outcome) in their goal attribution. However, no research has investigated the relationship between these two types of information when they are present simultaneously. In an experiment that addressed this question directly, we found that when outcome selection information could disambiguate the goal of (...) the action (e.g., the action is directed toward one of two potential targets), but means selection information could not (i.e., the action is not efficiently adjusted to the situational constraints), 7- and 9-month-old infants did not attribute a goal to an observed action. This finding suggests that means selection information takes primacy over outcome selection information. The early presence of this bias sheds light on the nature of the notion of goal in action understanding. (shrink)

This paper proposes a principle for adjudicating conflicts between estranged couples over whether the frozen embryos they earlier created together ought to be gestated or destroyed. I argue that the fate of the embryos ought to be determined by the party who would be most harmed by having his or her preferences overruled. But I also claim that, when embryos are destroyed against the opposition of one of their co-creators, the individual at whose behest this was done owes compensation (...) to his disappointed opposite number, in an amount that reflects the harm accruing to the latter as a result of the termination of the procreative project. (shrink)

This paper utilises Deleuze's Logic of Sensation to critique the concept ‘Figure’ that he raises to formulate this theory in his monograph of Francis Bacon. Deleuze engages with Bacon's paintings to demonstrate how sensations from Figural artworks rupture through representation and disrupt binary logic. However, in his argument Deleuze seems to use the same kind of thinking that he intends the Figure to disrupt, since he prioritises and secludes art deemed Figural over and above abstraction. Such problematic categorisation is (...) challenged here, by juxtaposing Figural and abstract paintings by Francis Bacon and Wassily Kandinsky. Both Figural and abstract works resound with The Logic of Sensation, which thereby spills over those boundaries posited by Deleuze's Figure. (shrink)

The observed association between supernovae and gamma-ray bursts represents a cornerstone in our understanding of the nature of gamma-ray bursts. The collapsar model provides a theoretical framework for this connection. A key element is the launch of a bipolar jet (seen as a gamma-ray burst). The resulting hot cocoon disrupts the star, whereas the 56Ni produced gives rise to radioactive heating of the ejecta, seen as a supernova. In this discussion paper, I summarize the observational status of the supernova–gamma-ray burst (...) connection in the context of the ‘engine’ picture of jet-driven supernovae and highlight SN 2012bz/GRB 120422A—with its luminous supernova but intermediate high-energy luminosity—as a possible transition object between low-luminosity and jet gamma-ray bursts. The jet channel for supernova explosions may provide new insights into supernova explosions in general. (shrink)

This paper is a response to Ray's (2004) recent proposal that the intellectual property rights (IPR) attached to potentially life saving/life sustaining innovations should become public goods in cases where markets are either unable or unwilling to pay for the creation of the intellectual property. Using a free market approach to innovation based on Western moral philosophy, we suggest that treating intellectually protected life saving/life sustaining innovations as public goods will likely reduce (...) social welfare over the long term. (shrink)

The origin of gamma-ray bursts (GRBs) is one of the most interesting puzzles in recent astronomy. During the last decade a consensus has formed that long GRBs (LGRBs) arise from the collapse of massive stars, and that short GRBs (SGRBs) have a different origin, most likely neutron star mergers. A key ingredient of the collapsar model that explains how the collapse of massive stars produces a GRB is the emergence of a relativistic jet that penetrates the stellar envelope. The condition (...) that the emerging jet penetrates the envelope imposes strong constraints on the system. Using these constraints we show the following. (i) Low-luminosity GRBs (llGRBs), a subpopulation of GRBs with very low luminosities (and other peculiar properties: single-peaked, smooth and soft), cannot be formed by collapsars. llGRBs must have a different origin (most likely a shock breakout). (ii) On the other hand, regular LGRBs must be formed by collapsars. (iii) While for BATSE the dividing line between collapsars and non-collapsars is indeed at approximately 2 s, the dividing line is different for other GRB detectors. In particular, most Swift bursts longer than 0.8 s are of a collapsar origin. This last result requires a revision of many conclusions concerning the origin of Swift SGRBs, which were based on the commonly used 2 s limit. (shrink)

We investigate properties of propositional modal logic over the classof finite structures. In particular, we show that certain knownpreservation theorems remain true over this class. We prove that aclass of finite models is defined by a first-order sentence and closedunder bisimulations if and only if it is definable by a modal formula.We also prove that a class of finite models defined by a modal formulais closed under extensions if and only if it is defined by a -modal formula.

Franciscus Suarez de additione Unitatis ad Ens et prioritate Unitatis respectu MultitudinisSolutio quaestionis de natura additionis conceptuali Unius ad Ens, quam Suarez proponit, traditionem Aristotelico-Averroisticam (per Aquinatum mediatam) primo sequitur. Secundum hanc traditionem, Unum non superaddit Enti nisi determinationem negativam. Suárez similiter negat Unum dicere perfectionem positivam ab Ente ut sic distinctam, sive ex natura rei, sive ratione tantum. Sententiam suam exponens, Suarez multas alias conceptiones critice pertractat, praecipue autem doctrinam auctorum quorundam (plerumque Franciscanorum) impugnat, qui docent Unum superaddere ad (...) Ens perfectionem quandam positivam, quae tamen ratione tantum ab Ente ut sic distinguitur. Argumentum principale pro ista sententia assumit, indivisionem ut negationem negationis intelligendam esse, quae dicit affirmationem. Secundum Suarezium istam notionem indivisionis etiam D. Thomas defendit, qui negationem, quam Unum dicit, divisionem unius entis ab altero negare tenet. Istam solutionem Suarez reicit, sententiam propriam proponens, secundum quam Unum non negativam divisionem unius entis ab alio, sed intrinsecam et essentialem divisionem unius entis in semetipso negat, quae est divisio realis et positiva. Hac explicatione innitens Suarez consequenter doctrinam Aquinatis et Thomistarum de prioritate concpetuali Unius prae Multitudine, quem ut solutionem difficultatis in doctrina Aristotelis de oppositione privativa Unius ad Multum repertae confecerunt, reicit. Suárez prioritatem realem indivisionis prae divisione, itemque et realem et conceptualem prioritatem Unius prae Multo defendit. Haec Suarezii sententia cum doctrina eius de additione mere negativa Unius ad Ens bene consona esse videtur. Translatio: L. NovákFrancisco Suárez on the Addition of the One to Being and the Priority of the One over the ManySuárez’s solution to the problem of the conceptual Addition of the One to being follows firstly the Aristotelian-Averroistic tradition mediated by Aquinas. According to this tradition, the One adds to being only a negative determination. Suárez claims that the One does not signify any positive perfection either really or conceptually distinct from being as such. Suárez’s own solution to the problem is presented in a critical discussion with many different conceptions, but Suárez pays most attention to the theory of certain, mainly Franciscan, authors who hold that the One adds to being a positive perfection which is only conceptually distinct from being as such. The main argument for this thesis is based on the assumption that indivision is to be taken as a double negation, by which an affirmation is expressed. This concept of indivision was, according to Suárez, also defended by Aquinas, who holds that the negation which is expressed by the One negates the division of one being from another. Suárez rejects this solution and proposes his own conception, according to which the One does not negate the negative moment of the division of one being from another, but the positive moment of an essential division of a being in itself. The One thus negates a real positive division of being in itself. On the basis of this theory, Suárez further rejected Aquinas’s (and the Thomistic) conception of a conceptual priority of the One over the Many, which was put forth as an answer to the old Aristotelian problem of a privative opposition between the One and the Many. Suárez defends the real priority of an indivision over a division as well as a real and conceptual priority of the One over the Many. Suárez’s conception seems to us to be compatible with his concept of a negative Addition of the One to being. (shrink)

Complete samples are the basis of any population study. To this end, we selected a complete subsample of Swift long bright gamma ray bursts (GRBs). The sample, made up of 58 bursts, was selected by considering bursts with favourable observing conditions for ground-based follow-up observations and with the 15–150 keV 1 s peak flux above a flux threshold of 2.6 photons cm−2 s−1. This sample has a redshift completeness level higher than 90 per cent. Using this complete sample, we investigate (...) the properties of long GRBs and their evolution with cosmic time, focusing in particular on the GRB luminosity function, the prompt emission spectral-energy correlations and the nature of dark bursts. (shrink)

Parent?teacher relations are often characterized as highly conflictual in the educational literature, with scant empirical evidence of how the disagreements occur in everyday talk. Close analysis of a teacher's account of an intense conflict with a student's mother over the National Honor Society grounds the abstract discourses of merit and difference in the worlds of parents, teachers and students. Narrating primarily through reported speech, in a ?she said, I said? fashion, the teacher recreates her conversations about the National Honor (...) Society and the graduation ceremony. Creating the social milieu through reported speech and the inner reality by telling what she left unspoken, she captures the derision between parents and teachers. Moreover, the adult struggles obscure the adolescents' initial concerns about elitism. Exposed to reform debates, the teacher reveals her consciousness about diversity and privilege. The mother's understanding reflects traditions of individualism and meritocracy without regard to barriers created by race, sex, class and disability. The encounter ends without opportunity for fuller articulation. Notwithstanding these tendencies, the individual parent?teacher conference remains the most widely employed format in US schools, emblematic of an extremely privatized notion of that relationship. The author frames the conflict in terms of school community and public education at large to identify possibilities for more generative communication. (shrink)

Jean Wagemans: Redelijkheid en overredingskracht van argumentatie. Een historisch-filosofische studie over de combinatie van het dialectische en het retorische perspectief op argumentatie in de pragma-dialectische argumentatietheorie (Reasonableness and Persuasiveness of Argumentation. An Historical-Philosophical Study on the Combination of the Dialectical and Rhetorical Perspective on Argumentation in the Pragma-Dialectical Argumentation Theory) Content Type Journal Article Pages 123-125 DOI 10.1007/s10503-010-9197-0 Authors Paul Gillaerts, Lessius University College, Antwerp, Belgium Journal Argumentation Online ISSN 1572-8374 Print ISSN 0920-427X Journal Volume Volume 25 Journal Issue (...) Volume 25, Number 1. (shrink)

For a complete Heyting lattice , we define a category Etale (). We show that the category Etale () is equivalent to the category of the sheaves over , Sh(), hence also with -valued sets, see [2], [1]. The category Etale() is a generalization of the category Etale (X), see [1], where X is a topological space.

Bob B. He: Two-dimensional X-ray diffraction Content Type Journal Article Category Book Review Pages 1-2 DOI 10.1007/s10698-011-9135-8 Authors George B. Kauffman, Department of Chemistry, California State University, Fresno, Fresno, CA 93740-8034, USA Journal Foundations of Chemistry Online ISSN 1572-8463 Print ISSN 1386-4238.

Evaluative sentences (moral judgments, expressions of taste, epistemic modals) are relative to the speaker's standards. Lately, a phenomenon has challenged the traditional explanation of this relativity: whenever two speakers disagree over them they contradict each other without being at fault. Hence, it is thought that the correction of the assertions involved must be relative to an unprivileged standard not necessarily the speaker's. I will claim instead that so far, neither this nor any other proposal has provided an explanation of (...) the phenomenon. I will point out several problems presented by them and I will hint to how this phenomenon could be explained by making minor adjustments to our semantic theory. Sentenças avaliativas (julgamentos morais, expressões de gosto, modos epistêmicos) são relativas aos padrões do falante. Recentemente, um fenômeno desafiou a explicação tradicional dessa relatividade: sempre que dois falantes discordam entre si, eles contradizem um ao outro sem estarem errados. Por isso, pensa-se que a correção das asserções envolvidas deve ser relacionada a um padrão desprovido de privilégio e não necessariamente ao padrão do falante. Eu sustentarei, ao contrário, que até agora nem esta nem alguma outra proposta forneceu uma explicação do fenômeno. Eu assinalarei diversos problemas apresentados por essas propostas e sugerirei o modo como este fenômeno poderia ser explicado ao fazer pequenos ajustes em nossa teoria semântica. (shrink)

Leon Kass's often-cited essay, Death with Dignity and the Sanctity of Life, provides the basis for a case study in the rhetorical function of definition in debates concerning bioethics. The study examines the way a particular definition of human dignity is used to maintain an advantage of power in the debate over the morality of physician-assisted suicide. It also considers sources of human dignity that are deflected from attention by the rhetoric of Kass's formulation.

PHILOSOPHY OF SCIENCE, vol. 52, number 1, pp.44-63. R.M. Nugayev, Kazan State |University, USSR. -/- THE HISTORY OF QUANTUM THEORY AS A DECISIVE ARGUMENT FAVORING EINSTEIN OVER LJRENTZ. -/- Abstract. Einstein’s papers on relativity, quantum theory and statistical mechanics were all part of a single research programme ; the aim was to unify mechanics and electrodynamics. It was this broader program – which eventually split into relativistic physics and quantummmechanics – that superseded Lorentz’s theory. The argument of this paper (...) is partly historical and partly methodological. A notion of “crossbred objects” – theoretical objects with contradictory properties which are part of the domain of application of two different research programs – is developed that explains the dynamics of revolutionary theory change. (shrink)

The satisfiability problem for the two-variable fragment of first-order logic is investigated over finite and infinite linearly ordered, respectively wellordered domains, as well as over finite and infinite domains in which one or several designated binary predicates are interpreted as arbitrary wellfounded relations. It is shown that FO 2 over ordered, respectively wellordered, domains or in the presence of one well-founded relation, is decidable for satisfiability as well as for finite satisfiability. Actually the complexity of these decision (...) problems is essentially the same as for plain unconstrained FO 2 , namely non-deterministic exponential time. In contrast FO 2 becomes undecidable for satisfiability and for finite satisfiability, if a sufficiently large number of predicates are required to be interpreted as orderings, wellorderings, or as arbitrary wellfounded relations. This undecidability result also entails the undecidability of the natural common extension of FO 2 and computation tree logic CTL. (shrink)

Over the past two decades the educational policies of neo-liberal nation states have exhibited contradictory tendencies, promoting both bureaucratic standardization of curriculum and standardized evaluation on the one hand, and postmodern diversification on the other. Despite recent increases in bureaucratic standardization, I argue that the economic, social and cultural effects of globalization will pressure these states towards postmodern diversification of educational arrangements to strengthen their perceived legitimacy.

Historians and philosophers of science commonly ignore the epistemological disagreement about the theoretical limits of rationality that underlies the disputes over the absoluteness or relationality of time and the true nature of divine freedom in the Leibniz-Clarke Correspondence. Accordingly, I explore both the logical interconnectedness and the deeper philosophical roots of these disputes, with a view to evaluating the contrast in Leibniz’s and Clarke’s underlying notions of the limits of rationality. In tracing this contrast, I attempt to show first (...) that Clarke’s position can be used to demonstrate successfully that Leibniz’s concept of divine freedom, and his use of the Principle of Sufficient Reason to justify it, involves a contradiction. Second, I attempt to demonstrate that the concept of the limits of rationality underlying Clarke’s conception of divine freedom can be successfully defended against Leibniz’s attacks. (shrink)

We consider the implications of a model for long-duration gamma-ray bursts in which the progenitor is spun up in a close binary by tidal interactions with a massive black-hole companion. We investigate a sample of such binaries produced by a binary population synthesis, and show that the model predicts several common features in the accretion on to the newly formed black hole. In all cases, the accretion rate declines as approximately t−5/3 until a break at a time of order 104 (...) s. The accretion rate declines steeply thereafter. Subsequently, there is flaring activity, with the flare peaking between 104 and 105 s, the peak time being correlated with the flare energy. We show that these times are set by the semi-major axis of the binary, and hence the process of tidal spin-up; furthermore, they are consistent with flares seen in the X-ray light curves of some long gamma-ray bursts. (shrink)

We present an overview of high-energy transients in astrophysics, highlighting important advances over the past 50 years. We begin with early discoveries of γ-ray transients, and then delve into physical details associated with a variety of phenomena. We discuss some of the unexpected transients found by Fermi and Swift, many of which are not easily classifiable or in some way challenge conventional wisdom. These objects are important insofar as they underscore the necessity of future, more detailed studies.

There are properties of finite structures that are expressible with the use of Hilbert's ε-operator in a manner that does not depend on the actual interpretation for ε-terms, but not expressible in plain first-order. This observation strengthens a corresponding result of Gurevich, concerning the invariant use of an auxiliary ordering in first-order logic over finite structures. The present result also implies that certain non-deterministic choice constructs, which have been considered in database theory, properly enhance the expressive power of first-order (...) logic even as far as deterministic queries are concerned, thereby answering a question raised by Abiteboul and Vianu. (shrink)

Prior studies have shown a general preference among citizens for juries over judges. Researchers, however, have not considered whether race and ethnicity modify this preference. We hypothesized that minorities (African-Americans, Hispanics), who generally express less trust in the legal system, may also express less trust in juries than non-Hispanic whites. We asked a representative sample of 1,465 residents of Texas to state whether they would prefer a jury or a judge to be the decision maker in four hypothetical circumstances. (...) Consistent with expectations, non-Hispanic whites favored juries over judges, particularly if they imagined themselves as a defendant in a criminal trial. By comparison, although African-Americans and some Hispanics generally favored juries, they showed a much weaker set of jury preferences. African Americans had markedly lower support for the civil jury, but support was higher among minorities with prior jury service. Among Hispanics, respondents who took the survey in Spanish typically preferred a judge to make legal decisions. We consider the implications of our findings for trust in the jury system and trust in community members as decision makers. (shrink)

Compact object mergers eject neutron-rich matter in a number of ways: by the dynamical ejection mediated by gravitational torques, as neutrino-driven winds, and probably also a good fraction of the resulting accretion disc finally becomes unbound by a combination of viscous and nuclear processes. If compact binary mergers indeed produce gamma-ray bursts, there should also be an interaction region where an ultra-relativistic outflow interacts with the neutrino-driven wind and produces moderately relativistic ejecta. Each type of ejecta has different physical properties, (...) and therefore plays a different role for nucleosynthesis and for the electromagnetic (EM) transients that go along with compact object encounters. Here, we focus on the dynamic ejecta and present results for over 30 hydrodynamical simulations of both gravitational wave-driven mergers and parabolic encounters as they may occur in globular clusters. We find that mergers eject approximately 1 per cent of a Solar mass of extremely neutron-rich material. The exact amount, as well as the ejection velocity, depends on the involved masses with asymmetric systems ejecting more material at higher velocities. This material undergoes a robust r-process and both ejecta amount and abundance pattern are consistent with neutron star mergers being a major source of the ‘heavy’ (A>130) r-process isotopes. Parabolic collisions, especially those between neutron stars and black holes, eject substantially larger amounts of mass, and therefore cannot occur frequently without overproducing gala- ctic r-process matter. We also discuss the EM transients that are powered by radioactive decays within the ejecta (‘macronovae’), and the radio flares that emerge when the ejecta dissipate their large kinetic energies in the ambient medium. (shrink)

I study a market model in which profit-maximizing firms compete in multidimensional pricing strategies over a consumer, who is limited in his ability to grasp such complicated objects and therefore uses a sampling procedure to evaluate them. Firms respond to increased competition with an increased effort to obfuscate, rather than with more competitive pricing. As a result, consumer welfare is not enhanced and may even deteriorate. Specifically, when firms control both the price and the quality of each dimension, and (...) there are diminishing returns to quality, increased competition implies an efficiency loss which is entirely borne by consumers. KEYWORDS. Bounded rationality, industrial organization, multi-dimensional pricing, law of small numbers, market exploitation, obfuscation. (shrink)

To explore the development of contemporary Chinese philosophy, fundamentally, is to explore the development of Marxist philosophy in contemporary China. The disputes over philosophical views in Chinese academic circles during the first half of the twentieth century have been focused on understanding Marxist philosophy from such aspects as “what kind of philosophy Chinese society needs,” “the relation of philosophy to science,” and “philosophy as an idea to reflect on one’s life.” These explorations have provided us a significant ideological insight (...) into the development of Marxist philosophy and contemporary Chinese philosophy; that is, in contemporary China, Marxist philosophy, as a doctrine of the liberation and all-round development of human beings, exists not only as a kind of “doctrine” or “academy” but also as a kind of widely accepted “xueyuan (academic cultivations)” among people. (shrink)

In our quest for gamma-ray burst (GRB) progenitors, it is relevant to consider the progenitor evolution of normal supernovae (SNe). This is largely dominated by mass loss. We discuss the mass-loss rate for very massive stars up to 300M⊙. These objects are in close proximity to the Eddington Γ limit. We describe the new concept of the transitional mass-loss rate, enabling us to calibrate wind mass loss. This allows us to consider the occurrence of pair-instability SNe in the local Universe. (...) We also discuss luminous blue variables and their link to luminous SNe. Finally, we address the polarization properties of Wolf–Rayet (WR) stars, measuring their wind asphericities. We argue to have found a group of rotating WR stars that fulfil the required criteria to make long-duration GRBs. (shrink)