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.

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.

Noam Chomsky and Frances Egan argue that David Marr’s computational theory of vision is not intentional, claiming that the formal scientific theory does not include description of visual content. They also argue that the theory is internalist in the sense of not describing things physically external to the perceiver. They argue that these claims hold for computational theories of vision in general. Beyond theories of vision, they argue that representational content does not figure as a topic within formal computational theories (...) in cognitive science. I demonstrate that Chomsky’s and Egan’s claims about Marr’s theory are false. Marr’s computational theory contains a mathematical theory of visual content, based on empirical psychophysical evidence. It also contains mathematical descriptions of distal physical surfaces and objects, and of their optic projection to the perceiver. Much computational research on vision contains these types of intentional and externalist components within the formal, mathematical, theories. Chomsky’s and Egan’s claims demonstrate inadequate study and understanding of Marr’s work and other research in this area. Computational theories of vision, by containing empirically based mathematical theories of visual content, to this extent present naturalizations of semantics. (shrink)

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.

We are witnessing increasing use of the Internet, particular social media, to criticize (perceived or actual) moral failings and misdemeanors. This phenomenon of so-called ‘online public shaming’ could provide a powerful tool for reinforcing valuable social norms. But it also threatens unwarranted and severe punishments meted out by online mobs. This paper analyses the dangers associated with the informal enforcement of norms, drawing on Locke, but also highlights its promise, drawing on recent discussions of social norms. We then consider two (...) crucial conditions that online public shaming must meet in order to be justifiable: proportionality and accountability. We argue that these requirements are in fact frequently violated, rendering most cases of online public shaming unjustified. While the use of online public shaming against others’ vices has some apparent virtues, it is currently rarely justified, given its own vices. (shrink)

This edition includes a new introduction by Peter J. Gomes that reflects on the impact of this book in the years since it was written.

How should we make choices when we know so little about our futures? L. A. Paul argues that we must view life decisions as choices to make discoveries about the nature of experience. Her account of transformative experience holds that part of the value of living authentically is to experience our lives and preferences in whatever ways they evolve.

The twentieth century has witnessed an unprecedented 'crisis in the foundations of mathematics', featuring a world-famous paradox (Russell's Paradox), a challenge to 'classical' mathematics from a world-famous mathematician (the 'mathematical intuitionism' of Brouwer), a new foundational school (Hilbert's Formalism), and the profound incompleteness results of Kurt Gödel. In the same period, the cross-fertilization of mathematics and philosophy resulted in a new sort of 'mathematical philosophy', associated most notably (but in different ways) with Bertrand Russell, W. V. Quine, and Gödel himself, (...) and which remains at the focus of Anglo-Saxon philosophical discussion. The present collection brings together in a convenient form the seminal articles in the philosophy of mathematics by these and other major thinkers. It is a substantially revised version of the edition first published in 1964 and includes a revised bibliography. The volume will be welcomed as a major work of reference at this level in the field. (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)

Reasons and reasoning were central to the work of Paul Grice, one of the most influential and admired philosophers of the late twentieth century. In the John Locke Lectures that Grice delivered in Oxford at the end of the 1970s, he set out his fundamental thoughts about these topics; Aspects of Reason is the long-awaited publication of those lectures. This immensely rich work, powerfully evocative of the mind of its author, will refresh and illuminate discussions in many areas of (...) contemporary philosophy. (shrink)

Bd. 1. Der wissenschaftstheoretische Realismus und die Autorität der Wissenschaften -- Bd. 2. Probleme des Empirismus.

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)

This is a collection in translation of essays by Paul Ricoeur which presents a comprehensive view of his philosophical hermeneutics, its relation to the views of his predecessors in the tradition and its consequences for the social sciences. The volume has three parts. The studies in the first part examine the history of hermeneutics, its central themes and the outstanding issues it has to confront. In Part II, Ricoeur's own current, constructive position is developed. A concept of the text (...) is formulated as the implications of the theory are pursued into the domains of sociology, psychoanalysis and history. Many of the essays appear here in English for the first time; the editor's introduction brings out their background in Ricoeur's thought and the continuity of his concerns. The volume will be of great importance for those interested in hermeneutics and Ricoeur's contribution to it, and will demonstrate how much his approach offers to a number of disciplines. (shrink)

