We introduce a logic BI in which a multiplicative (or linear) and an additive (or intuitionistic) implication live side-by-side. The propositional version of BI arises from an analysis of the proof-theoretic relationship between conjunction and implication; it can be viewed as a merging of intuitionistic logic and multiplicative intuitionistic linear logic. The naturality of BI can be seen categorically: models of propositional BI's proofs are given by bicartesian doubly closed categories, i.e., categories which freely combine the semantics of propositional intuitionistic (...) logic and propositional multiplicative intuitionistic linear logic. The predicate version of BI includes, in addition to standard additive quantifiers, multiplicative (or intensional) quantifiers ∀ new and ∃ new which arise from observing restrictions on structural rules on the level of terms as well as propositions. We discuss computational interpretations, based on sharing, at both the propositional and predicate levels. (shrink)

This paper examines the possibilities for peripheral localities to achieve upward mobility in the world-system by “hooking on” to larger processes of world-system accumulation. In particular, is it possible for economies that are dependent on foreign investment to receive a flow of investments that is high enough to overcome the negative impacts of a high stock of foreign investment, thus enabling them to cross a threshold and achieve upward mobility in the world-system? An analysis of the recent experience of the (...) southern Irish “Celtic Tiger” economy during 1990-2000 indicates that such an upward movement is possible on the basis of massive foreign investment inflows. On closer examination, however, the Irish-type model appears to be highly deficient, because a high proportion of growth is illusionary and also on grounds of social desirability and lack of generalizability. (shrink)

sat es beatus (Catull. 23.27)In the aggressively philosophical poem 23, Catullus attempts to change Furius’ mind about how he perceives his poverty, ‘advice’ which has been identified as either Stoic or Epicurean. Irrespective of the precise school of thought, it is clear that the poet ridicules Furius in eudaimonistic language. The poet of social commentary seeks to define thebeatus uir. In fact, the termbeatushas rich philosophical resonance and Catullus uses it in several other poems where attitudes to wealth form a (...) significant backdrop to the poet's social posturing. Catullus was no philosopher. He employs the language and ideas of different schools, and, while his work does not reflect a coherent philosophical position, he was writing at a time when public discourse increasingly drew upon philosophical language and topoi. I will examine Catullus’ use of the termbeatusin poems 9, 10, 22 and 23 to demonstrate that the poet draws a contrast between its different meanings across these pairs of adjacent poems. I will argue that Catullus contrasts the eudaimonistic and material meanings of the word to show the differences between clear-sighted wisdom and deceptive pleasures, between the good life and a life filled with goods. (shrink)

Background Seeking assent from children for participation in medical research is an ethical imperative of numerous institutions globally. However, none of these organizations provide specific guidance on the criteria or process to be used when obtaining assent. The primary objective of this scoping review was to determine the descriptions of assent discussed in the literature and the reported criteria used for seeking assent for research participation in pre-adolescent children. Methods Medline and Embase databases were searched until November 2020 using the (...) term “assent” in the title or abstract. Inclusion criteria were (1) studies enrolling children which specifically described operationalization of the assent process and (2) studies of the assent process which provided a description of assent. Data collected included participant information, patient criteria for seeking assent, guidelines referenced, description of assent reported, how assent was obtained and assent information presented, and reported assent rate. For qualitative articles focusing on the assent process, important themes were identified. Results A total of 116 articles were included of which 79 (68.9%) operationalized assent and 57 studies (%) described the assent process. The most commonly reported criterion used to determine the ability of a child to assent was age (35.4%, 28/79). The reported minimal age for obtaining pediatric assent varied considerably across and within jurisdictions (5–13 years; median 7.5 years, IQR 7.0, 9.75). Cognitive ability was reported as a criterion for obtaining assent in 5.1% (4/79) of studies. Assent rates were only reported in 17.7% (14/79) of citations and ranged from 32.0 to 100%. Analysis of the 57 studies describing the assent process identified several themes, including age thresholds, assessment of capacity, variable knowledge of pediatric assent and parental roles. Conclusion We found significant variation in criteria used for assessment of patient capacity, delivery of information used to obtain assent and documentation of the assent process. While we acknowledge that individual children, settings and jurisdictions may require different approaches to obtaining assent, there should be agreement on important principles to be followed with resulting common guidance on assessing capacity, delivering information and documentation of the assent process for publication. (shrink)

