In this paper, we investigate the use of event models for automated planning. Event models are the action defining structures used to define a semantics for dynamic epistemic logic. Using event models, two issues in planning can be addressed: Partial observability of the environment and knowledge. In planning, partial observability gives rise to an uncertainty about the world. For single-agent domains, this uncertainty can come from incomplete knowledge of the starting situation and from the nondeterminism of actions. In multi-agent domains, (...) an additional uncertainty arises from the fact that other agents can act in the world, causing changes that are not instigated by the agent itself. For an agent to successfully construct and execute plans in an uncertain environment, the most widely used formalism in the literature on automated planning is “belief states”: sets of different alternatives for the current state of the world. Epistemic logic is a significantly more expressive and theoretically better founded method for representing knowledge and ignorance about the world. Further, epistemic logic allows for planning according to the knowledge (and iterated knowledge) of other agents, allowing the specification of a more complex class of planning domains, than those simply concerned with simple facts about the world. We show how to model multi-agent planning problems using Kripke-models for representing world states, and event models for representing actions. Our mechanism makes use of slight modifications to these concepts, in order to model the internal view of agents, rather than that of an external observer. We define a type of planning domain called epistemic planning domains, a generalisation of classical planning domains, and show how epistemic planning can successfully deal with partial observability, nondeterminism, knowledge and multiple agents. Finally, we show epistemic planning to be decidable in the single-agent case, but only semi-decidable in the multi-agent case. (shrink)

In this paper we show how to formalise false-belief tasks like the Sally-Anne task and the second-order chocolate task in Dynamic Epistemic Logic. False-belief tasks are used to test the strength of the Theory of Mind of humans, that is, a human’s ability to attribute mental states to other agents. Having a ToM is known to be essential to human social intelligence, and hence likely to be essential to social intelligence of artificial agents as well. It is therefore important to (...) find ways of implementing a ToM in artificial agents, and to show that such agents can then solve false-belief tasks. In this paper, the approach is to use DEL as a formal framework for representing ToM, and use reasoning in DEL to solve false-belief tasks. In addition to formalising several false-belief tasks in DEL, the paper introduces some extensions of DEL itself: edge-conditioned event models and observability propositions. These extensions are introduced to provide better formalisations of the false-belief tasks, but expected to have independent future interest. (shrink)

An anthology of previously unpublished essays from some of the most outstanding scholars working in philosophy, mathematics, and computer science today, _Self-Reference_ reexamines the latest theories of self-reference, including those that attempt to explain and resolve the semantic and set-theoretic paradoxes. With a thorough introduction that contextualizes the subject for students, this book will be important reading for anyone interested in the general area of self-reference and philosophy.

Plausibility models are Kripke models that agents use to reason about knowledge and belief, both of themselves and of each other. Such models are used to interpret the notions of conditional belief, degrees of belief, and safe belief. The logic of conditional belief contains that modality and also the knowledge modality, and similarly for the logic of degrees of belief and the logic of safe belief. With respect to these logics, plausibility models may contain too much information. A proper notion (...) of bisimulation is required that characterises them. We define that notion of bisimulation and prove the required characterisations: on the class of image-finite and preimage-finite models, two pointed Kripke models are modally equivalent in either of the three logics, if and only if they are bisimilar. As a result, the information content of such a model can be similarly expressed in the logic of conditional belief, or the logic of degrees of belief, or that of safe belief. This, we found a surprising result. Still, that does not mean that the logics are equally expressive: the logics of conditional and degrees of belief are incomparable, the logics of degrees of belief and safe belief are incomparable, while the logic of safe belief is more expressive than the logic of conditional belief. In view of the result on bisimulation characterisation, this is an equally surprising result. We hope our insights may contribute to the growing community of formal epistemology and on the relation between qualitative and quantitative modelling. (shrink)

An anthology of previously unpublished essays from some of the most outstanding scholars working in philosophy, mathematics, and computer science today, _Self-Reference_ reexamines the latest theories of self-reference, including those that attempt to explain and resolve the semantic and set-theoretic paradoxes. With a thorough introduction that contextualizes the subject for students, this book will be important reading for anyone interested in the general area of self-reference and philosophy.

