In lieu of an abstract, here is a brief excerpt of the content:Preface: Virtual Entities in ScienceRobert Harlander, Jean-Philippe Martinez, Friedrich Steinle, and Adrian WüthrichIt is not only since the sudden increase of online communication due to the COVID-19 situation that the concept of the “virtual” has made its way into everyday language. In this context, it mostly denotes a digital substitute for a real object or process. Virtual reality is perhaps the best-known term in this respect. With these (...) digital connotations, “virtuality” has also been used in science and research: Chemists use virtual laboratories, biologists do virtual scanning of molecular structures, and geologists engage in virtual field trips. But the concept of the virtual has a much longer tradition, dating back to long before the dawn of the digital age. Virtual images and virtual displacements were introduced in classical physics already in the late seventeenth and eighteenth centuries, respectively. They represent auxiliary objects or processes without instantiation, with the purpose of efficiently describing specific physical systems. In today’s physics, the term “virtual” is mostly associated with the quantum world, first and foremost with the “virtual particle” of quantum field theory. It has become such an integral part of modern high energy physics that its ontological character may be considered to go beyond the purely auxiliary, which is typically associated with the virtual. [End Page 263]In other disciplines, however, use of the term virtual without a digital connotation is much rarer. While concepts like “virtual adrenaline” show up in physiological research around 1940s, and Charles Darwin, in a private note in January 1840,1 spoke of “virtual change” in the context of embryology, these examples seem to be singular occurrences of entities that were explicitly called “virtual.” The basic idea behind the terminology of the virtual, however, might be much more common, even outside of physics. The “invisible hand” in economics, or the “vital force” in biology, for instance, may carry aspects of a virtual entity, even if they have not been referred to that way.These different observations raise several questions about the status of virtual entities in science. What has led scientists to call one entity “virtual” and not another? Do all virtual entities in science have the same roots and meet the same characteristics? Are they more than auxiliary objects or processes? Why does physics seem to occupy a specific position with respect to the use of the notion of virtuality? These are some points that led us to discuss virtual entities in science during a workshop, out of which grew the present collection. We invited contributions that addressed the historical formation and philosophical interpretation of concepts of virtual entities in physics and other disciplines—in whatever terms they may come. The main goal of the workshop was to bring to the fore similarities and differences in the meanings and functions of these concepts, so as to be able to precisely characterize why certain entities are considered virtual in specific contexts, why a different terminology was often used in each individual case, and in what sense the virtual entities relate to the real world.The organization of the workshop was part of our project “The formation and development of the concept of virtual particles,” a subproject of the Research Unit “The Epistemology of the Large Hadron Collider,” funded by the Deutsche Forschungsgemeinschaft (DFG) and Der Wissenschaftsfonds (FWF). The workshop took place online on four consecutive Fridays in March 2021. It brought together contributors who discussed the role of the concept of the virtual in theoretical as well as experimental activities, and investigated into the origins of the terminology of the virtual as it was applied to the various disciplines of natural science. Dealing with historical, philosophical, but also methodological questions, the presentations covered a wide time range, from the Middle Ages to the present day. While physics naturally emerged as the dominant field, natural philosophy, computer science and biology were also addressed. The papers in this volume were contributed by participants in this workshop and approach the subject from different angles. [End Page 264]First, Friedrich Steinle provides us with an introductory piece that reflects on the specific meaning of the use of the term ‘virtual’ in science. He highlights and... (shrink)

How could the initial, drastic decisions to implement “lockdowns” to control the spread of COVID-19 infections be justifiable, when they were made on the basis of such uncertain evidence? We defend the imposition of lockdowns in some countries by first, and focusing on the UK, looking at the evidence that undergirded the decision, second, arguing that this provided us with sufficient grounds to restrict liberty given the circumstances, and third, defending the use of poorly-empirically-constrained epidemiological models as tools that can (...) legitimately guide public policy. (shrink)

