Theorems in automated theorem proving are usually proved by formal logical proofs. However, there is a subset of problems which humans can prove by the use of geometric operations on diagrams, so called diagrammatic proofs. Insight is often more clearly perceived in these proofs than in the corresponding algebraic proofs; they capture an intuitive notion of truthfulness that humans find easy to see and understand. We are investigating and automating such diagrammatic reasoning about mathematical theorems. Concrete, rather than general diagrams (...) are used to prove particular concrete instances of the universally quantified theorem. The diagrammatic proof is captured by the use of geometric operations on the diagram. These operations are the inference steps of the proof. An abstracted schematic proof of the universally quantified theorem is induced from these proof instances. The constructive -rule provides the mathematical basis for this step from schematic proofs to theoremhood. In this way we avoid the difficulty of treating a general case in a diagram. One method of confirming that the abstraction of the schematic proof from the proof instances is sound is proving the correctness of schematic proofs in the meta-theory of diagrams. These ideas have been implemented in the system, called Diamond, which is presented here. (shrink)

The concept of virtual machine allows us to combine the dynamical and computational hypotheses in an investigation of cognition. Van Gelder explicitly rejects this approach, but not only does it allow us to use the modelling technique most appropriate to the task, it also opens up a new range of phenomena where these techniques interact.

I propose to consider the question, "Can machines think?" This should begin with definitions of the meaning of the terms "machine" and "think." The definitions might be framed so as to reflect so far as possible the normal use of the words, but this attitude is dangerous, If the meaning of the words "machine" and "think" are to be found by examining how they are commonly used it is difficult to escape the conclusion that the meaning and the answer to (...) the question, "Can machines think?" is to be sought in a statistical survey such as a Gallup poll. But this is absurd. Instead of attempting such a definition I shall replace the question by another, which is closely related to it and is expressed in relatively unambiguous words. The new form of the problem can be described in terms of a game which we call the 'imitation game." It is played with three people, a man (A), a woman (B), and an interrogator (C) who may be of either sex. The interrogator stays in a room apart front the other two. The object of the game for the interrogator is to determine which of the other two is the man and which is the woman. He knows them by labels X and Y, and at the end of the game he says either "X is A and Y is B" or "X is B and Y is A." The interrogator is allowed to put questions to A and B. We now ask the question, "What will happen when a machine takes the part of A in this game?" Will the interrogator decide wrongly as often when the game is played like this as he does when the game is played between a man and a woman? These questions replace our original, "Can machines think?". (shrink)

This article describes a quantitative examination of corporate volunteering research in the form of a bibliometric analysis. Using author, journal, geography, epistemological, and industry data from 115 refereed and 445 non-refereed publications published during 1990–2015, we identify corporate volunteering as a rather young research field. Although the field has progressively developed, it is still limited in magnitude, with recent signs of stagnation. The current state is characterized by moderate publication and author activity rates, with a shift toward more peer-reviewed publications (...) conducted in coauthorship, mostly in the disciplines of business, management, and ethics; a focus on financial services as well as the professional service sector; few high-impact studies; and a narrow geographic spread, with North America as the market leader and a rising interest in Western European countries. Findings on the field's prevalent research orientation further indicate a strong employee-centered focus emphasizing the underlying business case. However, in contrast to the overarching concept of corporate social responsibility research, a relatively large share of the corporate volunteering literature also addresses society-related issues, namely, corporates' relationship with non-profits. (shrink)

What is the basis for arguing that a volunteer army exploits citizens who lack civilian career opportunities? How do we determine that a doctor who has sex with his patients is exploiting them? In this book, Alan Wertheimer seeks to identify when a transaction or relationship can be properly regarded as exploitative--and not oppressive, manipulative, or morally deficient in some other way--and explores the moral weight of taking unfair advantage. Among the first political philosophers to examine this important topic (...) from a non-Marxist perspective, Wertheimer writes about ordinary experience in an accessible yet philosophically penetrating way. He considers whether it is seriously wrong for a party to exploit another if the transaction is consensual and mutually advantageous, whether society can justifiably prohibit people from entering into such a transaction, and whether it is wrong to allow oneself to be exploited. Wertheimer first considers several contexts commonly characterized as exploitive, including surrogate motherhood, unconscionable contracts, the exploitation of student athletes, and sexual exploitation in psychotherapy. In a section outlining his theory of exploitation, he sets forth the criteria for a fair transaction and the point at which we can properly say that a party has consented. Whereas many discussions of exploitation have dealt primarily with cases in which one party harms or coerces another, Wertheimer's book focuses on what makes a mutually advantageous and consensual transaction exploitive and analyzes the moral and legal implications of such exploitation. (shrink)

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)

