A growing body of literature critical of ethics review boards has drawn attention to the processes used to determine the ethical merit of research. Citing criticism on the bureaucratic nature of ethics review processes, this literature provides a useful provocation for (re)considering how the ethics review might be enacted. Much of this criticism focuses on how ethics review boards _deliberate,_ with particular attention given to the lack of transparency and opportunities for researcher recourse that characterise ethics review processes. Centered specifically (...) on the conduct of ethics review boards convened within university settings, this paper draws on these inherent criticisms to consider the ways that ethics review boards might enact more communicative and deliberative practices. Outlining a set of principles against which ethics review boards might establish strategies for engaging with researchers and research communities, this paper draws attention to how _Deliberative communication_, _Engagement with researchers_ and the _Distribution of responsibility_ for the ethics review might be enacted in the day-to-day practice of the university human ethics review board. This paper develops these themes via a conceptual lens derived from Habermas’ (The theory of communicative action. Volume 1: Reason and the rationalization of society, 1984 ) articulation of ‘communicative action’ and Fraser’s (Social Text, 25(26), 56–80, 1990 ) consideration of ‘strong publics’ to cast consideration of the role that human ethics review boards might play in supporting university research cultures. _Deliberative communication_, _Engagement with researchers_ and the _Distribution of responsibility_ provide useful conceptual prompts for considering how ethics review boards might undertake their work. (shrink)

Hilbert’s program was an ambitious and wide-ranging project in the philosophy and foundations of mathematics. In order to “dispose of the foundational questions in mathematics once and for all,” Hilbert proposed a two-pronged approach in 1921: first, classical mathematics should be formalized in axiomatic systems; second, using only restricted, “finitary” means, one should give proofs of the consistency of these axiomatic systems. Although Gödel’s incompleteness theorems show that the program as originally conceived cannot be carried out, it had many partial (...) successes, and generated important advances in logical theory and metatheory, both at the time and since. The article discusses the historical background and development of Hilbert’s program, its philosophical underpinnings and consequences, and its subsequent development and influences since the 1930s. (shrink)

Logic has pride of place in mathematics and its 20th century offshoot, computer science. Modern symbolic logic was developed, in part, as a way to provide a formal framework for mathematics: Frege, Peano, Whitehead and Russell, as well as Hilbert developed systems of logic to formalize mathematics. These systems were meant to serve either as themselves foundational, or at least as formal analogs of mathematical reasoning amenable to mathematical study, e.g., in Hilbert’s consistency program. Similar efforts continue, but have been (...) expanded by the development of sophisticated methods to study the properties of such systems using proof and model theory. In parallel with this evolution of logical formalisms as tools for articulating mathematical theories (broadly speaking), much progress has been made in the quest for a mechanization of logical inference and the investigation of its theoretical limits, culminating recently in the development of new foundational frameworks for mathematics with sophisticated computer-assisted proof systems. In addition, logical formalisms developed by logicians in mathematical and philosophical contexts have proved immensely useful in describing theories and systems of interest to computer scientists, and to some degree, vice versa. Three examples of the influence of logic in computer science are automated reasoning, computer verification, and type systems for programming languages. (shrink)

This study reconstructs the relationship between philosophy and politics in the way in which Heidegger's failure as a politician influenced the redevelopment of philosophy in the 1930s. The author also explains how Heidegger's failure influenced the content and direction of his later work.

The proof theory of many-valued systems has not been investigated to an extent comparable to the work done on axiomatizatbility of many-valued logics. Proof theory requires appropriate formalisms, such as sequent calculus, natural deduction, and tableaux for classical (and intuitionistic) logic. One particular method for systematically obtaining calculi for all finite-valued logics was invented independently by several researchers, with slight variations in design and presentation. The main aim of this report is to develop the proof theory of finite-valued first order (...) logics in a general way, and to present some of the more important results in this area. In Systems covered are the resolution calculus, sequent calculus, tableaux, and natural deduction. This report is actually a template, from which all results can be specialized to particular logics. (shrink)

Methods available for the axiomatization of arbitrary finite-valued logics can be applied to obtain sound and complete intelim rules for all truth-functional connectives of classical logic including the Sheffer stroke and Peirce’s arrow. The restriction to a single conclusion in standard systems of natural deduction requires the introduction of additional rules to make the resulting systems complete; these rules are nevertheless still simple and correspond straightforwardly to the classical absurdity rule. Omitting these rules results in systems for intuitionistic versions of (...) the connectives in question. (shrink)

