BackgroundThe pursuit of a cure for HIV is a high priority for researchers, funding agencies, governments and people living with HIV (PLWH). To date, over 250 biomedical studies worldwide are or have been related to discovering a safe, effective, and scalable HIV cure, most of which are early translational research and experimental medicine. As HIV cure research increases, it is critical to identify and address the ethical challenges posed by this research.MethodsWe conducted a scoping review of the growing HIV cure (...) research ethics literature, focusing on articles published in English peer-reviewed journals from 2013 to 2021. We extracted and summarized key developments in the ethics of HIV cure research. Twelve community advocates actively engaged in HIV cure research provided input on this summary and suggested areas warranting further ethical inquiry and foresight via email exchange and video conferencing.DiscussionDespite substantial scholarship related to the ethics of HIV cure research, additional attention should focus on emerging issues in six categories of ethical issues: (1) social value (ongoing and emerging biomedical research and scalability considerations); (2) scientific validity (study design issues, such as the use of analytical treatment interruptions and placebos); (3) fair selection of participants (equity and justice considerations); (4) favorable benefit/risk balance (early phase research, benefit-risk balance, risk perception, psychological risks, and pediatric research); (5) informed consent (attention to language, decision-making, informed consent processes and scientific uncertainty); and (6) respect for enrolled participants and community (perspectives of people living with HIV and affected communities and representation).ConclusionHIV cure research ethics has an unfinished agenda. Scientific research and bioethics should work in tandem to advance ethical HIV cure research. Because the science of HIV cure research will continue to rapidly advance, ethical considerations of the major themes we identified will need to be revisited and refined over time. (shrink)

Towards an integral philosophy of the present -- A catalytic reading -- A few words on approach, or, how to render the invisible, visible -- Three worlds -- Mutations, structures, becomings -- The integral A-perspectival world: time-freedom and its contemporary manifestations -- Integral florilegium: secondary sources, reading, immanent scholarship.

Background Outbreaks of infectious disease cause serious and costly health and social problems. Two new technologies – pathogen whole genome sequencing and Big Data analytics – promise to improve our capacity to detect and control outbreaks earlier, saving lives and resources. However, routinely using these technologies to capture more detailed and specific personal information could be perceived as intrusive and a threat to privacy. Method Four community juries were convened in two demographically different Sydney municipalities and two regional cities in (...) New South Wales, Australia to elicit the views of well-informed community members on the acceptability and legitimacy of: making pathogen WGS and linked administrative data available for public health researchusing this information in concert with data linkage and machine learning to enhance communicable disease surveillance systems Fifty participants of diverse backgrounds, mixed genders and ages were recruited by random-digit-dialling and topic-blinded social-media advertising. Each jury was presented with balanced factual evidence supporting different expert perspectives on the potential benefits and costs of technologically enhanced public health research and communicable disease surveillance and given the opportunity to question experts. Results Almost all jurors supported data linkage and WGS on routinely collected patient isolates for the purposes of public health research, provided standard de-identification practices were applied. However, allowing this information to be operationalised as a syndromic surveillance system was highly contentious with three juries voting in favour, and one against by narrow margins. For those in favour, support depended on several conditions related to system oversight and security being met. Those against were concerned about loss of privacy and did not trust Australian governments to run secure and effective systems. Conclusions Participants across all four events strongly supported the introduction of data linkage and pathogenomics to public health research under current research governance structures. Combining pathogen WGS with event-based data surveillance systems, however, is likely to be controversial because of a lack of public trust, even when the potential public health benefits are clear. Any suggestion of private sector involvement or commercialisation of WGS or surveillance data was unanimously rejected. (shrink)

This study looked for evidence of biases in the allocation and disengagement of attention in dysphoric individuals. Participants studied images for a recognition memory test while their eye fixations were tracked and recorded. Four image types were presented (depression-related, anxiety-related, positive, neutral) in each of two study conditions. For the simultaneous study condition, four images (one of each type) were presented simultaneously for 10 seconds, and the number of fixations and the total fixation time to each image was measured, similar (...) to the procedure used by Eizenman et al. (2003) and Kellough, Beevers, Ellis, and Wells (2008). For the sequential study condition, four images (one of each type) were presented consecutively, each for 4 seconds; to measure disengagement of attention an endogenous cuing procedure was used (Posner, 1980). Dysphoric individuals spent significantly less time attending to positive images than non-dysphoric individuals, but there were no group differences in attention to depression-related images. There was also no evidence of a dysphoria-related bias in initial shifts of attention. With respect to the disengagement of attention, dysphoric individuals were slower to disengage their attention from depression-related images. The recognition memory data showed that dysphoric individuals had poorer memory for emotional images, but there was no evidence of a conventional mood-congruent memory bias. Differences in the attentional and memory biases observed in depressed and dysphoric individuals are discussed. (shrink)

