If personhood is the quality or condition of being an individual person, brainhood could name the quality or condition of being a brain. This ontological quality would define the `cerebral subject' that has, at least in industrialized and highly medicalized societies, gained numerous social inscriptions since the mid-20th century. This article explores the historical development of brainhood. It suggests that the brain is necessarily the location of the `modern self', and that, consequently, the cerebral subject is the anthropological figure inherent (...) to modernity (at least insofar as modernity gives supreme value to the individual as autonomous agent of choice and initiative). It further argues that the ideology of brainhood impelled neuroscientific investigation much more than it resulted from it, and sketches how an expanding constellation of neurocultural discourses and practices embodies and sustains that ideology. (shrink)

It is well known that Frege's system in the Grundgesetze der Arithmetik is formally inconsistent. Frege's instantiation rule for the second-order universal quantifier makes his system, except for minor differences, full (i.e., with unrestricted comprehension) second-order logic, augmented by an abstraction operator that abides to Frege's basic law V. A few years ago, Richard Heck proved the consistency of the fragment of Frege's theory obtained by restricting the comprehension schema to predicative formulae. He further conjectured that the more encompassing Δ₁¹-comprehension (...) schema would already be inconsistent. In the present paper, we show that this is not the case. (shrink)

We construct a weak second-order theory of arithmetic which includes Weak König's Lemma (WKL) for trees defined by bounded formulae. The provably total functions (with Σ b 1 -graphs) of this theory are the polynomial time computable functions. It is shown that the first-order strength of this version of WKL is exactly that of the scheme of collection for bounded formulae.

As public administrations adopt artificial intelligence (AI), we see this transition has the potential to transform public service and public policies, by offering a rapid turnaround on decision making and service delivery. However, a recent series of criticisms have pointed to problematic aspects of mainstreaming AI systems in public administration, noting troubled outcomes in terms of justice and values. The argument supplied here is that any public administration adopting AI systems must consider and address ambiguities and uncertainties surrounding two key (...) dimensions: the algorithms’ results, and how public managers make decisions for and about AI systems’ design. The article is based on bibliographic research in institutional theory perspective that relates the design of AI systems and relevant literature on the decision-making process in public policy. The main finding is to explain why autonomous decision systems continue to reproduce ambiguities and uncertainties when applied in public administration and propose a reflection on AI governance in public administration. This article points to the need for design institutions that immerse themselves in understanding the nuances, details, and potential outcomes of AI governance for public administration. Such institutions would reconcile consequentialist logic with a logic of appropriateness to help navigate and mediate ambiguities and uncertainties. (shrink)

We present an experiment designed to investigate three different mechanisms to achieve impartiality in distributive justice. We consider a first-person procedure, inspired by the Rawlsian veil of ignorance, and two third-party procedures, an involved spectator and a detached observer. First-person veiled stakeholders and involved spectators are affected by an initially unfair distribution that, in the stakeholders’ case, is to be redressed. We find substantial differences in the redressing task. Detached observers propose significantly fairer redistributions than veiled stakeholders or involved spectators. (...) Risk preferences partly explain why veiled stakeholders propose less egalitarian redistributions. Surprisingly, involved spectators, who are informed about their position in society, tend to favour stakeholders holding the same position as they do after the initial distribution. (shrink)

In Frege’s logicism, numbers are logical objects in the sense that they are extensions of certain concepts. Frege’s logical system is inconsistent, but Richard Heck showed that its restriction to predicative quantification is consistent. This predicative fragment is, nevertheless, too weak to develop arithmetic. In this paper, I will consider an extension of Heck’s system with impredicative quantifiers. In this extended system, both predicative and impredicative quantifiers co-exist but it is only permissible to take extensions of concepts formulated in the (...) predicative fragment of the language. This system is consistent. Moreover, it proves the principle of reducibility applied to concepts true of only finitely many objects. With the aid of this form of reducibility, it is possible to develop arithmetic in a thoroughly Fregean way. (shrink)

Both questions as abstract objects and the speech acts, here called requests, by which we ask them play an enormous role in all argumentative practices. Nonetheless, there is hardly a proper systematic treatment of questions and requests in current argumentation theories. This paper is a first attempt at providing such a systematic treatment. This is achieved by following the ideal model of a critical discussion as elaborated over the years by the Amsterdam school of pragma-dialectics. After introducing the distinction between (...) questions and requests, the paper sets forth and illustrates the norms of questioning which implicitly underlie the four stages of a critical discussion in the standard order: confrontation, opening, argumentation, and conclusion. Among other things, it is shown that crucial insights of pragma-dialectics are illuminated by the questioning perspective, in particular the distinction between single and multiple differences of opinion, the duties of the antagonist and protagonist roles, the precise character of the argumentation stage, and the different ways in which a disagreement can be resolved. (shrink)

