Although AGM theory contraction (Alchourrón et al., 1985; Alchourrón and Makinson, 1985) occupies a central position in the literature on belief change, there is one aspect about it that has created a fair amount of controversy. It involves the inclusion of the postulate known as Recovery. As a result, a number of alternatives to AGM theory contraction have been proposed that do not always satisfy the Recovery postulate (Levi, 1991, 1998; Hansson and Olsson, 1995; Fermé, 1998; Fermé and Rodriguez, 1998; (...) Rott and Pagnucco, 1999). In this paper we present a new addition, systematic withdrawal, to the family of withdrawal operations, as they have become known. We define systematic withdrawal semantically, in terms of a set of preorders, and show that it can be characterised by a set of postulates. In a comparison of withdrawal operations we show that AGM contraction, systematic withdrawal and the severe withdrawal of Rott and Pagnucco (1999) are intimately connected by virtue of their definition in terms of sets of preorders. In a future paper it will be shown that this connection can be extended to include the epistemic entrenchment orderings of Gärdenfors (1988) and Gärdenfors and Makinson (1988) and the refined entrenchment orderings of Meyer et al. (2000). (shrink)

We explore the psychological foundations of Logic and Artificial Intelligence, touching on representation, categorisation, heuristics, consciousness, and emotion. Specifically, we challenge Dennett's view of the brain as a syntactic engine that is limited to processing symbols according to their structural properties. We show that cognitive psychology and neurobiology support a dual-process model in which one form of cognition is essentially semantical and differs in important ways from the operation of a syntactic engine. The dual-process model illuminates two important events in (...) Logic and Artificial Intelligence, namely the emergence of non-monotonicity and of embodiment, events that changed the traditional paradigms of ‘Logic = the study of deductive inference' and ‘Symbolic AI'. S. Afr. J. Philos. Vol.24(2) 2005: 137-151. (shrink)

We model three examples of beliefs that agents may have about other agents' beliefs, and provide motivation for this conceptualization from the theory of mind literature. We assume a modal logical framework for modelling degrees of belief by partially ordered preference relations. In this setting, we describe that agents believe that other agents do not distinguish among their beliefs ('no preferences'), that agents believe that the beliefs of other agents are in part as their own ('my preferences'), and the special (...) case that agents believe that the beliefs of other agents are exactly as their own ('preference refinement'). This multi-agent belief interaction is frame characterizable. We provide examples for introspective agents. We investigate which of these forms of belief interaction are preserved under three common forms of belief revision. (shrink)

We introduce and explore the notion of duality for entailment relations induced by preference orderings on states. We discuss the relationship between these preferential entailment relations from the perspectives of Boolean algebra, inference rules, and modal axiomatisation. Interpreting the preference relations as accessibility relations establishes modular Gödel-Löb logic as a suitable modal framework for rational preferential reasoning.

We model three examples of beliefs that agents may have about other agents’ beliefs, and provide motivation for this conceptualization from the theory of mind literature. We assume a modal logical framework for modelling degrees of belief by partially ordered preference relations. In this setting, we describe that agents believe that other agents do not distinguish among their beliefs (‘no preferences’), that agents believe that the beliefs of other agents are in part as their own (‘my preferences’), and the special (...) case that agents believe that the beliefs of other agents are exactly as their own (‘preference refinement’). This multi-agent belief interaction is frame characterizable. We provide examples for introspective agents. We investigate which of these forms of belief interaction are preserved under three common forms of belief revision. (shrink)

A Brief History of the Philosophy of Time is a concise and accessible survey of the history of philosophical and scientific developments in understanding time and our experience of time. It discusses prominent ideas about the nature of time, plus many subsidiary puzzles about time, from the classical period through the present.

By transcendental aesthetic, Kant means “the science of all principles of a priori sensibility” (A 21/B 35). These, he argues, are the laws that properly direct our judgments of taste (B 35 – 36 fn.), i.e. our aesthetic judgments as we ordinarily understand that notion in the context of contemporary art. Thus the first part of the Critique of Pure Reason, entitled the Transcendental Aesthetic, enumerates the necessary presuppositions of, among other things, our ability to make empirical judgments about particular (...) works of art. These presuppositions are sensible rather than intellectual because on Kant’s view, all intellection that considers objects of any kind, whether abstract or concrete, must at base connect to actual, material objects with which we come into direct contact; and this we can do only through sensibility (A 19/B 33). Thus the following discussion explores what Kant claims must be true of us in order to make the sorts of aesthetic judgments we make, rather than any particular class or quality of aesthetic judgments itself. On Kant’s view, what must be true of us in order to make aesthetic judgments is not different from what must be true of us in order to make any other kind of judgment about empirical objects. (shrink)