Critics of contemporary metaphysics argue that it attempts to do the hard work of science from the ease of the armchair. Physics, not metaphysics, tells us about the fundamental facts of the world, and empirical psychology is best placed to reveal the content of our concepts about the world. Exploring and understanding the world through metaphysical reflection is obsolete. In this paper, I will show why this critique of metaphysics fails, arguing that metaphysical methods used to make claims about the (...) world are similar to scientific methods used to make claims about the world, but that the subjects of metaphysics are not the subjects of science. Those who argue that metaphysics uses a problematic methodology to make claims about subjects better covered by natural science get the situation exactly the wrong way around: metaphysics has a distinctive subject matter, not a distinctive methodology. The questions metaphysicians address are different from those of scientists, but the methods employed to develop and select theories are similar. In the first section of the paper, I will describe the sort of subject matter that metaphysics tends to engage with. In the second section of the paper, I will show how metaphysical theories are classes of models and discuss the roles of experience, common sense and thought experiments in the construction and evaluation of such models. Finally, in the last section I will discuss the way these methodological points help us to understand the metaphysical project. Getting the right account of the metaphysical method allows us to better understand the relationship between science and metaphysics, to explain why doing metaphysics successfully involves having a range of different theories, to understand the role of thought experiments involving fictional worlds, and to situate metaphysical realism in a scientifically realist context. (shrink)

A Christian ethicist discusses such problems as organ transplants, caring for the terminally ill, and defining death.

The ethical issues raised by cybersecurity practices and technologies are of critical importance. However, there is disagreement about what is the best ethical framework for understanding those issues. In this paper we seek to address this shortcoming through the introduction of a principlist ethical framework for cybersecurity that builds on existing work in adjacent fields of applied ethics, bioethics, and AI ethics. By redeploying the AI4People framework, we develop a domain-relevant specification of five ethical principles in cybersecurity: beneficence, non-maleficence, autonomy, (...) justice, and explicability. We then illustrate the advantages of this principlist framework by examining the ethical issues raised by four common cybersecurity contexts: penetration testing, distributed denial of service attacks (DDoS), ransomware, and system administration. These case analyses demonstrate the utility of this principlist framework as a basis for understanding cybersecurity ethics and for cultivating the ethical expertise and ethical sensitivity of cybersecurity professionals and other stakeholders. (shrink)

In this chapter a new problem about rule-following is outlined, one that is distinct both from Kripke’s and Wright’s versions of the problem. This new problem cannot be correctly responsed to, as Kripke’s can, by invoking Wright’s Intentional Account of rule-following. The upshot might be called, following Kant, an antinomy of pure reason: we both must — and cannot — make sense of someone’s following a rule. The chapter explores various ways out of this antinomy without here endorsing any of (...) them. (shrink)

Foreword William Schweiker Paul Tillich, one of the great Protestant theologians of the twentieth century, addresses in Morality and Beyond a basic problem ...

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)

Feyerabrend argues that intellectual progress relies on the creativity of the scientist, against the authority of science.

In this study of space and power and knowledge in France from the 1830s through the 1930s, Rabinow uses the tools of anthropology, philosophy, and cultural criticism to examine how social environment was perceived and described. Ranging from epidemiology to the layout of colonial cities, he shows how modernity was revealed in urban planning, architecture, health and welfare administration, and social legislation.

Eliminative materialism is the thesis that our common-sense conception of psychological phenomena constitutes a radically false theory, a theory so fundamentally defective that both the principles and the ontology of that theory will eventually be displaced, rather than smoothly reduced, by completed neuroscience. Our mutual understanding and even our introspection may then be reconstituted within the conceptual framework of completed neuroscience, a theory we may expect to be more powerful by far than the common-sense psychology it displaces, and more substantially (...) integrated within physical science generally. My purpose in this paper is to explore these projections, especially as they bear on (1) the principal elements of common-sense psychology: the propositional attitudes (beliefs, desires, etc.), and (2) the conception of rationality in which these elements figure. (shrink)

