The fundamental difference between Castoriadis' and Papaioannou's accounts of the link between tragedy and the political is that Castoriadis insists on a political form whilst Papaioannou insists on a social actor. The starting point for this essay, then, are two thinkers: one whose main interest was a political and philosophical reflection on the social-historical and one whose main interest was a philosophical reflection on the arts. Surprisingly, however, the end situation is one where Castoriadis gives us a political explanation of (...) the link between tragedy and the political whilst Papaioannou gives us a social explanation of the same phenomenon. How can this difference be accounted for? First, distinguishing their respective conceptualisations of the political allows us to see that where one thinker privileges restlessness and revolution, the other privileges law and regime. Second, looking at their depictions of the essential aspects of tragedy places them on opposing sides of the couple hubris- dike, in a way that leads to two radically different conceptualisations of the relation in question. (shrink)

Contre l'effrayante puissance d'anéantissement de l'idéologie mise au service de la tyrannie, Kostas Papaïoannou défendit les droits de la pensée critique. Contemporain d'Hannah Arendt, proche de Raymond Aron et d'Octavio Paz, il décrivit les rouages du totalitarisme et éclaira la condition de l'homme moderne. Lire Papaïoannou, ce n'est pas seulement se plonger au coeur de la pensée de Hegel, de Marx, lire Papaïoannou, c'est aussi et surtout retrouver la source fraîche et brûlante de la Grèce antique, le chaos et la (...) vigueur d'une pensée extraordinairement créative. (shrink)

The intellectual ferment that emerged in postwar France was marked by the renaissance of Hegel’s thought and the focus on Marx's early writings. In a parallel way, the death of Stalin, the uprising of 1953 in East Germany and the revolts in Hungary and Poland in 1956 provoked a thorough critique against the theory and practice of orthodox Marxism. The relationship between Marx and Marxism or the issue about the philosophical foundations of Marx’s thinking became the subject of long-standing controversy (...) and gave rise to several interpretations of Marx’s work. These debates were decisively fostered by the foreign intellectuals and refugees who arrived in France after the end of the Second World War; inter alia, a generation of young Greek intellectuals that included the prominent figures of Kostas Axelos, Cornelius Castoriadis and Kostas Papaioannou. This article focuses on Axelos’, Castoriadis’ and Papaioannou’s critique of Marx and provides an anti-critique of their intellectual endeavour. It outlines the common basis of their critical confrontation with the Marxian theorizing and argues that they interpreted Marx’s thought in a manner similar to orthodox Marxism. Despite the undoubted merits of their critique, they did not take it to all its theoretical and political conclusions. As a result, the horizons they opened lack radicalism and their dialogue with Marx was left open to being misunderstood. (shrink)

Cet ouvrage revient sur les trajectoires intellectuelles de trois penseurs grecs ayant fui la Grece a bord du Mataroa a la fin de la Seconde Guerre mondiale: Kostas Axelos, Cornelius Castoriadis et Kostas Papaioannou. Transfert culturel a double titre, qui fut rendu possible grace au soutien de l'Institut francais d'Athenes qui souhaitait attirer ces intellectuels dissidents en France, et en raison du role de premier plan qu'ils ont ensuite joue au sein du paysage intellectuel francais, cette migration eclaire de maniere (...) decisive un pan de notre histoire intellectuelle europeenne. Ce livre decrit le contexte de leur exil ainsi que l'originalite de leur parcours respectif dans la France de l'apres-guerre, a travers leur critique du marxisme et leur reflexion sur le devenir des societes occidentales. (shrink)

The widely known but also somewhat esoteric Mach principle envisages a fully relational formulation of physical theories without any reference to a concept of ‘absolute space’. When applied to classical mechanics, under the guise of an extended symmetry group, this procedure is known to lead to an equation of motion with inertial-like forces that are sourced by the mass distribution of the system itself. In this paper we follow a similar procedure and reformulate the Schrödinger equation of non-relativistic quantum mechanics (...) in a fully Machian way. Just like its classical counterpart, the resulting quantum theory is fully relational in the positions and momenta of the bodies comprising a given physical system, leaving no room for the notion of absolute space. (shrink)

