In this document, we study a 3-polygraphic translation for the proofs of SKS, a formal system for classical propositional logic. We prove that the free 3-category generated by this 3-polygraph describes the proofs of classical propositional logic modulo structural bureaucracy. We give a 3-dimensional generalization of Penrose diagrams and use it to provide several pictures of a proof. We sketch how local transformations of proofs yield a non contrived example of 4-dimensional rewriting.

In his Florentine Histories, Machiavelli offers an ambivalent portrayal of the revolt of the textile workers in late fourteenth-century Florence, known as the tumult of the Ciompi. On the face of it, Machiavelli's depiction of the insurgent workers is not exactly flattering. Yet this picture is undermined by a firebrand speech, which Machiavelli invents and attributes to an unnamed leader of the plebeian revolt. I interpret this speech as a radical and egalitarian vector of thought opened up by Machiavelli's text. (...) The revolutionary address reveals an untimely and not entirely self-conscious political radicalism, a plebeian politics that repudiates the logic of oligarchic privilege and is simultaneously not available for subsumption under the mantle of civic republicanism. (shrink)

In 2007, a private corporation specializing in deep-sea salvage retrieved a treasure-laden shipwreck in international waters southwest of the Iberian Peninsula. The wreck was that of a Spanish warship that sunk during the Napoleonic wars. Following the discovery, a legal dispute arose in U.S. federal courts, between the corporate salvors, the Kingdom of Spain, and other litigants. At issue in the legal proceedings was the status of the shipwreck and whether it was protected by sovereign immunity. At the heart of (...) this case are differing political imaginations concerning the authority of states and the role of corporations in the contemporary global order. Through a close reading of court documents and the narratives in which the courts’ rulings are embedded, we demonstrate that the case is symptomatic of the tension in neoliberal sovereignty between two overlapping and at times competing political rationalities: the neoliberal logic of capital and commerce and the logic of sovereign prerogative. (shrink)

Les origines des sciences de la communication aux États-Unis sont au moins triples: renouveau de l'enseignement de la rhétorique au début du XXe siècle, volonté de donner une formation universitaire aux journalistes, recherche sur les médias après la Seconde Guerre mondiale. En retraçant à grands traits les voies d'émergence des sciences de la communication aux États-Unis, on saisit mieux, par contraste, la spécificité des Sic à la française.As an academic discipline, Communication originated in at least three loci: the renewal of (...) teaching of rhetoric at the beginning of the 20th century, the need for a university education addressing the requirements of future journalists and, finally, media research and teaching after WWII. A rough delineation of the origins of the discipline of Communication in the United States is a way to grasp constrastively the specificity of its French counterpart. (shrink)

L'article se donne pour objectif de montrer que la notion de rituel chez Goffman est à la croisée de deux grandes traditions intellectuelles : la sociologie religieuse d'inspiration durkheimienne, d'une part, l'éthologie, d'autre part. Dans ses travaux des années 1950 sur les « rites d'interaction », l'inspiration de Goffman est quasi-exclusivement durkheimienne. Les interactions sont des cérémonies que de petits prêtres rendent à de petits dieux. Mais Relations in Public marque un tournant: l'analyse des interactions, sous l'influence de l'éthologie, devient (...) beaucoup plus comportementale. Dans ses tout derniers travaux, l'analyse conversationnelle prend le relais de l'éthologie. Goffman réduit l'interaction à un déroulement de séquences formalisées. Les dieux sont redevenus des primates, mais des primates bavards.The article's objective is to show that the notion of ritual Goffman is at the crossroads of two major intellectual traditions: the sociology of religion inspired Durkheim, on the one hand, ethology, on the other hand. In his work in the 1950s on "interaction ritual" inspiration Goffman is almost exclusively Durkheim. Interactions are small ceremonies that priests to make little gods. But relations in Public marked a turning point: the analysis of interactions under the influence of ethology, behavioral becomes much more. The ritual becomes a ritual. In his latest work, conversational analysis takes over ethology. Goffman reduces the interaction to a sequence of sequences formalized. The gods have returned to primates, but primates much. (shrink)