One might poetically muse that computers have the essence both of logic and machines. Through the case of the history of Separation Logic, we explore how this assertion is more than idle poetry. Separation Logic works because it merges the software engineer’s conceptual model of a program’s manipulation of computer memory with the logical model that interprets what sentences in the logic are true, and because it has a proof theory which aids in the crucial problem of scaling the reasoning (...) task. Scalability is a central problem, and some would even say the central problem, in appli- cations of logic in computer science. Separation Logic is an interesting case because of its widespread success in verification tools. For these two senses of model—the engineering/conceptual and the logical—to merge in a genuine sense, each must maintain their norms of use from their home disciplines. When this occurs, both the logic and engineering benefit greatly. Seeking this intersection of two different senses of model provides a strategy for how computer scientists and logicians may be successful. Furthermore, the history of Separation Logic for analysing programs provides a novel case for philosophers of science of how software engineers and computer scientists develop models and the components of such models. We provide three contributions: an exploration of the extent of models merging that is necessary for success in computer science; an introduction to the technical details of Separation Logic, which can be used for reasoning about other exhaustible resources; and an introduction to the problems, process, and results of computer scientists for those outside the field. (shrink)

Many philosophers judge that typical agent-causal accounts of freedom improperly sacrifice the possibility of rational explanation of the action for the sake of securing control, while others judge that the reverse shortcoming plagues typical event causal accounts. (Of course, many philosophers make both these judgments.) After briefly rehearsing the reasons for these verdicts on the two traditional strategies, we undertake an extended examination of Randolph Clarke's recent attempt to meet the challenge by proposing an original, "integrated agent-causal" account of human (...) free action. We argue that Clarke's account fails. In a final section, we sketch a more promising route to integration. (shrink)

This provocative book refurbishes the traditional account of freedom of will as reasons-guided "agent" causation, situating its account within a general metaphysics. O'Connor's discussion of the general concept of causation and of ontological reductionism v. emergence will specially interest metaphysicians and philosophers of mind.

Timothy O'Hagan investigates Jean-Jacques Rousseau's writings concerning the formation of humanity, of the individual and of the citizen, in his three master works, the Discourse on the Origin of Inequality among Men , The Emile , and The Social Contract . He explores Rousseau's reflections on developmental psychology, the nature of the political order, relations between the sexes, language and religion. O'Hagan gives Rousseau's arguments a close and sympathetic reading. He writes as a philosopher, not a historian, yet he (...) never loses sight of the cultural context of Rousseau's work. (shrink)

“Free Will” is a philosophical term of art for a particular sort of capacity of rational agents to choose a course of action from among various alternatives. Which sort is the free will sort is what all the fuss is about. (And what a fuss it has been: philosophers have debated this question for over two millenia, and just about every major philosopher has had something to say about it.) Most philosophers suppose that the concept of free will is very (...) closely connected to the concept of moral responsibility. Acting with free will, on such views, is just to satisfy the metaphysical requirement on being responsible for one's action. (Clearly, there will also be epistemic conditions on responsibility as well, such as being aware—or failing that, being culpably unaware—of relevant alternatives to one's action and of the alternatives' moral significance.) But the significance of free will is not exhausted by its connection to moral responsibility. Free will also appears to be a condition on desert for one's accomplishments (why sustained effort and creative work are praiseworthy); on the autonomy and dignity of persons; and on the value we accord to love and friendship. (See Kane 1996, 81ff. and Clarke 2003, Ch.1.). (shrink)

Timothy O'Hagan - The Cambridge Companion to Rousseau - Journal of the History of Philosophy 40:4 Journal of the History of Philosophy 40.4 546-547 Book Review The Cambridge Companion to Rousseau Patrick Riley, editor. The Cambridge Companion to Rousseau. New York: Cambridge University Press, 2001. Pp. xii + 453. Cloth, $69.95. Paper, $24.95. The book contains fifteen essays, three written by the editor. Of the fourteen authors, twelve are men, thirteen are anglophone, ten are based in the United States. (...) There are two excellent reprinted papers by deceased authors: G. A. Kelly's "General overview" and Shklar's "Rousseau's images of authority." Both are well worth re-reading. The rest are all new. The dominant genre of the collection is that kind of intellectual history which addresses "influences," both the predecessors who are thought to have influenced Rousseau, and the influence he may have had on subsequent intellectual and political developments. Some.. (shrink)

All organised bodies are composed of parts, similar to those composing inorganic nature, and which have even themselves existed in an inorganic state; but the phenomena of life, which result from the juxtaposition of those parts in a certain manner, bear no analogy to any of the effects which would be produced by the action of the component substances considered as mere physical agents. To whatever degree we might imagine our knowledge of the properties of the several ingredients of a (...) living body to be extended and perfected, it is certain that no mere summing up of the separate actions of those elements will ever amount to the action of the living body itself. (shrink)