Studies the politics of Heidegger in terms of "thrownness" or "existential contingency". Attempts to think through Heidegger's philosophy in a manner that parallels his own dialogue with other key western thinkers.

Having visited Ireland regularly during the 1930s, Ludwig Wittgenstein resigned his Cambridge philosophy professorship in 1947 and moved there, living in a fishing village on the Atlantic coast and hotels in Dublin and the Wicklow Mountains. Although Wittgenstein spent some time out of the country, Ireland was effectively his base for three very productive years during which he worked on what would become one of his key books, the posthumously published Philosophical Investigations. Wittgenstein in Ireland represents the first sustained account (...) of Wittgenstein's time in Ireland, placing it in its historical context. Wall pays a good deal of attention to the representation of the Irish landscape in which the Austrian philosopher found himself able to work; a large part of his writings were produced in the bleak landscapes of Ireland and Norway. (shrink)

Textbook on Gödel’s incompleteness theorems and computability theory, based on the Open Logic Project. Covers recursive function theory, arithmetization of syntax, the first and second incompleteness theorem, models of arithmetic, second-order logic, and the lambda calculus.

Despite their differences in origin, the three influential schools of twentieth-century continental cultural criticism--the Frankfurt School, existentialism, and poststructuralism--have long been treated as an ensemble and with critical hesitancy. Examining these schools as responses to the apparent collapse of Western civilization in the twentieth-century and as formidable intellectual challenges to the cultural legacies of the Enlightenment, this book provides a productive base for criticism and broadens our understanding of their histories and reception.

In lieu of an abstract, here is a brief excerpt of the content:Locating Heaven:Modern Science and the Place of Christ's Glorified BodyThomas Davenport O.P.It seems only fitting to respond to mysteries of faith with awe and astonishment, but there is something dangerous about being embarrassed by them. Unfortunately, when it comes to the mystery of the Ascension, Christians sometimes cannot help but gravitate toward the latter response. There are those nagging "why" questions, as we wonder if things would not (...) have been better off if Christ had stayed on earth. On top of that, there are the dumbfounded "where" questions by which we wonder where Christ went when he left the Apostles' sight and where he actually is right now, if anywhere. These are not new questions, of course, and the tradition of the Church offers a great deal of reflection to guide us, reflection which seems quite apt at answering the "why" questions, but which can appear inadequate to answer the "where" question.1Every Sunday, Catholics profess: "He ascended into heaven and is seated at the right hand of the Father." The Church has always been clear that the "right hand of the Father" should not be understood physically, for the [End Page 93] Father has no body, no physical hands; but does that mean we should understand everything about the Ascension in some non-physical sense, too?2 If Christ is "in heaven" only in a sort of spiritual sense, not a physical one, is he somehow non-physical too? If so, is he still human? If not, where is this body of his? It is hard—arguably impossible—to conceive of any physical body that is not in some place, let alone a living human body that is not in a place. What would it mean for a body to exist completely disconnected from any relation to other physical things? These would seem to be pressing questions for the mystery of the Ascension, but they are questions that, like the Ascension itself, are little talked about by theologians. A recent scholar has summed it up curtly by saying of the Ascension: "Once it was seen as the climax of the mystery of Christ.... Today it is something of an embarrassment."3Doubt and embarrassment about where Christ's glorified human body is breeds doubt and embarrassment about the present existence of Christ's human body, and there are a whole host of theological problems which arise if we deny the present existence of that body. In this paper I will first look at the theological importance of Christ's glorified body, from Scripture, the theological tradition, and particularly from the mystery of the Eucharist. Then, I will consider where ancient and medieval theologians thought Christ's glorified body was and point out the contemporary difficulties of their positions. Finally, I will argue that contemporary physics presents new avenues for a reasonable imagining of where the glorified body of Christ could be.The Importance of the Glorified BodyThe Scriptures make it quite clear: even though there was something new about Christ's body after the resurrection, it really was a human body, and specifically the same human body he had before his death, identifiable most [End Page 94] especially by the very wounds of his crucifixion.4 "While the senses could be fooled in the resurrection appearances, the sense of touch in particular was used to confirm both the reality of his body and its identity, most memorably when he told Thomas to probe his wounds.5 Aquinas argues in the Summa theologiae [ST] that, for a "true resurrection of Christ, it was necessary for the same body of Christ to once more be united to the same soul."6 If these resurrection appearances are not a manifestation of the continuity between the body that was crucified and the one in this new glorified state, then they seem to be mere parlor tricks used to assuage the disciple's fears or, worse, mislead them.While Christ took pains to manifest that he had the same human body, it clearly operated under different rules from the corruptible physical world we are so familiar with, disappearing from sight, entering locked rooms, even ascending into the... (shrink)

