We report evidence further supporting homology between proteins in the F1FO‐ATP synthetase and the bacterial flagellar motor (BFM). BFM proteins FliH, FliI, and FliJ have been hypothesized to be homologous to FO‐b + F1‐δ, F1‐α/β, and F1‐γ, with similar structure and interactions. We conduct a further test by constructing a gene order dataset, examining the order offliH,fliI, andfliJgenes across the phylogenetic breadth of flagellar and nonflagellar type 3 secretion systems, and comparing this to published surveys of gene order in the (...) F1FO‐ATP synthetase, its N‐ATPase relatives, and the bacterial/archaeal V‐ and A‐type ATPases. Strikingly, thefliHIJgene order was deeply conserved, with the few exceptions appearing derived, and exactly matching the widely conserved F‐ATPase gene orderatpFHAG, coding for subunits b‐δ‐α‐γ. The V/A‐type ATPases have a similar conserved gene order. Our results confirm homology between these systems, and suggest a rare case of synteny conserved over billions of years, predating the Last Universal Common Ancestor (LUCA). (shrink)

There is an extensive literature on time travel in both philosophy and physics. Part of the great interest of the topic stems from the fact that reasons have been given both for thinking that time travel is physically possible—and for thinking that it is logically impossible! This entry deals primarily with philosophical issues; issues related to the physics of time travel are covered in the separate entries on time travel and modern physics and time machines. We begin with the definitional (...) question: what is time travel? We then turn to the major objection to the possibility of backwards time travel: the Grandfather paradox. Next, issues concerning causation are discussed—and then, issues in the metaphysics of time and change. We end with a discussion of the question why, if backwards time travel will ever occur, we have not been visited by time travellers from the future. (shrink)

This paper argues that the most famous objection to backward time travel can carry no weight. In its classic form, the objection is that backward time travel entails the occurrence of impossible things, such as auto-infanticide—and hence is itself impossible. David Lewis has rebutted the classic version of the objection: auto-infanticide is prevented by coincidences, such as time travellers slipping on banana peels as they attempt to murder their younger selves. I focus on Paul Horwich‘s more recent version of the (...) objection, according to which backward time travel entails not impossible things, but improbable ones—such as the string of slips on banana peels that would be required to stop a determined auto-infanticidal maniac from murdering her younger self—and hence is itself highly improbable. I argue that backward time travel does not entail unusual numbers of coincidences; and that, even if it did, that would not render its occurrence unlikely. (shrink)

This paper presents a new solution to the problems for orthodox decision theory posed by the Pasadena game and its relatives. I argue that a key question raised by consideration of these gambles is whether evaluative compositionality (as I term it) is a requirement of rationality: is the value that an ideally rational agent places on a gamble determined by the values that she places on its possible outcomes, together with their mode of composition into the gamble (i.e. the probabilities (...) assigned to them)? The paper first outlines a certain simple response to the Pasadena game and identifies two problems with this response, the second of which is that it leads to a wholesale violation of evaluative compositionality. I then argue that rationality does not require decision makers to factor in outcomes of arbitrarily low probability. A method for making decisions which flows from this basic idea is then developed, and it is shown that this decision method (Truncation) leads to a limited — as opposed to wholesale — violation of evaluative compositionality. The paper then argues that the truncation method yields solutions to the problems posed by the Pasadena game and its relatives that are both attractive in themselves and superior to those yielded by alternative proposals in the literature. (shrink)

In his celebrated article on the contrary-to-fact conditional Roderick Chisholm makes the following astute observation.

