In this paper the existence or nonexistence of isomorphic mappings between graph models for the untyped lambda calculus is studied. It is shown that Engeler's D A is completely determined, up to isomorphism, by the cardinality of its `atom-set' A. A similar characterization is given for a collection of graph models of the Pω-type; from this some propositions regarding automorphisms are obtained. Also we give an indication of the complexity of the first-order theory of graph models by showing that the (...) second-order theory of first-order definable elements of a graph model is first-order expressable in the model. (shrink)

Having defined a notion of homology for paired graphs, Métayer ([Ma]) proves a homological correctness criterion for proof nets, and states that for any proof net $G$ there exists a Jordan-Hölder decomposition of ${\mathsf H}_0(G)$ . This decomposition is determined by a certain enumeration of the pairs in $G$ . We correct his proof of this fact and show that there exists a 1-1 correspondence between these Jordan-Hölder decompositions of ${\mathsf H}_0(G)$ and the possible ‘construction-orders’ of the par-net underlying $G$.

The present report is a, somewhat lengthy, addendum to "A new deconstructive logic: linear logic," where the elimination of cuts from derivations in sequent calculus for classical logic was studied ‘from the point of view of linear logic’. To that purpose a formulation of classical logic was used, that - as in linear logic - distinguishes between multiplicative and additive versions of the binary connectives.The main novelty here is the observation that this type-distinction is not essential: we can allow classical (...) sequent derivations to use any combination of additive and multiplicative introduction rules for each of the connectives, and still have strong normalization and confluence of tq-reductions.We give a detailed description of the simulation of tq-reductions by means of reductions of the interpre- tation of any given classical proof as a proof net of PN2 (the system of second order proof nets for linear logic), in which moreover all connectives can be taken to be of one type, e.g., multiplicative.We finally observe that dynamically the different logical cuts, as determined by the four possible combinations of introduction rules, are independent: it is not possible to simulate them internally, i.e., by only one specific combination, and structural rules. (shrink)

The main concern of this paper is the design of a noetherian and confluent normalization for LK 2. The method we present is powerful: since it allows us to recover as fragments formalisms as seemingly different as Girard's LC and Parigot's λμ, FD, delineates other viable systems as well, and gives means to extend the Krivine/Leivant paradigm of `programming-with-proofs' to classical logic ; it is painless: since we reduce strong normalization and confluence to the same properties for linear logic using (...) appropriate embeddings ; it is unifying: it organizes known solutions in a simple pattern that makes apparent the how and why of their making. A comparison of our method to that of embedding LK into LJ brings to the fore the latter's defects for these `deconstructive purposes'. (shrink)

We define an optimal proof-by-proof embedding of intuitionistic sequent calculus into linear logic and analyse the (purely logical) linearity information thus obtained.

When the whole is greater than the sum of the parts--indeed, so great that the sum far transcends the parts and represents something utterly new and different--we call that phenomenon emergence. When the chemicals diffusing in the primordial waters came together to form the first living cell, that was emergence. When the activities of the neurons in the brain result in mind, that too is emergence. In The Emergence of Everything, one of the leading scientists involved in the study of (...) complexity, Harold J. Morowitz, takes us on a sweeping tour of the universe, a tour with 28 stops, each one highlighting a particularly important moment of emergence. For instance, Morowitz illuminates the emergence of the stars, the birth of the elements and of the periodic table, and the appearance of solar systems and planets. We look at the emergence of living cells, animals, vertebrates, reptiles, and mammals, leading to the great apes and the appearance of humanity. He also examines tool making, the evolution of language, the invention of agriculture and technology, and the birth of cities. And as he offers these insights into the evolutionary unfolding of our universe, our solar system, and life itself, Morowitz also seeks out the nature of God in the emergent universe, the God posited by Spinoza, Bruno, and Einstein, a God Morowitz argues we can know through a study of the laws of nature. Written by one of our wisest scientists, The Emergence of Everything offers a fascinating new way to look at the universe and the natural world, and it makes an important contribution to the dialogue between science and religion. (shrink)

This work has been selected by scholars as being culturally important and is part of the knowledge base of civilization as we know it. This work is in the public domain in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work. Scholars believe, and we concur, that this work is important enough to be (...) preserved, reproduced, and made generally available to the public. To ensure a quality reading experience, this work has been proofread and republished using a format that seamlessly blends the original graphical elements with text in an easy-to-read typeface. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant. (shrink)

This work has been selected by scholars as being culturally important and is part of the knowledge base of civilization as we know it. This work is in the public domain in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work. Scholars believe, and we concur, that this work is important enough to be (...) preserved, reproduced, and made generally available to the public. To ensure a quality reading experience, this work has been proofread and republished using a format that seamlessly blends the original graphical elements with text in an easy-to-read typeface. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant. (shrink)

Another title in the reissued Oxford Classic Texts in the Physical Sciences series, Jeffrey's Theory of Probability, first published in 1939, was the first to develop a fundamental theory of scientific inference based on the ideas of Bayesian statistics. His ideas were way ahead of their time and it is only in the past ten years that the subject of Bayes' factors has been significantly developed and extended. Until recently the two schools of statistics were distinctly different and set apart. (...) Recent work has changed all that and today's graduate students and researchers all require an understanding of Bayesian ideas. This book is their starting point. (shrink)