The aim of this paper is to provide some insights for a normative theory of corporate political activities. Such a theory aims to provide theoretical tools to investigate the legitimacy of corporate political involvement and allows us to determine which political activities and relations with government regulators are appropriate or inappropriate, permissible or impermissible, obligatory or forbidden for corporations. After having explored what I call the “normative presumption of legitimacy” of CPAs, this paper identifies three different plausible strategies to criticize (...) and object to corporate political involvement: the “egalitarian” strategy, the “corporate citizenship” strategy, and the “market failures” strategy. It constitutes an attempt to develop the market failures approach to reflect on CPAs. My main claim is that within such an account, the idea that corporations have a license to operate considerably limits their right to engage in political activities. (shrink)

ABSTRACT: What kinds of markets, market regulations, and business organizations are compatible with contemporary egalitarian theories of justice? This article argues that any thoughtful answer to this question will have to draw on recent developments in political philosophy that are concerned not only with the equality of the distribution of core goods but also with the requirements for equality of status, voice, and so on, in the relations between individuals and within organizations. The dominance of theories of distributive justice in (...) egalitarian political philosophy since Rawls may have contributed, on the one hand, to the oft-recognized gulf between these theories and their theorists and, on the other, to discussions of corporate governance and business ethics. The main purpose of this article is to introduce business ethicists to some of the less-familiar features of recent relational theories of justice and equality, and to suggest that some of these notions may help bridge the gap between business ethics and political philosophy more generally. (shrink)

What, if anything, is wrong with high executive compensation? Is the common “lay reaction” of indignation and moral outrage justified? In this paper, my main goal is to articulate in a more systematic and philosophical manner the egalitarian responses to these questions. In order to do so, I suggest that we take some insights from recent debates on two versions of egalitarianism: a distributive one, according to which no one should be worse off than others because of unfair distributions of (...) goods and resources, especially ones based on matters of luck or arbitrary factors, and a relational one, which maintains that egalitarian justice requires members of a society to relate to one another as equals. Drawing on recent attempts to highlight the tricky nature of managerial authority, I argue that high inequalities in pay are not simply a distributional matter but should also be analyzed through a relational lens. I also attempt to show that relational egalitarians are well-equipped to question the now dominant “incentives” view of CEO compensation. (shrink)

We analyse the behaviour of definite descriptions and proper names terms in mathematical logic. We show that in formal arithmetic, wether some axioms are fixed or not, proper names cannot be considered rigid designators and have the same behaviour as definite descriptions. In set theory, sometimes two names for the same object are introduced. It seems that this can be explained by the notion of meaning. The meaning of such proper names can be considered as fuzzy sets of equivalent co-designative (...) definite descriptions and their references as sets of all equivalent co-designative definite descriptions. (shrink)

John Corcoran was a very well-known logician who worked on several areas of logic. He produced decisive works giving a better understanding of two major figures in the history of logic, Aristotle and Boole. Corcoran had a close association with Alfred Tarski, a prominent 20th-century logician. This collaboration manifested in Corcoran's substantial introduction to Tarski's seminal book, Logic, Semantics, Metamathematics (1956). Additionally, Corcoran's posthumous editorial involvement in 'What are logical notions?' (1986) breathed new life into this seminal paper authored by (...) Tarski. His scholarly pursuits extended to the intricate explication of fundamental concepts in modern logic, including variables, propositions, truth, consequences, and categoricity. Corcoran's academic curiosity extended further to the intersection of ethics and logic, reflecting his contemplation of their interrelation. Beyond these theoretical contributions, Corcoran was deeply engaged in the pedagogical dimensions of logic instruction. (shrink)

of implication and generalization rules have a close relationship, for which there is a key idea for clarifying how they are connected: varying objects. Varying objects trace how generalization rules are used along a demonstration in an axiomatic calculus. Some ways for introducing implication and for generalization are presented here, taking into account some basic properties that calculi can have.

