The paper presents a new logic for reasoning about the formation of beliefs through perception or through inference in non-omniscient resource-bounded agents. The logic distinguishes the concept of explicit belief from the concept of background knowledge. This distinction is reflected in its formal semantics and axiomatics: we use a non-standard semantics putting together a neighborhood semantics for explicit beliefs and relational semantics for background knowledge, and we have specific axioms in the logic highlighting the relationship between the two concepts. Mental (...) operations of perceptive type and inferential type, having effects on epistemic states of agents, are primitives in the object language of the logic. At the semantic level, they are modelled as special kinds of model-update operations, in the style of dynamic epistemic logic. Results about axiomatization, decidability and complexity for the logic are given in the paper. (shrink)

The seemingly "inextricable" mutual entanglement of history and the play of power dissolves itself when thinking, under the sway of technique, moves beyond the horizon of metaphysic, and turns to question the unconcealment of being, that is, when man lets time become the law of his essence. Only so would a history, i.e. freedom, happen again, and rescue modern man from his otherwise destinyless age.

Whereas many others have scrutinized the Allais paradox from a theoretical angle, we study the paradox from an historical perspective and link our findings to a suggestion as to how decision theory could make use of it today. We emphasize that Allais proposed the paradox asa normative argument, concerned with ‘the rational man’ and not the ‘real man’, to use his words. Moreover, and more subtly, we argue that Allais had an unusual sense of the normative, being concerned not so (...) much with therationality of choicesas with therationality of the agent as a person. These two claims are buttressed by a detailed investigation – the first of its kind – of the 1952 Paris conference on risk, which set the context for the invention of the paradox, and a detailed reconstruction – also the first of its kind – of Allais’s specific normative argument from his numerous but allusive writings. The paper contrasts these interpretations of what the paradox historically represented, with how it generally came to function within decision theory from the late 1970s onwards: that is, as an empirical refutation of the expected utility hypothesis, and more specifically of the condition of von Neumann–Morgenstern independence that underlies that hypothesis. While not denying that this use of the paradox was fruitful in many ways, we propose another use that turns out also to be compatible with an experimental perspective. Following Allais’s hints on ‘the experimental definition of rationality’, this new use consists inletting the experiment itself speak of the rationality or otherwise of the subjects. In the 1970s, a short sequence of papers inspired by Allais implemented original ways of eliciting the reasons guiding the subjects’ choices, and claimed to be able to draw relevant normative consequences from this information. We end by reviewing this forgotten experimental avenue not simply historically, but with a view to recommending it for possible use by decision theorists today. (shrink)

We argue that some sign language loci (i.e. positions in signing space that realize discourse referents) are both formal variables and simplified representations of what they denote; in other words, they are simultaneously logical symbols and pictorial representations. We develop a 'formal semantics with iconicity' that accounts for their dual life; the key idea ('formal iconicity') is that some geometric properties of signs must be preserved by the interpretation function. We analyze in these terms three kinds of iconic effects in (...) American and French Sign Language (ASL and LSF): (i) structural iconicity, where relations of inclusion and complementation among loci are directly reflected in their denotations; (ii) locus-external iconicity, where the high or low position of a locus in signing space has a direct semantic reflex, akin to the semantic contribution of gender features of pronouns; and (iii) locus-internal iconicity, where different parts of a structured locus are targeted by different directional verbs, as was argued by Liddell and Kegl. The resulting semantics combines insights of two traditions that have been sharply divided by recent debates. In line with the 'formalist camp' (e.g. Lillo-Martin and Klima, Neidle, and Sandler and Lillo-Martin), our theory treats loci as variables, and develops an explicit formal analysis of their behavior. But we also incorporate insights of the 'iconic camp', which emphasized the role of iconic constraints in sign language in general and in pronominals in particular (e.g. Cuxac, Taub, Liddell). However, this synthesis is only possible if formal semantics makes provisions for iconic requirements at the very core of its interpretive procedure. (An Appendix discusses relevant data from Italian Sign Language [LIS].). (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)

In this paper, we show that the implication fragment of classical propositional logic is finitary for unification with parameters.

We argue that a formal semantics for music can be developed, although it will be based on very different principles from linguistic semantics and will yield less precise inferences. Our framework has the following tenets: Music cognition is continuous with normal auditory cognition. In both cases, the semantic content derived from an auditory percept can be identified with the set of inferences it licenses on its causal sources, analyzed in appropriately abstract ways. What is special about music semantics is that (...) it aggregates inferences based on normal auditory cognition with further inferences drawn on the basis of the behavior of voices in tonal pitch space. This makes it possible to define an inferential semantics but also a truth-conditional semantics for music. In particular, a voice undergoing a musical movement m is true of an object undergoing a series of events e just in case there is a certain structure-preserving map between m and e. Aspects of musical syntax might be derivable on semantic grounds from an event mereology, which also explains some cases in which tree structures are inadequate for music. Intentions and emotions may be attributed at several levels, and we speculate on possible explanations of the special relation between music and emotions. (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)

