Complex frameworks for defining programming languages aim to generate various tools (e.g. interpreters, symbolic execution engines, deductive verifiers, etc.) using only the formal definition of a language. When used at an industrial scale, these tools are constantly updated, and at the same time, it is required to be trustworthy. Ensuring the correctness of such a framework is practically impossible. A solution is to generate proof objects as correctness artefacts that can be checked by an external trusted checker. A logic suitable (...) for developing such frameworks is matching logic. K framework is a canonical example having matching logic-based foundation. Since the (symbolic) configurations of the programs are represented by matching logic patterns, the algorithms computing the dynamics of these configurations can be seen as pattern transformers and a proof object should be generated for the relationship between these patterns. In this paper, we show that conjunctions and disjunctions of patterns, produced by semantics or analysis rules, can be safely normalized using unification and antiunification algorithms. We also provide a prototype implementation of our proof object generation technique and a checker for certifying the generated objects. (shrink)

Various notions of philosophy of language are present constantly in the whole work of Constantin Noica. His concerns are directed towards the language as a pivotal human ability and as a fundamental form of culture, towards the philosophy and the hermeneutics of the poetic language (especially of Eminescu’s language), as well as towards some linguistic and philosophical concepts related to the Romanian language as a historical language.

À travers une vision gestaltiste, déjà à l’oeuvre dans la philosophie de Maurice Merleau-Ponty, cet article essaie de montrer que toutes les difficultés propres à l’interprétation de la problématique du rapport à autrui, notamment celle concernant le fait de ne pouvoir jamais avoir un accès complet à autrui, peuvent être surmontées ou, du moins, peuvent être mises en discussion. Toute la question est de savoir si ce rapport est basé sur une constitution mutuelle, une constitution réductible à ceux qui le (...) constituent, moi ou autrui, ou si ce rapport va au-delà, étant plus et autre chose que les sujets qui entrent en relation, puisqu’il est lui-même quelque chose d’irréductible. Ni réductibilité à moi, comme chez Husserl, ni réductibilité à autrui, celui totalement autre, comme chez Levinas, mais une irréductibilité conciliante de ce rapport qui, en tant que forme, dépend des éléments qui le constituent et, néanmoins, est autre chose qu’eux et leur demeure irréductible.Through a Gestaltist vision, already present in Merleau-Ponty’s philosophy, this article attempts to show that all difficulties inherent in the interpretation of the problems concerning the relationship to the Other, especially the fact that we can never have complete access to the Other, can be overcome, or at least, put into discussion. The most important question is to know whether this relationship is based on a mutual constitution, one that is reducible to its terms, self or Other, or if this relationship goes beyond its subjects and is something irreducible in itself. This relationship is not reducible to the self, as in Husserl’s work, nor is it reducible to the Other, as something completely Other, as in Levinas, but is a relationship of reconciliatory irreducibility which, while entirely dependent on its constitutive elements, is nevertheless something else irreducible to both.Attraverso una visione gestaltista, già all’opera nella filosofi a di Maurice Merleau-Ponty, cercheremo qui di mostrare come tutte le difficoltà tipiche della problematica del rapporto all’altro, specie quella relativa al fatto che non possiamo mai avere un accesso completo all’altro, possano essere superate o almeno rimesse in questione. L’intero problema dipende da un’opzione di fondo: se cioè tale rapporto sia basato su una reciproca costituzione, ovvero su una costituzione riducibile a coloro che lo costituiscono, cioè l’io e l’altro; o se tale rapporto vada al di là, sia qualcosa di più, o di diverso, rispetto ai soggetti che entrano in rapporto, essendo il rapporto stesso qualcosa di irriducibile. Né riducibilità a me, dunque, come in Husserl, né riducibilità all’Altro, come in Levinas, ma conciliante irriducibilità del rapporto in quanto forma, che pur dipendendo dagli elementi che la costituiscono è altro dagli elementi stessi. (shrink)

ABSTRACTPrevious research has shown that emotional stimuli may interfere with working memory processes, but little is known about the process affected. Using a complex span task, the present study investigated the influence of processing negative emotional content on attentional maintenance in WM. In two experiments conducted under articulatory suppression, participants were asked to remember a series of five letters, each of which was followed by an image to be categorised. In half of the trials, the images were negative and in (...) the other half, they were neutral. In both experiments, our results showed longer processing times for emotional stimuli than neutral stimuli, and lower memory performance when participants processed negative stimuli. We propose that emotional stimuli direct more attentional resources towards the processing component of the WM task, thereby reducing the storage capacity available for the items that are to be remembered. (shrink)

Dan ZAHAVI, Husserl and Transcendental Intersubjectivity. A Response to the Linguistic-Pragmatic Critique ; Françoise DASTUR, Chair et langage. Essais sur Merleau-Ponty ; Jean GREISCH, Michel Henry et l’épreuve de la vie ; Elisabeth STRÖKER, The Husserlian Foundations of Science ; John McCUMBER, Metaphysics and Oppression, Heidegger’s Challenge to Western Philosophy ; Marc RICHIR, Phénoménologie en esquisses. Nouvelles fondations ; Raphaël GÉLY, La genèse du sentir. Essai sur Merleau-Ponty ; John SALLIS, Force of Imagination: The Sense of the Elemental ; Bin (...) KIMURA, L’entre. Une approche phénoménologique de la schizophrénie ; Dermot MORAN, Tim MOONEY, The Phenomenology Reader ; Ion COPOERU, Structuri ale constituirii ; Fabio CIARAMELLI, La distruzione del’desiderio. Il narcisismo nell’epoca di consumo di massa ; Pierre KELLER, Husserl and Heidegger on Human Experience. (shrink)