Some environmental activists occasionally use the argument that poverty is ‘no excuse’ for not going green and denounce discourses putting forward social conditions as unduly exculpatory. Employing participant observation among middle-class activists mobilising to diffuse environmental lifestyles in socially diverse suburbs near Paris (France), the article explores their relation to the working class and examines the consequences of their endeavours on local class relations. It describes the tension between their goal of mainstreaming environmental reflexivity and the stubborn existence of material (...) inequalities and constraints. While their efforts are configured by a moral economy of environmental responsibility which assigns an undifferentiated moral obligation to consume sustainably to all individuals, they make sense of social differences by drawing on culturalist representations of poverty and folk social theories. These sense-making practices enhance rather than alleviate attributions of blame against working-class people and contribute to reinforcing the activists’ dominant symbolic position. (shrink)

In this essay, I will examine Broome’s argument in Weighing Goods (1991; sections 5.4 and 5.5) that aims to show that moderate Humeanism, according to which any coherent sets of preferences should be rationally acceptable, is not a sustainable view of decision theory. I will focus more specifically on the argument Broome uses to support his claim, and show that although it may get some traction, it does not undermine moderate Humeanism as we know it. After reconstructing Broome’s argument, I (...) argue that standard decision theory supposes that the representation of a decision problem fully captures what is relevant to the agent, and therefore has nothing to say about the legitimacy of the representation in question. I argue that although Broome’s criticism does not jeopardize moderate Humeanism, it does pave the way for a new area of research in decision theory. (shrink)

En dépit de son importance, tant dans la théorie générale des crises que dans la conscience populaire, la notion « d’armée de réserve » a suscité peu de discussion théorique au sein du marxisme. Cet article propose de rassembler les contributions éparses qui la mobilisent pour identifier les usages de cette notion, et son apport au-delà des notions de chômage ou d’inoccupation. Si elle s’inscrit, à l’origine, dans un débat sur l’approche économique ou démographique des questions de population, la notion (...) d’« armée de réserve » est employée avec quatre objectifs distincts dans la littérature marxiste. En premier lieu, elle sert d’opérateur historique, pour identifier les spécificités de chaque séquence capitaliste (et non-capitaliste). En second lieu, elle définit l’exercice d’un pouvoir d’État. En troisième lieu, elle joue le rôle d’opérateur synchronique, pour circonscrire les rapports de pouvoir à l’œuvre sur chaque territoire à une même époque. En dernier lieu, elle constitue un opérateur partisan, susceptible d’aider la constitution d’un sujet politique révolutionnaire. (shrink)

Si l’objet « travail » peut se prévaloir d’une longue tradition en études temporalistes inaugurée en France par Georges Friedmann, Pierre Naville et William Grossin, c’est moins le cas pour l’emploi et moins encore pour la privation d’emploi. À l’heure où le chômage est devenu un puissant marqueur des carrières d’emploi, des politiques publiques ou encore des rapports au travail, il est utile d’actualiser les connaissances sur les temporalités du chômage et d’en explorer les facettes et enjeu...

Pris en charge par des organismes spécifiques, les chômeurs sont dans l’obligation de mener des échanges réguliers avec leurs conseillers. Ces interactions articulent trois temporalités distinctes : un rythme des rendez-vous, un horaire de début et une durée. À partir de l’observation d’entretiens entre des chômeurs et leurs conseillers dans plusieurs types d’organismes d’accompagnement, nous interrogeons le pouvoir discrétionnaire que possèdent les agents administratifs en matière de temporalités, ainsi que les marges de négociation détenues par les publics. Cette perspective présente (...) le rapport des chômeurs et des conseillers comme un processus d’ajustements ou de conflits temporels. Elle montre que les temporalités administratives du chômage sont inégalement contrôlées et disputées au niveau des guichets, avec des résultats différents d’une institution à l’autre. Le pouvoir discrétionnaire des conseillers est particulièrement élevé en matière de rythmes de convocation. En revanche, les chômeurs disposent de ressources singulières pour discuter les horaires en Arbeitsagentur ou pour contester les durées à Pôle emploi. Les chômeurs en régime d’assistance, au sein des Jobcenter, apparaissent singulièrement démunis dans ces luttes temporelles. (shrink)

