Merleau-Ponty has long been known as one of the most important philosophers of aesthetics, yet most discussions of his aesthetics focus on visual art. This book corrects that balance by turning to Merleau-Ponty's extensive engagement with literature. From Proust, Merleau-Ponty developed his conception of "sensible ideas," from Claudel, his conjoining of birth and knowledge as "co-naissance," from Valéry came "implex" or the "animal of words" and the "chiasma of two destinies." Literature also provokes the questions of expression, metaphor, and truth (...) and the meaning of a Merleau-Pontian poetics. The poetic of Merleau-Ponty is, the book argues, a poetic of the flesh, a poetic of mystery, and a poetic of the visible in its relation to the invisible. Ultimately, theoretical figures or "figuratives" that appear at the threshold between philosophy and literature enable the possibility of a new ontology. What is at stake is the very meaning of philosophy itself and its mode of expression. (shrink)

We develop a combinatorial model to study the evolution of graphs underlying proofs during the process of cut elimination. Proofs are two-dimensional objects and differences in the behavior of their cut elimination can often be accounted for by differences in their two-dimensional structure. Our purpose is to determine geometrical conditions on the graphs of proofs to explain the expansion of the size of proofs after cut elimination. We will be concerned with exponential expansion and we give upper and lower bounds (...) which depend on the geometry of the graphs. The lower bound is computed passing through the notion of universal covering for directed graphs. In this paper we present ground material for the study of cut elimination and structure of proofs in purely combinatorial terms. We develop a theory of duplication for directed graphs and derive results on graphs of proofs as corollaries. (shrink)

The logical flow graphs of sequent calculus proofs might contain oriented cycles. For the predicate calculus the elimination of cycles might be non-elementary and this was shown in [Car96]. For the propositional calculus, we prove that if a proof of k lines contains n cycles then there exists an acyclic proof with O(k n+l ) lines. In particular, there is a polynomial time algorithm which eliminates cycles from a proof. These results are motivated by the search for general methods on (...) proving lower bounds on proof size and by the design of more efficient heuristic algorithms for proof search. (shrink)

Many times in mathematics there is a natural dichotomy betweendescribing some object from the inside and from the outside. Imaginealgebraic varieties for instance; they can be described from theoutside as solution sets of polynomial equations, but one can also tryto understand how it is for actual points to move around inside them,perhaps to parameterize them in some way. The concept of formalproofs has the interesting feature that it provides opportunities forboth perspectives. The inner perspective has been largely overlooked,but in fact (...) lengths of proofs lead to new ways to measure informationcontent of mathematical objects. The disparity between minimallengths of proofs with and without ``lemmas'' provides an indicationof internal symmetry of mathematical objects and their descriptions.A principal observation of this paper is that mathematicalstructures can be embedded into spaces of logical formulae and inheritadditional structure from proofs. We shall look at finitely-generatedgroups, rational numbers and SL(2,Z), and examples fromtopology and analysis. (shrink)

Biological ontologies are used to organize, curate, and interpret the vast quantities of data arising from biological experiments. While this works well when using a single ontology, integrating multiple ontologies can be problematic, as they are developed independently, which can lead to incompatibilities. The Open Biological and Biomedical Ontologies Foundry was created to address this by facilitating the development, harmonization, application, and sharing of ontologies, guided by a set of overarching principles. One challenge in reaching these goals was that the (...) OBO principles were not originally encoded in a precise fashion, and interpretation was subjective. Here we show how we have addressed this by formally encoding the OBO principles as operational rules and implementing a suite of automated validation checks and a dashboard for objectively evaluating each ontology’s compliance with each principle. This entailed a substantial effort to curate metadata across all ontologies and to coordinate with individual stakeholders. We have applied these checks across the full OBO suite of ontologies, revealing areas where individual ontologies require changes to conform to our principles. Our work demonstrates how a sizable federated community can be organized and evaluated on objective criteria that help improve overall quality and interoperability, which is vital for the sustenance of the OBO project and towards the overall goals of making data FAIR. Competing Interest StatementThe authors have declared no competing interest. (shrink)

The Planteome project provides a suite of reference and species-specific ontologies for plants and annotations to genes and phenotypes. Ontologies serve as common standards for semantic integration of a large and growing corpus of plant genomics, phenomics and genetics data. The reference ontologies include the Plant Ontology, Plant Trait Ontology, and the Plant Experimental Conditions Ontology developed by the Planteome project, along with the Gene Ontology, Chemical Entities of Biological Interest, Phenotype and Attribute Ontology, and others. The project also provides (...) access to species-specific Crop Ontologies developed by various plant breeding and research communities from around the world. We provide integrated data on plant traits, phenotypes, and gene function and expression from 95 plant taxa, annotated with reference ontology terms. (shrink)

