The Fluent Calculus belongs to the established predicate calculus formalisms for reasoning about actions. Its underlying concept of state update axioms provides a solution to the basic representational and inferential Frame Problems in pure first-order logic. Extending a recent research result, we present a Fluent Calculus to reason about domains involving continuous change and where actions occur concurrently.

The present introduction to the Fluent Calculus is intended as an ETAI reference article. It summarizes basic definitions and concepts in the Fluent Calculus, and is intended as a reference for future articles where the calculus is used.

A logic-based approach to the design of computing systems would, undoubtedly, offer many advantages over the imperative paradigm most commonly applied so far for programming and hardware design and, consequently, logic, again and again, has been heralded as the basis for the next generation of computer systems. While logic and formal methods are indeed gaining ground in many areas of computer science and artificial intelligence the expected revolution has not yet happened. In this book the author offers a convincing solution (...) to the ramification problem and qualification problem associated with the frame problem and thus contributes to a satisfactory solution of the core problem and related challenges. Thielscher bases his approach on the fluent calculus, a first-order Prolog-like formalism allowing for the description of actions and change. (shrink)

As a contribution to the challenge of building game-playing AI systems, we develop and analyse a formal language for representing and reasoning about strategies. Our logical language builds on the existing general Game Description Language and extends it by a standard modality for linear time along with two dual connectives to express preferences when combining strategies. The semantics of the language is provided by a standard state-transition model. As such, problems that require reasoning about games can be solved by the (...) standard methods for reasoning about actions and change. We also endow the language with a specific semantics by which strategy formulas are understood as move recommendations for a player. To illustrate how our formalism supports automated reasoning about strategies, we demonstrate two example methods of implementation: first, we formalise the semantic interpretation of our language in conjunction with game rules and strategy rules in the Situation Calculus; second, we show how the reasoning problem can be solved with Answer Set Programming. (shrink)

A general game player automatically learns to play arbitrary new games solely by being told their rules. For this purpose games are specified in the general Game Description Language (GDL), a variant of Datalog with function symbols that uses a few game-specific keywords. A recent extension of basic GDL allows the description of nondeterministic games with any number of players who may have incomplete, asymmetric information. In this paper, we analyse the epistemic structure and expressiveness of this language in terms (...) of modal epistemic logic and prove two main results: (1) The operational semantics of GDL entails that the situation at any stage of a game can be characterised by a multi-agent epistemic (i.e., S5-) model; (2) GDL is sufficiently expressive to model any situation that can be described by a (finite) multi-agent epistemic model. (shrink)

As an extension of the well-known Action Description Language A introduced by M. Gelfond and V. Lifschitz [8] C. Baral and M. Gelfond recently defined the diafect AC which supports the description of concurrent actions [1]. Also, a sound but incomplete encoding of AC by means of an extended logic program was presented there. In this paper, we work on interpretations of contradictory inferences from partial action descriptions. Employing an interpretation different from the one implicitly used in AC, we present (...) a new dialect which allows to infer sound information from contradictory descriptions and to describe non-determinism and uncertainty. Furthermore, we give the first sound and complete encoding of AC, using equational logic programming, and extend it to as well. (shrink)

We are material beings in a material world, but we are also beings who have experiences and feelings. How can these subjective states be just a matter of matter? To defend materialism, philosophical materialists have formulated what is sometimes called "the phenomenal-concept strategy," which holds that we possess a range of special concepts for classifying the subjective aspects of our experiences. In Consciousness Revisited, the philosopher Michael Tye, until now a proponent of the the phenomenal-concept strategy, argues that the (...) strategy is mistaken. A rejection of phenomenal concepts leaves the materialist with the task of finding some other strategy for defending materialism. Tye points to four major puzzles of consciousness that arise: How is it possible for Mary, in the famous thought experiment, to make a discovery when she leaves her black-and-white room? In what does the explanatory gap consist and how can it be bridged? How can the hard problem of consciousness be solved? How are zombies possible? Tye presents solutions to these puzzles -- solutions that relieve the pressure on the materialist created by the failure of the phenomenal-concept strategy. In doing so, he discusses and makes new proposals on a wide range of issues, including the nature of perceptual content, the conditions necessary for consciousness of a given object, the proper understanding of change blindness, the nature of phenomenal character and our awareness of it, whether we have privileged access to our own experiences, and, if we do, in what such access consists. (shrink)

