Editors van Ditmarsch, Hendriks and Verbrugge of this special issue of topiCS on lying describe some recent trends in research on lying from a multidisciplinary perspective, including logic, philosophy, linguistics, psychology, cognitive science, behavioral economics, and artificial intelligence. Furthermore, they outline the seven contributions to this special issue.

When agents know a protocol, this leads them to have expectations about future observations. Agents can update their knowledge by matching their actual observations with the expected ones. They eliminate states where they do not match. In this paper, we study how agents perceive protocols that are not commonly known, and propose a semantics-driven logical framework to reason about knowledge in such scenarios. In particular, we introduce the notion of epistemic expectation models and a propositional dynamic logic-style epistemic logic for (...) reasoning about knowledge via matching agentsÊ expectations to their observations. It is shown how epistemic expectation models can be obtained from epistemic protocols. Furthermore, a characterization is presented of the effective equivalence of epistemic protocols. We introduce a new logic that incorporates updates of protocols and that can model reasoning about knowledge and observations. Finally, the framework is extended to incorporate fact-changing actions, and a worked-out example is given. © 2013 Elsevier B.V. (shrink)

Using a knowledge-based approach, we derive a protocol, MACOM1, for the sequence transmission problem from one agent to a group of agents. The protocol is correct for communication media where deletion and reordering errors may occur. Furthermore, it is shown that after k rounds the agents in the group attain depth k general knowledge about the members of the group and the values of the messages. Then, we adjust this algorithm for multi-agent communication for the process of teamwork. MACOM1 solves (...) the sequence transmission problem from one agent to a group of agents, but does not fully comply with the type of dialogue communication needed for teamwork. The number of messages being communicated per communication between the initiator and the other agents from the group can differ. Furthermore, the teamwork process can require the communication algorithm to handle changes of initiator. We show the adjustments that have to be made to MACOM1 to handle these properties of teamwork. For the new multi-agent communication algorithm, MACOM2, it is shown that the gaining of knowledge required for a successful teamwork process is still guaranteed. (shrink)

This article takes off from Johan van Benthem’s ruminations on the interface between logic and cognitive science in his position paper “Logic and reasoning: Do the facts matter?”. When trying to answer Van Benthem’s question whether logic can be fruitfully combined with psychological experiments, this article focuses on a specific domain of reasoning, namely higher-order social cognition, including attributions such as “Bob knows that Alice knows that he wrote a novel under pseudonym”. For intelligent interaction, it is important that the (...) participants recursively model the mental states of other agents. Otherwise, an international negotiation may fail, even when it has potential for a win-win solution, and in a time-critical rescue mission, a software agent may depend on a teammate’s action that never materializes. First a survey is presented of past and current research on higher-order social cognition, from the various viewpoints of logic, artificial intelligence, and psychology. Do people actually reason about each other’s knowledge in the way proscribed by epistemic logic? And if not, how can logic and cognitive science productively work together to construct more realistic models of human reasoning about other minds? The paper ends with a delineation of possible avenues for future research, aiming to provide a better understanding of higher-order social reasoning. The methodology is based on a combination of experimental research, logic, computational cognitive models, and agent-based evolutionary models. Keywords Epistemic logic - Cognitive science - Intelligent interaction - Cognitive modeling. (shrink)

Behavior oftentimes allows for many possible interpretations in terms of mental states, such as goals, beliefs, desires, and intentions. Reasoning about the relation between behavior and mental states is therefore considered to be an effortful process. We argue that people use simple strategies to deal with high cognitive demands of mental state inference. To test this hypothesis, we developed a computational cognitive model, which was able to simulate previous empirical findings: In two-player games, people apply simple strategies at first. They (...) only start revising their strategies when these do not pay off. The model could simulate these findings by recursively attributing its own problem solving skills to the other player, thus increasing the complexity of its own inferences. The model was validated by means of a comparison with findings from a developmental study in which the children demonstrated similar strategic developments. (shrink)

