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)

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.

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)

Metaphors for describing the introduction, impacts, and management of non-native species are numerous and often quite outspoken. Policy-makers have adopted increasingly disputed metaphorical terms from scientific discourse. We performed a critical analysis of the use of strong metaphors in reporting scientific findings to policy-makers. Our analysis shows that perceptions of harm, invasiveness or nativeness are dynamic and inevitably display multiple narratives in science, policy or management. Improving our awareness of multiple expert and stakeholder narratives that exist in the context of (...) non-native species management, as well as metaphorical alternatives, is critical. (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)

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 a recent paper, Max Deutsch argues that there is no “qua problem” for purely causal theories of reference, according to which the extensions of some expressions are grounded in causal relations to members of their extensions during dubbing acts. The qua problem is the difficulty in specifying the facts in virtue of which the reference of “elephant” is grounded by causal contact with something _qua_ elephant and not _qua_ its other properties. If no such specification can be given, reference (...) remains unacceptably indeterminate. This has led many to abandon purely causal reference grounding. Deutsch’s argument for the dissolution of the problem goes as follows: we usually agree that an event can cause its effect _qua_ some of its properties and not _qua_ others. For example, a hot acidic solution causes a glass beaker to break due to its heat and not due to its acidity. Given this assumption, we can simply say that an event caused a dubbing act _qua_ the causally relevant property and not _qua_ the causally irrelevant properties, thus grounding the reference of the term; the qua problem has vanished. I will argue that causal mechanisms, and in particular the facts about causal relevance appealed to by Deutsch, are insufficient to dissolve the qua problem. It is not generally the case that a _unique_ property is causally relevant in purely physical cases of causation; but this is precisely what is required to avoid the referential indeterminacy highlighted by the qua problem. I will demonstrate that if we rely on causal relevance to dissolve the qua problem, there is no way to respect the uniqueness requirement: there are too many properties that are causally relevant to the occurrence of any single dubbing act, including the intentional states of the dubber. (shrink)

In juxtaposition with the myth and tragedy of Ovid’s Medea, this paper investigates the possibility within the Kantian conception of agency of understanding moral evil as acting against one’s better judgment. It defends the thesis that in Kant self-deception, i. e. the intentional untruthfulness to oneself, provides the fundamental structure for choosing against the moral law. I argue that, as Kant’s thought progresses, self-deception slowly proceeds to become the paradigmatic case of moral evil. This is discussed with regard to two (...) important topics in his later moral philosophy: the doctrine of radical evil and the crucial role of the duty of truthfulness in ethics. The inquiry into Kant’s theory of conscience unfolds both against this theoretical background and in light of its historical roots in the polemic against casuistry and probabilism. This contribution closes with a brief look at the tools Kant implements to counter this tendency to self-deception in moral judgment and particularly at the role casuistry plays within his conception of moral education. (shrink)

In this paper I argue that Marxist Buddhism may provide a novel approach to envy in society. It has been argued that envy arises in response to socio-political inequality, which is considered a problem given the social and moral harms associated with envy. Thus, achieving equality is expected to solve the problem of envy. However, anecdotal and empirical evidence suggests that is not the case, and that, in particular, societies inspired by Marxist ideals are not envy-free—if anything, the opposite seems (...) true. Buddhism has traditionally condemned envy. It shares with Marxism the idea that individual wellbeing can be obtained, paradoxically, only through lessening emphasis on individuality—Marxism by means of economic collectivism, Buddhism by means of a spiritual transformation. Both aim at shrinking the self and are keenly aware of how quickly an emphasis on one’s own desires leads to greed and exploitation of others. However, Marxist ideals have failed to yield successful large-scale flourishing communities, while Buddhism is a religion practiced by millions of people but has not advanced a politically progressive agenda in particular. Marxist Buddhism—argue—may perhaps bring together the best of the respective traditions to solve the problem of envy. However, I end by cautioning against such a radical reshaping of our psychological makeup, especially given the evidence that shows that there are morally and prudentially good types of envy, and sketch the profile of a Buddhist-friendly type of envy as an alternative to total eradication. (shrink)