The Philosopher and the Moviemaker.Merleau-Ponty and the Thinking of CinemaAs its subtitle indicates, the present article is devoted to the relations between Maurice Merleau-Ponty’s philosophy and the thinking of cinema. The first section focuses on two topics, each underlying the lecture on cinema given by Merleau-Ponty in 1945. On the one hand, we find the reflection about the peculiarities of expression in film and cinematic image; on the other, we see the convergence between the inspiration of cinema and that of (...) philosophy, which Merleau-Ponty sees as a significant characteristic of his time. This is a convergence in which the nouvelle vague’s cinema will recognise itself and which Christian Metz will retrospectively confirm. Moreover, by developing both of these topics, the author finds a way to interpret Merleau-Ponty’s lecture as an undeclared polemical response to Henri Bergson’s famous negative judgement on cinema. The second section focuses on the question of movement in cinema, putting together further references to cinema made by Merleau-Ponty in posthumous or unpublished writings such as the notes for the 1952-53 course on “The Sensible World and the World of Expression.” The third section focuses on Merleau-Ponty’s later reflection about vision and images. This section shows how the peculiar noveltyof cinema is more and more understood by Merleau-Ponty not only as historically convergent with a new way of conceiving philosophy, but as a symptom of the new ontology he was trying to formulate philosophically.Il filosofo e il cineasta.Merleau-Ponty e il pensiero del cinemaCome sottolinea il suo sottotitolo, il presente articolo è dedicato alle relazioni fra la filosofi a di Maurice Merleau-Ponty e il pensiero del cinema. La prima sezione si concentra su due argomenti, ognuno ravvisabile nella conferenza sul cinema tenuta da Merleau-Ponty nel 1945. Da una parte, troviamo la riflessione sulle peculiarità dell’espressione filmica e dell’immagine cinematografica; dall’altra, la convergenza fra l’ispirazione del cinema e quella della filosofia, che Merleau-Ponty vede come una significativa caratteristica del proprio tempo: una convergenza in cui il cinema della nouvelle vague riconoscerà se stesso e che Christian Metz retrospettivamente confermerà. Inoltre, sviluppando entrambi gli argomenti, l’autore trova modo di interpretare la conferenza di Merleau-Ponty come una non dichiarata risposta polemica al celebre giudizio negativo sul cinema formulato da Henri Bergson. La seconda sezione si concentra sulla questione del movimento nel cinema, riunendo ulteriori riferimenti di Merleau-Ponty al cinema in scritti postumi o inediti, come le note per il corso del 1952-1953 su “Il mondo sensibile e il mondo dell’espressione”. La terza sezione si concentra sulla riflessione dell’ultimo Merleau-Ponty sulla visione e le immagini. Ciò mostra come la peculiare novità del cinema sia sempre più compresa da Merleau-Ponty non solo come storicamente convergente con un nuovo modo di concepire la filosofia, ma come un sintomo della nuova ontologia che egli stava cercando di formulare filosoficamente. (shrink)

While corporate social responsibility is recognized as taking on various national meanings and practices, research has not sufficiently investigated how multinational companies simultaneously achieve global CSR integration and local CSR adaptation. Building on a qualitative case study carried out at ASICS, an MNC headquartered in Japan, we show how this organizational dilemma may be solved through hybridization work, a form of institutional work performed by CSR managers in subsidiaries to combine and adapt different institutional approaches to CSR. By developing the (...) notion of hybridization work, we contribute by revealing a set of practices that contribute to institutional change within organizations and enriching the study of CSR organizational change and international business by showing how hybridization Work leads to a greater organizational integration between core and periphery, and by identifying the triggering factors for subsidiary initiative in CSR. (shrink)