At the beginning of the COVID-19 pandemic, high hopes were put on digital contact tracing, using mobile phone apps to record and immediately notify contacts when a user reports as infected. Such apps can now be downloaded in many countries, but as second waves of COVID-19 are raging, these apps are playing a less important role than anticipated. We argue that this is because most countries have opted for app configurations that cannot provide a means of rapidly informing users of (...) likely infections while avoiding too many false positive reports. Mathematical modelling suggests that differently configured apps have the potential to do this. These require, however, that some pseudonymised data be stored on a central server, which privacy advocates have cautioned against. We contend that their influential arguments are subject to two fallacies. First, they have tended to one-sidedly focus on the risks that centralised data storage entails for privacy, while paying insufficient attention to the fact that inefficient contact tracing involves ethical risks too. Second, while the envisioned system does entail risks of breaches, such risks are also present in decentralised systems, which have been falsely presented as ‘privacy preserving by design’. When these points are understood, it becomes clear that we must rethink our approach to digital contact tracing in our fight against COVID-19. There are no data in this work. (shrink)

De l'Antiquité à la Renaissance, la notion d'harmonie a lié les mathématiques, l'astronomie et la musique. Renouant avec cette tradition millénaire, Jean-Philippe Uzan vous invite à écouter le chant des étoiles, les vibrations du cosmos et le cri du big bang. Une balade cosmique entre sciences et musique, vertigineuse et inspirante. Jean-Philippe Uzan est physicien théoricien, spécialiste de la théorie du big bang. Il est directeur de recherche au CNRS/Institut d'astrophysique de Paris et directeur adjoint de l'Institut Henri (...) Poincaré. (shrink)

At this stage of the COVID-19 pandemic, two policy aims are imperative: avoiding the need for a general lockdown of the population, with all its economic, social and health costs, and preventing the healthcare system from being overwhelmed by the unchecked spread of infection. Achieving these two aims requires the consideration of unpalatable measures. Julian Savulescu and James Cameron argue that mandatory isolation of the elderly is justified under these circumstances, as they are at increased risk of becoming severely ill (...) from COVID-19, and are thus likely to put disproportionate strain on limited healthcare resources. However, their arguments for this strategy are contingent on the lack of viable alternatives. We suggest that there is a possible alternative: a mandatory, centralised contact-tracing app. We argue that this strategy is ethically preferable to the selective isolation of the elderly, because it does not target members of a certain group, relying instead on the movements of each individual, and because it avoids the extended isolation of certain members of the society. Although this type of contact-tracing app has its drawbacks, we contend that this measure warrants serious consideration. (shrink)

This paper argues that in some explanations mathematics are playing an explanatory rather than a representational role, and that this feature unifies many types of non-causal or non-mechanistic explanations that some philosophers of science have been recently exploring under various names. After showing how mathematics can play either a representational or an explanatory role by considering two alternative explanations of a same biological pattern—“Bergmann’s rule”—I offer an example of an explanation where the bulk of the explanatory job is done by (...) a mathematical theorem, and where mechanisms involved in the target systems are not explanatorily relevant. Then I account for the way mathematical properties may function in an explanatory way within an explanation by arguing that some mathematical propositions involving variables non directly referring to the target system features constitute constraints to which a whole class of systems should comply, provided they are describable by a mathematical object concerned by those propositions. According to such “constraint account”, those mathematical facts are directly entailing the explanandum, as a consequence of such constraints. I call those explanations “structural”, because here properties of mathematical structures are accounting for the explanandum; various kinds of mathematical structures thereby define various types of structural explanations. (shrink)

This paper argues that besides mechanistic explanations, there is a kind of explanation that relies upon “topological” properties of systems in order to derive the explanandum as a consequence, and which does not consider mechanisms or causal processes. I first investigate topological explanations in the case of ecological research on the stability of ecosystems. Then I contrast them with mechanistic explanations, thereby distinguishing the kind of realization they involve from the realization relations entailed by mechanistic explanations, and explain how both (...) kinds of explanations may be articulated in practice. The second section, expanding on the case of ecological stability, considers the phenomenon of robustness at all levels of the biological hierarchy in order to show that topological explanations are indeed pervasive there. Reasons are suggested for this, in which “neutral network” explanations are singled out as a form of topological explanation that spans across many levels. Finally, I appeal to the distinction of explanatory regimes to cast light on a controversy in philosophy of biology, the issue of contingence in evolution, which is shown to essentially involve issues about realization. (shrink)

Public announcement logic is an extension of multiagent epistemic logic with dynamic operators to model the informational consequences of announcements to the entire group of agents. We propose an extension of public announcement logic with a dynamic modal operator that expresses what is true after any announcement: after which , does it hold that Kφ? We give various semantic results and show completeness for a Hilbert-style axiomatization of this logic. There is a natural generalization to a logic for arbitrary events.