This paper develops and articulates a metaphysics of intersectionality, the idea that multiple axes of social oppression cross-cut each other. Though intersectionality is often described through metaphor, theories of intersectionality can be formulated using the tools of contemporary analytic metaphysics. A central tenet of intersectionality theory, that intersectional identities are inseparable, can be framed in terms of explanatory unity. Further, intersectionality is best understood as metaphysical and explanatory priority of the intersectional category over its constituents, akin to metaphysical priority of (...) the whole over its parts. (shrink)

Widespread causal overdetermination is often levied as an objection to nonreductive theories of minds and objects. In response, nonreductive metaphysicians have argued that the type of overdetermination generated by their theories is different from the sorts of coincidental cases involving multiple rock-throwers, and thus not problematic. This paper pushes back. I argue that attention to differences between types of overdetermination discharges very few explanatory burdens, and that overdetermination is a bigger problem for the nonreductive metaphysician than previously thought.

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)

Debates over what is fundamental assume that what is most fundamental must be either a “top” level (roughly, the biggest or highest-level thing), or a “bottom” level (roughly, the smallest or lowest-level things). Here I sketch an alternative to top-ism and bottom-ism, the view that a middle level could be the most fundamental, and argue for its plausibility. I then suggest that the view satisfies the desiderata of asymmetry, irreflexivity, transitivity, and well-foundedness of fundamentality, that the view has explanatory power (...) on par with that of top-ism and bottom-ism, and that it satisfies the Principle of Sufficient Reason. (shrink)

Proponents of grounding often describe the notion as "metaphysical causation" involving determination and production relations similar to causation. This paper argues that the similarities between grounding and causation are merely superficial. I show that there are several sorts of causation that have no analogue in grounding; that the type of "bringing into existence" that both involve is extremely different; and that the synchronicity of ground and the diachronicity of causation make them too different to be explanatorily intertwined.

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.

The debate on love's reasons ignores unrequited love, which—I argue—can be as genuine and as valuable as reciprocated love. I start by showing that the relationship view of love cannot account for either the reasons or the value of unrequited love. I then present the simple property view, an alternative to the relationship view that is beset with its own problems. In order to solve these problems, I present a more sophisticated version of the property view that integrates ideas from (...) different property theorists in the love literature. However, even this more sophisticated property view falls short in accounting for unrequited love's reasons. In response, I develop a new version of the property view that I call the experiential view. On this view, we love a person not only in virtue of properties shaped by and experienced in a reciprocal loving relationship, but also in virtue of perspectival properties, whose value can be properly assessed also outside of a reciprocal loving relationship. The experiential view is the only view that can account not only for reciprocated love's reasons, but also for unrequited love's reasons. (shrink)