Editors van Ditmarsch, Hendriks and Verbrugge of this special issue of topiCS on lying describe some recent trends in research on lying from a multidisciplinary perspective, including logic, philosophy, linguistics, psychology, cognitive science, behavioral economics, and artificial intelligence. Furthermore, they outline the seven contributions to this special issue.

We overview logical and computational explanations of the notion of tractability as applied in cognitive science. We start by introducing the basics of mathematical theories of complexity: computability theory, computational complexity theory, and descriptive complexity theory. Computational philosophy of mind often identifies mental algorithms with computable functions. However, with the development of programming practice it has become apparent that for some computable problems finding effective algorithms is hardly possible. Some problems need too much computational resource, e.g., time or memory, to (...) be practically computable. Computational complexity theory is concerned with the amount of resources required for the execution of algorithms and, hence, the inherent difficulty of computational problems. An important goal of computational complexity theory is to categorize computational problems via complexity classes, and in particular, to identify efficiently solvable problems and draw a line between tractability and intractability. -/- We survey how complexity can be used to study computational plausibility of cognitive theories. We especially emphasize methodological and mathematical assumptions behind applying complexity theory in cognitive science. We pay special attention to the examples of applying logical and computational complexity toolbox in different domains of cognitive science. We focus mostly on theoretical and experimental research in psycholinguistics and social cognition. (shrink)

We investigate the theory IΔ 0 + Ω 1 and strengthen [Bu86. Theorem 8.6] to the following: if NP ≠ co-NP. then Σ-completeness for witness comparison formulas is not provable in bounded arithmetic. i.e. $I\delta_0 + \Omega_1 + \nvdash \forall b \forall c (\exists a(\operatorname{Prf}(a.c) \wedge \forall = \leq a \neg \operatorname{Prf} (z.b))\\ \rightarrow \operatorname{Prov} (\ulcorner \exists a(\operatorname{Prf}(a. \bar{c}) \wedge \forall z \leq a \neg \operatorname{Prf}(z.\bar{b})) \urcorner)).$ Next we study a "small reflection principle" in bounded arithmetic. We prove that for (...) all sentences φ $I\Delta_0 + \Omega_1 \vdash \forall x \operatorname{Prov}(\ulcorner \forall y \leq \bar{x} (\operatorname{Prf} (y. \overline{\ulcorner \varphi \urcorner}) \rightarrow \varphi)\urcorner).$ The proof hinges on the use of definable cuts and partial satisfaction predicates akin to those introduced by Pudlak in [Pu86]. Finally, we give some applications of the small reflection principle, showing that the principle can sometimes be invoked in order to circumvent the use of provable Σ-completeness for witness comparison formulas. (shrink)

In everyday life it is often important to have a mental model of the knowledge, beliefs, desires, and intentions of other people. Sometimes it is even useful to to have a correct model of their model of our own mental states: a second-order Theory of Mind. In order to investigate to what extent adults use and acquire complex skills and strategies in the domains of Theory of Mind and the related skill of natural language use, we conducted an experiment. It (...) was based on a strategic game of imperfect information, in which it was beneficial for participants to have a good mental model of their opponent, and more specifically, to use second-order Theory of Mind. It was also beneficial for them to be aware of pragmatic inferences and of the possibility to choose between logical and pragmatic language use. We found that most participants did not seem to acquire these complex skills during the experiment when being exposed to the game for a number of different trials. Nevertheless, some participants did make use of advanced cognitive skills such as second-order Theory of Mind and appropriate choices between logical and pragmatic language use from the beginning. Thus, the results differ markedly from previous research. (shrink)

Let PLω be the provability logic of IΔ0 + ω1. We prove some containments of the form L ⊆ PLω < Th(C) where L is the provability logic of PA and Th(C) is a suitable class of Kripke frames.

