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.

Philippe Descola has become one of the most important anthropologists working today, and Beyond Nature and Culture has been a major influence in European intellectual life since its French publication in 2005. Here, finally, it is brought to English-language readers. At its heart is a question central to both anthropology and philosophy: what is the relationship between nature and culture? Culture—as a collective human making, of art, language, and so forth—is often seen as essentially different from nature, which is (...) portrayed as a collective of the nonhuman world, of plants, animals, geology, and natural forces. Descola shows this essential difference to be, however, not only a specifically Western notion, but also a very recent one. Drawing on ethnographic examples from around the world and theoretical understandings from cognitive science, structural analysis, and phenomenology, he formulates a sophisticated new framework, the “four ontologies”— animism, totemism, naturalism, and analogism—to account for all the ways we relate ourselves to nature. By thinking beyond nature and culture as a simple dichotomy, Descola offers nothing short of a fundamental reformulation by which anthropologists and philosophers can see the world afresh. (shrink)

In cognitive neuroscience, dissociating the brain networks that ing—has thus become one of the best empirical situations subtend conscious and nonconscious memories constitutes a through which to study the mechanisms of implicit learning, very complex issue, both conceptually and methodologically.

This research investigates 3- and 5-year-olds' relative fairness in distributing small collections of even or odd numbers of more or less desirable candies, either with an adult experimenter or between two dolls. The authors compare more than 200 children from around the world, growing up in seven highly contrasted cultural and economic contexts, from rich and poor urban areas, to small-scale traditional and rural communities. Across cultures, young children tend to optimize their own gain, not showing many signs of self-sacrifice (...) or generosity. Already by 3 years of age, self-optimizing in distributive justice is based on perspective taking and rudiments of mind reading. By 5 years, overall, children tend to show more fairness in sharing. What varies across cultures is the magnitude of young children's self-interest. More fairness (less self-interest) in distributive justice is evident by children growing up in small-scale urban and traditional societies thought to promote more collective values. (shrink)

Potts (2005, 2007) has argued that expressives such as honky must be analyzed using an entirely new dimension of meaning. We explore a more conservative theory in which expressives are presuppositional expressions [Macià 2002] that are indexical and attitudinal (and sometimes shiftable): they predicate something of the mental state of the agent of the context (and this need not always be the agent of the actual context). Following Stalnaker’s recent work on informative presuppositions (2002), we argue that the presuppositions triggered (...) by expressives are automatically satisfied (= ’self-fulfilling’), hence the impression that they are not standard presupposition triggers. (shrink)

In abstract argumentation, each argument is regarded as atomic. There is no internal structure to an argument. Also, there is no specification of what is an argument or an attack. They are assumed to be given. This abstract perspective provides many advantages for studying the nature of argumentation, but it does not cover all our needs for understanding argumentation or for building tools for supporting or undertaking argumentation. If we want a more detailed formalization of arguments than is available with (...) abstract argumentation, we can turn to structured argumentation, which is the topic of this special issue of Argument and Computation. In structured argumentation, we assume a formal language for representing knowledge and specifying how arguments and counterarguments can be constructed from that knowledge. An argument is then said to be structured in the sense that normally, the premises and claim of the argument are made explicit, and the relationship between the premises and claim is formally defined (for instance, using logical entailment). In this introduction, we provide a brief overview of the approaches covered in this special issue on structured argumentation. (shrink)

In dynamic theories of presupposition, a trigger pp′ with presupposition p and at-issue component p′ comes with a requirement that p should be entailed by the local context of pp′. We argue that some co-speech gestures should be analyzed within a presuppositional framework, but with a twist: an expression p co-occurring with a co-speech gesture G with content g comes with the requirement that the local context of p should guarantee that p entails g; we call such assertion-dependent presuppositions ‘cosuppositions’. (...) We show that this analysis can be combined with earlier theories of local contexts to account for complex patterns of gesture projection in quantified and in attitudinal contexts, and we compare our account to two potential alternatives: one based on supervaluations, and one, due to Cornelia Ebert, that treats co-speech gestures as supplements. We argue that the latter is correct, but for ‘post-speech’ gestures, rather than for co-speech gestures. (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)

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)