A many-valued (aka multiple- or multi-valued) semantics, in the strict sense, is one which employs more than two truth values; in the loose sense it is one which countenances more than two truth statuses. So if, for example, we say that there are only two truth values—True and False—but allow that as well as possessing the value True and possessing the value False, propositions may also have a third truth status—possessing neither truth value—then we have a many-valued semantics in the (...) loose but not the strict sense. A many-valued logic is one which arises from a many-valued semantics and does not also arise from any two-valued semantics [Malinowski, 1993, 30]. By a ‘logic’ here we mean either a set of tautologies, or a consequence relation. We can best explain these ideas by considering the case of classical propositional logic. The language contains the usual basic symbols (propositional constants p, q, r, . . .; connectives ¬, ∧, ∨, →, ↔; and parentheses) and well-formed formulas are defined in the standard way. With the language thus specified—as a set of well-formed formulas—its semantics is then given in three parts. (i) A model of a logical language consists in a free assignment of semantic values to basic items of the non-logical vocabulary. Here the basic items of the non-logical vocabulary are the propositional constants. The appropriate kind of semantic value for a proposition is a truth value, and so a model of the language consists in a free assignment of truth values to basic propositions. Two truth values are countenanced: 1 (representing truth) and 0 (representing falsity). (ii) Rules are presented which determine a truth value for every proposition of the language, given a model. The most common way of presenting these rules is via truth tables (Figure 1). Another way of stating such rules—which will be useful below—is first to introduce functions on the truth values themselves: a unary function ¬ and four binary functions ∧, ∨, → and ↔ (Figure 2).. (shrink)

This paper presents a new argument against A-theories of time. A-theorists hold that there is an objective now (present moment) and an objective flow of time, the latter constituted by the movement of the objective now through time. A-theorists therefore want to draw different pictures of reality—showing the objective now in different positions—depending upon the time at which the picture is drawn. In this paper it is argued that the times at which the different pictures are drawn may be taken (...) to be normal times or hypertimes. If they are normal times then the A-theory is inconsistent, or else collapses to the B-theory—and appealing to primitive tense operators will not help A-theorists avoid this conclusion. If the times are hypertimes then the A-theory is consistent, but deeply problematic none the less. (shrink)

One of Tarski’s stated aims was to give an explication of the classical conception of truth—truth as ‘saying it how it is’. Many subsequent commentators have felt that he achieved this aim. Tarski’s core idea of defining truth via satisfaction has now found its way into standard logic textbooks. This paper looks at such textbook definitions of truth in a model for standard first-order languages and argues that they fail from the point of view of explication of the classical notion (...) of truth. The paper furthermore argues that a subtly different definition—also to be found in classic textbooks but much less prevalent than the kind of definition that proceeds via satisfaction—succeeds from this point of view. (shrink)

A number of authors have noted that vagueness engenders degrees of belief, but that these degrees of belief do not behave like subjective probabilities. So should we countenance two different kinds of degree of belief: the kind arising from vagueness, and the familiar kind arising from uncertainty, which obey the laws of probability? I argue that we cannot coherently countenance two different kinds of degree of belief. Instead, I present a framework in which there is a single notion of degree (...) of belief, which in certain circumstances behaves like a subjective probability assignment and in other circumstances does not. The core idea is that one’s degree of belief in a proposition P is one’s expectation of P’s degree of truth. (shrink)

I have argued for a picture of decision theory centred on the principle of Rationally Negligible Probabilities. Isaacs argues against this picture on the grounds that it has an untenable implication. I first examine whether my view really has this implication; this involves a discussion of the legitimacy or otherwise of infinite decisions. I then examine whether the implication is really undesirable and conclude that it is not.

The major reason given in the philosophical literature for dissatisfaction with theories of vagueness based on fuzzy logic is that such theories give rise to a problem of higherorder vagueness or artificial precision. In this paper I first outline the problem and survey suggested solutions: fuzzy epistemicism; measuring truth on an ordinal scale; logic as modelling; fuzzy metalanguages; blurry sets; and fuzzy plurivaluationism. I then argue that in order to decide upon a solution, we need to understand the true nature (...) and source of the problem. Two possible sources are discussed: the problem stems from the very nature of vagueness—from the defining features of vague predicates; or the problem stems from the way in which the meanings of predicates are determined—by the usage of speakers together with facts about their environment and so on. I argue that the latter is the true source of the problem, and on this basis that fuzzy plurivaluationism is the correct solution. (shrink)

