This paper compares the recently proposed Robust Full Computational Tree Logic to model robustness in concurrent systems with other computational tree logic -based logics. RoCTL* extends CTL* with the addition of the operators Obligatory and Robustly, which quantify over failure-free paths and paths with one more failure respectively. This paper focuses on examining the succinctness and expressiveness of RoCTL* by presenting translations to and from RoCTL*. The core result of this paper is to show that RoCTL* is expressively equivalent to (...) CTL* but is non-elementarily more succinct. That is, RoCTL* does not add any expressive power over CTL*, but can represent some properties using vastly reduced formulae. We present a translation from RoCTL* into CTL* that preserves truth but may result in non-elementary growth in the length of the translated formula, as each nested Robustly operator may result in an extra exponential blowup. However, we show that this translation is optimal in the sense th.. (shrink)

In healthcare, a tension sometimes arises between the injunction to do as much good as possible with scarce resources and the injunction to rescue identifiable individuals in immediate peril, regardless of cost (the “Rule of Rescue”). This tension can generate serious ethical and political difficulties for public policy makers faced with making explicit decisions about the public funding of controversial health technologies, such as costly new cancer drugs. In this paper we explore the appropriate role of the Rule of Rescue (...) in public resource allocation decisions by health technology funding advisory bodies such as the National Institute for Health and Clinical Excellence. We consider practical approaches to operationalising the Rule of Rescue from Australia and the UK before examining the relevance of individual moral imperatives to public policy making. We conclude that that whilst public policy makers in a humane society should facilitate exceptional departures from a cost effectiveness norm in clinical decisions about identified individuals, it is not so obvious that they should, as a matter of national public policy, exempt any one group of unidentified individuals within society from the rules of opportunity cost at the expense of all others. (shrink)

Two experiments investigated the impact of affect on the working self-concept. Following an affect induction, participants completed the Twenty Statements Test (TST) to assess their working self-concepts. Participants in predominantly happy and angry states used more abstract statements to describe themselves than did participants in predominantly sad and fearful states. Evaluations of the statements that participants generated (Experiment 2) demonstrate that these effects are not the result of (1) participants describing positively and negatively valenced information at different levels of abstraction, (...) or (2) valence-based affective priming. Further, half of the participants in Experiment 2 were led to attribute their affect to the manipulation prior to completing the TST. This manipulation eliminated the influence of affect on the working self-concept. Taken together, these results are consistent with theory and research on the informative functions of affect. (shrink)

Selon son Autobiographie, c’est la révolution parisienne de 1848 qui a incité Mill à revendiquer plus clairement la désignation de socialiste dans l’édition de 1852 de ses Principes d’économie politique. On a pu voir dans les Chapitres sur le socialisme posthumes l’abandon de cette position. Mais ses craintes à l’égard du « socialisme révolutionnaire » ne sont en opposition ni à la révolution ni au socialisme : un « socialisme légitime », violent seulement s’il doit se défendre, n’impliquant pas la (...) disparition de toute propriété privée, préférant la coopération à la main mise de l’État, doit revendiquer tout ce qui de « liberté, égalité et fraternité » peut être réalisé dès maintenant et préparé pour plus tard. (shrink)

We investigated the association between cognitive control and individual differences in cortisol response to stress in participants with generalised anxiety disorder and in never-disordered c...

In the pantheon of liberal political thought, John Stuart Mill’s On Liberty, with its defence of freedom of thought, conscience, speech and private property, takes pride of place. So why did Mill c...

Twitter makes conversation into something like a game. It scores our communication, giving us vivid and quantified feedback, via Likes, Retweets, and Follower counts. But this gamification doesn’t just increase our motivation to communicate; it changes the very nature of the activity. Games are more satisfying than ordinary life precisely because game-goals are simpler, cleaner, and easier to apply. Twitter is thrilling precisely because its goals have been artificially clarified and narrowed. When we buy into Twitter’s gamification, then our values (...) shift from the complex and pluralistic values of communication, to the narrower quest for popularity and virality. Twitter’s gamification bears some resemblance with the phenomena of echo chambers and moral outrage porn. In all these phenomena, we are instrumentalizing our ends for hedonistic reasons. We have shifted our aims in an activity, not because the new aims are more valuable, but in exchange for extra pleasure. (shrink)