Inleiding, gebaseerd op een collegedictaat en een syllabus voor studenten aan de Economische hogeschool te Rotterdam.

‘Social auditing’ is everywhere. An increasing number of companies – and also public and voluntary sector organisations – are trying to assess their social performance systematically. Shell, BP and General Motors are among them. How are they doing it? What impact do NGOs and civil society organisations have on this process? Do they have a privileged place in social audits? This article looks at these questions, and sets out a framework for understanding social audits and civil society. Examples are drawn (...) particularly from the recent Camelot social audit (‘Camelot and Social Responsibility’, Social Report 1999). Camelot plc is the operator of the UK national lottery. (shrink)

By transcendental aesthetic, Kant means “the science of all principles of a priori sensibility” (A 21/B 35). These, he argues, are the laws that properly direct our judgments of taste (B 35 – 36 fn.), i.e. our aesthetic judgments as we ordinarily understand that notion in the context of contemporary art. Thus the first part of the Critique of Pure Reason, entitled the Transcendental Aesthetic, enumerates the necessary presuppositions of, among other things, our ability to make empirical judgments about particular (...) works of art. These presuppositions are sensible rather than intellectual because on Kant's view, all intellection that considers objects of any kind, whether abstract or concrete, must at base connect to actual, material objects with which we come into direct contact; and this we can do only through sensibility (A 19/B 33). Thus the following discussion explores what Kant claims must be true of us in order to make the sorts of aesthetic judgments we make, rather than any particular class or quality of aesthetic judgments itself. On Kant's view, what must be true of us in order to make aesthetic judgments is not different from what must be true of us in order to make any other kind of judgment about empirical objects. This last point is worth emphasizing, in order to correct an interpretation of Kant's account of aesthetic judgment in the Critique of Judgment that wrongly reads Kant as claiming that aesthetic judgments do not have to satisfy the same basic requirements of judgment that any other kind of judgment also must satisfy, such as the synthetic subsumption of such objects under certain necessary and hard-wired concepts of understanding, the internal coherence of such judgments with other, non-aesthetic ones of a more abstract and comprehensive character, the unified consciousness within which such judgments are intelligibly made, and the like. Of course Kant recognizes the special character of aesthetic judgments and unpacks it in the... (shrink)

Preparing words in speech production is normally a fast and accurate process. We generate them two or three per second in fluent conversation; and overtly naming a clear picture of an object can easily be initiated within 600 msec after picture onset. The underlying process, however, is exceedingly complex. The theory reviewed in this target article analyzes this process as staged and feedforward. After a first stage of conceptual preparation, word generation proceeds through lexical selection, morphological and phonological encoding, phonetic (...) encoding, and articulation itself. In addition, the speaker exerts some degree of output control, by monitoring of self-produced internal and overt speech. The core of the theory, ranging from lexical selection to the initiation of phonetic encoding, is captured in a computational model, called WEAVER++. Both the theory and the computational model have been developed in interaction with reaction time experiments, particularly in picture naming or related word production paradigms, with the aim of accounting for the real-time processing in normal word production. A comprehensive review of theory, model, and experiments is presented. The model can handle some of the main observations in the domain of speech errors (the major empirical domain for most other theories of lexical access), and the theory opens new ways of approaching the cerebral organization of speech production by way of high-temporal-resolution imaging. (shrink)

Inspired by the writings of J. M. Hinton (1967a, 1967b, 1973), but ushered into the mainstream by Paul Snowdon (1980–1, 1990–1), John McDowell (1982, 1986), and M. G. F. Martin (2002, 2004, 2006), disjunctivism is currently discussed, advocated, and opposed in the philosophy of perception, the theory of knowledge, the theory of practical reason, and the philosophy of action. But what is disjunctivism?

There remains no consensus among social scientists as to how to measure and understand forms of information deprivation such as misinformation. Machine learning and statistical analyses of information deprivation typically contain problematic operationalizations which are too often biased towards epistemic elites' conceptions that can undermine their empirical adequacy. A mature science of information deprivation should include considerable citizen involvement that is sensitive to the value-ladenness of information quality and that doing so may improve the predictive and explanatory power of extant (...) models. (shrink)

