Reflecting Alan Robinson's fundamental contribution to computational logic, this book brings together seminal papers in inference, equality theories, and logic programming. It is an exceptional collection that ranges from surveys of major areas to new results in more specialized topics. Alan Robinson is currently the University Professor at Syracuse University. Jean-Louis Lassez is a Research Scientist at the IBM Thomas J. Watson Research Center. Gordon Plotkin is Professor of Computer Science at the University of Edinburgh. Contents: Inference. Subsumption, (...) A Sometimes Undervalued Procedure, Larry Wos, Ross Overbeek, and Ewing Lusk. The Markgraf Karl Refutation Procedure, Hans Jurgen Ohlbach and Jorg H. Siekmann. Modal Logic Should Say More than it Does, Melvin Fitting. Interactive Proof Presentation, W. W. Bledsoe. Intelligent Backtracking Revisited, Maurice Bruynooghe. A Science of Reasoning, Alan Bundy. Inductive Inference of Theories from Facts, Ehud Y. Shapiro. Equality. Solving Equations in Abstract Algebras: A Rule-based Survey of Unification, Jean-Pierre Jouannaud and Claude Kirchner. Disunification: A Survey, Hubert Comon. A Case Study of the Completion Procedure: Proving Ring Commutativity Problems, Deepak Kapur and Hantao Zhang. Computations in Regular Rewriting Systems I and II, Girard Huet and JeanJacques Levy. Unification and ML Type Reconstruction, Paris Kanellakis, Harry Mairson, and John Mitchell. Automatic Dimensional Analysis, Mitchell Wand. Logic Programming. Logic Programming Schemes and Their Implementations, Keith Clark. A Near-Horn Prolog for Compilation, Donald Loveland and David Reed. Unfold/Fold Transformations of Logic Programs, P. A. Gardner and J. C. Shepherdson. An Algebraic Representation of Logic Program Computations, Andrea Corradini and Ugo Montanari. Theory of Disjunctive Logic Programs, Jack Minker, Arcot Rajasekar, and Jorge Lobo. Bottom-Up Evaluation of Logic Programs, Jeffrey Naughton and Raghu Ramakrishnan. Absys, the First Logic Programming Language: A View of the Inevitability of Logic Programming, E. W. Elcock. (shrink)

BackgroundInternational partnerships in research are receiving ever greater attention, given that technology has diminished the restriction of geographical barriers with the effects of globalisation becoming more evident, and populations increasingly more mobile.DiscussionIn this article, we examine the merits and risks of such collaboration even when strict universal ethical guidelines are maintained. There has been widespread examples of outcomes beneficial and detrimental for both high and low –income countries which are often initially unintended.SummaryThe authors feel that extreme care and forethought should (...) be exercised by all involved parties, despite the fact that many implications from such international work can be extremely hard to predict. However ultimately the benefits gained by enhancing medical research and philanthropy are too extensive to be ignored. (shrink)