The two dominant theories of consciousness argue it appeared in living beings either suddenly, or gradually. Both theories face problems. The solution is the realization that a foundational consciousness was always here, yet varying conscious states were not, and appeared gradually. Michael Tye explores this idea and the key questions it raises.

In _Reconstructing the Cognitive World_, Michael Wheeler argues that we should turn away from the generically Cartesian philosophical foundations of much contemporary cognitive science research and proposes instead a Heideggerian approach. Wheeler begins with an interpretation of Descartes. He defines Cartesian psychology as a conceptual framework of explanatory principles and shows how each of these principles is part of the deep assumptions of orthodox cognitive science. Wheeler then turns to Heidegger's radically non-Cartesian account of everyday cognition, which, he argues, (...) can be used to articulate the philosophical foundations of a genuinely non-Cartesian cognitive science. Finding that Heidegger's critique of Cartesian thinking falls short, even when supported by Hubert Dreyfus's influential critique of orthodox artificial intelligence, Wheeler suggests a new Heideggerian approach. He points to recent research in "embodied-embedded" cognitive science and proposes a Heideggerian framework to identify, amplify, and clarify the underlying philosophical foundations of this new work. He focuses much of his investigation on recent work in artificial intelligence-oriented robotics, discussing, among other topics, the nature and status of representational explanation, and whether cognition is computation rather than a noncomputational phenomenon best described in the language of dynamical systems theory. Wheeler's argument draws on analytic philosophy, continental philosophy, and empirical work to "reconstruct" the philosophical foundations of cognitive science in a time of a fundamental shift away from a generically Cartesian approach. His analysis demonstrates that Heideggerian continental philosophy and naturalistic cognitive science need not be mutually exclusive and shows further that a Heideggerian framework can act as the "conceptual glue" for new work in cognitive science. (shrink)

In Unnatural Doubts, Michael Williams constructs a masterly polemic against the very idea of epistemology, as traditionally conceived.

Inspired by the work of Wilfrid Sellars, Michael Williams launches an all-out attack on what he calls "phenomenalism," the idea that our knowledge of the world rests on a perceptual or experiential foundation.

Was leistete der Gedanke der selbstandigen Auswahl (Eklektik) in der Geschichte der Philosophie von Aristoteles bis zum 20. Jahrhundert, wo liegen die Anwendungsgebiete, wo seine Grenzen und warum kam der Begriff der Eklektik schon im 18. Jahrhundert zur Bezeichnung unselbstandiger Vermischung herunter? Der Schwerpunkt der umfangreichen Arbeit liegt in der Philosophie und Naturwissenschaft des 17. Jahrhunderts; sie reicht aber bis zur eklektischen Psychotherapie der Gegenwart.

A consideration of some of the most common questions about animal minds.Do birds have feelings? Can fish feel pain? Could a honeybee be anxious? For centuries, the question of whether or not animals are conscious like humans has prompted debates among philosophers and scientists. While most people gladly accept that complex mammals - such as dogs - share emotions and experiences with us, the matter of simpler creatures is much less clear. Meanwhile, the advent of the digital age and artificial (...) intelligence has created an added dimension to questions about non-human consciousness. In Tense Bees and Shell-Shocked Crabs, Michael Tye offers answers to some of today's most pressing questions about nonhuman consciousness. Blending the latest research about animal sensation with theories about the nature of consciousness, Tye develops a methodology for addressing the mysteries of the animal mind. Without endorsing any specific theory on the nature of consciousness, Tye tackles issues such as the animal experience of pain and fear, and the role of brain anatomy in determining consciousness. He then turns his attention to the artificial realm, considering whether complex robots could ever be considered conscious. Tye concludes with a discussion of how, if we consider animals conscious, this might impact our ethical obligations to them. From insects to crabs, fish to birds, Tense Bees and Shell-Shocked Crabs offers an insightful exploration of the ways in which animals relate to the world. Tense Bees and Shell-Shocked Crabs will appeal to students and scholars of philosophy and neuroscience, as well as general readers with an interest in animal and environmental ethics. (shrink)