Many social situations require a mental model of the knowledge, beliefs, goals, and intentions of others: a Theory of Mind (ToM). If a person can reason about other people’s beliefs about his own beliefs or intentions, he is demonstrating second-order ToM reasoning. A standard task to test second-order ToM reasoning is the second-order false belief task. A different approach to investigating ToM reasoning is through its application in a strategic game. Another task that is believed to involve the application of (...) second-order ToM is the comprehension of sentences that the hearer can only understand by considering the speaker’s alternatives. In this study we tested 40 children between 8 and 10 years old and 27 adult controls on (adaptations of) the three tasks mentioned above: the false belief task, a strategic game, and a sentence comprehension task. The results show interesting differences between adults and children, between the three tasks, and between this study and previous research. (shrink)

The knower paradox states that the statement ‘We know that this statement is false’ leads to inconsistency. This article presents a fresh look at this paradox and some well-known solutions from the literature. Paul Égré discusses three possible solutions that modal provability logic provides for the paradox by surveying and comparing three different provability interpretations of modality, originally described by Skyrms, Anderson, and Solovay. In this article, some background is explained to clarify Égré’s solutions, all three of which hinge on (...) intricacies of provability logic and its arithmetical interpretations. To check whether Égré’s solutions are satisfactory, we use the criteria for solutions to paradoxes defined by Susan Haack and we propose some refinements of them. This article aims to describe to what extent the knower paradox can be solved using provability logic and to what extent the solutions proposed in the literature satisfy Haack’s criteria. Finally, the article offers some reflections on the relation between knowledge, proof, and provability, as inspired by the knower paradox and its solutions. (shrink)

We prove that all extensions of Heyting Arithmetic with a logic that has the finite frame property possess the de Jongh property.

How do people reason about their opponent in turn-taking games? Often, people do not make the decisions that game theory would prescribe. We present a logic that can play a key role in understanding how people make their decisions, by delineating all plausible reasoning strategies in a systematic manner. This in turn makes it possible to construct a corresponding set of computational models in a cognitive architecture. These models can be run and fitted to the participants’ data in terms of (...) decisions, response times, and answers to questions. We validate these claims on the basis of an earlier game-theoretic experiment about the turn-taking game “Marble Drop with Surprising Opponent”, in which the opponent often starts with a seemingly irrational move. We explore two ways of segregating the participants into reasonable “player types”. The first way is based on latent class analysis, which divides the players into three classes according to their first decisions in the game: Random players, Learners, and Expected players, who make decisions consistent with forward induction. The second way is based on participants’ answers to a question about their opponent, classified according to levels of theory of mind: zero-order, first-order and second-order. It turns out that increasing levels of decisions and theory of mind both correspond to increasing success as measured by monetary awards and increasing decision times. Next, we use the logical language to express different kinds of strategies that people apply when reasoning about their opponent and making decisions in turn-taking games, as well as the ‘reasoning types’ reflected in their behavior. Then, we translate the logical formulas into computational cognitive models in the PRIMs architecture. Finally, we run two of the resulting models, corresponding to the strategy of only being interested in one’s own payoff and to the myopic strategy, in which one can only look ahead to a limited number of nodes. It turns out that the participant data fit to the own-payoff strategy, not the myopic one. The article closes the circle from experiments via logic and cognitive modelling back to predictions about new experiments. (shrink)

We prove that all extensions of Heyting Arithmetic with a logic that has the finite frame property possess the de Jongh property.

dialectical frameworks have been introduced as a formalism for modeling argumentation allowing general logical satisfaction conditions and the relevant argument evaluation. Different criteria used to settle the acceptance of arguments are called semantics. Semantics of ADFs have so far mainly been defined based on the concept of admissibility. However, the notion of strongly admissible semantics studied for abstract argumentation frameworks has not yet been introduced for ADFs. In the current work we present the concept of strong admissibility of interpretations for (...) ADFs. Further, we show that strongly admissible interpretations of ADFs form a lattice with the grounded interpretation as the maximal element. We also present algorithms to answer the following decision problems: whether a given interpretation is a strongly admissible interpretation of a given ADF, and whether a given argument is strongly acceptable/deniable in a given interpretation of a given ADF. In addition, we show that the strongly admissible semantics of ADFs forms a proper generalization of the strongly admissible semantics of AFs. (shrink)