Throughout the course of Plato's Statesman, an Eleatic Stranger makes several suggestions about what a statesman is. The Stranger refers to one of those suggestions, made at 276e, as 'likely' providing an 'outline' of the statesman. While that outline might not ultimately indicate what a statesman is, it points to some understanding of what it means to inquire into the being of a statesman. Foremost, the outline indicates that the statesman must be understood as a ruler of some kind. Moreover, (...) the statesman is a ruler whose focus should be on the people of the polis and so he must understand something of human nature. However, the statesman is also shaped by the tension created from the way in which rule itself belittles that nature, obscuring if not inhibiting the self-rule that is naturally or ideally human. The outline also acknowledges the reciprocal tendency of people to sacrifice their own self-rule, a tendency that makes ruling both more possible and more problematic. (shrink)

This book is the complete story of the creation of the universe, as it was understood by the ancient Egyptians. It is a collection of harmonic and radical 'Black Thoughts' and the pursuit of equality for all of this planet's inhabitants"--P. vii.

Drawing on case studies from around the world - including Iran, Guatemala, USA and Mexico - this collection documents how transnational human rights discourses and legal institutions are materialised, imposed, resisted and transformed in a variety of contexts.

This classic, provocative introduction to classical metaphysical questions focuses on appreciating the problems, rather than attempting to proffer answers.

Discusses the moral and ethical aspects of euthanasia and related topics.

Written by a former student of Heidegger, this book examines the relationship between the philosophy and the politics of a celebrated teacher and the allure that Nazism held out for scholars committed to revolutionary nihilism.

In this study, Worsley argues that it is rational to believe in a loving God in the face of evil. Beginning with a critique of Alvin Plantinga, he shows that human freedom is highly complex, and so depends upon complex structures in nature. These are both necessary for freedom but also sufficient for natural evil. He offers close analysis of the evolution of the human brain. The book develops a parallel argument that human evil stems from the evolution of personality.

. History of the concept of economic efficiency . INTRODUCTION James Buchanan won the Nobel Prize by proving that the process by which elected officials ...

On the basis of careful textual exegesis and philosophical analysis, and contrary to the received view, Mark R. Wheeler demonstrates that Aristotle presents and systematically explicates his definition of the essence of the truth in the Metaphysics. Aristotle states the nominal definitions of the terms "truth" and "falsehood" as part of his arguments in defense of the logical axioms. These nominal definitions express conceptions of truth and falsehood his philosophical opponents would have recognized and accepted in the context of dialectical (...) argument. On the basis of these nominal definitions, Aristotle develops his definitions of the essences of truth and falsehood--his "real" definitions of truth and falsehood. Aristotle's methodical exposition of his essential definitions of truth and falsehood in the Metaphysics serves as a well-developed example of how his philosophical inquiry starts with nominal definitions and ends with real definitions. Wheeler also argues for the novel claim that Aristotle defines the most fundamental kind of truth in terms of accurate measurement. Aristotle's metrical conception of truth serves as the theoretical basis for specifying the truth conditions of various assertions, for identifying the sorts of beings implicated in these truth conditions, and for explaining the nature of approximate truth and falsehood. Far from offering us a minimal account of truth, Wheeler shows how Aristotle offers us a sophisticated and metrical theory of truth. (shrink)