JOHN CORCORAN AND WILIAM FRANK. Surprises in logic. Bulletin of Symbolic Logic. 19 253. Some people, not just beginning students, are at first surprised to learn that the proposition “If zero is odd, then zero is not odd” is not self-contradictory. Some people are surprised to find out that there are logically equivalent false universal propositions that have no counterexamples in common, i. e., that no counterexample for one is a counterexample for the other. Some people would be surprised (...) to find out that in normal first-order logic existential import is quite common: some universals “Everything that is S is P” —actually quite a few—imply their corresponding existentials “Something that is S is P”. Anyway, perhaps contrary to its title, this paper is not a cataloging of surprises in logic but rather about the mistakes that did or might have or might still lead people to think that there are no surprises in logic. The paper cataloging of surprises in logic is on our “to-do” list. -/- ► JOHN CORCORAN AND WILIAM FRANK, Surprises in logic. Philosophy, University at Buffalo, Buffalo, NY 14260-4150, USA E-mail: [email protected] There are many surprises in logic. Peirce gave us a few. Russell gave Frege one. Löwenheim gave Zermelo one. Gödel gave some to Hilbert. Tarski gave us several. When we get a surprise, we are often delighted, puzzled, or skeptical. Sometimes we feel or say “Nice!”, “Wow, I didn’t know that!”, “Is that so?”, or the like. Every surprise belongs to someone. There are no disembodied surprises. Saying there are surprises in logic means that logicians experience surprises doing logic—not that among logical propositions some are intrinsically or objectively “surprising”. The expression “That isn’t surprising” often denigrates logical results. Logicians often aim for surprises. In fact, [1] argues that logic’s potential for surprises helps motivate its study and, indeed, helps justify logic’s existence as a discipline. Besides big surprises that change logicians’ perspectives, the logician’s daily life brings little surprises, e.g. that Gödel’s induction axiom alone implies Robinson’s axiom. Sometimes wild guesses succeed. Sometimes promising ideas fail. Perhaps one of the least surprising things about logic is that it is full of surprises. Against the above is Wittgenstein’s surprising conclusion : “Hence there can never be surprises in logic”. This paper unearths basic mistakes in [2] that might help to explain how Wittgenstein arrived at his false conclusion and why he never caught it. The mistakes include: unawareness that surprise is personal, confusing logicians having certainty with propositions having logical necessity, confusing definitions with criteria, and thinking that facts demonstrate truths. People demonstrate truths using their deductive know-how and their knowledge of facts: facts per se are epistemically inert. [1] JOHN CORCORAN, Hidden consequence and hidden independence. This Bulletin, vol.16, p. 443. [2] LUDWIG WITTGENSTEIN, Tractatus Logico-Philosophicus, Kegan Paul, London, 1921. -/-. (shrink)

I TACKLE THE LIMITED QUESTION WHETHER THERE IS AN APPROPRIATE PROCEDURE FOR SUPPORTING (VIOLATION) MIRACLE CLAIMS. I DON’T ASK WHETHER THAT PROCEDURE WARRANTS BELIEF IN MIRACLES. RELYING ON VARIOUS REQUIREMENTS FOR RATIONALLY ADVANCING A (VIOLATION) MIRACLE CLAIM, I URGE THAT G ROBINSON IS WRONG IN MAINTAINING THAT MIRACLE CLAIMS ARE A "MATTER OF WHIM"; RATHER THEY RELY ON A DEFINITE METHOD. FURTHER I URGE THAT M DIAMOND IS WRONG IN MAINTAINING THAT MIRACLE CLAIMS BRING BOTH SCIENTIFIC INQUIRIES TO A (...) PREMATURE END AND SCIENTIFIC AUTONOMY UNDER THREAT; RATHER MIRACLE CLAIMS PRESUPPOSE THOROUGH AND UNIMPEDED SCIENTIFIC INQUIRIES. (shrink)

This book begins with the assumption that no one can achieve a rational selection of values for his life-style unless he first understands the major modern and contemporary formulations of alternative moral ideals. To assist the reader in determining which values are more basic and deserve his loyalty, the author explores and evaluates the different value systems defended by a wide range of thinkers viz. James, Dewey, Ayn Rand, Hugh Hefner, Marx, Freud, Erich Fromm, Kierkegaard, Nietzsche, Sartre, Barth, Tillich, Cox, (...) Fletcher, Bishop Robinson, Brunner, Reinhold Niebuhr, Ramsey, G E Moore, A J Ayer, Toulmin and R M Hare. (shrink)

The present paper examines the arguments and data presented by Nisbett and Wilson relevant to their thesis that subjects do not have access to their own cognitive processes. It is concluded that their review of previous research is selective and incomplete and that the data they present in behalf of their thesis does not withstand a demand characteristics analysis. Furthermore, their use of observer-subject similarity as evidence of subjects' inability to access cognitive processes makes tests of their hypothesis confounded and, (...) at the same time, reveals limitations in the application of the pre-inquiry quasi-control to research on social behavior. Problems with postexperiment questionnaires, such as the demand characteristics of the inquiry procedure are also considered. Although there are difficulties in assessing subjects' cognitive processes, many of these may be overcome through the application of novel techniques and research conducted on more traditional methods. In contrast to the view that subjects have limited access to cognitive processes and that their verbal reports are not valid, it is concluded that subjects' verbalizations are a rich source of psychological data which must be pursued if we are to tap their cognitive processes and are to gain an adequate understanding of human behavior. (shrink)