Nghiên cứu xác định các nhân tố ảnh hưởng đến Vận dụng kế toán môi trường của các doanh nghiệp sản xuất tỉnh Hưng Yên. Kết quả nghiên cứu xác định có 5 nhân tố ảnh hưởng, bao gồm: Lĩnh vực hoạt động sản xuất của doanh nghiệp; Nguồn lực tài chính; Nhận thức của chủ thể doanh nghiệp và Áp lực của các bên liên quan; Quy mô doanh nghiệp ảnh hưởng đến việc vận dụng kế toán môi trường. (...) Trong đó, nhân tố Lĩnh vực hoạt động sản xuất tác động mạnh nhất đến việc Vận dụng kế toán môi trường trong các doanh nghiệp sản xuất tại tỉnh Hưng Yên. (shrink)

Als Plato de hedendaagse academie zou aanschouwen, zou hij niet alleen stomverbaasd zijn over de massificatie en de byzantijnse bureaucratie, maar gezien het ethische doel van de universiteit zou hij ook reden hebben om bezorgd te zijn.

Obligations can be affected by knowledge. Several approaches exist to formalize knowledge-based obligations, but no formalism has been developed yet to capture the dynamic interaction between knowledge and obligations. We introduce the dynamic extension of an existing logic for knowledge-based obligations here. We motivate the logic by analyzing several scenarios and by showing how it can capture in an original manner several fundamental deontic notions such as absolute, prima facie and all-things-considered obligations. Finally, in the dynamic epistemic logic tradition, we (...) provide reduction axioms for the dynamic operator of the new logic. (shrink)

The my-side bias is a well-documented cognitive bias in the evaluation of arguments, in which reasoners in a discussion tend to overvalue arguments that confirm their prior beliefs, while undervaluing arguments that attack their prior beliefs. The first part of this paper develops and justifies a Bayesian model of myside bias at the level of individual reasoning. In the second part, this Bayesian model is implemented in an agent-based model of group discussion among myside-biased agents. The agent-based model is then (...) used to perform a number of experiments with the objective to study whether the myside bias hinders or enhances the ability of groups to collectively track the truth, that is, to reach the correct answer to a given binary issue. An analysis of the results suggests the following: First, whether the truth-tracking ability of groups is helped or hindered by myside bias crucially depends on how the strength of myside bias is differentially distributed across subgroups of discussants holding different beliefs. Second, small groups are more likely to track the truth than larger groups, suggesting that increasing group size has a detrimental effect on collective truth-tracking through discussion. (shrink)

This thesis develops an account of ethics called the Linguistic Perspective, which is realist in a practical, non-theoretical sense, and is rooted Wittgenstein’s 'On Certainty'. On this account, normativity is intrinsic to human action and language; the norms of ethics are the logical limits of the most basic, unassailable concepts that practical reasoning requires for intelligibility. Part I lays the groundwork for this account by developing a Tractarian Reading of 'On Certainty'. Here, I contend that 'On Certainty' is primarily concerned (...) with the logical requirements and limits of language, and like the 'Tractatus' it develops these concerns in a realist direction. 'On Certainty', I argue, does so by advancing three key claims about logic: Everything descriptive of a language-game is part of logic; the boundary between logical and empirical propositions is not sharp; logic is founded on action. I investigate these claims, with particular emphasis on how natural human reactions provide logical conditions for the possibility of language. Hinge propositions, I argue, are rooted in these reactions; they point us to the limits of intelligibility of our concepts, though these limits are vague and inarticulable. In Part II, I discuss the practical syllogism and its validity. I argue that practical reasoning is distinct from theoretical reasoning and embodies a different standard of logical validity for inference. This standard is not strict and narrow, but creative and wide open; furthermore, it is an intrinsically ethical standard. Then, I advance my Linguistic Perspective on ethics, according to which human reactions provide the conditions for ethical normativity, just as they do for language. I argue that we can access ethical norms by reflecting on those linguistic concepts that are rooted in the most basic patterns of action, and by identifying the norms of behaviour that ensure the development of those concepts without contradiction. (shrink)