In this paper I present a novel taxonomy of envy, according to which there are four kinds of envy: emulative, inert, aggressive and spiteful envy. An inquiry into the varieties of envy is valuable not only to understand it as a psychological phenomenon, but also to shed light on the nature of its alleged viciousness. The first section introduces the intuition that there is more than one kind of envy, together with the anecdotal and linguistic evidence that supports it. The (...) second section proposes and explains in detail a definition of envy tout court. The third section presents a recurring distinction between behavioral tendencies of envy, which has been explained in two distinct ways, one mostly proposed by psychologists, the other discernible in the philosophical tradition. The fourth section argues that these models of explanation track two variables, whose interplay is responsible for the existence of the four envies. The fifth section illustrates four paradigmatic cases, and provides a detailed analysis of the phenomenology, motivational structure, and typical behavioral outputs of each. The paper ends with a brief discussion of the implications of the taxonomy for moral education. (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 paper gives a framework for understanding causal counterpossibles, counterfactuals imbued with causal content whose antecedents appeal to metaphysically impossible worlds. Such statements are generated by omissive causal claims that appeal to metaphysically impossible events, such as “If the mathematician had not failed to prove that 2+2=5, the math textbooks would not have remained intact.” After providing an account of impossible omissions, the paper argues for three claims: (i) impossible omissions play a causal role in the actual world, (ii) causal (...) counterpossibles have broad applications in philosophy, and (iii) the truth of causal counterpossibles provides evidence for the nonvacuity of counterpossibles more generally. (shrink)

Many philosophers hypothesize that our concept of personal identity is partly constituted by the one-person-one-place rule, which states that a person can only be in one place at a time. This hypothesis has been assumed by the most influential contemporary work on personal identity. In this paper, we report a series of studies testing whether the hypothesis is true. In these studies, people consistently judged that the same person existed in two different places at the same time. This result undermines (...) some widely held philosophical assumptions, supports others, and fits well with recent discoveries on identity judgments about inanimate objects and non-human animals. (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)

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

Theories of causation grounded in counterfactual dependence face the problem of profligate omissions: numerous irrelevant omissions count as causes of an outcome. A recent purported solution to this problem is proportionality, which selects one omission among many candidates as the cause of an outcome. This paper argues that proportionality cannot solve the problem of profligate omissions for two reasons. First: the determinate/determinable relationship that holds between properties like aqua and blue does not hold between negative properties like not aqua and (...) not blue. Negative properties are those at stake in omissive causation. Second: proportionality misconstrues the nature of the problem to be solved. (shrink)

I argue for the view that envy and jealousy are distinct emotions, whose crucial difference is that envy involves a perception of lack while jealousy involves a perception of loss. I start by noting the common practice of using ‘envy’ and ‘jealousy’ almost interchangeably, and I contrast it with the empirical evidence that shows that envy and jealousy are distinct, albeit similar and often co-occurring, emotions. I then argue in favor of a specific way of understanding their distinction: the view (...) that envy is a response to a perceived lack of a valuable object, while jealousy is a response to a perceived loss of a valuable object. I compare such a view with the most compelling alternative theories, and show that it accounts better for paradigmatic cases. I conclude by showing how the lack vs. loss model can handle complications: ambiguous cases, that is, when it is epistemically unclear whether one experiences lack or loss; hybrid cases, that is, when one seems to experience both lack and loss; and borderline cases, that is, when it is metaphysically unclear whether one experiences lack or loss. (shrink)

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

This paper poses an original puzzle about the relationship between causation and moral responsibility called The Moral Difference Puzzle. Using the puzzle, the paper argues for three related ideas: (1) the existence of a new sort of moral luck; (2) an intractable conflict between the causal concepts used in moral assessment; and (3) inability of leading theories of causation to capture the sorts of causal differences that matter for moral evaluation of agents’ causal contributions to outcomes.

This paper argues that several sorts of metaphysical and semantic indeterminacy afflict the causal relation. If, as it is plausible to hold, there is a relationship between causation and moral responsibility, then indeterminacy in the causal relation results in indeterminacy of moral responsibility more generally.

I argue that fitting envy plays a special role in safeguarding our happiness and flourishing. After presenting my theory of envy and its fittingness conditions, I contrast Kant’s view that envy is always unfitting with D’Arms and Jacobson’s defense of fitting envy as an evolutionarily-shaped response to a deep and wide human concern, that is, relative positioning. However, D’Arms and Jacobson don’t go far enough. First, I expand on their analysis of positional goodness, distinguishing between an epistemic claim, according to (...) which we use implicit or explicit comparison to know what position we occupy in a continuum of goodness, and thus to form judgments of goodness, and a metaphysical one, according to which much human goodness depends on implicit or explicit rankings and positionality. Second, I argue that fitting envy is not only intrinsically valuable qua fitting response to authentic goodness, but can be epistemically, morally and prudentially valuable. (shrink)

In "Changing the Past" (2010), Peter van Inwagen argues that a time traveler can change the past without paradox in a growing block universe. After erasing the portion of past existence that generates paradox, a new, non-paradox-generating block can be "grown" after the temporal relocation of the time traveler. -/- I articulate and explore the underlying mechanism of Van Inwagen's model: the time traveler's control over the location of the objective present. Van Inwagen's model is aimed at preventing paradox by (...) changing the past, but it achieves something broader than paradox avoidance: it gives tools for a new model of time travel. I use van Inwagen's tools to develop a new kind of time travel in which in which the location of the objective present is shifted by the time traveler. I call this type of time travel Movable Objective Present, or MOP. After defining MOP, I argue that it is compatible with any theory of time that accepts hypertime, including presentism and moving spotlight theory. (shrink)

I present and develop the view that omissions are de re possibilities of actual events. Omissions do not literally fail to occur; rather, they possibly occur. An omission is a tripartite metaphysical entity composed of an actual event, a possible event, and a contextually specified counterpart relation between them. This view resolves ontological, causal, and semantic puzzles about omissions, and also accounts for important data about moral responsibility for outcomes resulting from omissions.

Episodic and semantic memory are often taken to be fundamentally different mental systems, and contemporary philosophers often pursue research questions about episodic memory, in particular, in isolation from semantic memory. This paper challenges that assumption, and puts pressure on philosophical approaches to memory that break off episodic memory as its own standalone topic. I present and systematize psychological and neuroscientific theories of semanticization, the thesis that memory content tends to drift from episodic to semantic in structure over time and exposure (...) to an environment. Semanticization, I argue, is a long-term interconnection between episodic and semantic systems that requires approaching both the content and function of these two memory systems as a whole. Thus we have a reason to reject projects by Michael Martin, which aims to carve out a uniquely episodic memory content, and Kourken Michaelian, which pairs episodic memory to its own unique function. Instead, seeing declarative memory as a single system with two facets or even a continuum of features allows for deeper insight into both content and function. (shrink)

Living with chronic illness can involve fluctuating between radically different bodily states depending on whether you are experiencing flareups of illness symptoms. What you can do in these bodily states can differ drastically from one another. Sometimes, these fluctuations in abilities lead to fluctuations in your values. That is, your evaluative perspective can shift when you are experiencing flareups of the illness. This can give rise to a puzzle for planning, since it is unclear what you should plan on doing (...) when you do not have a stable set of preferences guiding your plans. This paper argues that one way to navigate this puzzle is for the agent to adopt an overarching plan that mediates the conflict between her differing perspectives. (shrink)

The social categories to which we belong—Latino, disabled, American, woman— causally influence our lives in deep and unavoidable ways. One might be pulled over by police because one is Latino, or one might receive a COVID vaccine sooner because one is American. Membership in these social categories most often falls outside of our control. This paper argues that membership in social categories constitutes a restriction on human agency, creating a situation of non-ideal agency for many human individuals. -/- However, there (...) are ways to resist the causal influence of social categories, and certain socially marginalized groups can be understood as attempting to do just this. I discuss two instances of social category resistance: gender pronouns and the rights of trans individuals. I suggest that the intentional declaration of gender pronouns (“she/her” or “they/them”) can be understood as an attempt to resist the causal powers of nonconsensual social categorization. Similarly, one among many reasons to support the rights of trans individuals is that their self-declarations of gender identity can be viewed as a reclamation of agency in the face of causal constraints imposed by socially defined and imposed gender categories. This lesson can be generalized to people belonging to a broad range of marginalized groups. (shrink)

Background Genomic research on neurodevelopmental disorders (NDDs), particularly involving minors, combines and amplifies existing research ethics issues for biomedical research. We performed a review of the literature on the ethical issues associated with genomic research involving children affected by NDDs as an aid to researchers to better anticipate and address ethical concerns. Results Qualitative thematic analysis of the included articles revealed themes in three main areas: research design and ethics review, inclusion of research participants, and communication of research results. Ethical (...) issues known to be associated with genomic research in general, such as privacy risks and informed consent/assent, seem especially pressing for NDD participants because of their potentially decreased cognitive abilities, increased vulnerability, and stigma associated with mental health problems. Additionally, there are informational risks: learning genetic information about NDD may have psychological and social impact, not only for the research participant but also for family members. However, there are potential benefits associated with research participation, too: by enrolling in research, the participants may access genetic testing and thus increase their chances of receiving a (genetic) diagnosis for their neurodevelopmental symptoms, prognostic or predictive information about disease progression or the risk of concurrent future disorders. Based on the results of our review, we developed an ethics checklist for genomic research involving children affected by NDDs. Conclusions In setting up and designing genomic research efforts in NDD, researchers should partner with communities of persons with NDDs. Particular attention should be paid to preventing disproportional burdens of research participation of children with NDDs and their siblings, parents and other family members. Researchers should carefully tailor the information and informed consent procedures to avoid therapeutic and diagnostic misconception in NDD research. To better anticipate and address ethical issues in specific NDD studies, we suggest researchers to use the ethics checklist for genomic research involving children affected by NDDs presented in this paper. (shrink)

In this paper I will show the problems that are encountered when dealing with uniqueness of connectives in a bilateralist setting within the larger framework of proof-theoretic semantics and suggest a solution. Therefore, the logic 2Int is suitable, for which I introduce a sequent calculus system, displaying - just like the corresponding natural deduction system - a consequence relation for provability as well as one dual to provability. I will propose a modified characterization of uniqueness incorporating such a duality of (...) consequence relations, with which we can maintain uniqueness in a bilateralist setting. (shrink)

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)

