The paper examines the migration policy regime in Thailand using a human security lens. It suggests that insecurities experienced by migrants are partly caused or exacerbated by a migration policy regime, consisting of migration laws and regulations and non-migration related policies and programs, that pushes migrants into irregular forms of mobility and insecure employment options. These effects are worse for women migrants who have fewer resources to access legal channels while they are relegated to insecure employment in the reproductive or (...) informal sectors. Using a gender and human security analysis, therefore, reveals how the migration policy regime, often informed by a restrictive national security approach, can clash with the human security needs of migrants by creating a large pool of unprotected irregular migrants with women occupying the most vulnerable forms of employment. In conclusion, it is suggested that this ‘en-gendering’ of human insecurities could be overcome if gender equality was designed into policies and guided their implementation. (shrink)

Recent semantic research has made increasing use of a principle, Maximize Presupposition, which requires that under certain circumstances the strongest possible presupposition be marked. This principle is generally taken to be irreducible to standard Gricean reasoning because the forms that are in competition have the same assertive content. We suggest, however, that Maximize Presupposition might be reducible to the theory of scalar implicatures. (i)First, we consider a special case: the speaker utters a sentence with a presupposition p which is not (...) initially taken for granted by the addressee, but the latter takes the speaker to be an authority on the matter. Signaling the presupposition provides new information to the addressee; but it also follows from the logic of presupposition qua common belief that the presupposition is thereby satisfied (Stalnaker, Ling Philos 25(5–6):701–721, 2002). (ii) Second, we generalize this solution to other cases. We assume that even when p is common belief, there is a very small chance that the addressee might forget it (‘Fallibility’); in such cases, marking a presupposition will turn out to generate new information by re-establishing part of the original context. We also adopt from Raj Singh (Nat Lang Semantics 19(2):149–168, 2011) the hypothesis that presupposition maximization is computed relative to local contexts—and we assume that these too are subject to Fallibility; this accounts for cases in which the information that justifies the presupposition is linguistically provided. (iii) Finally, we suggest that our assumptions have benefits in the domain of implicatures: they make it possible to reinterpret Magri’s ‘blind’ (i.e. context-insensitive) implicatures as context-sensitive implicatures which just happen to be misleading. (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)

In topological spaces, the relation of extended contact is a ternary relation that holds between regular closed subsets A, B and D if the intersection of A and B is included in D. The algebraic counterpart of this mereotopological relation is the notion of extended contact algebra which is a Boolean algebra extended with a ternary relation. In this paper, we are interested in the relational representation theory for extended contact algebras. In this respect, we study the correspondences between point-free (...) and point-based models of space in terms of extended contact. More precisely, we prove new representation theorems for extended contact algebras. (shrink)

The West African Ebola epidemic has set in motion a collective endeavour to conduct accelerated clinical trials, testing unproven but potentially lifesaving interventions in the course of a major public health crisis. This unprecedented effort was supported by the recommendations of an ad hoc ethics panel convened in August 2014 by the WHO. By considering why and on what conditions the exceptional circumstances of the Ebola epidemic justified the use of unproven interventions, the panel's recommendations have challenged conventional thinking about (...) therapeutic development and clinical research ethics. At the same time, unanswered ethical questions have emerged, in particular: the specification of exceptional circumstances, the specification of unproven interventions, the goals of interventional research in terms of individual versus collective interests, the place of adaptive trial designs and the exact meaning of compassionate use with unapproved interventions. Examination of these questions, in parallel with empirical data from research sites, will help build pragmatic foundations for disaster research ethics. Furthermore, the Ebola clinical trials signal an evolution in the current paradigms of therapeutic research, beyond the case of epidemic emergencies. (shrink)

This article examines what might constitute the first manifestation of consciousness in the life of an individual, focusing on the subjective starting state of newborns. It presents evidence showing that we are born with some minimal self-awareness, a kind of awareness that might even be present in foetuses depending on the criteria used. It investigates the mechanisms that might account for how self-awareness quickly evolves from being minimal and phenomenal in the context of sensation, perception, and action and discusses the (...) innate propensity of newborns to detect sameness in the experience of things that surround them. It identifies two putative mechanisms that would support an innate propensity to detect sameness: synesthesia and the vicariousness of experience. (shrink)

