Miller, D., G. Nadathur, F. Pfenning and A. Scedrov, Uniform proofs as a foundation for logic programming, Annals of Pure and Applied Logic 51 125–157. A proof-theoretic characterization of logical languages that form suitable bases for Prolog-like programming languages is provided. This characterization is based on the principle that the declarative meaning of a logic program, provided by provability in a logical system, should coincide with its operational meaning, provided by interpreting logical connectives as simple and fixed search instructions. (...) The operational semantics is formalized by the identification of a class of cut-free sequent proofs called uniform proofs. A uniform proof is one that can be found by a goal-directed search that respects the interpretation of the logical connectives as search instructions. The concept of a uniform proof is used to define the notion of an abstract logic programming language, and it is shown that first-order and higher-order Horn clauses with classical provability are examples of such a language. Horn clauses are then generalized to hereditary Harrop formulas and it is shown that first-order and higher-order versions of this new class of formulas are also abstract logic programming languages if the inference rules are those of either intuitionistic or minimal logic. The programming language significance of the various generalizations to first-order Horn clauses is briefly discussed. (shrink)

Cartesian closed categories (CCCs) have played and continue to play an important role in the study of the semantics of programming languages. An axiomatization of the isomorphisms which hold in all Cartesian closed categories discovered independently by Soloviev and Bruce, Di Cosmo and Longo leads to seven equalities. We show that the unification problem for this theory is undecidable, thus settling an open question. We also show that an important subcase, namely unification modulo the linear isomorphisms, is NP-complete. Furthermore, the (...) problem of matching in CCCs is NP-complete when the subject term is irreducible. CCC-matching and unification form the basis for an elegant and practical solution to the problem of retrieving functions from a library indexed by types investigated by Rittri. It also has potential applications to the problem of polymorphic type inference and polymorphic higher-order unification, which in turn is relevant to theorem proving and logic programming. (shrink)

We propose related algorithms for unification and constraint simplification in }F’&, a refinement of the simply-typed A-calculus with subtypes and bounded intersection types. }F""’ is intended as the basis of a logical framework in order to achieve more succinct and declarative axiomatiza-.

This article rebuts Ramsey's earlier theory, in 'Universals of Law and of Fact', of how laws of nature differ from other true generalisations. It argues that our laws are rules we use in judging 'if I meet an F I shall regard it as a G'. This temporal asymmetry is derived from that of cause and effect and used to distinguish what's past as what we can know about without knowing our present intentions.

Our intention here is to present the essential character of classical, sunnm within a strictly formal perspective and to set out its basic aspects. It was conceived by the mutakallimm differed in a number of basic concepts and constructs and in its analytic system, the topical organisation of the major compendia parallels that of metaphysics as understood in the contemporary Aristotelian tradition. The debates between kalm, however, is theological in the strict sense of the term and it is as such (...) that its problematic and its procedures are primarily to be understood. Thus seen, the object of kalām is to rationalise the cognitive content presented to Believers in the symbolic language of the koranic revelation. It has, then, four principal tasks, sc, to conceptualise, to order, to explain, and where possible to justify the primary doctrines of the community whose belief is held to be normative. Within this framework the differences that characterise the major schools as such and the various tendencies of individual masters within each school may readily be brought to light. (shrink)

A complete collection of Frank Sibley's articles on philosophical aesthetics, this volume includes five, remarkable, hitherto unpublished papers written in Sibley's later years. It addresses many topics, among them the nature of aesthetic qualities versus non-aesthetic qualities, the relation of aesthetic description to aesthetic evaluation, the different levels of evaluation, and the objectivity of aesthetic judgement. The later papers constitute both a significant development of Sibley's individual approach to aesthetics, such as his discussion of the distinction between attributive and (...) predicative uses of adjectives and of the aesthetic significance of tastes and smells, a topic Sibley considered to be much neglected. (shrink)