We perform an experimental investigation using a dictator game in which individuals must make a moral decision —to give or not to give an amount of money to poor people in the Third World. A questionnaire in which the subjects are asked about the reasons for their decision shows that, at least in this case, moral motivations carry a heavy weight in the decision: the majority of dictators give the money for reasons of a consequentialist nature. Based on the results (...) presented here and of other analogous experiments, we conclude that dicator behavior can be understood in terms of moral distance rather than social distance and that it systematically deviates from the egoism assumption in economic models and game theory. (shrink)

We present a functional interpretation of Peano arithmetic that uses Gödel’s computable functionals and which systematically injects uniformities into the statements of finite-type arithmetic. As a consequence, some uniform boundedness principles are interpreted while maintaining unmoved the -sentences of arithmetic. We explain why this interpretation is tailored to yield conservation results.

When is humanitarian intervention legitimate and how should such interventions be conducted? This article sets out eight liberal principles that underlie humanitarian intervention, some of them abstract principles of international ethics and others more concrete principles that apply specifically to humanitarian intervention. It argues that whilst these principles do not determine the legitimacy of particular interventions, they should ?incline? our judgments towards approval or disapproval. The basic principles include the liberal idea that governments are the mere agents of the people, (...) that tyrannical governments forfeit their legal protections, that human rights entail obligations for governments, that justifiable intervention must intend the end of tyranny or anarchy, that the doctrine of double-effect should be respected, that intervention is only warranted in severe cases, that intervention be welcomed by those it is intended to save, and that ideally it is welcomed by the community of democratic states. (shrink)

Name der Zeitschrift: Kant-Studien Jahrgang: 107 Heft: 3 Seiten: 485-495.

Notions of disambiguation supporting a compositional interpretation ofvambiguous expressions and reflecting intuitions about how sentences combinevin discourse are investigated. Expressions are analyzed both inductively byvbreaking them apart, and co-inductively by embedding them within larger contexts.

Building on a functionalist framework for decision-making in legal translation, a holistic approach to quality is presented in order to respond to the specificities of this field and overcome the shortcomings of general models of translation quality evaluation. The proposed approach connects legal, contextual, macrotextual and microtextual variables for the definition of the translation adequacy strategy, which guides problem-solving and the rest of the translation process. The same parameters remain traceable between the translation brief and the translation product both in (...) pre-delivery revision and in post-delivery assessment. They are the yardstick for identifying predictable evaluative criteria and competence requirements for translators and quality controllers. The implications of the approach on quality assessment and quality management practices are also discussed. Overall, the model illustrates the potential benefits of enhancing predictability and reducing subjectivity on the basis of specific legal translation methodologies. It supports the need for legal translation expertise in quality evaluation and the relevance of Legal Translation Studies to raising standards in professional practice. (shrink)

Economists generally agree that free trade leads to economic growth. This proposition is supported both by theoretical models and empirical data. Further, while the empirical evidence is more limited on this question, the general consensus among economists holds that trade restrictions are likely to hurt the poor. Even if the latter consensus turns out to be wrong, if free trade leads to superior growth, governments would have more resources to redistribute to the poor. It is surprising then that philosophers and (...) human rights scholars do not advocate liberalizing trade as a way to improve the welfare of the poor as a class. While many scholars in these fields are silent with respect to the effect of free trade on the poor, some actually argue that liberalized trade is harmful for the poor, contrary to the claims of economists. In this article, we argue that any serious scholar concerned with the plight of the poor needs to address the theory and evidence regarding the effects of trade liberalization on economic growth, suggesting that the standard policy prescriptions of the philosophers and human rights scholars are, at best, of second order concern and, at worst, likely to be counterproductive in terms of improving the welfare of the poor. (shrink)

