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.

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

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)

In this paper I outline the PAIR account of joint attention as a perceptual-practical, affectively charged intentional relation. I argue that to explain joint attention we need to leave the received understanding of propositions and propositional attitudes and the picture of content connected to it behind and embrace the notions of subject mode and position mode content. I also explore the relation between joint attention and communication.

The American Journal of Bioethics, Volume 12, Issue 7, Page 27-30, July 2012.

Theories of discourse bring to realism new ideas about how knowledge develops and how representations of reality are influenced. We gain an understanding of the conceptual aspect of social life and the processes by which meaning is produced. This collection reflects the growing interest realist critics have shown towards forms of discourse theory and deconstruction. The diverse range of contributions address such issues as the work of Derrida and deconstruction, discourse theory, Eurocentrism and poststructuralism. What unites all of the contributions (...) is a sense that it is essential to provide a realist alternative to the hitherto dominance of social constructionism, hermeneutics and postmodernism, over many of the issues discussed. By developing a realist perspective the different authors attempt to embed discourse within the structured nature of the reality of the world. Realism can situate language, discourse and ideology within context specific, or 'causally efficacious' circumstances. Realism can help to uncover issues of power, representation, and subjectivity and how discursive and other social practices produce real effects. This can help us understand the manner in which social structures are reproduced through various forms of ideology and discourse. And by knowing this, we can start to address questions concerning human emancipation and how the world is to be transformed. (shrink)

The article of Dr. Wasserstein, ‘The Manuscript-tradition of Statius'; Siluae’, C.Q. N.s. iii , 69–78, causes me to revert once again to the question I treated twice in Philologus Ixvi , 85–134; lxxxii , 167–180. In the first place I must refer to a frequent slip of the pen which occurs, for example, in the 414 verses of the Culex thrice, viz.

Morals from Motives develops a virtue ethics inspired more by Hume and Hutcheson's moral sentimentalism than by recently-influential Aristotelianism. It argues that a reconfigured and expanded "morality of caring" can offer a general account of right and wrong action as well as social justice. Expanding the frontiers of ethics, it goes on to show how a motive-based "pure" virtue theory can also help us to understand the nature of human well-being and practical reason.

The guiding inspiration of this book is the attraction and distance that mark the relation between anthropology and philosophy. This theme is explored through encounters between individual anthropologists and particular regions of philosophy. Several of the most basic concepts of the discipline—including notions of ethics, politics, temporality, self and other, and the nature of human life—are products of a dialogue, both implicit and explicit, between anthropology and philosophy. These philosophical undercurrents in anthropology also speak to the question of what it (...) is to experience our being in a world marked by radical difference and otherness. In The Ground Between, twelve leading anthropologists offer intimate reflections on the influence of particular philosophers on their way of seeing the world, and on what ethnography has taught them about philosophy. Ethnographies of the mundane and the everyday raise fundamental issues that the contributors grapple with in both their lives and their thinking. With directness and honesty, they relate particular philosophers to matters such as how to respond to the suffering of the other, how concepts arise in the give and take of everyday life, and how to be attuned to the world through the senses. Their essays challenge the idea that philosophy is solely the province of professional philosophers, and suggest that certain modalities of being in the world might be construed as ways of doing philosophy. Contributors. João Biehl, Steven C. Caton, Vincent Crapanzano, Veena Das, Didier Fassin, Michael M. J. Fischer, Ghassan Hage, Clara Han, Michael Jackson, Arthur Kleinman, Michael Puett, Bhrigupati Singh. (shrink)

Eldred offers a remedy to the consequences of ancient Greek misconceptions of time that are also entrenched in today’s mathematized physics. Here time is spatialized as the one-dimensionally linear ‘arrow of time’ for the sake of predicting and controlling movement. But such spatialized time distorts the phenomenon of time itself. An alternative, hermeneutic-phenomenological path begins with a pre-spatial concept of time that is genuinely three-dimensional. This paves the way for recasting who we are as humans in belonging, first of all, (...) to the free openness of 3D-temporality. This belonging enables temporally 3D-vision of the psyche that empowers us to see movement at all and reconcile its inherent contradictoriness. We are then also able to conceive ourselves no longer merely as internally cogitating, self-conscious subjects, but as engaged existentially in temporally 3D-interplay, mutually estimating and esteeming who we are. This unpredictable interplay is constrained, however, by being played out in the sociating medium of thingified value, the accumulative movement of thingified value having gained the upper hand in dictating our life-movements as well as our interplay with the earth. (shrink)

Der private, sehr gefahrdete Bucherbestand Friedrich Nietzsches gilt als ein besonders interessantes Beispiel einer Schriftstellerbibliothek des 19. Jahrhunderts.