In this paper, I ask whether there is a defensible philosophical view according to which everybody is beautiful. I review two purely aesthetical versions of this claim. The No Standards View claims that everybody is maximally and equally beautiful. The Multiple Standards View encourages us to widen our standards of beauty. I argue that both approaches are problematic. The former fails to be aspirational and empowering, while the latter fails to be sufficiently inclusive. I conclude by presenting a hybrid ethical–aesthetical (...) view according to which everybody is beautiful in the sense that everybody can be perceived through a loving gaze. I show that this view is inclusive, aspirational and empowering, and authentically aesthetical. (shrink)

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)

People often answer why-questions with what we call experiential explanations: narratives or stories with temporal structure and concrete details. In contrast, on most theories of the epistemic function of explanation, explanations should be abstractive: structured by general relationships and lacking extraneous details. We suggest that abstractive and experiential explanations differ not only in level of abstraction, but also in structure, and that each form of explanation contributes to the epistemic goals of individual learners and of science. In particular, experiential explanations (...) support mental simulation and survive transitions across background theories; as a result, they support learning and help us translate between competing frameworks. Experiential explanations play an irreducible role in human cognition – and perhaps in science. (shrink)

This paper discusses a puzzling tension in attributions of moral responsibility in cases of resultant moral luck: we seem to hold agents fully morally responsible for unlucky outcomes, but less-than-fully-responsible for unlucky outcomes brought about differently than intended. This tension cannot be easily discharged or explained, but it does shed light on a famous puzzle about causation and responsibility, the Thirsty Traveler.

