Alan Robinson This set of essays pays tribute to Bob Kowalski on his 60th birthday, an anniversary which gives his friends and colleagues an excuse to celebrate his career as an original thinker, a charismatic communicator, and a forceful intellectual leader. The logic programming community hereby and herein conveys its respect and thanks to him for his pivotal role in creating and fostering the conceptual paradigm which is its raison d’Œtre. The diversity of interests covered here reflects the variety (...) of Bob’s concerns. Read on. It is an intellectual feast. Before you begin, permit me to send him a brief personal, but public, message: Bob, how right you were, and how wrong I was. I should explain. When Bob arrived in Edinburgh in 1967 resolution was as yet fairly new, having taken several years to become at all widely known. Research groups to investigate various aspects of resolution sprang up at several institutions, the one organized by Bernard Meltzer at Edinburgh University being among the first. For the half-dozen years that Bob was a leading member of Bernard’s group, I was a frequent visitor to it, and I saw a lot of him. We had many discussions about logic, computation, and language. (shrink)

In this paper we explore the thesis that the role of argumentation in practical reasoning in general and legal reasoning in particular is to justify the use of defeasible rules to derive a conclusion in preference to the use of other defeasible rules to derive a conflicting conclusion. The defeasibility of rules is expressed by means of non-provability claims as additional conditions of the rules.We outline an abstract approach to defeasible reasoning and argumentation which includes many existing formalisms, including default (...) logic, extended logic programming, non-monotonic modal logic and auto-epistemic logic, as special cases. We show, in particular, that the admissibility semantics for all these formalisms has a natural argumentation-theoretic interpretation and proof procedure, which seem to correspond well with informal argumentation. (shrink)

Monomodal logic has exactly two maximally normal logics, which are also the only quasi-normal logics that are Post complete, and they are complete for validity in Kripke frames. Here we show that addition of a propositional constant to monomodal logic allows the construction of continuum many maximally normal logics that are not valid in any Kripke frame, or even in any complete modal algebra. We also construct continuum many quasi-normal Post complete logics that are not normal. The set of extensions (...) of S4.3 is radically altered by the addition of a constant: we use it to construct continuum many such normal extensions of S4.3, and continuum many non-normal ones, none of which have the finite model property. But for logics with weakly transitive frames there are only eight maximally normal ones, of which five extend K4 and three extend S4. (shrink)

Monomodal logic has exactly two maximally normal logics, which are also the only quasi-normal logics that are Post complete, and they are complete for validity in Kripke frames. Here we show that addition of a propositional constant to monomodal logic allows the construction of continuum many maximally normal logics that are not valid in any Kripke frame, or even in any complete modal algebra. We also construct continuum many quasi-normal Post complete logics that are not normal. The set of extensions (...) of S4.3 is radically altered by the addition of a constant: we use it to construct continuum many such normal extensions of S4.3, and continuum many non-normal ones, none of which have the finite model property. But for logics with weakly transitive frames there are only eight maximally normal ones, of which five extend K4 and three extend S4. (shrink)

These two volumes collect papers presented at the first joint meeting of the two principal logic programming conferences, held in August of 1988. The more than fifty contributions cover all aspects of the field, including applications (particularly those that exploit the unique character of logic programming), the role of logic programming in artificial intelligence, deductive databases, relations to other computational paradigms, language issues, methodology, implementations on sequential and parallel architectures, and theory.Logic Programming is included in the Logic Programming series Research (...) Reports and Notes, edited by Ehud Shapiro. (shrink)

In this paper, we present an informal introduction to Logical English and illustrate its use to standardise the legal wording of the Automatic Early Termination clauses of International Swaps and Derivatives Association Agreements. LE can be viewed both as an alternative to conventional legal English for expressing legal documents, and as an alternative to conventional computer languages for automating legal documents. LE is a controlled natural language, which is designed both to be computer-executable and to be readable by English speakers (...) without special training. The basic form of LE is syntactic sugar for logic programs, in which all sentences have the same standard form, either as rules of the form conclusion if conditions or as unconditional sentences of the form conclusion. However, LE extends normal logic programming by introducing features that are present in other computer languages and other logics. These features include typed variables signalled by common nouns, and existentially quantified variables in the conclusions of sentences signalled by indefinite articles. Although LE translates naturally into a logic programming language such as Prolog or ASP, it can also serve as a neutral standard, which can be compiled into other lower-level computer languages. (shrink)

