Most commonly, the scientific realism debate is seen as dividing those who do and do not think that the striking empirical and practical successes of at least our best scientific theories indicate with high probability that those theories are ‘approximately true’. But I want to suggest that this characterization of the debate has far outlived its usefulness. Not only does it obscure the central differences between two profoundly different types of contemporary scientific realist, but even more importantly it serves to (...) disguise the most substantial points of actual disagreement between these two kinds of realists and those who instead think the historical record of scientific inquiry itself reveals that such realism is untenable in either form. (shrink)

We analyse the extent of possible computations following Hogarth ([2004]) conducted in Malament–Hogarth (MH) spacetimes, and Etesi and Németi ([2002]) in the special subclass containing rotating Kerr black holes. Hogarth ([1994]) had shown that any arithmetic statement could be resolved in a suitable MH spacetime. Etesi and Németi ([2002]) had shown that some relations on natural numbers that are neither universal nor co-universal, can be decided in Kerr spacetimes, and had asked specifically as to the extent of computational limits there. (...) The purpose of this note is to address this question, and further show that MH spacetimes can compute far beyond the arithmetic: effectively Borel statements (so hyperarithmetic in second-order number theory, or the structure of analysis) can likewise be resolved: Theorem A. If H is any hyperarithmetic predicate on integers, then there is an MH spacetime in which any query ? n H ? can be computed. In one sense this is best possible, as there is an upper bound to computational ability in any spacetime, which is thus a universal constant of that spacetime. Theorem C. Assuming the (modest and standard) requirement that spacetime manifolds be paracompact and Hausdorff, for any spacetime there will be a countable ordinal upper bound, , on the complexity of questions in the Borel hierarchy computable in it. Introduction 1.1 History and preliminaries Hyperarithmetic Computations in MH Spacetimes 2.1 Generalising SADn regions 2.2 The complexity of questions decidable in Kerr spacetimes An Upper Bound on Computational Complexity for Each Spacetime CiteULike Connotea Del.icio.us What's this? (shrink)

The criminal law presently distinguishes between actions and omissions, and only rarely proscribes failures to avert consequences that it would be an offense to bring about. Why? In recent years it has been persuasively argued by both Glover and Bennett that, celeris paribus, omissions to prevent a harm are just as culpable as are actions which bring that harm about. On the other hand, and acknowledging that hitherto “lawyers have not been very successful in finding a rationale for it,” Tony (...) Honoré has sought to defend the law's differential treatment. He proposes a “distinct-duties theory” that in addition to the general duties we owe to everyone, we also owe distinct duties to a more limited collection of people and associations, specified by features of our relationship with them. Where a distinct duty holds, breach by omission may well be no better than breach by positive action. But absent a distinct duty, omissions, per Honoré, are less culpable. They are mere failures to intervene and improve or rectify things, whereas actions are positive interventions which make things worse. And, thus, the law has good reason to differentiate between them. (shrink)

When a patient fails to follow the advice or prescription of a physician, she is termed to be "noncompliant" by the medical community. The medical community’s response to and understanding of patient noncompliance fails to acknowledge noncompliance as either a relational failure between physician and patient or as a patient choice. I offer an analysis of Immanuel Kant and Emmanuel Levinas that refocuses the issue of noncompliance by examining the physician role, the doctor–patient relationship, and the nature of responsibility.

An epistemic logic is built up on the basis of an analysis of two skeptical arguments. the method used is to first construct an inference relation appropriate to epistemic contexts and introduce "a knows that..." as an operator giving rise to sentences closed with respect to this new concept of inference. soundness and completeness proofs are provided using auxiliary three-valued valuations.

This paper examines Hume’s ‘Title Principle’ and its role in a response to one of the ‘manifest contradictions’ he identifies in the conclusion to Book I of A Treatise on Human Nature. This ‘contradiction’ is a tension between two ‘equally natural and necessary’ principles of the imagination, our causal inferences and our propensity to believe in the continued and distinct existence of objects. The problem is that the consistent application of causal reason undercuts any grounds with have for the belief (...) in continued and distinct existence, and yet that belief is as ‘natural and necessary’ as our propensity to infer effects from causes. The TP appears to offer a way to resolve this ‘contradiction’. It statesWhere reason is lively, and mixes itself with some propensity, it ought to be assented to. Where it does not, it never can have any title to operate upon us.’ In brief, if it can be shown that the causal inferences that undermine the belief in external world are not ‘lively’ nor mixed with some propensity’ then we have grounds for think that they have no normative authority. This is in part a response to another ‘manifest contradiction’, namely the apparently self-undermining nature of reason. In this paper I examine the nature and grounds of the TP and its relation to these ‘manifest contradictions’. (shrink)

The belief that syntax is an innate, autonomous, species-specific module is highly questionable. Syntax demonstrates the mosaic nature of evolutionary change, in that it made use of (and led to the enhancement of) numerous preexisting neurocognitive features. It is best understood as an emergent characteristic of the explosion of semantic complexity that occurred during hominid evolution.

The relation between morality and religion has often been discussed. However, it is not always recognized that the relation varies greatly according to the variety of religions. I shall here be concerned solely with Christian theism in its traditional form. I take the latter to signify, essentially, belief in a morally perfect Creator who exists in the threefold form of Father, Son and Holy Spirit and who, in the person of the Son, became man in Christ for our salvation. I (...) thus exclude from consideration all non-theistic accounts of God or the Absolute. Also I shall consider, not simply bare theism of the kind that Christians share with Jews and Muslims, but also the distinctively Christian form of theism that is generated by distinctively Christian revelation. Many otherwise sound descriptions of the relation between morality and theism are defective because they fail to consider the distinctively Christian contribution to the theistic concept of God and of his relation to the world. (shrink)

Many writers often generalise about mysticism without a sufficiently close analysis of texts. Consequently the generalisations are often invalid. My present aim is to analyse one text and, in the light of this analysis, to offer some observations concerning mysticism in general and Christian mysticism in particular.