Machine generated contents note: -- Acknowledgements -- PART I: WHAT HAPPENED? -- Inheriting from Seattle -- What Are We Dealing With? -- Daring to be Pragmatic -- Infernal Alternatives -- Minions -- PART II: LEARNING TO PROTECT ONESELF -- Do You Believe in Sorcery? -- Leaving Safe Ground -- Marx Again... -- To Believe in Progress No Longer? -- Learning Fright -- PART III: HOW TO GET A HOLD? -- Thanks to Seattle? -- The Trajectory of an Apprenticeship -- Fostering (...) New Connections -- Sorry, but we have to -- Reactivating History -- PART IV: NEEDING PEOPLE TO THINK -- A Cry -- Interstices -- Ecosophy -- Political Creation -- Empowerment -- Reclaim -- Above All, Not to Conclude -- Index. (shrink)

This book aims to make the pragmatist intellectual framework accessible to organization and management scholars. It presents some fundamental concepts of Pragmatism, their potential application to the study of organizations and the resulting theoretical, methodological, and practical issues.

Nudge is a concept of policy intervention that originates in Thaler and Sunstein's (2008) popular eponymous book. Following their own hints, we distinguish three properties of nudge interventions: they redirect individual choices by only slightly altering choice conditions (here nudge 1), they use rationality failures instrumentally (here nudge 2), and they alleviate the unfavourable effects of these failures (here nudge 3). We explore each property in semantic detail and show that no entailment relation holds between them. This calls into question (...) the theoretical unity of nudge, as intended by Thaler and Sunstein and most followers. We eventually recommend pursuing each property separately, both in policy research and at the foundational level. We particularly emphasize the need of reconsidering the respective roles of decision theory and behavioural economics to delineate nudge 2 correctly. The paper differs from most of the literature in focusing on the definitional rather than the normative problems of nudge. (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.

The informational content conveyed by utterances has two sources:meaning as it is encoded in words and rules of semantic composition (often called literal or semantic meaning) and further inferences that may be obtained by reasoning on the speaker's motives (the conjunction of these inferences with the literal meaning is often called the strengthened or pragmatic meaning of the sentence). While in simple cases the difference can seem obvious enough, in general this is not so, and the investigation of the semantics–pragmatics (...) interface has proven to be one of the most vibrant areas of research in contemporary studies of meaning. We will survey three domains – scalar implicatures, presuppositions, and conventional implicatures – in which there are considerable empirical benefits to be obtained from this enterprise. However, it is also of foundational and methodological interest: knowledge of semantic meaning is part of knowledge of language; by contrast, pragmatic inferences are derived in part from the assumption that the speaker obeys certain rules of behavior – typically ones dictated by rationality (which may, for instance, lead to the maximization of the utility of an utterance to the speaker or to others). Owing to foundational interest in the interaction between language and reasoning, the study of the semantics– pragmatics interface originated in philosophy; however, it quickly became a central topic within linguistics and psycholinguistics, and the convergence of results from these last two fields has resulted in rich cross-disciplinary exchanges. For reasons of space, we do not consider psycholinguistic results in this survey, but it should be said at the outset that they have changed the face of the field by providing new and more reliable data (for instance, on processing and language acquisition) and sometimes by challenging data that had too quickly become solidified on the basis of unsystematic introspection alone. -/- As we will see, the debates are more open than ever. Scalar implicatures, which were usually considered a staple of pragmatic reasoning, have recently been reassigned to the semantics or even to the syntax by proponents of locally computed implicatures (‘localists’ for short). (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.

Il est courant de rappeler que l’Union européenne a un défaut d’intelligibilité et que sa forme politique demeure hésitante. Les catégories les plus prégnantes demeurent issues de la théorie de l’État et imposent une alternative insatisfaisante entre confédération d’États souverains et État fédéral. Afin d’y échapper, certains auteurs suggèrent de penser l’UE à partir du paradigme cosmopolitique. Le propos de cet article est de souligner l’intérêt mais aussi les contradictions du modèle cosmopolitique appliqué à l’UE en raison de l’essentielle finitude (...) du projet européen. Nous suggérons de chercher plus loin la spécificité formelle de l’UE, telle qu’elle se présente concrètement et réellement. Il apparaît alors que le schème de la construction remplace celui de la fondation, que la parité entre les deux ordres juridiques se substitue à l’exclusivité de la souveraineté et que les principes finissent par faire place aux valeurs. (shrink)

