Les « arts de la paix » tels que décrits par Machiavel dans les Discours sur la première décade de Tite-Live posent question. S’il est naturel de vouloir y voir un art de la diplomatie et les opposer à l’art de la guerre, la réalité est différente. Toujours éclairés par les contextes dans lesquels ils sont pris, « les arts de la paix » sont intrinsèquement liés au concept de religion. Dans le chapitre 19 du livre I que cet article (...) étudie spécifiquement, ils prennent place – à travers les exemples des Romains, des Hébreux et des Ottomans – au cœur même du cadre conceptuel machiavélien. La présente contribution tente de montrer qu’en évoluant entre paix et guerre, entre faiblesse et vertu, entre ruine et splendeur des dynasties, les « arts de la paix » subliment ces tensions internes tout en proposant ultimement un moyen de les assumer. Dès lors, que sont-ils réellement et en quoi permettent-ils de penser le lien difficile entre la paix intérieure et la guerre extérieure dans la pensée de Machiavel? (shrink)

All too often, the requirements for actionability and accountability of data infrastructures are conceptualised as incompatible and leading to a trade-off situation where increasing one will unavoidably decrease the other. Through a comparative analysis of two data infrastructures used to share genomic data about the SARS-COV-2 virus, we argue that making data actionable for knowledge development involves a commitment to ensuring that the data in question are representative of the phenomena being studied and accountable to data subjects and users. This (...) in turn presupposes that: (1) enough data are contributed by a wide and diverse set of relevant sources; (2) mechanisms of feedback and inclusion are set up to ensure that data contributors can participate data governance and interpretation, thereby helping to adequately contextualise data; and (3) accountability extends to the ways in which data infrastructures are run, financed and positioned vis-à-vis the communities they are meant to serve. Such a model of data sharing can only work on the understanding that data do not need to be easily accessible to be actionable; rather, actionability depends on the responsiveness and accountability of data infrastructures, and the efforts invested in ensuring open communication among contributors. (shrink)

We describe an approach to textual inference that improves alignments at both the typed dependency level and at a deeper semantic level. We present a machine learning approach to alignment scoring, a stochastic search procedure, and a new tool that finds deeper semantic alignments, allowing rapid development of semantic features over the aligned graphs. Further, we describe a complementary semantic component based on natural logic, which shows an added gain of 3.13% accuracy on the RTE3 test set.

O genocídio indígena esteve presente na ditadura civil-militar brasileira (1964-1985), assim como em todos os períodos após as invasões portuguesas de 1500. A partir do uso dos ideais coloniais e da estrutura capitalista, as políticas de desenvolvimentismo com as invasões às terras indígenas culminaram no genocídio que foi protagonizado pelo Exército Brasileiro. Segundo a Comissão Nacional da Verdade, mais de 8.350 indígenas foram mortos durante o período de 1946 a 1988, número este que pode ser bem maior, dado que o (...) levantamento da CNV contabilizou apenas 10 povos –, dentre eles, 2.650 do povo Waimiri Atroari. O principal evento em que as mortes dos Waimiri Atroari ocorreram foi a construção da BR-174 que liga Manaus a Boa Vista. A Comissão Nacional da Verdade, estabelecida com a Lei 12.528/2011, teve o objetivo de examinar e esclarecer as graves violações de direitos humanos praticadas no período de 1946 a 1988. Por meio do campo teórico-metodológico da História do Tempo Presente foi possível analisar os temas elencados para apontar as feridas ainda abertas na história e memória nacional. (shrink)