Social scientists widely believe that trust begets trustworthiness, meaning that persons reward actions that they view as expressing trust. But evidence from the trust game (also known as the investment game)—introduced by Berg, Dickhaut, and McCabe and frequently used to test this relationship—is surprisingly inconclusive. The present article therefore reexamines this hypothesis (Experiment 1), using the trust game but incorporating mediation analysis and distinguishing between trust and distrust effects. The trust game has been used to study the effects of (...) trust within a relationship: when A trusts B, does this affect B’s behavior toward A? This research (in Experiment 2) extends the question: when A trusts B, is B more likely to trust another player C in a second (unrelated) game? If so, then trust relationships have a transitive structure. Taken together, findings from these experiments show that trust begets trustworthiness and also trust in others. (shrink)

Neuroscientists are searching for the engram within the conceptual framework established by John Locke's theory of mind. This framework was elaborated before the development of information theory, before the development of information processing machines and the science of computation, before the discovery that molecules carry hereditary information, before the discovery of the codon code and the molecular machinery for editing the messages written in this code and translating it into transcription factors that mark abstract features of organic structure such as (...) anterior and distal. The search for the engram needs to abandon Locke's conceptual framework and work within a framework informed by these developments. The engram is the medium by which information extracted from past experience is transmitted to the computations that inform future behavior. The information-conveying symbols in the engram are rapidly generated in the course of computations, which implies that they are molecules. (shrink)

This expanded edition of C L Hardin's ground-breaking work on colour features a new chapter, 'Further Thoughts: 1993', in which the author revisits the dispute ...

The notion that our society, its education system and its intellectual life, is characterised by a split between two cultures – the arts or humanities on one hand, and the sciences on the other – has a long history. But it was C. P. Snow's Rede lecture of 1959 that brought it to prominence and began a public debate that is still raging in the media today. This 50th anniversary printing of The Two Cultures and its successor piece, A Second (...) Look features an introduction by Stefan Collini, charting the history and context of the debate, its implications and its afterlife. The importance of science and technology in policy run largely by non-scientists, the future for education and research, and the problem of fragmentation threatening hopes for a common culture are just some of the subjects discussed. (shrink)

One of the very few accounts in English of German idealism, this ambitious work advances and revises our understanding of both the history and the thought of the classical period of German philosophy. As he traces the structure and evolution of idealism as a doctrine, Frederick Beiser exposes a strong objective, or realist, strain running from Kant to Hegel and identifies the crucial role of the early romantics—Hölderlin, Schlegel, and Novalis—as the founders of absolute idealism.