To what extent do early intuitions about ownership depend on cultural and socio-economic circumstances? We investigated the question by testing reasoning about third party ownership conflicts in various groups of three- and five-year-old children (N = 176), growing up in seven highly contrasted social, economic, and cultural circumstances (urban rich, poor, very poor, rural poor, and traditional) spanning three continents. Each child was presented with a series of scripts involving two identical dolls fighting over an object of possession. The child (...) had to decide who of the two dolls should own the object. Each script enacted various potential reasons for attributing ownership: creation, familiarity, first contact, equity, plus a control/neutral condition with no suggested reasons. Results show that across cultures, children are significantly more consistent and decisive in attributing ownership when one of the protagonists created the object. Development between three and five years is more or less pronounced depending on culture. The propensity to split the object in equal halves whenever possible was generally higher at certain locations (i.e., China) and quasi-inexistent in others (i.e., Vanuatu and street children of Recife). Overall, creation reasons appear to be more primordial and stable across cultures than familiarity, relative wealth or first contact. This trend does not correlate with the passing of false belief theory of mind. (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)

There are two main approaches to the problem of donkey anaphora (e.g. If John owns a donkey , he beats it ). Proponents of dynamic approaches take the pronoun to be a logical variable, but they revise the semantics of quantifiers so as to allow them to bind variables that are not within their syntactic scope. Older dynamic approaches took this measure to apply solely to existential quantifiers; recent dynamic approaches have extended it to all quantifiers. By contrast, proponents of (...) E-type analyses take the pronoun to have the semantics of a definite description (with it ≈ the donkey, or the donkey that John owns ). While competing accounts make very different claims about the patterns of coindexation that are found in the syntax, these are not morphologically realized in spoken languages. But they are in sign language, namely through locus assignment and pointing. We make two main claims on the basis of ASL and LSF data. First, sign language data favor dynamic over E-type theories: in those cases in which the two approaches make conflicting predictions about possible patterns of coindexation, dynamic analyses are at an advantage. Second, among dynamic theories, sign language data favor recent ones because the very same formal mechanism is used irrespective of the indefinite or non-indefinite nature of the antecedent. Going beyond this debate, we argue that dynamic theories should allow pronouns to be bound across negative expressions, as long as the pronoun is presupposed to have a non-empty denotation. Finally, an appendix displays and explains subtle differences between overt sign language pronouns and all other pronouns in examples involving ‘disjunctive antecedents’, and suggests that counterparts of sign language loci might be found in spoken language. (shrink)

The objective of this article is to propose a precise characterization of the collective practice behind at least an important part of the phenomena named “decision by consensus”. First, I provide descriptions of the use of this rule, and give a definition of the non-opposition rule, both as a specific sequence of acts and as a stopping rule. Second, I challenge the usual way of understanding the non-opposition rule by contrast with voting, stating that the contrast between logic of approval (...) and logic of consent also has to be taken into account. Third, I examine the conditions of its use. The non-opposition rule satisfies groups whose concern is to decide without dividing. Finally, from the analytic benefit of opening up decision by consensus as the use of the non-opposition rule, I will examine, in a fourth part, whether consensus in decision-making is as democratic a procedure as is sometimes thought. (shrink)