This book aims to answer two main questions about Aristotle’s theory of causality and causal explanation, especially in relation to natural science: (1) How does he answer the main philosophical questions about causes to which he thinks his predecessors’ answers are flawed? (2) How do his answers bear on the main questions we confront in thinking about causality in general? The texts that deal with causality directly are analyzed against the background of his criticisms of his predecessors and his broader (...) views about explanation, highlighting their theoretically important commitments. This allows us to reveal the conceptual architecture of his theory. The basic theory is then applied to two questions about causality, one metaphysical and one epistemological. The metaphysical question is how to account for the relation between causes and what they cause, in light of a fundamental tension between different desiderata for causal explanations. Aristotle’s answer is pluralistic: he does not think that there is one metaphysical relationship between causes and what they cause even within a given mode of causality. The epistemological question asks how we grasp causes, and grasp them in a way that yields scientific understanding. Aristotle’s answer is again a pluralist one: metaphysically different phenomena demand different cognitive resources, and some are more accessible than others. Nevertheless, there is a discernible path from simpler to more sophisticated types of cognitive grasp on causality, in such a way that Aristotle can plausibly satisfy the epistemological constraints he thinks his predecessors cannot. Aristotle thus aims to provide a non-reductionist account of causality that still leaves room for a substantive conception of understanding in natural science. (shrink)

This volume, which is rooted in biogeophysical studies, addresses conceptions of political action in the Anthropocene and the tension between a desire to accomplish the Promethean project of modernity and a post-Promethean approach. This work explores the idea of ​​an anthropological mutation of political consolidation from a “post-Promethean togetherness”, to creating the capacity to act together. The political thinking of the human condition developed by Hannah Arendt is important here as a resource for thinking about humanity in terms of human (...) adventure. This has three dimensions: hubris, the world and coexistence referring respectively to the logic of profit of the homo oeconomicus, the logic of responsibility of the homo collectivus and the logic of the hospitality of the homo religatus. The intellectual and political attitude outlined in this book is an extension of critical theory: the work also puts forward a critique of what poses a problem in our relationship to the world and suggests how to overcome it, the ultimate goal being social transformation. The author propose an uprising and an anthropological consolidation of politics based on the revitalization that is brought about by the sharing of a conviviality both between humans and with what is non-human. The identification of conviviality as an educational paradigm to survive the Anthropocene gives us the much needed reason for hope despite this heritage of the Anthropocene. In addition to Arendtian thinking, this critical theory for the Anthropocene draws on the political thinking of several contemporary authors including Maurice Bellet, Hartmut Rosa, Andreas Weber, Dominique Bourg, and Christian Arnsperger. This volume is of interest to researchers in the Anthropocene. (shrink)

It is a commonplace that imagination is heterogeneous: we need to draw a series of cross-cutting distinctions even to begin any serious general discussion of the range of activities we take to be typical instances. The nature of the heterogeneity being exhibited is usually left unclear, however, and thus so are its consequences both for our understanding of imagination and for assessing certain challenges such as reductionism. Here it is argued that we can accept heterogeneity while recognizing important forms of (...) unity among the various kinds of imaginative activity. Four distinct but compatible strategies are considered, three of which have historical precedents in Aristotle’s and Hegel’s work. These proposals yield an interesting and plausible answer to the problem raised by heterogeneity, and have consequences for how we should respond to it. They share a plausible framework for thinking about the relationships among the various activities contemporary thinkers take to involve imagination. However, there are some ways in which deploying them is not straightforward, given some differences between modern approaches and older ones, and they conflict with a common thought about the epistemic status of imagination. (shrink)

Depuis plusieurs décennies, s’est instaurée « une nouvelle ère » pour le corps, caractérisée par une évolution des pratiques médicales, mais aussi et surtout par le développement de nouvelles utopies. Face aux envahissantes mythologies et agitations idéologiques, l’objectif de cet article est donc de tenter de définir la réalité du « surhomme » d’aujourd’hui et d’analyser quelques-uns des mécanismes idéologiques qui participent à la fabrication de ce mythe.

