Proof-theoretic methods are developed for subsystems of Johansson’s logic obtained by extending the positive fragment of intuitionistic logic with weak negations. These methods are exploited to establish properties of the logical systems. In particular, cut-free complete sequent calculi are introduced and used to provide a proof of the fact that the systems satisfy the Craig interpolation property. Alternative versions of the calculi are later obtained by means of an appropriate loop-checking history mechanism. Termination of the new calculi is proved, and (...) used to conclude that the considered logical systems are PSPACE-complete. (shrink)

We investigate uniform interpolants in propositional modal logics from the proof-theoretical point of view. Our approach is adopted from Pitts’ proof of uniform interpolationin intuitionistic propositional logic [15]. The method is based on a simulation of certain quantifiers ranging over propositional variables and uses a terminating sequent calculus for which structural rules are admissible.

We introduce the logic LRC, designed to describe and reason about agents’ abilities and capabilities in using resources. The proposed framework bridges two—up to now—mutually independent strands of literature: the one on logics of abilities and capabilities, developed within the theory of agency, and the one on logics of resources, motivated by program semantics. The logic LRC is suitable to describe and reason about key aspects of social behaviour in organizations. We prove a number of properties enjoyed by LRC and (...) its associated analytic calculus. These results lay at the intersection of the algebraic theory of unified correspondence and the theory of multitype calculi in structural proof theory. Case studies are discussed which showcase several ways in which this framework can be extended and enriched while retaining its basic properties, so as to model an array of issues, both practically and theoretically relevant, spanning from planning problems to the logical foundations of the theory of organizations. (shrink)

We discuss two-layered logics formalising reasoning with paraconsistent probabilities that combine the Łukasiewicz [0, 1]-valued logic with Baaz ▵\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\triangle $$\end{document} operator and the Belnap–Dunn logic. The first logic (introduced in [7]) formalises a ‘two-valued’ approach where each event ϕ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\phi $$\end{document} has independent positive and negative measures that stand for, respectively, the likelihoods of ϕ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\phi (...) $$\end{document} and ¬ϕ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\lnot \phi $$\end{document}. The second logic that we introduce here corresponds to ‘four-valued’ probabilities. There, ϕ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\phi $$\end{document} is equipped with four measures standing for pure belief, pure disbelief, conflict and uncertainty of an agent in ϕ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\phi $$\end{document}.We construct faithful embeddings of and into one another and axiomatise using a Hilbert-style calculus. We also establish the decidability of both logics and provide complexity evaluations for them using an expansion of the constraint tableaux calculus for. (shrink)

In this paper, we study IL(), the interpretability logic of . As is neither an essentially reflexive theory nor finitely axiomatizable, the two known arithmetical completeness results do not apply to : IL() is not or . IL() does, of course, contain all the principles known to be part of IL, the interpretability logic of the principles common to all reasonable arithmetical theories. In this paper, we take two arithmetical properties of and see what their consequences in the modal logic (...) IL() are. These properties are reflected in the so-called Beklemishev Principle , and Zambella’s Principle , neither of which is a part of IL. Both principles and their interrelation are submitted to a modal study. In particular, we prove a frame condition for . Moreover, we prove that follows from a restricted form of . Finally, we give an overview of the known relationships of IL() to important other interpretability principles. (shrink)

Relevant propositional dynamic logics have been sporadically discussed in the broader context of modal relevant logics, but have not come up for sustained investigation until recently. In this paper, we develop a philosophical motivation for these systems, and present some new results suggested by the proposed motivation. Among these, we’ll show how to adapt some recent work to show that the extensions of relevant logics by the extensional truth constants \ are complete with respect to a natural class of ternary (...) relation models to show a similar result for the constant-free versions of the logic. In addition, we prove that the logics in question satisfy the variable sharing property, vindicating the claim that they really are relevant logics. (shrink)

The paper extends a framework of information-based semantics for intuitionistic logic with a paraconsistent negation and consistency-sensitive epistemic modalities. In this framework information states represent information collected from various sources and as such they can be inconsistent because they receive contradictory information either from a single inconsistent source or from various mutually incompatible sources. The modalities reflect only those sources that are consistent and trusted. For the paraconsistent logic generated by this framework, we present a Hilbert style system, we prove (...) completeness, the disjunction property, the finite model property and various other results. (shrink)

The notion of a critical successor [5] in relational semantics has been central to most classic modal completeness proofs in interpretability logics. In this paper we shall work with a more general notion, that of an assuring successor. This will enable more concisely formulated completeness proofs, both with respect to ordinary and generalised Veltman semantics. Due to their interesting theoretical properties, we will devote some space to the study of a particular kind of assuring labels, the so‐called full labels and (...) maximal labels. After a general treatment of assuringness, we shall apply it to obtain a completeness result for the modal logic w.r.t. generalised semantics for a restricted class of frames. (shrink)