A concise yet rigorous introduction to logic and discrete mathematics. This book features a unique combination of comprehensive coverage of logic with a solid exposition of the most important fields of discrete mathematics, presenting material that has been tested and refined by the authors in university courses taught over more than a decade. The chapters on logic - propositional and first-order - provide a robust toolkit for logical reasoning, emphasizing the conceptual understanding of the language and the semantics of classical (...) logic as well as practical applications through the easy to understand and use deductive systems of Semantic Tableaux and Resolution. The chapters on set theory, number theory, combinatorics and graph theory combine the necessary minimum of theory with numerous examples and selected applications. Written in a clear and reader-friendly style, each section ends with an extensive set of exercises, most of them provided with complete solutions which are available in the accompanying solutions manual. Key Features: Suitable for a variety of courses for students in both Mathematics and Computer Science. Extensive, in-depth coverage of classical logic, combined with a solid exposition of a selection of the most important fields of discrete mathematics Concise, clear and uncluttered presentation with numerous examples. Covers some applications including cryptographic systems, discrete probability and network algorithms. Logic and Discrete Mathematics: A Concise Introduction is aimed mainly at undergraduate courses for students in mathematics and computer science, but the book will also be a valuable resource for graduate modules and for self-study. (shrink)

I critically discuss two claims which Hannah Ginsborg makes on behalf of her account of meaning in terms of ‘primitive normativity’: first, that it avoids the sceptical regress articulated by Kripke's Wittgenstein; second, that it makes sense of the thought—central to Kripke's Wittgenstein—that ‘meaning is normative’, in a way which shows this thought not only to be immune from recent criticisms but also to undermine reductively naturalistic theories of content. In the course of the discussion, I consider and attempt to (...) shed light on a number of issues: the structure of the sceptical regress; the content of the thought that ‘meaning is normative’, and its force against reductive theories; the connection between meaning and justification; and the notion of ‘primitive normativity’. (shrink)

Throughout more than two millennia philosophers adhered massively to ideal standards of scientific rationality going back ultimately to Aristotle’s Analytica posteriora. These standards got progressively shaped by and adapted to new scientific needs and tendencies. Nevertheless, a core of conditions capturing the fundamentals of what a proper science should look like remained remarkably constant all along. Call this cluster of conditions the Classical Model of Science. In this paper we will do two things. First of all, we will propose a (...) general and systematized account of the Classical Model of Science. Secondly, we will offer an analysis of the philosophical significance of this model at different historical junctures by giving an overview of the connections it has had with a number of important topics. The latter include the analytic-synthetic distinction, the axiomatic method, the hierarchical order of sciences and the status of logic as a science. Our claim is that particularly fruitful insights are gained by seeing themes such as these against the background of the Classical Model of Science. In an appendix we deal with the historiographical background of this model by considering the systematizations of Aristotle’s theory of science offered by Heinrich Scholz, and in his footsteps by Evert W. Beth. (shrink)

This chapter offers an indirect defence of the Evansian conception of egocentric space, by showing how it resolves a puzzle concerning the unity of egocentric spatial perception. The chapter outlines several common assumptions about egocentric perspectival structure and argues that a subject’s experience, both within and across her sensory modalities, may involve multiple structures of this kind. This raises the question of how perspectival unity is achieved, such that these perspectival structures form a complex whole, rather than merely disunified set (...) of individually, distinctively structured experiences. The shortcomings of variety of accounts are considered: switch accounts ; sensory accounts; transformation accounts; and ultimate accounts. These shortcomings are addressed by a further kind of account provided by the Evansian conception – an agentive account – according to which egocentrically structured experiences present the world in relation to parts of a single thing, the body as a dynamic unity. (shrink)

Does the existence of body representations undermine the explanatory role of the body? Or do certain types of representation depend so closely upon the body that their involvement in a cognitive task implicates the body itself? In the introduction of this special issue we explore lines of tension and complement that might hold between the notions of embodiment and body representations, which remain too often neglected or obscure. To do so, we distinguish two conceptions of embodiment that either put weight (...) on the explanatory role of the body itself or body representations. We further analyse how and to what extent body representations can be said to be embodied. Finally, we give an overview of the full volume articulated around foundational issues (How should we define the notion of embodiment? To what extent and in what sense is embodiment compatible with representationalism? To what extent and in what sense are sensorimotor approaches similar to behaviourism?) and their applications in several cognitive domains (perception, concepts, selfhood, social cognition). (shrink)

An original account of social justice using Neo-Aristotelian value theory to fully explore the concept of human good. The book concentrates on developing a pluralist egalitarian theory of social justice in conjunction with a distinctive account of human good.

This volume will be an essential resource for anyone working in the central areas of philosophy, and the starting point for future research in this fascinating ...