Besides mechanistic explanations of phenomena, which have been seriously investigated in the last decade, biology and ecology also include explanations that pinpoint specific mathematical properties as explanatory of the explanandum under focus. Among these structural explanations, one finds topological explanations, and recent science pervasively relies on them. This reliance is especially due to the necessity to model large sets of data with no practical possibility to track the proper activities of all the numerous entities. The paper first defines topological explanations (...) and then explains why topological explanations and mechanisms are different in principle. Then it shows that they are pervasive both in the study of networks—whose importance has been increasingly acknowledged at each level of the biological hierarchy—and in contexts where the notion of selective neutrality is crucial; this allows me to capture the difference between mechanisms and topological explanations in terms of practical modelling practices. The rest of the paper investigates how in practice mechanisms and topologies are combined. They may be articulated in theoretical structures and explanatory strategies, first through a relation of constraint, second in interlevel theories, or they may condition each other. Finally, I explore how a particular model can integrate mechanistic informations, by focusing on the recent practice of merging networks in ecology and its consequences upon multiscale modelling. (shrink)

We develop a formal semantic analysis of the alarm calls used by Campbell’s monkeys in the Tai forest and on Tiwai island —two sites that differ in the main predators that the monkeys are exposed to. Building on data discussed in Ouattara et al. :e7808, 2009a; PNAS 106: 22026–22031, 2009b and Arnold et al., we argue that on both sites alarm calls include the roots krak and hok, which can optionally be affixed with -oo, a kind of attenuating suffix; in (...) addition, sentences can start with boom boom, which indicates that the context is not one of predation. In line with Arnold et al., we show that the meaning of the roots is not quite the same in Tai and on Tiwai: krak often functions as a leopard alarm call in Tai, but as a general alarm call on Tiwai. We develop models based on a compositional semantics in which concatenation is interpreted as conjunction, roots have lexical meanings, -oo is an attenuating suffix, and an all-purpose alarm parameter is raised with each individual call. The first model accounts for the difference between Tai and Tiwai by way of different lexical entries for krak. The second model gives the same underspecified entry to krak in both locations, but it makes use of a competition mechanism akin to scalar implicatures. In Tai, strengthening yields a meaning equivalent to non-aerial dangerous predator and turns out to single out leopards. On Tiwai, strengthening yields a nearly contradictory meaning due to the absence of ground predators, and only the unstrengthened meaning is used. (shrink)

Following a previous elaboration of the concept of weak individuality and some examples of its instances in ecology and biology, the article focuses on general features of the concept, arguing that in any ontological field individuals are understood on the basis of our knowledge of interactions, through the application of these general formulas for extracting individuals from interactions. Then, the specificities of the individuality in the sense of this weak concept are examined in ecology; I conclude by addressing the differences (...) between ecosystems and organisms as they appear in the viewpoint of such concept. (shrink)

We propose two alternatives to Xu’s axiomatization of Chellas’s STIT. The first one simplifies its presentation, and also provides an alternative axiomatization of the deliberative STIT. The second one starts from the idea that the historic necessity operator can be defined as an abbreviation of operators of agency, and can thus be eliminated from the logic of Chellas’s STIT. The second axiomatization also allows us to establish that the problem of deciding the satisfiability of a STIT formula without temporal operators (...) is NP-complete in the single-agent case, and is NEXPTIME-complete in the multiagent case, both for the deliberative and Chellas’s STIT. (shrink)

The Pareto principle states that if the members of society express the same preference judgment between two options, this judgment is compelling for society. A building block of normative economics and social choice theory, and often borrowed by contemporary political philosophy, the principle has rarely been subjected to philosophical criticism. The paper objects to it on the ground that it indifferently applies to those cases in which the individuals agree on both their expressed preferences and their reasons for entertaining them, (...) and those cases in which they agree on their expressed preferences, while differing on their reasons. The latter are cases of "spurious unanimity", and it is normatively inappropriate, or so the paper argues, to defend unanimity preservation at the social level for them, so the Pareto principle is formulated much too broadly. The objection seems especially powerful when the principle is applied in an ex ante context of uncertainty, in which individuals can disagree on both their probabilities and utilities, and nonetheless agree on their preferences over prospects. (shrink)

According to a theorem recently proved in the theory of logical aggregation, any nonconstant social judgment function that satisfies independence of irrelevant alternatives (IIA) is dictatorial. We show that the strong and not very plausible IIA condition can be replaced with a minimal independence assumption plus a Pareto-like condition. This new version of the impossibility theorem likens it to Arrow’s and arguably enhances its paradoxical value.