Formalising deontic concepts, such as obligation, prohibition and permission, is normally carried out in a modal logic with a possible world semantics, in which some worlds are better than others. The main focus in these logics is on inferring logical consequences, for example inferring that the obligation O q is a logical consequence of the obligations O p and O. In this paper we propose a non-modal approach in which obligations are preferred ways of satisfying goals expressed in first-order logic. (...) To say that p is obligatory, but may be violated, resulting in a less than ideal situation s, means that the task is to satisfy the goal p ∨ s, and that models in which p is true are preferred to models in which s is true. Whereas, in modal logic, the preference relation between possible worlds is part of the semantics of the logic, in this non-modal approach, the preference relation between first-order models is external to the logic. Although our main focus is on satisfying goals, we also formulate a notion of logical consequence, which is comparable to the notion of logical consequence in modal deontic logic. In this formalisation, an obligation O p is a logical consequence of goals G, when p is true in all best models of G. We show how this non-modal approach to the treatment of deontic concepts deals with problems of contrary-to-duty obligations and normative conflicts, and argue that the approach is useful for many other applications, including abductive explanations, defeasible reasoning, combinatorial optimisation, and reactive systems of the production system variety. (shrink)

The authors describe a logic programming approach to the representation of legislative texts. They consider the potential uses of simple systems which incorporate a single, fixed interpretation of a text. These include assisting in the routine administration of complex areas of the law. The authors also consider the possibility of constructing more complex systems which incorporate several, possibly conflicting interpretations. Such systems are needed for dealing with ambiguity and vagueness in the law. Moreover, they are more suitable than single interpretation (...) systems for helping to test proposed legislation and for helping to give citizens advice. (shrink)

The concept of "terrorism" is problematized and argued to be at one end of a continuum of behavior that can be characterized as "compulsion." This approach to conflict is explained in terms of Transactional Analysis and the inadequacy of compulsion as a means of managing human affairs (politics) is explored in relation to the use of power that it requires, and to the responses it generates. An alternative behavior, based on "turning the other cheek" and Satyagraha (confronting), is advocated in (...) the expectation that it will prove more fruitful in managing conflict and reducing terrorist outrages. (shrink)

Three out of five paradoxes previously identified within international development are considered to be the core challenges to professional practice and congruence. The first, that of fostering autonomy, is considered from the perspective of the role that language plays in maintaining inappropriate donor ascendancy taking the concept of participation as an exemplar. The second, based in determinism and free will, is discussed in terms of the gap between practitioners’ espoused theory and theory-in-use that creates a syndrome of dissonance that undermines (...) practice by elevating the importance of techne above phronesis and exemplified in the practice of planning. The third, where help appears as a threat, is discussed in terms of the moral hazard and the failure to distinguish need from deficiency, linked to humanitarian assistance and development assistance. (shrink)

The paper explores the Epigenic Paradox wherein agents of development are inextricable tangled up in the social systems that they both inhabit and co-create. Furthermore, Paulo Freire had maintained that the oppressed should be self-emancipated, which generates a most perplexing paradox of development; the primacy of the individual agent or the social structure? Thus an individual or agent is momentarily able to act in ways that maintain the social structures or indeed that call their existence into question, but then has (...) been and is subject to the influence of those very social structures. This paradox finds further expression in the concepts of identity, labeling and stigma. The latter two become substantial issues in regard to the impact that the protagonists of development can have on the marginalized. This management of stigma is further complicated by the imposed requirement on the labeled to respond to their situation and to interact with the agents of ‘benevolence’ and yet strive to avoid giving endorsement thereby to the labeling bestowed by those significant others. The link between self-emancipation and the definition of development as the promotion of autonomy and self-determination is discussed. The concept of a ‘developed’ country is becoming synonymous with a ‘democratic’ country, and ‘development’ has been supplanted by ‘democratization’. However, the true paradox of democracy is that a democracy can only be sustained in the face of alternative social configurations by the willingness of individuals to forego their individual interest in favour of the group interest. (shrink)

Development is permeated by paradoxes. These are primarily the result of a confusion of logical types that characterises human communication. When these paradoxes are turned into double binds they have a distinctly disabling impact upon the partners and the processes of development. The two main causes of double binds are an inability to withdraw from the no win choices of paradox, and an interdiction against discussing the existence of the paradox. A number of examples of double binds in development and (...) their causes are discussed and a series of suggestions to improve the practices of development are made. (shrink)