This book explores the thought of Jacques Derrida as it relates to the tradition of apophatic thought--negative theology and philosophy--in both Western and Eastern traditions. Following the Introduction by Toby Foshay, two of Derrida's essays on negative theology, Of an Apocalyptic Tone Newly Adopted in Philosophy and How to Avoid Speaking: Denials, are reprinted here. These are followed by essays from a Western perspective by Mark C. Taylor and Michel Despland, and essays from an Eastern perspective by David Loy, a (...) Buddhist, and Harold Coward, a Hindu. In the Conclusion, Jacques Derrida responds to these discussions. (shrink)

BEGINNING with G. E. M. Anscombe's "Modern Moral Philosophy" in 1958, various critics--e.g., Frankena, Foot, MacIntyre, and Murdock--have, to one extent or another, expressed dissatisfaction with the condition of modern moral philosophy. Prior to this round of critiques, H. A. Prichard in 1912 asked the question "Is Moral Philosophy Based on a Mistake?" in an essay of that title in Mind. One finds precedent for these expressions of discontent with the ground rules of moral philosophy in both Aristotle and Kant, (...) two thinkers whose reformulations of the questions and procedures of ethics proved seminal for the discipline. Even neglecting other important developments in contemporary moral philosophy, the diversity and rigour of these critiques alone suggest that the prognosis for the discipline of ethics is quite favorable. Philosophy in at least one of its dimensions has recovered that self-reflective attentiveness that marks its most productive phases. So it is that several of these contemporary critiques raise the suspicion that what is wrong with moral philosophy is that it operates outside of a context in terms of which talk about moral laws or moral goods would be intelligible. Our contemporary situation can thus be contrasted with, for example, that of Aristotle for whom a discussion of "magnificence" was firmly rooted in an Athenian context in terms of which an argument over the merits of that particular virtue might be resolved. Alasdair MacIntyre's After Virtue brings this line of reflection into sharp new focus with a series of illuminating discussions concerning the role of the virtues both in the history of moral practices and in the logic of moral argument. In general, MacIntyre tries to show that "contemporary moral debate is interminable" ; that is, he tries to show why, given the nature of contemporary moral philosophy, there is "no rational way of securing moral agreement". Because I believe MacIntyre is successful in his demonstration, I shall, in this paper, take that demonstration for granted and try to construct a set of arguments designed to show how, in terms of a universally accessible paradigmatic character, we have at hand a way of avoiding the "interminable" regress of moral debate. Thus although my argument is derivative to MacIntyre's diagnosis and dependent, in part, upon his treatment of the concept of virtue, the proposal I develop here for the resolution of moral arguments is, sadly to say, somewhat at odds with his own. (shrink)

For many Christians, personal experiences of God provide an important ground or justification for accepting the truth of the gospel. But we are sometimes mistaken about our experiences, and followers of other religions also provide impressive testimonies to support their religious beliefs. This book explores from a philosophical and theological perspective the viability of divine encounters as support for belief in God, arguing that some religious experiences can be accepted as genuine experiences of God and can provide evidence for Christian (...) beliefs. (shrink)

Mugler maintains that interpreters have been mistaken in drawing from the pedagogical plan of Republic VII any general conclusion concerning the relative position which Plato assigned to philosophical speculation and mathematics, that in Plato's own intellectual experience the relation of the two was the reverse of that assigned to them there, mathematics being more often the end of metaphysical reflection than its point of departure, and that he recommended mathematical study to his pupils not merely as a propaedeutic for dialectic (...) but primarily because from his own experience he believed that subsequent philosophical meditation upon the fund of knowledge thus acquired would often lead to mathematical discoveries. Mugler does not say how this thesis is to be reconciled with the fact that at the end of the Laws dialectic is still declared to be the supreme science and that in such a late passage as Philebus 57 D ff. as well as in an early one like Euthydemus 290 C, neither of which is "pedagogical," the supremacy of dialectic and its priority to mathematics are affirmed as emphatically as in Republic VII; he simply says that a close interpretation of the "metaphysical" dialogues and the Timaeus will substantiate his contention, and it is therefore necessary to examine his interpretation in detail. (shrink)

The essays in this volume apply philosophical analysis to address three kinds of questions: What are the implications of genetic science for our understanding of nature? What might it influence in our conception of human nature? What challenges does genetic science pose for specific issues of private conduct or public policy?

Thats logic. LEWIS CARROLL, Through the Looking Glass 1-1. The fundamental problem of this work is the question of the nature of scientific inference.

An attempt to reduce disability discrimination can do more harm than the ostensible discrimination itself. Such is the case with Shavelson et al.’s (2023) argument for equal access to medical aid i...