On 22 July, 2011, we were confronted with the horror of the actions of Anders Behring Breivik. The instant reaction, as we have seen with similar incidents in the past—such as the Oklahoma City bombings—was to attempt to explain the incident. Whether the reasons given were true or not were irrelevant: the fact that there was a reason was better than if there were none. We should not dismiss those that continue to cling on to the initial claims of a (...) wider Jihadist plot behind the actions of Timothy McVeigh and Terry Nichols as Islamophobes (or merely lacking common sense): for, it is often easier to rely on reason—no matter how fictional—than not to have anything to cling on at all. In many ways, it is even better if the reason is fictional: for, if grounded in a certain fact, or reality, it can then go away. However, if it is in the realm of the imaginary, it is then always already metaphorical: thus, can be applied to any and every situation. And it is this, if we echo Friedrich Nietzsche, that gives us our “metaphysical comfort”; that we can know what is going on. This is why conspiracy theories are so popular: underlying them is the logic that someone—no matter how implausible—is in control of the situation. One would rather believe that all acts of terror stemmed from Osama bin Laden (and the narrative worked even better when he was in a ‘cave in Afghanistan’) than if they were the actions, and decisions, of singular individuals. For, if there is a head organizing everything, it can be cut off; there is no controlling a mass of singularities. As Jean Baudrillard continues to teach us, the term ‘mass’ is not a concept. It is a leitmotif of political demagogy, a soft, sticky, lumpen-analytical notion. A good sociology would attempt to surpass it with ‘more subtle’ categories: socio-professional ones, categories of class, cultural status, etc. This is wrong: it is by prowling around these soft and acritical notions (like ‘mana’ once was) that one can go further than intelligent critical sociology. Besides, it will be noticed retrospectively that the concepts ‘class’, ‘social relations’, ‘power’, ‘status’, ‘institution’, and ‘social’ itself—all these too-explicit concepts which are the glory of the legitimate sciences—but also only ever been muddled notions themselves, but notions upon which agreement has nevertheless been reached for mysterious ends: those of preserving a certain code of analysis. To want to specify the term ‘mass’ is a mistake—it is to provide meaning for that which has none.1 And it is this lack of meaning—this nothingness of not only the mass, but our inability to know in general—that truly scares us. For, if we are never able to legitimately make a generalizing statement, this suggests that we can never actually posit beyond a singular, situational, moment. Hence, we can never claim to know anyone: at best, we can only catch momentary glimpses. It is for this very reason that the insanity plea Breivik’s lawyer will attempt is the one that horrifies us the most. For, if Breivik is insane, this foregrounds our inability to understand, know. And as Aristotle has taught us, it is more important that something is plausible than if something were probable—in this context, we would rather have Breivik as a calculating mass murderer than someone who was completely out of his mind. This is especially ironic in the light of the fact that none of us would say that we have any similarity with Breivik. If that were so, the declaration that he was mad should be no more than a logical consequence. However, we also want Breivik to be accountable for his actions. And in order for that to be so, we need him to be of sound mind. But if that were true, we can then no longer distinguish ourselves from him. And it is precisely this that scares us. For, we are horrified not when there are abnormalities to our way of life. There are usually two different reactions to this—either oppose and destroy it; or subsume it under the dominant logic. We see this most clearly in reactions to immigration: there are either calls for immigrants to ‘pack up and leave’ or pseudo-liberal notions of ‘we are all alike’. Both of which are merely version of “all men are brothers”—the brutal translation of which is that you are my brother if you live the same way as me; otherwise not only are you not my brother, you are also potentially not part of mankind (you might as well be, to echo Giorgio Agamben, bare life ). This is played out in our age of what is commonly termed post-political bio-politics —an instance of horribly awkward theoretical jargon that Slavoj Žižek channeling Agamben unpacks rather elegantly: “ post-politics is a politics which claims to leave behind old ideological struggles and, instead, focus[es] on expert management and administration, while bio-politics designates the regulation of the security and welfare of human lives as its primary goal.”2 Žižek continues: Post-political bio-politics also has two aspects which cannot but appear to belong to two opposite ideological spaces: that of the reduction of humans to ‘bare life,’ to Homo sacer , that so-called sacred being who is the object of expert caretaking knowledge, but is excluded, like prisoners at Guantanamo or Holocaust victims, from all rights; and that of respect for the vulnerable Other brought to an extreme through an attitude of narcissistic subjectivity which experiences the self as vulnerable, constantly exposed to a multitude of potential harassments [….] What these two poles share is precisely the underlying refusal of any higher causes, the notion that the ultimate goal of our lives is life itself. That is why there is no contradiction between the respect for the vulnerable Other and […] the extreme expression of treating individuals as Homini sacer .3 This is why the ones that are harshest towards new immigrants are the recently naturalized citizens of any country. For, if there is no longer any “ideological struggle” and all life is reduced to mere automaton-living, there is the realization that we are all the same—not in a tree-hugging hippie sense—but that the immigrant is the same as us precisely because we are all immigrants. And since all nations, and by extension peoples in a nation (especially those who believe in the notion of nationality, and national identity), have to find some manner, no matter from where or what it is, to distinguish themselves from those around them, the other (in spite, and especially in the light, of its absence) is the most crucial aspect of the discourse of nationality. More precisely, in the interests of what Baudrillard calls “preserving a certain code of analysis” (nationality in this case), what has to be maintained is the absolute otherness of the other. Very rarely is Boris Johnson right: “it is not enough to say he is mad. Anders Breivik is patently mad.”4 However, much like Breivik in his manifesto, he should have stopped whilst he was ahead. By attempting to diagnose Breivik—“the fundamental reasons for their callous behavior lie deep in their own sense of rejection and alienation. It is the ideology that gives them the ostensible cause … that gives them an excuse to dramatize the resentment … and to kill.”—Johnson falls into the same trap that he accuses others of: “to try to advance any other explanation for their actions … is simply to play their self-important game.” More crucially, and this is the point that Johnson completely misses, attempting to rationalize Breivik’s actions—to rehabilitate reason—is a desperate attempt at maintaining his otherness. In fact, we’ll end up going one step further, insist on Breivik’s sanity, put him on the stand, and hope that he will display such a difference from all of us that we can rest safe that we are unlike him and his kind. That, in itself, is a dangerous game to play. One should not forget that the turning point in Mary Shelley’s Frankenstein is in the central part of her novel where she lets the monster speak. At that moment, the monster moves from an ‘it’ to a fully subjectivized person; with his own stories, historicities, emotions, and so on. In Slavoj Žižek’s reading of Frankenstein , this is the moment where “the ultimate criminal is thus allowed to present himself as the ultimate victim. The monstrous murderer reveals himself to be a deeply hurt and desperate individual, yearning for company and love.”5 But, in the case of Breivik, this goes beyond just a risk of us feeling for him: for, no right-minded person should ever deny another the opportunity to put forth her or his own case. The problem lies with us trying to deny the madness of Breivik’s act by putting him back under reason. The problem is in our inability to differentiate the act from the person; the singular from the universal.6 In our desperation to preserve the notion that we are rational beings incapable of becoming monsters, we’ve had to deny the meaninglessness—in the strict sense of it lying outside of reason—of Breivik’ act; we’ve had to “provide meaning where there is none.” For, if this act were a moment of madness—a moment that comes from elsewhere—we cannot say that it will not descend upon us one day. If Breivik’s actions were that of a sane person, one who is in control of his being, his self, we can then locate the otherness in his being. More importantly, this would allow us to distinguish ourselves from that said being. Breivik’s sanity is the only thing that allows us to say that ‘this act of terror is borne out of one with an ultra-right ideology’; and ‘since I am not of that ideology, I would never do such a thing’. By doing that, we attempt to protect ourselves by claiming that people who share Breivik’s ideology are foreign to us, other to us. However, if Breivik’s act was a moment of insanity, his otherness is no longer locatable: and the notion of ‘us and them’ shifts from a geographical, physical, religious, or cultural notion, to one in the realm of ideas. And this is what truly scares us. For, if what is foreign is not phenomenological, then it cannot be seen, detected, sensed. Anders Behring Breivik, Timothy McVeigh, and Terry Nichols, terrify us not merely for the fact that they were white in a white society, but more pertinently that their skin color did not matter: we would not be able to spot them even if they were blue, even if they were right next to us, even if we had known them all our lives. Even as we are grappling with holding Breivik accountable by declaring him of sound mind, what truly terrifies us is that deep down we know that Breivik’s act is a moment of madness; beyond all comprehensibility. And this means that we would not be able to spot the idea; even if it were in our heads at this very moment. We have gone to lengths to rehabilitate Breivik, McVeigh, Nichols, and such perpetrators of massive incomprehensible violence, in order to preserve our difference from them. What we have really been trying to deny is the fact that everyone, at any given moment, could have a moment of madness. And this is the true radicality of Mary Shelley: in allowing us to momentarily enter the head of the monster, she shows us not just the fact that he is like any one of us, but that any one of us could, in the right (or wrong) circumstance, be like him. Perhaps here, there is a lesson to be learned from Wes Craven’s A Nightmare on Elm Street . The most dangerous thing that one could do on Elm Street was to mention Freddy’s name—once you had knowledge of him, you were open to the possibility of a visit during your dreams. This suggests that Freddy is a combination of externalities (after all, when you die, he survives) and your self (if you have never heard of him, he cannot come for you). In this sense, Freddy would be the manifestation par excellence of what Avital Ronell calls a “killer text”—it is one’s relationality with the text (and the ideas, notions, in the said text) that opens oneself to it, to the lessons of the text, to being changed, affected, even to the dangers of the text. After all, one should never forget Plato’s warning that ideas can corrupt, can be perilous. To compound matters, as Ronell reminds us, “the connection to the other is a reading—not an interpretation, assimilation, or even a hermeneutic understanding, but a reading.”7 Thus, in attempting to differentiate ourselves from Breivik by concocting some reason(s) why we are not like him, we have done nothing but read him, open a connection to him. *** Bang bang, he shot me down Bang bang, I hit the ground Bang bang, that awful sound Bang bang, my baby shot me down. “Bang Bang (My Baby Shot Me Down)” Sonny Bono, 1966. This is the part that we all know and remember. Whilst never quite remembering that this is a song that is not so much about violence, love, but about remembering. For, after the bridge comes the accusatory stanza: “Now he's gone, I don't know why/ And till this day, sometimes I cry/ He didn't even say goodbye/ He didn't take the time to lie.” Bang Bang is a game that the two lovers used to play; and all she has now is the memory of the game to remember him by. And the only reason she has to recall this game is: he never provided her a reason for his leaving, his death. Not that she will, can, ever get that satisfactory answer. This is precisely the game we are playing with Anders Behring Breivik. Even though he has left a 1500 page manifesto, even though we will allow him to use the court-room as his platform, we will continue screaming at him “tell me why …” For, what we want him to say is that we are not like him: what we really want him to do is, “take the time to lie …” Perhaps here, we should allow the echo of the infans to resound in baby . As Christopher Fynsk reminds us, the infans is one that is pre-language, pre-knowing, pre-understanding: it is the very finitude, and exteriority, of relationality itself.8 And thus, it is a position of openness to the fullness of possibility—and nothing else. This would be, in Ronell’s terms, a “connection to the other” that knows nothing other than the fact that it is a connection. The true horror of 22 July, 2011, is the fact that it is not Anders Behring Breivik who is mad, but the act itself that is. And this is precisely why only “my baby” that could have “shot me down.” For, it is an act that is from beyond, a sheer act of madness that—as Plato warns us—is whispered into our ears (and can so easily be mistaken for inspiration, and even wisdom), an act that can both seize, and cease, us at the same time. And what can this utter openness to an other, the other, be but a moment of love, a true ‘falling in love’. At the moment of whispering, nothing can be known as we are babies as our baby shoots us down …. Hence, all attempts at analyzing this event (including this one) are not only futile, but border on the farcical. The real tragedy is that we forget that all of us have the possibility of becoming Breivik. NOTES Jean Baudrillard. In the Shadow of the Silent Majorities . Trans. Paul Foss, John Johnston, Paul Patton, & Andrew Berardini. Los Angeles: Semiotext(e), 2007. p. 37. Slavoj Žižek. Violence: Six Sideway Reflections . London: Profile Books, 2009. p. 34 Ibid: 35-36. Boris Johnson. “ Anders Breivik: There is nothing to study in the mind of Norway’s mass killer .” The Telegraph . (25 July, 2011): Slavoj Žižek. Violence: Six Sideway Reflections . London: Profile Books, 2009. p.39. What is killing us is the notion that Breivik’s act is beyond reason, beyond knowing, outside understanding itself. This is why Boris Johnson’s plea was for us to ignore Breivik as a madman. But to do so, Johnson conflates the notion of the act and the person; the singular and the universal. This is exactly the same gesture as insisting on his sanity: the ‘madman’ is merely the absolute other, one that we are not. Avital Ronell. The Telephone Book: Technology, Schizophrenia, Electric Speech . Lincoln: University of Nebraska Press, 1989: 380. Christopher Fynsk. Infant Figures: The Death of the Infans and Other Scenes of Origin . Stanford, CA: Stanford University Press, 2000.  . (shrink)