The Chomskian revolution in linguistics gave rise to a new orthodoxy about mind and language. Michael Devitt throws down a provocative challenge to that orthodoxy. What is linguistics about? What role should linguistic intuitions play in constructing grammars? What is innate about language? Is there a 'language faculty'? These questions are crucial to our developing understanding of ourselves; Michael Devitt offers refreshingly original answers. He argues that linguistics is about linguistic reality and is not part of psychology; that (...) linguistic rules are not represented in the mind; that speakers are largely ignorant of their language; that speakers' intuitions do not reflect information supplied by the language faculty and are not the main evidence for grammars; that the rules of 'Universal Grammar' are largely, if not entirely, innate structure rules of thought; indeed, that there is little or nothing to the language faculty. Devitt's controversial theses will prove highly stimulating to anyone working on language and the mind. (shrink)

_Paradoxes from A to Z, Third edition_ is the essential guide to paradoxes, and takes the reader on a lively tour of puzzles that have taxed thinkers from Zeno to Galileo, and Lewis Carroll to Bertrand Russell. Michael Clark uncovers an array of conundrums, such as Achilles and the Tortoise, Theseus’ Ship, and the Prisoner’s Dilemma, taking in subjects as diverse as knowledge, science, art and politics. Clark discusses each paradox in non-technical terms, considering its significance and looking at (...) likely solutions. This third edition is revised throughout, and adds nine new paradoxes that have important bearings in areas such as law, logic, ethics and probability. Paradoxes from A to Z, Third edition is an ideal starting point for those interested not just in philosophical puzzles and conundrums, but anyone seeking to hone their thinking skills. (shrink)

Published very shortly before his death in February 1976, Meaning is the culmination of Michael Polanyi's philosophic endeavors.

Three leading philosopher-logicians present a clear and concise overview of formal theories of truth, explaining key logical techniques. Truth is as central topic in philosophy: formal theories study the connections between truth and logic, including the intriguing challenges presented by paradoxes like the Liar.

Michael Wedin argues against the prevailing notion that Aristotle's views on the nature of reality are fundamentally inconsistent. According to Wedin's new interpretation, the difference between the early theory of the Categories and the later theory of the Metaphysics reflects the fact that Aristotle is engaged in quite different projects in the two works--the earlier focusing on ontology, and the later on explanation.

There is currently an explosion of interest in grounding. In this article we provide an overview of the debate so far. We begin by introducing the concept of grounding, before discussing several kinds of scepticism about the topic. We then identify a range of central questions in the theory of grounding and discuss competing answers to them that have emerged in the debate. We close by raising some questions that have been relatively neglected but which warrant further attention.

Michael J. Loux here presents a fresh reading of two of the most important books of the Metaphysics, Books Z and H, in which Aristotle presents his mature ...

In this provocative book, Michael Tye presents his unique account of the metaphysical foundations of psychological discourse. In place of token identity theory or eliminative materialism, he advocates a generalisation of the adverbial approach to sensory experience, the 'operator theory'. He applies this to the analysis of prepositional attitudes, arguing that mental statements cannot involve reference to mental events or objects and that therefore causal statements about the mental cannot be regarded as asserting relations between events. This adverbial theory (...) has the virtue of being both simple and systematic and is an important contribution to the philosophy of mind. (shrink)

The idea of a virtue has traditionally been important in ethics, but only recently has gained attention as an idea that can explain how we ought to form beliefs as well as how we ought to act. Moral philosophers and epistemologists have different approaches to the idea of intellectual virtue; here, Michael DePaul and Linda Zagzebski bring work from both fields together for the first time to address all of the important issues. It will be required reading for anyone (...) working on either side of the debate. (shrink)

Possibility offers a new analysis of the metaphysical concepts of possibility and necessity, one that does not rely on any sort of "possible worlds." The analysis proceeds from an account of the notion of a physical object and from the positing of properties and relations. It is motivated by considerations about how we actually speak of and think of objects. Michael Jubien discusses several closely related topics, including different purported varieties of possible worlds, the doctrine of "essentialism," natural kind (...) terms and alleged examples of necessity a posteriori. The book also offers a new theory of the functioning of proper names, both actual and fictional, and the discussion of natural kind terms and necessity a posteriori depends in part on this theory. (shrink)

What is knowledge? What, if anything, can we know? Michael Ayers initiates a fresh approach to these questions by recovering the insight in the distinction between 'knowledge' and 'belief' that was common philosophical currency for two millennia after Plato. He argues that knowledge comes only with direct cognitive contact with reality or truth.