Virtue ethics has now well and truly established itself as one of the main normative theories. It is now quite common, and indeed, expected, for virtue ethics to be included, alongside deontology and consequentialism, in any Moral Philosophy syllabus worth its salt. Students are typically introduced to virtue ethics only after studying the other two normative theories, and this often sets the scene for various sorts of misunderstandings, with students expecting virtue ethics to be based on the same set of (...) rules and assumptions as its rivals. Or at least, that is my experience. In this paper I want to focus on one such misunderstanding, which arises when trying to apply virtue ethics to our judgments of other people’s actions and behaviour. Although there are countless ways in which a theory can be misunderstood, it is worth guarding against this one in particular, given that it can lead someone who takes virtue ethics seriously to act in ways that are not virtuous, or even vicious. I begin by making a few remarks about the role of normative theory, and then go on to give four examples of how applying virtue ethics can lead to poor behaviour. In the final section I identify the mistake in question and conclude by noting how it can be avoided. (shrink)

The paper by Monteiro, Musten and Compson (2014) is to be commended for providing a comprehensive discussion of the compatibility issues arising from the integration of mindfulness – a 2,500-year-old Buddhist practice – into research and applied psychological domains. Consistent with the observations of various others (e.g., Dunne, 2011; Kang & Whittingham, 2010), Monteiro and colleagues have not only highlighted that there are differences in how Buddhism and contemporary mindfulness interventional approaches interpret and contextualize mindfulness, but there are also differing (...) interpretations of mindfulness within Buddhism. These apparent differences within Buddhism are arguably more noticeable when making comparisons across Buddhist vehicles (i.e., Theravada, Mahayana, Vajrayana), but to a lesser extent intra-vehicular differences can also be said to exist (i.e., differences between Buddhist traditions of the same vehicle). This commentary investigates the validity of some of these different Buddhist constructions of mindfulness, and then discusses how a better understanding of their scriptural and conceptual soundness (or lack thereof) may help to reconcile some of the actual and perceived incompatibility between Buddhist practice and contemporary secular mindfulness-based approaches. (shrink)

A philosophical analysis of the future of art must explicate art’s nature, as well as discuss the historical nature of art practice. Only so can one explain those contemporary developments in art which have led many people to doubt whether art even has a future. Arguably, art practice as we know it started with the installing of the modern system of the fine arts. I explain the pragmatics of art so understood, and suggest that we can define art, internally. We (...) need not resort to a nominalist approach that claims that something is a work of art if some representative of the art world says it is. Instead of such empty proceduralism, I explain how all art’s focal objects, persons and activities are mutually adjusted and can only be understood in light of the whole. Within that whole of art practice, the contemporary samples of art’s alleged failure can be assessed. Now the modern system treats the arts as aesthetic, and prescribes that to judge a work one has to experience it for oneself. Why this should be so, I explain in terms of the perceivability of the artist in the work. Next, art develops as a whole rather than in a piecemeal manner. Particular contemporary works may alienate the audience from art practice, yet once they are recognisably in a procedure which has clear artistic potency they can be incorporated fruitfully in the modern system as explained. In all, the future of art is the future of the modern system, unless the system as a whole goes. We see this happen with the Taliban, but do not ourselves seem to be vulnerable to such onslaught. Yet, our culture may be in the process of eliminating the human mind from the objective reality, and if nothing stops us, art too will come to an end. Luckily, by then we will not be such as to lament that demise. (shrink)

In an earlier issue, I argue (2014) that psychology and epistemology should distinguish religious credence from factual belief. These are distinct cognitive attitudes. Levy (2017) rejects this distinction, arguing that both religious and factual “beliefs” are subject to “shifting” on the basis of fluency and “intuitiveness.” Levy’s theory, however, (1) is out of keeping with much research in cognitive science of religion and (2) misrepresents the notion of factual belief employed in my theory. So his claims don’t undermine my distinction. (...) I conclude by suggesting some approaches to empirically testing our views. (shrink)

