Institution Theory Institution theory is a very general mathematical study of formal logical systems—with emphasis on semantics—that is not committed to any particular concrete logical system. This is based upon a mathematical definition for the informal notion of logical system, called institution, which includes both syntax and semantics as well as the relationship between … Continue reading Institution Theory →.

The volume represents a selection of the articles which were presented at a colloquium on new research topics in aesthetics at the Austrian Library in Pilsen in September 2010. Their authors, Czech and Austrian scholars, address various topics, ranging from the institutional history of aesthetics to the relationship between philosophical aesthetics and psychology, and from the philosophy of literature to the aesthetics of fine arts, dramatic arts, and architecture.

The ability to memorize changes in the environment is present at all biological levels, from social groups and individuals, down to single cells. Trans‐generational memory is embedded subcellularly through genetic and epigenetic mechanisms. Evidence that cells process and remember features of the immediate environment using protein sensors is reviewed. It is argued that this mnemonic ability is encapsulated within the protein conformational space and lasts throughout its lifetime, which can overlap with the lifespan of the organism. Means to determine diachronic (...) changes in protein activity are presented. (shrink)

La notion de déprise joue un rôle central dans le traitement de la subjectivité chez Michel Foucault. Notre objectif est d’établir que cette notion ne peut pas être réduite à une économie du soi, comme il est communement admis par les commentateurs de son oeuvre. Dans ce sens, il faudrait la distinguer à la fois du souci de soi et de la pratique de la sagesse. De manière positive, il s’agit de montrer que la déprise joue plutôt comme modalité politique (...) de désubjectivation. L’analyse de la stultitia chez Sénèque nous permettra de montrer que la déprise est investie non pas comme modalité de subjectivation, mais comme pratique de disqualification de soi. (shrink)

Chez les commentateurs de l’oeuvre de Michel Foucault, le concept de sujet est communément analysé en termes de processus historiques de subjectivation. Contrairement à ce type d’analyse, l’enjeu de ce travail est de montrer l’émergence d’une problématique de la désubjectivation à partir de la notion foucaldienne de déprise de soi. Il s’agit de montrer d’abord que cette notion aménage à la fois la dispersion et l’effacement de l’auteur. Deuxièmement, la conceptualisation de la déprise sera traitée à travers l’analyse de pratiques (...) spécifiques d’écriture. Enfin, nous verrons comment la déprise de soi est investie dans le champ de l’identité subjective. (shrink)

Nicht-westliche Gemeinwohlkonzeptionen sind so vielfältig und heterogen, dass sie sich keinesfalls auf einen gemeinsamen Nenner bringen lassen. In manchen Fällen sind die Unterschiede zu westlichen Konzeptionen offensichtlich, andere Konzeptionen dagegen sind den westlichen durchaus ähnlich. Wichtig ist, dass eine ernsthafte Beschäftigung mit nicht-westlichen Gemeinwohlkonzeptionen nicht bei der Kenntnisnahme zusätzlicher Vielfalt stehenbleiben darf, sondern nach den Grunderfahrungen fragen muss, die sich in den verschiedenen Konzeptionen wiederfinden. Darin liegt die Chance, rückblickend auch auf jene Grunderfahrungen aufmerksam zu werden, die westlichen Gemeinwohlkonzeptionen zugrunde (...) liegen. (shrink)

In October 2017, the Trump administration announced that it would not participate in a $17 billion ‘WaterFix’ plan to remake California’s water conveyance system by drilling two massive tunnels und...

We study logic translations from an abstract perspective, without any commitment to the structure of sentences and the nature of logical entailment, which also means that we cover both proof- theoretic and model-theoretic entailment. We show how logic translations induce notions of logical expressiveness, consistency strength and sublogic, leading to an explanation of paradoxes that have been described in the literature. Connectives and quantifiers, although not present in the definition of logic and logic translation, can be recovered by their abstract (...) properties and are preserved and reflected by translations under suitable conditions. (shrink)