Theorizing in ecology and evolution often proceeds via the construction of multiple idealized models. To determine whether a theoretical result actually depends on core features of the models and is not an artifact of simplifying assumptions, theorists have developed the technique of robustness analysis, the examination of multiple models looking for common predictions. A striking example of robustness analysis in ecology is the discovery of the Volterra Principle, which describes the effect of general biocides in predator-prey systems. This paper details (...) the discovery of the Volterra Principle and the demonstration of its robustness. It considers the classical ecology literature on robustness and introduces two individual-based models of predation, which are used to further analyze the Volterra Principle. The paper also introduces a distinction between parameter robustness, structural robustness, and representational robustness, and demonstrates that the Volterra Principle exhibits all three kinds of robustness. *Received September 2006; revised May 2007. ‡Earlier versions of this paper were presented at the Australasian Association of Philosophy, the London School of Economics, and the University of Bristol. The authors wish to thank those audiences as well as Patrick Forber, Ken Waters, Deena Skolnick Weisberg, Uri Wilensky, and Bill Wimsatt for many helpful comments. Special thanks to Giacomo Sillari for his assistance in translating Volterra's original paper and his insightful thoughts about Volterra's aims and methods. Some of the research in this paper was supported by NSF grant SES-0620887 to MW. †To contact the authors, please write to: Michael Weisberg, Department of Philosophy, University of Pennsylvania, 433 Logan Hall, Philadelphia, PA 19104; e-mail: [email protected]; Kenneth Reisman, Pluribo, Inc., 100 Park Avenue, Suite 1600, New York, NY 10017; e-mail: [email protected]. (shrink)

What are biological species? Aristotelians and Lockeans agree that they are natural kinds; but, evolutionary theory shows that neither traditional philosophical approach is truly adequate. Recently, Michael Ghiselin and David Hull have argued that species are individuals. This claim is shown to be against the spirit of much modern biology. It is concluded that species are natural kinds of a sort, and that any 'objectivity' they possess comes from their being at the focus of a consilience of inductions.

Conditionals has at its center an extended essay on this problematic and much-debated subject in the philosophy of language and logic, which the widely respected Oxford philosopher Michael Woods had been preparing for publication at the time of his death in 1993. It appears here edited by his eminent colleague David Wiggins, and is accompanied by a commentary specially written by a leading expert on the topic, Dorothy Edgington. This masterly and original treatment of conditionals will demand the attention (...) of all philosophers working in this area. (shrink)

_Pragmatism: An Introduction _provides an account of the arguments of the central figures of the most important philosophical tradition in the American history of ideas, pragmatism. This wide-ranging and accessible study explores the work of the classical pragmatists Charles Sanders Peirce, William James and John Dewey, as well as more recent philosophers including Richard Rorty, Richard J. Bernstein, Cheryl Misak, and Robert B. Brandom. Michael Bacon examines how pragmatists argue for the importance of connecting philosophy to practice. In so (...) doing, they set themselves in opposition to many of the presumptions that have dominated philosophy since Descartes. The book demonstrates how pragmatists reject the Cartesian spectator theory of knowledge, in which the mind is viewed as seeking accurately to represent items in the world, and replace it with an understanding of truth and knowledge in terms of the roles they play within our social practices. The book explores the diverse range of positions that have engendered marked and sometimes acrimonious disputes amongst pragmatists. Bacon identifies the themes underlying these differences, revealing a greater commonality than many commentators have recognized. The result is an illuminating narrative of a rich philosophical movement that will be of interest to students in philosophy, political theory, and the history of ideas. (shrink)

This thought provoking book uncovers a crisis in the political imagination, a wide-spread failure to provide the passionate sense of community "in which our need for belonging can be met." Seeking the answers to fundamental questions, Michael Ignatieff writes vividly both about ideas and about the people who tried to live by them—from Augustine to Bosch, from Rosseau to Simone Weil. Incisive and moving, The Needs of Strangers returns philosophy to its proper place, as a guide to the art (...) of being human. (shrink)