This paper argues that so-called “trumping preemption” is in fact overdetermination or early preemption, and is thus not a distinctive form of redundant causation. I draw a novel lesson from cases thought to be trumping: that the boundary between preemption and overdetermination should be reconsidered.

This paper suggests that time travelling scenarios commonly depicted in science fiction introduce problems and dangers for the time traveller. If time travel takes time, then time travellers risk collision with past objects, relocation to distant parts of the universe, and time travel-specific injuries. I propose several models of time travel that avoid the dangers and risks of time travel taking time, and that introduce new questions about the relationship between time travel and spatial location.

This paper brings two fresh perspectives on Lewis’s theory of time travel. First: many key aspects and theoretical desiderata of Lewis’s theory can be captured in a framework that does not commit to eternalism about time. Second: implementing aspects of Lewisian time travel in a non-eternalist framework provides theoretical resources for a better treatment of time travel to the future. While time travel to the past has been extensively analyzed, time travel to the future has been comparatively underexplored. I make (...) progress on this topic. Along the way, I discuss Lewis’s lesser-known time travel oeuvre, especially his volume of correspondence and lectures on the topic collected in Beebee and Fisher (2020) and Janssen-Lauret & MacBride (forthcoming). Lewis’s body of unpublished work on time travel yields fruitful insights into his broader thinking on the subject. (shrink)

In 1672 John Eliot, English Puritan educator and missionary to New England, published The Logick Primer: Some Logical Notions to initiate the INDIANS in the knowledge of the Rule of Reason; and to know how to make use thereof (Eliot 1672) The Logick Primer: Some Logical Notions to Initiate the INDIANS in the Knowledge of the Rule of Reason; and to Know How to Make Use Thereof, Cambridge, MA: Marmaduke Johnson]. This roughly 80 page pamphlet introduces syllogistic vocabulary and reasoning (...) so that syllogisms can be created from Biblical texts. The use of logic for proselytizing purposes is not distinctive: What is distinctive about Eliot's book is that it is bilingual, written in both English and Massachusett (Wôpanâak), an Algonquian language spoken in eastern coastal and southeastern Massachusetts. It is one of the earliest bilingual logic textbooks and it is the first, and perhaps only, textbook in an indigenous American language.In this paper, we (1) introduce John Eliot and the linguistic context he was working in; (2) introduce the contents of the Logick Primer – vocabulary, inference patterns, and applications; (3) discuss notions of ‘Puritan’ logic that inform this primer; and (4) address the importance of his work in documenting and expanding the Massachusett language and the problems that accompany his colonial approach to this work. (shrink)