Este artículo vuelve sobre el clásico y complejo concepto de alienación y se propone contribuir a elaborarlo para la filosofía social actual. La idea es ir articulando las propuestas sobre la alienación que han elaborado Rahel Jaeggi y Axel Honneth, desarrolladas a partir de un filósofo presuntamente ajeno a la teoría crítica, a saber, Martín Heidegger, e irnos desligando de estos autores a medida que vamos perfilando el concepto. Pretendemos ofrecer un análisis estructural del concepto que permita identificar ciertos rasgos (...) básicos que después sirvan para elaborar un diagnóstico de las patologías sociales en el mundo contemporáneo. (shrink)

In this article we study applications of the bounded functional interpretation to theories of feasible arithmetic and analysis. The main results show that the novel interpretation is sound for considerable generalizations of weak König’s Lemma, even in the presence of very weak induction. Moreover, when this is combined with Cook and Urquhart’s variant of the functional interpretation, one obtains effective versions of conservation results regarding weak König’s Lemma which have been so far only obtained non-constructively.

In this work we define, in a general way, an algebraic semantics for the logics of the hierarchy InPk. This semantics is defined by means of an alternative construction, with respect to the usual algebraic semantics, and it is known in the literature as Twist-structures semantics. Besides that, we modify such construction, defining the so-called ω-Twist-structures here. This adaptation allows us to prove adequacy theorems for every logic of the hierarchy InPk.

Este artículo pretende señalar aquellos puntos de la Fenomenología del espíritu en los que Hegel transforma el concepto moderno de identidad y lo abre al tiempo, al proceso y al desarrollo, dando paso a la identificación como nuevo fundamento del fenómeno identitario. Se ha señalado muchas veces que, por el hecho mencionado, Hegel está en la base de Freud, pero pocas veces se ha hecho una lectura cercana de ciertos pasajes y términos de la Fenomenología como formulaciones del fenómeno de (...) la identificación. La identificación aparece así, entre otras cosas, como un dejar atrás el sujeto protegido de la modernidad y un tomar la diferencia, la otridad, como el único camino para que el sí-mismo avance. (shrink)

The purpose of this paper is an attempt to delimitate what the dialectical syllogism looks like in Aristotle’s Topics. Aristotle never gave an example of a dialectical syllogism, but we have some clues spread over books I and VIII of the Topics which make it possible to understand at least what within a dialectical debate is a dialectical syllogism. The interpretation advanced here distinguishes the logical order of the dialectical argumentation from the order of the debate. This distinction enables us (...) to have a better understand of what is and how the dialectical syllogism is identified in the debate. In addition, we can solve some interpretative difficulties other interpretations could not solve, and have a more solid grasp of how endoxa are used in a dialectical debate. (shrink)

Frege’s Grundgesetze der Arithmetik is formally inconsistent. This system is, except for minor differences, second-order logic together with an abstraction operator governed by Frege’s Axiom V. A few years ago, Richard Heck showed that the ramified predicative second-order fragment of the Grundgesetze is consistent. In this paper, we show that the above fragment augmented with the axiom of reducibility for concepts true of only finitely many individuals is still consistent, and that elementary Peano arithmetic (and more) is interpretable in this (...) extended system. (shrink)

A modal logic for translating a sequence of English sentences to a sequence of logical forms is presented, characterized by Kripke models with points formed from input/output sequences, and valuations determined by entailment relations. Previous approaches based (to one degree or another) on Quantified Dynamic Logic are embeddable within it. Applications to presupposition and ambiguity are described, and decision procedures and axiomatizations supplied.

Name der Zeitschrift: Kant-Studien Jahrgang: 106 Heft: 3 Seiten: 418-429.

This article shows how epideictic rhetoric and argumentation may be interrelated in a general-interest newspaper framed as a single discourse produced by a collective author. In more specific terms, the view advanced here is that newspaper as whole has an epideictic dimension which, in terms of argumentation, is the fundamental or predominant one. The usefulness of this approach is twofold. In terms of rhetoric, to explore the applicability of epideictic rhetoric to journalistic discourse; and in the field of journalism studies, (...) the goal is to draw on the theory of epideictic rhetoric so as to refine the conceptualization of the nature of argumentation in the newspaper as such. Given this twofold perspective, the account of newspaper discursive practices will be general, and the classical and contemporary epideictic theory will be briefly summarized. However, the outcome of this analysis is an example of a fruitful encounter between the two fields. (shrink)