The Metaphysical Club, a gathering of intellectuals in the 1870s associated with Harvard, is widely recognized as the crucible where pragmatism, America's distinctively original philosophy, was refined and proclaimed. Louis Menand's bestseller about the group was a dramatic publishing success. However, only three actual members - Oliver Wendell Holmes Jr., Charles S. Peirce, and William James - appear in this book, alongside other thinkers such as John Dewey who were never in the Club. The Real Metaphysical Club tells the full (...) story of how this influential group shifted the course of philosophy in America. In addition to pioneering pragmatism, the group explored radical empiricism and idealism, and formulated personalism and process philosophy, equally important developments. This volume contains thirty-seven important writings dating from 1870 to 1885 by the real members of the Metaphysical Club. The first section centers on pragmatism and science; the second part collects writings of the lawyers; and the third part covers idealist and personalist philosophers. Many of these writings have never been reprinted before, and nothing like this impressive collection has ever been attempted. A general introduction provides a narrative history, and the editors' three introductions to the volume's sections vividly bring to life the intense meetings, sustained debates, and pioneering thought from the Metaphysical Club. (shrink)

Ubiquitous news, global information access, instantaneous reporting, interactivity, multimedia content, extreme customization: Journalism is undergoing the most fundamental transformation since the rise of the penny press in the nineteenth century. Here is a report from the front lines on the impact and implications for journalists and the public alike. John Pavlik, executive director of the Center for New Media at Columbia University's Graduate School of Journalism, argues that the new media can revitalize news gathering and reengage an increasingly distrustful and (...) alienated citizenry. The book is a valuable reference on everything from organizing a new age newsroom to job hunting in the new media. (shrink)

Does the universe embody beautiful ideas? Artists as well as scientists throughout human history have pondered this "beautiful question." With Nobel laureate Frank Wilczek as your guide, embark on a voyage of related discoveries, from Plato and Pythagoras up to the present. Wilczek's groundbreaking work in quantum physics was inspired by his intuition to look for a deeper order of beauty in nature. In fact, every major advance in his career came from this intuition: to assume that the universe (...) embodies beautiful forms, forms whose hallmarks are symmetry--harmony, balance, proportion--and economy. There are other meanings of "beauty," but this is the deep logic of the universe--and it is no accident that it is also at the heart of what we find aesthetically pleasing and inspiring. As he reveals here, this has been the heart of scientific pursuit from Pythagoras, the ancient Greek who was the first to argue that "all things are number," to Galileo, Newton, Maxwell, Einstein, and into the deep waters of twentieth-century physics. Gorgeously illustrated, A Beautiful Question is a mind-shifting book that braids the age-old quest for beauty and the age-old quest for truth into a thrilling synthesis. Yes: the world is a work of art, and its deepest truths are ones we already feel, as if they were somehow written in our souls.--From publisher description. (shrink)

One of our great contemporary scientists presents ten insights that illuminate what every thinking person needs to know about what the world is and how it works. Nobel Prize winner Frank Wilczek's Fundamentals is built around a simple but profound idea: the models of the world we construct as children are practical and adequate for everyday life, but they do not bring in the surprising and mind-expanding revelations of modern science. To do that, we must look at the world (...) anew, combining clear thinking with an openness to wonder. This "born again" world is in many ways larger, fuller, and much stranger than it appears. Through an exploration of space, time, matter, and ideas--and equipped with facts, questions, and brilliant speculations--Wilczek guides us through the past, present, and future of fundamental science. Readers will emerge with an expanded vision of our universe. Author Bio: Frank Wilczek won the Nobel Prize in Physics in 2004 for work he did as a graduate student. He was among the earliest MacArthur fellows, and has won many awards both for his scientific work and his writing. He is the author of A Beautiful Question, The Lightness of Being, Fantastic Realities, Longing for the Harmonies, and hundreds of articles in leading scientific journals. His "Wilczek's Universe" column appears regularly in the Wall Street Journal. Wilczek is the Herman Feshbach Professor of Physics at the Massachusetts Institute of Technology, founding director of the T. D. Lee Institute and chief scientist at the Wilczek Quantum Center in Shanghai, China, and a distinguished professor at Arizona State University and Stockholm University. (shrink)