This paper contributes to our understanding of farm data value chains with assistance from 54 semi-structured interviews and field notes from participant observations. Methodologically, it includes individuals, such as farmers, who hold well-known positionalities within digital agriculture spaces—platforms that include precision farming techniques, farm equipment built on machine learning architecture and algorithms, and robotics—while also including less visible elements and practices. The actors interviewed and materialities and performances observed thus came from spaces and places inhabited by, for example, farmers, crop (...) scientists, statisticians, programmers, and senior leadership in firms located in the U.S. and Canada. The stability of “the” artifacts followed for this project proved challenging, which led to me rethinking how to approach the subject conceptually. The paper is animated by a posthumanist commitment, drawing heavily from assemblage thinking and critical data scholarship coming out of Science and Technology Studies. The argument’s understanding of “chains” therefore lies on an alternative conceptual plane relative to most commodity chain scholarship. To speak of a data value chain is to foreground an orchestrating set of relations among humans, non-humans, products, spaces, places, and practices. The paper’s principle contribution involves interrogating lock-in tendencies at different “points” along the digital farm platform assemblage while pushing for a varied understanding of governance depending on the roles of the actors and actants involved. (shrink)

What are biological species? Aristotelians and Lockeans agree that they are natural kinds; but, evolutionary theory shows that neither traditional philosophical approach is truly adequate. Recently, Michael Ghiselin and David Hull have argued that species are individuals. This claim is shown to be against the spirit of much modern biology. It is concluded that species are natural kinds of a sort, and that any 'objectivity' they possess comes from their being at the focus of a consilience of inductions.

_Pragmatism: An Introduction _provides an account of the arguments of the central figures of the most important philosophical tradition in the American history of ideas, pragmatism. This wide-ranging and accessible study explores the work of the classical pragmatists Charles Sanders Peirce, William James and John Dewey, as well as more recent philosophers including Richard Rorty, Richard J. Bernstein, Cheryl Misak, and Robert B. Brandom. Michael Bacon examines how pragmatists argue for the importance of connecting philosophy to practice. In so (...) doing, they set themselves in opposition to many of the presumptions that have dominated philosophy since Descartes. The book demonstrates how pragmatists reject the Cartesian spectator theory of knowledge, in which the mind is viewed as seeking accurately to represent items in the world, and replace it with an understanding of truth and knowledge in terms of the roles they play within our social practices. The book explores the diverse range of positions that have engendered marked and sometimes acrimonious disputes amongst pragmatists. Bacon identifies the themes underlying these differences, revealing a greater commonality than many commentators have recognized. The result is an illuminating narrative of a rich philosophical movement that will be of interest to students in philosophy, political theory, and the history of ideas. (shrink)

Although few of Charles Sanders Peirce's writings were devoted explicitly to religious topics, Michael L. Raposa demonstrates that religious ideas played a central role in shaping Peirce's philosophy and are manifest throughout his corpus, in scientific and mathematical papers as well as in his writings on metaphysics, cosmology, and the normative sciences. Because Peirce's religious ideas are continuous with and integral to his reflections on these and other issues, they must be identified and understood if his work as a (...) whole is to be interpreted properly. An organizing perspective for Raposa's study and the subject of extended commentary is Peirce's most famous essay in the philosophy of religion, "A Neglected Argument for the Reality of God." Although very few of Peirce's commentators have devoted serious attention to the religious dimension of his thought, Raposa concludes that Peirce's writings are an important resource for contemporary scholars of religion and points to those of his ideas that might be most fruitfully entertained and developed. (shrink)

_Pragmatism: An Introduction _provides an account of the arguments of the central figures of the most important philosophical tradition in the American history of ideas, pragmatism. This wide-ranging and accessible study explores the work of the classical pragmatists Charles Sanders Peirce, William James and John Dewey, as well as more recent philosophers including Richard Rorty, Richard J. Bernstein, Cheryl Misak, and Robert B. Brandom. Michael Bacon examines how pragmatists argue for the importance of connecting philosophy to practice. In so (...) doing, they set themselves in opposition to many of the presumptions that have dominated philosophy since Descartes. The book demonstrates how pragmatists reject the Cartesian spectator theory of knowledge, in which the mind is viewed as seeking accurately to represent items in the world, and replace it with an understanding of truth and knowledge in terms of the roles they play within our social practices. The book explores the diverse range of positions that have engendered marked and sometimes acrimonious disputes amongst pragmatists. Bacon identifies the themes underlying these differences, revealing a greater commonality than many commentators have recognized. The result is an illuminating narrative of a rich philosophical movement that will be of interest to students in philosophy, political theory, and the history of ideas. (shrink)