C. Stephen Evans explains and defends Kierkegaard's account of moral obligations as rooted in God's commands, the fundamental command being `You shall love your neighbour as yourself'. The work will be of interest not only to those interested in Kierkegaard, but also to those interested in the relation between ethics and religion, especially questions about whether morality can or must have a religious foundation. As well as providing a comprehensive reading of Kierkegaard as an ethical thinker, Evans puts him into (...) conversation with contemporary moral theorists. Kierkegaard's divine command theory is shown to be an account that safeguards human flourishing, as well as protecting the proper relations between religion and state in a pluralistic society. (shrink)

The fact that many modal operators are part of an adjunction is probably folklore since the discovery of adjunctions. On the other hand, the natural idea of a minimal propositional calculus extended with a pair of adjoint operators seems to have been formulated only very recently. This recent research, mainly motivated by applications in computer science, concentrates on technical issues related to the calculi and not on the significance of adjunctions in modal logic. It then seems a worthy enterprise (both (...) for these contemporary topical pursuits and also for historical interest) to trace the concept of adjunction back to the origins of the algebraic semantics of modal logic and to make explicit its ubiquity in this branch of mathematics. (shrink)

Michel Foucault had a great influence upon a wide range of disciplines, and his work has been widely interpreted and is frequently referred to, but it is often difficult for beginners to find their way into the complexities of his thought. This is especially true for readers whose background is Anglo-American or "analytic" philosophy. C. G. Prado argues in this updated introduction that the time is overdue for Anglo-American philosophers to avail themselves of what Foucault offers. In this clear and (...) greatly-revised second edition, Prado focuses on Foucault's "middle" or genealogical work, particularly Discipline and Punish and Volume One of The History of Sexuality, in which Foucault most clearly comes to grips with the historicization of truth and knowledge and the formation of subjectivity. Understanding Foucault's thought on these difficult subjects requires working through much complexity and ambiguity, and Prado's direct and accessible introduction is the ideal place to start. (shrink)

This volume contains C. D. Broad's Cambridge lectures on Ethics. Broad gave a course of lectures on the subject, intended primarily for Part I of the Moral Sciences Tripos, every academic year from 1933 - 34 up to and in cluding 1952 - 53 (except that he did not lecture on Ethics in 1935 - 36). The course however was frequently revised, and the present version is es sentially that which he gave in 1952 - 53. Broad always wrote out (...) his lectures fully beforehand, and the manuscript on Ethics, although full of revisions, is in a reasonably good state. But his handwriting is small and close and in places difficult to decipher. I therefore fear that some words may have been misread. There was an additional complication. In the summer of 1953 Broad revised and enlarged two sections of the course, namely the section on "Moore's theory" and that on "Naturalistic theories" (both sections occur in Chapter 4). The revised version of the section on Moore is undoubtedly superior to the earlier version, and I have therefore included it. But in my opinion this is not true of the new version of the section on naturalistic theories: although more comprehensive than the earlier version, it is not only repetitive in itself, but also repeats, sometimes almost verbatim, passages which occur elsewhere in the lectures. In brief, the new version is not fully integrated with the rest of the course. (shrink)

C W Evers, J C Walker; Knowledge, Partitioned Sets and Extensionality: a refutation of the forms of knowledge thesis, Journal of Philosophy of Education, Volume.

C. D. C. Reeve develops a powerful new account of the age-old argument over whether the just are happier than the unjust, drawing from a new understanding of Plato's conception of philosophy.

A coordinate-free formulation is established for (semi) classical particle-field interactions. The exterior language of spacetime chains and De-Rham currents enables the description to include extended strings and membranes besides point particles. Treating physical fields in terms of sections of particular bundles, a unified account of interactions is presented in terms of an intrinsic action principle on a bundle of jets over spacetime. The theory is illustrated by considering the specific model of point particles with intrinsic spin covariantly coupled to theU(1) (...) andSL(2, C) connections describing the electromagnetic and gravitational fields, respectively. The notion of dual spin is examined in this context and coupled equations for this particle-field system are explicitly derived in a local chart. Attention is drawn to the global implications of the theory. (shrink)

The aim of this paper is to set out some of the ontologies amongst which some forms of anti-realism must select. This provides the appropriate setting for presenting an alternative realist ontology. The argument is that the choice between the varieties of anti-realism and realism is inevitably a choice between ontologies.

Emerald Fennell’s debut feature Promising Young Woman (2020) incisively examines sexual assault, misogyny, and the culture of complicity that continues to perpetuate `violence against women. This article will establish Fennell’s aptitude as a filmmaker in condemning the pervasive forces of patriarchal social order in harmony with Kate Manne’s account of structural misogyny analyzed in Down Girl (2017) and Entitled (2020). Fennell’s subversion of genre standards demonstrates how the actions of individuals, separate from the perpetrator, lead to additional acts of harm, (...) and addresses the ever-present reality of male violence which the feminist-hero is, ultimately, unable to surmount. Despite arguments that Promising Young Woman has not met the expectations for change the me-too movement inspired, Fennell challenges conventions to expose misogyny and male violence asking that future feminist filmgoers consider a new way forward. (shrink)