A central argument of Alfred Mele's Free Will and Luck (2006) is that the problem of luck poses essentially the same problem for all the main indeterministic accounts of free will. Consequently, there is no advantage is certain theories (notably, agent-causal theories) in their capacity to respond to the problem of luck. I argue that Mele has not made a persuasive case for these claims.

The concepts of responsibility and causation are entangled at various points. Different considerations arise depending on whether one focuses on responsibility for one’s very actions, or on the consequences of one’s actions which are partly the result of many factors outside one’s control.

The author argues that philosophers' attempts to use philosophy of language to solve problems of jurisprudence have often failed- the most dramatic failure being that of Jeremy Bentham. H.L.A.Hart made some related mistakes in his creative use of philosophy of language, yet his focus on language still yields some very significant insights for jurisprudence: the context principle (that the correct application of linguistic expressions typically depends on context in ways that are important for jurisprudence), the diversity principle (that grounds of (...) correct application of legal language may be diverse), and the importance of vagueness. (shrink)

As striking as conscious experience, thought, and deliberate action are, their irreducibility to physical processes within their subjects is hotly debated. I shall ignore these debates entirely, as my purpose in this essay is constructive. Assuming that these mental qualities and processes are indeed irreducible to impersonal, non-purposive physical phenomena, I want to propose the very general form a non-reductive explanatory account of their underpinnings and dynamics should take. A suggestive label for my proposal is ontological emergence.

Timothy O'Hagan explores some of the apparent paradoxes in the writings of Rousseau.

This paper lays the groundwork for formulating an approach to literature which pushes Foucault’s thought in directions which he perhaps envisaged, but never pursued. However, one of the major obstacles to formulating a Foucauldian philosophy of literature is the fact that Foucault’s thought itself turned away from literature in the late 1960s. Why does literature apparently disappear from Foucault’s writings after 1969? And why does Foucault’s own re-writing of his theoretical biography elide this earlier interest in literature? In order to (...) answer these questions we will have to find out what role literature played in his early thought. What is at stake here, is not just a better understanding of Foucault’s thought, but more importantly, the possibility of reviving one of the potential lines of flight which that thought cut short as a result of its own endless turning. Hence, my ultimate aim will be to address the question of what can be reclaimed today from Foucault’s abandoned engagement with literature. (shrink)

An expansive, yet succinct, analysis of the Philosophy of Religion – from metaphysics through theology. Organized into two sections, the text first examines truths concerning what is possible and what is necessary. These chapters lay the foundation for the book’s second part – the search for a metaphysical framework that permits the possibility of an ultimate explanation that is correct and complete. A cutting-edge scholarly work which engages with the traditional metaphysician’s quest for a true ultimate explanation of the most (...) general features of the world we inhabit Develops an original view concerning the epistemology and metaphysics of modality, or truths concerning what is possible or necessary Applies this framework to a re-examination of the cosmological argument for theism Defends a novel version of the Leibnizian cosmological argument. (shrink)

The objective probability of every physical event is fixed by prior physical events and laws alone. (This thesis is sometimes expressed in terms of explanation: In tracing the causal history of any physical event, one need not advert to any non-physical events or laws. To the extent that there is any explanation available for a physical event, there is a complete explanation available couched entirely in physical vocabulary. We prefer the probability formulation, as it should be acceptable to any physicalist, (...) though some reject the explanation formulation.) (3) Causal Exclusion. (shrink)

What can a philosophical analysis of the concept of interpretation contribute to legal theory? In his recent book,Interpretation and Legal Theory, Andrei Marmor proposes a complex and ambitious analysis as groundwork for his positivist assault on “interpretive” theories of law and of language. I argue (i) that the crucial element in Marmor's analysis of interpretation is his treatment of Ludwig Wittgenstein's remarks on following rules, and (ii) that a less ambitious analysis of interpretation than Marmor's can take better advantage of (...) those insights about rules. I explore some implications of such an analysis for the role of interpretation in legal reasoning. (shrink)