Attempting to reconcile a robust sense of human freedom with entrenched Church doctrines, Luis de Molina espoused for the first time a complete formulation of the doctrine of divine middle knowledge. However, it immediately sparked vigorous theological and philosophical debate. The debate has been revived, with Robert Adams as the original leading opponent. Adams’s objection is that the doctrine cannot be true since its (alleged) propositional objects lack the requisite metaphysical grounds for their being true. Breaking with many contemporary (...) Molinists, I offer reasons for rejecting popular counterfactual semantics as a means to assess “conditionals of freedom.” I then discuss an alternative way to assess “conditionals of freedom” inspired by Suárez and revived by Richard Gaskin, anticipate an objection to it and argue that it is not as damaging as it first seems. I conclude that a Molinist can respond to Adams-type objections without relying upon popular semantics. (shrink)

Contemporary commentators on Hume's essay, ‘Of miracles’ have increasingly tended to argue that Hume never intended to suggest that testimonial evidence must always be insufficient to justify belief in a miracle. This is in marked contrast to earlier commentators who interpreted Hume as intending to demonstrate that testimonial evidence is incapable in principle of ever establishing rational belief in a miracle. In this article I argue that this traditional interpretation is the correct one.

In his paper ‘Miracles: metaphysics, physics, and physicalism’, 1 Kirk McDermid appears to have two primary goals. The first is to demonstrate that my account of how God might produce a miracle without violating any laws of nature is radically flawed. The second is to suggest two alternative accounts, one suitable for a deterministic world, one suitable for an indeterministic world, which allow for the occurrence of a miracle without violation of the laws of nature, yet do not suffer from (...) the defects of what McDermid terms the ‘Larmerian’ model. I briefly describe my model, reply to McDermid's criticism of it, and evaluate his alternative accounts. (shrink)

Who is recognised as a philosopher and what counts as philosophy influence both the content of a philosophical education and academic philosophy’s continuing demographic skew. The “philosophical who” and the “philosophical what” themselves are a partial function of matters that have been passed over in collective silence, even if that now feels to some like a silence belonging to the distant past. This paper discusses some philosophical silences regarding race, gender, and disability in the context of reflection on philosophical education (...) and on philosophical practice in the public sphere. It focuses on Charles Mills’ writings on race, Susan Babbitt’s on race and gender, and on more collaboratively-generated work on eugenics and disability. (shrink)

The purpose of this paper is to clear up the long-standing veritable mountain of misinterpretation, perpetuated from critic to critic, concerning the admittedly problematic concept of self-authenticating religious experience. While it may well be the case, as many have argued, that a sort of ‘experience’ about which one could not be mistaken is simply a logically impossible state of affairs, this cannot be known to be the case so long as what is under attack is a bogus concept, obviously absurd, (...) having nothing whatsoever to do with the correct interpretation of ‘self-authentication’. Hence, my mission herein is essentially that of philosophical analysis or clarification of meaning. Only upon suitable clarification of this concept will we be in a position to consider the question of its possible application, i.e. whether or not there could be an instantiation of such experience. I might point out that my central concern is somewhat more explicatory than historical, though I believe that the account developed in this paper is essentially congenial with the intent of those who have been proponents of the view that there can be self-authenticating religious experience. Let us begin, then, by turning to some representative criticism of the concept in question. (shrink)

To the extent that Mircea Eliade is concerned with millenarianism he is concerned with it as only an instance of religious phenomena generally and is concerned with its meaning rather than its cause. Yet presupposed in the meaning he finds is a theory of its cause, and that theory is worth examining both because it elucidates Eliade's approach to religion as a whole and because as an explanation of millenarianism it is atypical and even unique.

In Anselm's Discovery , Professor Hartshorne makes the rather startling and counterintuitive claim that ‘…there is indeed no issue between theism and pantheism. We all exist in the divine being, as St Paul said.’ 1 Classical or orthodox theists, it seems eminently fair to say, can be expected to recoil from any such suggestion with more than a little indignation. First of all, it might well be objected that Hartshorne - as a ‘process theist’ - is not a classical theist, (...) and, consequently, while there may be no issue between pantheism and his brand of theism, such is simply not the case in so far as classical theism is concerned. According to the latter - in contradistinction, of course, to Hartshorne's ‘neoclassical theism’ - immutability is an ‘essential’ property of God; as such, it would be a conceptual error to ascribe any contingent states to God at all. Now as is well known by philosophers of religion, Hartshorne regards this immutability doctrine of classical theism as a serious ‘logical blunder’ , one which - in so far as it reflects the ‘Greek bias’ which has always identified perfection with the absolutely unchangeable - is profoundly distortive of the biblical concept of Deity. (shrink)