We formulate a general institution-independent (i.e. independent of the details of the actual logic formalised as institution) version of the Craig Interpolation Theorem and prove it in dependence of Birkhoff-style axiomatizability properties of the actual logic.We formalise Birkhoff-style axiomatizability within the general abstract model theoretic framework of institution theory by the novel concept of Birkhoff institution.

Our work offers a new answer to a growing theoretical and practical demand within diverse domains of investigation by redefining the concept of political action. It grounds and elucidates some of the manifestations of a distinctive mode of the political. Its regulative idea is that of the assemblage. The overall aim of this volume is to show that the political assemblage should be productively distinguished from both the limiting concepts of proceduralist and identitarian politics. One can broadly define proceduralist politics (...) as being grounded in autonomous individuals pursuing their own self-interests under the standardized rules of the political game. Identitarian politics is a mode of communitarian... (shrink)

This article analyzes the emergence of a political rationality of groundwater in contemporary California. It contrasts a new government of nature that we call a ‘political physics of vital processes’, operative in the case of the Orange County Water District, with juridical and biopolitical rationalities of groundwater governance. To do so, we propose a genealogical account grounded in a reading of a key concept in Aristotle’s first book of Politics. The case is analyzed along the axes of subjectivity, space, and (...) temporality, opening to a novel way of conceptualizing the relation between power and nature. (shrink)

During the afternoon of December 21, 1989, in Bucharest, a mass of demonstrators gather in a public square at the request of Nicolae Ceausescu, then president of Romania. In the previous days, students had shaken the country by taking to the streets in protest in the city of Timisoara. These mass protests had been preceded that year by a wave of other social movements that took place in Poland, Hungary, East Germany, Bulgaria, and Czechoslovakia. Now in a broadcast from the (...) balcony of the square, Ceausescu tries to reassure the population while making distressed appeals to preserve the unity of the political regime in the country. In the front row of the assembled crowd... (shrink)

I will begin with the end. Marcel Hénaff's sudden death in June 2018 opened a space of silence and surely did not prepare me to speak or write publicly about his passing. In his unexpected death, as a friend, Marcel left me with a problem. His death is now my problem. Yet, death is not a persistent question in Marcel Hénaff's thinking. At the very least, I will start by positing here that in his last book, Violence dans la raison? (...) Conflit et cruauté, both death and cruelty are enigmas.I will now attempt to elucidate the relationship between these two concepts by articulating two enigmas of death.First enigma: We usually say that in death, one deserves to eternally rest in peace.1 This claim is not totally... (shrink)

I shall argue here that Trinity is a leitmotiv in Marion’s works and that his latest analysis on said concept can enlighten us on the function of the icon and on the structure of his phenomenology of givenness. As such I will argue for a Trinitarian character of givenness. To prove this, I shall structure this paper as a commentary on Givenness and Revelation that will show how this book reveals unclear functions of the Trinity involved in givenness, such as (...) the role of the Holy Spirit, and relate these functions to the strict phenomenological structure of the act of giving. I shall first set the stage for a phenomenological interpretation of Trinity, showing which concepts are at play in Marion’s analysis of revelation. This will be followed by the integration of Trinity in the immanent field of phenomenology. Further, I shall show how revelation serves as the model for a new phenomenal logic, and I shall try to explain its manifestation. This will be followed by a presentation of how Marion’s new considerations on the topic of revelation can clarify both the role of the given and in addition the role of the subject within Marion’s phenomenology of givenness. (shrink)

