When restricted to proving $\Sigma _{i}^{q}$ formulas, the quantified propositional proof system $G_{i}^{\ast}$ is closely related to the $\Sigma _{i}^{b}$ theorems of Buss's theory $S_{2}^{i}$ . Namely, $G_{i}^{\ast}$ has polynomial-size proofs of the translations of theorems of $S_{2}^{i}$ , and $S_{2}^{i}$ proves that $G_{i}^{\ast}$ is sound. However, little is known about $G_{i}^{\ast}$ when proving more complex formulas. In this paper, we prove a witnessing theorem for $G_{i}^{\ast}$ similar in style to the KPT witnessing theorem for $T_{2}^{i}$ . This witnessing theorem (...) is then used to show that $S_{2}^{i}$ proves $G_{i}^{\ast}$ is sound with respect to $\Sigma _{i+1}^{q}$ formulas. Note that unless the polynomial-time hierarchy collapses $S_{2}^{i}$ is the weakest theory in the s₂ hierarchy for which this is true. The witnessing theorem is also used to show that $G_{i}^{\ast}$ is p-equivalent to a quantified version of extended-Frege for prenex formulas. This is followed by a proof that Gi p-simulates $G_{i+1}^{\ast}$ with respect to all quantified propositional formulas. We finish by proving that S₂ can be axiomatized by $S_{2}^{1}$ plus axioms stating that the cut-free version of $G_{0}^{\ast}$ is sound. All together this shows that connection between $G_{i}^{\ast}$ and $S_{2}^{i}$ does not extend to more complex formulas. (shrink)

What are the forces shaping the future of international green politics? This book provides an objective account of the basis of green arguments and their social and political implications. It offers a clear overview of the most pressing environmental threats.

What role have experiments played, and should they play, in physics? How does one come to believe rationally in experimental results? The Neglect of Experiment attempts to provide answers to both of these questions. Professor Franklin's approach combines the detailed study of four episodes in the history of twentieth century physics with an examination of some of the philosophical issues involved. The episodes are the discovery of parity nonconservation in the 1950s; the nondiscovery of parity nonconservation in the 1930s, when (...) the results of experiments indicated, at least in retrospect, the symmetry violation, but the significance of those results was not realized; the discovery and acceptance of CP symmetry; and Millikan's oil-drop experiment. Franklin examines the various roles that experiment plays, including its role in deciding between competing theories, confirming theories, and calling fo new theories. The author argues that one can provide a philosophical justification for these roles. He contends that if experiment plays such important roles, then one must have good reason to believe in experimental results. He then deals with deveral problems concerning such reslults, including the epistemology of experiment, how one comes to believe rationally in experimental results, the question of the influence of theoretical presuppositions on results, and the problem of scientific fruad. This original and important contribution to the study of the philosophy of experimental science is an outgrowth of many years of research. Franklin brings to this work more than a decade of experience as an experimental high-energy physicist, along with his significant contributions to the history and philosophy of science. (shrink)

‘Sovereignty’, Arendt says, ‘is contradictory to’ the human condition. It is not, in any event, the kind of thing that can be shared across generations. Subsequent generations lack sovereignty to the precise degree that they are bound by the decisions of their predecessors. It is no answer to say that contemporary citizens participate in the sovereignty of a whole, transgenerational people. To paraphrase de Tocqueville, later generations are not free because they are not entirely equal, and they are not equal (...) because they are not entirely free. Where ‘sovereignty’ is a metaphysical concept that transcends time, recognition is an act of the imagination that extends empathy diachronically in both directions. An earlier generation treats its successors with recognition and respect by bequeathing the best system it can manage and entrusting later generations to exercise the same freedom that it enjoyed. Democratic law can exist across generations only through negation. Later citizens may accept as valid the law made by their predecessors. But, in doing so, they implicitly affirm their right to alter, amend, or abolish what came before. Only by freely affirming the choices of their predecessors can current citizens participate in something approaching freedom. (shrink)