Aristotle opens his discussion of time in Physics 4.10-14 with a puzzle, an argument which purports to show that time does not exist, since its only parts – the past and future – do not exist. He does not discuss the puzzle again, and so we are left with the question of how he would or could solve it. A full solution would involve not only a justification of realism about time, but also an account of why the puzzle arises, (...) what must be corrected to prevent it from arising, and how much of our pre-theoretical picture of time survives these adjustments. This paper argues that we can provide such a solution by (i) distinguishing between two ways of being committed to the reality of past, present, and future, and (ii) examining Aristotle’s remarks in Physics 4.12 on the notions of being in time and being surrounded by time. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:arrêt sur visagefrom Hatred of Translation1Nathanaël (bio)or else isolated in silence—Danielle Collobert, Ça des motsIn the language of film there are often extraordinary divergences between English and French, which prove at times to be irreconcilable.2 If this tendency toward discrepancy is true of translation as a rule, it reveals itself to be particularly true in the case of this work in translation. Danielle Collobert's Recherche,3 rendered as Research, in (...) which the search of re-search must be read as detachable, with emphasis on its repetitive motion—but also in its slide from substantive to predicate (search>searches)—makes salient such divergences, through the implied camera movement panning over the evacuated faces of A and B and the marked distances especially that define the space of their bodies, in proximity and in remove, as though the text were annotating a form of recusal that is implicit in the spaces of desire to which their mortiferous movements owe everything; an intimacy of anticipated death, and seizure, from which the camera extracts movements of degradation through violent stillness.Indeed the term still here is adopted to render the French arrêt, proposing a false equivalency between the (film) still and its seemingly concordant locution, the arrêt (sur image). These are "attested" terms that reveal something of the contexts in which each seeks to function. In Recherche Collobert limits herself [End Page 138] to the use of arrêt sur, designating in each instance a specific detail on which the camera is to stop. "Stop" of course is one of the translations of the lone substantive "arrêt," which also implies "arrest" (from the verb arrêter), replete with its juridical (enforceable/enforcible) intent.4One might just as readily translate "arrêt sur" as "stop at," stopping at nothing to achieve the irresistible demands of such a transitive language that subverts its own objectivity through a persistent preference for passive forms, abdicating one's responsibility to the law in abject deference to its capital aims. Regimens of grammar are coincident with regimens of power now as always.5More than one frontier has now been crossed, and reading the three works6 gathered by Françoise Morvan under the title Expériences (experiments and/ or experiences) in this so-called America is a serious transposition indeed in which the sands of north-western France adjoining the virulent Atlantic, may readily allow themselves to be supplanted by an imagined far-ouest of burnt deserts shimmering with radioactive particulate, under some gun. These are voided investigations that succeed only in subtracting the body from its criminality—a condemnation of ages pressed into moments, a crime committed to each and every one.Meurtre (Murder), the title of Collobert's first acknowledged work,7 is just as operative in these cinematic and radiophonic works; indeed, it can be read as a mot d'ordre for her entire oeuvre,8 and with which its entire topography is suffused. The stills of Recherche and "Polyphonie" attest to this, as does the recurrence of the isolate arrêt, whether in its designation of a bus stop or a pause in action (breaks in the fight, for example, between B and the man on the dock), toppling into the near untranslatable arrêts in the plural, stops, which invites, again, a transitive reading rather than the congealment of the plural substantive, and this, in keeping with the stares that transfix and bore into the faces verging on the dunes. The polysemic displacement of arrêt is such that the cumulative effect of its multiply transposed sense is that of a filmstrip caught in a projector, and it isn't clear whether the image is held or whether it is caught in the mechanism; in either case, the reader is among those held captive by a language that forbids release, burrowing instead, more deeply, into a thickeningly menacing interiority with its inscription of fear similar to that elicited by the perceived approach of the beast in Kafka's "The Burrow." The time of exposure holds the permanent promise of such a threat. [End Page 139]Nathanaël Nathanaël... (shrink)

The third author has shown that Shelah's eventual categoricity conjecture holds in universal classes: class of structures closed under isomorphisms, substructures, and unions of chains. We extend this result to the framework of multiuniversal classes. Roughly speaking, these are classes with a closure operator that is essentially algebraic closure (instead of, in the universal case, being essentially definable closure). Along the way, we prove in particular that Galois (orbital) types in multiuniversal classes are determined by their finite restrictions, generalizing a (...) result of the second author. (shrink)

Though not often discussed as such, Gore Vidal's Myra Breckinridge is a work of queer utopianism. Myra herself is an entrancing figure—a self-created goddess who is determined to save humanity by abolishing gender itself. That her efforts ultimately fail is a testament to the queerness of her utopianism. Using Lee Edelman's discussion of “reproductive futurism” and José Esteban Muñoz's insights into the queerness of utopianism, this article analyzes the ways in which Myra Breckinridge channels both hopeful and destructive urges as (...) a way of imagining a counter-narrative to the human catastrophe represented by the atomic bomb and the threat of overpopulation. (shrink)