Simone Weil (1909-1943) foi filósofa, escritora, ativista política e humanista. Nasceu em Paris, no seio de família judaica. Formou-se em filosofia pela Université de Sorbonne e se tornou a primeira mulher catedrática da França. Militou fervorosamente pela causa dos trabalhadores fabris e, posteriormente, lutou na Guerra Civil Espanhola. Faleceu aos trinta e quatro anos por motivos de saúde.[1] [1] Para mais informações, vide texto disponível em:. Acesso em: 25 de junho de 2019.

Quelles sont les capacités et valeurs qui peuvent animer des académiques en ces temps de changement où nous vivons?? À cette question, généralement non explicite dans leurs travaux, ont répondu quinze chercheuses et chercheurs de différentes spécialités. En revisitant leurs thèmes de recherche ou leur parcours sous cet angle, il se dessine une constellation où semblent émerger trois pôles?: critique, imagination, interdépendance.00Avec les contributions de : 00Philippe Baret, Tom Bauler, Philippe Bourdeau, Isabelle Ferreras, François Gemenne, Marie-Françoise Godart, Marine Lugen, (...) Delphine Misonne, Muriel Moser, François Ost, Benoît Timmermans, Christian Vandermotten, Didier Viviers et Arnaud Zacharie. (shrink)

This collection of essays presents, for the first time in English, some of the key essays on the political by Philippe Lacoue-Labarthe and Jean-Luc Nancy. Including several unpublished essays, _Retreating the Political_ offers some highly original perspectives on the relationship between philosophy and the political. Through contemporary readings of the political in Freud, Heidegger and Marx, the authors ask if we can talk of an _a priori_ link between the philosophical and the political; they investigate the significance of the (...) 'figure' - the human being as political subject - in the history of metaphysics; and they inquire how we can 're-treat' the political today in the face of those who argue that philosophy is at an 'end'. (shrink)

Biological individuals are usually defined by evolutionists through a reference to natural selection. This article looks for a concept of individuality that would hold at the same time for organisms and for communities or ecosystems, the latter being unaffected by natural selection. In the wake of Simon’s notion of “quasi-independence,” I elaborate a concept of “weak individuality” defined by probabilistic connections between sub-entities, read off our knowledge of their interactions. This formal scheme of connections allows one to infer what are (...) the individuals in the domain addressed by the theory of the interactions. The article argues that if ecosystems do not have strong individuality, they still possess a weak individuality, ecological theories providing the values of the variables in the formula for individuality. (shrink)

In the tradition of quantified modal logic, it was assumed that significantly different linguistic systems underlie reference to individuals, to times and to ‘possible worlds’. Various results from recent research in formal semantics suggest that this is not so, and that there is in fact apervasive symmetrybetween the linguistic means with which we refer to these three domains. Reference to individuals, times and worlds is uniformly effected through generalized quantifiers, definite descriptions, and pronouns, and in each domain grammatical features situate (...) the reference of terms as near, far or ‘further’ from the actual or from a reported speech act. We outline various directions in which a program ofontological symmetrycould be developed, and we offer in theAppendixa symmetric fragment developed in a logic that can be seen as a compromise between an extensional and an intensional system. (shrink)

The comprehension of living organisms in all their complexity poses a major challenge to the biological sciences. Recently, systems biology has been proposed as a new candidate in the development of such a comprehension. The main objective of this paper is to address what systems biology is and how it is practised. To this end, the basic tools of a systems biological approach are explored and illustrated. In addition, it is questioned whether systems biology ‘revolutionizes’ molecular biology and ‘transcends’ its (...) assumed reductionism. The strength of this claim appears to depend on how molecular and systems biology are characterised and on how reductionism is interpreted. Doing credit to molecular biology and to methodological reductionism, it is argued that the distinction between molecular and systems biology is gradual rather than sharp. As such, the classical challenge in biology to manage, interpret and integrate biological data into functional wholes is further intensified by systems biology’s use of modelling and bioinformatics, and by its scale enlargement. (shrink)

A collection of essays investigating key historical and scientific questions relating to the concept of natural purpose in Kant's philosophy of biology.