The paper develops an objection to the extensional model of time consciousness—the view that temporally extended events or processes, and their temporal properties, can be directly perceived as such. Importantly, following James, advocates of the extensional model typically insist that whole experiences of temporal relations between non-simultaneous events are distinct from mere successions of their temporal parts. This means, presumably, that there ought to be some feature(s) differentiating the former from the latter. I try to show why the extensional models (...) offers no credible ground for positing such a difference. (shrink)

Corporate social responsibility (CSR) has repeatedly been described as an “essentially contested concept,” which means that its signification is subject to continuous struggle. We argue that the “CSR institution” (CSRI; i.e., the set of standards and rules regulating corporate conduct under the banner of CSR) is legitimized by narratives which “decontest” the underlying concept of CSR in a manner that safeguards the CSRI from calls for alternative institutional arrangements. Examining several such narratives from a structuralist perspective, we find them to (...) be permeated with six recurrent ambiguities that we show to be reflective of three deep-set taboos: the taboo of the noncongruency between corporate profit objectives and societal needs, the taboo of multinational firms’ continued contribution to the emergence of global socioenvironmental issues, and the taboo of the CSRI’s moderate results in solving these problems. We contend that the perpetuation of these taboos contributes to inhibiting substantial change in the way of doing business, and we sketch out possibilities for initiating a “recontestation” of CSR’s meaning. (shrink)

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)

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)

Epistemic logics are essential to the design of logical systems that capture elements of reasoning about knowledge. In this paper, we study the computability of unifiability and the unification types in several epistemic logics.

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 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)

In the ordinary modal language, KD is the modal logic determined by the class of all serial frames. In this paper, we demonstrate that KD is nullary.

This article addresses the debate between Jürgen Habermas and Charles Taylor on the implications of state secularism for the public use of reason. Recent commentators have traced this debate either to Habermas’s and Taylor’s divergent views about the status of Western modernity or to their disagreement about the relation between the good and the right. I argue that these readings rest on misinterpretations of Habermas’s theory of social evolution and understanding of impartial justification. I show that the debate rests on (...) diverging interpretations of what it means for citizens to embed the principles of liberal democracy in their respective conceptions of the good. This difference in turn leads Habermas and Taylor to espouse different criteria of democratic legitimacy. I conclude by suggesting that we have prima facie reasons to prefer Habermas’s conception of legitimacy to Taylor’s, and to that extent, to favor his model of the public use of reason. (shrink)

The problem of unification in a normal modal logic $L$ can be defined as follows: given a formula $\varphi$, determine whether there exists a substitution $\sigma$ such that $\sigma $ is in $L$. In this paper, we prove that for several non-symmetric non-transitive modal logics, there exists unifiable formulas that possess no minimal complete set of unifiers.

Musical performance requires the ability to master a complex integration of highly specialized motor, cognitive and perceptual skills developed over years of practice. It often means also being able to deal with a large amount of pressure within dynamic environments. Consequently, many musicians suffer from health-related problems and have a large number of physical and psychological complaints. Research has shown that making music can present challenges for musicians’ wellbeing. Therefore, our research aims to evaluate and analyze the wellbeing of two (...) distinct groups of respondents, college music students compared with amateur musicians in the French-speaking part of Switzerland, this second group serving as our comparison group. This article presents the results of a sample of 126 musicians (mean age ± SD = 22.4 ± 4.5 years, 71 male). The wellbeing was assessed through the World Health Organization Quality of Life-BREF questionnaire evaluating two general measures, Quality of Life and General health, and four specific dimensions, Physical health, Psychological health, Social relationships and Environment. The respondents’ Quality of Life was high on each measure: median scores were higher than 4 for the first two measures and higher than 70 for the four specific dimensions. Among the dimensions, respondents had the highest mean score for Social relationships and Physical health (74.0 and 73.8, respectively) and, finally, on Psychological health (70.3). Our overview of musicians’ wellbeing in Western Switzerland underlines the importance of helping musicians to be aware of their health in order to take care of themselves. This research offers an important insight into musicians’ health and point out the importance of involving different actors (teachers, administrators or support staff) to promote their wellbeing and empower musicians. (shrink)

