We extend Moss and Parikh’s modal logic for subset spaces by adding, among other things, state-valued and set-valued functions. This is done with the aid of some basic concepts from hybrid logic. We prove the soundness and completeness of the derived logics with regard to the class of all correspondingly enriched subset spaces, and show that these logics are decidable.

Ogni tentativo di ripensare le nostre categorie politiche deve muovere dalla consapevolezza che della distinzione classica fra zoé e bios, tra vita naturale ed esistenza politica (o tra l'uomo come semplice vivente e l'uomo come soggetto politico), non ne sappiamo piú nulla. Nel diritto romano arcaico homo sacer era un uomo che chiunque poteva uccidere senza commettere omicidio e che non doveva però essere messo a morte nelle forme prescritte dal rito. È la vita uccidibile e insacrificabile dell' 'uomo sacro' (...) a fornire qui la chiave per una rilettura critica della nostra tradizione politica. Quando la vita diventa la posta in gioco della politica e questa si trasforma in biopolitica, tutte le categorie fondamentali della nostra riflessione, dai diritti dell'uomo alla democrazia alla cittadinanza, entrano in un processo di svuotamento e di dislocazione il cui risultato sta oggi davanti ai nostri occhi. Seguendo il filo del rapporto costitutivo fra nuda vita e potere sovrano, da Aristotele ad Auschwitz, dall'Habeas corpus alle Dichiarazioni dei diritti, il libro di Agamben cerca di decifrare gli enigmi - prima di tutti il fascismo e il nazismo - che il nostro secolo ha proposto alla ragione storica. Fino a vedere, nel campo di concentramento, il paradigma biopolitico nascosto della modernità in cui città e casa sono diventate indiscernibili e la possibilità di distinguere tra il nostro corpo biologico e il nostro corpo politico ci è stata tolta una volta per tutte. (shrink)

(Sudhoffs Archiv; Beiheft 61) Stuttgart: Franz Steiner 2013. 493 S., zahlr. Abb. u. Tab., kart., € 74,00. ISBN 978‐3‐515‐10468‐5.

Two distinct attitudes have been adopted by investigators in the field of the sociology of knowledge. One of them may be called speculative; the other, empirical. The central interest of an investigator having the speculative attitude lies in developing a theory of the sociology of knowledge. The central interest of investigators having the empirical attitude lies in finding out or explaining concrete phenomena; the theory is employed, implicitly or explicity, for this purpose. The existence of the two attitudes may be (...) in part explained, as far as the German sociology of knowledge is concerned, by reference to the history of this school, which has grown out of and has been determined by a Marxist and materialistic philosophy, and especially by the use of this philosophy as a political instrument in the struggle of the emerging proletariat against the bourgeoisie. This statement, however, must be supplemented by a short location of the four most important contributors to the theory of the German sociology of knowledge. Max Scheler approaches the problem phenomenologically; he was the first and only one to ask the fundamental question, “What is knowledge?” Karl Mannheim, though markedly influenced by the Marxist viewpoint, particularly by Lukács, seems to me more adequately characterized by stressing his development from a more exclusively speculative to a more decidedly empirical attitude, which latter is especially evident in his most recent book, Man and Society in an Age of Reconstruction. Alexander von Schelting's main contribution is his thorough logical analysis of Mannheim's theory in the light of Max Weber's methodology. Ernst Grünwald has given the most complete survey of the forerunners, the history, and the various contributions of the sociology of knowledge. These four thinkers are indirectly dependent on the historically determined emphasis of the movement on ideology in that they remain on the level of a theoretical discussion without arriving at factual research. (shrink)

Die naive Idee des wissenschaftlichen Fortschritts beruht auf der irrtümlichen Annahme, daß es absolute Tatsachen und Grundsätze gibt, auf denen aufbauend die Wissenschaft ein ständig verbessertes Bild der Wirklichkeit liefert und sich mehr und mehr einer absoluten Wahrheit nähert. Im Gegensatz dazu wird gezeigt, daß wissenschaftliche Tatsachen und Grundsätze nur innerhalb der Interpretationsschemata von "Systemmengen" vermittelt werden können, von denen die jeweiligen "historischen Situationen" bestimmt werden. Die Entwicklung der Wissenschaften wird durch Unstimmigkeiten innerhalb solcher Systemmengen und durch den darin begründeten (...) Wandel hervorgerufen. Dabei liegt ein historischer Relativismus bloßer Fatalität oder Willkür nicht vor, weil nicht nur Kriterien für die Wahrheit von Aussagen innerhalb von Systemen logisch, sondern weil auch die Systeme selbst samt ihren Veränderungen, und zwar situationslogisch begründet werden können. Ist nun Wissenschaftsgeschichte "Systemgeschichte", so kommen nur zwei Bewegungsformen in Frage, in denen Fortschritte erzielt werden können: Nämlich erstens "Systemexplikation" und zweitens "Systemmutation". Entsprechend ist ein Fortschritt I von einem Fortschritt II zu unterscheiden. Beide werden mit Hilfe des Begriffs "Harmonisierung einer Systemmenge" genauer definiert. (shrink)