‘Statisticalists’ argue that the individual interactions of organisms taken together constitute natural selection. On this view, natural selection is an aggregated effect of interactions rather than some added cause acting on populations. The statisticalists’ view entails that natural selection and drift are indistinguishable aggregated effects of interactions, so that it becomes impossible to make a difference between them. The present paper attempts to make sense of the difference between selection and drift, given the main insights of statisticalism; basically, it will (...) disentangle the various kinds of indistinguishability between selection and drift that happen within biology, by examining the epistemological and metaphysical nature of the distinction between selection and drift. It will be based on a ‘difference-making account’ of selection. The first section will explicate the inscrutability of selection and drift, its various types in the statisticalist writings, and its implications. The second section specifies concepts of natural selection and drift in the difference making account of selection I am using, and shows that one can derive from this the statistical signatures of selection and drift. On this basis I focus on one sort of indistinguishability issue about selection and drift, which I call epistemic opacity, and explain why it mostly affects small populations. The last section explains why epistemic opacity does not raise an genuine epistemic problem for evolutionary biology. (shrink)

We introduce a ranking of multidimensional alternatives, including uncertain prospects as a particular case, when these objects can be given a matrix form. This ranking is separable in terms of rows and columns, and continuous and monotonic in the basic quantities. Owing to the theory of additive separability developed here, we derive very precise numerical representations over a large class of domains (i.e., typically notof the Cartesian product form). We apply these representationsto (1)streams of commodity baskets through time, (2)uncertain social (...) prospects, (3)uncertain individual prospects. Concerning(1), we propose a finite horizon variant of Koopmans’s (1960) axiomatization of infinite discounted utility sums. The main results concern(2). We push the classic comparison between the exanteand expostsocial welfare criteria one step further by avoiding any expected utility assumptions, and as a consequence obtain what appears to be the strongest existing form of Harsanyi’s (1955) Aggregation Theorem. Concerning(3), we derive a subjective probability for Anscombe and Aumann’s (1963) finite case by merely assuming that there are two epistemically independent sources of uncertainty. (shrink)

Following a long-standing philosophical tradition, impartiality is a distinctive and determining feature of moral judgments, especially in matters of distributive justice. This broad ethical tradition was revived in welfare economics by Vickrey, and above all, Harsanyi, under the form of the so-called Impartial Observer Theorem. The paper offers an analytical reconstruction of this argument and a step-wise philosophical critique of its premisses. It eventually provides a new formal version of the theorem based on subjective probability.

Judgment aggregation theory, or rather, as we conceive of it here, logical aggregation theory generalizes social choice theory by having the aggregation rule bear on judgments of all kinds instead of merely preference judgments. It derives from Kornhauser and Sager’s doctrinal paradox and List and Pettit’s discursive dilemma, two problems that we distinguish emphatically here. The current theory has developed from the discursive dilemma, rather than the doctrinal paradox, and the final objective of the paper is to give the latter (...) its own theoretical development along the line of recent work by Dietrich and Mongin. However, the paper also aims at reviewing logical aggregation theory as such, and it covers impossibility theorems by Dietrich, Dietrich and List, Dokow and Holzman, List and Pettit, Mongin, Nehring and Puppe, Pauly and van Hees, providing a uniform logical framework in which they can be compared with each other. The review goes through three historical stages: the initial paradox and dilemma, the scattered early results on the independence axiom, and the so-called canonical theorem, a collective achievement that provided the theory with its specific method of analysis. The paper goes some way towards philosophical logic, first by briefly connecting the aggregative framework of judgment with the modern philosophy of judgment, and second by thoroughly discussing and axiomatizing the ‘general logic’ built in this framework. (shrink)

The paper analyses economic evaluations by distinguishing evaluative statements from actual value judgments. From this basis, it compares four solutions to the value neutrality problem in economics. After rebutting the strong theses about neutrality (normative economics is illegitimate) and non-neutrality (the social sciences are value-impregnated), the paper settles the case between the weak neutrality thesis (common in welfare economics) and a novel, weak non-neutrality thesis that extends the realm of normative economics more widely than the other weak thesis does.