At the opening of the twenty-first century, while obviously the world is still struggling with violence and conflict, many commentators argue that there are many reasons for supposing that restrictions on the use of force are growing. The establishment of the International Criminal Court, the growing sophistication of international humanitarian law and the 'rebirth' of the just war tradition over the last fifty years are all taken as signs of this trend. This book argues that, on the contrary, the just (...) war tradition, allied to a historically powerful and increasingly dominant conception of politics in general, is complicit with an expansion of the grounds of supposedly legitimate force, rather than a restriction of it. In offering a critique of this trajectory, 'Just War and International Order' also seeks to illuminate a worrying trend for international order more generally and consider what, if any, alternative there might be to it. (shrink)

In an earlier paper I argued that time travellers cannot change the past: alleged models of changing the past either fall into contradiction or else involve avoiding, not changing, the past. Goddu has responded to my argument, maintaining that his hypertime model involves time travellers changing (not avoiding) the past. In the present paper I first discuss what would be required to substantiate the claim that a given model involves changing rather than avoiding the past. I then consider Goddu's hypertime (...) model and an earlier model due to Meiland. I argue that neither author does what would be required to substantiate the claim that the model involves changing (not avoiding) the past. I go on to give reasons for the stronger claim that no-one can present a coherent model and also substantiate the claim that it involves changing (not avoiding) the past. (shrink)

The so-called paradoxes of time travel have played a significant role in both the physics and philosophy literatures - but how much force do these alleged paradoxes really have?

It is part of information theory folklore that, while quantum theory prohibits the generic cloning of states, such cloning is allowed by classical information theory. Indeed, many take the phenomenon of no-cloning to be one of the features that distinguishes quantum mechanics from classical mechanics. In this paper, we use symplectic geometry to argue that pace conventional wisdom, in the case where one does not include a machine system, there is an analog of the no-cloning theorem for classical systems. However, (...) upon adjoining a non-trivial machine system one finds that, pace the quantum case, the obstruction to cloning disappears for pure states. We then discuss the difference between this result and the quantum case, and show that it can be explained in terms of the rigidity of the theories' respective geometries. Finally, we discuss the relationship between this result and classical no-cloning arguments in the context of symmetric monoidal categories and statistical classical mechanics. (shrink)

Postmodernism and poststructuralism challenge fundamental positions in social theory. This book sets out some of the components of a postmodern social theory of health and healing, deriving from theorists including Derrida, Deleuze and Guattari, Foucault, Cixous and Kristeva. Nicholas J. Fox observes that the knowledge of the medical profession about the body, illness and health supplies the basis for medical dominance. The body of the patient is inscribed by discourses of professional `care,' an interaction which subjectifies the patient. Fox (...) explores the character of this power - and how it may be, and is, resisted. The book illustrates with detailed examples how the organization of health care and the caring relationship itself are sites for this contestation of power. Elements of feminist theory, and Derridean concepts of diffrance and intertextuality, supply the framework for the politics and ethics of the postmodern position on health. Deleuze and Guattari's radical challenge to psychoanalysis and familial repetitions within the healer/patient contact allows a re-reading of central ideas in medical sociology. While focusing upon the possibilities of postmodern social theory, the book demands a reappraisal of issues of structure, identity and knowledge in modernist medical sociology. Modernist sociology, Fox suggests, has been complicit in the creation of `the patient,' and of 'health' and 'illness.' Written with an emphasis on accessibility, this book explores the practical consequences of postmodern theory as well as familiarizing the reader with the concepts of postmodernism. (shrink)