Copenhagen interpretation of quantum mechanics deals with these problems is reviewed. A new interpretation of the formalism of quantum mechanics, the transactional interpretation, is presented. The basic element of this interpretation is the transaction describing a quantum event as an exchange of advanced and retarded waves, as implied by the work of Wheeler and Feynman, Dirac, and others. The transactional interpretation is explicitly nonlocal and thereby consistent with recent tests of the Bell inequality, yet is relativistically invariant and fully causal. (...) A detailed comparison of the transactional and Copenhagen interpretations is made in the context of well-known quantum-mechanical Gedankenexperimenre and "paradoxes." The transactional interpretation permits quantum-mechanical wave functions to be interpreted as real waves physically present in space rather than as "mathematical representations of knowledge" as in the Copenhagen interpretation. The transactional interpretation is shown to provide insight into the complex character of the quantum-mechanical state vector and the mechanism associated with its "collapse." It also leads in a natural way to justification of the Heisenberg uncertainty principle and the Born probability law (P = ii iij*), basic elements of the Copenhagen interpretation. (shrink)

This book shines bright light into the dim recesses of quantum theory, where the mysteries of entanglement, nonlocality, and wave collapse have motivated some to conjure up multiple universes, and others to adopt a "shut up and calculate" mentality. After an extensive and accessible introduction to quantum mechanics and its history, the author turns attention to his transactional model. Using a quantum handshake between normal and time-reversed waves, this model provides a clear visual picture explaining the baffling experimental results that (...) flow daily from the quantum physics laboratories of the world. To demonstrate its powerful simplicity, the transactional model is applied to a collection of counter-intuitive experiments and conceptual problems. (shrink)

We wish to give a precise formulation of the intuitive concept: The degree to which the known facts support a given hypothesis.

Talks collected from lectures given by Bennett with Gurdjieff's approval, to help people understand All and Everything: Beelzebub's Tales to His Grandson. Bennett regarded Gurdjieff's All and Everything as a work of superhuman genius.

The works of Paul K. Feyerabend, Norwood Russell Hanson and Thomas S. Kuhn have come to occupy a central place in the annals of contemporary philosophy of science. Some of their contemporaries,, tend to regard them as the vanguard of a new “revolutionary” intellectual movement. Reacting against the views of their positivist predecessors, they embrace and propagate the idea that “pervasive presuppositions” are fundamental to scientific investigations. Thus, Feyerabend thinks that, “... scientific theories are ways of looking at the world; (...) and their adoption affects our general beliefs and expectations, and thereby also our experiences and our conception of reality”. This is in stark contrast to the positivist view that the aim of science is the systematization of experience that exists independently of any scientific theories. This new view of scientific theories also involves a “radical” conception of the nature of theoretical change. Rejecting the positivist notion of any constant element through such change, Kuhn regards a basic theoretical change as a conceptual revolution and “wants to say that after a revolution scientists are responding to a different world”. Hanson uses the phrase ‘theory-loaded’ to give expression to a view of the semantic content of observation statements that follows from this general position. (shrink)

Includes chapters on scientific language, mathematics, probability, credibility and induction, scientific explanations, life, and science and values.

The history of economic thought has always attracted some of the brightest minds in the discipline. These chroniclers of development have helped form our current views, and it is no surprise that many among them have been at the forefront of new movements in the history of ideas. This notable collection summarizes the work of these key historians of economics and attempts to quantify their impact. Some of the writers covered, such as Friedrich Hayek and Joan Robinson, are already (...) assured of their place among the greatest economists of the twentieth century, but the collection also stresses the influence of those still active in shaping our perceptions - including Mark Blaug, Samuel Hollander and Donald Winch. Written by an impressive roster of contributors, many of whom are themselves well-known in the history of economic thought, this key book features writings from John Creedy, Roger Blackhouse and Neil De Marchi, as well as the editors of the collection as a whole, Warren J. Samuels and Steven Medema. (shrink)