P. Bernays has pointed out that, in order to prove the consistency of classical number theory, it is necessary to extend Hilbert's finitary standpoint by admitting certain abstract concepts in addition to the combinatorial concepts referring to symbols. The abstract concepts that so far have been used for this purpose are those of the constructive theory of ordinals and those of intuitionistic logic. It is shown that the concept of a computable function of finite simple type over the integers can (...) be used instead, where no other procedures of constructing such functions are necessary except simple recursion by an integral variable and substitution of functions in each other (starting with trivial functions). (shrink)

Badania nad podstawami matematyki przyniosły w ostatnich dziesięcioleciach wyniki, które wydają mi się ciekawe nie tylko dla nich samych, lecz także z uwagi na wnioski, jakie płyną z nich w odniesieniu do tradycyjnych problemów filozoficznych dotyczących natury matematyki. Same wyniki są dość szeroko znane, mimo to jednak sądzę, że warto raz jeszcze przedstawić je w zarysie, zwłaszcza w obliczu faktu, że dzięki pracy szeregu matematyków zyskały one znacznie doskonalszą formę, niż miały pierwotnie. Największy postęp, mający decydujące znaczenie dla tych wyników, (...) stał się możliwy dzięki precyzyjnemu zdefiniowaniu pojęcia skończonej procedury. Definicję taką można uzyskać na różne sposoby, które w efekcie dają dokładnie to samo pojęcie. Najbardziej zadowalający sposób polega moim zdaniem na sprowadzeniu pojęcia skończonej procedury do pojęcia maszyny o skończonej liczbie części, co uczynił brytyjski matematyk Turing. Co do filozoficznych konsekwencji wspomnianych wyników, nie sądzę, by kiedykolwiek należycie je przedyskutowano, czy choćby zwrócono na nie uwagę. (shrink)

Wozu braucht ein Krankenhaus eine Ethikberatung? Und was an dieser Beratung ist ethisch? Das Buch erklärt die Hintergründe der Entstehungsprozesse Klinischer Ethikberatung. Es gewährt neue Einblicke in schwerwiegende Entscheidungskonflikte des klinischen Alltags und deckt die vehementen Auseinandersetzungen auf, die sich öffentlich daran anschlossen. Auf der Suche nach dem Ethikverständnis der Klinischen Ethikberatung trifft das Buch auf bisher nicht ausgewertete Hinweise. Schritt für Schritt wird eine Systematik rekonstruiert, die die Gestalt einer bedeutsamen philosophischen Denkrichtung erkennen lässt.

We derive an expression for the relation between two scattering transition amplitudes which, reflect the same dynamics, but which differ in the description of their initial and final state vectors. In one version, the incident and scattered states are elements of a perturbative Fock space, and solve the eigenvalue problem for the “free” pari of the Hamiltonian—the part that remains after the interactions between particle excitations have been “switched off”. Alternatively, the incident and scattered states may be coherent state that (...) are transforms of these Fock states. In earlier work, we reported on the scattering amplitudes for QED, in which a unitary transformation relates perturbative and nonperturbative sets of incident and scattered states. In this work, we generalize this earlier result to the case of transformations that are not necessarily unitary and that may not have unique inverses. We discuss the implication of this relationship for Abelian and non-Abelian gauge theories in which the “transformed”, nonperturbative states implement constraints, such as Gauss’s law. (shrink)

Feelings not only have a place, they also have a time. Today, one can speak of a multifaceted renaissance of feelings. This concerns philosophy itself, particularly, ethics. Every law-based morality comes up against its limits when morals cease to be only a question of legitimation and begin to be a question of motivation, since motives get no foothold without the feeling of self and feeling of the alien. As it is treated by various social theories and psychoanalysis, the self is (...) not formed through the mere acquisition or change of roles, but rather through a process that is susceptible to crises, a process shaped by affective bonds and separations. Learning, which is the theme of pedagogy, loses its hold whenever it is confronted by disinterest and listlessness. In neurobiology, the increased significance of those zones of the brain that are connected with the realization of feelings makes the brain, accordingly, no mere apparatus that processes data, but a living organ that selects and “evaluates” what is “important.” Finally, cross-cultural comparison shows the extent to which the one-sided preference for understanding and willing, which is the mark of Western rationalism, arises from a typical, not to mention a highly masculine attitude toward the world and life, as many different studies on gender difference stress (In reference to this perspective, see Seethaler, Gefühle und Urteilskraft. Ein Plädoyer für die emotionale Vernunft, 1997). The following reflections provide a historical orientation directed toward a new determination of feelings. This new determination of feelings is phenomenological and takes the pathetic character of experience, nourished by the corporeality of experience as its point of departure. (shrink)

In L’institution, la passivité. Notes de cours au Collège de France (1954-1955), Maurice Merleau-Ponty develops approaches to a concept of the unconscious that can also be relevant to a mental philosophy from the perspective of cognitive science and AI in the tradition of continental philosophy. I consider this all the more important as previous attempts at an analytical philosophy of AI tend to remain stuck in Cartesian or Platonic dualism, which – as a dream of Silicon Valley – could encourage (...) gnostic thinking (Irrgang 2021). (shrink)