When engaging with classical Chinese ethics, we might end up wondering what kind of moral theorizing we ultimately are confronted with. The accounts and answers to specific practical problems are dispersed throughout the texts and expressed via various codes of composition, ranging from sayings to theoretical reflections to poems. However, what exactly the aim of these theories consists in is not explicitly addressed by systematic second-order reflections. In this article I try to shed some light on the understanding of moral (...) theorizing that underlies the transmitted texts. For this, I adopt an issue-centered approach that attempts to indirectly address the understanding of moral theorizing via the question about the source of normativity. That approach will be tested by drawing on the accounts of Mengzi 孟子 and Cheng Yi 程頤. First conclusions will show that moral theorizing can be understood as the simultaneous business of a moral anatomist and a moral painter. (shrink)

This paper is based on the archives of Michel Foucault collected (since 2013) at the Manuscripts Department of the Bibliothèque nationale de France in Paris. Our investigation focuses in particular on a complete manuscript, until now totally unknown and entitled ‘ Phénoménologie et psychologie’ (‘Phenomenology and Psychology’). This manuscript could be the first project for a thesis devoted to ‘The Notion of the “World” in Phenomenology’, written around 1953–4, at the same time as a manuscript on Binswanger and existential psychiatry (...) and as a manuscript on philosophical anthropology. We aim to show the importance that phenomenology seems to have held for Foucault at the beginning of the 1950s and in particular the role that it could have played in Foucault’s distancing himself from a naturalist psychology and a philosophy of consciousness to which he opposes a philosophy of the world, of being and of language. Foucault thus discovers a truth of the phenomenology which rests on the radicality of the transcendental gesture and on the access to an ontology gathering the being, the meaning and the language. (shrink)

‘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)

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)

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)

Ecology in principle is tied to evolution, since communities and ecosystems result from evolution and ecological conditions determine fitness values. Yet the two disciplines of evolution and ecology were not unified in the twentieth-century. The architects of the Modern Synthesis, and especially Julian Huxley, constantly pushed for such integration, but the major ideas of the Synthesis—namely, the privileged role of selection and the key role of gene frequencies in evolution—did not directly or immediately translate into ecological science. In this paper (...) I consider five stages through which the Synthesis was integrated into ecology and distinguish between various ways in which a possible integration was gained. I start with Elton’s animal ecology, then consider successively Ford’s ecological genetics in the 1940s, the major textbook Principles of animal ecology edited by Allee et al., and the debates over the role of competition in population regulation in the 1950s, ending with Hutchinson’s niche concept and McArthur and Wilson’s Principles of Island Biogeography viewed as a formal transposition of Modern Synthesis explanatory schemes. I will emphasize the key role of founders of the Synthesis at each stage of this very nonlinear history. (shrink)

Natural selection is often envisaged as the ultimate cause of the apparent rationality exhibited by organisms in their specific habitat. Given the equivalence between selection and rationality as maximizing processes, one would indeed expect organisms to implement rational decision-makers. Yet, many violations of the clauses of rationality have been witnessed in various species such as starlings, hummingbirds, amoebas and honeybees. This paper attempts to interpret such discrepancies between economic rationality and biological rationality. After having distinguished two kinds of rationality we (...) introduce irrationality as a negation of economic rationality by biologically rational decision-makers. Focusing mainly on those instances of irrationalities that can be understood as exhibiting inconsistency in making choices, i.e. as non-conformity of a given behaviour to axioms such as transitivity or independence of irrelevant alternatives, we propose two possible families of Darwinian explanations that may account for these apparent irrationalities. First, we consider cases where natural selection may have been an indirect cause of irrationality. Second, we consider putative cases where violations of rationality axioms may have been directly favored by natural selection. Though the latter cases seem to clearly contradict our intuitive representation of natural selection as a process that maximizes fitness, we argue that they are actually unproblematic; for often, they can be redescribed as cases where no rationality axiom is violated, or as situations where no adaptive solution exists in the first place. (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)

Jean-Luc Nancy discusses his life's work with Pierre-Philippe Jandin. As Nancy looks back on his philosophical texts, he thinks anew about democracy, community, jouissance, love, Christianity, and the arts.