Corporations despite their status as legally fictitious persons are not such, and to confound them with real persons in even the minimal legal sense is to negate much of the force of the concept of rights when applied to the society. When corporations have rights individual rights become meaningless. While corporations may need some form of protection to make them financially feasible investments, they need not be given the full protection of rights which are assigned to the individual. A much (...) attenuated version of corporate rights is warranted. I would argue against Werhane's notion of a corporation possessing “secondary rights” which can be asserted only after the claims of individual rights have been met. Ibid., p. 62.One solution to the problems raised in this essay would be to ascribe rights to individuals only. This could occur without interfering with the financial independence of the corporation by a simple legal prescription that individuals within a corporation be held responsible for their activities and that the corporation p e r se not be blamed for individual actions. This is consistent with the judgments against the Nazi war criminals who were denied the defense of justifying their actions on the basis of following orders. Responsibility for those actions which are the result of the workings of the “invisible hand” cannot be ascribed to any individual or group of individuals. Donaldson is helpful on this point in recommending an “office of social responsibility” be created as part of the corporation to monitor those actions which otherwise escape scrutiny. Donaldson, Corporations and Morality, p. 207.A more radical solution is to restructure the corporation in such a way as to introduce the element of democracy in the workplace. Opponents would argue that such a practice would diminish the profit-making potential of the corporation by limiting the discretion of the corporate officers in making decisions. Similar arguments have been advanced against the democratic state. Yet democratic states have proven to be viable institutions capable of effective action and demonstrably more survivable than the authoritarian regimes which are the analogs of the corporation.Given the current hierarchical structure of the corporation and its ability to dissolve in the face of questions of responsibility, individual accountability is the only viable solution. This requires that members of the corporation not find cover behind the “invisible hand.” This in turn necessitates the granting of a greater degree of discretionary power to corporate functionaries at all levels. We cannot be responsible for a state of affairs over which we have no effective control. The courts would make the ultimate decision as to the assignation of responsibility in particular cases of corporate crime, with the stipulation that the ascription be to an individual and not “the corporation.” By making corporate officers individually responsible for their actions a much more effective deterrent to corporate crimes would be created. Corporations can easily afford most of the fines that are imposed on them, and corporations cannot be put in prison.The view of the corporation advanced here puts it in a legal and moral position greatly inferior to that of the individual as well as the state. Consequently, corporate needs and welfare must remain a tertiary concern. The rights of the individual must figure primarily, and the welfare of the state as preserver of those rights secondarily, in social policy decisions. The libertarian vision of the corporation is therefore a misguided result of the conflation of the corporation and the individual in the legal and moral realms. Corporations and individuals are ontologically distinct entities and must be recognized as such. The failure to do so has enabled corporations to abrogate individual rights with legal and moral impunity. Such a situation is inconsistent with the demands of a rights-based democracy. (shrink)

A philosophical treatment of the idea of authority, this book is a dialogue between three characters. "Director," a philosopher, challenges the others to think through their ideas of authority, how it is established, how it works, and how it can be either subtle or bold.

In the context of classical (crisp, precise) sets, there is a familiar connection between the notions of counting, ordering and cardinality. When it comes to vague collections, the connection has not been kept in central focus: there have been numerous proposals regarding the cardinality of vague collections, but these proposals have tended to be discussed in isolation from issues of counting and ordering. My main concern in this paper is to draw focus back onto the connection between these notions. I (...) propose a natural generalisation to the vague case of the familiar process of counting precise collections. I then discuss the relationships between this process of counting and various notions of ordering and cardinality for vague sets. Some existing views concerning the cardinality of vague collections fit better than others with my proposal about how to count the members of such a collection. In particular, the idea that we should approach cardinality via certain formulas of a logical language -- which has been prominent in the recent literature -- is less attractive than other existing proposals. (shrink)

Philosophers, linguists and others interested in problems concerning natural language frequently employ tools from logic and model theory. The question arises as to the proper interpretation of the formal methods employed—of the relationship between, on the one hand, the formal languages and their set-theoretic models and, on the other hand, the objects of ultimate interest: natural language and the meanings and truth conditions of its constituent words, phrases and sentences. Two familiar answers to this question are descriptivism and instrumentalism. More (...) recently, a third answer has been proposed: the logic as modelling view. This paper seeks to clarify and assess this view of logic. The conclusion is that we can successfully adopt the modelling perspective on a given piece of logical machinery only if we have to hand some other machinery to which we take the descriptive attitude. Thus, logic as modelling is not a full-fledged alternative to the descriptive view— for it cannot stand alone: it can at best be an addition to the descriptive perspective. The paper first presents the argument in a general, abstract form, before working through a detailed case study. The case examined is the one with respect to which the logic as modelling view has been developed in the greatest detail in the literature: the case of fuzzy model theory as an account of vagueness in natural language. (shrink)