Aristotle thinks that we understand something when we know its causes. According to Aristotle but contrary to most recent approaches, causation and explanation cannot be understood separately. Aristotle complicates matters by claiming that there are four causes, which have come to be known as the formal, material, final, and efficient causes. To understand Aristotelian causation and its relationship to explanation, then, we must come to a precise understanding of the four causes, and how they are supposed to be explanatory. Aristotle’s (...) discussion of the causes, however, is compact, and he typically presents them without arguing for them. He thus leaves us with a number of questions, ranging from the highly specific to the highly general. One question in particular has captured the attention of scholars and philosophers over the last century, and it has had a strong influence on recent treatments of the four causes – namely, whether we are right to understand Aristotle as committed to a plurality of kinds of causation, or rather a plurality of kinds of explanation. Sometimes the question is raised as one of whether it would be more accurate to speak of the four ‘becauses’ rather than the four ‘causes’. This worry is highly general, and there are in fact several ways in which it might be formulated; nonetheless, it is important to clarify the precise nature of the problem, and the possible ways of responding to it. At issue is not just whether Aristotle’s notions are sufficiently like the modern notion of causation to be relevant to our concerns, but, more importantly, whether the distinctions he draws are ultimately metaphysical or epistemological in character. (shrink)

We have reason to think that a fundamental goal of natural science, on Aristotle’s view, is to discover the essence-specifying definitions of natural kinds—with biological species as perhaps the most obvious case. However, we have in the end precious little evidence regarding what an Aristotelian definition of the form of a natural kind would look like, and so Aristotle’s view remains especially obscure precisely where it seems to be most applicable. I argue that if we can get a better understanding (...) of how the forms of natural kinds are or come to be known, and how they make things intelligible, we can get a better appreciation of the nature of form in general, as well as solve certain puzzles about form and definition. (shrink)

Central to Aristotle's metaphysics and epistemology is the claim that ‘aitia’ – ‘cause’ – is “said in many ways”, i.e., multivocal. Though the importance of the four causes in Aristotle's system cannot be overstated, the nature of his pluralism about aitiai has not been addressed. It is not at all obvious how these modes of causation are related to one another, or why they all deserve a common term. Nor is it clear, in particular, whether the causes are related to (...) one another as species under a single genus, such that there is a univocal definition of ‘aitia’ which applies to all of them, or whether Aristotle means to assert that the four causes are homonyms. It is argued here that although there are strong reasons to group the four causes together, there are also powerful considerations on the side of homonymy. It is further argued that the four causes are more closely tied to the ontological theory of categories and predication than is often recognized. As a result, we can reconcile the competing demands of unity and plurality by taking one mode of causation, the formal cause, as basic, and accounting for the other modes with reference to it, in the manner of so-called pros hen homonyms. (shrink)

Considerable attention has been paid recently to the gendering of organizations and occupations. Unfortunately, the gendered-organizations approach remains theoretically and empirically underdeveloped, as there have as yet been few clear answers to the question central to the perspective: What does it really mean to say that an organization itself, or a policy, practice, or slot in the hierarchy, is “gendered”? Reviewing literature in the gendered-organizations tradition, the author discusses three of the most common ways the perspective has been applied and (...) argues that all of these definitions pose potential problems for the project of meaningful social and organizational change. The article concludes with some suggestions about how a more useful conception of the gendered organization might be built. (shrink)

George Eliot strikingly describes one of her characters as making a mistake because he has gotten his thoughts “entangled in metaphors,” saying that we all do the same. I argue that Eliot is here giving us more than an illuminating description, but drawing our attention to a distinctive kind of mistake—a form of irrationality, in fact—of which metaphor can be an ineliminable part of the correct explanation. Her fictional case helps illuminate both a neglected function of the imagination, and a (...) pervasive way in which metaphor can affect it. The function is the creation and maintenance of what I call imaginative expectations, which are relatively stable imaginative representations of future events or experiences, analogous to latent memories. These imaginative expectations have a distinctive causal profile and distinct ways of interacting with other mental activities. I argue that their formation is subject to at least two norms—a “source” norm and an “experience” norm—and show how metaphorical framing can give rise to violations of either. (shrink)