Science appeared in modern Greece in the first decades after its establishment as a sovereign state in 1828. The University of Athens, the Royal Observatory, the Botanical Garden, and the Natural History Museum were quickly established as spaces of scientific activity. Greek scientists were enthusiastic participants in the emerging Greek public sphere, often not only as science experts, but also as poets, intellectuals and political personae. In a space whose cultural, intellectual and historical boundaries were still being negotiated, the choice (...) of language was not a given but a pressing, sensitive national desideratum. This article examines how Greek scientists used languages to communicate with their peers and with their publics, how they handled terminology and nomenclature, and how the issues surrounding the Greek language in particular affected their practice as scientists. The article aims to show that, in nineteenth-century Greece, languages were not passive, neutral vehicles of communication, but rather integral components of the practice of science. (shrink)

How happy it is to recall Imre Lakatos. Now, fifteen years after his death, his intelligence, wit, generosity are vivid. In the Preface to the book of Essays in Memory of Imre Lakatos, the editors wrote:... Lakatos was a man in search of rationality in all of its forms. He thought he had found it in the historical development of scientific knowledge, yet he also saw rationality endangered everywhere. To honor Lakatos is to honor his sharp and aggressive criticism as (...) well as his humane warmth and his quick wit. He was a person to love and to struggle with. The book before us carries old and new friends of that Lakatosian spirit further into the issues which he wanted to investigate. That the new friends include a dozen scientific, historical and philosophical scholars from Greece would have pleased Lakatos very much, and with an essay from China, he would have smiled all the more. But the key lies in the quality of these papers, and in the imaginative organization of the conference at Thessaloniki in summer 1986 which worked so well. (shrink)

This paper presents an emerging aspect of intentionality through recent Artificial Intelligence (AI) developments in art and design. Our main thesis is that, if we focus just on the outcome of the artistic process, the intentionality of the artist does not have any relevance. Intention is measured as a result of actions regardless of whether they are human-based or not as long as there is an esthetical value intersubjectively acknowledged. In other words, what matters is the ‘intentio’ embedded in the (...) work of art (the output) rather than the ‘intendere’ (the process). By considering the former aspect, intentionality becomes free of human intervention, therefore 'unintentional'. This thesis is supported through a range of examples related to AI in general and AI art in particular. However, in the case of a self-driving vehicle, the macro-goal of the system is fixed by humans, even though the AI system itself will take care of decomposing the macro-goal into a set of micro-goals and take the corresponding decisions. In the case of art, the system does not need to have any exterior goal to the extent that art is pure freedom of expression, as many philosophers have acknowledged. In this sense, the decisions of any AI system generating art or design are independent of humans and must be judged only on the ground of the final outcome. A work of art will be judged ‘artistic’ to the extent that humans will recognize an artistic intent in the work itself. In particular, the introduction of random processes makes an AI-generated artwork fully independent of human creativity. (shrink)

LetSbe the group of finitely supported permutations of a countably infinite set. Let$K[S]$be the group algebra ofSover a fieldKof characteristic 0. According to a theorem of Formanek and Lawrence,$K[S]$satisfies the ascending chain condition for two-sided ideals. We study the reverse mathematics of this theorem, proving its equivalence over$RC{A_0}$ to the statement that${\omega ^\omega }$is well ordered. Our equivalence proof proceeds via the statement that the Young diagrams form a well partial ordering.

The romance Imberios and Margarona does not belong to the Renaissance. It does not acknowledge many of the issues which become current in the age of Humanism: the value of individual consciousness, to name but one, will wait until the seventeenth century to be explored in Greek literature. And yet, the vintage of Imberios is hybrid: being late medieval and modelled after a popular European prototype, it slants ever so gently towards what will later be fully fledged humanistic sensibilities.

The romance Imberios and Margarona does not belong to the Renaissance. It does not acknowledge many of the issues which become current in the age of Humanism: the value of individual consciousness, to name but one, will wait until the seventeenth century to be explored in Greek literature. And yet, the vintage of Imberios is hybrid: being late medieval and modelled after a popular European prototype, it slants ever so gently towards what will later be fully fledged humanistic sensibilities.

What was science for the Orthodox Greek theologian of the nineteenth century? How did it feature in his (theologians were all men at the time) own work? This article is an attempt to describe the science and religion interactions by placing Greek Orthodox theologians of the nineteenth century in the center of the historical narrative, rather than treat them as occasional deuteragonists in the scientists’ historiography. The picture that emerges is far more complicated than one of antagonism, indifference, conflict, or (...) coexistence. Greek theologians saw themselves as scientists and treated theology as a positive, rational science. They developed strategies to delineate their disciplinary borders and safeguard their identity as expert scholars by harnessing their university and academic credentials. For that reason, they had to invoke famous German and other Western theologians, while ensuring that they were seen as true defenders of Orthodox Christianity. The idea of science was an integral part of this achievement. (shrink)