Kant’s analysis of the concept of natural purpose in the Critique of judgment captured several features of organisms that he argued warranted making them the objects of a special field of study, in need of a special regulative teleological principle. By showing that organisms have to be conceived as self-organizing wholes, epigenetically built according to the idea of a whole that we must presuppose, Kant accounted for three features of organisms conflated in the biological sciences of the period: adaptation, functionality (...) and conservation of forms..Kant’s unitary concept of natural purpose was subsequently split in two directions: first by Cuvier’s comparative anatomy, that would draw on the idea of adaptative functions as a regulative principle for understanding in reconstituting and classifying organisms; and then by Goethe’s and Geoffroy’s morphology, a science of the general transformations of living forms. However, such general transformations in nature, objects of an alleged ‘archaeology of nature’, were thought impossible by Kant in the §80 of the Critique of judgment. Goethe made this ‘adventure of reason’ possible by changing the sense of ‘explanation’: scientific explanation was shifted from the investigation of the mechanical processes of generation of individual organisms to the unveiling of some ideal transformations of types instantiated by those organisms. (shrink)

Stalnaker ( 1978 ) made two seminal claims about presuppositions. The most influential one was that presupposition projection is computed by a pragmatic mechanism based on a notion of ‘local context’ . Due to conceptual and technical difficulties, however, the latter notion was reinterpreted in purely semantic terms within ‘dynamic semantics’ (Heim 1983 ). The second claim was that some instances of presupposition generation should also be explained in pragmatic terms . But despite various attempts, the definition of a precise (...) ‘triggering algorithm’ has remained somewhat elusive. We discuss possible extensions of both claims. First, we offer a reconstruction of ‘local contexts’ which circumvents some of the difficulties faced by Stalnaker’s original analysis. We preserve the idea that local contexts are computed by a pragmatic mechanism that aggregates the information that follows from an incomplete sentence given the global context; but we crucially rely on a modified notion of entailment (‘R-entailment’), whose plausibility should be assessed on independent grounds. Second, we speculate that local contexts might prove necessary (though by no means sufficient) to understand how some presuppositions are triggered. In a nutshell, we suggest that a presupposition is triggered when the semantic contribution of an expression to its local context is in some sense ‘heterogeneous’. Without giving an analysis of the latter notion, we note that this architecture implies that presuppositions should be triggered on the basis of the meaning that an expression has relative to its local context (what we call its ‘local meaning’); we sketch some possible consequences of this analysis. (shrink)

Our intuitive assumption that only organisms are the real individuals in the natural world is at odds with developments in cell biology, ecology, genetics, evolutionary biology, and other fields. Although organisms have served for centuries as nature's paradigmatic individuals, science suggests that organisms are only one of the many ways in which the natural world could be organized. When living beings work together--as in ant colonies, beehives, and bacteria-metazoan symbiosis--new collective individuals can emerge. In this book, leading scholars consider the (...) biological and philosophical implications of the emergence of these new collective individuals from associations of living beings. The topics they consider range from metaphysical issues to biological research on natural selection, sociobiology, and symbiosis. (shrink)

A common and enduring early modern intuition is that materialists reduce organisms in general and human beings in particular to automata. Wasn’t a famous book of the time entitled L’Homme-Machine? In fact, the machine is employed as an analogy, and there was a specifically materialist form of embodiment, in which the body is not reduced to an inanimate machine, but is conceived as an affective, flesh-and-blood entity. We discuss how mechanist and vitalist models of organism exist in a more complementary (...) relation than hitherto imagined, with conceptions of embodiment resulting from experimental physiology. From La Mettrie to Bernard, mechanism, body and embodiment are constantly overlapping, modifying and overdetermining one another; embodiment came to be scientifically addressed under the successive figures of vie organique and then milieu intérieur, thereby overcoming the often lamented divide between scientific image and living experience. (shrink)

What are the roots of human normativity and when do children begin to behave according to standards and norms? Empirical observations demonstrate that we are born with built-in orientation toward what is predictable and of the same - henceforth what deviates from it -, what is the norm or the standard in the generic sense of the word. However, what develop in humans is self-consciousness, transforming norms from “should” to “ought” and making human normativity profoundly different from any other forms (...) expressed in infancy, other animals, or any smart machines. Self-consciousness is the ability to objectify oneself through the evaluative eyes of others. It sets us apart as a species and is at the roots of human normativity. A developmental blueprint capturing the progressive co-emergence of self-consciousness and normativity in the human child is proposed. (shrink)

We introduce and study a variety of modal logics of parallelism, orthogonality, and affine geometries, for which we establish several completeness, decidability and complexity results and state a number of related open, and apparently difficult problems. We also demonstrate that lack of the finite model property of modal logics for sufficiently rich affine or projective geometries (incl. the real affine and projective planes) is a rather common phenomenon.