Benardete paradoxes involve infinite collections of Grim Reapers, assassins, demons, deafening peals, or even sentences. These paradoxes have recently been used in arguments for finitist metaphysical theses such as temporal finitism, causal finitism, and discrete views of time. Here we develop a new finite Benardete-like paradox. We then use this paradox to defend a companions in guilt argument that challenges recent applications of patchwork principles on behalf of the aforementioned finitist arguments. Finally, we develop another problem for those applications by (...) examining the notion of exact duplication. (shrink)

Every set can been thought of as a directed graph whose edge relation is ∈. We show that many natural examples of directed graphs of this kind are indivisible: for every infinite κ, for every indecomposable λ, and every countable model of set theory. All of the countable digraphs we consider are orientations of the countable random graph. In this way we find indivisible well‐founded orientations of the random graph that are distinct up to isomorphism, and ℵ1 that are distinct (...) up to siblinghood. (shrink)

Like many realists about causation and causal powers, Aristotle uses the language of necessity when discussing causation, and he appears to think that by invoking necessity, he is clarifying the manner in which causes bring about or determine their effects. In so doing, he would appear to run afoul of Humean criticisms of the notion of a necessary connection between cause and effect. The claim that causes necessitate their effects may be understood—or attacked—in several ways, however, and so whether the (...) view or its criticism is tenable depends on how we understand the necessitation claim. In fact, Aristotelian efficient causation may be said to involve two distinct necessary connections: one is a relation between causes considered as potential, while the other relates them considered as active. That is, the claims that (1) what has the power to heat necessarily heats what has the power to be heated, and that (2) a particular flame which is actually under a pot necessarily heats it, both of which appear to be true for Aristotle, involve distinct notions of necessity. The latter kind of necessity is based on the facts, as Aristotle sees them, about change, whereas the former is based in the nature of properties. Though different, both kinds of necessity are instances of what contemporary philosophers would call metaphysical necessity, and together they also amount to a theory of causal determination. (shrink)

Aristotle presents four causes in Posterior Analytics 2.11, but where we expect matter we find instead the confusing formula, ‘what things being the case, necessarily this is the case’, and an equally confusing example. Some commentators infer that Aristotle is not referring to matter, others that he is but in a non-standard way. I argue that APo. 94a20-34 presents not matter, but determination by general features or facts, including facts about something’s genus. The closest connection to matter is Aristotle’s view (...) that the relation between genus and species is analogous to that between matter and a hylomorphic compound. (shrink)

Abstract: This paper provides a phenomenological interpretation of technological and natural childbirth. By using Heidegger’s ontology of technology to think about childbirth I argue that these two types of contemporary childbirth present us with a false dilemma as both reflect the same norms Heidegger associates with modernity, namely order, control, and efficiency. The paper briefly explains Heidegger’s concept of the enframing as the essence of the technological age while focusing on how it helps us to avoid falling into a technophilic (...) or technophobic trap. Although the technophobic approach popularized by Lamaze gained some favor with feminists who saw the increased use of reproductive technology as an extension of patriarchal control over women’s bodies, I argue that this natural birthing technique incorporated order and control in ways that are similar to its technophilic counterpart. In order to move beyond what I call the reproductive enframing, it is necessary to recognize the false dilemma presented by the technological and natural alternatives. (shrink)

In everyday life, we assume that there are degrees of blameworthiness and praiseworthiness. Yet the debate about the nature of moral responsibility often focuses on the “yes or no” question of whether indeterminism is required for moral responsibility, while questions about what accounts for more or less blameworthiness or praiseworthiness are underexplored. In this paper, I defend the idea that degrees of blameworthiness and praiseworthiness can depend in part on degrees of difficulty and degrees of sacrifice required for performing the (...) action in question. Then I turn to the question of how existing accounts of the nature of moral responsibility might be seen to accommodate these facts. In each case of prominent compatibilist and incompatibilist accounts that I consider, I argue that supplementation with added dimensions is required in order to account for facts about degrees of blameworthiness and praiseworthiness. For example, I argue that the reasons-responsiveness view of Fischer and Ravizza requires supplementation that takes us beyond even fine-grained measures of degrees of reasons-responsiveness in order to capture facts about degrees of difficulty to extend the reasons-responsiveness view by appealing to such measures). I conclude by showing that once we recognize the need for these additional parameters, we will be in a position to explain away at least some of the appeal of incompatibilist accounts of moral responsibility. (shrink)