This essay offers a critical introduction to the intellectual issues involved in the Kitzmiller case relating to intelligent design, and to Steve Fuller’s involvement in it. It offers a brief appraisal of the intelligent design movement stemming from the work of Phillip E. Johnson, and of Steve Fuller’s case for intelligent design in a rather different sense.

Edited collection on Wittgensteinian ethics. With contributions by Oskari Kuusela, Edward Harcourt, Anne-Marie Christensen, Sabina Lovibond, Alexander Miller, Benjamin De Mesel, Cora Diamond, Lars Hertzberg, Jeremy Johnson, Craig Taylor, Alice Crary, Lynette Reid.

Introduction to our edited volume on Wittgensteinian ethics with papers by Oskari Kuusela, Edward Harcourt, Anne-Marie Christensen, Sabina Lovibond, Alexander Miller, Benjamin De Mesel, Cora Diamond, Lars Hertzberg, Jeremy Johnson, Craig Taylor, Alice Crary, Lynette Reid.

We discuss from a philosophical perspective the way in which the normal concept of time might be said to `emerge' in a quantum theory of gravity. After an introduction, we briefly discuss the notion of emergence, without regard to time. We then introduce the search for a quantum theory of gravity ; and review some general interpretative issues about space, time and matter. We then discuss the emergence of time in simple quantum geometrodynamics, and in the Euclidean approach. Section 6 (...) concludes. (shrink)

Of all the demands that mathematics imposes on its practitioners, one of the most fundamental is that proofs ought to be correct. It has been common since the turn of the twentieth century to take correctness to be underwritten by the existence of formal derivations in a suitable axiomatic foundation, but then it is hard to see how this normative standard can be met, given the differences between informal proofs and formal derivations, and given the inherent fragility and complexity of (...) the latter. This essay describes some of the ways that mathematical practice makes it possible to reliably and robustly meet the formal standard, preserving the standard normative account while doing justice to epistemically important features of informal mathematical justification. (shrink)

We survey some philosophical aspects of the search for a quantum theory of gravity, emphasising how quantum gravity throws into doubt the treatment of spacetime common to the two `ingredient theories' (quantum theory and general relativity), as a 4-dimensional manifold equipped with a Lorentzian metric. After an introduction (Section 1), we briefly review the conceptual problems of the ingredient theories (Section 2) and introduce the enterprise of quantum gravity (Section 3). We then describe how three main research programmes in quantum (...) gravity treat four topics of particular importance: the scope of standard quantum theory; the nature of spacetime; spacetime diffeomorphisms, and the so-called `problem of time' (Section 4). These programmes are the old particle-physics approach, superstring theory, and canonical quantum gravity. By and large, these programmes accept most of the ingredient theories' treatment of spacetime, albeit with a metric with some type of quantum nature; but they also suggest that the treatment has fundamental limitations. This prompts the idea of going further: either by quantizing structures other than the metric, such as the topology; or by regarding such structures as phenomenological. We discuss this in Section 5. (shrink)