The paper has a twofold aim. On the one hand, it provides what appears to be the first game-theoretic modeling of Napoleon’s last campaign, which ended dramatically on 18 June 1815 at Waterloo. It is specifically concerned with the decision Napoleon made on 17 June 1815 to detach part of his army against the Prussians he had defeated, though not destroyed, on 16 June at Ligny. Military historians agree that this decision was crucial but disagree about whether it was rational. (...) Hypothesizing a zero-sum game between Napoleon and Blücher, and computing its solution, we show that it could have been a cautious strategy on the former's part to divide his army, a conclusion which runs counter to the charges of misjudgement commonly heard since Clausewitz. On the other hand, the paper addresses methodological issues. We defend its case study against the objections of irrelevance that have been raised elsewhere against “analytic narratives”, and conclude that military campaigns provide an opportunity for successful application of the formal theories of rational choice. Generalizing the argument, we finally investigate the conflict between narrative accounts – the historians' standard mode of expression – and mathematical modeling. (shrink)

Among many properties distinguishing emergence, such as novelty, irreducibility and unpredictability, computational accounts of emergence in terms of computational incompressibility aim first at making sense of such unpredictability. Those accounts prove to be more objective than usual accounts in terms of levels of mereology, which often face objections of being too epistemic. The present paper defends computational accounts against some objections, and develops what such notions bring to the usual idea of unpredictability. I distinguish the objective unpredictability, compatible with determinism (...) and entailed by emergence, and various possibilities of predictability at emergent levels. This makes sense of practices common in complex systems studies that forge qualitative predictions on the basis of comparisons of simulations with multiple values of parameters. I consider robustness analysis as a way to ensure the ontological character of computational emergence. Finally, I focus on the property of novelty, as it is displayed by biological evolution, and ask whether computer simulations of evolution can produce the same kind of emergence as the open-ended evolution attested in Phanerozoic records. (shrink)

I challenge the usual approach of defining emergence in terms of properties of wholes “emerging” upon properties of parts. This approach indeed fails to meet the requirement of nontriviality, since it renders a bunch of ordinary properties emergent; however, by defining emergence as the incompressibility of a simulation process, we have an objective meaning of emergence because the difference between the processes satisfying the incompressibility criterion and the other processes does not depend on our cognitive abilities. Finally, this definition fulfills (...) the nontriviality and the scientific‐adequacy requirements better than the combinatorial approach, emergence here being a predicate of processes rather than of properties. †To contact the author, please write to: Institut d'Histoire et de Philosophie des Sciences et des Techniques (CNRS/Université Paris I Sorbonne), 13 rue du Four 75006, Paris; e‐mail: [email protected]. (shrink)

The relations between rationality and optimization have been widely discussed in the wake of Herbert Simon's work, with the common conclusion that the rationality concept does not imply the optimization principle. The paper is partly concerned with adding evidence for this view, but its main, more challenging objective is to question the converse implication from optimization to rationality, which is accepted even by bounded rationality theorists. We discuss three topics in succession: (1) rationally defensible cyclical choices, (2) the revealed preference (...) theory of optimization, and (3) the infinite regress of optimization. We conclude that (1) and (2) provide evidence only for the weak thesis that rationality does not imply optimization. But (3) is seen to deliver a significant argument for the strong thesis that optimization does not imply rationality. (shrink)

ABSTRACT A spatial logic is a modal logic of which the models are the mathematical models of space. Successively considering the mathematical models of space that are the incidence geometry and the projective geometry, we will successively establish the language, the semantical basis, the axiomatical presentation, the proof of the decidability and the proof of the completeness of INC, the modal multilogic of incidence geometry, and PRO, the modal multilogic of projective geometry.

Emotions are traditionally considered to be brief states that last for seconds or a few minutes at most. However, due to pioneering theoretical work of Frijda and recent empirical studies, it has become clear that the duration of emotions is actually highly variable with durations ranging from a few seconds to several hours, or even longer. We review research on determinants of emotion duration. Three classes of determinants are identified: features related to the emotion-eliciting event, emotion itself, and emotion-experiencing person. (...) Initial evidence on the psychological and neural mechanisms that underlie their effects is discussed. (shrink)

