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)

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)

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)

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)

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)

A good deal of attention has been given in recent philosophy of religion to the question of whether we can sensibly attribute to God a form of knowledge which the 16th-century Jesuit theologian Luis de Molina termed "middle knowledge". Interest in the doctrine has been spurred by a recognition of its intimate connection to certain conceptions of providence, prophecy, and response to petitionary prayer. According to defenders of the doctrine, which I will call "Molinism", the objects of middle knowledge are (...) all the true counterfactuals of the form, 'If C were to occur, then S would freely do A', where C specifies a particular set of circumstances. (Such propositions are usually referred to as "counterfactuals of freedom" - hereafter "CFs".)' I will try to assess the current status of two distinct questions: (1) Are there true CFs? and (2) Could God know true CFs if there are any? Obviously, Molinism must answer both questions affirmatively. Most of the discussion has focused on the first question. I hope to show that this approach has been a dialectical mistake on the part of critics of Molinism, for the difficulties of giving an affirmative answer to question (2) are, I believe, far easier to state clearly and convincingly. (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 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.

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

“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)

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)

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)

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)

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)

No community fully achieves the ideal of the rule of law. Puzzles about the content of the ideal seem to make it necessarily unattainable (and, therefore, an incoherent ideal). Legal systems necessarily contain vague laws. They typically allow for change in the law, they typically provide for unreviewable official decisions, and they never regulate every aspect of the life of a community. It may seem that the ideal can never be achieved because of these features of legal practice. But I (...) ask what counts as a ‘deficit’ in the rule of law, and I argue that none of these features of legal practice necessarily amounts to a deficit. I conclude that communities fail to achieve the rule of law only because of official infidelity to law, and the failure of lawmakers to pursue the ideal (or their decision not to pursue it). The rule of law is not necessarily unattainable. (shrink)

In this classic, exciting, and thoughtful text, Metaphysics , Peter van Inwagen examines three profound questions: What are the most general features of the world? Why is there a world? and What is the place of human beings in the world? Metaphysics introduces to readers the curious notion that is metaphysics, how it is conceived both historically and currently. The author's work can serve either as a textbook in a university course on metaphysics or as an introduction to metaphysical thinking (...) for the interested reader. This second edition, revised though not fundamentally changed, includes the basis of the first edition with a new chapter on the nature of time. (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)

In its restless metamorphosis, the environmental movement captures ideas and transforms them into principles, guidelines and points of leverage. Sustainability is one such idea, now being reinterpreted in the aftermath of the 1992 Rio Conference. So too is the precautionary principle. Like sustainability, the precautionary principle is neither a well defined principle nor a stable concept. It has become the repository for a jumble of adventurous beliefs that challenge the status quo of political power, ideology and civil rights. Neither concept (...) has much coherence other than it is captured by the spirit that is challenging the authority of science, the hegemony of cost-benefit analysis, the powerlessness of victims of environmental abuse, and the unimplemented ethics of intrinsic natural rights and inter-generational equity. It is because the mood of the times needs an organising idea that the precautionary principle is getting a fair wind. However, unless its advocates sharpen up their understanding of the term, the precautionary principle may not establish the influence it deserves. Its future looks promising but it is not assured. (shrink)

In what follows, I will contend that the commonsense view of ourselves as fundamental causal agents - for which some have used the term “unmoved movers" but which I think might more accurately be expressed as “not wholly moved movers” - is theoretically understandable, internally consistent, and consistent with what we have thus far come to know about the nature and workings of the natural world. In the section that follows, I try to show how the concept of ‘agent’ causation (...) can be understood as a distinct species (from ‘event’ causation) of the primitive idea, which I’ll term “causal production”, underlying realist or non-Humean conceptions of event causation. In section III, I respond to a number of contemporary objections to the theory of agent causation. Sections IV-V are devoted to showing that the theory is compatible with ordinary reasons explanations of action, which then places me in a position to respond, in the final section, to the contention that we could never know, in principle, whether the agency theory actually describes a significant portion of human activity. (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)

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)