Recent years have witnessed intensive efforts to specify which requirements ethical artificial intelligence (AI) must meet. General guidelines for ethical AI consider a varying number of principles important. A frequent novel element in these guidelines, that we have bundled together under the term explicability, aims to reduce the black-box character of machine learning algorithms. The centrality of this element invites reflection on the conceptual relation between explicability and the four bioethical principles. This is important because the application of general ethical (...) frameworks to clinical decision-making entails conceptual questions: Is explicability a free-standing principle? Is it already covered by the well-established four bioethical principles? Or is it an independent value that needs to be recognized as such in medical practice? We discuss these questions in a conceptual-ethical analysis, which builds upon the findings of an empirical document analysis. On the example of the medical specialty of radiology, we analyze the position of radiological associations on the ethical use of medical AI. We address three questions: Are there references to explicability or a similar concept? What are the reasons for such inclusion? Which ethical concepts are referred to? (shrink)

First published in 2000. Routledge is an imprint of Taylor & Francis, an informa company.

First published in 2000. Routledge is an imprint of Taylor & Francis, an informa company.

Frank Vigneron, an advocate of all things local, boldly calls for the cultivation of an environmental consciousness that encourages the development of local cultures. Vigneron draws on comparative aesthetics and the work of several contemporary philosophers and sociologists to make sense of recent movements among the arts community of Hong Kong. He also traces threads of communication between different cultures within Hong Kong's former arts establishment.

Recent philosophical discussion about the relation between fiction and reality pays little attention to our moral involvement with literature. Frank Palmer's purpose is to investigate how our appreciation of literary works calls upon and develops our capacity for moral understanding. He explores a wide range of philosophical questions about the relation of art to morality, and challenges theories that he regards as incompatible with a humane view of literary art. Palmer considers, in particular, the extent to which the values (...) and moral concepts involved in our understanding of human beings can be said to enter into our understanding of, and response to, fictional characters. The scope of his discussion encompasses literary aesthetics, ethics, and epistemology, and he makes extensive reference to literary examples. (shrink)

In this chapter, we consider ethical and philosophical aspects of trust in the practice of medicine. We focus on trust within the patient-physician relationship, trust and professionalism, and trust in Western (allopathic) institutions of medicine and medical research. Philosophical approaches to trust contain important insights into medicine as an ethical and social practice. In what follows we explain several philosophical approaches and discuss their strengths and weaknesses in this context. We also highlight some relevant empirical work in the section on (...) trust in the institutions of medicine. It is hoped that the approaches discussed here can be extended to nursing and other topics in the philosophy of medicine. (shrink)

This book examines Heidegger's controversial relation to politics as it grows out of his understanding of his predecessors in German Idealism, most notably, Hegel. This way of developing a dialogue between Heidegger and Hegel on the issue of politics provides an important context for questioning the former's link with National Socialism. Yet the book does not simply condemn Heidegger for his Nazi involvement nor claim that his thinking is free from dangerous political implications. On the contrary, a second level of (...) questioning asks whether Heidegger's philosophy can be appropriated in alternative contexts which permit the affirmation of democratic principles. Thus the book concludes by examining the import which Heidegger's thought has on cultivating such democratic motifs as freedom of speech and civil disobedience. The book is especially of interest to advanced undergraduates, graduate students, and scholars in the areas of German idealism, phenomenology, social and political philosophy, and the history of philosophy. (shrink)