The Fairness, Accountability, and Transparency (FAccT) literature tends to focus on bias as a problem that requires ex post solutions (e.g. fairness metrics), rather than addressing the underlying social and technical conditions that (re)produce it. In this article, we propose a complementary strategy that uses genealogy as a constructive, epistemic critique to explain algorithmic bias in terms of the conditions that enable it. We focus on XAI feature attributions (Shapley values) and counterfactual approaches as potential tools to gauge these conditions (...) and offer two main contributions. One is constructive: we develop a theoretical framework to classify these approaches according to their relevance for bias as evidence of social disparities. We draw on Pearl’s ladder of causation (Causality: models, reasoning, and inference. Cambridge University Press, Cambridge, 2000, Causality, 2nd edn. Cambridge University Press, Cambridge, 2009. doi:10.1017/CBO9780511803161) to order these XAI approaches concerning their ability to answer fairness-relevant questions and identify fairness-relevant solutions. The other contribution is critical: we evaluate these approaches in terms of their assumptions about the role of protected characteristics in discriminatory outcomes. We achieve this by building on Kohler-Hausmann’s (Northwest Univ Law Rev 113(5):1163–1227, 2019) constructivist theory of discrimination. We derive three recommendations for XAI practitioners to develop and AI policymakers to regulate tools that address algorithmic bias in its conditions and hence mitigate its future occurrence. (shrink)

The central idea behind this paper is that presuppositions of soft triggers arise from the way our attention structures the informational content of a sentence. Some aspects of the information conveyed are such that we pay attention to them by default, even in the absence of contextual information. On the other hand, contextual cues or conversational goals can divert attention to types of information that we would not pay attention to by default. Either way, whatever we do not pay attention (...) to, be it by default, or in context, is what ends up presupposed by soft triggers. This paper attempts to predict what information in the sentence is likely to end up being the main point (i.e. what we pay attention to) and what information is independent from this, and therefore likely presupposed. It is proposed that this can be calculated by making reference to event times. The notion of aboutness used to calculate independence is based on that of Demolombe and Fariñas del Cerro (In: Holdobler S (ed) Intellectics and computational logic: papers in honor of Wolfgang Bibel, 2000). (shrink)

Some presuppositions are easier to cancel than others in embedded contexts. This contrast has been used as evidence for distinguishing two fundamentally different kinds of presuppositions, ‘soft’ and ‘hard’. ‘Soft’ presuppositions are usually assumed to arise in a pragmatic way, while ‘hard’ presuppositions are thought to be genuine semantic presuppositions. This paper argues against such a distinction and proposes to derive the difference in cancellation from inherent differences in how presupposition triggers interact with the context: their focus sensitivity, anaphoricity, and (...) question–answer congruence properties. The paper also aims to derive the presuppositions of additive particles such as too, also, again, and of it-clefts. (shrink)

This paper examines a little studied type of perspective shift that I call protagonist projection, following Holton :625–628, 1997). PP is a way of describing the mental state of a protagonist that conveys, to some extent, her perspective. Similarly to its better known cousin free indirect discourse, the shift in perspective is achieved without an overt operator. Unlike FID, PP is not based on a presumed speech-act of a protagonist. Rather, it gives a linguistic form to pre-verbal perceptual content, sensations, (...) feelings or implicit beliefs. I propose to analyse PP in a bi-contextual framework, extending Eckardt’s approach to FID. Under the resulting analysis, FID and PP are two instances of a more general category of perspective shift. (shrink)

A complete, illustrated survey of Etienne-Jules Marey's work that investigates the far reaching effects of her inventions on stream-of-consciousness literature, psychoanalysis, Bergsonian philosophy, and the art of cubists and futurists.

Sometimes subjects have sufficient internal and external resources to retrieve information stored in memory, in particular information that carries socially charged content. Yet, they fail to do so: they forget it. These cases pose an explanatory challenge to common explanations of forgetting in cognitive science. In this paper, I take this challenge and develop a new explanation of these cases. According to this explanation, these cases are best explained as cases of norm-induced forgetting: cases in which forgetting is caused by (...) social norms in a relevant sense. These cases draw attention to the normative aspects of the mechanisms of forgetting. This is an important but neglected aspect of cases of everyday forgetting, in particular of those characterized by a social dimension. By investigating some ways in which the psychology of social norms is causally relevant in the mechanisms of retrieval failure, I begin to fill this gap. (shrink)

There is currently a consensus among comparative psychologists that nonhuman animals are capable of some forms of mindreading. Several philosophers and psychologists have criticized this consensus, however, arguing that there is a “logical problem” with the experimental approach used to test for mindreading in nonhuman animals. I argue that the logical problem is no more than a version of the general skeptical problem known as the theoretician’s dilemma. As such, it is not a problem that comparative psychologists must solve before (...) providing evidence for mindreading. (shrink)

This book presents a novel interpretation of Aristotle's account of how shame instils virtue, and defends its philosophical import. Shame is shown to provide motivational continuity between the actions of the learners and the virtuous dispositions that they will eventually acquire.

