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)

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)

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)

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)

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)

Pragmatism established a philosophical presence over a century ago through the work of Charles Peirce, William James and John Dewey, and has enjoyed an unprecedented revival in recent years owing to the pioneering efforts of Richard Rorty and Hilary Putnam. The essays in this volume explore the history and themes of classic pragmatism, discuss the revival of pragmatism and show how it engages with a range of areas of inquiry including politics, law, education, aesthetics, religion and feminism. Together they provide (...) readers with an overview of the richness and vitality of pragmatist thinking and the influence that it continues to exert both in philosophy and other disciplines. The volume will be of interest to students and scholars of pragmatism, American philosophy and political theory. (shrink)

In a discussion of rule-following inspired by Wittgenstein, Kripke asks us to consider the relation which holds between meaning plus by ‘+’ and answering questions like, ‘What is the sum of 68 and 57?’. A dispositional theory has it that if you mean plus by ‘+’ then you will probably answer, ‘125’. That is because, according to such a theory, to mean plus by ‘+’is, roughly speaking, to be disposed, by and large, and among other things, to answer such questions (...) with the correct sum. Kripke wants to emphasize, by contrast, that if you mean plus by ‘+’ then, faced with the question, ‘What is 68 + 57?’ yououghtto answer, ‘125’. One could sum up the assumption about meaning which appears to underpin this criticism of dispositional theories in terms of the slogan that meaning is normative. Allan Gibbard gives us a way of reading that slogan which is suggested by Kripke's brief remarks:The crux of the slogan that meaning is normative … might be another slogan: thatmeansimpliesought. To use roughly Kripke's example, from statements saying what I mean by the plus sign and other arithmetic terms and constructions, it will follow that Ioughtto answer ‘7’ when asked ‘What's 5 + 2?’. (shrink)

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)

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)

The widespread confusion of Nature with God and "natural" with holy has far-reaching negative consequences, from misinformation about everyday food and health choices to mistaken justifications of sexism, racism, and flawed economic policies.

There has been an upsurge of interest in Rorty's contribution to philosophy in recent years, and his extensive influence is now widely acknowledged. Clear division of RR's work to give people a way in to the study of this wide-ranging philosopher. Five parts dealing with: (1) Rorty's early work (2) key texts (3) Rorty's unique pragmatist approach to key philosophical themes (4) reactions to, and appropriations of, Rorty's work, and (5) a selection of essays dealing with the practical application of (...) Rorty's work to a selection of issues in culture, ethics, and politics. The clear presentation of Rorty's diverse work makes the volume ideal for advanced undergraduate and postgraduate-level courses in philosophy (with strong potential interest from those studying Law, Literature, Feminism and Aesthetics, to name a few). (shrink)

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)

The period following World War Two required a major reassessment of the very nature of political philosophy and political ideas and witnessed the emergence or reemerging of major concepts, such as political freedom, liberty and justice. In this clear and engaging introduction to recent political philosophy Alan Haworth explores the following topics: The philosophical nature of totalitarianism Hannah Arendt's explanation of totalitarianism in the context of Hitler and Stalin's regimes Karl Popper and the idea of the open society The (...) themes of authenticity, freedom and power in the work of Sartre and Foucault The Enlightenment and its relevance to liberalism in post-war political philosophy Rawls and the search for principles of justice Nozick's libertarianism and Sandel's communitarianism Persons, liberty and reason Global justice and the nation state Habermas and the continuation of the Enlightenment project. Haworth skillfully blends assessment of the ideas of important philosophers and political theorists with analysis of fundamental concepts in political philosophy such as freedom, justice and reason, making Political Philosophy After 1945 ideal reading for all students of political philosophy and political theory. (shrink)

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)

It is first shown that, contrary to Maclntyre, human rights are not ‘fictions’. I then summarize my own argument for human rights, and reply to Maclntyre’s objections. Turning to his own positive doctrine, I indicate that it is confronted with ‘the problem of moral indeterminacy’, in that it allows or provides for outcomes which are mutually opposed to one another so far as concerns their moral status. I then take up Maclntyre’s triadic account of the virtues and show that each (...) phase - practice, narrative order of a single life, and moral tradition - is morally indeterminate, as are also his accounts of the morality of law and the virtue of justice. My conclusion is that moral virtues must be based on human rights if the virtues are to have morally justified contents. (shrink)

Business success depends on the ability to build trust. Trusted brands succeed and sustain. Trusted leaders inspire followers, grow companies, revenues, and futures. But sadly, deceit has infected business and become widespread. Far too many leaders now use their own 'alternative facts', to mislead and mis-inform their customers, colleagues, and communities. The skilfulness and ease with which some leaders now lie has become a Lie-Ability. And when customers stop trusting the products, services, or the stories a leader tells, then the (...) business suffers. If business leaders don't lead a truth renaissance, we are all lost. People no longer trust politicians or the media. And many of the institutions and professions we used to turn to have also lost trust. The only people that can really save us now are business leaders. We need to become truth advocates and activists. We must re-establish a new norm where we tell the truth to ourselves, to our employees, to our shareholders, to our customers and to society at large. This book explores the 7 Deadly Lies that business tells itself, the 7 Dark Arts of Deception that are still used with monotonous regularity to manipulate the narrative. We offer C-suite leaders and senior managers a clear path out of deceit. We offer a solution to the Lie-Ability of some leaders by developing a deeper understanding of truth, how to reclaim it and how to build back trust. (shrink)

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.

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...

This essay examines and compares two paradigms of technology, nature, and social life, and their associated environmental impacts. I explore moving from technocratic paradigms to the emerging ecological paradigms of planetary person ecosophies. The dominant technocratic philosophy's guiding policy and technological power is mechanistic. It conceptualizes nature as a resource to be controlled for human ends. Its global practices are drastically altering the integrity of the planet's ecosystems. In contrast, the organic, planetary person approaches respect the intrinsic values of all (...) beings. Deep ecology movement principles give priority to community and ecosystem integrity. These deep ecology movement principles guide the design and applications of technology by principles following from ecological understanding. I describe this shift in philosophical paradigms and how it affects our perceptions, values, and actions. (shrink)

According to finite frequentism, the probability of an attribute A in a finite reference class B is the relative frequency of actual occurrences of A within B. I present fifteen arguments against this position.