Par-delà toute prise de position idéologique ou politicienne, la réflexion sur l'écologie est devenue de plus en plus présente dans notre société contemporaine, et les musiciens n'ont pas tardé à se sentir fortement concernés, ce qui a suscité, de leur part, des réponses de multiples natures. Certains compositeurs ont cherché à investir des lieux plus ouverts que la traditionnelle salle de concert, tandis que d'autres ont eu recours aux moyens technologiques et médiatiques les plus récents pour capter et diffuser les (...) sons qui nous entourent afin de les reprendre à leur compte ou de dialoguer avec eux, voire les révéler tels quels. La musique ayant de plus en plus tendance à envahir notre quotidien, d'autres encore ont entrepris de créer de nouveaux types d'environnement et de signalétique sonores. Et ces tentatives s'accompagnent fréquemment de confrontations avec différentes disciplines artistiques. L'initiateur d'une telle démarche n'était-il pas Erik Satie avec sa "musique d'ameublement"? Mais qu'aurait-il pensé du matraquage de la Muzak quelques décennies plus tard? (shrink)

Cet article vise à montrer l’extrême proximité entre ces deux mathématiciens-philosophes que furent Gian-Carlo Rota et Gilles Châtelet disparus la même année. Au moins quatre points communs les relient : une philosophie romantique radicale ; une rigueur intellectuelle exemplaire ; une vision affine de la recherche mathématique ; une révolte intérieure exécrant tout sensus communis.This text shows the great proximity between two mathematicianphilosophers, Gilles Châtelet and Gian-Carlo Rota who both died in the same year 1999. There are at least four (...) common points amongst themselves: a radical romantic philosophy; an exemplary intellectual rigor; a great affinity in their vision of mathematical research; an inmost rebellion against all common sense. Quest’articolo tende a mostrare l’estrema prossimità tra due matematici-filosofi che furono Gian-Carlo Rota e Gilles Châtelet che ci hanno lasciato lo stesso anno. Ci sono almeno quattro punti comuni che le legano: una radicale filosofia romantica; un rigore intellettuale esemplare; una visione affine della ricerca matematica; una rivolta intima che esecra ogni senso comune.This article is in French. (shrink)

Il semble que, malgré les nombreuses mises en garde de ces dernières années venant de différents côtés, l’installation de dispositifs d’évaluation s’opère actuellement dans tous les secteurs de la société et les institutions : l’hôpital et le système de santé, les institutions d’éducation et de formation en général, les universités et la recherche en particulier,...

In this paper we address some central problems of combination of logics through the study of a very simple but highly informative case, the combination of the logics of disjunction and conjunction. At first it seems that it would be very easy to combine such logics, but the following problem arises: if we combine these logics in a straightforward way, distributivity holds. On the other hand, distributivity does not arise if we use the usual notion of extension between consequence relations. (...) A detailed discussion about this phenomenon, as well as some possible solutions for it, are given. (shrink)

By helping us recognize our historical moment as one of « over-exposure » - understood both in the sense of the vain images that blind us with their excess brilliance, and in the sense of bodies exposed without protection to the risk of hostile radiation - Frédéric Neyrat invites us to « bear the world’s emptiness » and to look to « letting-be » for a rampart against overflowing production. It’s time to invent an « ontopolitics of atopic subjects ».