This paper presents an attempt to bridge the gap between logical and cognitive treatments of strategic reasoning in games. There have been extensive formal debates about the merits of the principle of backward induction among game theorists and logicians. Experimental economists and psychologists have shown that human subjects, perhaps due to their bounded resources, do not always follow the backward induction strategy, leading to unexpected outcomes. Recently, based on an eye-tracking study, it has turned out that even human subjects who (...) produce the outwardly correct ‘backward induction answer’ use a different internal reasoning strategy to achieve it. The paper presents a formal language to represent different strategies on a finer-grained level than was possible before. The language and its semantics help to precisely distinguish different cognitive reasoning strategies, that can then be tested on the basis of computational cognitive models and experiments with human subjects. The syntactic framework of the formal system provides a generic way of constructing computational cognitive models of the participants of the Marble Drop game. (shrink)

Galileo proposed what has been called a proto-inertial principle, according to which a body un horizontal motion will conserve its motion. This statement is only true in counterfactual circumstances where no impediments are present. This paper analyzes how Galileo could have been justified in ascribing definite properties to this idealized motion. This analysis is then used to better understand the relation of Galileo’s proto-inertial principle to the classical inertial principle.

As artefacts, the worlds of digital games are designed and developed to fulfil certain expressive, functional, and experiential objectives. During play, players infer these purposes and aspirations from various aspects of their engagement with the gameworld. Influenced by their sociocultural backgrounds, sensitivities, gameplay preferences, and familiarity with game conventions, players construct a subjective interpretation of the intentions with which they believe the digital game in question was created. By analogy with the narratological notion of the implied author, we call the (...) figure to which players ascribe these intentions ‘the implied designer’. In this article, we introduce the notion of the implied designer and present an initial account of how appreciators ascribe meaning to interactive, fictional gameworlds and act within them based on what they perceive to be the designer’s intentions. (shrink)

Imaginative representations are crucial to the generation of action--both pretense and plain action. But well-known theories of imagination on offer in the literature [1] fail to describe how perceptually-formatted imaginings (mental images) and motor imaginings function in the generation of action and [2] fail to recognize the important fact that spatially rich imagining can be integrated into one's perceptual manifold. In this paper, I present a theory of imagining that shows how spatially rich imagining functions in the generation of action. (...) I also describe the imaginative structures behind two under-explored forms of action: semi-pretense and pretense layering. In addition, I suggest that my theory of imagining meshes better than the competitors with current work in cognitive and affective neuroscience. (shrink)

Three puzzles about self-deception make this mental phenomenon an intriguing explanatory target. The first relates to how to define it without paradox; the second is about how to make sense of self-deception in light of the interpretive view of the mental that has become widespread in philosophy; and the third concerns why it exists at all. In this paper I address the first and third puzzles. First, I define self-deception. Second, I criticize Robert Trivers' attempt to use adaptionist evolutionary psychology (...) to solve the third puzzle (existence). Third, I sketch a theory to replace that of Trivers. Self-deception is not an adaptation, but a spandrel in the sense that Gould and Lewontin give the term: a byproduct of other features of human (cognitive) architecture. Self-deception is so undeniable a fact of human life that if anyone tried to deny its existence, the proper response would be to accuse this person of it. (Allen Wood, 1988). (shrink)

Propositional dynamic logic is complete but not compact. As a consequence, strong completeness requires an infinitary proof system. In this paper, we present a short proof for strong completeness of $$\mathsf{PDL}$$ relative to an infinitary proof system containing the rule from [α; β n ]φ for all $$n \in {\mathbb{N}}$$, conclude $$[\alpha;\beta^*] \varphi$$. The proof uses a universal canonical model, and it is generalized to other modal logics with infinitary proof rules, such as epistemic knowledge with common knowledge. Also, we (...) show that the universal canonical model of $$\mathsf{PDL}$$ lacks the property of modal harmony, the analogue of the Truth lemma for modal operators. (shrink)