Biomarker-based predictive tests for subjectively asymptomatic Alzheimer’s disease (AD) are utilized in research today. Novel applications of artificial intelligence (AI) promise to predict the onset of AD several years in advance without determining biomarker thresholds. Until now, little attention has been paid to the new ethical challenges that AI brings to the early diagnosis in asymptomatic individuals, beyond contributing to research purposes, when we still lack adequate treatment. The aim of this paper is to explore the ethical arguments put forward (...) for AI aided AD prediction in subjectively asymptomatic individuals and their ethical implications. The ethical assessment is based on a systematic literature search. Thematic analysis was conducted inductively of 18 included publications. The ethical framework includes the principles of autonomy, beneficence, non-maleficence, and justice. Reasons for offering predictive tests to asymptomatic individuals are the right to know, a positive balance of the risk-benefit assessment, and the opportunity for future planning. Reasons against are the lack of disease modifying treatment, the accuracy and explicability of AI aided prediction, the right not to know, and threats to social rights. We conclude that there are serious ethical concerns in offering early diagnosis to asymptomatic individuals and the issues raised by the application of AI add to the already known issues. Nevertheless, pre-symptomatic testing should only be offered on request to avoid inflicted harm. We recommend developing training for physicians in communicating AI aided prediction. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Wellspring or Circuit?Commentary on Dewey and the Aesthetic UnconsciousnessFrank X. RyanEditor's note: This article contains material similar to a book review by the same author previously published in The Pluralist, vol. 18, no. 2, pp 114–21. The present article represents a further critical use of this material that we deem worthy of publication.in this vital and splendidly crafted work, Bethany Henning recovers a philosophy of aesthetic wisdom far richer (...) than the narrow epistemological lens dominant today. From its start, American philosophy looked beyond Europe's atomistic empiricism toward a continuity between our thought and nature's aesthetic splendor. Jonathan Edwards found beauty in the structure of being reflected in relations among ideas. For Emerson, each of us is a "transparent eyeball" in which nature's beauty fortifies our moral and spiritual agency. At the apex of this tradition is John Dewey, for whom "aesthetic experience [is] the highest mode of human experience" (Henning 55).Although aesthetic theory is usually associated with the cognitive evaluation of art, Dewey explores a broader non-reflective or unconscious dimension. Henning's appropriation of "unconscious"—the cradle of Freud's infantile id—is intentionally provocative. American culture, reflected in academic thought, has largely resisted appeals to subterranean urges and drives. In doing so, however, we perpetuate a myth of rational and moral exceptionalism masking a history of colonialism, oppression, and crass commercialism. In accepting the unconscious, European thought has taken strides to acknowledge and address such ills. Henning wonders whether America might accept "a dynamic unconscious, were it presented with an alternative mythology" (10) and finds a viable candidate in Dewey's underappreciated notion of qualitative immediacy: an "aesthetic (directly felt) connection between ourselves and [End Page 77] the world" (Henning 5). In affirming the unconscious depth of experience, this American reconfiguration welcomes "aesthetic experience back into our philosophical lives" (Henning 5).When embodied meaning supplements cognitive reflection, we come to champion "the sensuous, lived body" as "the primary reality" of qualitative immediacy—a felt aesthetic unity punctuated by "impulsions" arising from an organism's needs (Henning 69). As "a site of adaptive adjustments," Henning continues, "the body is responsive to the brink of coalescence at the point of contact with the world, in which things that are 'outside of it' belong to it" (71). "To move adeptly into aesthetic experience means to be skilled at loosening focal consciousness" so as to cultivate "the essential porousness of the world" (130).With this, the body-mind relation becomes a problem of normative aesthetics, not epistemology. The Cartesian detachment of intellect from nature perpetuated our cultural alienation from our bodies, our environments, and one another (Henning 81–84). With the re-emergence of the body, however, we can begin to acknowledge and heal this trauma.In tapping the significance of qualitative immediacy, of "having" beyond "knowing," Dewey and the Aesthetic Unconscious strives to recover Dewey's remarkable insight into our essential situatedness in the world. This alone establishes its importance. But Henning's book is equally ambitious in suggesting how Dewey's aesthetic understanding can(1). reconfigure the shadowy daemons of Freud's id;(2). replace the myth of American exceptionalism with authentic relationships rooted in pluralist values;(3). rehabilitate the body as an authentic vehicle of expression and communication;(4). vindicate the bold claim that all unified experience is aesthetic; and(5). identify and promote connections forged in shared human experiences.These aims are of inestimable value. I pledge to do whatever I can to defend and advance them. At the outset, however, I feel we must shore up the relationship between two different approaches to thinking about our situatedness in the world: (1) of organic beings existing in a porous world they dynamically interact with, and (2) a phenomenology of experience wherein nonreflective having is an unanalyzed totality from which thought and thing, subject and object, organism and environment, functionally emerge in what Dewey calls the pattern of inquiry. [End Page 78]The general consensus that Dewey failed to reconcile these two approaches—of existence with experience—was dubbed the "deep crack" in Dewey's thought, by Richard Bernstein in 1961. Bernstein laments Dewey's being caught between (1... (shrink)

Frank Ramsey was the greatest of the remarkable generation of Cambridge philosophers and logicians which included G. E. Moore, Bertrand Russell, Ludwig Wittgenstein and Maynard Keynes. Before his tragically early death in 1930 at the age of twenty-six, he had done seminal work in mathematics and economics as well as in logic and philosophy. This volume, with a new and extensive introduction by D. H. Mellor, contains all Ramsey's previously published writings on philosophy and the foundations of mathematics. The (...) latter gives the definitive form and defence of the reduction of mathematics to logic undertaken in Russell and Whitehead's Principia Mathematica; the former includes the most profound and original studies of universals, truth, meaning, probability, knowledge, law and causation, all of which are still constantly referred to, and still essential reading for all serious students of these subjects. (shrink)

Die {raquo}Revolution der Denkart{laquo} hat nicht nur den Anlauf genommen, welchem sie ihren Namen verdankt.! Gezahlt werden noch weitere Umstellungen der Theorie bildung als bloG die kopernikanische Kants. Hier interessieren gleich zwei. Die eine liefert den Gegenstand, die entsprechende, RevolutionPhanomenologie.

This article aims to offer a refined way of understanding what we mean by the concepts of meaningfulness and meaning in life. The first step is to separate worthwhileness, as the broadest evaluation of life taking all types of values into account, from meaningfulness, which is seen as one type of intrinsic value along with, for example, well-being, moral praiseworthiness, and authenticity, which I argue are also separate types of intrinsic value. After discussing why we should not settle with the (...) currently popular fitting attitudes analysis of meaningfulness, I argue that the meaningfulness of a life should be seen to be about the positive contribution beyond itself that this particular life is able to make. I show how this analysis is different from previous similar accounts and how it is able to avoid a number of challenges that have troubled these previous accounts, such as the pleasure machine challenge, the results machine challenge, and the doing good unintentionally challenge. I also demonstrate how it is able to account for prototypical examples of meaningful and meaningless lives and how it is compatible with subjectivism, supernaturalism, and objective naturalism, which is seen as a merit. Finally, I conclude with some notes about what could make life meaningful, given the current analysis of meaningfulness itself. (shrink)

The author confirms the existence of the unconscious mind and traces its importance, using hypnosis, psychoanalysis, subliminal manipulation, dreams, and hard ...

This paper develops the question of Heidegger’s stance toward evolutionary theory. It shows that evolutionary theory harbors its own set of presuppositions,which in turn can be explicated through Heidegger’s hermeneutic strategy of “formal indication.” The paper concludes that Heidegger’s account of animal lifediverges from that of evolutionary theory, not simply due to the naturalistic claims of the latter, but rather because the former places the openness of inquiry aheadof any theoretical concerns. As a result, Heidegger’s hermeneutic phenomenology stakes out a (...) unique territory which stands apart from either a traditionally religious or secular viewpoint, each of which risks falling into the trap of dogmatism. (shrink)

This paper develops the question of Heidegger’s stance toward evolutionary theory. It shows that evolutionary theory harbors its own set of presuppositions,which in turn can be explicated through Heidegger’s hermeneutic strategy of “formal indication.” The paper concludes that Heidegger’s account of animal lifediverges from that of evolutionary theory, not simply due to the naturalistic claims of the latter, but rather because the former places the openness of inquiry aheadof any theoretical concerns. As a result, Heidegger’s hermeneutic phenomenology stakes out a (...) unique territory which stands apart from either a traditionally religious or secular viewpoint, each of which risks falling into the trap of dogmatism. (shrink)

Antonio Gramsci was one of the most original political thinkers in Western Marxism and an exceptional intellectual. Arrested and imprisoned by the Italian Fascist regime in 1926, Gramsci died before fully regaining his freedom, yet he wrote extensive letters while incarcerated, rich with insight into the physical and psychological tortures of prison. In meticulous detail, Gramsci records how political prisoners, himself included, contend with the fear of illness and death and the rules and regulations that threaten to efface their individuality. (...) Forming an incomparable link between Gramsci's intellectual passion and his emotional vulnerability, _Letters from Prison_ shows a man reconstructing his life while being separated from it, struggling to recapture the primary relationships that once defined his identity. Frank Rosengarten divides more than four hundred Gramsci letters into two companion volumes, complete with a chronology of the thinker's crucial life experiences, biographical notes on his correspondents, and a bibliography of works cited in his letters. (shrink)

Antonio Gramsci was one of the most original political thinkers in Western Marxism and an exceptional intellectual. Arrested and imprisoned by the Italian Fascist regime in 1926, Gramsci died before fully regaining his freedom, yet he wrote extensive letters while incarcerated, rich with insight into the physical and psychological tortures of prison. In meticulous detail, Gramsci records how political prisoners, himself included, contend with the fear of illness and death and the rules and regulations that threaten to efface their individuality. (...) Forming an incomparable link between Gramsci's intellectual passion and his emotional vulnerability, _Letters from Prison_ shows a man reconstructing his life while being separated from it, struggling to recapture the primary relationships that once defined his identity. Frank Rosengarten divides more than four hundred Gramsci letters into two companion volumes, complete with a chronology of the thinker's crucial life experiences, biographical notes on his correspondents, and a bibliography of works cited in his letters. (shrink)

Gerade im Gesundheitswesen ist die Frage nach (Gestaltungs-)Macht heikel. Aber wer anderen Gutes tun möchte, der muss wirksam tätig werden können. Dies beinhaltet immer auch soziale Gestaltungsmacht. Wie gehen Pflegende mit der ihnen übertragenen bzw. auferlegten Macht um? Wie viel Macht ist im Kontext von Medizin, Pflege und Gesundheitssorge nötig? Und wie nehmen die Patientinnen und Patienten sie wahr? *Oft fühlen sich Menschen, die unter einer akuten Krankheit leiden, ohnmächtig. Und so wirkt der Begriff der Macht, den wir oft genug (...) mit Herrschaft und Gewalt verbinden, in einem Bereich, in dem es um Fürsorge und Behandlung geht, merkwürdig fehl am Platz. Gleichwohl bringen Ressourcen wie Wissen und finanzielle Mittel automatisch die Frage nach Macht in der Fürsorge aufs Tapet. Das Buch fragt nach der moralischen Bedeutung von Gestaltungsmacht und sucht das prekäre Verhältnis von Macht und Fürsorge ethisch auszuloten. (shrink)

**** Reprint of the Indiana U. Press edition of 1966--which is cited in BCL3. Annotation copyright by Book News, Inc., Portland, OR.

Although declarations of the death of God seem to be provocations announcing the end of the era of theology, this announcement is actually central to the Christian revelation in its most classic forms, as well as to its reworkings in contemporary religious thought. Indeed provocative new possibilities for thinking theologically open up precisely in the wake of the death of God. Already Hegel envisaged a revolutionary new realization of divinity emerging in and with the secular world through its establishment of (...) a total order of immanence. However, in postmodern times this comprehensive order aspired to by modern secularism implodes or cracks open towards the wholly Other. A hitherto repressed demand for the absolute difference of the religious, or for “transcendence”, returns with a vengeance. This difference is what could not be stated in terms of the Hegelian System, for reasons that poststructuralist writers particularly have insisted on: all representations of God are indeed dead. Yet this does not mean that they cannot still be powerful, but only that they cannot assign God any stable identity. Nietzsche’s sense of foreboding concerning the death of God is coupled with his intimations of the demise of representation and “grammar” as epistemologically bankrupt, but also with his vision of a positive potential for creating value in the wake of this collapse of all linguistically articulated culture. He points the way towards the emergence of a post-secular religious thinking of what exceeds thought and representation. (shrink)

Meaningful work is a key element of positive functioning of employees, but what makes work meaningful? Based on research on self-determination theory, basic psychological needs, and prosocial impact, we suggest that there are four psychological satisfactions that substantially influence work meaningfulness across cultures: autonomy (sense of volition), competence (sense of efficacy), relatedness (sense of caring relationships), and beneficence (sense of making a positive contribution). We test the relationships between these satisfactions and perceived meaningful work in Finland (n = 594, employees (...) of several organizations), India (n = 342, collected through Mturk), and the USA (n = 373, collected through Mturk). Regression analyses show that – except for competence in USA – all four satisfactions are significantly and independently associated with meaningful work. Moreover, structural equation modeling shows that they fully mediated the relationship between occupational position and work meaningfulness in India and in the USA. In sum, the results support the importance of these four satisfactions in explaining the psychological underpinnings of meaningful work. (shrink)