Although the historian confronts the question of what is not known in the same terms as does any other researcher no matter his or her discipline, the conditions of the debate are different for the historian because of the problematic nature of the science of history. While practically all the other sciences, including the social sciences, struggle against ignorance by seeking to discover and establish laws that will govern the facts, history must always face, in spite of its ever more (...) sophisticated techniques, the contingency of its materials, which are fundamentally human. The materials of history can not—in spite of what some have asserted—be contained within any single, all-encompassing mode of reasoning that would allow for the creation of constitutive abstract models. In spite of this reality the historian persists, like Sisyphus, in organizing knowledge. Man apparently has no choice but to believe that his activities have some logical basis. The historian therefore collates facts in order to develop cognitive and interpretive structures that will be durable. What gives the discipline of history its epistemological originality is the painfully central role it accords to the question, “What do we not know?” Man wants to know, believes he knows. The ignorance of historians thus seems especially upsetting when applied to our own century. How could the methodological progress of the science of history, along with the professionalization of the historian's craft, have led to an actual increase of uncertainty concerning a period so close to us in time? Today's man-in-the-street—endowed only with his memory, which seems so rich in “truths”—finds it hard to believe that any event or structure of the twentieth century could remain unknown. Limiting our inquiry to the twentieth century is not, however, justified solely by the practical consideration of trying to gain a better grasp of our times. Indeed in this brief article devoted to the relationship between ignorance and the history and historiography of the twentieth century, we will not attempt to inventory all the events, persons, mentalities or economic facts which historical knowledge has until now been incapable of explaining. Unlike the other sciences, whose struggle against ignorance is accomplished by a gradual process of nibbling at the margins of the unknown, the discipline of history must always keep in mind that the masses of granite that form the foundation of History are in fact but a body of statements that can only aspire to the status of truth. The aim of our inquiry— without of course claiming to be exhaustive—will therefore be to identify the nature of the obstacles that lie in the historian's path. These problems are of three kinds. The first concerns access to knowledge, and is tied—although not exclusively—to problems of the techniques of historical research. The second concerns the difficulties related to conceptualization and therefore to the uses of knowledge. There can be no knowing without know-how. Finally, the third pertains to the lack of permeability between history and the other human and social sciences, which creates for the historian the challenge of interdisciplinary exchange. (shrink)

For many years, M. Jean d'Ormesson has been doing me the honor of asking me to write for Diogenes. More recently, he suggested that I should coordinate an issue of this review that would be devoted to my extended discipline, History, but history in the way in which I understand it. It was certainly not for lack of interest that I did not reply to the first request but, no doubt, because of the sense of a chronic lack of time (...) - almost a pleonasm - from which I, like everyone else, suffer. It was not because I was cured that I accepted the second invitation but probably because I allowed myself, with full knowledge of the facts, to entertain the idea that editing an issue would take up less time than simply contributing. … In fact, as everyone knows, the opposite is true, especially when the occasional editor also volunteers to be one of the contributors. This issue is now completed and I sincerely thank M. Jean d'Ormesson for having wished to entrust me with this task that I have enjoyed very much. (shrink)

In order to tell the story of Man and understand our emergence better, we can readily follow on from Heinz Tobien, though we do not need to go back so far in time - just a few million years.Clearly, our fundamental origin is animal. Thus it is easy to understand that in the great genealogy (known as phylogeny), there was one vital (geological) moment when our line was forever detached from the animal “kingdom.” The evidence of palaeontology, like that of (...) molecular biology, today locates this point - which is, by definition, the very point of origin of our family, the hominids - in Eastern Africa around 8 million years ago. In order to state this, palaeontology rests on two sets of results. All the most ancient hominids, without exception, are East African, and the oldest of all goes back more than 7 million years. Through the study of various characteristics of the cells of contemporary primates, having arranged them in an order of increasing complexity and having hypothesized that this contemporary complexity may be a reflection of that which developed through time, molecular biology has, on the basis of palaeontological dating, calibrated this transformation and its different stages and constructed what is called a molecular clock. In this way, it has arrived at two conclusions. The primates closest to Man are by far the great African apes (chimpanzees, gorillas), and the “distance” that separates us - in other words the degree of difference that exists between them and us - situates the divergence of our two branches at just over 7 million years. (shrink)

Pretende-se, neste artigo, examinar uma das principais inovações introduzidas por Hobbes na filosofia política moderna, que é a invenção da noção de vontade política pública. A dimensão moderna do público é estabelecida por Hobbes por meio da solução do problema da passagem do múltiplo ao uno, da multidão ao povo. presente desde os Elements of law e do De cive . No Levíatã , a emergência da vontade política pública ganha os seus contornos teóricos definitivos. embora Hobbes não tenha chegado (...) a lhe garantir uma plena efetividade. (shrink)