In Schwichtenberg, Schwichtenberg fine-tuned Tait’s technique so as to provide a simplified version of Gentzen’s original cut-elimination procedure for first-order classical logic. In this note we show that, limited to the case of classical propositional logic, the Tait–Schwichtenberg algorithm allows for a further simplification. The procedure offered here is implemented on Kleene’s sequent system G4. The specific formulation of the logical rules for G4 allows us to provide bounds on the height of cut-free proofs just in terms of the logical (...) complexity of their end-sequent. (shrink)

The importance of emotions is supported by many authors of the ethics of care in contrast to the rationalistic paradigm of justice. However, the reference to the emotions remains generic. By focusing on three paradigmatic typologies, I propose to investigate this aspect further, and distinguish between the different emotions that motivate care. I will try, first, to offer a reflection on which emotions are likely to motivate ethical action within an ethics of care; second, to survey different potential obstacles to (...) these emotions and propose how they might be overcome to more successfully achieve good care and ethical action. (shrink)

A complementary system for a given logic is a proof system whose theorems are exactly the formulas that are not valid according to the logic in question. This article is a contribution to the complementary proof theory of classical propositional logic. In particular, we present a complementary proof-net system, $$\textsf{CPN}$$ CPN, that is sound and complete with respect to the set of all classically invalid (one-side) sequents. We also show that cut elimination in $$\textsf{CPN}$$ CPN enjoys strong normalization along with (...) strong confluence (and, hence, uniqueness of normal forms). (shrink)

Classical propositional logic can be characterized, indirectly, by means of a complementary formal system whose theorems are exactly those formulas that are not classical tautologies, i.e., contradictions and truth-functional contingencies. Since a formula is contingent if and only if its negation is also contingent, the system in question is paraconsistent. Hence classical propositional logic itself admits of a paraconsistent characterization, albeit “in the negative”. More generally, any decidable logic with a syntactically incomplete proof theory allows for a paraconsistent characterization of (...) its set of theorems. This, we note, has important bearing on the very nature of paraconsistency as standardly characterized. (shrink)

The innovative characteristic of the book lies in its tackling the topic of individualism from the original point of view of a theory of passions. It underlines the importance of the problem of the passions both in forming individual identity and building the social bond. It proposes to contrast the pathological effects of egoistical passions , which are dominant in modernity, with empathetic and solidaristic passions, exemplified in the phenomenon of the gift.

The re-emergence of a diffuse need for community in the context of the global age compels us to rethink the concept of "community" in the light of the changes and transformations that are unfolding today. The community cannot be considered as a residual phenomenon of resistance to the processes of modernization, but must be recognized as a new phenomenon which accompanies the processes of globalization. The following contribution investigates the fundamental sources of the need for community in the world today, (...) and identifies principally two: 1) community as a response to the pathologies of individualism (insecurity, loss of meaning, atomism, loss of solidarity); 2) community as a response to the dynamics of exclusion that affect societies that are ever more multicultural in character. Also if community largely tends today to assume pathological forms that harbour the potential for conflict and violence, the need for community is legitimate insofar as it expresses a need for belonging and solidarity, a need for the affirmation of identities and a demand for recognition. In my view, the global era offers the bases for sharing in this sense insofar as it gives rise to the idea of the community of the human kind, a community united by interdependence of processes and events, brought together by its shared vulnerability in the face of the new risks and challenges that are produced by globalization. (shrink)

