We introduce translations between display calculus proofs and labeled calculus proofs in the context of tense logics. First, we show that every derivation in the display calculus for the minimal tense logic Kt extended with general path axioms can be effectively transformed into a derivation in the corresponding labeled calculus. Concerning the converse translation, we show that for Kt extended with path axioms, every derivation in the corresponding labeled calculus can be put into a special form that is translatable to (...) a derivation in the associated display calculus. A key insight in this converse translation is a canonical representation of display sequents as labeled polytrees. Labeled polytrees, which represent equivalence classes of display sequents modulo display postulates, also shed light on related correspondence results for tense logics. (shrink)

We introduce an effective translation from proofs in the display calculus to proofs in the labelled calculus in the context of tense logics. We identify the labelled calculus proofs in the image of this translation as those built from labelled sequents whose underlying directed graph possesses certain properties. For the basic normal tense logic Kt, the image is shown to be the set of all proofs in the labelled calculus G3Kt.

Toleration classically denotes a relation between two agents that is characterised by three components: objection, power, and acceptance overriding the objection. Against recent claims that classical toleration is not applicable in liberal democracies and that toleration must therefore either be understood purely attitudinally or purely politically, we argue that the components of classical toleration are crucial elements of contemporary cases of minority accommodation. The concept of toleration is applicable to, and is an important element of descriptions of such cases, provided (...) that one views them as wholes, rather than as sets of isolated relations. We explain this by showing how certain cases of toleration are multi-dimensional and how the descriptive concept of toleration might be understood intersectionally. We exemplify this by drawing on case studies of mosque controversies in Germany and Denmark. Finally, we propose that intersectionality is not only relevant to the descriptive concept of toleration but also captures an important aspect of normative theories of toleration. We illustrate this by discussing ideals of respect-based toleration, which we also apply to the case studies. (shrink)

Agonist theorists have argued against deliberative democrats that democratic institutions should not seek to establish a rational consensus, but rather allow political disagreements to be expressed in an adversarial form. But democratic agonism is not antagonism: some restriction of the plurality of admissible expressions is not incompatible with a legitimate public sphere. However, is it generally possible to grant this distinction between antagonism and agonism without accepting normative standards in public discourse that saliently resemble those advocated by (some) deliberative democrats? (...) In this paper we provide an analysis of one important aspect of political communication, the use of slippery slope arguments, and show that the fact of pluralism weakens the agonists’ case for contestation as a sufficient ingredient for appropriately democratic public discourse. We illustrate that contention by identifying two specific kinds of what we call pluralism slippery slopes, i.e. mechanisms whereby pluralism reinforces the efficacy of slippery slope arguments. (shrink)

A famous programmatic phrase from the Soliloquia shows how the young Augustine, in his thirties, had a clear idea of what one had to investigate in order to attain a knowledge of God: “Deum et animam scire cupio”. Here, Augustine established a link between two objects of research. Starting from this relation, this article explores Augustine’s anthropological doctrine, and focuses on four images used by Augustine to illustrate the human condition: (1) the lamp (lucerna), symbolizing the man composed by a (...) body, which is the container, and by a soul enclosed in the body, which is the flame. (2) The knight (eques), where although it is the horse (equus) that gives the name to the compound and defines the characteristics of its rider, the term ‘eques’ does not in any way designate the horse. (3) The centaur (centaurus), which expresses the inseparable unity of the two natures but also their distinction. (4) The chariot (biga), which perfectly symbolizes the union between body and soul, by the horses, and introduces a reference to God, by the figure of the charioteer. (shrink)

Since the 1950`s in Britain, and perhaps in the rest of the world, the term pluralism is almost invariably associated with the name of Isaiah Berlin and his formulation of ‘value pluralism’. The core idea is that values (but also, on some interpretations, ends, duties and obligations) are irreducibly plural and heterogeneous, and nevertheless objective (...).

There are many situations and policies that strike us as unjust and make us look for alternatives. Yet in the absence of a clear definition, we may end up by equating injustice with everything that is evil in the world.

Since the 1950`s in Britain, and perhaps in the rest of the world, the term pluralism is almost invariably associated with the name of Isaiah Berlin and his formulation of ‘value pluralism’. The core idea is that values (but also, on some interpretations, ends, duties and obligations) are irreducibly plural and heterogeneous, and nevertheless objective.

Digital technologies hold promise to modernize healthcare. Such opportunity should be leveraged also to address the needs of rapidly ageing populations. Against this backdrop, this paper examines the use of wearable devices for promoting healthy ageing. Previous work has assessed the prospects of digital technologies for health promotion and disease prevention in older adults. However, to our knowledge, ours is one of the first attempts to specifically address the use of wearables for healthy ageing, and to offer ethical insights for (...) assessing the prospects of leveraging wearable devices in this context. We provide an analysis of the considerable opportunities associated with the use of wearables for healthy ageing, with a focus on the five domains of intrinsic capacity: locomotion, sensory functions, psychological aspects, cognition, and vitality. We then highlight current limitations and ethical challenges of such approach to healthy ageing, including issues related to access, inclusion, privacy, surveillance, autonomy, and regulation. We conclude by discussing the implications of our analysis in light of current debates on the ethics of digital health, and suggest measures to address the identified challenges. (shrink)