I am grateful to Philip Quinn for his thorough and penetrating critique of my paper on classical theism and pantheism. He has given me much to think about, and it would be philosophically remiss of me not to acknowledge that – in the light of his remarks – the argument which I employed in defence of the thesis that classical theism implies a version of pantheism might well benefit from some amendment. However, the purpose of this brief counter-rejoinder is to (...) establish that the nexus of my argument has emerged from his commentary in reasonably robust health, i.e., to demonstrate that if the argument of my former paper is to be rejected, it will take something more than Professor Quinn's critique to make that clear. Very concisely, then, my response is as follows: At a preliminary point, Professor Quinn claims that my argument ‘merits careful scrutiny’ because, if it succeeds, ‘something shockingly at variance with received views’ will have been established . I find this to be somewhat odd. For it seems clear that St Paul was a ‘classical theist’, indeed a very special one in so far as the shaping of Christian theism is concerned. And while his famous and oftcited dictum that God is the One in Whom ‘we live, move, and have our being’ may be such that it is permissible to construe it in ways which do not imply any version of pantheism, it clearly seems unjustified to maintain that pantheistic doctrines are ‘shockingly at variance’ with that most intriguing statement of St Paul's. (shrink)

This open-access editorial discusses confronting silences in different disciplinary contexts, such as science and technology studies, cultural anthropology, and philosophy. It has a focus on race and concludes with thoughts about Indigenous expertise, the Australian referendum on the Indigenous Voice, to parliament, and racism.

This book presents the major teachings of Mahāyāna Buddhism in a precise, dramatic, and even humorous form. For two millennia this Sūtra, called the “jewel of the _Mahāyāna Sūtras_,” has enjoyed immense popularity among Mahāyāna Buddhists in India, central and southeast Asia, Japan, and especially China, where its incidents were the basis for a style in art and literature prevalent during several centuries. Robert Thurman’s translation makes available in relatively nontechnical English the Tibetan version of this key Buddhist scripture, (...) previously known to the English-speaking world only through translations from Chinese texts. The _Tibetan_ version is generally conceded to be more faithful to the original Sanskrit than are the Chinese texts. The Tibetan version also is clearer, richer, and more precise in its philosophical and psychological expression. The twelve books of the Sūtra are accompanied by an introduction and an epilogue by Dr. Thurman and by three glossaries: Sanskrit terms, numerical categories, and technical terms. (shrink)

Are materially constituted entities, such as statues and glasses of liquid, something more than their material constituents? The puzzle that frames this paper stems from conflicting answers to this question. At the core of the paper is a distinctive way of thinking about material constitution that posits two concepts of constitution, compositional and ampliative constitution, with the bulk of the discussion devoted to developing distinct analyses for these concepts. Distinguishing these concepts solves our initial puzzle and enriches the space of (...) possibilities for constitution views. (shrink)

Quasi-MV algebras are generalisations of MV algebras arising in quantum computational logic. Although a reasonably complete description of the lattice of subvarieties of quasi-MV algebras has already been provided, the problem of extending this description to the setting of quasivarieties has so far remained open. Given its apparent logical repercussions, we tackle the issue in the present paper. We especially focus on quasivarieties whose generators either are subalgebras of the standard square quasi-MV algebra S , or can be obtained therefrom (...) through the addition of some fixpoints for the inverse. (shrink)

This engaging and informative text will hold the attention of students and scholars as they take a journey through time to understand the role that history and philosophy have played in shaping the course of sport and physical education in Western and selected non-Western civilizations. Using appropriate theoretical and interpretive frameworks, students will investigate topics such as the historical relationship between mind and body; what philosophers and intellectuals have said about the body as a source of knowledge; educational philosophy and (...) the value of physical education and/or sport; philosophical positions that have impacted the historical development of sport and physical education; the history of women in sport and physical education; the role and scope of sport and physical education in Ancient Greece and Rome; the Ancient Olympic Games; the relationship between sport and religion in ancient and modern times; the theoretical and professional development of physical education; the rise of sport in modern America; the history and politics of the modern Olympic Games; and the contributions of men, women, and social movements to the development of sport and physical education from ancient times to the modern era. (shrink)