The past two decades have been a time of heightened interest in the moral aspects of the practice of medicine. This interest has been reflected in medical education by the establishment of medical humanities programs in both preclinical and clinical education in many medical schools. It has also been reflected in the literature with a dramatic increase in journal articles on medical ethics as well as the development of medical ethics in textbooks. A number of journals have developed that are (...) specifically devoted to medical ethics, including The Journal of Medical Ethics, The Journal of Medicine and Philosophy, The Journal of Medical Humanities, Theoretical Medicine, Cambridge Quarterly of Healthcare Ethics, just to name a few. The literature includes both theoretical foundations and conceptual analyses of particular issues as well as practical advice and general suggestions for how to implement programs in medical humanities. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Free Will’s Value: Criminal Justice, Pride, and Love by John LemosJohn DavenportLEMOS, John. Free Will’s Value: Criminal Justice, Pride, and Love. New York: Routledge, 2023. 284 pp. Cloth, $160.00It is a pleasure to read John Lemos’s latest work on moral free will, understood as the control needed for us to be morally responsible in “the just deserts sense.” Lemos is a clear writer who carefully lays out the (...) positions that he reviews and critiques. This book would be wonderful as a main text in a graduate seminar: The first six chapters critically address most of the main theories and moves in this wide field during the last twenty to twenty-five years, providing a very helpful overview while setting up Lemos’s own position. He advances an “indeterministic weightings” version of leeway-libertarianism about moral freedom that builds on both Robert Kane’s event-causal account and Robert Nozick’s older account of fixing the weight of practical considerations in the moment of choice. Lemos’s new account significantly refines the position that he defended against hard incompatiblism in his 2018 book. [End Page 721]Free Will’s Value also discusses responsibility in applied contexts, such as criminal justice and loving relationships. There are two chapters arguing that hard incompatibilists cannot save the “just deserts” aspect of criminal punishment or explain all the wrongness of taking the liberty of innocent persons mistakenly convicted. Their “public health quarantine” account of criminal justice will be utilitarian, and thus have a hard time justifying the beyond-reasonable-doubt standard for conviction. And, building on the critiques of compatibilism that he develops partly from Derk Pereboom and Bruce Waller, Lemos includes three chapters arguing that “axiological/pragmatist reasons” provide more evidence for libertarian free will than psychological evidence alone can.The final chapter in particular offers a novel argument that valuable sorts of interhuman loves need to involve self- or character-forming initiatives that are not primarily determined by factors beyond our control. The intrinsic value of some types of love, such as deep friendships—including romantic friendships—involve their being autonomous (my term), which in turn requires a kind of leeway-control. This involves arguing that “our will, effort, or a decision to love” is important to values achieved in sustaining loving relationships.Lemos’s own theory contends that Kane’s account of “self-forming actions” (SFAs) and “willings” (SFWs) in terms of dual “tryings” (or decisions) to do A or B in a fraught situation suffers from the “phenomenological problem” stated by Laura Ekstrom and Marc Balaguer, namely, that we do not normally experience fraught choices as involving such opposed tryings. This is even more evident, I believe, if we consider choices involving three or more salient options. Lemos is not convinced by Kane’s reply that the dual or multiple simultaneous efforts are usually unconscious, because he thinks responsibility for unconscious mental processes will (normally) trace to patterns of conscious choices made earlier in life. In fact, unconscious efforts, Lemos says, cannot meet even “plausible minimal compatibilist standards of responsibility” for elements of agency.I’m not convinced by this last claim, because it seems that an unconscious choice, C, could be responsive to (or counterfactually guided by) reasons relevant to C that the agent has considered in the past. Perhaps the problem is that “trying” is normally associated with attempting to act on an intention, but Kane uses it to describe the more elusive processes of agency involved in forming an intention via decision in the face of competing relevant options, which thereby incorporates motives into the intention. This sheds light on the further problem that it appears irrational to try to do multiple incompatible things at once. Pace Lemos, I think that Kane is right that “will-settling” is a special context in which it is not irrational for a single person’s agency to be engaged along dual pathways. Even if we do not call this “trying,” the agent’s interactions with the salient options are not like those of a detached spectator; they are volitional as well as evaluative. [End Page 722]Lemos’s account recognizes three loci... (shrink)

This article examines the philosophical teaching of a colorful Oxford alumnus and Roman Catholic convert, Christopher Davenport, also known as Franciscus à Sancta Clara or Francis Coventry. At the peak of Puritan power during the English Interregnum and after five of his Franciscan confrères had perished for their missionary work, our author tried boldly to claim modern cosmology and atomism as the unrecognized fruits of medieval Scotism. His hope was to revive English pride in the golden age of medieval (...) Oxford and to defend English Franciscans as more legitimately patriotic and scientifically progressive than Puritan millenarians. (shrink)