We provide a non-Gentzen, though fully syntactical, cut-elimination algorithm for classical propositional logic. The designed procedure is implemented on $$\textsf{GS4}$$ GS 4, the one-sided version of Kleene’s sequent system $$\textsf{G4}$$ G 4. The algorithm here proposed proves to be more ‘dexterous’ than other, more traditional, Gentzen-style techniques as the size of proofs decreases at each step of reduction. As a corollary result, we show that analyticity always guarantees minimality of the size of $$\textsf{GS4}$$ GS 4 -proofs.

Permutative logic is a non-commutative conservative extension of linear logic suggested by some investigations on the topology of linear proofs. In order to syntactically reflect the fundamental topological structure of orientable surfaces with boundary, permutative sequents turn out to be shaped like q-permutations. Relaxation is the relation induced on q-permutations by the two structural rules divide and merge; a decision procedure for relaxation has been already provided by stressing some standard achievements in theory of permutations. In these pages, we provide (...) a parallel procedure in which the problem at issue is approached from the point of view afforded by geometry of 2-manifolds and solved by making specific surfaces interact. (shrink)

Da sempre svalutato e marginalizzato dalla riflessione filosofica, il tema della cura č tornato a imporsi all'attenzione, particolarmente all'interno del pensiero femminista. A partire dal testo di Carol Gilligan In a different voice, si č sviluppato un dibattito che coinvolge molti approcci disciplinari. Ciň che tuttavia resta ancora inesplorato č il problema delle motivazioni che stanno a fondamento della relazione di cura. Qui la filosofia puň offrire il suo fondamentale contributo: riabilitare la cura significa ripensare il soggetto, per opporre al (...) paradigma moderno di un soggetto sovrano quello di un soggetto in relazione. La de-rimozione e la valorizzazione della costitutiva vulnerabilitÀ del soggetto consente di fondare l'universalitÀ della cura e di uscire dalla falsa alternativa tra individualismo e altruismo: vale a dire di pensare un soggetto capace di cura in quanto si riconosce a sua volta bisognoso di cura. (shrink)

This book contains more than 15 essays that explore issues in truth, existence, and explanation. It features cutting-edge research in the philosophy of mathematics and logic. Renowned philosophers, mathematicians, and younger scholars provide an insightful contribution to the lively debate in this interdisciplinary field of inquiry. The essays look at realism vs. anti-realism as well as inflationary vs. deflationary theories of truth. The contributors also consider mathematical fictionalism, structuralism, the nature and role of axioms, constructive existence, and generality. In addition, (...) coverage also looks at the explanatory role of mathematics and the philosophical relevance of mathematical explanation. The book will appeal to a broad mathematical and philosophical audience. It contains work from FilMat, the Italian Network for the Philosophy of Mathematics. These papers collected here were also presented at their second international conference, held at the University of Chieti-Pescara, May 2016. (shrink)

The first thesis of this article is that the concept of responsibility takes on an unprecedented meaning in the twentieth century resulting from the emergence of a new dimension of the other: to be responsible comes to mean not just to account for oneself in relation to the other, but also to take the other into account, to take care of the other—what I call responsibility towards (the other). The main reason for this change consists in the emergence of global (...) risks and the necessity, as underlined by Hans Jonas, to be responsible for the destiny of the world and future generations. The problem, as explored in the article’s second thesis, is that this implies the existence of a subject who is capable of responsibility. Jonas’s insights on this point are insufficient, since he only recognizes duty as the fundament for his ethics of responsibility and thus neglects the problem of motivation. This is a particularly crucial problem today as we are witnessing the presence of a pathological subject, characterized by a split in his faculties (between doing and imagining, knowing and feeling). To underline this fact, this article makes use of Günther Anders’s reflections, which provide a psycho-anthropological analysis of the subject, showing his pathologies and the necessity, from a moral perspective, to overcome his scission. Finally, this author suggests, as the article’s third thesis, that this overcoming is the necessary fundament for the perception of risk, which in turn reinstates the subject’s perception of his own vulnerability. Responsibility thus finds a motivation, which is neither altruistic nor duty-centred, in the awareness of our own vulnerability and the bond with the destiny of humankind as a whole. (shrink)