As good a definition as any of a _philosophical_ conundrum is a problem all of whose possible solutions are unsatisfactory. The problem of understanding the springs of action for morally responsible agents is commonly recognized to be such a problem. The origin, nature, and explanation of freely-willed actions puzzle us today as they did the ancients Greeks, and for much the same reasons. However, one can carry this ‘perennial-puzzle’ sentiment too far. The unsatisfactory nature of philosophical theories is a more (...) or less matter, and some of them have admitted of improvement over time. This, at any rate, is what we self-selecting metaphysicians tend to suppose, and I will pursue that high calling by suggesting a few improvements to a theory of metaphysical freedom, or freedom of the will. (shrink)

Many philosophers are persuaded by familiar arguments that free will is incompatible with causal determinism. Yet, notoriously, past attempts to articulate how the right type of indeterminism might secure the capacity for autonomous action have generally been regarded as either demonstrably inadequate or irremediably obscure. This volume gathers together the most significant recent discussions concerning the prospects for devising a satisfactory indeterministic account of freedom of action. These essays give greater precision to traditional formulations of the problems associated with indeterministic (...) accounts and to the range of theoretical avenues for pursuing resolutions. The first four essays set out different challenges (from both compatibilists and those skeptical of the possibility of free will) to the adequacy of standard indeterministic theories. The next seven essays meet one or more of these challenges. Each of the fundamental types of approach--simple indeterminism, causal indeterminism, and agent causation--is represented in these novel and sophisticated proposals. The collection finishes with two essays that debate whether compatibilism entails that freedom of choice is a comparatively rare phenomenon within an individual's life. Eloquently presenting some of the most compelling and accessible arguments surrounding this central philosophical issue, Agents, Causes, and Events makes a valuable contribution to courses in free will/action theory and metaphysics. (shrink)

Vagueness in law leads to indeterminacies in legal rights and obligations in many cases. The book defends that claim and explains its implications for legal theory. Vague language is the book's focus, but vagueness is not merely a linguistic feature of law. Law is necessarily vague. That fact seems to threaten the coherence of the ideal of the rule of law. The book defends a new, coherent articulation of that ideal.

This chapter begins with the most economical response to the conclusion that contingent existence is founded in necessary being (NB). It illustrates how one might come to see subtle entailment relations between properties that at first seem mutually independent. The author argues that there must be an internal connection between necessary existence (N), and any other essential features of NB. The chapter highlights that there can be only one kind of NB, whose properties are particulars bound up in relations of (...) mutual entailment. It discusses the varieties of chaos by first considering single‐stage models, of which there are three basic varieties: immutable chaos, abundant chaos and random chaos. The chapter considers three related and more substantial objections to the design inference from fine‐tuning. All of them question the possibility space the argument invokes or the probability judgments that are drawn. (shrink)

(2000). Of loaded dice and heated arguments: Putting the Hansen?Michaels global warming debate in context. Social Epistemology: Vol. 14, No. 2-3, pp. 109-127.

Towards the end of Analyze This , during a shoot-out, the psychotherapistplayed by Billy Crystal falls in front of the mobster played by Robert de Niro andtakes a bullet in his shoulder. De Niro thanks him for taking the bullet, but Crystalprotests that he just tripped up. De Niro replies, ‘No Doc, you tripped on yourunconscious!’ In this observation, the mobster not only provides the key to thisfilm, he also opens up a way of understanding something essential about TheGodfather . (...) One of the central and, for me, unexplained problems in TheGodfather is the motivation for Michael Corleone’s transformation from modelcitizen and war-hero into the ruthless Don who takes his father’s place at thehead of one of New York’s mafia families. In this paper, I will use Analyze This –and Freud – to explain this transformation as a form of ‘tripping over theunconscious’. My suggestion is that Analyze This, in its self-consciously popFreudian fashion, actually gives us the basis for a more serious Freudianinterpretation of Michael’s transformation. If we approach Coppola’s film as atragedy in which the ostensible rise to power of Michael is, in effect, hisdownfall, then we are faced with the question of how to understand the natureof the forces that bring him to that end. Against the idea that Michael is simply destined to take over his father’s position, I will give an account of the underlying psychological forces that bring him to that culmination. (shrink)

In what follows, I shall presuppose the ecumenical core of the causal powers metaphysics. The argument of this paper concerns what may appear at first to be a wholly unrelated matter, the metaphysics of free will. However, an adequate account of freedom requires, in my judgment, a notion of a distinctive variety of causal power, one which tradition dubs ‘agent-causal power’. I will first develop this notion and clarify its relationship to other notions. I will then respond to a number (...) of objections either to the possibility of a power so explicated or to its sufficiency for grounding an adequate account of human freedom. (shrink)

This book is of interest to those working at the intersection of contemporary debates in philosophy, ethics, politics and cultural studies.