Against much of the philosophical tradition, Spinoza and Nietzsche defend an understanding of freedom opposed to free will and formulated as an ethical ideal consisting in a transition from a smaller to a greater power of acting. Starting from a shared commitment to necessity and radical immanence, they present freedom as a passage to a greater power of self-determination and self-expression of the body. Nevertheless, the continuities between their power ontologies and their respective commitments to a life of knowledge break (...) down in their discussion of the various possible manifestations of power. I will argue that Nietzsche's distinctive formulation of power as struggle between wills to power enables him to formulate the question of the qualitative dimension of empowerment in a way that is foreign to Spinoza's rational determinism. While acknowledging the profound similarities, I will argue that we must see Nietzsche's discussion of affirmation as the culmination of his disagreement with his predecessor on the topic of freedom and empowerment. (shrink)

We study smoking-cessation apps in order to formulate a framework for ethical evaluation, analyzing apps as ‘medium’, ‘market’, and ‘genre’. We center on the value of user autonomy through truthfulness and self-understanding. Smoking-cessation apps usually communicate in an anonymous ‘app voice’, with little presence of professional or other identified voices. Because of the fast-and-frugal communication, truthfulness is problematic. Messages in the ‘quantification’ modules may be read as deceitfully accurate. The app voice frames smoking as a useless, damaging habit indicative of (...) weakness of will, in a ‘cold-turkey’ frame of individual mind-over-body heroism. Thus apps contribute to a stigmatization of smokers and culpabilization of relapses. The potential to support user autonomy through diverse meaningful voices and personalized communication remains yet unused. (shrink)

MĂDĂLINA DIACONU, Tasten, Riechen, Schmecken. Eine Ästhetik der anästhesierten Sinne, 2005 ; SILVIA STOLLER, VERONICA VASTERLING,LINDA FISHER, Feministische Phänomenologie und Hermeneutik, 2005 ; KARL SCHUHMANN, Karl Schuhmann: Selected Papers on Phenomenology. Edited by CEES LEIJENHORST and PIET STEENBAKKERS, 2004 ; HIROSHI GOTO, Der Begriff der Person in der PhänomenologieHusserls. Ein Interpretationsversuch der Husserlschen Phänomenologie als Ethik im Hinblick auf den Begriff der Habitualität, 2004 ; GÜNTER FIGAL, Lebensverstricktheit und Abstandsnahme. „Verhalten zu sich“ im Anschluss an Heidegger, Kierkegaard und Hegel, (...) 2001 ; JACQUES DERRIDA, Le toucher, Jean-Luc Nancy, 2000. (shrink)

This paper investigates Nietzsche’s reception of Spinoza in order to develop our understanding of the complex relations between their respective philosophies starting from their shared commitment to ontologies of power. The first three sections of this essay contain a diachronic analysis of Nietzsche’s engagement with Spinoza and a discussion of the major themes in play. The last section consists in an evaluation of Nietzsche’s explicit and implicit criticisms that helps us gain a sense of the coherence running through them, as (...) well of the core similarities and differences between two philosophies steeped in immanence and naturalism. Even if Nietzsche’s criticisms do not always do justice to Spinoza’s thinking, they nevertheless offer invaluable clues to guide our comparative project. (shrink)

This is a short survey on the development of the formal specification and verification language H with emphasis on the scientific part. H is a modern highly expressive language solidly based upon advanced mathematical theories such as the internalisation of Kripke semantics within institution theory.

We extend the concept of quasi-variety of first-order models from classical logic to multiple valued logic and study the relationship between quasi-varieties and existence of initial models in MVL. We define a concept of ‘Horn sentence’ in MVL and based upon our study of quasi-varieties of MVL models we derive the existence of initial models for MVL ‘Horn theories’. © 2011 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim.

Saturated models constitute one of the powerful methods of conventional model theory, with many applications. Here we develop a categorical abstract model theoretic approach to saturated models within the theory of institutions. The most important consequence is that the method of saturated models becomes thus available to a multitude of logical systems from logic or from computing science. In this paper we define the concept of saturated model at an abstract institution-independent level and develop the fundamental existence and uniqueness theorems. (...) As an application we prove a general institution-independent version of the Keisler–Shelah isomorphism theorem “any two elementarily equivalent models have isomorphic ultrapowers” (assuming Generalized Continuum Hypothesis). (shrink)