Objectives. The purpose of this study was to conduct the first randomized controlled trial (RCT) to evaluate the effectiveness of a second-generation mindfulness-based intervention (SG-MBI) for treating fibromyalgia syndrome (FMS). Compared to first generation mindfulness-based interventions, SG-MBIs are more acknowledging of the spiritual aspect of mindfulness. Design. A RCT employing intent-to-treat analysis. Methods. Adults with FMS received an 8-week SG-MBI known as meditation awareness training (MAT; n = 74) or an active control intervention known as cognitive behaviour theory for groups (...) (n = 74). Assessments were performed at pre-, post-, and 6-month follow-up phases. Results. Meditation awareness training participants demonstrated significant and sustained improvements over control group participants in FMS symptomatology, pain perception, sleep quality, psychological distress, non-attachment (to self, symptoms, and environment), and civic engagement. A mediation analysis found that (1) civic engagement partially mediated treatment effects for all outcome variables, (2) non-attachment partially mediated treatment effects for psychological distress and sleep quality, and (3) non-attachment almost fully mediated treatment effects for FMS symptomatology and pain perception. Average daily time spent in meditation was found to be a significant predictor of changes in all outcome variables. Conclusions. Meditation awareness training may be a suitable treatment for adults with FMS and appears to ameliorate FMS symptomatology and pain perception by reducing attachment to self. (shrink)

I argue that psychology and epistemology should posit distinct cognitive attitudes of religious credence and factual belief, which have different etiologies and different cognitive and behavioral effects. I support this claim by presenting a range of empirical evidence that religious cognitive attitudes tend to lack properties characteristic of factual belief, just as attitudes like hypothesis, fictional imagining, and assumption for the sake of argument generally lack such properties. Furthermore, religious credences have distinctive properties of their own. To summarize: factual beliefs (...) are practical setting independent, cognitively govern other attitudes, and are evidentially vulnerable. By way of contrast, religious credences have perceived normative orientation, are susceptible to free elaboration, and are vulnerable to special authority. This theory provides a framework for future research in the epistemology and psychology of religious credence. (shrink)

I raise the question of what cognitive attitude self-deception brings about. That is: what is the product of self-deception? Robert Audi and Georges Rey have argued that self-deception does not bring about belief in the usual sense, but rather “avowal” or “avowed belief.” That means a tendency to affirm verbally (both privately and publicly) that lacks normal belief-like connections to non-verbal actions. I contest their view by discussing cases in which the product of self-deception is implicated in action in a (...) way that exemplifies the motivational role of belief. Furthermore, by applying independent criteria of what it is for a mental state to be a belief, I defend the more intuitive view that being self-deceived that p entails believing that p. Beliefs (i) are the default for action relative to other cognitive attitudes (such as imagining and hypothesis) and (ii) have cognitive governance over the other cognitive attitudes. I explicate these two relations and argue that they obtain for the product of self-deception. (shrink)

It is argued that, contrary to prevailing opinion, Bas van Fraassen nowhere uses the argument from underdetermination in his argument for constructive empiricism. It is explained that van Fraassen’s use of the notion of empirical equivalence in The Scientific Image has been widely misunderstood. A reconstruction of the main arguments for constructive empiricism is offered, showing how the passages that have been taken to be part of an appeal to the argument from underdetermination should actually be interpreted.

STIT logic is a prominent framework for the analysis of multi-agent choice-making. In the available deontic extensions of STIT, the principle of Ought-implies-Can (OiC) fulfills a central role. However, in the philosophical literature a variety of alternative OiC interpretations have been proposed and discussed. This paper provides a modular framework for deontic STIT that accounts for a multitude of OiC readings. In particular, we discuss, compare, and formalize ten such readings. We provide sound and complete sequent-style calculi for all of (...) the various STIT logics accommodating these OiC principles. We formally analyze the resulting logics and discuss how the different OiC principles are logically related. In particular, we propose an endorsement principle describing which OiC readings logically commit one to other OiC readings. (shrink)