We present a logic which we call Hybrid Duration Calculus. HDC is obtained by adding the following hybrid logical machinery to the Restricted Duration Calculus : nominals, satisfaction operators, down-arrow binder, and the global modality. RDC is known to be decidable, and in this paper we show that decidability is retained when adding the hybrid logical machinery. Decidability of HDC is shown by reducing the satisfiability problem to satisfiability of Monadic Second-Order Theory of Order. We illustrate the increased expressive power (...) obtained in hybridizing RDC by showing that HDC, in contrast to RDC, can express all of the 13 possible relations between intervals. (shrink)

Plausibility models are Kripke models that agents use to reason about knowledge and belief, both of themselves and of each other. Such models are used to interpret the notions of conditional belief, degrees of belief, and safe belief. The logic of conditional belief contains that modality and also the knowledge modality, and similarly for the logic of degrees of belief and the logic of safe belief. With respect to these logics, plausibility models may contain too much information. A proper notion (...) of bisimulation is required that characterises them. We define that notion of bisimulation and prove the required characterisations: on the class of image-finite and preimage-finite models, two pointed Kripke models are modally equivalent in either of the three logics, if and only if they are bisimilar. As a result, the information content of such a model can be similarly expressed in the logic of conditional belief, or the logic of degrees of belief, or that of safe belief. This, we found a surprising result. Still, that does not mean that the logics are equally expressive: the logics of conditional and degrees of belief are incomparable, the logics of degrees of belief and safe belief are incomparable, while the logic of safe belief is more expressive than the logic of conditional belief. In view of the result on bisimulation characterisation, this is an equally surprising result. We hope our insights may contribute to the growing community of formal epistemology and on the relation between qualitative and quantitative modelling. (shrink)

In this paper we define a family of many-valued semantics for hybrid logic, where each semantics is based on a finite Heyting algebra of truth-values. We provide sound and complete tableau systems for these semantics. Moreover, we show how the tableau systems can be made terminating and thereby give rise to decision procedures for the logics in question. Our many-valued hybrid logics turn out to be "intermediate" logics between intuitionistic hybrid logic and classical hybrid logic in a specific sense explained (...) in the paper. Our results show that many-valued hybrid logic is indeed a natural enterprise. (shrink)

In this paper we define a family of many-valued semantics for hybrid logic, where each semantics is based on a finite Heyting algebra of truth-values. We provide sound and complete tableau systems for these semantics. Moreover, we show how the tableau systems can be made terminating and thereby give rise to decision procedures for the logics in question. Our many-valued hybrid logics turn out to be "intermediate" logics between intuitionistic hybrid logic and classical hybrid logic in a specific sense explained (...) in the paper. Our results show that many-valued hybrid logic is indeed a natural enterprise. (shrink)

The context in which Thomas Aquinas reflects on teaching is discussed, as are the texts in which he does so. We learn how he understands teaching from two other considerations, how he went about the task, and the pedagogical concerns that persist through his writing career. The most important source for his convictions about pedagogy is the Bible, and Jesus is ‘the most excellent of teachers’. His account of teaching is ultimately theological, then, in line with his concerns in (...) Summa theologiae, such that creation may be understood as teaching and redemption as learning. (shrink)

The tragedy of critique -- The sound and the fury : the insights and limits of the critique of critique -- The experience of critique : inside permanent liminality -- Critique is history? : understanding a tradition of tradition-breaking -- Unthinking critical thinking : the reduction of philosophy to negative logic -- The cacophony of critique : populist radicals and hegemonic dissent -- Asocial media : an auto-ethnography of on-line critiques -- Towards acritical theory -- Bibliography -- Index.

Issues of reliability are claiming center-stage in the epistemology of machine learning. This paper unifies different branches in the literature and points to promising research directions, whilst also providing an accessible introduction to key concepts in statistics and machine learning – as far as they are concerned with reliability.

Looking back on it, it seems almost incredible that so many equally educated, equally sincere compatriots and contemporaries, all drawing from the same limited stock of evidence, should have reached so many totally different conclusions---and always with complete certainty.

Thomas Reid, the Scottish natural and moral philosopher, was one of the founding members of the Aberdeen Philosophical Society and a significant figure in the Scottish Enlightenment. Reid believed that common sense should form the foundation of all philosophical inquiry. He criticised the sceptical philosophy propagated by his fellow Scot David Hume and the Anglo-Irish bishop George Berkeley, who asserted that the external world did not exist outside the human mind. Reid was also critical of the theory of ideas (...) propagated by Locke and Descartes, arguing that it was incompatible with physical and experiential facts. For Reid, our senses demonstrate that the external world must exist, and this work is organised in chapters examining each of the senses in turn. The book, based on his lectures, was first published in 1764 when Reid was a regent professor at King's College, Aberdeen, and was reissued in 1818. (shrink)