Models of discourse and narration elaborated within the classical compositional framework have been characterized as bottom-up models, according to which discourse analysis proceeds incrementally, from phrase and sentence local meaning to discourse global meaning. In this paper we will argue against these models. Assuming as a case study the issue of discourse coherence, we suggest that the assessment of coherence is a top-down process, in which the construction of a situational interpretation at the global meaning level guides local meaning analysis. (...) In support of our hypothesis, we explore the role of executive functions (brain functions involved in planning and organization of goal-oriented behaviors) in coherence’s establishment, discussing the results of several studies on narrative abilities of patients with brain injuries. We suggest that, compared to other models of discourse processing focused on comprehension, our model is a viable candidate for an integrated account of discourse comprehension and production. (shrink)

It is shown that Gqp↑, the quantified propositional Gödel logic based on the truth-value set V↑ = {1 - 1/n : n≥1}∪{1}, is decidable. This result is obtained by reduction to Büchi's theory S1S. An alternative proof based on elimination of quantifiers is also given, which yields both an axiomatization and a characterization of Gqp↑ as the intersection of all finite-valued quantified propositional Gödel logics.

My essay will take as its point of departure the paragraph from Gershom Scholem’s “Reflections on Jewish Theology,” in which he depicts the modern religious experience as the one of the "void of God" or as "pious atheism". I will first argue that the "void of God" cannot be reduced to atheistic non-belief in the presence of God. Then, I will demonstrate the further development of the Scholemian notion of the ‘pious atheism’ in Derrida, especially in his Lurianic treatment of (...) Angelus Silesius, whose modern mysticism emerges in Derrida’s reading as the ‘almost-atheism’. The interesting feature of this development is that, while for Scholem, the ‘void of God’ is a predominantly negative experience, for Derrida, it becomes an affirmative model of modern – not just Jewish, but more generally, Abrahamic – religiosity which, on the one hand, touches upon atheistic non-belief in the divine presence here and now, yet, on the other, still insists on commemorating the ‘withdrawn God’ through his ‘traces.’ What, therefore, for Scholem, constitutes the ultimate cry of despair, best embodied in Kafka’s work – for Derrida, reveals the more positive face of the modern predicament in which God has absented himself in order to make room for the creaturely reality. And while Scholem envisages redemption as the full restoration of the divine presence – Derrida redefines redemption as the ‘pious’ work of deconstruction to be undertaken in the ‘almost-atheistic’ condition of irreversible separation between God and the world. (shrink)

The purpose of the study was to explore the role of emotions, promotion-prevention orientation and feedback on cognitive engagement. In the experiment participants had the possibility to engage in a categorization task thrice. After the first categorization all participants were informed that around 75% of their answers were correct. After the second categorization, depending on the experimental condition, participants received feedback either about success or failure. Involvement in the third categorization was depended on participants’ decision whether to take part in (...) it or not. Each time, before and after categorization, the emotional state was assessed. Results showed that promotion orientation predicted experiencing curiosity before the task, which in turn led to a higher cognitive engagement in the first categorization. Promotion and prevention orientation moderated the type of emotional response to positive feedback. Promotion orientation also predicted cognitive engagement after the feedback of success was provided. Generally results confirmed the positive effect of positive emotions as well as promotion orientation on cognitive engagement. (shrink)

This article contributes to the debate concerning the identification of politically relevant cases of corruption in a democracy by sketching the basic traits of an original liberal theory of institutional corruption. We define this form of corruption as a deviation with respect to the role entrusted to people occupying certain institutional positions, which are crucial for the implementation of public rules, for private gain. In order to illustrate the damages that corrupt behaviour makes to liberal democratic institutions, we discuss the (...) case of health care professionals’ abuse of their right to conscientious objection to abortion services. We show that the conscience clause can be instrumentally abused to sabotage democratically established public rules and thus exert undue private influence on their implementation. In this sense, from a liberal democratic perspective, institutional corruption is problematic because it is disruptive of such fundamental liberal ideals as the impartiality of public institutions and citizens’ political equality. (shrink)

Civil society participation in international and European governance is often promoted as a remedy to its much-lamented democratic deficit. We argue in this paper that this claim needs refinement because civil society participation may serve two quite different purposes: it may either enhance the democratic accountability of intergovernmental organisations and regimes, or the epistemic quality of rules and decisions made within them. (...).

Obóz Kultury 2.0 Mirosław Filiciak, Alek Tarkowski, Agata Jałosińska, Andrzej Klimczuk, Maciej Rynarzewski, Jacek Seweryn, Stunża M., D. Grzegorz, Marcin Wilkowski & Anna Orlik .

The third issue of the Journal for the Philosophy of Language, Mind and the Arts is centered on a series of questions related to the nature of images. What properties characterize them? Do they exist also in our minds? What relationship do they have with phenomena such as perception, memory, language and interpretation? The authors participating in this issue have been asked to answer these and other questions starting from and in dialogue with the two philosophical perspectives that have most (...) enriched the study of our object of research since the second half of the twentieth century: analytical philosophy and visual culture studies. The first four essays address problems related to ontology (Didi-Huberman, Prinz, Bantinaki, Manzotti). In their pages the question will be asked not only about the nature of images but also about what it means for an image to represent an object or an action realistically. The second part contains discussions related to the topics of perception, appreciation and creation of pictures (Ferretti; Gavaler, Goldberg; Pigoni, Coraci, Carlenzi). The third section goes through the problems related to the very concept of representing by images (Biggs; Weichert; Derby). The last section of the issue is devoted to two cases in which images are used not so much and not only to represent something, but also to convey ethical-political values (Fasnacht; Olesiejuk). (shrink)