The “justice of markets” is intricately connected to the treatment of the poor and the disadvantaged in market economies. The increased interest of multinational corporations in low-income market segments affords, on one hand, the opportunity for a more inclusive capitalism, and on the other, the threat of greater exploitation of poor and disadvantaged consumers. This article traces the contributions of Catholic Social Teaching and its basic principles toward providing insight into what constitutes “justice” in such “marketing to the impoverished” situations.

At Providence St. Joseph Health in Oregon, many factors contribute to the integration and success of the ethics services. There are three principal lenses through which one can understand the distinct way in which the ethics services are operationalized and integrated: the theological foundations of ethics as a service, the institutional ecology, and the professionalization of the field of health care ethics. The authors review key realities that have shaped their work through these three lenses and then describe the activities (...) of the Providence Center for Health Care Ethics regarding its strategic objectives and clinical and administrative integration. (shrink)

In VAGUENESS AND DEGREES OF TRUTH, Nicholas Smith develops a new theory of vagueness: fuzzy plurivaluationism. -/- A predicate is said to be VAGUE if there is no sharply defined boundary between the things to which it applies and the things to which it does not apply. For example, 'heavy' is vague in a way that 'weighs over 20 kilograms' is not. A great many predicates -- both in everyday talk, and in a wide array of theoretical vocabularies, from (...) law to psychology to engineering -- are vague. -/- Smith argues, based on a detailed account of the defining features of vagueness, that an accurate theory of vagueness must involve the idea that truth comes in degrees. The core idea of degrees of truth is that while some sentences are true and some are false, others possess intermediate truth values: they are truer than the false sentences, but not as true as the true ones. Degree-theoretic treatments of vagueness have been proposed in the past, but all have encountered significant objections. In light of these, Smith develops a new type of degree theory. Its innovations include a definition of logical consequence that allows the derivation of a classical consequence relation from the degree-theoretic semantics, a unified account of degrees of belief and their relationships with degrees of truth and subjective probabilities, and the incorporation of semantic indeterminacy -- the view that vague statements need not have unique meanings -- into the degree-theoretic framework. -/- As well as being essential reading for those working on vagueness, Smith's book provides an excellent entry-point for newcomers to the area -- both from elsewhere in philosophy, and from computer science, logic and engineering. It contains a thorough introduction to existing theories of vagueness and to the requisite logical background. (shrink)

When considering other persons, the human mind draws from folk theories of biology, physics, and psychology. Studies have examined the extent to which people utilize these folk theories in inferring whether or not God has human-like biological, physical, and psychological constraints. However, few studies have examined the way in which these folk attributions relate to each other, the extent to which attributions within a domain are consistent, or whether cultural factors influence human-like attributions within and across domains. The present study (...) assessed 341 individuals’ attributions of anthropomorphic properties to God in three domains (psychological, biological, and physical), their religious beliefs, and their engagement in religious practices. Three Confirmatory Factor Analyses tested hypothetical models of the underlying structure of an anthropomorphic concept of God. The best fitting model was the “Hierarchical Dimensions Concept,” the analyses indicated one overall dimension of anthropomorphism with three sub-domains. Additionally, participants’ religiosity was negatively related to attributing human-like psychological properties to God, suggesting that the more people engage with their religion, the less they think about God as having a ‘human-like’ mind. Religiosity was positively related to individual consistency scores in the biological domain. In other words, greater religiosity was related to less consistent answers about God’s biological properties. As a result, the findings of the current study also suggest that individuals do not just vary between each other in how much they anthropomorphize God, but additionally, variation exists in the type of anthropomorphic reasoning used within an individual person’s concept of God. (shrink)

In this superb introduction, Nicholas Dent covers the whole of Rousseau's thought. Beginning with a helpful overview of Rousseau's life and works, he introduces and assesses Rousseau's central ideas and arguments. These include the corruption of modern civilization, the state of nature, his famous theories of _amour de soi _and _amour propre_, education, and his famous work _Emile_. He gives particular attention to Rousseau's theories of democracy and freedom found in his most celebrated work, _The Social Contract_, and explains (...) what Rousseau meant by the 'general will'. (shrink)