This essay in social and intellectual history advances the thesis that Western social philosophy arose during the disintegration of the ancient Greek and Roman communities and has been preoccupied ever since with the problem of community lost and community to be gained. As the author shows, Western ideas of moral authority, freedom, consensus, and personality take on their distinctive character as aspects of Western man's search tor community. Six major types of community in Western life and thought are distinguished by (...) Professor Nisbet: military, political, religious, revolutionary, ecological, and plural. Each of these is presented as a continuing current in Western history and as a vital context to the central ideas of social philosophy. From Plato and Aristotle down to such moderns as Marx, Tocqueville, Weber, Kropotkin, and Fanon we see the dominant ideas and perspectives of Western thought as responses to conflicts and crises--above all, to those affecting man's perennial quest for community.--From publisher description. (shrink)

This superb collection of papers focuses on a fundamental question in logic and computation: What is a logical system? With contributions from leading researchers--including Ian Hacking, Robert Kowalski, Jim Lambek, Neil Tennent, Arnon Avron, L. Farinas del Cerro, Kosta Dosen, and Solomon Feferman--the book presents a wide range of views on how to answer such a question, reflecting current, mainstream approaches to logic and its applications. Written to appeal to a diverse audience of readers, What is a Logical (...) System? will excite discussion among students, teachers, and researchers in mathematics, logic, computer science, philosophy, and linguistics. (shrink)

Where does the mind begin and end? Most philosophers and cognitive scientists take the view that the mind is bounded by the skull or skin of the individual. Robert Wilson, in this provocative and challenging 2004 book, provides the foundations for the view that the mind extends beyond the boundary of the individual. The approach adopted offers a unique blend of traditional philosophical analysis, cognitive science, and the history of psychology and the human sciences. The companion volume, Genes and (...) the Agents of Life, explores the theme in the biological sciences. Written with verve and clarity, this ambitious book will appeal to a broad swathe of professionals and students in philosophy, psychology, cognitive science, and the history of the behavioural and human sciences. You can download the table of contents here. (shrink)

Despite the fact that the history of eugenics in Canada is necessarily part of the larger history of eugenics, there is a special role for oral history to play in the telling of this story, a role that promises to shift us from the muddled middle of the story. Not only has the testimony of eugenics survivors already played perhaps the most important role in revealing much about the practice of eugenics in Canada, but the willingness and ability of survivors (...) to share their own oral histories makes the situation in western Canada almost unique. Conversely, I also discuss the role that oral history plays in “surviving a eugenic past”, trading on the ambiguity of this phrase to reflect both on the survivorship of those who have been viewed as subhuman via some kind of eugenic lens and on the collective legacy with which Canada’s eugenic past presents us. (shrink)

Examines from the point of view of philosophy a variety of topics, including abortion, war, old age, death, environmentalism, and Christianity.

This is an introductory article on sociobiology, particularly its relationship to eugenics. Sociobiology developed in the 1960s as a field within evolutionary biology to explain human social traits and behaviours. Although sociobiology has few direct connections to eugenics, it shares eugenics’ optimistic enthusiasm for extending biological science into the human domain, often with reckless sensationalism. Sociobiology's critics have argued that sociobiology also propagates a kind of genetic determinism and represents the zealous misapplication of science beyond its proper reach that characterized (...) the eugenics movement. More recently, evolutionary psychology represents a sophistication of sociobiology that attends to the mind as the "missing link" between evolution and behaviour (Cosmides and Tooby 1992, Pinker 1997). (shrink)

Written by the preeminent democratic theorist of our time, this book explains the nature, value, and mechanics of democracy. In a new introduction to this Veritas edition, Ian Shapiro considers how Dahl would respond to the ongoing challenges democracy faces in the modern world. “Within the liberal democratic camp there is considerable controversy about exactly how to define democracy. Probably the most influential voice among contemporary political scientists in this debate has been that of Robert Dahl.”—Marc Plattner, _New York (...) Times_ “An excellent introduction for novices, as well as a trusty handbook for experts and political science mavens.”—_Publishers Weekly_. (shrink)

1. The Situation in Cognition 2. Situated Cognition: A Potted Recent History 3. Extensions in Biology, Computation, and Cognition 4. Articulating the Idea of Cognitive Extension 5. Are Some Resources Intrinsically Non-Cognitive? 6. Is Cognition Extended or Only Embedded? 7. Letting Nature Take Its Course.