We provide a systematic recipe for eliminating self-reference from a simple language in which semantic paradoxes (whether purely logical or empirical) can be expressed. We start from a non-quantificational language L which contains a truth predicate and sentence names, and we associate to each sentence F of L an infinite series of translations h 0(F), h 1(F), ..., stated in a quantificational language L *. Under certain conditions, we show that none of the translations is self-referential, but that any one (...) of them perfectly mirrors the semantic behavior of the original. The result, which can be seen as a generalization of recent work by Yablo (1993, Analysis, 53, 251–252; 2004, Self-reference, CSLI) and Cook (2004, Journal of Symbolic Logic, 69(3), 767–774), shows that under certain conditions self-reference is not essential to any of the semantic phenomena that can be obtained in a simple language. (shrink)

The article discusses Friedman's classic claim that economics can be based on irrealistic assumptions. It exploits Samuelson's distinction between two "F-twists" (that is, "it is an advantage for an economic theory to use irrealistic assumptions" vs "the more irrealistic the assumptions, the better the economic theory"), as well as Nagel's distinction between three philosophy-of-science construals of the basic claim. On examination, only one of Nagel's construals seems promising enough. It involves the neo-positivistic distinction between theoretical and non-theoretical ("observable") terms; so (...) Friedman would in some sense argue for the major role of theoretical terms in economics. The paper uses a model-theoretic apparatus to refine the selected construal and check whether it can be made to support the claim. This inquiry leads to essentially negative results for both F-twists, and the final conclusion is that they are left unsupported. (shrink)

I investigate the relationship between adaptation, as defined in evolutionary theory through natural selection, and the concept of emergence. I argue that there is an essential correlation between the former, and “emergence” defined in the field of algorithmic simulations. I first show that the computational concept of emergence (in terms of incompressible simulation) can be correlated with a causal criterion of emergence (in terms of the specificity of the explanation of global patterns). On this ground, I argue that emergence in (...) general involves some sort of selective processes. Finally, I show that a second criterion, concerning novel explanatory regularities following the emergence of a pattern, captures the robustness of emergence displayed by some cases of emergence (according to the first criterion). Emergent processes fulfilling both criteria are therefore exemplified in evolutionary biology by some so-called “innovations”, and mostly by the new units of fitness or new kinds of adaptations (like sexual reproduction, multicellular organisms, cells, societies) sometimes called “major transitions in evolution”, that recent research programs (Maynard-Smith and Szathmary 1995 ; Michod 1999 ) aims at explaining. (shrink)

The problem of generation has been, for Kant scholars, a kind of test of Kant's successive concepts of finality. Although he deplores the absence of a naturalistic account of purposiveness (and hence of reproduction) in his pre-critical writings, in the First Critique he nevertheless presents a "reductionist" view of finality in the Transcendental Dialectic's Appendices. This finality can be used only as a language, extended to the whole of nature, but which must be filled with mechanistic explanations. Therefore, in 1781, (...) mechanism and teleology are synonymous languages. Despite the differences between its two authors, the Wolffian embryology, exposed in the Theorie der Generation (1764), and debated by Blumenbach's dissertation on Bildungstrieb, enabled Kant to resolve the philosophical problem of natural generation, and subsequently to determine what is proper to the explanation of living processes. Thus, in the Third Critique he could give another account of purposiveness, restricted to the organism, and more realistic than his former one; this philosophical reappraisal of purposiveness in embryology required the new concept of "simply reflexive judgement", and the correlated notion of "regulative principle". Thus framed, this naturalized teleology provided some answers to the Kantian problem of order and contingency after the end of classical (Leibnizian) metaphysics. (shrink)

This is a study that investigated the extent of use of the three principles of ethics – utility, morality, and justice – in managerial ethical decision making, in addition to the personal attitude towards them. It involved undergraduate and graduate business students (total N=163) from the Olayan School of Business in the American University of Beirut, Lebanon. Two kinds of measurements were done: self assessment, and testing with the Saschkin’ s Managerial Value Profile (1997). It showed that morality was the (...) overriding ethical principle used, especially in the graduate group (professionals). Business students still believed in the justice system despite the weakness of the country’s law. Utility was the least used, although males were found to be more utilitarian than females. Finally there was no relation between personal attitudes toward the three ethical principles, and the intentional behavior when faced with ethical dilemmas. The findings were discussed and recommendations were given. (shrink)

ABSTRACT In this paper we introduce and investigate various classes of multimodal logics based on frames with relative accessibility relations. We discuss their applicability to representation and analysis of incomplete information. We provide axiom systems for these logics and we prove their completeness.