The work of Rainer Forst constitutes the third generation of the Habermasian School. In Das Recht auf Rechtfertigung [The right to justification] (2007) Forst develops a constructivist approach to justice in a serious effort to find a systematic basis for ‘critical theory’. In this article the relevant arguments of this approach are critically analysed. The position developed in the work of Forst appears to be characterized by a fundamental ambiguity because it oscillates between two irreconcilable points. On the one hand (...) Forst seems to admit the necessity of something like the ‘unconditionality of moral law’ presupposing a kind of Kantian transcendentalism beyond constructivism. But on the other hand, he turns back to a more Habermasian constructivist or proceduralist theory. The ambiguity implicit in Forst’s philosophy is that it does not find a compromise between these two approaches to discursive theory so it fluctuates between them, needing the logical support of both poles. (shrink)

La aspiración a formar sociedades justas se choca con alarmantes niveles de pobreza y desigualdad, un problema al cual toda reflexión sobre la justa sociedad debe ofrecer una respuesta convincente. Esta ponencia afirma (1ª parte) que la experiencia que tenemos de las injusticias – como la pobreza – puede dar origen a una reflexión sobre la justicia. Luego (2ª parte) presenta el concepto de pobreza según el enfoque de las capacidades de Amartya Sen y lo completa con una interpretación filosófica (...) de la pobreza como privación radical de libertad individual. Finalmente (3ª parte) analiza y critica la forma en que la teoría de la justicia de John Rawls no aborda el problema de la pobreza y propone un principio de justicia previo a los dos de Rawls – el principio “cero” – que recoge el desafío que la pobreza plantea al concepto de sociedad justa. (shrink)

Im Anhang zum zweiten Teil der Kritik der Urteilskraft, der Kritik der teleologischen Urteilskraft, setzt sich Kant mit der Frage nach dem Zweck der Schöpfung auseinander. Seine These ist hier eindeutig: „wir [erkennen] nun den Menschen […] als moralisches Wesen für den Zweck der Schöpfung [an…]“. Warum ist jedoch der Mensch als moralisches Wesen für den Zweck der Schöpfung zu halten? Diese Frage ist keineswegs unumstritten und soll in diesem Aufsatz erörtert werden. Um sie zu beantworten, werde ich den Zusammenhang (...) von drei bestehenden Elementen der kantischen Auffassung des Menschen als Zweck der Schöpfung erläutern: Die vernünftige Natur des Menschen, die Freiheit seines Willens, und das Sittengesetz. (shrink)

Inertia is enshrined in Newton’s first law of motion, a body at rest or in uniform motion remains in that state unless a force is applied to it. Now, consider (1). (1) Pat stopped the car before it hit the tree. Can we conclude from (1) that the car struck the tree? Not without further information such as that supplied in (2). (2) But the bus behind kept going. A post-condition for Pat stopping the car is that the car be (...) at rest. To satisfy a pre-condition for the car hitting the tree (namely, that the car not be at rest), inertia requires that some intervening force act on the car (as hinted, for example, by (2)). In the absence of such a force, (1) would appear to suggest that Pat prevented a collision between car and tree. Exactly what bit of physics are we importing into natural language interpretation here? Oversimplified, Newton’s first law of motion says: no change without force. Identifying force with cause, we come to the slogan no temporality without cause, capturing in a phrase the proposal from Steedman 2000 that.. (shrink)

Para Hegel, el rendimiento supremo del pensamiento consiste en hallar un terreno en el cual se pongan en evidencia las dimensiones primarias de la realidad. Por esta vía consigue desarrollar uno de sus planteamientos más interesantes en la Ciencia de la lógica, a saber, el concepto de realidad efectiva. Este artículo elabora esa visión de la realidad comentando cuidadosamente lo que Hegel desarrolla allí. Al final muestra que la realidad absoluta es a la vez diferenciación en multiplicidades existentes e inversión (...) de esa contingencia en absoluta necesidad, es decir, se pone como contingente para recuperarse a sí misma en la necesidad. (shrink)

El objetivo del siguiente trabajo es la exposición de la posibilidad de una política a partir de la obra del filósofo alemán Martin Heidegger. Es conocida su adhesión al nacionalsocialismo cuando Hitler accede al poder en 1933. La pregunta que surge es si esta adhesión tiene que ver con el anhelo de una revolución y en que consiste ésta. La idea que aquí se desarrolla es que la existencia en cuanto tal denota lo político y es desde ahí desde donde (...) emerge la posibilidad de un cuestionarse acerca de los fundamentos de la estructura organizativa de la sociedad, posibilitando la posibilidad de un reinicio político, con la mirada puesta en el origen mismo: en la πὀλις griega. ----- The aim of the following work is to expose the possibility of a politics based on the work of the German philosopher Martin Heidegger. His adherence to National Socialism when Hitler came to power in 1933 is well known. The question that arises is whether this adherence has anything to do with the desire for revolution and what it consists of. The idea that is developed here is that existence as such denotes the political, and it is from there that the possibility of questioning the foundations of the organizational structure of society emerges, making possible the possibility of a political restart, with a view to the very origin: in the Greek πὀλις. (shrink)