The folk picture of agency suggests that human beings have basic agency over some of their omissions. For example, someone may follow through on a decision never to support a political party without doing anything in order to make themselves omit. A number of features appear to signal their agency: the omission is not just called intentional, it is also seen as an achievement and explained in terms of the reasons for the decision. Some philosophers have tried to debunk the (...) appearance and argue that agency over omissions always proceeds from agency over actions (on the model of Ulysses ordering his crew to tie him to the mast). Others have tried to uphold the appearance by understanding basic agency over omissions on the model of their theories of action (and most often on the model of causal theories). Against both groups, I argue for a vindication of the appearance in terms of a theory of sui generis basic agency over omissions. Basic intentional omissions are the behavioral outcomes of fluent control by their agents’ intentions. When an intention to omit fluently controls for the right omission, the omission is an intentional achievement performed because of the intention. The intention appropriately regulates the agent’s behavior so as to ensure the intended omission. We can therefore see basic agency over omissions as regulative and distinct from the agency exercised over actions. (shrink)

ASL can express plurals by repeating a noun, in an unpunctuated fashion, in different parts of signing space. We argue that this construction may come with a rich iconic component: the geometric arrangement of the repetitions provides information about the arrangement of the denoted plurality; in addition, the number and speed of the repetitions provide information about the size of the denoted plurality. Interestingly, the shape of the repetitions may introduce a new singular discourse referent when a vertex can be (...) inferred to denote a singular object. Thus one may point towards the first or last iteration of a horizontal repetition of BOOK to denote the left- or right-edge of the corresponding row. This yields a remarkable interaction between iconic semantics and standard logical semantics. We show that our analysis extends to ‘punctuated’ repetitions, which involve clearly individuated iterations of a singular noun. While these may initially look like coordinated indefinites, they are better handled by the same iconic framework as plural, unpunctuated repetitions. Some repetition-based mass terms also give rise to iconic effects, and to different readings depending on whether the repetition is continuous, unpunctuated, or punctuated. Our analysis highlights the need for a formal semantics with iconicity to study the integration of such iconic and logical conditions. It also raises a question: can similar facts be found in spoken language when gestures are taken into account? We suggest that several effects can be replicated, especially when one considers examples involving ‘pro-speech gestures’. (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)

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.

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.

The paper revisits the rationality principle from the particular perspective of the unity of social sciences. It has been argued that the principle was the unique law of the social sciences and that accordingly there are no deep differences between them (Popper). It has also been argued that the rationality principle was specific to economics as opposed to the other social sciences, especially sociology (Pareto). The paper rejects these opposite views on the grounds that the rationality principle is strictly metaphysical (...) and does not have the logical force required to deliver interesting deductions. Explanation in the social sciences takes place at a level of specialization that is always higher than that of the principle itself. However, what is peculiar about economics is that it specializes the explanatory rational schemes to a degree unparalleled in history and sociology. As a consequence, there is a backward-and-forward move between specific and general formulations of rationality that takes place in economics and has no analogue in the other social sciences. (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.

This paper argues that one can advocate a moral imperative to pursue enhancement technologies while at the same time rejecting the historical reality of progress and holding a pessimistic view of the future. The first half of the paper puts forth several arguments for why progress is illusory and why one has good reason to be pessimistic about the future of humanity (and posthumanity). The second half then argues that this is entirely consistent with also championing the futurological vision of (...) transhumanism. The claim is that, relative to the alternatives proposed, this vision actually offers the safest route into the future, even if it also entails an increase in the probability of self-annihilation. (shrink)

This book examines education and the aim of life through the ages; how the conception of progress is the primary driving force in the modern world; and how this limited understanding of progress has failed to satisfy the deepest aspirations of humanity, bringing modern civilisation to its present crisis and highlighting the limitations of today's education to meet this crisis. The author presents the free progress system at the Sri Aurobindo International Centre of Education and explains how the views of (...) Sri Aurobindo and the Mother on integral education can prepare the children of today to consciously and luminously participate in the evolutionary destiny of the future. (shrink)

The sense of shared values is a specific aspect of human sociality. It originates from reciprocal social exchanges that include imitation, and empathy, but also negotiation from which meanings, values and norms are eventually constructed with others. Research suggests that this process starts from birth via imitation and mirroring processes that are important foundations of sociality providing a basic sense of social connectedness and mutual acknowledgment with others. From the second month, mirroring, imitative and other contagious responses are bypassed. Neonatal (...) imitation gives way to first signs of reciprocation (primary intersubjectivity), and joint attention in reference to objects (secondary intersubjectivity). We review this development and propose a third level of intersubjectivity, that is the emergence of values that are jointly represented and negotiated with others, as well as the development of an ethical stance accompanying emerging theories of mind from about 4 years of age. We propose that tertiary intersubjectivity is an ontogenetically new process of value negotiation and mutual recognition that are the cardinal trademarks of human sociality. (shrink)

Sign languages are known to display the same general grammatical properties as spoken languages, but also to make greater use of iconic mechanisms. In Schlenker et al.’s ‘Iconic Variables’ :91–149, 2013), it was argued that loci can have an iconic semantics, in the sense that certain geometric relations among loci are preserved by the interpretation function. Here we ask whether plural and height specifications of loci display the formal behavior of phi-features in remaining uninterpreted in focus- and ellipsis-constructions. Data from (...) ASL and LSF show that plural and height specifications may indeed remain uninterpreted in these constructions; furthermore, there are cases in which a single high locus is construed iconically and left uninterpreted in the course of ellipsis resolution. We argue that our data are compatible with two theories. According to the Strong View, plural and height specifications of loci display exactly the behavior of spoken language features. According to the Weak View, our data just show that plural and height specifications share the behavior of features and other non-assertive elements in being separable from the referential terms they specify. Our LSF data are compatible with the Weak View; our ASL data might provide support for the Strong View. While our aim is merely to open the debate about the featural status of iconic specifications, the question is of some importance: if features are innate and primitive elements of grammar, and if some of them have an intrinsically geometric semantics, the signed modality might play a greater role than is usually thought at the very core of Universal Grammar. (shrink)