While contemporary welfare processes have widely been analysed through the concepts of governmentality and pastoral power, this article diagnoses the dimension of confession or avowal within unemployment, job seeking and CV writing. This argument draws together the threads of Foucault’s work on confession within disciplinary institutions, around sexuality and genealogies of monasticism, adding the insights of writers in ‘economic theology’. Empirically the focus is on UK JobCentrePlus, whose governmentality is traced from laws and regulations, street-level forms, websites and CV advice. (...) From the requirement of avowals of unemployment as a personal fault in interviews to professions of faith in oneself and the labour market, a distinctly confessional practice emerges – with the welfare officer as ‘pastor’ but with the market as the ultimate ‘test’ of worth. Furthermore, the pressure to transform the self through ‘telling the truth’ about oneself is taken as a normalising pressure which extends from the institutions of welfare across the labour market as a whole. In conclusion, the demand for self-transformation and the insistence on tests within modernity is problematised. (shrink)

Cette étude essaye d’établir qu’il y a deux notions très différentes de « fondation » à l’œuvre dans les Recherches logiques de Husserl. Dans la IIIème Recherche, où le terme est formellement introduit, lorsqu’il se demande quels sont les contenus qui peuvent exister d’une manière autonome (indépendants) et lesquels peuvent exister uniquement en tant que moments d’autre chose (dépendants), Husserl suit ce que j’appelle un « modèle ontologique ». Selon ce modèle, le concret possède une priorité sur à l’abstrait qui (...) est fondé en lui. Dans la VIème Recherche, en revanche, Husserl s’oriente principalement sur un « modèle gnoséologique » qui voit le complexe comme fondé sur ce qui est relativement simple, étant donné que les expériences d’ordre supérieur (telles les perceptions de types d’objets plus complexes) sont « fondées sur » des expériences plus simples, bien qu’elles ne puissent pas y être réduites. L’exemple principal ici est celui des intuitions catégoriales : fondées sur les intuitions sensibles, elles n’y sont pas réductibles. Mais cette distinction entre deux sens différents du terme de « fondation » peut également nous aider à mieux comprendre de nombreuses thèses husserliennes plutôt controversées. Par exemple, elle peut nous permettre de mieux comprendre dans quelle mesure faire l’expérience d’un être humain comme un tout se fonde sur l’expérience d’un corps physique, et cela même si l’étant que nous rencontrons inclut à la fois des aspects corporels et des aspects spirituels – les deux étant vus, d’une manière essentielle, comme des moments de cette unique personne qui fait l’objet de notre expérience. (shrink)

v. 1. Editorial introduction -- v. 2. The English and Latin texts (i) -- v. 3. The English and Latin texts (ii).

Big Ideas for Little Kids includes everything a teacher, a parent, or a college student needs to teach philosophy to elementary school children from picture books. Written in a clear and accessible style, the book explains why it is important to allow young children access to philosophy during primary-school education. Wartenberg also gives advice on how to construct a "learner-centered" classroom, in which children discuss philosophical issues with one another as they respond to open-ended questions by saying whether they agree (...) or disagree with what others have said. (shrink)

Although Foucault was clearly a critical thinker, his approach also provides for the possibility of a genealogy of critique. Such an approach problematizes critique, and I trace the emergent problematization of critique in Foucault’s later works, and briefly in Latour and Boltanski. From this I move on to the ‘critical problematic’, that is, how critique operates as a form of power/knowledge, as a discourse that creates subjects through a critical regime of truth and critical truth-games. Specifically, I argue that critique (...) is a discourse which transforms and unmasks other ‘truth-claims’, replacing them with a starker vision of reality, which in the end is also a specific cultural vision. To elaborate this view, I return to Foucault’s discussion of Kant, his late lectures on Cynicism and also on ordo-liberalism. The wider circulation of critical discourses is demonstrated through an analysis of ‘cool’ or critical consumerism. In conclusion, the relationship between critique, crisis and modernity is considered. (shrink)