The main aim of this paper is to make a remark about the relation between dualities between theories, as `duality' is understood in physics and equivalence of theories, as `equivalence' is understood in logic and philosophy. The remark is that in physics, two theories can be dual, and accordingly get called `the same theory', though we interpret them as disagreeing---so that they are certainly not equivalent, as `equivalent' is normally understood. So the remark is simple: but, I shall argue, worth (...) stressing---since often neglected. My argument for this is based on the account of duality developed by De Haro: which is illustrated here with several examples, from both elementary physics and string theory. Thus I argue that in some examples, including in string theory, two dual theories disagree in their claims about the world. I also spell out how this remark implies a limitation of proposals to understand theoretical equivalence as either logical equivalence or a weakening of it. (shrink)

We have two aims. The main one is to expound the idea of renormalization in quantum field theory, with no technical prerequisites. Our motivation is that renormalization is undoubtedly one of the great ideas—and great successes--of twentieth-century physics. Also it has strongly influenced in diverse ways, how physicists conceive of physical theories. So it is of considerable philosophical interest. Second, we will briefly relate renormalization to Ernest Nagel's account of inter-theoretic relations, especially reduction. One theme will be a contrast between (...) two approaches to renormalization. The old approach, which prevailed from ca. 1945 to 1970, treated renormalizability as a necessary condition for being an acceptable quantum field theory. On this approach, it is a piece of great good fortune that high energy physicists can formulate renormalizable quantum field theories that are so empirically successful. But the new approach to renormalization explains why the phenomena we see, at the energies we can access in our particle accelerators, are described by a renormalizable quantum field theory. For whatever non-renormalizable interactions may occur at yet higher energies, they are insignificant at accessible energies. Thus the new approach explains why our best fundamental theories have a feature, viz. renormalizability, which the old approach treated as a selection principle for theories. That is worth saying since philosophers tend to think of scientific explanation as only explaining an individual event, or perhaps a single law, or at most deducing one theory as a special case of another. Here we see a framework in which there is a space of theories. And this framework is powerful enough to deduce that what seemed “manna from heaven” is to be expected: the good fortune is generic. We also maintain that universality, a concept stressed in renormalization theory, is essentially the familiar philosophical idea of multiple realizability; and that it causes no problems for reductions of a Nagelian kind. (shrink)

I have two main aims. The first is general, and more philosophical. The second is specific, and more closely related to physics. The first aim is to state my general views about laws and causation at different ”levels’. The main task is to understand how the higher levels sustain notions of law and causation that ”ride free’ of reductions to the lower level or levels. I endeavour to relate my views to those of other symposiasts. The second aim is to (...) give a framework for describing dynamics at different levels, emphasizing how the various levels’ dynamics can mesh or fail to mesh. This framework is essentially that of elementary dynamical systems theory. The main idea will be, for simplicity, to work with just two levels, dubbed ”micro’ and ”macro’, which are related by coarse-graining. I use this framework to describe, in part, the first four of Ellis’ five types of top-down causation. (shrink)

We present a formal system, E, which provides a faithful model of the proofs in Euclid's Elements, including the use of diagrammatic reasoning.

In another paper, one of us argued that emergence and reduction are compatible, and presented four examples illustrating both. The main purpose of this paper is to develop this position for the example of phase transitions. We take it that emergence involves behaviour that is novel compared with what is expected: often, what is expected from a theory of the system's microscopic constituents. We take reduction as deduction, aided by appropriate definitions. Then the main idea of our reconciliation of emergence (...) and reduction is that one makes the deduction after taking a limit of an appropriate parameter $N$. Thus our first main claim will be that in some situations, one can deduce a novel behaviour, by taking a limit $N\to\infty$. Our main illustration of this will be Lee-Yang theory. But on the other hand, this does not show that the $N=\infty$ limit is physically real. For our second main claim will be that in such situations, there is a logically weaker, yet still vivid, novel behaviour that occurs before the limit, i.e. for finite $N$. And it is this weaker behaviour which is physically real. Our main illustration of this will be the renormalization group description of cross-over phenomena. (shrink)

Proponents of evidence-based medicine and some philosophers of science seem to agree that knowledge of mechanisms can help solve the problem of applying results of controlled studies to target populations (‘the problem of extrapolation’). We describe the problem of extrapolation, characterize mechanisms, and outline how mechanistic knowledge might be used to solve the problem. Our main thesis is that there are four often overlooked problems with using mechanistic knowledge to solve the problem of extrapolation. First, our understanding of mechanisms is (...) often (and arguably, likely to remain) incomplete. Secondly, knowledge of mechanisms is not always applicable outside the tightly controlled laboratory conditions in which it is gained. Thirdly, mechanisms can behave paradoxically. Fourthly, as Daniel Steel points out, using mechanistic knowledge faces the problem of the ‘extrapolator’s circle’. At the same time, when the problems with mechanistic knowledge have been addressed, such knowledge can and should be used to mitigate (nothing can entirely solve) the problem of extrapolation. (shrink)

Abstract: This paper assesses the Everettian approach to the measurement problem, especially the version of that approach advocated by Simon Saunders and David Wallace. I emphasise conceptual, indeed metaphysical, aspects rather than technical ones; but I include an introductory exposition of decoherence. In particular, I discuss whether---as these authors maintain---it is acceptable to have no precise definition of 'branch' (in the Everettian kind of sense). (A version of this paper will appear in a CTNS/Vatican Observatory volume on Quantum Theory and (...) Divine Action, ed. Robert Russell et al.). (shrink)

In a wide range of fields, the word “modular” is used to describe complex systems that can be decomposed into smaller systems with limited interactions between them. This essay argues that mathematical knowledge can fruitfully be understood as having a modular structure and explores the ways in which modularity in mathematics is epistemically advantageous.

A resilient issue in research ethics is whether and when a placebo-controlled trial is justified if it deprives research subjects of a recognized treatment. The clinicians' moral duty to provide the best available care seems to require the use of ‘active’ controlled trials that use an established treatment as a control whenever such a therapy is available. In another regard, ACTs are supposedly methodologically inferior to PCTs. Hence, the moral duty of the clinical researcher to use the best methods will (...) favor PCTs. In this target article, I analyze the three reasons for believing that ACTs are inferior to PCTs namely: 1) ACTs lack ‘assay sensitivity’; 2) ACTs do not measure absolute effect size; and 3) ACTs require more participants; and I contend that none are acceptable. Consequently the tension between clinical and research ethics dissolves: the moral duty of the clinician to avoid PCTs is unopposed by methodological considerations. (shrink)

This paper expounds the modern theory of symplectic reduction in finite-dimensional Hamiltonian mechanics. This theory generalizes the well-known connection between continuous symmetries and conserved quantities, i.e. Noether's theorem. It also illustrates one of mechanics' grand themes: exploiting a symmetry so as to reduce the number of variables needed to treat a problem. The exposition emphasises how the theory provides insights about the rotation group and the rigid body. The theory's device of quotienting a state space also casts light on philosophical (...) issues about whether two apparently distinct but utterly indiscernible possibilities should be ruled to be one and the same. These issues are illustrated using ``relationist'' mechanics. (shrink)

On a traditional view, the primary role of a mathematical proof is to warrant the truth of the resulting theorem. This view fails to explain why it is very often the case that a new proof of a theorem is deemed important. Three case studies from elementary arithmetic show, informally, that there are many criteria by which ordinary proofs are valued. I argue that at least some of these criteria depend on the methods of inference the proofs employ, and that (...) standard models of formal deduction are not well-equipped to support such evaluations. I discuss a model of proof that is used in the automated deduction community, and show that this model does better in that respect. (shrink)

"Arguing that debates over legitimacy, political violence, freedom, and justice would benefit greatly from cross-tradition theorizing, this book shows how putting analytic and continental political theory in conversation would help us to overcome these intractable problems"--.

Niche construction theory (NCT) can be applied to examine the influence of culturally constructed learning environments on the acquisition and retention of beliefs, values, role expectations, and skills. Thus, NCT provides a quantitative framework to account for cultural-historical contingency affecting development and cultural evolution. Learning in a culturally constructed environment is of central concern to many sociologists, cognitive scientists, and sociocultural anthropologists, albeit often from different perspectives. This article summarizes four pertinent theories from these fields—situated learning, activity theory, practice theory, (...) and distributed cognition. As a basis for interdisciplinary investigation, the article considers how these theories may be addressed using a cultural niche-construction framework, including the utility of an embedded model that explicitly accounts for effects of the constructed learning environment on within-individual learning dynamics in an evolutionary framework. (shrink)

We show that certain model-theoretic forcing arguments involving subsystems of second-order arithmetic can be formalized in the base theory, thereby converting them to effective proof-theoretic arguments. We use this method to sharpen the conservation theorems of Harrington and Brown-Simpson, giving an effective proof that WKL+0 is conservative over RCA0 with no significant increase in the lengths of proofs.

The concept of minimal risk has been used to regulate and limit participation by adolescents in clinical trials. It can be understood as setting an absolute standard of what risks are considered minimal or it can be interpreted as relative to the actual risks faced by members of the host community for the trial. While commentators have almost universally opposed a relative interpretation of the environmental risks faced by potential adolescent trial participants, we argue that the ethical concerns against the (...) relative standard may not be as convincing as these commentators believe. Our aim is to present the case for a relative standard of environmental risk in order to open a debate on this subject. We conclude by discussing how a relative standard of environmental risk could be defended in the specific case of an HIV vaccine trial among adolescents in South Africa. (shrink)

Objectives -/- Surveys in various countries suggest 17% to 80% of doctors prescribe ‘placebos’ in routine practice, but prevalence of placebo use in UK primary care is unknown. Methods -/- We administered a web-based questionnaire to a representative sample of UK general practitioners. Following surveys conducted in other countries we divided placebos into ‘pure’ and ‘impure’. ‘Impure’ placebos are interventions with clear efficacy for certain conditions but are prescribed for ailments where their efficacy is unknown, such as antibiotics for suspected (...) viral infections. ‘Pure’ placebos are interventions such as sugar pills or saline injections without direct pharmacologically active ingredients for the condition being treated. We initiated the survey in April 2012. Two reminders were sent and electronic data collection closed after 4 weeks. Results -/- We surveyed 1715 general practitioners and 783 (46%) completed our questionnaire. Our respondents were similar to those of all registered UK doctors suggesting our results are generalizable. 12% (95% CI 10 to 15) of respondents used pure placebos while 97% (95% CI 96 to 98) used impure placebos at least once in their career. 1% of respondents used pure placebos, and 77% (95% CI 74 to 79) used impure placebos at least once per week. Most (66% for pure, 84% for impure) respondents stated placebos were ethical in some circumstances. Conclusion and implications -/- Placebo use is common in primary care but questions remain about their benefits, harms, costs, and whether they can be delivered ethically. Further research is required to investigate ethically acceptable and cost-effective placebo interventions. (shrink)

Picturing is a poorly understood element of Sellars’s philosophical project. We diagnose the problem with picturing as follows: on the one hand, it seems that it must be connected with action in order for it to do its job. On the other hand, the representational states of a picturing system are characterized in descriptive and seemingly static terms. How can static terms be connected with action? To solve this problem, we adopt a concept from recent work in Sellarsian metaethics: the (...) idea of a material practical inference, which (we argue) features centrally in how we picture. The key distinction is that the picturing of nonhuman animals involves only Humean material practical inference, in which representational states are corrected only by feedback from the environment and not from discursive interactions. The resulting view shows that Sellars’s contributions to practical philosophy (especially theory of action and metaethics) cannot be separated from his contributions to philosophy of mind, language, and cognitive science. Further, the view makes it clear that picturing is neither a version of the Given, nor is it a fifth wheel to inferential role in explaining representation, but is essential to Sellars’s model of how animals—including humans—represent their environment. (shrink)

The purpose of this paper is to think about the various methods of attempting to make money in the capital markets (“investing”). I suggest that though running a betting system on a Roulette wheel is silly, running a betting system on the capital markets may be a good idea.

I reject Norton and Earman's hole argument that spacetime substantivalism is incompatible with determinism. I reconcile these both technically and philosophically. There is a technical definition of determinism that is not violated by pairs of models of the kind used in the hole argument. And technicalities aside, the basic idea of determinism is not violated if we claim that at most one of the two models represents a possible world. This claim can be justified either by metrical essentialism, or by (...) denying transworld identity for points: I prefer the latter. (shrink)

No contemporary compatibilist account of free will can be complete unless it engages with the consequence argument. I will argue that Wilfrid Sellars offered an ingenious version of compatibilism that can be used to refute the consequence argument. Unfortunately, owing to the opacity of Sellars’s writings on free will, his solution has been neglected. I will reconstruct his view here, demonstrating how it represents a powerful challenge to the consequence argument and tying it to some recent developments in the compatibilist (...) literature. (shrink)

In a previous paper, we have proposed assigning as the value of a physical quantity in quantum theory, a certain kind of set (a sieve) of quantities that are functions of the given quantity. The motivation was in part physical---such a valuation illuminates the Kochen-Specker theorem; and in part mathematical---the valuation arises naturally in the topos theory of presheaves. This paper discusses the conceptual aspects of this proposal. We also undertake two other tasks. First, we explain how the proposed valuations (...) could arise much more generally than just in quantum physics; in particular, they arise as naturally in classical physics. Second, we give another motivation for such valuations (that applies equally to classical and quantum physics). This arises from applying to propositions about the values of physical quantities some general axioms governing partial truth for any kind of proposition. (shrink)

A notion called Herbrand saturation is shown to provide the model-theoretic analogue of a proof-theoretic method, Herbrand analysis, yielding uniform model-theoretic proofs of a number of important conservation theorems. A constructive, algebraic variation of the method is described, providing yet a third approach, which is finitary but retains the semantic flavor of the model-theoretic version.

This paper forms part of a wider campaign: to deny pointillisme. That is the doctrine that a physical theory's fundamental quantities are defined at points of space or of spacetime, and represent intrinsic properties of such points or point-sized objects located there; so that properties of spatial or spatiotemporal regions and their material contents are determined by the point-by-point facts. Elsewhere, I argued against pointillisme about chrono-geometry, and about velocity in classical mechanics. In both cases, attention focussed on temporal extrinsicality: (...) i.e. on what an ascription of a property implies about other times. Therefore, I also discussed the metaphysical debate whether persistence should be understood as endurance or perdurance. In this paper, I focus instead on spatial extrinsicality: i.e. on what an ascription of a property implies about other places. The main idea will be that the classical mechanics of continuous media involves a good deal of spatial extrinsicality---which seems not to have been noticed by philosophers, even those who have no inclination to pointillisme. I begin by describing my wider campaign. Then I present some elementary aspects of stress, strain and elasticity---emphasising the kinds of spatial extrinsicality they each involve. I conduct the discussion entirely in the context of `Newtonian' ideas about space and time. But my arguments carry over to relativistic physics. (shrink)