In the context of the Eurocentric theories of modernity, the following article addresses four relevant topics and its corresponding deconstruction. 1) Hegel’s concept of modernity as the discovery of subjectivity in Western Europe. 2) Max Weber’s concept of modernity by emphasizing his criticism of protestant ethic as the engine of capitalism.3) Jürgen Habermas's conception of modernity as ‘unfinished project’, emphasizing the theoretical structure of the life-world, which occupies a special and important place in his theory of modernity.Finally, I discuss the (...) strengths and weaknesses of the emerging paradigm of decolonization, as a contribution to the improvement of their theoretical positions. En el contexto de las teorías de la modernidad eurocéntrica, el artículo siguiente aborda cuatro tópicos relevantes y su correspondiente deconstrucción. En primer lugar, el concepto de modernidad de Hegel como el descubrimiento de la subjetividad europea y occidental. El segundo lugar, el concepto de Max Weber de la modernidad, acentuando la crítica de la ética protestante como motor del capitalismo. En tercer lugar, la concepción de JürgenHabermas de la modernidad como "proyecto inconcluso", haciendo hincapié en la estructura teórica del mundo de la vida, que ocupa un lugar privilegiado en su teoría de la modernidad. Por último, se discuten las fortalezas y debilidades del paradigma emergente de descolonización, como una contribución al mejoramiento de sus posiciones teóricas. (shrink)

This work aims to re-evaluate the importance of the human imagination in the semiotic of C. S. Peirce. Based on a selection of texts from the Collected Papers (from 1878 to 1903), it attempts to describe the formal relationship between imagination and the controversial notion of semiotic ground. This account of the imagination as a prerequisite for the creation of new beliefs and habits also draws from the Aristotelian notion of "ascending mimesis" and the Peircean normative science of esthetics.

Explicitness has usually been approached from two points of view, labelled by Kirsh the structural and the process view, that hold opposite assumptions to determine when information is explicit. In this paper, we offer an intermediate view that retains intuitions from both of them. We establish three conditions for explicit information that preserve a structural requirement, and a notion of explicitness as a continuous dimension. A problem with the former accounts was their disconnection with psychological work on the issue. We (...) review studies by Karmiloff-Smith, and Shanks and St. John to show that the proposed conditions have psychological grounds. Finally, we examine the problem of explicit rules in connectionist systems in the light of our framework. (shrink)

Explicitness has usually been approached from two points of view, labelled by Kirsh the structural and the process view, that hold opposite assumptions to determine when information is explicit. In this paper, we offer an intermediate view that retains intuitions from both of them. We establish three conditions for explicit information that preserve a structural requirement, and a notion of explicitness as a continuous dimension. A problem with the former accounts was their disconnection with psychological work on the issue. We (...) review studies by Karmiloff-Smith, and Shanks and St. John to show that the proposed conditions have psychological grounds. Finally, we examine the problem of explicit rules in connectionist systems in the light of our framework. (shrink)

"If being a humanitarian imperialist means advocating that the hegemon use its might to advance freedom, human rights, and democracy, then I am a humanitarian imperialist.".

Our aim in this paper is to throw some light on the kind of normativity characteristic of human knowledge. We describe the epistemic normative domain as that field of human agency defined by knowledge understood as an achievement. The normativity of knowledge rests on the contribution of the epistemic agent to the fulfillment of certain tasks. Such contribution is epistemically significant when the agent becomes engaged in the obtaining of success. Finally, we identify some features associated with full epistemic agency (...) and elucidate what we mean by engagement by appealing to the idea of adopting an epistemic perspective. En este artículo pretendemos arrojar luz sobre la normatividad propia del conocimiento humano. Describimos el dominio normativo epistémico como un campo de agencia humana que está definido por el conocimiento entendido como logro. La normatividad del conocimiento se apoya en la contribución del agente epistémico a la consecución de ciertas tareas. Tal contribución es epistémicamente significativa cuando el agente llega a participar en la consecución del éxito. Por último identificamos algunos rasgos asociados con la agencia epistémica completa, y aclaramos lo que queremos decir con implicación apelando a la idea de adoptar una perspectiva epistémica. (shrink)