Statements such as “X is beautiful but I don’t like how it looks” or “I like how X looks but it is not beautiful” sound contradictory. How contradictory they sound might however depend on the object X and on the aesthetic adjective being used (“beautiful”, “elegant”, “dynamic”, etc.). In our study, the first sentence was estimated to be more contradictory than the latter: If we describe something as beautiful, we often intend to evaluate its appearance, whereas it is less counterintuitive (...) to appreciate an appearance without finding it beautiful. Furthermore, statements including “beautiful” appeared more contradictory than those including “elegant” and “dynamic”, pointing to its greater evaluative component. When related to artworks, sentences could appear less contradictory due to readers’ consideration of the divergence between conventional beauty and art-related sensory pleasures that can even include negative valence. Such ambivalence might be more frequent in art-objects than in other artefacts. Indeed, in our study, sentences referring to artworks were estimated to be less contradictory compared to sentences referring to other artefacts. Meanwhile, an additional small group of graphic design students showed a less clear difference between art-related and non-art-related sentences. We discuss the potential influence of art experience and interest as well as theoretical and methodological challenges like the conceptualization of beauty. (shrink)

The time of half-sleep : Merleau-Ponty between Husserl and Proust -- Ad limina philosophiae : Merleau-Ponty and the "introduction" to Hegel's Phenomenology of spirit -- Nature : variations on the theme -- The thinking of the sensible.

In a context of growing environmental challenges, circular economy (CE) business models appear necessary for business to contribute positively to the ecological transition. While platform business models have been identified as a new and promising model in CE, we still lack a fine-grained understanding of the critical capabilities involved in developing and scaling them. To fill this gap, we build on a single case study of Phenix, a French-based fast-growing start-up in the food industry, tackling the issue of food waste. (...) We identify three core managerial capabilities involved in the successful scaling of Phenix's business model. In addition to ecosystem orchestration capabilities, we identify two types of ambidextrous capabilities – forms of ambidexterity operating both at the organizational and at the institutional level. Our analysis highlights the importance of considering these capabilities in a bundle as they collectively contribute to the performance and scaling potential of the business model. We also call for an increased consideration of the role of institutional factors in shaping opportunities to design and scale profitable business models. (shrink)

Succinct representation and fast access to large amounts of data are challenges of our time. This unique book suggests general approaches of 'complexity of descriptions'. It deals with a variety of concrete topics and bridges between them, while opening new perspectives and providing promising avenues for the 'complexity puzzle'.

The ability to read emotions in faces helps humans efficiently assess social situations. We tested how this ability is affected by aspects of familiarization with face masks and personality, with a focus on emotional intelligence. To address aspects of the current pandemic situation, we used photos of not only faces per se but also of faces that were partially covered with face masks. The sample, the size of which was determined by an a priori power test, was recruited in Germany (...) and consisted of healthy individuals of different ages [M = 24.8 years]. Participants assessed the emotional expressions displayed by six different faces determined by a 2 × 3 design. Each person was presented with six different emotional displays with or without a face mask. Accuracy and confidence were lower with masks—in particular for the emotion disgust but also for happiness, anger, and sadness. When comparing the present data collected in July 2021 with data from a different sample collected in May 2020, when people first started to familiarize themselves with face masks in Western countries during the first wave of the COVID-19 pandemic, we did not detect an improvement in performance. There were no effects of participants’ emotional intelligence, sex, or age regarding their accuracy in assessing emotional states in faces for unmasked or masked faces. (shrink)

We analyse the structure of propositional proofs in the sequent calculus focusing on the well-known procedures of Interpolation and Cut Elimination. We are motivated in part by the desire to understand why a tautology might be ‘hard to prove’. Given a proof we associate to it a logical graph tracing the flow of formulas in it . We show some general facts about logical graphs such as acyclicity of cut-free proofs and acyclicity of contraction-free proofs , and we give a (...) proof of a strengthened version of the Craig Interpolation Theorem based on flows of formulas. We show that tautologies having minimal interpolants of non-linear size must have proofs with certain precise structural properties. We then show that given a proof Π and a cut-free form Π′ associated to it , certain subgraphs of Π′ which are logical graphs correspond to subgraphs of Π which are logical graphs for the same sequent. This locality property of cut elimination leads to new results on the complexity of interpolants, which cannot follow from the known constructions proving the Craig Interpolation Theorem. (shrink)

La recherche récente a régulièrement remis en cause la catégorie moderne de « lois sacrées » désignant des inscriptions grecques qui forment un ensemble mal défini. Cet article entend dépasser le corpus traditionnel des « lois sacrées » en présentant un projet de recueil alternatif de « Normes rituelles grecques » (CGRN pour l’acronyme anglais), qui s’appuie sur des critères plus sélectifs et sera publié en ligne.