Presents an analysis of the cultural, economic, and social impact of immigration.

Un essai sur la portée épistémologique des instruments d'optique au XVIIe siècle, axé sur les travaux des Anglais, et notamment l'oeuvre de Robert Hooke, qui entre tous a su donner une consistance philosophique au modèle instrumental.

Les discours sur la fin de l'histoire, dominants à la fin du siècle dernier, ont laissé place aux discours marquants la fin de la géographie, à l'urgence climatique et à l'effondrement. Ces considérations s'enracient dans l'histoire de la philosophie, chez Montesquieu en particulier. La mondialisation et les multiples crises (économique, sociale, politique et sanitaire) que nous traversons, nous imposent un nouveau questionnement pour nous resituer historiquement et géographiquement ; ces deux dimensions étant, de plus, inséparables. La géographie conceptualisant l'espace rend (...) intelligible la temporalité historique. Peut-on pour autant entériner la fin de l'histoire ou de la géographie, la contraction d'un monde englouti par les nouvellles technologies et les moyens de communication instantanés? (shrink)

Wat dacht Nietzsche, die niet bepaald positief stond ten opzichte van het christendom, eigenlijk over Jezus? Er wordt immers wel beweerd dat je, wat je verder ook van het christendom denkt, onmogelijk tegen Jezus kunt zijn. In zijn vroege werk noemt Nietzsche hem inderdaad 'de edelste mens'. Maar later heeft hij het over 'een grote egoïst' en in 'Der Antichrist' zegt hij zelfs dat Jezus 'een idioot' was. Wat betekent dat allemaal precies binnen het denken van een filosoof die vaak (...) niet rechtstreeks zegt wat hij eigenlijk bedoelt? Kunnen deze gedachten voor ons vandaag nog iets betekenen? Lepers heeft het volledige oeuvre van Nietzsche onderzocht op uitspraken en beschouwingen over en rond de figuur van Jezus. Dat voert hem tot genuanceerde, soms (schijnbaar?) tegenstrijdige, maar altijd uitdagende antwoorden op de vraag wie en wat Jezus in Nietzsches ogen was en wat hij vanuit dat perspectief voor ons zou kunnen zijn. (shrink)

This article discusses how Liang Shuming’s Eastern and Western Cultures and Their Philosophies adopted a genealogical mode of textual authorization which took shape in its depiction of Chinese history as a failure to live up to an ideal way of life imagined by Confucius. Implied in this discourse was the idea that Liang himself had been the first Confucian to understand what Confucius had truly meant. This genealogical discourse authorizing Liang and his text by linking them directly to Confucius was (...) further strengthened by a rhetoric which naturalized the discourse passed down from Confucius to Liang, distinguishing it from other forms of discourse seen as artificial. Finally, the text’s genealogical discourse also managed to incorporate the May Fourth critique of Confucianism by rejecting the historical manifestations of Confucianism before salvaging an ideal imagined by Confucius which was presented as uncontaminated by history and Confucianism’s enmeshment with state power. (shrink)

Van Heijenoort's main contribution to history and philosophy of modern logic was his distinction between two basic views of logic, first, the absolutist, or universalist, view of the founding fathers, Frege, Peano, and Russell, which dominated the first, classical period of history of modern logic, and, second, the relativist, or model-theoretic, view, inherited from Boole, Schröder, and Löwenheim, which has dominated the second, contemporary period of that history. In my paper, I present the man Jean van Heijenoort (Sect. 1); then (...) I describe his way of arguing for the second view (Sect. 2); and finally I come down in favor of the first view (Sect. 3). There, I specify the version of universalism for which I am prepared to argue (Sect. 3, introduction). Choosing ZFC to play the part of universal, logical (in a nowadays forgotten sense) system, I show, through an example, how the usual model theory can be naturally given its proper place, from the universalist point of view, in the logical framework of ZFC; I outline another, not rival but complementary, semantics for admissible extensions of ZFC in the very same logical framework; I propose a way to get universalism out of the predicaments in which universalists themselves believed it to be (Sect. 3.1). Thus, if universalists of the classical period did not, in fact, construct these semantics, it was not that their universalism forbade them, in principle, to do so. The historical defeat of universalism was not technical in character. Neither was it philosophical. Indeed, it was hardly more than the victory of technicism over the very possibility of a philosophical dispute (Sect. 3.2). (shrink)