The very fact that the Gödel sentence $$\mathcal {G}$$ is independent of Peano Arithmetic fuels controversy over our access to the truth of $$\mathcal {G}$$. In particular, does the truth of $$\mathcal {G}$$ $$ ) precede the truth of its numerical instances $$\varphi $$, $$\varphi $$, $$\varphi, \ldots $$, as the so-called standard argument induces one to believe? This paper offers a shift in perspective on this old problem. We start by reassessing Michael Dummett’s 1963 argument which seems to speak (...) in favour of the priority of the truth of the numerical instances of $$\mathcal {G}$$ over the truth of $$\mathcal {G}$$ itself. In opposition to some recent criticisms of Dummett’s argument, we argue that the latter is not reducible to the standard one. We then point out its prototypical nature in the sense individuated by Jacques Herbrand. This shift in perspective brings us to the claim that the controversy over the priority between $$\mathcal {G}$$ and its numerical instances endures only because the problem is ultimately ill-posed. An encompassing moral about the epistemological mechanism of prototype proofs is also drawn. (shrink)

C'est la question de la parole qui est ici en jeu, telle que Heidegger l'a méditée pour préparer la pensée à un commencement autre que le commencement grec. A cette fin, Heidegger a mené à l'époque de "Etre et temps" un dialogue très intense avec Aristote. Ce qu'a d'exceptionnel cette rencontre, qui a marqué toute une génération d'élèves, est ici présenté de manière générale. Mais certains axes sont précisés, à travers notamment la découverte que fait Heidegger du sens que recèle (...) la quotidienneté pour l'existence humaine. A partir de cette dimension immédiatement concrète qui a toujours échappé aux grandes visées métaphysiques, Heidegger voit poindre, en dialogue avec Aristote, une entente de la parole comme modalité éminente du rapport à autrui. Quant au débat que Heidegger a mené avec Platon, il est aussi présenté dans ses grands traits, à travers la notion de dialogue, si chère à l'un et l'autre penseur. C'est ici le sens de la parole philosophique qui est en question, à la lumière de la tâche que Heidegger lui confère, en notre époque de nihilisme accompli, d'un voisinage avec la parole poétique. S'appuyant sur de nombreux cours de Heidegger désormais publiés, mais peu connus, le présent livre offre également plusieurs extraits inédits en français d'un texte appartenant au corpus - encore inconnu des lecteurs français - que constituent les "Traites impubliés" rédigés par le penseur pendant la guerre, à l'abri de toute publicité. Ce texte sur les rapports entre poésie et philosophie permet de mesurer toute la portée éthique de l'habitation qu'aura ménagée Heidegger pour être poétiquement humain. (shrink)

We offer a critical overview of two sorts of proof systems that may be said to characterize classical propositional logic indirectly (and non-standardly): refutation systems, which prove sound and complete with respect to classical contradictions, and rejection systems, which prove sound and complete with respect to the larger set of all classical non-tautologies. Systems of the latter sort are especially interesting, as they show that classical propositional logic can be given a paraconsistent characterization. In both cases, we consider Hilbert-style systems (...) as well as Gentzen-style sequent calculi and natural-deduction formalisms. (shrink)

This paper is dedicated to extending and adapting to modal logic the approach of fractional semantics to classical logic. This is a multi-valued semantics governed by pure proof-theoretic considerations, whose truth-values are the rational numbers in the closed interval $[0,1]$. Focusing on the modal logic K, the proposed methodology relies on three key components: bilateral sequent calculus, invertibility of the logical rules, and stability (proof-invariance). We show that our semantic analysis of K affords an informational refinement with respect to the (...) standard Kripkean semantics (a new proof of Dugundji’s theorem is a case in point) and it raises the prospect of a proof-theoretic semantics for modal logic. (shrink)