En el marco del V Congreso Internacional «La actualidad de Michel Foucault» celebrado en la Universidad Complutense de Madrid entre el 6 y el 8 de marzo de 2018, sostuvimos una interesante conversación con Daniel Lorenzini, investigador del pensamiento ético y político de Michel Foucault y editor de varios de sus cursos y conferencias publicadas en los últimos años en Francia. Discutimos sobre el estado actual de los archivos de Foucault adquiridos por la Biblioteca Nacional de Francia (BnF), algunos de (...) los diversos proyectos editoriales que se derivan del trabajo de archivo y análisis de los manuscritos del filósofo, la reciente e inesperada publicación de Les aveux de la chair y su relación con el proyecto de la Historia de la sexualidad tal como fue planteado en 1976, la relación de Foucault con Nietzsche respecto a sus lecturas de la subjetivación y el vínculo, no siempre evidente, entre ética y política a la luz de sus investigaciones sobre el filósofo francés. (shrink)

La pobreza y la democracia guardan relaciones complejas y ya bastante estudiadas por los científicos sociales. En este artículo no volveré sobre estos enfoques, ni tampoco insistiré en los problemas de gobernabilidad que nacen de la pobreza, sino que presentaré la crítica filosófico-política al ideal democrático que resulta cuando consideramos a la pobreza como privación de libertad individual. A la pobreza se la puede entender desde múltiples perspectivas filosóficas, pero el interpretarla como privación de libertad individual, como lo hace Amartya (...) Sen, la pone en relación directa y problemática con un sistema de gobierno que precisamente hace de las libertades, y de la libertad humana en general, su nervio central. Quisiera sostener que la existencia de la pobreza pone en duda que vivamos en sociedades democráticas porque cuestiona la finalidad y la esencia de estas comunidades, a la vez que les desafía a pensar cómo pueden convertirse realmente en sociedades justas. Comenzaré con una interpretación filosófica de la pobreza a partir de algunas ideas de Sen (sección 1). Seguiré con el análisis de la relación que se podría establecer entre la privación de libertad y la comunidad política según tres filósofos de la tradición occidental: Aristóteles, Baruch de Espinosa y John Locke (sección 2), y terminaré presentando tres desafíos que la pobreza presenta a nuestras democracias (sección 3). (shrink)

El presente trabajo es un análisis sobre la manera en que el concepto de «exploración espacial» contiene ciertos aspectos falaces respecto a la verdadera exploración espacial, puesto que se ha construido a partir de textos de diversos lenguajes estéticos de la tradicionalmente denominada «cultura popular». Estos textos han jugado con un imaginario que remite a cierto romanticismo espacial y a una obsesión con un Otro inquietante o modélico, según el caso, así como con lo sublime desprendido del llamado «vértigo cósmico». (...) Todo ello se aglutina bajo el tópico «sentido de la maravilla». (shrink)

Our objective will be to argue in favor of the idea that in Nietzsche there is no genealogical method, stricto sensu, with universalist and systemic-substantivist epistemic claims (traditionally conceived by justificationist and foundationalist philosophies from Plato to Hegel). However, there is a characteristic genealogical program, which opposes the majority genealogies and philosophies insofar as a self-suppression of the method is imposed as the primary and heterodox register of its reflection. We start from the hypothesis that Nietzsche’s genealogy, understood programmatically, became (...) viable because it was markedly structured on the basis of three reflexive movements that free his genealogical thinking from an analytical-methodological conduct, like the canon, which are: (i) variation of style in his writing; (ii) critical historicism or radical and (iii) discontinuity of origin. However, it would be pointless to show how clearly the Nietzschean genealogical program was outlined if we couldn’t say where it came from, for whom and for what purpose, or even more so, what it is intended to denounce. Therefore, in our conclusion, we will show, with some reservation, how the Nietzschean genealogical program lends itself to evaluating the dimension of power. (shrink)

Events employed in natural language semantics are characterized in terms of regular languages, each string in which can be regarded as a motion picture. The relevant finite automata then amount to movie cameras/projectors, or more formally, to finite Kripke structures with par- tial valuations. The usual regular constructs (concatena- tion, choice, etc) are supplemented with superposition of strings/automata/languages, realized model-theoretically as conjunction.