Mathematics, as Eugene Wigner noted, is unreasonably effective in physics. The argument of this paper is that the disproportionate attention that philosophers have paid to discrete structures such as the natural numbers, for which a nominalist construction may be possible, has deprived us of the best argument for Platonism, which lies in continuous structures—in fields and their derived algebras, such as Clifford algebras. The argument that Wigner was making is best made with respect to such structures—in a loose sense, with (...) respect to geometry rather than arithmetic. The purpose of the present paper is to make this connection between mathematical realism and geometrical entities. It thus constitutes an argument against formalism, for which mathematics is merely a game with humanly set rules; and nominalism, in which whatever mathematics is used is eliminable in the final analysis, by often insufficiently specified means. The hope is that light may be cast on the stubborn mysteries of the nature of quantum mechanics and its mathematical formulation, with particular reference to spinor representations—as they have been developed by Andrej Trautman. Thus, according to our argument, quantum mechanics (QM) may appear more natural, as we have better reasons to take spinor structures as irreducibly real, a view consonant with the work of Trautman and Penrose in particular. (shrink)

The previously introduced algorithm \sqema\ computes first-order frame equivalents for modal formulae and also proves their canonicity. Here we extend \sqema\ with an additional rule based on a recursive version of Ackermann's lemma, which enables the algorithm to compute local frame equivalents of modal formulae in the extension of first-order logic with monadic least fixed-points \mffo. This computation operates by transforming input formulae into locally frame equivalent ones in the pure fragment of the hybrid mu-calculus. In particular, we prove that (...) the recursive extension of \sqema\ succeeds on the class of `recursive formulae'. We also show that a certain version of this algorithm guarantees the canonicity of the formulae on which it succeeds. (shrink)

We argue that artificial networks are explainable and offer a novel theory of interpretability. Two sets of conceptual questions are prominent in theoretical engagements with artificial neural networks, especially in the context of medical artificial intelligence: Are networks explainable, and if so, what does it mean to explain the output of a network? And what does it mean for a network to be interpretable? We argue that accounts of “explanation” tailored specifically to neural networks have ineffectively reinvented the wheel. In (...) response to, we show how four familiar accounts of explanation apply to neural networks as they would to any scientific phenomenon. We diagnose the confusion about explaining neural networks within the machine learning literature as an equivocation on “explainability,” “understandability” and “interpretability.” To remedy this, we distinguish between these notions, and answer by offering a theory and typology of interpretation in machine learning. Interpretation is something one does to an explanation with the aim of producing another, more understandable, explanation. As with explanation, there are various concepts and methods involved in interpretation: Total or Partial, Global or Local, and Approximative or Isomorphic. Our account of “interpretability” is consistent with uses in the machine learning literature, in keeping with the philosophy of explanation and understanding, and pays special attention to medical artificial intelligence systems. (shrink)

This volume is a wide-ranging examination of denial and ideological denialism. It offers a readable overview of the psychology and social science of bias, self-deception, and denial, and examines the role of ideological denialism in conflicts over science and public policy, politics, and culture.

There is a long history and growing evidence base that the use of drugs, such as anabolic-androgenic steroids, to enhance human performance is common amongst armed forces, including in Australia. We should not be surprised that this might have occurred for it has long been predicted by observers. It is a commonplace of many recent discussion of the future of warfare and future military technology to proclaim the imminent arrival of Super Soldiers, whose capacities are modified via drugs, digital technology (...) and genetic engineering, in ways that increase their performance exponentially. This is what some observers have referred to as the “Gladiator Model” wherein the aim is to create soldiers able to perform feats of which ordinary citizens are not capable. One key aspect of this “gladiator project” is the use of illicit drugs to enhance performance. Could we use drugs, such as steroids or amphetamines, to enhance performance? Should we use such drugs? In this paper we explore the ethics of creating Super Soldiers, and raise issues of consent, coercion and the extent to which such use is permitted or condemned by just war theory. We conclude that much will depend on the extent to which such use is harmful to the soldiers themselves and this is still an open question. (shrink)

Francis Ysidro Edgeworth’s unduly neglected monograph New and Old Methods of Ethics (1877) advances a highly sophisticated and mathematized account of social well-being in the utilitarian tradition of his 19th-century contemporaries. This article illustrates how his usage of the ‘calculus of variations’ was combined with findings from empirical psychology and economic theory to construct a consequentialist axiological framework. A conclusion is drawn that Edgeworth is a methodological predecessor to several important methods, ideas, and issues that continue to be discussed in (...) contemporary social well-being studies. (shrink)