Iconic photographs are visual arguments depicting an, often dramatic, particular situation showing victims of disasters. Spectators watching the photo of the particular situation, empathise with it, and project the feelings evoked onto the events that form the context for the scene in the picture. This mobilises them into political action. In the process, however, the depicted personal misery is perused to exemplify the larger events. The tragedy of iconic photographs is analysed not as the misery experienced by the depicted persons, (...) but as the breach of their right to shame which is required for the photo to acquire iconicity. Examples are addressed, as well as the contrast classes of the self-portrait and Byzantine icons. (shrink)

In dit artikel wordt de dominante metafysische oriëntatie in de hedendaagse meta-ethiek kritisch onder de loep genomen. Het hedendaagse debat, dat zich voornamelijk richt op de vraag hoe moraliteit metafysisch gezien 'in de werkelijkheid past', wordt gekenmerkt door een reeks complexe en soms esoterische discussies die, zo wordt betoogd, weinig bijdragen aan ons filosofische begrip van ethiek. Deze focus op metafysische grondslagen heeft geleid tot een tunnelvisie, waarin het debat gevangen zit tussen steeds ingewikkeldere vormen van non-cognitivisme, herconceptualisaties van 'objectiviteit' (...) en metafysische acrobatiek. Als alternatief wordt voorgesteld de aandacht in de meta-ethiek te verleggen naar het domein van praktisch redeneren. Door ons te concentreren op de patronen van geldige praktische argumentatie en het soort overwegingen dat mensen daadwerkelijk overtuigt, kunnen we wellicht een beter inzicht krijgen in de aard van ethische normativiteit en de rol ervan in ons leven. Het artikel pleit voor een meer pragmatische en minder metafysisch beladen benadering van de meta-ethiek, die zich richt op de daadwerkelijke praktijken van moreel redeneren en argumenteren. (shrink)

This paper claims that the standard characterization of the motivational role of belief should be supplemented. Beliefs do not only, jointly with desires, cause and rationalize actions that will satisfy the desires, if the beliefs are true; beliefs are also the practical ground of other cognitive attitudes, like imagining, which means beliefs determine whether and when one acts with those other attitudes as the cognitive inputs into choices and practical reasoning. In addition to arguing for this thesis, I take issue (...) with Velleman's argument that belief and imagining cannot be distinguished on the basis of motivational role. (shrink)

I raise three puzzles concerning self-deception: (i) a conceptual paradox, (ii) a dilemma about how to understand human cognitive evolution, and (iii) a tension between the fact of self-deception and Davidson’s interpretive view. I advance solutions to the first two and lay a groundwork for addressing the third. The capacity for self-deception, I argue, is a spandrel, in Gould’s and Lewontin’s sense, of other mental traits, i.e., a structural byproduct. The irony is that the mental traits of which self-deception is (...) a spandrel/byproduct are themselves rational. (shrink)

I here defend historical entitlement theories of property rights against a popular charge. This is the objection that such theories fail because no convincing account of original appropriation exists. I argue that this argument assumes a certain reading of historical entitlement theory and I spell out an alternative reading against which it misfires. On this reading, the role of acts of original appropriation is not to justify but to individuate people’s holdings. I argue that we can identify which acts count (...) as original appropriation against the background of a general justification for a practice of property rights. On this view, what I will call ‘natural’ acts of original appropriation are acts by which a person begins to satisfy the general conditions for justified ownership. Finally, I offer an interpretation of John Locke's theory of appropriation along these lines and argue that it provides an attractive reading of his view. (shrink)

Jill de Villiers has argued that children's mastery of sentential complements plays a crucial role in enabling them to succeed at false-belief tasks. Josef Perner has disputed that and has argued that mastery of false-belief tasks requires an understanding of the multiplicity of perspectives. This paper attempts to resolve the debate by explicating attributions of desires and beliefs as extensions of the linguistic practices of making commands and assertions, respectively. In terms of these linguistic practices one can explain why desire-talk (...) will precede belief-talk and why even older children will have difficulty attributing incompatible desires. (shrink)