Traces the development of the human consciousness and argues that many scientific theories of human nature denigrate the value of humanity.

The appearance of Priestley's electrical work as a brief and irrelevant prelude to his more substantial chemical enquiries may explain why it has been strangely overlooked by historians of science. It was only fairly recently that Sir Philip Hartog sought to rectify this situation with the affirmation that ‘Priestley's electrical work offers the key to Priestley's scientific mind’. Attacking traditional chemical historiography for tracing Priestley's opposition to Lavoisier's theory to a deficiency in his scientific sensibilities, Hartog insisted that Priestley's natural (...) philosophy can properly be understood only in relation to his ‘profound convictions on scientific method’ as fully expressed in the History of electricity. Only thus would Priestley's scientific thought be related correctly to his ‘work as a whole’. (shrink)

Foreword to new edition / George Bennett -- Original foreword / Elizabeth Bennett -- The diaries July 23, 1949-November 7,1949 -- Additional entries November 8-22, 1949.

EPR experiments demonstrate that standard quantum mechanics exhibits the property of nonlocality , the enforcement of correlations between separated parts of an entangled quantum systems across spacelike separations. Nonlocality will be clarified using the transactional interpretation of quantum mechanics, and the possibility of superluminal effects (e.g., faster-than-light communication) from nonlocality and non-linear quantum mechanics will be examined.

Americans have long prided themselves on living in a country that serves as a beacon of democracy to the world, but from the time of the founding they have also engaged in debates over what the criteria for democracy are as they seek to validate their faith in the United States as a democratic regime. In this book John Gunnell shows how the academic discipline of political science has contributed in a major way to this ongoing dialogue, thereby playing (...) a significant role in political education and the formulation of popular conceptions of American democracy. Using the distinctive “internalist” approach he has developed for writing intellectual history, Gunnell traces the dynamics of conceptual change and continuity as American political science evolved from a focus in the nineteenth century on the idea of the state, through the emergence of a pluralist theory of democracy in the 1920s and its transfiguration into liberalism in the mid-1930s, up to the rearticulation of pluralist theory in the 1950s and its resurgence, yet again, in the 1990s. Along the way he explores how political scientists have grappled with a fundamental question about popular sovereignty: Does democracy require a people and a national democratic community, or can the requisites of democracy be achieved through fortuitous social configurations coupled with the design of certain institutional mechanisms? (shrink)

The plane of the present is a concept that is useful for discussing the various paradigms of time. Here by ‘plane of the present’ we mean the temporal interface that represents the present instant and that forms the boundary between the past and the future. We use the geometrical term ‘plane’ to indicate an extended surface in the space-time continuum, as opposed to a ‘point’ on some time axis. This point/plane dichotomy is intended to raise issues of extension and simultaneity (...) and to examine the degree to which these are meaningful concepts from various physical viewpoints. We will show by example in the present work that the plane of the present is a pivotal concept that offers considerable power in differentiating between various views of the nature of time. The concept of time within the main stream of physics thinking has followed a rather convoluted path over the past three millennia. Anticipating the modern motion picture, Zeno of Elea (c.490-c.430 B.C) questioned whether time should appropriately be viewed as a continuously flowing river, or should more properly be considered as a rapid sequence of stop-motion ‘freeze-frames’, in effect rendering geometrical each instant as a separate infinitesimal point on the line of time. Adopting this view, he asked how physical motion could occur. He argued paradoxically that motion is not possible, since it appears to happen only between the frozen frames of time instants.1 From the viewpoint of Zeno, the plane of the present would be simply the last and most recent in this sequence of freeze-frames. It would be that frozen instant, spanning the universe, which changes progressively as the instant we call ‘now’ becomes the frozen past and future possibility freezes into the ‘now’ of present reality. We note that the plane of the present as a concept does not resolve the arrow paradox that Zeno raised. It only provides a way of thinking about it. (shrink)