JOURNAL OF THE HISTORY OF PHILOSOPHY PRIZE for the best published book in the history of philosophy [Awarded in 2010] _______________ -/- Although it is widely recognized that David Hume's A Treatise of Human Nature (1739-40) belongs among the greatest works of philosophy, there is little agreement about the correct way to interpret his fundamental intentions. It is an established orthodoxy among almost all commentators that skepticism and naturalism are the two dominant themes in this work. The difficulty has been, (...) however, that Hume's skeptical arguments and commitments appear to undermine and discredit his naturalistic ambition to contribute to "the science of man". This schism appears to leave his entire project broken-backed. The solution to this riddle depends on challenging another, closely related, point of orthodoxy: namely, that before Hume published the Treatise he removed almost all material concerned with problems of religion. Russell argues, contrary to this view, that irreligious aims and objectives are fundamental to the Treatise and account for its underlying unity and coherence. It is Hume's basic anti-Christian aims and objectives that serve to shape and direct both his skeptical and naturalistic commitments. When Hume's arguments are viewed from this perspective we can solve, not only puzzles arising from his discussion of various specific issues, we can also explain the intimate and intricate connections that hold his entire project together. This "irreligious" interpretation provides a comprehensive fresh account of the nature of Hume's fundamental aims and ambitions in the Treatise. It also presents a radically different picture of the way in which Hume's project was rooted in the debates and controversies of his own time, placing the Treatise in an irreligious or anti-Chrisitan philosophical tradition that includes Hobbes, Spinoza and freethinking followers. Considered in these terms, Hume's Treatise constitutes the crowning achievement of the Radical Enlightenment. (shrink)

Paul Thom's book presents Kilwardby's science of logic as a body of demonstrative knowledge about inferences and their validity, about the semantics of non-modal and modal propositions, and about the logic of genus and species. This science is thoroughly intensional. It grounds the logic of inference on "that in virtue of which" the inference holds. It bases the truth conditions of propositions on relations between conceptual entities. It explains the logic of genus and species through the notion of essence. (...) Thom interprets this science as a formal logic of intensions with its own proof theory and semantics. This comprehensive reconstruction of Kilwardby's logic shows the medieval master to be one of the most interesting logicians of the thirteenth century. (shrink)

I argue for a property mereology and for mereological bundle theory. I then apply this theory to the one over many problem (universals) and puzzles concerning persistence and material constitution.

I defend a one category ontology: an ontology that denies that we need more than one fundamental category to support the ontological structure of the world. Categorical fundamentality is understood in terms of the metaphysically prior, as that in which everything else in the world consists. One category ontologies are deeply appealing, because their ontological simplicity gives them an unmatched elegance and spareness. I’m a fan of a one category ontology that collapses the distinction between particular and property, replacing it (...) with a single fundamental category of intrinsic characters or qualities. We may describe the qualities as qualitative charactersor as modes, perhaps on the model of Aristotelian qualitative (nonsubstantial) kinds, and I will use the term “properties” interchangeably with “qualities”. The qualities are repeatable and reasonably sparse, although, as I discuss in section 2.6, there are empirical reasons that may suggest, depending on one’s preferred fundamental physical theory, that they include irreducibly intensive qualities. There are no uninstantiated qualities. I also assume that the fundamental qualitative natures are intrinsic, although physics may ultimately suggest that some of them are extrinsic. On my view, matter, concrete objects, abstract objects, and perhaps even spacetime are constructed from mereological fusions of qualities, so the world is simply a vast mixture of qualities, including polyadic properties (i.e., relations). This means that everything there is, including concrete objects like persons or stars, is a quality, a qualitative fusion, or a portion of the extended qualitative fusion that is the worldwhole. I call my view mereological bundle theory. (shrink)

"First published in this translation 1955; second edition (revised) 1974; reprinted with additional revisions 1987; reissued with new Further Reading 2003; reissued with new introduction 2007"--T.p. verso.