The use of vague language in law has important implications for legal theory. Legal philosophers have occasionally grappled with those implications, but they have not come to grips with the characteristic phenomenon of vagueness: the sorites paradox. I discuss the paradox, and claim that it poses problems for some legal theorists (David Lyons, Hans Kelsen, and, especially, Ronald Dworkin). I propose that a good account of vagueness will have three consequences for legal theory: (i) Theories that deny that vagueness in (...) formulations of the law leads to discretion in adjudication (including Dworkin's) cannot accommodate “higher-order” vagueness, (ii) A legal theory should accept that the law is partly indeterminate when it can be stated in vague language, (iii) However, the traditional formulation of the indeterminacy claim, that a vague statement is “neither true nor false” in a borderline case, is misconceived and should be abandoned. (shrink)

Twentieth-century analytic philosophy was dominated by positivist antimetaphysics and neo-Humean deflationary metaphysics, and the nature of explanation was reconceived in order to fit these agendas. Unsurprisingly, the explanatory value of theist was widely discredited. I argue that the long-overdue revival of moralized, broadly neo-Aristotelian metaphysics and an improved perspective on modal knowledge dramatically changes the landscape. In this enriched context, there is no sharp divide between physics and metaphysics, and the natural end of the theoretician’s quest for a unified explanation (...) of the universe is God, an absolutely necessary, transcendent, and personal source of all contingent reality. (shrink)

In its restless metamorphosis, the environmental movement captures ideas and transforms them into principles, guidelines and points of leverage. Sustainability is one such idea, now being reinterpreted in the aftermath of the 1992 Rio Conference. So too is the precautionary principle. Like sustainability, the precautionary principle is neither a well defined principle nor a stable concept. It has become the repository for a jumble of adventurous beliefs that challenge the status quo of political power, ideology and civil rights. Neither concept (...) has much coherence other than it is captured by the spirit that is challenging the authority of science, the hegemony of cost-benefit analysis, the powerlessness of victims of environmental abuse, and the unimplemented ethics of intrinsic natural rights and inter-generational equity. It is because the mood of the times needs an organising idea that the precautionary principle is getting a fair wind. However, unless its advocates sharpen up their understanding of the term, the precautionary principle may not establish the influence it deserves. Its future looks promising but it is not assured. (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)

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)

These fifteen essays on Nietzsche's indebtedness to the Classical Tradition were composed by scholars in the fields of philosophy, theology, German and Classics. The essays roughly cover the following epochs: the age of the Fathers of the Western Church, medieval scholasticism, the Renaissance, the Enlightenment, Weimar Classicism, Romanticism and the several other intellectual trends and movements in the nineteenth century. Collection includes three essays comparing Nietzsche's perceptions of Plato, Aristotle, and Socrates with those (respectively) of Augustine, Aquinas, and Hamann. Three (...) essays treat Nietzsche's relationship to Goethe, Schiller, and Heine. Three deal with Nietzsche and French literature or thought, one explores possible parallels between Nietzsche and Dante, another the extent of his debt to Byron. Four contributions center on Nietzsche's view of tragedy, and an older study has been expanded to show the underlying harmony of Nietzsche's conception with that of the French classical tragedians. This book affirms and fulfills the need for serious scholarship by the student of Nietzsche unable to work in German, while presenting a readable cross-section of the work being done relating Nietzsche to the intellectual tradition from which he sprang. (shrink)

We explain the thesis that human mental states are ontologically emergent aspects of a fundamentally biological organism. We then explore the consequences of this thesis for the identity of a human person over time. As these consequences are not obviously independent of one's general ontology of objects and their properties, we consider four such accounts: transcendent universals, kind-Aristotelianism, immanent universals, and tropes. We suggest there are reasons for emergentists to favor the latter two accounts. We then argue that within such (...) ontologies, emergentism about properties pushes one to the stronger claim that there are emergent individuals, though not individuals which are dual to person's bodies—substance emergentism, but not substance dualism. (shrink)

In fundamental rights adjudication, should judges defer to the judgment of other decision makers? How can they defer, without betraying the respect that judges ought to accord those rights? How can they refuse to defer, without betraying the respect that judges ought to accord to other decision makers? I argue that only principles of comity justify deference, and their reach is limited. Comity never forbids the judges to take and to act upon a different view of fundamental rights from that (...) of another decision maker. I elaborate this view by reference to the decision of the House of Lords in Adan and Aitseguer [2001] 1 All ER 593. (shrink)