This article presents a new semantics for classical propositional logic. We begin by maximally extending the space of sequent proofs so as to admit proofs for any logical formula; then, we extract the new semantics by focusing on the axiomatic structure of proofs. In particular, the interpretation of a formula is given by the ratio between the number of identity axioms out of the total number of axioms occurring in any of its proofs. The outcome is an informational refinement of (...) traditional Boolean semantics, obtained by breaking the symmetry between tautologies and contradictions. (shrink)

Several studies have shown a significant relationship between smelling and olfactory imagery abilities. The primary aim of the present study was to validate a French version of the Vividness of Olfactory Imagery Questionnaire. The secondary aim was to investigate its capability to differentiate individuals with smell loss from healthy individuals. After having elaborated a French translation of the VOIQ, we evaluated olfactory imagery abilities of 387 French participants who anonymously self-completed the fVOIQ: 121 pathologic individuals, 244 normosmic individuals, and 22 (...) fragrance experts. Significant split-half reliability as expressed by Spearman correlation coefficients for the global sample, as well as for each group separately, indicated the excellent internal consistency of the fVOIQ. Moreover, results revealed a significant effect of the smelling ability group on fVOIQ score, suggesting that daily olfactory stimulation is fundamental to maintaining the ability to create a vivid image and that severe loss of smell may result in progressive impairment of olfactory imagery. Our fVOIQ and the original English version seemingly have similarly high benefit in differentiating experts and normosmic individuals based on their olfactory imagery ability. Moreover, the fVOIQ seems capable of differentiating individuals with loss of smell from healthy individuals. These findings demonstrate the reliability and validity of the fVOIQ, and its capability to differentiate individuals’ smelling ability according to their olfactory imagery ability. (shrink)

Il contributo mira a presentare metodi e risultati del progetto di restauro virtuale di un settore dell’antica Porto Torres/Turris Libisonis (Terme centrali, via adiacente e botteghe prospicienti - cd. palazzo del Re Barbaro), frutto di un accordo di collaborazione tra la Direzione Regionale Musei Sardegna e l’Università degli Studi di Padova. Il metodo applicato si basa su tecnologie di fruizione in Realtà Virtuale e ha permesso il restauro virtuale, geolocalizzando il modello virtuale 3D on-site: una App comanda la visualizzazione di (...) immagini equirettangolari all’interno di visori VR, permettendo visite guidate “aumentate”. Il lavoro è partito da una raccolta bibliografica ragionata, alla quale è seguita una campagna di rilievo fotogrammetrico da drone (G. Alvito, Teravista); infine, intrecciando i dati raccolti, si è proceduto alla ricostruzione 3D virtuale degli edifici. Le evidenze strutturali oggi conservate sono state integrate nella scena 3D con puntuali confronti coevi (III sec. d.C.), virtualmente ricostruiti e ricollocati in contesti d’uso verosimili, accrescendo così l’affidabilità ricostruttiva. L’intera attività ricostruttiva è stata vincolata a un rigoroso processo di validazione scientifica basato sul metodo dell’Extended matrix e l’esito finale è ora fruibile sia mediante proiezioni tradizionali (off-site, tourismA 2020), sia mediante l’utilizzo di dispositivi mobili VR (on-site, Giornate europee del patrimonio 2020). In queste e altre occasioni si è riscontrata una eccellente risposta del pubblico, agevolato dal virtuale nella percezione e nella comprensione delle evidenze e delle volumetrie antiche. (shrink)

Le texte montre que Jan Patočka a développé une pensée du tragique dans deux directions principales : une philosophie du tragique qui met en avant, à travers la lecture d’Antigone, le rôle de la Nuit et de la finitude dans l’existence, par opposition au surrationalisme de Créon et à l’absolutisation de la loi du jour, dont notre surcivilisation technique est l’héritière. La pensée originale du sacrifice, chez Patočka, et sa propre mort s’inscrivent de plain-pied dans le cadre de cette philosophie (...) du tragique. Mais le philosophe a développé aussi, notamment à travers son entente d’Œdipe, une phénoménologie du tragique, comme expérience de la finitude et de la problématicité de l’ouverture humaine par rapport à l’ouverture primordiale du monde. Sous deux angles différents mais complémentaires, ces deux approches originales du tragique sophocléen touchent au cœur de la pensée du philosophe, dont la vie n’a pas échappé au tragique de l’histoire de son temps. (shrink)