The Russian invasion of 2022 was based on an organized process of influence on the Ukrainian population, aimed at obtaining their support or neutralizing their possible resistance, in concert with the state apparatus. We find, in the backdrop of this process, the memorial conflict between these two countries and their neighbours, concerning World War II and the Soviet Union. This war of influence, or political warfare, which falls within new forms of contemporary hybrid warfare, profoundly has to do with images, (...) especially moving images. The cinematic images, the debauchery of their propaganda during the Second World War and throughout the existence of the USSR, still weighs on the bodies and minds; the new media has in many ways inherented them and their way of reenacting or extending propaganda on an individual or group scale. We will then question the place of images, and in particular those in motion, in the war between Russia and Ukraine since 2014 to describe the way in which they have served or still serve the military-memorial device deployed by the Russian invader. (shrink)

This paper reports on an experimental test of the Principle of Optimality in dynamic decision problems. This Principle, which states that the decision-maker should always choose the optimal decision at each stage of the decision problem, conditional on behaving optimally thereafter, underlies many theories of optimal dynamic decision making, but is normally difficult to test empirically without knowledge of the decision-maker's preference function. In the experiment reported here we use a new experimental procedure to get round this difficulty, which also (...) enables us to shed some light on the decision process that the decision-maker is using if he or she is not using the Principle of Optimality - which appears to be the case in our experiments. (shrink)

Ce livre propose une interprétation inédite de la biologie d'Aristote. Il montre que, dans la démarche aristotélicienne, à côté de la pensée discursive, oeuvre une pensée visuelle qui élabore une représentation de l'organisation spatiale du corps vivant, apportant ainsi une contribution décisive à la définition des deux tâches majeures de l'enquête scientifique aristotélicienne: l'explication causale et la détermination des genres.

In The Flesh of Images, Mauro Carbone analyzed Merleau-Ponty's interest in film as it relates to his aesthetic theory. Philosophy-Screens broadens the work undertaken in this earlier book, looking at the ideas of other twentieth-century thinkers concerning the relationship between philosophy and film, and also extending that analysis to address the wider proliferation of screens in the twenty-first century. In the first part of the book, Carbone examines the ways that Sartre, Merleau-Ponty, Lyotard, and Deleuze grappled with the (...) philosophical significance of cinema as a novel aesthetic medium unfolding in the twentieth century. He then considers the significance of this philosophical framework for understanding the digital revolution, in particular the extent to we are increasingly and comprehensively connected with screens. Smart phones, tablets, and computers have become a primary referential optical apparatus for everyday life in ways that influence the experience not only of seeing but also of thinking and desiring. Carbone's Philosophy-Screens follows Deleuze's call for "a philosophy-cinema" that can account for these fundamental changes in perception and aesthetic production, and adapts it to twenty-first century concerns. (shrink)

For animal research that causes sentient nonhuman animal suffering to be justifiable, I believe that two conditions must be met. First, harming animals for human benefit must be morally justified; this is the speciesism justification. Second, animal research must have utility—that is, it must produce useful, empirically valid knowledge that successfully increases our understanding of human illness and treatments and that could not reasonably be obtained through other means; this is the utility justification. In other words, (some) animals must be (...) sufficiently different from humans in morally relevant ways to allow the morality of speciesism, and (some) animals must be sufficiently similar to humans biologically for cross‐species extrapolation to have utility. Both conditions are necessary, and neither by itself is sufficient to justify animal experimentation. I focus exclusively on the utility justification. I do not defend the morality of using animals in experiments, nor do I review the alternatives and refinements that can minimize laboratory animal suffering. I will argue that I and the medical scientists with whom I work have a sound rationale to continue the work we do. (shrink)

Experiments on intertemporal consumption typically show that people have difficulties in optimally solving such problems. Previous studies have focused on contexts in which agents are faced with risky future incomes and have to plan over long horizons. We present an experiment comparing decision making under certainty, risk, and ambiguity, over a shorter lifecycle. Results show that behavior in the ambiguity treatment is markedly different than in the risk condition and it is characterized by a significant pattern of under-consumption.

Assessments of animal experience and consciousness are embedded in all issues of animal welfare policy, and the field of animal welfare science has been developed to make these evaluations. In light of modern studies of the social construction of scientific knowledge, it is surprising how little attention has been paid to date on how crucial evaluations about animals are made. In this paper, I begin to fill that gap by presenting a historical case study of the attempt to define the (...) pain and distress of one common practice in animal research-the use of the tabletop guillotine to decapitate laboratory rodents. I describe the negotiations involved in reaching consensus on the meaning of the available data and caution animal care and use committees that they should always work with the realization that our scientific knowledge of what animals experience is partial and provisional knowledge at best. (shrink)