A growing body of empirical evidence suggests that folk knowledge attribution practices regarding some epistemological thought experiments differ significantly from the consensus found in the philosophical literature. More specifically, laypersons are likely to ascribe knowledge in the so-called Authentic Evidence Gettier-style cases, while most philosophers deny knowledge in these cases. The intuitions shared by philosophers are often used as evidence in favor (or against) certain philosophical analyses of the notion of knowledge. However, the fact that these intuitions are not universal, (...) as non-philosophers do not sympathize with verdicts made by philosophers, is problematic and requires some explanation. Recently, a promising theoretical approach emerged that could be used to explain away unexpected folk knowledge attributions. According to the protagonist projection hypothesis, when subjects answer questions about some hypothetical scenario, their judgments might result from adopting the cognitive perspective of the protagonist in the given scenario. Previous experimental findings suggest protagonist projection might be responsible for problematic knowledge attributions in Gettier-style cases. This paper reports data collected in an experiment which focused on five different Authentic Evidence Gettier-style scenarios and investigated the impact of protagonist projection on folk knowledge ascriptions in such cases. The results bring some support to the protagonist projection hypothesis, but do not allow to explain away a substantial number of problematic folk knowledge attributions. (shrink)

Zuidema et al. illustrate how empirical AGL studies can benefit from computational models and techniques. Computational models can help clarifying theories, and thus in delineating research questions, but also in facilitating experimental design, stimulus generation, and data analysis. The authors show, with a series of examples, how computational modeling can be integrated with empirical AGL approaches, and how model selection techniques can indicate the most likely model to explain experimental outcomes.

Can we be realists about a general category but pluralists about concepts relating to that category? I argue that paleobiological methods of delineating species are not affected by differing species concepts, and that this underwrites an argument that species concept pluralists should be species category realists. First, the criteria by which paleobiologists delineate species are ‘indifferent’ to the species category. That is, their method for identifying species applies equally to any species concept. To identify a new species, paleobiologists show that (...) interspecies processes, such as phenotypic plasticity, sexual dimorphism, or ontogenetic diversity, are a worse explanation of the variance between specimens than intraspecies processes. As opposed to operating under a single or plurality of species concepts, then, paleobiologists use abductive inferences, which would be required regardless of any particular species concept. Second, paleobiologists are frequently interested in large-scale, long-term morphological patterns in the fossil record, and resolving the fine-grained differences which result from different species concepts is irrelevant at those scales. I argue that this claim about paleobiological practice supports what I call ‘indifference realism’ about the species category. The indifference realist argues that when legitimate investigation is indifferent to a plurality of concepts, we should be realists about the category those concepts pertain to. (shrink)

In their widely cited article, Swain et al. report data that, purportedly, demonstrates instability of folk epistemic intuitions regarding the famous Truetemp case authored by Keith Lehrer. What they found is a typical example of priming, where presenting one stimulus before presenting another stimulus affects the way the latter is perceived or evaluated. In their experiment, laypersons were less likely to attribute knowledge in the Truetemp case when they first read a scenario describing a clear case of knowledge, and more (...) likely to ascribe knowledge when they first read a vignette describing a clear case of nonknowledge. We tried to replicate Swain et al. findings in three experiments: one devised in Polish, and the other two conducted in English. We found no priming effect for knowledge ratings regarding the Truetemp case – laypersons were similarly likely to attribute knowledge in all three investigated conditions. These three failed replication attempts are not decisive as to whether the priming effect in question occurs, nevertheless, the collected data puts Swain et al. conclusions about instability of epistemic intuitions in jeopardy. (shrink)

[A. W. Moore] There are criteria of ineffability whereby, even if the concept of ineffability can never serve to modify truth, it can sometimes serve to modify other things, specifically understanding. This allows for a reappraisal of the dispute between those who adopt a traditional reading of Wittgenstein's Tractatus and those who adopt the new reading recently championed by Diamond, Conant, and others. By maintaining that what the nonsense in the Tractatus is supposed to convey is ineffable understanding, rather than (...) ineffable truth, we can do considerable justice to each of these readings. We can also do considerable justice to the Tractatus. /// [Peter Sullivan] Moore proposes to cut between 'traditional' and 'new' approaches to the Tractatus, suggesting that Wittgenstein's intention is to convey, through the knowing use of nonsense, ineffable understanding. I argue, first, that there is indeed room for a proposal of Moore's general kind. Secondly, though, I question whether Moore's actual proposal is not more in tune with Wittgenstein's later thought than with the attitude of the Tractatus. (shrink)