Au départ de cet ouvrage, une phrase de Martin Heidegger prononcée en 1958 à Aix-en-Provence : "J'ai trouvé ici le chemin de Paul Cézanne auquel, de son début jusqu'à sa fin, mon propre chemin de pensée correspond d'une certaine manière". Comprendre cette correspondance entre la pensée de Heidegger et la peinture de Cézanne suppose de comprendre quelle mutation la révolution phénoménologique du XX? siècle a fait subir à la pensée pour qu'un philosophe reconnaisse comme interlocuteur privilégié l'oeuvre d'un peintre et (...) non d'un autre philosophe. L'exposition du dialogue entre Heidegger et Cézanne est aussi une manière d'interroger l'originalité de la correspondance entre la révolution phénoménologique et l'art moderne. (shrink)

Ce texte offre une lecture de L’origine de l’œuvre d’art de Heidegger afin d’en dégager les articulations principales qui permettent de penser une approche phénoménologique de l’art. Il apparaît que cette approche se fonde avant tout dans une expérience incarnée des œuvres, et qu’elle implique une remise en question des concepts traditionnels sur lesquels s’établissent à la fois l’Esthétique et l’Histoire de l’art. Ainsi mise à l’épreuve des œuvres, la pensée phénoménologique de l’art ouvre la voie à une autre « (...) histoire de l’art », dans laquelle est en jeu l’événement de l’être au monde. (shrink)

Abductive reasoning involves finding the missing premise of an “unsaturated” deductive inference, thereby selecting a possible _explanans_ for a conclusion based on a set of previously accepted premises. In this paper, we explore abductive reasoning from a structural proof-theory perspective. We present a hybrid sequent calculus for classical propositional logic that uses sequents and antisequents to define a procedure for identifying the set of analytic hypotheses that a rational agent would be expected to select as _explanans_ when presented with an (...) abductive problem. Specifically, we show that this set may not include the deductively minimal hypothesis due to the presence of redundant information. We also establish that the set of all analytic hypotheses exhausts all possible solutions to the given problem. Finally, we propose a deductive criterion for differentiating between the best _explanans_ candidates and other hypotheses. (shrink)

In a recent paper, under the auspices of an unorthodox variety of bilateralism, we introduced a new kind of proof-theoretic semantics for the base modal logic \(\mathbf{K}\), whose values lie in the closed interval \([0,1]\) of rational numbers [14]. In this paper, after clarifying our conception of bilateralism – dubbed “soft bilateralism” – we generalize the fractional method to encompass extensions and weakenings of \(\mathbf{K}\). Specifically, we introduce well-behaved hypersequent calculi for the deontic logic \(\mathbf{D}\) and the non-normal modal logics (...) \(\mathbf{E}\) and \(\mathbf{M}\) and thoroughly investigate their structural properties. (shrink)

The aim of this paper is to argue that logic can play an important role in the “toolbox” of molecular biology. We show how biochemical pathways, i.e., transitions from a molecular aggregate to another molecular aggregate, can be viewed as deductive processes. In particular, our logical approach to molecular biology — developed in the form of a natural deduction system — is centered on the notion of Curry-Howard isomorphism, a cornerstone in nineteenth-century proof-theory.

Some real life processes, including molecular ones, are context-sensitive, in the sense that their outcome depends on side conditions that are most of the times difficult, or impossible, to express fully in advance. In this paper, we survey and discuss a logical account of context-sensitiveness in molecular processes, based on a kind of non-classical logic. This account also allows us to revisit the relationship between logic and philosophy of science (and philosophy of biology, in particular).