In this essay we analyse and elucidate the method to establish and clarify the scope of logic theorems offered within the theory of institutions. The method presented pervades a lot of abstract model theoretic developments carried out within institution theory. The power of the proposed general method is illustrated with the examples of interpolation and definability, as they appear in the literature of institutional model theory. Both case studies illustrate a considerable extension of the original scopes of the two classical (...) theorems. Our presentation is rather narrative with the relevant logic and institution theory concepts introduced and explained gradually to the non-expert reader. (shrink)

How should we understand Spinoza’s views on consciousness against the background of his interest in the pursuit of empowerment and freedom? This paper argues that consciousness consists in a plurality of affections of substance that do not necessarily help us in our striving for liberation. Spinoza wants to dispel various moral and metaphysical illusions associated with previous accounts of consciousness. Nevertheless, he does not provide more details, because an in-depth analysis of consciousness is not the best — nor the most (...) direct — path to empowerment. (shrink)

What are Descartes’s views on the body and how do they change? In this article, I try to make clearer the nature of the shift towards an increased focus on the body as ‘my’ body in Descartes’s Passions of the Soul. The interest in the nature of passions, considered from the point of view of the ‘natural scientist’, is indicative of a new approach to the study of the human. Moving beyond the infamous mind-body union, grounded in his dualist metaphysics, (...) Descartes begins developing a philosophical anthropology centred on the notion of power and better suited to practical philosophy. (shrink)

ABSTRACT What is the best way to confront the thought of eternal recurrence—the thought that we would have to live our life “once again and innumerable times again”—this great, heavy burden that, as Nietzsche warns, may crush us? In this article, I argue that learning to love oneself plays a privileged role in preparing us for facing this abysmal thought. Self-love consists in the cultivation of self-knowledge and in an engagement with the past that enables us to give it new (...) meaning and significance. Furthermore, Nietzsche’s revaluation of self-love in Thus Spoke Zarathustra brings with it a rethinking of our relations to others. To love oneself implies care for the empowerment and growth of others, as well as the capacity for self-sacrifice. (shrink)

Provides a comparative study in the history of modern philosophy focused on Spinoza and Nietzsche's recourse to physiology. Proposes Nietzsche and Spinoza's appeal to physiology as the key to solving fundamental philosophical problems. Taps into the heart of the growing interest in the Spinoza-Nietzsche connection through detailed discussions of substance metaphysics and the ontology of power, as well as their ethical and political positions.

This book provides an original and challenging perspective of religions as abstract complex adaptive systems, using an interdisciplinary approach to try to understand what religions are and how they function, two fundamental issues which, despite an intense struggle from several fields, have not yet been resolved. What is the source of religious belief? How do religions work and what are they made of? Why is religion so important for us that it has survived centuries of scientific progress and secularization? Why (...) are people religious even outside religion? The book addresses these questions using an interdisciplinary approach that seeks to untangle the Gordian knot of defining religion. In short, they can be considered entropy-reducing technologies. What differentiates them from other meaning-producing systems is their configuration which employs specific building blocks as tools for mitigating entropy, which are also subsystems and combine in various ways to build a unique configuration: rituals, myths, taboos, supernatural agents, authority, identity, superstitions, moral obligations, afterlife beliefs and the sacred. As a reaction to perturbances or pressure, systems can collapse. Inspired by Nicholas Nassim Taleb, it is, in this book, referred to as fragility—the negative reaction of systems to random events, and four parameters can be used to evaluate it in religious systems: monotonicity (the inability to learn from past mistakes), coupling (linking with other systems: such as political or economic), centralization and stress starvation. Several case studies are provided in order to test the theoretical claims made in this book, based on the author's field research in Romania, Japan, North Korea and Mongolia, and offering details that could be of interest to casual readers, students and researchers of religion. (shrink)