In Neither Physics Nor Chemistry, Kostas Gavroglu and Ana Simoes examine the evolution of quantum chemistry into an autonomous discipline, tracing its development from the publication of early papers in the 1920s to the dramatic changes ...

This is a companion to a paper by the authors entitled “Gödel’s natural deduction,” which presented and made comments about the natural deduction system in Gödel’s unpublished notes for the elementary logic course he gave at the University of Notre Dame in 1939. In that earlier paper, which was itself a companion to a paper that examined the links between some philosophical views ascribed to Gödel and general proof theory, one can find a brief summary of Gödel’s notes for the (...) Notre Dame course. In order to put the earlier paper in proper perspective, a more complete summary of these interesting notes, with comments concerning them, is given here. (shrink)

Some thirty years ago, two proposals were made concerning criteria for identity of proofs. Prawitz proposed to analyze identity of proofs in terms of the equivalence relation based on reduction to normal form in natural deduction. Lambek worked on a normalization proposal analogous to Prawitz's, based on reduction to cut-free form in sequent systems, but he also suggested understanding identity of proofs in terms of an equivalence relation based on generality, two derivations having the same generality if after generalizing maximally (...) the rules involved in them they yield the same premises and conclusions up to a renaming of variables. These two proposals proved to be extensionally equivalent only for limited fragments of logic. The normalization proposal stands behind very successful applications of the typed lambda calculus and of category theory in the proof theory of intuitionistic logic. In classical logic, however, it did not fare well. The generality proposal was rather neglected in logic, though related matters were much studied in pure category theory in connection with coherence problems, and there are also links to low-dimensional topology and linear algebra. This proposal seems more promising than the other one for the general proof theory of classical logic. (shrink)

The purpose of this paper is to connect the proof theory and the model theory of a family of propositional logics weaker than Heyting's. This family includes systems analogous to the Lambek calculus of syntactic categories, systems of relevant logic, systems related toBCK algebras, and, finally, Johansson's and Heyting's logic. First, sequent-systems are given for these logics, and cut-elimination results are proved. In these sequent-systems the rules for the logical operations are never changed: all changes are made in the structural (...) rules. Next, Hubert-style formulations are given for these logics, and algebraic completeness results are demonstrated with respect to residuated lattice-ordered groupoids. Finally, model structures related to relevant model structures (of Urquhart, Fine, Routley, Meyer, and Maksimova) are given for our logics. These model structures are based on groupoids parallel to the sequent-systems. This paper lays the ground for a kind of correspondence theory for axioms of logics with implication weaker than Heyting's, a correspondence theory analogous to the correspondence theory for modal axioms of normal modal logics.The first part of the paper, which follows, contains the first two sections, which deal with sequent-systems and Hubert-formulations. The second part, due to appear in the next issue of this journal, will contain the third section, which deals with groupoid models. (shrink)

The Knowledge-Based Bio-Economy has gained prominence as an agricultural R&D agenda of the European Union. Specific research policies are justified as necessary to create a KBBE for societal progress. Playing the role of a master narrative, the KBBE attracts rival visions; each favours a different diagnosis of unsustainable agriculture and its remedies in agro-food innovation. Each vision links a technoscientific paradigm with a quality paradigm: the dominant life sciences vision combines converging technologies with decomposability, while a marginal one combines agro-ecology (...) with integral product integrity. From these divergent visions, rival stakeholder networks contend for influence over research policies and priorities, especially within the Framework Programme 7 on Food, Agriculture, Fisheries and Biotechnology, which has aimed to promote a Knowledge-Based Bio-Economy. Although the FAFB programme has favoured a life sciences vision, agro-ecological approaches have gained a presence, thus overcoming their general lock-out from agricultural research agendas. In their own way, each rival paradigm emphasises the need for collective systems to gather information for linking producers with users, as a rationale for the public sector to fund distinctive research priorities. (shrink)

The purpose of the research was to study Finnish people's attitudes towards biomedical research and whether the research sponsor makes a difference to those attitudes. A survey questionnaire was sent to a random sample of 25-64 years old. Respondents had a positive attitude towards biomedical research and there were only small variations by population group. When asked whether one's own clinical blood samples could be used in scientific biomedical research, 84 per cent of the respondents would allow it. The most (...) important reasons for giving routinely collected samples to a biobank were altruistic. Attitudes were strongly dependent on the sponsor of the research. Domestic research was looked at more positively than international research. Whether research was made by a public or private actor had less impact. The results suggest that people want to be research participants to help such research of their own free will, and to choose whom they help. This has an impact on the way participants are informed, on the criteria used by ethics committees and other research regulators, and also on transparency and access to research results. (shrink)