is a fragment of first-order aritlimetic so weak that it cannot prove the totality of an iterated exponential fimction. Surprisingly, however, the theory is remarkably robust. I will discuss formal results that show that many theorems of number theory and combinatorics are derivable in elementary arithmetic, and try to place these results in a broader philosophical context.

This paper expounds the relations between continuous symmetries and conserved quantities, i.e. Noether's ``first theorem'', in both the Lagrangian and Hamiltonian frameworks for classical mechanics. This illustrates one of mechanics' grand themes: exploiting a symmetry so as to reduce the number of variables needed to treat a problem. I emphasise that, for both frameworks, the theorem is underpinned by the idea of cyclic coordinates; and that the Hamiltonian theorem is more powerful. The Lagrangian theorem's main ``ingredient'', apart from cyclic coordinates, (...) is the rectification of vector fields afforded by the local existence and uniqueness of solutions to ordinary differential equations. For the Hamiltonian theorem, the main extra ingredients are the asymmetry of the Poisson bracket, and the fact that a vector field generates canonical transformations iff it is Hamiltonian. (shrink)

This paper discusses some of the modal involvements of analytical mechanics. I first review the elementary aspects of the Lagrangian, Hamiltonian and Hamilton-Jacobi approaches. I then discuss two modal involvements; both are related to David Lewis' work on modality, especially on counterfactuals. The first is the way Hamilton-Jacobi theory uses ensembles, i.e. sets of possible initial conditions. The structure of this set of ensembles remains to be explored by philosophers. The second is the way the Lagrangian and Hamiltonian approaches' variational (...) principles state the law of motion by mentioning contralegal dynamical evolutions. This threatens to contravene the principle that any actual truth, in particular an actual law, is made true by actual facts. Though this threat can be avoided, at least for simple mechanical systems, it repays scrutiny; not least because it leads to some open questions. (shrink)