Just consider, for sheer paranoia, the range of synonyms when the mask is ripped, the silence broken, the deferment brutally concluded: angel-face, arse-bandit, auntie, bent, bessie, bugger, bum-banger, bum boy, chicken, cocksucker, daisie, fag, faggot, fairy, flit, fruit, jasper, mincer; molly, nancy boy, nelly, pansy, patapoof, poofter, cream puff, powder puff, queen, queer, shit-stirrer, sissie, swish, sod, turd-burglar, pervert. For Aristophanes, as for Norman Mailer and Mary Whitehouse, buggery equaled coprophagy: a corrupt, destructive, hypocritical, excremental, urban scatology. Heterosexuality equalled the (...) fecund, rural norm. Aristophanes' diet for a giant dung beetle was turds from a buggered boy: "he says he likes them well kneaded."1To this day degeneracy often seems to be just another code word for homosexuality, as does perversion and decadence; this very essay will seem to many a "decadent" project. Nor would I balk at the term as long as it is interpreted in the French sense: intent on fulfilling Baudelaire's program of transforming the erotically passive to the intellectually active, the voluptuous to rational self-mastery.· 1.Literally, "a hetairekos boy": male prostitute, or boy-friend .Harold Beaver, reader of American literature at the University of Warwick, was recently elected to the new chair of American literature at the University of Amsterdam. He has published widely on American literature and is currently completeing a collection of his articles, The Great American Masquerade. (shrink)

As our scientific and technical abilities expand at breathtaking speeds, concern that modern genetics and bioengineering are leading us to a posthuman future is growing. Is Human Nature Obsolete? poses the overarching question of what it is to be human against the background of these current advances in biotechnology. Its perspective is philosophical and interdisciplinary rather than technical; the focus is on questions of fundamental ontological importance rather than the specifics of medical or scientific practice.The authors -- all distinguished scholars (...) in their fields -- take on questions about technology's goals and values that are often ignored or sidelined in the face of rapid scientific advances and the highly specialized nature of technical knowledge. The essays included represent a rich variety of thought, ranging from finely nuanced philosophical and theological arguments to historical studies and cultural commentaries. Several explore the historical background of today's biotechnology: Timothy Casey traces such developments as the emergence of cybernetic humanity from Cartesian dualism, and Diane Paul presents the history of "positive" versus coerced eugenics. Jean Bethke Elshtain discusses cloning as a "messianic project" to perfect the body and exclude natural diversity -- giving as an example the elimination of Down Syndrome as an acceptable human type -- while Harold Baillie calls for an examination of the metaphysical roots of personhood. Robert Proctor finds no evidence in paleontology for any "essence of humanity," and Tom Shannon argues against materialist reductionism. Addressing social concerns, Lisa Sowle Cahill finds the possibility of a political solution to the problems raised by genetic engineering in Catholic teachings on social justice, and Langdon Winner looks critically at the "scientific enthusiasts of a posthuman future." Taken as a whole, the book provides a humanistic overview of a subject too often considered only in its technological aspect. (shrink)

Child trauma plays an important role in the etiology of Bordeline Personality Disorder. Of all traumas, sexual trauma is the most common, severe and most associated with receiving a BPD diagnosis when adult. Etiologic models posit sexual abuse as a prognostic factor in BPD. Here we apply machine learning using Multiple Kernel Regression to the Magnetic Resonance Structural Images of 20 BPD and 13 healthy control to see whether their brain predicts five sources of traumas: sex abuse, emotion neglect, emotional (...) abuse, physical neglect, physical abuse. We also applied the same analysis to predict symptom severity in five domains: affective, cognitive, impulsivity, interpersonal for BPD patients only. Results indicate that CTQ sexual trauma is predicted by a set of areas including the amygdala, the Heschl area, the Caudate, the Putamen, and portions of the Cerebellum in BPD patients only. Importantly, interpersonal problems only in BPD patients were predicted by a set of areas including temporal lobe and cerebellar regions. Notably, sexual trauma and interpersonal problems were not predicted by structural features in matched healthy controls. This finding may help elucidate the brain circuit affected by traumatic experiences and connected with interpersonal problems BPD suffer from. (shrink)

Anthony de Jasay attempts to demonstrate that public goods can be supplied privately without loss of efficiency, since there may be enough people willing to finance public‐goods production voluntarily, even at the risk of subsidizing free riders, rather than risk that public goods will not be produced at all. Jasay's argument rests on the implausible assumption that the goods in question are completely indivisible. This assumption forces persons interested in having a given public good either to finance it or do (...) without it entirely; they do not have the option of financing smaller quantities or poorer qualities of the good. (shrink)

Being for Heidegger, Professor Alderman tells us, is like the mountain, it challenges us because it is simply there. In whatever we do, we cannot help "using" Being with a kind of comfortableness. However, there is the challenge to "mention" Being which brings a new and better kind of atunement. Man can think Being because he can be ontological. Man is both questioner and context. Any clarity in our understanding of Heidegger is a step. Professor Alderman helps us take this (...) step. While we might find ourselves returning to dark forest-paths, for a brief moment we will have broken out into the clearing. And after that we will walk the forest-paths differently. (shrink)

The paper clarifies heidegger's analysis of what it means to be human by: comparing it with other inquiries into the nature of man, By stating the most general features of his analysis, And by indicating how man's temporal nature provides access to being. A concluding section shows the relationship between the analysis of man and the post-Kehre seinsfrage.