The alleged but unclear distinction between so-called “immanent” and so-called “transeunt” causation is structurally similar to an Aristotelian distinction between two kinds of potentiality (dunamis). It is argued that Aristotle’s distinction is in turn grounded in one between a metaphysically basic notion, rooted in his property theory, and a metaphysically posterior notion proper to the understanding of change in the science of nature. By examining Aristotle’s distinction, we can give a satisfying account of immanent and transeunt causation more generally. Furthermore, (...) once we clarify the distinction in this way, some contemporary appeals to immanent causation turn out to be misguided, while others look promising. (shrink)

Machine generated contents note: Introduction; Part I. Theoretical Views about Pity and Fear as Aesthetic Emotions: 1. Drama and the emotions: an Indo-European connection? 2. Gorgias: a strange trio, the poetic emotions; 3. Plato: from reality to tragedy and back; 4. Aristotle: the first 'theorist' of the aesthetic emotions; Part II. Pity and Fear within Tragedies: 5. An introduction; 6. Aeschylus: Persians; 7. Prometheus Bound; 8. Sophocles: Ajax; 9. Euripides: Orestes; Appendix: catharsis and the emotions in the definition of tragedy (...) in the Poetics. (shrink)

Nelkin presents a simple and natural account of freedom and moral responsibility which responds to the great variety of challenges to the idea that we are free and responsible, before ultimately reaffirming our conception of ourselves as agents. Making Sense of Freedom and Responsibility begins with a defense of the rational abilities view, according to which one is responsible for an action if and only if one acts with the ability to recognize and act for good reasons. The view is (...) compatibilist -- that is, on the view defended, responsibility is compatible with determinism -- and one of its striking features is a certain asymmetry: it requires the ability to do otherwise for responsibility when actions are praiseworthy, but not when they are blameworthy. In defending and elaborating the view, Nelkin questions long-held assumptions such as those concerning the relation between fairness and blame and the nature of so-called reactive attitudes such as resentment and forgiveness. Her argument not only fits with a metaphysical picture of causation -- agent-causation -- often assumed to be available only to incompatibilist accounts, but receives positive support from the intuitively appealing Ought Implies Can Principle, and establishes a new interpretation of freedom and moral responsibility that dovetails with a compelling account of our inescapable commitments as rational agents. (shrink)

To describe phenomena that occur at different time scales, computational models of the brain must incorporate different levels of abstraction. At time scales of approximately 1/3 of a second, orienting movements of the body play a crucial role in cognition and form a useful computational level embodiment level,” the constraints of the physical system determine the nature of cognitive operations. The key synergy is that at time scales of about 1/3 of a second, the natural sequentiality of body movements can (...) be matched to the natural computational economies of sequential decision systems through a system of implicit reference called deictic in which pointing movements are used to bind objects in the world to cognitive programs. This target article focuses on how deictic bindings make it possible to perform natural tasks. Deictic computation provides a mechanism for representing the essential features that link external sensory data with internal cognitive programs and motor actions. One of the central features of cognition, working memory, can be related to moment-by-moment dispositions of body features such as eye movements and hand movements. (shrink)

Much attention has been focused in recent years on the ethical acceptability of physicians receiving gifts from drug companies. Professional guidelines recognize industry gifts as a conflict of interest and establish thresholds prohibiting the exchange of large gifts while expressly allowing for the exchange of small gifts such as pens, note pads, and coffee. Considerable evidence from the social sciences suggests that gifts of negligible value can influence the behavior of the recipient in ways the recipient does not always realize. (...) Policies and guidelines that rely on arbitrary value limits for gift-giving or receipt should be reevaluated. (shrink)