This volume, which is part of the Clarendon Aristotle Series, offers a clear and faithful new translation of Books II to IV of Aristotle's Nicomachean Ethics, accompanied by an analytical commentary focusing on philosophical issues. In Books II to IV, Aristotle gives his account of virtue of character in general and of the principal virtues individually, topics of central interest both to his ethical theory and to modern ethical theorists. Consequently major themes of the commentary are connections on the one (...) hand with other relevant Aristotelian texts and on the other with modern writings, both text-related and thematic. -/- Since the main aim of the volume is to make Aristotle's thought as accessible as possible to readers who do not know Greek, considerable care is taken to elucidate both his technical vocabulary and significant features of his Greek idiom. C. C. W. Taylor also provides systematic comparisons with other translations into English and other languages, and frequent references to other commentaries, ancient, medieval, and modern. These features make the work useful to other scholars in the field as well as to students of philosophy, both undergraduate and graduate. -/- In view of the widespread contemporary interest in the topic of virtue, the volume should appeal to students of ethics (even those hitherto unacquainted with ancient thought) and to any reader who is concerned to see how fundamental questions of life and conduct were approached in a culture significantly different from our own. (shrink)

Visit the author's Web site at www.11PicsOfTime.com Time is a mystery that has perplexed humankind since time immemorial. Resolving this mystery is of significance not only to philosophers and physicists but is also a very practical concern. Our perception of time shapes our values and way of life; it also mediates the interaction between science and religion both of which rest fundamentally on assumptions about the nature of time. C K Raju begins with a critical exposition of various time-beliefs, ranging (...) from the earliest times through Augustine, Newton and Einstein to Stephen Hawking and current notions of chaos and time travel. He traces the role of organised religion in subverting time beliefs for its political ends. The book points out how this resulted in a facile dichotomy between 'linear' and 'cyclic' time, thereby inaugurating a confusion which, according to the author, has handicapped Western thought ever since, eventually influencing the content of science itself. Thus, this book daringly asserts that physical theory, traditionally regarded as amoral and objective, has depended on cultural beliefs about time. The author points out that time beliefs are again being manipulated today as the credibility of science is being exploited to promote a picture of time and, hence, a pattern of human behaviour which is convenient to the agenda of globalisation of culture. The linkages between modern theology and this 'brave new physics' are traced against the wider context of the so-called 'clash of civilisations', and the attempts to remake the world order. The conclusions point to the need to de-theologise time. The author challenges Einstein's understanding of relativity theory and suggests that a 'tilt in the arrow of time', or a small tendency towards cyclicity, will help repair the prevalent confusion about time. A 'tilt' also enables a physics that permits both memory and creativity, so that purpose and spontaneous growth of order are returned to human life. The book ends with a vision of Man as Creator, surprising God. Extensive research in physics, the history of science, comparative religions, and sociology lend weight to the important and challenging conclusions reached by the author. Written as a rejoinder to Stephen Hawking's A Brief History of Time, this book goes much further and, unlike any previous book, it gives a critical exposition of various world religions-Buddhism, Christianity, Hinduism, Islam, and Jainism-while exploring their intricate links, through time beliefs, to current physics on the one hand, and to global political and economic trends, on the other. This book will appeal to scholars and laypersons equally. It will fascinate anyone who reads it and will teach its readers to question the unquestionable. (shrink)

Conscious macrostates are usually assumed to be emergent from the underlying physical microstates comprising the brain and nervous system of biological organisms. However, a major problem with this assumption is that consciousness is essentially nonmeasurable unlike all other proven emergent properties of physical systems. In an earlier paper, using a no-go theorem, it was shown that conscious states cannot be comprised of processes that are physical in nature (Reason, 2019). Combining this result with another unrelated work on causal emergence in (...) physical systems (Hoel, Albantakis and Tononi, 2013), we show in this paper that conscious macrostates are not emergent from physical systems and they also do not supervene on physical microstates. An important implication of our work is that there must be some form of violation of energy conservation in biological systems that are conscious. (shrink)

Are the relations between the property of a thing and its related disposition to react in certain ways, and between the triggering of that disposition and the consequent effect, necessary? Harré and Madden, in their analysis of causal powers, said they are, but their arguments are not persuasive. Humeans like Simon Blackburn deny it. I criticize the Humean position, and argue afresh for their necessity. I note that David Lewis' analysis of causation requires their necessity, though as a confessed Humean (...) he has not admitted this. (shrink)