Current books on evolutionary theory all seem to take for granted the fact that students find evolution easy to understand when actually, from a psychological perspective, it is a rather counterintuitive idea. Evolutionary theory, like all scientific theories, is a means to understanding the natural world. Understanding Evolution is intended for undergraduate students in the life sciences, biology teachers or anyone wanting a basic introduction to evolutionary theory. Covering core concepts and the structure of evolutionary explanations, it clarifies both what (...) evolution is about and why so many people find it difficult to grasp. The book provides an introduction to the major concepts and conceptual obstacles to understanding evolution, including the development of Darwin's theory, and a detailed presentation of the most important evolutionary concepts. Bridging the gap between the concepts and conceptual obstacles, Understanding Evolution presents evolutionary theory with a clarity and vision students will quickly appreciate. (shrink)

The article deals with the legal, political, philosophical and religious dimensions of Socrates’ trial and execution. It considers the issue in five separate aspects: 1) the validity of charging Socrates with impiety and corrupting the youth of the Athens; 2) the legal basis of the philosopher’s indictment; 3) the then manner of conducting a legal trial in the Athens; 4) the extent to which Socrates’ conviction can ultimately be characterized as unjust and — finally — 5) the cultural ramifications of (...) the philosopher’s trial and execution. (shrink)

This paper analyzes the ongoing university reform in Russia by underlining historical roots and peculiarities of its system of higher education. It is pointed out that the Soviet model of economy, political and ideological bias deeply impacted the university system and enforced its estrangement from foreign universities. A limited number of the best Soviet higher education institutions which provided a military-oriented education and fundamental research were re-casted along the so called “PhysTech” system after the end of the WWII. As a (...) result of this system, higher education and R&D in Russia is not presently competitive in the educational international market. Closing the gap between Russian universities and the “global university” approach and raising university competitiveness are the main objectives of the current reform in science and education. As universities are considered core actors of knowledge economy, a new set of federal and national research universities was created. However, reform faces numerous conceptual and institutional obstacles, risks and constraints are significant, and positive outcomes elusive. (shrink)

The purpose of this work is to present Gentzen-style formulations of S5 and S4 based on sequents of higher levels. Sequents of level 1 are like ordinary sequents, sequents of level 1 have collections of sequents of level 1 on the left and right of the turnstile, etc. Rules for modal constants involve sequents of level 2, whereas rules for customary logical constants of first-order logic with identity involve only sequents of level 1. A restriction on Thinning on the right (...) of level 2, which when applied to Thinning on the right of level 1 produces intuitionistic out of classical logic (without changing anything else), produces S4 out of S5 (without changing anything else). This characterization of modal constants with sequents of level 2 is unique in the following sense. If constants which differ only graphically are given a formally identical characterization, they can be shown inter-replaceable (not only uniformly) with the original constants salva provability. Customary characterizations of modal constants with sequents of level 1, as well as characterizations in Hilbert-style axiomatizations, are not unique in this sense. This parallels the case with implication, which is not uniquely characterized in Hilbert-style axiomatizations, but can be uniquely characterized with sequents of level 1. These results bear upon theories of philosophical logic which attempt to characterize logical constants syntactically. They also provide an illustration of how alternative logics differ only in their structural rules, whereas their rules for logical constants are identical. (shrink)

This article examines how new types of performance appraisal reconfigure everyday personal relationships at work. These systems deploy smartphone technologies to be used continuously by individuals to rate each other. Our aim is to show, in concrete terms, how these practices claim to configure a democratic space where individuals are liberated to express their views about each other’s work. On the contrary, we argue that by being placed in continuous confrontation with each other’s ratings, the genuine space for democratic contestation, (...) for the establishment of a genuine community, as well as for critique and dissent is—paradoxically—narrowed down. The first section of this article explores the context in which managerialism has become consolidated at the centre of neo-liberal politics in a dialogue with some of Mouffe’s and Rancière’s arguments. We use Rancière’s concept of “policing” to understand how managerial techniques subvert genuine democratic spaces, modes of participation and expression. Using performance appraisal systems as an example, the second part of the article provides a critical investigation which shows how managerialism intervenes at the very roots of possible democratic engagement and undermines dissent in subtle ways. (shrink)