We argue that Anselm’s ontological argument (or at least one reconstruction of it) is based on an empirical version of Berry’s paradox. It is invalid, but it takes some understanding of trivalence to see why this is so. Under our analysis, Anselm’s use of the notion of existence is not the heart of the matter; rather, trivalence is.

Kripke’s theory of truth succeeded in providing a trivalent semantics for a language that contains its own truth predicate and means of self-reference; but it did so by radically restricting the expressive power of the logic. In Kripke’s analysis, the Liar (e.g. This very sentence is not true) receives the indeterminate truth value; but the logic cannot express the fact that the Liar is something other than true: in order to do so, a weak negation not* would be needed, but (...) it would also make the logic inconsistent (because the ‘Super Liar’ This very sentence is not* true could not be assigned any truth value). Taking a hint from the quantificational form of the problematic sentences (… is something other than true), we define a hierarchy of negations which each quantifies over a domain of truth values, assimilated to ordinals. The resulting logic has as many negations and truth values as there are ordinals. Unlike Kripke’s logic, it enjoys a form of expressive completeness. And although the logic is not monotonic, we show that under broad conditions we can construct a variety of fixed points; one of them emulates Kripke’s ‘least fixed point’, while another one assigns a different truth value to each Super Liar. (shrink)

This paper interprets the two pages devoted in the Critique of Pure Reason to a critique of Leibniz’s view of organisms as infinitely organized machines. It argues that this issue of organisms represents a crucial test-case for Kant in regard to the conflicting notions of space, continuity and divisibility held by classical metaphysics and by criticism. I first present Leibniz’s doctrine and its justification. In a second step, I explain the general reasoning by which Kant defines the problem of the (...) Antinomies, and then I specify the case of the Second Antinomy. Then, I ask why the organism raises specific issues for Kant’s solution of the Second Antinomy, and why it sheds light on the nature of Leibniz’s metaphysical assumptions about organisms. The last section considers this critique of Leibniz from the perspective of Kant’s future theory of organisms in the third Critique, specifying its role in the development of a Kantian view of organisms with regard to the changes occurring at the same time in the life sciences. (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)

The Powers of the Sacred is an opportunity for Hans Joas to return to the dynamogenic character of religion highlighted by William James and Émile Durkheim, in order to propose a reflection on the process of sacralisation of values. The present contribution enters into a pragmatist dialogue with Joas’s proposals, based on investigations carried out in an evangelical context. The aim is to show how certain spiritual practices encouraged on the horizon of collective celebrations participate in the creation of values (...) configured by religious entrepreneurs anxious to capture the religious energy of the faithful for the benefit of conservative political mobilizations. These empirical cases shed new light on the notion of the sacred proposed by Joas, and allow us to identify certain methodological knots, notably in the relationship between Joasian concepts and the notions through which social actors confer meaning on their individual or collective experiences. (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.

The pervasive use of computer simulations in the sciences brings novel epistemological issues discussed in the philosophy of science literature since about a decade. Evolutionary biology strongly relies on such simulations, and in relation to it there exists a research program (Artificial Life) that mainly studies simulations themselves. This paper addresses the specificity of computer simulations in evolutionary biology, in the context (described in Sect. 1) of a set of questions about their scope as explanations, the nature of validation processes (...) and the relation between simulations and true experiments or mathematical models. After making distinctions, especially between a weak use where simulations test hypotheses about the world, and a strong use where they allow one to explore sets of evolutionary dynamics not necessarily extant in our world, I argue in Sect. 2 that (weak) simulations are likely to represent in virtue of the fact that they instantiate specific features of causal processes that may be isomorphic to features of some causal processes in the world, though the latter are always intertwined with a myriad of different processes and hence unlikely to be directly manipulated and studied. I therefore argue that these simulations are merely able to provide candidate explanations for real patterns. Section 3 ends up by placing strong and weak simulations in Levins’ triangle, that conceives of simulations as devices trying to fulfil one or two among three incompatible epistemic values (precision, realism, genericity). (shrink)

is an extension of public announcement logic. It is based on a modal operator that expresses what is true after any arbitrary announcement. An incorrect Truth Lemma has been stated and ‘demonstrated’ in Balbiani et al. . In this paper, we put right the wording and the proof of the Truth Lemma for.