An Introduction to Proof via Inquiry-Based Learning is a textbook for the transition to proof course for mathematics majors. Designed to promote active learning through inquiry, the book features a highly structured set of leading questions and explorations. The reader is expected to construct their own understanding by engaging with the material. The content ranges over topics traditionally included in transitions courses: logic, set theory including cardinality, the topology of the real line, a bit of number theory, and more. The (...) exposition guides and mentors the reader through an adventure in mathematical discovery, requiring them to solve problems, conjecture, experiment, explore, create, and communicate. Ultimately, this is really a book about productive struggle and learning how to learn. This is a print version of the popular open-access online text by Dana C. Ernst. (shrink)

Define a second order tree to be a map between trees. We show that many properties of ordinary trees have analogs for second order trees. In particular, we show that there is a notion of “definition by recursion on a well-founded second order tree” which generalizes “definition by transfinite recursion”. We then use this new notion of definition by recursion to prove an analog of Lusin’s Separation theorem for closure spaces of global sections of a second order tree.

Let G be a model of Presburger arithmetic. Let be an expansion of the language of Presburger. In this paper, we prove that the ‐theory of G is ‐minimal iff it has the exchange property and is definably complete (i.e., any bounded definable set has a maximum). If the ‐theory of G has the exchange property but is not definably complete, there is a proper definable convex subgroup H. Assuming that the induced theories on H and are definable complete and (...) o‐minimal respectively, we prove that any definable set of G is ‐definable. (shrink)

Let be the field of p‐adic numbers in the language of rings. In this paper we consider the theory of expanded by two predicates interpreted by multiplicative subgroups and where are multiplicatively independent. We show that the theory of this structure interprets Peano arithmetic if α and β have positive p‐adic valuation. If either α or β has zero valuation we show that the theory of has the NIP (“negation of the independence property”) and therefore does not interpret Peano arithmetic. (...) In that case we also prove that the theory is decidable if and only if the theory of is decidable. (shrink)

Sartre analyse l’imagination dans le contexte d’une radicalisation de l’intentionnalité husserlienne. Alors que Husserl opérait avec un concept de constitution qui explicitait le statut de la transcendance à partir de l’immanence, la phénoménologie sartrienne semblerait faire l’économie de la notion de constitution. Mais ce point est plus délicat qu’il n’y paraît. Sartre rencontre plusieurs types de transcendances problématiques : celle de l’Ego (en 1936), de certaines images (1940), et celle du « soi » (1943). Cette étude vise à montrer comment (...) ces transcendances amènent à un remaniement implicite : il existerait un concept de constitution opératoire chez Sartre qui se passe de toute référence à l’immanence. Au moyen de l’imagination, nous proposons de clarifier le lexique sartrien : unité, identité et individualité sont des termes impliqués dans une analyse de la constitution. On montrera en quoi la « constitution sartrienne » met en évidence une dimension transcendantale de la phénoménologie de Sartre qui permet d’apprécier à nouveaux frais l’enjeu et les limites de ses prétentions ontologiques. (shrink)

Sartre analyse l’imagination dans le contexte d’une radicalisation de l’intentionnalité husserlienne. Alors que Husserl opérait avec un concept de constitution qui explicitait le statut de la transcendance à partir de l’immanence, la phénoménologie sartrienne semblerait faire l’économie de la notion de constitution. Mais ce point est plus délicat qu’il n’y paraît. Sartre rencontre plusieurs types de transcendances problématiques : celle de l’Ego (en 1936), de certaines images (1940), et celle du « soi » (1943). Cette étude vise à montrer comment (...) ces transcendances amènent à un remaniement implicite : il existerait un concept de constitution opératoire chez Sartre qui se passe de toute référence à l’immanence. Au moyen de l’imagination, nous proposons de clarifier le lexique sartrien : unité, identité et individualité sont des termes impliqués dans une analyse de la constitution. On montrera en quoi la « constitution sartrienne » met en évidence une dimension transcendantale de la phénoménologie de Sartre qui permet d’apprécier à nouveaux frais l’enjeu et les limites de ses prétentions ontologiques. (shrink)