In this book, T. M. Scanlon offers new answers to these questions, as they apply to the central part of morality that concerns what we owe to each other.

Thomas Reid , the Scottish natural and moral philosopher, was one of the founding members of the Aberdeen Philosophical Society and a significant figure in the Scottish Enlightenment. Reid believed that common sense should form the foundation of all philosophical inquiry. He criticised the sceptical philosophy propagated by his fellow Scot David Hume and the Anglo-Irish bishop George Berkeley, who asserted that the external world did not exist outside the human mind. Reid was also critical of the theory of (...) ideas propagated by Locke and Descartes, arguing that it was incompatible with physical and experiential facts. For Reid, our senses demonstrate that the external world must exist, and this work is organised in chapters examining each of the senses in turn. The book, based on his lectures, was first published in 1764 when Reid was a regent professor at King's College, Aberdeen, and was reissued in 1818. (shrink)

This article addresses contemporary concerns about critique through an interpretation of the “writing prophets.” This approach draws on Foucauldian genealogy and suggests that alongside Greek parrhesia, Old Testament prophecy is a key forerunner of contemporary critical discourses. Our analysis draws upon Weber’s interpretative historical sociology and Gadamerian hermeneutics but shifts the emphasis from charisma to critique, through a direct engagement with prophetic texts. In particular, prophetic discourse claims to reveal injustice and idolatry and speaks from a position of transcendence within (...) immanent historical moments. Prophets position their own era as a moment of crisis, and themselves as liminal figures, opposed to the delusion of others and “false prophets” which resonates with contemporary conceptions of “ideology.” Rather than focusing on historical individuals, we approach prophecy as a discourse, multiple and hybrid, discontinuous, and contradictory, yet constituting a distinctive precursor which informs contemporary critique. (shrink)

Concern about the role and the limits of modeling has heightened after repeated questions were raised regarding the dependability and suitability of the models that were used in the run-up to the 2008 financial crash. In this book, Lawrence Boland provides an overview of the practices of and the problems faced by model builders to explain the nature of models, the modeling process, and the possibility for and nature of their testing. In a reflective manner, the author raises serious questions (...) about the assumptions and judgments that model builders make in constructing models. In making his case, he examines the traditional microeconomics-macroeconomics separation with regard to how theoretical models are built and used and how they interact, paying particular attention to the use of equilibrium concepts in macroeconomic models and game theory and to the challenges involved in building empirical models, testing models, and using models to test theoretical explanations. (shrink)

This paper is an exposition and evaluation of the Agustín Rayo's views about the epistemology and metaphysics of mathematics, as they are presented in his book The Construction of Logical Space.

In recent years an increasing number of psychologists have begun to explore the prevalence, causes and effects of ordinary people’s intuitions about moral realism. Many of these studies have lacked in construct validity, i.e., they have failed to measure moral realism. My aim in this paper accordingly is to motivate and guide methodological improvements. In analysis of prominent existing measures, I develop general recommendations for overcoming ten prima facie serious worries about research on folk moral realism. G1 and G2 require (...) studies’ answer choices to be as metaethically comprehensive as methodologically feasible. G3 and G4 prevent fallacious inferences from intuitions about related debates. G5 and G6 limit first-order moral and epistemic influences. G7 address studies’ instructions. And G8 and G9 suggest tests of important psychological presuppositions. (shrink)

This book is about forming effective critiques of neoclassical economics. Its focus is on constructive criticism of the foundations neoclassical theory, beginning with what Alfred Marshall called the `Principles of Economics'. It concludes that there is still much that can be done to make neoclassical economics more realistic.

Roughly speaking all economists can be divided into two groups--those who agree with Milton Friedman and those who do not. Both groups, however, espouse the view that science is a series of approximations to a demonstrated accord with reality. Methodological controversy in economics is now merely a Conventionalist argument over which comes first--simplicity or generality. Furthermore, this controversy in its current form is not compatible with one important new and up and coming economic (welfare) theory called "the theory of the (...) Second Best." In this paper I offer a Second Best meta-theory that says that (1) any compromise between simplicity and generality must yield a theory which is "third best" by these Conventionalist criteria; and (2) there exists a better way than a compromise. (shrink)

This volume is a study of the influence of Timaeus on the development of Western cosmology in three axial periods of European culture: Late Antiquity, Middle Ages and Renaissance.