Jeffery et al. extensively and thoroughly describe how different species navigate through a three-dimensional environment. Undeniably, the world offers numerous three-dimensional opportunities. However, we argue that for most navigation tasks a two-dimensional representation is nevertheless sufficient, as physical conditions and limitations such as gravity, thermoclines, or layers of earth encountered in a specific situation provide the very elevation data the navigating individual needs.

When imposing traffic congestion pricing around downtown commercial centers, there is a concern that commercial activities will have to consider relocating due to reduced demand, at a cost to merchants. Concerns like these were important in the debates before the introductions of congestion charges in both London and Stockholm and influenced the final policy design choices. This study introduces a sequential experimental game to study reactions to congestion pricing in the commercial sector. In the game, merchants first make location choices. (...) Consumers, who drive to do their shopping, subsequently choose where to shop. Initial responses to the introduction of congestion pricing and equilibrium selection adjustments over time are observed. These observations are compared to responses and adjustments in a condition where congestion pricing is reduced from an initially high level. Payoffs are non-linear and non-transparent, making it less than obvious that the efficient equilibrium will be selected, and introducing possibilities that participants need to discover their preferences and anchor on past experiences. We find that initial responses reflect standard inverse price–demand relations, and that adjustments over time rely on signaling by consumers leading to the efficient equilibrium. There is also evidence that priming from initial experiences influence play somewhat. We confirm that commercial activities relocate following the introduction of congestion pricing and that the adjustment process is costly to merchants. (shrink)

Traces of Maurice Merleau-Ponty’s constant philosophical interest in cinema have been multiplying since the mid-1990s. These traces lead us to understand that such an interest was implicitly linked to the effort of ontologically rehabilitating the screen understood as the condition of possibility of our vision. Therefore I believe that the late Merleau-Ponty was trying to elaborate a conception of our way of seeing that can no longer be shaped on the representative window model, but rather on the screen model. In (...) this light, my aim is to develop, specify, and update Merleau-Ponty’s insights concerning the screen as a decisive element of our visual experiences. In such a perspective, it is no doubt very important to reflect on the modified spatio-temporality of desire at work in our present relations to screens. This is what I try to do in the second part of my paper. Indeed, concerning the way in which nowadays screens surround and accompany us at every turn, in which we live through them, we can state something similar to what Merleau-Ponty wrote about modern painting in Eye and Mind, that is to say that the novelty of that way of painting gave him “a feeling of mutation within the relations of man and Being.”. (shrink)

Most model checking techniques for security protocols make a number of simplifying assumptions on the protocol and/or on its execution environment that greatly complicate or even prevent their applicability in some important cases. For instance, most techniques assume that communication between honest principals is controlled by a Dolev-Yao intruder, i.e. a malicious agent capable to overhear, divert, and fake messages. Yet we might be interested in establishing the security of a protocol that relies on a less unsecure channel (e.g. a (...) confidential channel provided by some other protocol sitting lower in the protocol stack). In this paper we propose a general model for security protocols based on the set-rewriting formalism that, coupled with the use of LTL, allows for the specification of assumptions on principals and communication channels as well as of complex security properties that are normally not handled by state-of-the-art security protocol analysers. By using our approach we have been able to formalise all the assumptions required by the ASW protocol for optimistic fair exchange and some of its key security properties. Besides the previously reported attacks on the protocol, we report a new attack on a patched version of the protocol. (shrink)

Arte e "pre-mondo" : l'opera di Cézanne e la fenomenologia secondo Merleau-Ponty -- Tempo e parola : motivi proustiani in Phénoménologie de la perception -- Dicibilità del mondo e storicità di vita : espressione, verità, storia nel periodo intermedio del pensiero di Merleau-Ponty -- Alle radici stesse dell'essere : visibilità, natura e pittura nell'ultimo Merleau-Ponty -- Nessuno più di Proust : Le visible et l'invisible nello specchio della Recherche.

S'inscrivant dans le sillage des travaux les plus récents sur l'histoire du cartésianisme, ce livre en retient d'abord l'idée que ce phénomène varie selon les contextes nationaux, mais qu'il est parfois possible de repérer des ressemblances qui outrepassent les frontières. Se confrontant à une pensée vivante qui se réfracte sous des aspects inattendus, les articles recueillis explorent des sujets qui se situent à l'intersection de plusieurs champs disciplinaires (théologie, physique, médecine, éthique, anthropologie, etc.). Les acquis principaux du cartésianisme dans le (...) domaine scientifique constituent toutefois la toile de fond historique et épistémologique sur laquelle s'élaborent les analyses des contributions de ce volume."--Page 4 of cover. (shrink)