Introduction: Natural necessity, being, and becoming -- Accentuate the negative -- Diffracting dialectic -- Opening totality -- Constellating ethics -- Metacritique I : philosophy's primordial failing -- Metacritique II : dialectic and difference -- Conclusion: Natural necessity and the grounds of justice : natural necessity as material meshwork.

Sport categorization is often justified by benefits such as increased fairness or inclusion. Taking inspiration from John Rawls, Sigmund Loland’s fair equality of opportunity principle in sport (FEOPs) is a tool for determining whether the existence of an inequality ethically justifies the institution of a new category in any given sport. It is an elegant ethical normative framework, but since FEOPs does not account explicitly for athlete safety (i.e. athlete physical and mental wellbeing), we are left in an ethically dubious (...) situation where the risk of harm associated with a categorization regime might in fact prove to be greater than the risk of harm present within the sport before its introduction. To address this critical gap, I propose the ‘scales of ignorance’ ethical normative framework to weigh the relative risk of harm within a sport, crucially inserting athlete safety into the discourse surrounding ethical justification for categorization in sport. The current paper is the first explicit formulation of assessment and ethical justification of risk of harm in the familiar logic of FEOPs. The scales of ignorance framework can also be used independently of Loland’s approach. Two new concepts are also proposed: ‘insidious risk of harm’ and ‘pernicious risk of harm’. (shrink)

Explores language and mysticism, Buddhism and Zen, Christianity, comparative religion, psychedelics, and psychology and psychotherapy. Gold Winner for Philosophy, 2017 Foreword INDIES Book of the Year Awards To commemorate the 2015 centenary of the birth of Alan Watts (1915–1973), Peter J. Columbus and Donadrian L. Rice have assembled a much-needed collection of Watts’s scholarly essays and lectures. Compiled from professional journals, monographs, scholarly books, conferences, and symposia proceedings, the volume sheds valuable light on the developmental arc of Watts’s thinking (...) about language and mysticism, Buddhism and Zen, Christianity, comparative religion, psychedelics, and psychology and psychotherapy. This definitive collection challenges Watts’s reputation as a “popularizer” or “philosophical entertainer,” revealing his concerns to be much more expansive and transdisciplinary than is suggested by the parochial “Zen Buddhist” label commonly affixed to his writings. The editors’ authoritative introduction elucidates contemporary perspectives on Watts’s life and work, and supports a bold rethinking of his contributions to psychology, philosophy, and religion. Peter J. Columbus is Administrator of the Shantigar Foundation in Rowe, Massachusetts. Donadrian L. Rice is Professor of Psychology at the University of West Georgia. Together they are the coeditors of Alan Watts—Here and Now: Contributions to Psychology, Philosophy, and Religion, also published by SUNY Press. (shrink)

Olav Gjelsvik: Quine on Observationality: This chapter discusses the role of the observationality of objects in Quine's philosophy. It does it by providing an overview of some of the milestones in Quine's thoughts about observation and observation sentences, and in connection with each milestone it identifies some of the philosophical problems Quine responds to and deals with. To help us understand how his thinking developed, the chapter discusses some of these problems and evaluates his responses. The final part discusses both (...) details and the bigger picture, partly by relating Quine to philosophers before him and after him. (shrink)

When does a woman give valid consent to sexual relations? When does her consent render it morally or legally permissible for a man to have sexual relations with her? Why is sexual consent generally regarded as an issue about female consent? And what is the moral significance of consent? These are some of the questions discussed in this important book, which will appeal to a wide readership in philosophy, law, and the social sciences. Alan Wertheimer develops a theory of (...) consent to sexual relations that applies to both law and morality in the light of the psychology of sexual relations, the psychology of perpetrators, and the psychology of the victims. He considers a wide variety of difficult cases such as coercion, fraud, retardation, and intoxication. We can all agree that 'no' means 'no'. This book suggests that the difficult question is whether 'yes' means 'yes'. (shrink)

This paper lays out the basic structure of any view involving coincident entities, in the light of the grounding problem. While the account is not novel, I highlight fundamental features, to which attention is not usually properly drawn. With this in place, I argue for a number of further claims: The basic differences between coincident objects are modal differences, and any other differences between them need to be explained in terms of these differences. More specifically, the basic difference is not (...) a difference in sort. A number of recent defenses of coincidence, which share the basic structure I outline, misidentify what, in their accounts, plays the basic role of addressing the grounding problem. More tentatively, I argue Coincident entities differ only in these modal properties, and properties they entail. In particular, they do not differ in properties like ‘being a tree,’ ‘being a statue,’ or aesthetic properties, and finally in light of how the account of coincidence offered addresses the grounding problem, the grounding problem provides no reason to prefer monism to pluralism. (shrink)