Paul Cohen’s method of forcing, together with Saul Kripke’s related semantics for modal and intuitionistic logic, has had profound effects on a number of branches of mathematical logic, from set theory and model theory to constructive and categorical logic. Here, I argue that forcing also has a place in traditional Hilbert-style proof theory, where the goal is to formalize portions of ordinary mathematics in restricted axiomatic theories, and study those theories in constructive or syntactic terms. I will discuss the aspects (...) of forcing that are useful in this respect, and some sample applications. The latter include ways of obtaining conservation results for classical and intuitionistic theories, interpreting classical theories in constructive ones, and constructivizing model-theoretic arguments. (shrink)

The ambition of this volume is twofold: to provide a comprehensive overview of the field and to serve as an indispensable reference work for anyone who wants to work in it. For example, any philosopher who hopes to make a contribution to the topic of the classical-quantum correspondence will have to begin by consulting Klaas Landsman’s chapter. The organization of this volume, as well as the choice of topics, is based on the conviction that the important problems in the philosophy (...) of physics arise from studying the foundations of the fundamental theories of physics. It follows that there is no sharp line to be drawn between philosophy of physics and physics itself. Some of the best work in the philosophy of physics is being done by physicists, as witnessed by the fact that several of the contributors to the volume are theoretical physicists: viz., Ellis, Emch, Harvey, Landsman, Rovelli, ‘t Hooft, the last of whom is a Nobel laureate. Key features - Definitive discussions of the philosophical implications of modern physics - Masterly expositions of the fundamental theories of modern physics - Covers all three main pillars of modern physics: relativity theory, quantum theory, and thermal physics - Covers the new sciences grown from these theories: for example, cosmology from relativity theory; and quantum information and quantum computing, from quantum theory - Contains special Chapters that address crucial topics that arise in several different theories, such as symmetry and determinism - Written by very distinguished theoretical physicists, including a Nobel Laureate, as well as by philosophers - Definitive discussions of the philosophical implications of modern physics - Masterly expositions of the fundamental theories of modern physics - Covers all three main pillars of modern physics: relativity theory, quantum theory, and thermal physics - Covers the new sciences that have grown from these theories: for example, cosmology from relativity theory; and quantum information and quantum computing, from quantum theory - Contains special Chapters that address crucial topics that arise in several different theories, such as symmetry and determinism - Written by very distinguished theoretical physicists, including a Nobel Laureate, as well as by philosophers. (shrink)