ABSTRACTFinance may suffer from institutional deformations that subordinate its distinctive goods to the pursuit of external goods, but this should encourage attempts to reform the institutionalization of finance rather than to reject its potential for virtuous business activity. This article argues that finance should be regarded as a domain-relative practice. Alongside management, its moral status thereby varies with the purposes it serves. Hence, when practitioners working in finance facilitate projects that create common goods, it allows them to develop virtues. This (...) argument applies MacIntyre’s widely acknowledged account of the relationship between practices and the development of virtues while questioning some of his claims about finance. It also takes issue with extant accounts of particular financial functions that have failed to identify the distinctive goods of financial practice. (shrink)

Aristotle ’s claim that we become virtuous by doing virtuous actions raises a familiar problem: How can we perform virtuous actions unless we are already virtuous? I reject deflationary accounts of the answer given in _Nicomachean Ethics_ 2.4 and argue instead that proper habituation involves doing virtuous actions with the right motive, i.e. for the sake of the noble, even though learners do not yet have virtuous dispositions. My interpretation confers continuity to habituation and explains in a non-mysterious way how (...) we become virtuous by doing virtuous actions in the right way. (shrink)

introduction Dialectic and the notion of tradition The past does not pull back but presses forward. (Hannah Arendt 1977: 10) Through the confrontation over ...

This paper considers a host of definitions and labels attached to the concept of smart cities to identify four dimensions that ground a review of ethical concerns emerging from the current debate. These are: (1) network infrastructure, with the corresponding concerns of control, surveillance, and data privacy and ownership; (2) post-political governance, embodied in the tensions between public and private decision-making and cities as post-political entities; (3) social inclusion, expressed in the aspects of citizen participation and inclusion, and inequality and (...) discrimination; and (4) sustainability, with a specific focus on the environment as an element to protect but also as a strategic element for the future. Given the persisting disagreements around the definition of a smart city, the article identifies in these four dimensions a more stable reference framework within which ethical concerns can be clustered and discussed. Identifying these dimensions makes possible a review of the ethical implications of smart cities that is transversal to their different types and resilient towards the unsettled debate over their definition. (shrink)

In this paper we introduce two issues relevantly related to the cognitive phenomenology debate, which, to our minds, have not been yet properly addressed: the relation between access and phenomenal consciousness in cognition and the relation between conscious thought and inner speech. In the first case, we ask for an explanation of how we have access to thought contents, and in the second case, an explanation of why is inner speech so pervasive in our conscious thinking. We discuss the prospects (...) of explanation for both sides of the debate and argue that cognitive phenomenology defenders are in an overall advantageous position. We also propose an account of inner speech that differs from other influential explanations in some interesting respects. (shrink)

Hélène Cixous is more than an influential theorist. She is also a groundbreaking author and playwright. Combining an idiosyncratic mix of autobiographical and fictional narrative with a host of philosophical and poetic observations, Cixous's writing matches the kaleidoscopic nature of her thought, offering new ways of conceptualizing sex, relationships, identity, and the self, among other topics. Yet, as Jacques Derrida once observed, a "profound misunderstanding" hangs over the accomplishments of Cixous, with many believing the intellectual excelled only at theoretical exploration. (...) Providing a truly liberal selection of her writings from throughout her career, Marta Segarra rediscovers Cixous's acts of invention for a new generation to enjoy. Divided into thematic concerns, these works fully capture Cixous's genius for merging fiction, theory, and the experience of living. They discuss dreaming in the feminine, Algeria and Germany, love and the other, the animal, Derrida, and the theater. They defy classification, locking literature, philosophy, and psychoanalysis into thrilling new patterns of engagement. Whether readers are familiar with Cixous or are approaching her thought for the first time, all will find fresh perspectives on gender, fiction, drama, philosophy, religion, and the postcolonial. (shrink)

Remembering and forgetting are the two poles of the memory system. Consequently, any approach to memory should be able to explain both remembering and forgetting in order to gain a comprehensive and insightful understanding of the memory system. Can an enactive approach to memory processes do so? In this article I propose a possible way to provide a positive answer to this question. In line with some current enactive approaches to memory, I suggest that forgetting –similarly to remembering– might be (...) constituted within an embodied and active process. Within this process, some simulation and re-enactment paths would acquire more relevance than others. This acquired relevance would make the activation of other paths of recall less likely, thus preventing the memory system from engaging in some episodic simulations. These changes in the likelihood of activation of some paths of recall –the forgotten ones– can be accounted for in an enactive fashion by studying both “internal” and “external” re-enactment and simulation paths. With regard to the latter, I propose to examine the process of forgetting by considering the engagement and affective relation of an embodied agent with her field of affordances. I suggest that, in the case of emotion-laden memories, the agent’s decoupling from some affordances of the environment might contribute to the process of forgetting, in that it would reduce the agent’s opportunities for situated episodic simulations. (shrink)

The specific role of empeiria in Aristotle’s ethics has received much less attention than its role in his epistemology, despite the fact that Aristotle explicitly stresses the importance of empeiria as a requirement for the receptivity to ethical arguments and as a source for the formation of phronêsis.1 Thus, while empeiria is an integral part of all explanations that scholars give of the Aristotelian account of the acquisition of technê and epistêmê, it is usually not prominent in explanations of the (...) acquisition of phronêsis.2 The abundant mentions of empeiria in Aristotle’s ethical treatises are often eclipsed in the secondary literature... (shrink)