This article debunks Bruno Latour’s seemingly pro-scientific and well-intentioned posture. I briefly summarize Latour’s constructivist, relativist, hybridist, and mystic philosophy, insisting on his radicalization in his last two books. I show that Latour’s conception is akin to “pseudo-profound bullshit”, inasmuch as he tries to hide his mysticism behind the invocation of scientific facts. I then concentrate on Latour’s politicization of climate science, showing that it is: self-contradictory from an epistemological point of view, since it presupposes scientifically established facts while at (...) the same time undermining their objectivity; counterproductive, and even dangerous, from the political point of view, since it recommends a full politicization of climate science and ignores its harmful effects. I conclude by advocating a distinction between science and politics, and by showing that Latour’s philosophy fosters our current post-truth predicament. (shrink)

In several sign languages, plurals can be realized with unpunctuated or punctuated repetitions of a noun, with different semantic implications; similar repetition-based plurals have been described in some homesigns and silent gestures. Unpunctuated repetitions often get approximate ‘at least’ readings while punctuated repetitions typically correspond to ‘exactly’ readings. The prevalence of these mechanisms could be thought to be a case in which Universal Grammar does not just specify the abstract properties of grammatical elements, but also their phonological realization, at least (...) in the visual modality. We explore an alternative in which punctuated and unpunctuated repetitions arise from general properties of iconic representations. On an empirical level, we argue that in ASL, punctuated and unpunctuated repetitions are unlikely to be an exclusively grammatical mechanism, as they can be found with purely iconic representations. On a theoretical level, we argue for a modular account with three components. First, repetition-based plurals can create a simplified pictorial representation. Second, unpunctuated repetitions give rise to pictorial vagueness, resolved by way of quantification over precisifications. Third, a pragmatic process involving strategic reasoning maps these vague representations onto a set of candidate linguistic meanings, including some ‘at least’ plural readings that are best expressed by unpunctuated repetitions. (shrink)

Actions receive teleological descriptions and reason explanations. In some circumstances, these descriptions and explanations might appeal not just to the agent’s own purposes and reasons, but also to the purposes and reasons of others in her social surroundings. Some actions have a social teleology. I illustrate this phenomenon and I propose a concept of vicarious action to account for it. An agent acts vicariously when she acts in response to the demand of another agent who knew that her demand was (...) likely to succeed. I argue that vicariousness grounds the social teleology of the resulting actions. (shrink)