In 1837, Dirichlet proved that there are infinitely many primes in any arithmetic progression in which the terms do not all share a common factor. We survey implicit and explicit uses ofDirichlet characters in presentations of Dirichlet’s proof in the nineteenth and early twentieth centuries, with an eye toward understanding some of the pragmatic pressures that shaped the evolution of modern mathematical method.

I extract some philosophical morals from some aspects of Lagrangian mechanics. One main moral concerns methodology: Lagrangian mechanics provides a level of description of phenomena which has been largely ignored by philosophers, since it falls between their accustomed levels---``laws of nature'' and ``models''. Another main moral concerns ontology: the ontology of Lagrangian mechanics is both more subtle and more problematic than philosophers often realize. The treatment of Lagrangian mechanics provides an introduction to the subject for philosophers, and is technically elementary. (...) In particular, it is confined to systems with a finite number of degrees of freedom, and for the most part eschews modern geometry. (shrink)

This paper forms part of a wider campaign: to deny pointillisme. That is the doctrine that a physical theory's fundamental quantities are defined at points of space or of spacetime, and represent intrinsic properties of such points or point-sized objects located there; so that properties of spatial or spatiotemporal regions and their material contents are determined by the point-by-point facts. Elsewhere, I argued against pointillisme about chrono-geometry, and about velocity in classical mechanics. In both cases, attention focussed on temporal extrinsicality: (...) i.e. on what an ascription of a property implies about other times. Therefore, I also discussed the metaphysical debate whether persistence should be understood as endurance or perdurance. In this paper, I focus instead on spatial extrinsicality: i.e. on what an ascription of a property implies about other places. The main idea will be that the classical mechanics of continuous media involves a good deal of spatial extrinsicality---which seems not to have been noticed by philosophers, even those who have no inclination to pointillisme. I begin by describing my wider campaign. Then I present some elementary aspects of stress, strain and elasticity---emphasising the kinds of spatial extrinsicality they each involve. I conduct the discussion entirely in the context of `Newtonian' ideas about space and time. But my arguments carry over to relativistic physics. (shrink)