The correspondence of a one-of-a-kind spiritual maverick who continues to influence thinkers of all stripes.

This introductory textbook is an overview of the nature and the ethics of the many aspects of sex and love"--Provided by publisher.

Abstract This paper examines the treatment of thick ethical concepts in Williams's work in order to evaluate the consistency of his treatment of ethical and epistemic concepts and to assess whether the idea of a thick concept can be extended from ethics to epistemology. A virtue epistemology is described modeled on a cognitivist virtue ethics. Williams's genealogy of the virtues surrounding propositional knowledge (the virtues of ?truthfulness?) is critically evaluated. It is concluded that this genealogy is an important contribution to (...) the project of virtue epistemology. Thick concepts must not only feature in the account but will sustain more of the marks of objectivity than their ethical counterparts. This is so even on Williams's demanding assumptions. (shrink)

Though less well known than his other work, Turings 1938 Princeton Thesis, this title which includes his notion of an oracle machine, has had a lasting influence on computer science and mathematics. It presents a facsimile of the original typescript of the thesis along with essays by Appel and Feferman that explain its still-unfolding significance.

Hegel and the Spirit explores the meaning of Hegel's grand philosophical category, the category of Geist, by way of what Alan Olson terms a pneumatological thesis. Hegel's philosophy of spirit, according to Olson, is a speculative pneumatology that completes what Adolf von Harnack once called the "orphan doctrine" in Christian theology--the doctrine of the Holy Spirit. Olson argues that Hegel's development of philosophy as pneumatology originates out of a deep appreciation of Luther's dialectical understanding of Spirit and that Hegel's (...) doctrine of Spirit is thus deeply interfused with the values of Würtemberg Pietism. Olson further maintains that Hegel's Enzyklopdie is the post-Enlightenment philosophical equivalent of a Trinitätslehre and that his Rechtsphilosophie is an ecclesiology. Thus Hegel and the Spirit demonstrates the truth of Karl Barth's observation that Hegel is the potential Aquinas of Protestantism. Exploring Hegel's philosophy of spirit in historical, cultural, and personal religious context, the book identifies Hegel's relationship with Hölderlin and his response to Hölderlin's madness as key elements in the philosopher's religious and philosophical development, especially with respect to the meaning of transcendence and dialectic. (shrink)

A textbook for the undergraduate who is meeting the Lebesgue integral for the first time, relating it to the calculus and exploring its properties before deducing the consequent notions of measurable functions and measure.

This chapter contains sections titled: From Liberalism to Republican Liberalism Cohen's Critique of Rawls A Liberal Republican Political Economy Liberal and Republican Approaches to Effective Political Agency The Republican Alternative Conclusion References.

This parable from the beloved philosopher Alan Watts tells the story of a confused fish who begins to chase his own tail in an effort to keep from falling to the bottom of the ocean. The poor fish becomes more and more anxious and exhausted, until the Great Sea speaks up to remind him of what was supporting him all along. This is a 32-page, fully illustrated picture book with illustrations from award-winning illustrator Khoa Le with a message every (...) bit as relevant now as when it first appeared in a periodical in the 1950s. (shrink)

Angela Ballantyne (2010) argues that international research is exploitative when the transactions between researchers and participants who lack basic goods do not provide participants with the maxi...

BackgroundThe merits and drawbacks of moral relevance models of addiction have predominantly been discussed theoretically, without empirical evidence of these potential effects. This study develops and evaluates a novel survey measure for assessing moral evaluations of patient substance misuse (ME-PSM).MethodsThis measure was tested on 524 health professionals (i.e., physicians, nurses, and other health professionals) in California (n = 173), urban France (n = 102), and urban China (n = 249). Demographic factors associated with ME-PSM were investigated using analyses of variance (...) (ANOVAs) and t-tests, with results suggesting that ME-PSM is higher among younger health professionals, nurses (when compared with physicians and other health professionals), and Chinese health professionals (when compared with French and American health professionals).ResultsResults provide preliminary support for the psychometric quality of the survey measure introduced in this study, including the existence of a single latent structure and partial invariance of collected data across countries.ConclusionThe survey measure for ME-PSM which was developed and tested in the current study appears to hold potential utility for use as a measure of moral views of patient substance misuse. With development, this measure may be used to examine moral evaluations, both as factors of stigma and of other clinical factors associated with the treatment of patients with substance use disorders. (shrink)

Philosopher Alan Watts describes his experiences with consciousness-changing drugs and the levels of insight that they can facilitate, illuminating questions about the nature of existence and the existence of the sacred. Originally published in 1962; new edition includes article on psychedelics written for the California Law Review"--Provided by publisher.