While studies on the characteristics of flow states and their relation to peak performance exist, little is known about the dynamics by which flow states emerge and develop over time. The current paper qualitatively explores the necessary pre-conditions to enter flow, and the development of flow over time until its termination. Using an elicitation interview, participants were asked to recall their flow experiences in sports or music performances. The analysis resulted in the identification of the following three phases that athletes (...) and musicians experience during flow: Preparation to enter flow; Entry into the flow state and; Exit from the flow state. These three phases are characterized by several sub-themes contributing to the experience of flow. The function of emotions is crucial, as they play a core role across all three phases and regulate flow over time. The findings provide insights into the phenomenological characteristics of the transition and maintenance of the three proposed phases and the temporal dynamics of flow. (shrink)

Les philosophes ne rient pas, ou pas souvent. Le sage ne rit qu'en tremblant, dit le proverbe. Non ridere, sed intelligere ; il ne faut pas rire, mais comprendre, écrivait Spinoza. Les rares moments où les philosophes «lâchent prise» et se laissent aller à la plaisanterie sont d'autant plus intéressants. En voici quelques-uns. Ce livre ne vise pas à l'exhaustivité. Il n'a qu'une ambition : celle d'instruire en amusant.

An introduction to semantics for the general reader. How things mean, from animal communication to music.

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)

It is already known that unifiable formulas in normal modal logic |$\textbf {K}+\square ^{2}\bot $| are either finitary or unitary and unifiable formulas in normal modal logic |$\textbf {Alt}_{1}+\square ^{2}\bot $| are unitary. In this paper, we prove that for all |$d{\geq }3$|⁠, unifiable formulas in normal modal logic |$\textbf {K}+\square ^{d}\bot $| are either finitary or unitary and unifiable formulas in normal modal logic |$\textbf {Alt}_{1}+\square ^{d}\bot $| are unitary.

A l'occasion du cinquantenaire de la mort de Gaston Berger (1896-1960), la Chaire Humanisme, Citoyenneté, Civilisations de l'université catholique de Lyon a pris l'initiative d'organiser deux journées d'études pour commémorer l'oeuvre de ce philosophe audacieux et atypique, fondateur d'institutions et de revues, chef d'entreprise et homme d'action. Ces journées ont permis d'étudier les modalités sous lesquelles Gaston Berger a envisagé les liens entre philosophie et sciences humaines, qu'il n'a eu de cesse de faire dialoguer. Sa trajectoire intellectuelle originale a été (...) interrogée, depuis la tradition blondélienne de la philosophie de l'action et la phénoménologie, jusqu'au "tournant pragmatique" qu'il opère avec l'idée de la prospective. Associant des chercheurs issus de différentes institutions, mais héritières à divers titres de l'oeuvre de Gaston Berger, elles ont montré comment le cheminement intellectuel de Berger a influencé ses orientations et ses décisions d'homme d'action, et comment en retour son expérience d'homme de terrain a nourri et alimenté sa réflexion philosophique, psychologique et sociologique. (shrink)

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)

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.

The chapter begins by establishing the absence of organizations in the organization of philosophy as a specialist academic discipline. The second section highlights the reasons why this gap is detrimental to philosophical inquiries. The third section seeks to clarify how philosophy, as a type of theoretical inquiry, can contribute to the study of organizations. Three basic features are proposed as underpinning the philosophical method. Hegel’s social theory is then put forward as an exemplary model of what a philosophical account of (...) organizations might achieve. The fourth and final section shifts the perspective to focus on the life of individuals in organizations. Following a recent book combining post-Hegelian critical theory and Christophe Dejours’ psychodynamic approach, the paper highlights important aspects of individual and collective work that lead to a cooperative conception of management. (shrink)