We ordinarily suppose that there is a difference between having and failing to exercise a rational capacity on the one hand, and lacking a rational capacity altogether on the other. This is crucial for our allocations of responsibility. Someone who has but fails to exercise a capacity is responsible for their failure to exercise their capacity, whereas someone who lacks a capacity altogether is not. However, as Gary Watson pointed out in his seminal essay ’Skepticism about Weakness of Will’, the (...) idea of an unexercised capacity is much more difficult to make sense of than it initially appears. The aim of ’Rational Capacities’ is to provide the needed explication of this idea. (shrink)

This will be the best way of explaining ‘Paris is the lover of Helen’, that is, ‘Paris loves, and by that very fact [et eo ipso] Helen is loved’. Here, therefore, two propositions have been brought together and abbreviated as one. Or, ‘Paris is a lover, and by that very fact Helen is a loved one’.

The Oxford Handbook of Metaphysics offers the most authoritative and compelling guide to this diverse and fertile field of philosophy. Twenty-four of the world's most distinguished specialists provide brand-new essays about 'what there is': what kinds of things there are, and what relations hold among entities falling under various categories. They give the latest word on such topics as identity, modality, time, causation, persons and minds, freedom, and vagueness. The Handbook's unrivaled breadth and depth make it the definitive reference work (...) for students and academics across the philosophical spectrum. (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)

Virtually all philosophers agree that for a belief to be epistemically justified, it must satisfy certain conditions. Perhaps it must be supported by evidence. Or perhaps it must be reliably formed. Or perhaps there are some other "good-making" features it must have. But does a belief's justification also require some sort of awareness of its good-making features? The answer to this question has been hotly contested in contemporary epistemology, creating a deep divide among its practitioners. Internalists, who tend to focus (...) on scientific or theoretical beliefs as the ideal, insist that such awareness is required for justification. Externalists, who think children's ordinary beliefs in obvious facts are paradigm cases of justified belief, say it isn't required. Michael Bergmann's book offers a decisive refutation of internalism and a sustained defense of externalism. (shrink)

Bringing together ethnographic exposition with philosophical concepts and arguments and effectively transcending subdisciplinary boundaries between cultural and ...

This article characterizes the varieties of four - dimensionalism and provides a critical overview of the main arguments in support of it.

This wide-ranging book reconstructs this debate and places within their contemporary contexts the rival claims concerning the nature of the cosmos and the ...

Naturphilosophie und Metaphysik scheinen zwei unterschiedliche, ja, sich ausschließende philosophische Ansätze zu sein. Bestimmt man aber Naturphilosophie als Metaphysik der Natur im Sinne des Projekts, im Ausgang von den naturwissenschaftlichen Erkenntnissen zu einer kohärenten und vollständigen Sicht der Welt zu gelangen, ergibt sich eine neue und überraschende Konstellation. Die Bezugnahme auf die Naturwissenschaften verleiht der Metaphysik einerseits die Berechtigung dazu, revisionär zu sein, das heißt, Erkenntnisansprüche, die aus dem alltäglichen Weltverständnis stammen, zu revidieren. Andererseits ist eine solche Metaphysik ebenso hypothetisch (...) wie die Wissenschaften selbst. Michael Esfeld zeigt zunächst, wie man in diesem Rahmen einen wissenschaftlichen Realismus vertreten kann, und begründet dann so umstrittene Thesen wie die eines vierdimensionalen Blockuniversums mit Ereignissen und Prozessen statt Substanzen oder die eines naturphilosophischen Holismus und Strukturenrealismus statt eines Atomismus und rehabilitiert die Idee notwendiger Verbindungen in der Natur. (shrink)

This new book by Michael Slote argues that Western philosophy on the whole has overemphasized rational control and autonomy at the expense of the important countervailing value and virtue of receptivity. Recently the ideas of caring and empathy have received a great deal of philosophical and public attention, but both these notions rest on the deeper and broader value of receptivity, and in From Enlightenment to Receptivity, Slote seeks to show that we need to focus more on receptivity if (...) we are to attain a more balanced sense and understanding of what is important to us. -/- Beginning with a critique of Enlightenment thinking that calls into question its denial of any central role to considerations of emotion and empathy, he goes on to show how a greater emphasis on these factors and on the receptivity that underlies them can give us a more realistic, balanced, and sensitive understanding of our core ethical and epistemological values. This means rejecting post-modernism's blanket rejection of reason and of compelling real values and recognizing, rather, that receptivity should play a major role in how we lead our lives as individuals, in how we relate to nature, in how we acquire knowledge about the world, and in how we relate morally and politically with others. (shrink)

This book not only sets the historical record straight but also champions the Herderian tradition for its philosophical depth and breadth.