Wigner famously referred to the `unreasonable effectiveness' of mathematics in its application to science. Using Wigner's own application of group theory to nuclear physics, I hope to indicate that this effectiveness can be seen to be not so unreasonable if attention is paid to the various idealising moves undertaken. The overall framework for analysing this relationship between mathematics and physics is that of da Costa's partial structures programme.

This book is a fresh examination of Thucydides' treatment of Alcibiades in his History of the Peloponnesian War, Alcibiades' significance in the History, and his relation to Thucydides' political themes.

When do descriptive regularities become prescriptive norms? We examined children's and adults' use of group regularities to make prescriptive judgments, employing novel groups that engaged in morally neutral behaviors. Participants were introduced to conforming or non-conforming individuals. Children negatively evaluated non-conformity, with negative evaluations declining with age. These effects were replicable across competitive and cooperative intergroup contexts and stemmed from reasoning about group regularities rather than reasoning about individual regularities. These data provide new insights into children's group concepts and have (...) important implications for understanding the development of stereotyping and norm enforcement. (shrink)

Drawing from a keynote panel held at the hybrid 25th International Philosophy of Nursing Conference, this discussion paper examines the question of epistemic silence in nursing from five different perspectives. Contributors include US‐based scholar Claire Valderama‐Wallace, who meditated on ecosystems of settler colonial logics of nursing; American scholar Lucinda Canty discussed the epistemic silencing of nurses of colour; Canadian scholar Amelie Perron interrogated the use of disobedience and parrhesia in and for nursing; Canada‐based scholar Ismalia De Sousa considered what (...) nursing protects in its silences; and Australian scholar Janice Gullick spoke to trans invisibility in nursing. (shrink)

Product differentiation has emerged as a central dynamic in contemporary agrofood systems. Departure from the mode of standardization emblematic of agrofood modernization raises questions about future technical trajectories and the ways in which learning will be sustained. This article examines two innovation trajectories: the rapid coupling of biotechnologies and information technologies to yield products differentiated by constituent components—a model based on a cognitive logic of decomposition/ recomposition—and the proliferation of product networks that mobilize distinctive, localized resources to create complete identities—a (...) model based on a cognitive logic of identity. The article analyzes the information structures—institutional mechanisms that support information exchange and learning—in each of these opposed development paradigms. We find that knowledge creation under each of the logics occurs through mechanisms not recognized within the respective paradigms. On this basis, we derive institutional hybridity as a fundamental resource in systems of innovation. (shrink)

What can the art of living after Foucault contribute to ethics in relation to the mediation of human existence by technology? To develop the relation between technical mediation and ethics, firstly the theme of technical mediation is elaborated in line with Foucault’s notion of ethical problematization. Every view of what technology does to us at the same time expresses an ethical concern about technology. The contemporary conception of technical mediation tends towards the acknowledgement of ongoing hybridization, not ultimately good or (...) bad but ambivalent, which means for us the challenge of taking care of ourselves as hybrid beings. Secondly, the work of Foucault provides elements for imagining this care for our hybrid selves, notably his notions of freedom as a practice and of the care of the self. A conclusions about technical mediation and ethics is that whereas the approaches of the delegation of morality to technology by Latour and mediated morality by Verbeek see technical mediation of behavior and moral outlook as an answer in ethics, this should rather be considered the problem that ethics is about. (shrink)

The literature on the politics of science and on science policy is dominated by information about large and highly industrialized countries. For example, models of the different forms of science policy administration and management tend to derive from French, U.S., and British exemplars. Yet in the mid-1990s there is a growing number of small nations, all of which are seeking to harness research communities to the cause of socioeconomic development, while still extracting "value for money" from science budgets. This article (...) uses the case study approach—focusing on the political economy of the politics of science in the Irish Republic, chiefly since the 1950s-to analyze the problems faced by science policy agencies and the scientific community in small nations. The study offers analogies and possible insights into the politics of research policy in other small nations ; it also aims to throw light on emerging research policy trends even in bigger countries as the "bargain" between the funders and the performers of research becomes more and more explicit and increasingly subject to economic justifications. (shrink)

The ontological implications of the Peircean Categories, as set forth most clearly in Peirce’s summative architectonic statement, “New Elements,” and referenced elsewhere in Peirce’s body of writings, are examined with reference to the existent or physical universe. The Peircean universal ontological Categories Firstness, Secondness, and Thirdness are shown to give rise to a cosmos that is triadic and representational in essence. This immanently representational cosmos, denominated the “Book Universe,” is shown to be evidenced by the representational contours of both the (...) mathematical and of the conceptual framing of the three broad domains of theoretical physics, the quantum, classical, and relativistic domains. This triadic “Book Universe” model is both characterized and also contrasted with the “Block Universe” model, and is seen to incorporate both time and space as emergent representational characteristics, and to be manifest, qua triadic Representamen, in terms of a “foliated eternalism” that requires both antecedent and parallel cosmoi. (shrink)

ABSTRACT We must, Isaiah Berlin argues, make tragic tradeoffs as we navigate the clash of incommensurable and irreconcilable values and ends of modernity. To deny this is to succumb to a politics of immaturity, and to the totalitarian temptation. The twentieth century taught that to resist final-solution fantasies, we must resist the allure, if not reject the value, of positive liberty, the liberty of self-mastery and self-rule. Two decades in, has the twenty-first century taught a different lesson? Have we learned (...) that negative liberty, liberty from rule, with its antipaternalistic ethic of ultra-individualism, harbors its own politics of immaturity, and a demagogic temptation? I argue that this is the more frequent, if less fatal, threat to human dignity and decency today, and that we therefore ought to rebalance the scales in the tragic tradeoff of positive for negative liberty. (shrink)

Philosophy & Social Criticism, Volume 48, Issue 5, Page 655-673, June 2022. The standard account of the relation between democracy and the rule of law focuses on law’s liberty-enhancing role in constraining official action. This is a faint echo of the complex, constitutive relation between the two. The Greeks used one word – isonomia – to describe both. If democracy is the system in which people have an equal say in determining the rules that govern social life, then the rule (...) of law is simultaneously before, after, concurrent and synonymous with democracy: It contributes to the formation of citizens with the capacity for self-governance, serves as the instrument through which democratic decisions are implemented, functions as one of the central social practices that constitute citizens as equals and addresses the question of how to ensure that government by the people operates for the people. The rule of law has many independently valuable qualities, including impartiality and predictability. But, to valorise the rule of law for its own sake is to fetishize authority. The fundamental values of the rule of law are as the instrument of democratic self-governance and the expression of the equal dignity of all persons. Democracy thus entails the rule of law, but both implicate the yet more comprehensive ideal of equality. Core rule-of-law values require political norms and conditions of equality, generality and comprehensiveness. In a modern, differentiated society, however, the constitutive relation between democracy and the rule of law is fractured and law becomes the agent of authority. Courts in the modern constitutional state have contributed to the decline of rule-of-law values, supporting role specialization through judge-made immunity doctrines that protect officials at all levels. The crisis of police violence against minorities is a symptom of this breakdown. Greater accountability can ameliorate the problem. But an effective solution requires the fair and equal distribution of political power. (shrink)

ABSTRACTThis paper draws a comparison between Derrida’s “trace” and the idea of dao in classical Daoism. It is argued that if dao is read in a non-metaphysical way, then the Derridean idea of “trace” will show large overlaps with dao. I then show how, despite some obvious differences, a “trace” reading of dao enables a clearer understanding of dao that would see it not as a metaphysical principle, ineffable but transcendent nonetheless, but rather as an immanent working of the patterned (...) processes that makes up both the natural and human world. I also argue that the notion of trace in classical Daoism or other characters denoting trace, are most often used in a more traditional way and hence are not useful for understanding what Derrida means with his notion of “trace.”. (shrink)

Louis de La Forge and the Development of Occasionalism: Continuous Creation and the Activity of the Soul STEVEN NADLER THE DOCTRINE OF DIVINE CONSERVATION is a dangerous one. It is not theologi- cally dangerous, at least not in itself. From the thirteenth century onwards, and particularly with the Summa Theologiae of St. Thomas, the notion of the continuous divine sustenance of the world of created things was, if not univer- sally accepted, a nonetheless common feature of theological orthodoxy, Chris- (...) tian and otherwise. Rather, the danger is philosophical in nature . The philosophical problem I am concerned with is not some logical incoherence at the heart of the doctrine; nor does it lie in any objections that can be raised against the arguments that, historically, have been given for the thesis that God, as a causa secundum esse, must continually act in order to conserve the world in being. The question I address -- and it is a pressing one for any seventeenth-century Cartesianmis whether the doctrine of divine conservation establishes too much. I believe that, under certain circumstances, it does, and that the ultimate ramifications of the doctrine for natural causality must be unacceptable to an orthodox Cartesian such as Louis de La Forge , perhaps the most strict follower of Descartes of the.. (shrink)

This article examines the presuppositions underlying Derrida's criticisms of Husserl's theory of expression, and philosophy of language generally. I argue that Derrida's claim that indication (and so the sign-function) is present at the heart of phenomenological "expression" is based on an unwarranted substitution of a Hegelian structure of reflection for Husserl's own phenomenological concept of reflection and evidence. I then criticize a different sort of unclarity in Husserl's analysis of the noetic and noematic relations between "expressive" (linguistic) and "preexpressive" sense. (...) The positions of John Caputo, Claude Evans, and Robert Sokolowski on these issues are discussed and evaluated. (shrink)

In 1928 Heidegger argued that the transcendental philosophy he had pursued in Being and Time needed to be completed by what he called “metontology.” This paper analyzes what this notion amounts to. Far from being merely a curiosity of Heidegger scholarship, the place occupied by “metontology” opens onto a general issue concerning the relation between transcendental philosophy and metaphysics, and also between both of these and naturalistic empiricism. I pursue these issues in terms of an ambiguity in the notion of (...) “grounding” in Being and Time and in the works of what I call Heidegger’s “metaphysical decade” , defending a phenomenological conception against what proves to be the illusory idea that metaphysical grounds are presupposed in such transcendental philosophy. (shrink)

Released in 1984, Steven E. Rhoads' classic was considered by many to be among the best introductions to the economic way of thinking and its applications. This anniversary edition has been updated to account for political and economic developments - from the greater interest in redistributing income and the ascendancy of behaviorism to the Trump presidency. Rhoads explores opportunity cost, marginalism, and economic incentives and explains why mainstream economists - even those well to the left - still value free (...) markets. He critiques economics for its unbalanced emphasis on narrow self-interest as controlling motive and route to happiness, highlighting philosophers and positive psychologists' findings that happiness is far more dependent on friends and family than on income or wealth. This thought-provoking tour of the economist's mind is a must read for our times, providing a clear, lively, non-technical insight into how economists think and why they shouldn't be ignored. (shrink)

Somatic mutation plays a key role in transforming normal cells into cancerous cells. The analysis of cancer progression therefore requires the study of how point mutations and chromosomal mutations accumulate in cellular lineages. The spread of somatic mutations depends on the mutation rate, the number of cell divisions in the history of a cellular lineage, and the nature of competition between different cellular lineages. We consider how various aspects of tissue architecture and cellular competition affect the pace of mutation accumulation. (...) We also discuss the rise and fall of somatic mutation rates during cancer progression. BioEssays 26:291–299, 2004. © 2004 Wiley Periodicals, Inc. (shrink)

Antimicrobial resistance is one of the greatest public health crises of our time. The natural biological process that causes microbes to become resistant to antimicrobial drugs presents a complex social challenge requiring more effective and sustainable management of the global antimicrobial commons—the common pool of effective antimicrobials. This special issue of Health Care Analysis explores the potential of two legal approaches—one long-term and one short-term—for managing the antimicrobial commons. The first article explores the lessons for antimicrobial resistance that can be (...) learned from recent climate change agreements, and the second article explores how existing international laws can be adapted to better support global action in the short-term. (shrink)

Richard Rorty’s writings have long frustrated scholars of classical American philosophy. Robert Brandom’s recent engagements with the history of pragmatism have been met with similar disdain. This essay draws on Larry A. Hickman’s theory of technology and tool-use to find a productive framework for thinking through these interpretations. Foregrounding the purposes that guide their readings, we may find value where many readers have seen only ignorance. This strategy does not embrace interpretive relativism, nor does it preclude all scholarly criticism, but (...) it instead promises a living and engaged approach to working with the history of philosophy. (shrink)

ABSTRACTEmotional distractors can impair perception of subsequently presented targets, a phenomenon called emotion-induced blindness. Do emotional distractors lose their power to disrupt perception when appearing with increased frequency, perhaps due to desensitisation or enhanced recruitment of proactive control? Non-emotional tasks, such as the Stroop, have revealed that high frequency distractors or conflict lead to reduced interference, and distractor frequency appears to modulate attentional capture by emotional distractors in spatial attention tasks. But emotion-induced blindness is thought to reflect perceptual competition between (...) targets and emotional distractors, and it is unclear whether high frequency emotional stimuli cause less disruption at this relatively early stage of processing. In four experiments, participants searched streams of images for a rotated target image. A negative or neutral distractor appeared before the target, and their relative frequency was manipulated. Across all exper... (shrink)

MAPEDZAHAMA V, RUDGE T, WEST S and PERRON A. Nursing Inquiry 2012; 19: 153–164 [Epub ahead of print]Black nurse in white space? Rethinking the in/visibility of race within the Australian nursing workplaceThis article presents an analysis of data from a critical qualitative study with 14 skilled black African migrant nurses, which document their experiences of nurse‐to‐nurse racism and racial prejudice in Australian nursing workplaces. Racism generally and nurse‐to‐nurse racism specifically, continues to be under‐researched in explorations of these workplaces; when (...) racism is researched, the focus is nurse‐to‐patient racism and racial prejudice. Similarly, research on the experiences of migrant nurses from a variety of ethnicities in Australia has tended to neglect their experiences of the social dynamics of the workplace, thus reinforcing their racialisation. When racialised, the migrant nurse becomes ‘the problem’ through a focus on English language competency and ensuing communication barriers. This paper applies Essed’s framework of ‘everyday racism’ to theorise narratives of racism by black African migrant nurses in Australia. In so doing, it not only brings to the fore silenced discussions of nurse‐to‐nurse racism in Australia, but also exposes the subtle, mundane nature of contemporary racism. For this reason, while the data we present must be read within their context, that is, the Australian nursing workplace, it has significance for advancing a critical analysis of racialised minority groups’ experiences of racism within seemingly ‘race‐less’ nursing workplaces internationally. (shrink)

The essence of life in an oligarchy like George Orwell presents in '1984' is that freedom of choice is virtually non-existent. But what happens when so many trivial and meaningless choices inundate a culture such as our own and freedom itself becomes devalued? In 'A Do-It-Yourself Dystopia', through a variety of essays, Steven Carter addresses this and other issues in a wide-ranging search for hidden oligarchies of the American self.

Look around you. The world is more homogenous than you think. Far too often, distinctions among people, places, and things are matters of degree rather than kind. Many are illusory. As satire, Little House of Imaginary Distinctions is meant to complement Steven Carter's previous book, Little House of Oxymorons, published by Hamilton Books in 2010.

How should we evaluate the success of each person's life? Countering the prevalent philosophical perspective on the subject, Steven M. Cahn and Christine Vitrano defend the view that our well-being is dependent not on particular activities, accomplishments, or awards but on finding personal satisfaction while treating others with due concern. The authors suggest that moral behavior is not necessary for happiness and does not ensure it. Yet they also argue that morality and happiness are needed for living well, and (...) together suffice to achieve that goal. Cahn and Vitrano link their position to elements within both the Hellenistic and Hebraic traditions, in particular the views of Epicurus and lessons found in the Book of Ecclesiastes. Written in an accessible style and illustrated with incisive vignettes drawn from history, literature, films, and everyday life, _Happiness and Goodness_ is a compelling work of philosophy for anyone who seeks to understand the nature of a good life. (shrink)

This chapter contains sections titled: Modern Theory and Kierkegaard's Assault on Reason Nietzsche and the Postmodern Nietzsche's Progeny and the Postmodern Turn: From Heidegger through Derrida Foucault's Critique of Rationality and Modernity Lyotard's “Postmodern Condition”: Polemics and Aporia Richard Rorty, the Attack on Theory, and Renunciation of Radical Politics For Theory and Politics.

Let D be a strongly minimal set in the language L, and $D' \supset D$ an elementary extension with infinite dimension over D. Add to L a unary predicate symbol D and let T' be the theory of the structure (D', D), where D interprets the predicate D. It is known that T' is ω-stable. We prove Theorem A. If D is not locally modular, then T' has Morley rank ω. We say that a strongly minimal set D is pseudoprojective (...) if it is nontrivial and there is a $k < \omega$ such that, for all a, b ∈ D and closed $X \subset D, a \in \mathrm{cl}(Xb) \Rightarrow$ there is a $Y \subset X$ with a ∈ cl(Yb) and |Y| ≤ k. Using Theorem A, we prove Theorem B. If a strongly minimal set D is pseudoprojective, then D is locally projective. The following result of Hrushovski's (proved in $\S4$ ) plays a part in the proof of Theorem B. Theorem C. Suppose that D is strongly minimal, and there is some proper elementary extension D1 of D such that the theory of the pair (D1, D) is ω1-categorical. Then D is locally modular. (shrink)

In [R. Vaught, Denumerable models of complete theories, in: Infinitistic Methods, Pregamon, London, 1961, pp. 303–321] Vaught conjectured that a countable first order theory has countably many or 20 many countable models. Here, the following special case is proved.

A common view among autonomy theorists is that a desire is autonomous only if it has the right sort of history. Usually, an autonomy-compatible history is taken to consist in the desire’s having had proper origins. In a recent article in this journal, Mikhail Valdman has proposed an alternative historical theory on which a desire’s origins are irrelevant. On Valdman’s “agent-engagement” theory, a desire is autonomous if and only if the agent has made it her own by deliberatively deciding it (...) is worth maintaining and acting on. I argue that both of these approaches are overly demanding: the history of many autonomous desires lack proper origins, agent-engagement, or both. Taking as my starting point Alfred Mele’s account, which I go on to revise and supplement in several important ways, I outline a more flexible historical theory of autonomy which recognizes multiple ways in which a desire can become one’s own. (shrink)