L’auteur étudie les contraintes procédurales qui pèsent sur les procédures d’appel, notamment à la suite des décrets dits “Magendie”. Il montre en regard tous les avantages potentiels apportés par la nouvelle Charte de présentation des écritures et conclut en examinant les déterminants du choix de l’avocat et de son client d’interjeter on de ne pas interjeter d’appel.

BackgroundWhile neighborhood safety and stranger danger have been mostly canonized to play a part in parents’ physical activity avoidance, less is known about the impact of parental stress and perceived risk on children’s PA avoidance and consequently on children’s level of PA and wellbeing. Understanding the contributors to children’s wellbeing during pandemic disease is the first critical step in contributing to children’s health during epidemic diseases.MethodsThis study employed 276 healthy children, aged 10–12 years, and their parents. Data were collected in (...) October and November 2020, about 9 months after the local closing of schools due to the coronavirus disease 2019 pandemic. Parents and children answered a separate set of questions. Besides the demographic information, the parents responded to questions on their stress level, perceived risk of COVID-19, and PA avoidance for children. Children responded to questions on their PA and wellbeing in the last week. Data were analyzed using SmartPLS and IBM SPSS 22.ResultsThe result of the study supported the four directional research hypotheses of the sequential study model. As hypothesized, parents’ stress and perceived risk levels of COVID-19 negatively affected children’s PA. The PA level was shown to predict children’s wellbeing and mental health. Housing type, parents’ job security, number of siblings, number of members living together in-home, and history of death or hospitalization of relatives or family members due to COVID-19 were found to be associated with parents’ stress and children’s mental health.ConclusionThis study sheds light on parents’ role in children’s wellbeing and mental health during the COVID-19 pandemic. Parents with higher stress and high restrictive behaviors might put their children at risk of mental disorders in the end. (shrink)

Undoubtedly, the tragedy of September 11, 2001 has been an unprecedented visual event. And yet, as was pointed out by an article published in Esquire in 2003, “in the most photographed and videotaped day in the history of the world, the images of people jumping were the only images that became, by consensus, taboo.” This taboo looks like the other side of what Allen Feldman calls a “temporal therapy”: “the audience was being given temporal therapy by witnessing a mechanical sequence (...) of events, over and over, which restored the linearity of time, which had been suspended with the assaults.” Still, images like the photograph that is well-known under the title of “Falling Man” could be, thanks to their peculiar temporality, a good antidote against this “temporal therapy,” which aims at the formation of a specific “collective memory, and therefore of collective forgetfulness.” On top of a study on this kind of pictures, this paper will take into account the late Merleau-Ponty’s idea of a mutual precession of reality and images as a useful tool for understanding the peculiar temporality of such pictures. (shrink)

Any arbitrarily complicated non-oriented graph, that is a graph of arbitrarily large genus, can be encoded in a cut-free proof. This unpublished result of Statman was shown in the early seventies. We provide a proof of it, and of a number of other related facts.

Aristotle’s biology is based on his method of division of animal kinds by multiple differentiae. This results in complex clusters of non-subordinate terms, between which Aristotle seeks to establish universal correlations. The form of these, however, does not correspond to that prescribed by his theory of syllogism. Mereological relations between terms are not linear and quantification is far more complex than the distinction between universal and particular propositions. Thus the axiomatisation of Aristotle’s biology requires a tool designed for analysing such (...) complex universal correlations into valid syllogistic premises. Prosleptic-like premises turn out to be the solution outlined by Aristotle. They make it possible to handle both the logic of consequence which translates from and into mereological relations between term clusters, and the complex quantification required by division based on multiple differentiæ, through the instantiation of a variable ideally consisting of indivisible groups of animals. (shrink)

Two of Aristotle’s major legacies, namely, the theory of scientific syllogism and teleology seem to conflict on several planes. Indeed, an array of formal limitations prevents him from formalizing teleological explanations into scientific syllogisms, which are entirely absent from his works. To achieve this, Aristotle resorts to a different tool, the logic of ‘consequence’. This governs both the teleological relation between an end and a means that underlies necessity ‘from a hypothesis’—which is the necessity proper to living things—and a different (...) form of syllogisms, namely, syllogisms ‘from a hypothesis’. His guidelines in the first chapter of his Parts of Animals on the proper form of demonstration to be adopted in biology should be read as laying out the rules of inference for translating teleological explanations into syllogisms ‘from a hypothesis’. (shrink)