The Covid-19 crisis is testing human societies. It is obviously first and foremost a health problem – it causes deaths and numerous diseases – but it is also an economic problem – it is expensive, it weighs on the usual economic functioning – and finally, it is a hindrance to freedom – circulation, sociality, vaccination, etc. – and to the development of the human condition. This crisis highlights the interdependence between the environment, the economy and freedom, and reveals our condition (...) and its future. (shrink)

Theodor Adorno once wrote an essay to "defend Bach against his devotees." In this book Dana Villa does the same for Hannah Arendt, whose sweeping reconceptualization of the nature and value of political action, he argues, has been covered over and domesticated by admirers who had hoped to enlist her in their less radical philosophical or political projects. Against the prevailing "Aristotelian" interpretation of her work, Villa explores Arendt's modernity, and indeed her postmodernity, through the Heideggerian and Nietzschean theme (...) of a break with tradition at the closure of metaphysics.Villa's book, however, is much more than a mere correction of misinterpretations of a major thinker's work. Rather, he makes a persuasive case for Arendt as the postmodern or postmetaphysical political theorist, the first political theorist to think through the nature of political action after Nietzsche's exposition of the death of God. After giving an account of Arendt's theory of action and Heidegger's influence on it, Villa shows how Arendt did justice to the Heideggerian and Nietzschean criticism of the metaphysical tradition while avoiding the political conclusions they drew from their critiques. The result is a wide-ranging discussion not only of Arendt and Heidegger, but of Aristotle, Kant, Nietzsche, Habermas, and the entire question of politics after metaphysics. (shrink)

Working in a fixed Grothendieck topos Sh(C, J C ) we generalize \({\mathcal{L}_{{\infty},\omega}}\) to allow our languages and formulas to make explicit reference to Sh(C, J C ). We likewise generalize the notion of model. We then show how to encode these generalized structures by models of a related sentence of \({\mathcal{L}_{{\infty},\omega}}\) in the category of sets and functions. Using this encoding we prove analogs of several results concerning \({\mathcal{L}_{{\infty},\omega}}\) , such as the downward Löwenheim–Skolem theorem, the completeness theorem and (...) Barwise compactness. (shrink)

It is argued that once biological systems reach a certain level of complexity, mechanistic explanations provide an inadequate account of many relevant phenomena. In this article, I evaluate such claims with respect to a representative programme in systems biological research: the study of regulatory networks within single-celled organisms. I argue that these networks are amenable to mechanistic philosophy without need to appeal to some alternate form of explanation. In particular, I claim that we can understand the mathematical modelling techniques of (...) systems biologists as part of a broader practice of constructing and evaluating mechanism schemas. This argument is elaborated by considering the case of bacterial chemotactic networks, where some research has been interpreted as explaining phenomena by means of abstract design principles. (shrink)

Animate vision systems have gaze control mechanisms that can actively position the camera coordinate system in response to physical stimuli. Compared to passive systems, animate systems show that visual computation can be vastly less expensive when considered in the larger context of behavior. The most important visual behavior is the ability to control the direction of gaze. This allows the use of very low resolution imaging that has a high virtual resolution. Using such a system in a controlled way provides (...) additional constraints that dramatically simplify the computations of early vision. Another important behavior is the way the environment “behaves‘. Animate systems under real-time constraints can further reduce their computational burden by using environmental cues that are perspicuous in the local context. A third source of economy is introduced when behaviors are learned. Because errors are rarely fatal, systems using learning algorithms can amortize computational cost over extended periods. Further economies can be achieved when the learning system uses indexical reference, which is a form of dynamic variable binding. Animate vision is a natural way of implementing this dynamic binding. (shrink)

This article surveys the history of labor- and middle-class-sponsored efforts to mobilize shopping on behalf of working people from the late nineteenth century through the present. It analyzes the class dynamics of these movements to, first, underscore workers' own ability to mount consumer campaigns and, second, critique middle-class campaigns in the present that can treat workers as unorganized, passive victims. It underscores the potential hierarchical dynamics inherent in consumer-labor campaigns, both between classes and within the labor movement, including dynamics of (...) race, gender, and space. (shrink)