A treaty to regulate the global antimicrobial commons can be appropriately framed around the model provided by multilateral environmental agreements. At the same time, it is not clear that a comprehensive treaty is the only possible entry point and other options, such as an agreement on technology transfer or funding may be apt starting points. Any legal instrument adopted to regulate the global antimicrobial commons needs to reflect the global South-North dichotomy and integrate the principle of common but differentiated responsibilities (...) and respective capabilities. Further, it would need to go beyond environmental instruments that have been structured around the sovereign interests of negotiating states even when dealing with issues of global concern, such as climate change. The proposed legal instrument would also need to be based not just on the precautionary principle as a marker of the necessity to address the negative environmental and health impacts, but also be based on the interests of patients and integrate concerns raised in terms of the human right to health. (shrink)

Kaplan claims in Demonstratives that no operator may manipulate the context of evaluation of natural language indexicals. We show that this is not so. In fact, attitude reports always manipulate a context parameter (or, rather, a context variable). This is shown by (i) the existence of De Se readings of attitude reports in English (which Kaplan has no account for), and (ii) the existence of a variety of indexicals across languages whose point of evaluation can be shifted, but only in (...) attitude reports. We develop an alternative account within an extensional framework with overt quantification over times, worlds and contexts. Various typological facts are discussed, esp. the distinction between English, Amharic and Ewe pronouns, and that between English and Russian tenses. (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)

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)

As part of a recent attempt to extend the methods of formal semantics beyond language, it has been claimed that music has an abstract truth-conditional semantics, albeit one that has more in common with iconic semantics than with standard compositional semantics. After summarizing this approach and addressing a common objection, we argue that music semantics should be enriched in three directions by incorporating insights of other areas of Super Semantics. First, it has been claimed by Abusch 2013 that visual narratives (...) make use of discourse referents akin to those we find in language. We argue that a similar conclusion extends to music, and we highlight it by investigating ways in which orchestration and dance may make cross-referential dependencies more explicit. Second, we show that by bringing music semantics closer to the semantics of visual narratives, we can give an account of the semantics of mixed visual and musical sequences. Third, it has been claimed that co-speech gestures trigger characteristic conditionalized presuppositions, called ‘cosuppositions’, and that their semantic status derives from their parasitic character relative to words. We argue that the same conclusion extends to some instances of film and cartoon music: it may trigger cosuppositions that can be revealed by embedding film excerpts or gifs in sentences so as to test presupposition projection. We further argue that under special discourse conditions, pro-speech gestures and pro-speech music alike can trigger cosuppositions as well. These results suggest that new insights can be gained not just by extending the methods of semantics to new objects, but also by drawing new connections among them. (shrink)

This article discusses Sven Ove Hansson’s corpus model for the influence of values (in particular, non-epistemic ones) in the hypothesis acceptance/rejection phase of scientific inquiry. This corpus model is based on Hansson’s concepts of scientific corpus and science ‘in the large sense’. I first present Hansson’s corpus model of value influence with some introductory comments about its origins, a detailed presentation of the model with a new terminology, an analysis of its limits, and an appreciation of its handling of controversial (...) non-epistemic values. I conclude that it is a very good candidate for managing value influence, because contrary to other models in the literature it is fairly simple, it provides a universal and systematic procedure for dealing with values, and it syste- matically preserves the epistemic integrity of science. I then study some difficulties associated with the model’s central feature of taking the maximum level of evidence required by the applications of a claim in order for the latter to enter the scientific corpus: the difficulty to identify this maximum requirement; the non-optimality of this requirement with respect to other less demanding requirements; the potentially detrimental consequences of the preference for false negatives over false positives on which it relies; and the issue of whether there can nevertheless be requirements higher than this maximum. I show that these issues may potentially challenge the corpus model. Finally, I call for empirical work (in particular, an investigation of scientists’ and engineers’ own normative views) in order to better assess these issues. (shrink)

Several disputes about the nature of experience operate under the assumption that experiences have parts, including temporal parts. There's the widely held view, when it comes to temporal experiences, that we should follow James' exhortation that such experiences aren't mere successions of their temporal parts, but something more. And there's the question of whether it is the parts of experiences which determine whole experiences and the properties they have, or whether the determination goes instead from the whole to the parts, (...) as holists have it. But what are parts, or temporal parts, of experiences exactly—what does it mean to say that an experience is “part” of another? Are the participants in those disputes talking about the same thing—is there a univocal notion of “experiential part” available? Are there different kinds of experiential parts? And if there are, is there a systematic way of carving them out? More importantly, how should we conceive of the temporal parts of experiences, and how can we establish that experiences really do have temporal parts, against those who reject the notion? (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)

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)

Based on the analysis of narrations in Free Indirect Discourse and the Historical Present, we argue that the grammatical notion of context of speech should be ramified into a Context of Thought and a Context of Utterance. Tense and person depend on the Context of Utterance, while all other indexicals are evaluated with respect to the Context of Thought. Free Indirect Discourse and the Historical Present are analyzed as special combinatorial possibilities that arise when the two contexts are distinct, and (...) exactly one of them is presented as identical to the physical point at which the sentence is articulated. (shrink)

There are various conceptions of objectivity, a characteristic of the scientific enterprise, the most fundamental being objectivity as faithfulness to facts. A brute fact, which happens independently from us, becomes a scientific fact once we take cognisance of it through the means made available to us by science. Because of the complex, reciprocal relationship between scientific facts and scientific theory, the concept of objectivity as faithfulness to facts does not hold in the strict sense of an aperspectival faithfulness to brute (...) facts. Nevertheless, it holds in the large sense of an underdetermined faithfulness to scientific facts, as long as we keep in mind the complexity of the notion of scientific fact (as theory-laden), and the role of non-factual elements in theory choice (as underdetermined by facts). Science remains our best way to separate our factual beliefs from our other kinds of beliefs. (shrink)

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 as a 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 the rationality of choices as with the rationality 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 in letting 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)

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)

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)

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)

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.

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)

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)

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)

Temporally extended experiences, experiential holists have it, are not reducible to successions of their temporal parts because some whole experiences determine their parts (in some way). This paper suggests, first, that some forms of experiential holism are in fact consistent with the rival atomist view (that experiences are successions of their parts) and, second, that the main reasons advanced for experiential holism are compatible with atomism too. The paper then looks at how holistic determination of its parts by a whole (...) experience might take place in time, arguing that it is either inconsistent or undermines widespread assumptions regarding the mechanisms underlying experiences. (shrink)

Straightening the current ‘value-laden turn’ (VLT) in the philosophical literature on values in science, and reviving the legacy of the value-free ideal of science (VFI), this paper argues that the influence of extra-scientific values should be minimised—not excluded—in the core phase of scientific inquiry where claims are accepted or rejected. Noting that the original arguments for the VFI (ensuring the truth of scientific knowledge, respecting the autonomy of science results users, preserving public trust in science) have not been satisfactorily addressed (...) by proponents of the VLT, it proposes four prerequisites which any model for values in the acceptance/rejection phase of scientific inquiry should respect, coming from the fundamental requirement to distinguish between facts and values: (1) the truth of scientific knowledge must be ensured; (2) the uncertainties associated with scientific claims must be stated clearly; (3) claims accepted into the scientific corpus must be distinguished from claims taken as a basis for action. An additional prerequisite of (4) simplicity and systematicity is desirable, if the model is to be applicable. Methodological documents from international institutions and regulation agencies are used to illustrate the prerequisites. A model combining Betz’s conception (stating uncertainties associated with scientific claims) and Hansson’s corpus model (ensuring the truth of the scientific corpus and distinguishing it from other claims taken as a basis for action) is proposed. Additional prerequisites are finally suggested for future research, stemming from the requirement for philosophy of science to self-reflect on its own values: (5) any model for values in science must be descriptively and normatively relevant; and (6) its consequences must be thoroughly assessed. (shrink)

Previous neural network models of concept learning were mainly implemented with supervised learning schemes. However, studies of human conceptual memory have shown that concepts may be learned without a teacher who provides the category name to associate with exemplars. A modular neural network architecture that realizes concept acquisition through two functionally distinct operations, categorizing and naming, is proposed as an alternative. An unsupervised algorithm realizes the categorizing module by constructing representations of categories compatible with prototype theory. The naming module associates (...) category names to the output of the categorizing module in a supervised mode. In such a modular architecture, the interface between the modules can be conceived of as an “information relay” that encodes, constrains, and propagates important information. Five experiments were conducted to analyze the relationships among internal conceptual codes and simple conceptual and lexical development. The first two experiments show a prototype effect and illustrate some basic characteristics of the system. The third experiment presents a bottom‐up model of the narrowing down of children's early lexical categories that honors mutual exclusivity. The fourth experiment introduces top‐down constraints on conceptual coding. The fifth experiment exhibits how hierarchical relationships between concepts are learned by the architecture, and also demonstrates how a spectrum of conceptual expertise may gradually emerge as a consequence of experiencing more with certain categories than with others. (shrink)

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.

This book addresses several key issues in the biological study of death with the intent of capturing their genealogy, the assumptions and presuppositions they make, and the way that they open specific new research avenues. The book is divided into two sections: the first considers physiology and the second evolutionary biology. Huneman explains that biologists in the late 1950s put forth a research framework that evolutionarily accounts for death in terms of either an effect of the weakness of natural selection (...) or a by-product of natural selection for early reproduction. He illustrates how the biology of death is a central field and that studying it provides insight into the way that the epistemic structure of this knowledge has been constituted, persists until now, and may conflict with some traditional philosophical ideas. (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)

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.

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)

Using photographs and testimonials, we will analyze details of the “miracle of the spinning sun” on October 13, 1917, at solar noon near Fatima. The phenomenon predicted ahead of time, occurred as the clouds cleared on what began as a rainy day. Various explanations have been presented but do not stand up to a comparative analysis of eyewitnesses, weather data, and photographs. This article aims to bring clarity to this event through the analysis of certified photographs and testimonies comparing them (...) to official meteorological and astronomical data. Our study confirms key points of the testimonials while focusing on objective data. The shadows and reflections reveal two soft light sources emerging from a rather dark background: one seen as a “pale sun”, and another overhead, fuzzy and as softly bright. The latter, likely being caused by a clear cloud, blurred the shadows of the weak “sun”. Strangely, the portions of clothing exposed to this “sun” dried quickly. This warm source, uncannily moonlike, was also able to cast distinct shadows on sloping surfaces and under objects. Eventually, these shadows will help us to estimate the height of the “sun” at ~30°, lower than the expected 42°. Therefore, the directly observed source could not have been the sun, and most probably not any physiological, psychological, or meteorological effect. (shrink)

Previous neural network models of concept learning were mainly implemented with supervised learning schemes. However, studies of human conceptual memory have shown that concepts may be learned without a teacher who provides the category name to associate with exemplars. A modular neural network architecture that realizes concept acquisition through two functionally distinct operations, categorizing and naming, is proposed as an alternative. An unsupervised algorithm realizes the categorizing module by constructing representations of categories compatible with prototype theory. The naming module associates (...) category names to the output of the categorizing module in a supervised mode. In such a modular architecture, the interface between the modules can be conceived of as an “information relay” that encodes, constrains, and propagates important information. Five experiments were conducted to analyze the relationships among internal conceptual codes and simple conceptual and lexical development. The first two experiments show a prototype effect and illustrate some basic characteristics of the system. The third experiment presents a bottom‐up model of the narrowing down of children's early lexical categories that honors mutual exclusivity. The fourth experiment introduces top‐down constraints on conceptual coding. The fifth experiment exhibits how hierarchical relationships between concepts are learned by the architecture, and also demonstrates how a spectrum of conceptual expertise may gradually emerge as a consequence of experiencing more with certain categories than with others. (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)

Description courte (Électre, 2019) : Une étude d'un des principaux axes de réflexion du philosophe des sciences et de la nature Raymond Ruyer (1902-1987). À la lumière des découvertes de l'embryogenèse et en s'appuyant par ailleurs sur la théorie de l'information, il proposa une interprétation des concepts unificateurs de la cybernétique mécaniste. -/- Short Descriptor (Electre 2019): A study of one of the main axes of reflection of the French philosopher of science and of nature Raymond Ruyer (1902-1987). Relying on (...) the discoveries about embryogenesis, and also with the use of information theory, Ruyer proposed an interpretation of the main unifying concepts of mechanistic cybernetics. -/- Cet ouvrage propose une étude fouillée d'un des principaux axes de réflexion du philosophe des sciences et de la nature français Raymond Ruyer (1902–1987) : la cybernétique. Après avoir proposé une philosophie structuraliste, Ruyer la modifia à la lumière des découvertes de l'embryogenèse, puis il proposa une interprétation des concepts unificateurs de la cybernétique mécaniste. Réfléchissant sur cette dernière et sur la théorie de l'information, en particulier sur l'origine de l'information, il défendit que cette cybernétique n'était qu'une lecture inversée de la vraie cybernétique, qui nous donnerait de lire dans l'expérience même les traces du pouvoir morphogénétique, appréhendé comme un champ axiologique. Dans un texte résumant son propre parcours, Ruyer affirma finalement que la critique de la théorie de l'information « peut donner […] l'espoir d'aboutir à quelque chose comme une nouvelle théologie. » Les idées directrices de Ruyer sont tout particulièrement contextualisées ici à partir de la question du développement des formes en biologie, et de celles de la génétique, de la genèse stochastique de l'ordre, et de l'identification mentale ou physique de l'information. Il se termine en départageant ce qui est théologique et axiologique dans ce projet de métaphysique qui, bien que resté inachevé, n'en représente pas moins le plus impressionnant conçu en France au siècle dernier. – This book offers an in-depth study of one of the main axes in the reflection of French philosopher of science and nature Raymond Ruyer. In a text summarising his own development, Ruyer stated about the philosophical critique of information theory that it "is what can give the most long-lasting hope of getting to something like a new theology." After propounding a structuralist philosophy, and distinguishing between form and structure, to then modify it in the light of discoveries in embryogenesis, Ruyer offered a re-evaluation of the unifying concepts of mechanistic cybernetics. Thinking about it and about information theory, he defended the idea that this cybernetics was in reality an inverted reading of the real one, which would allow us to read in experience itself traces of the morphogenetic power, apprehended as the axiological field. On some transversal points, the development of forms in biology and genetics, the stochastic genesis of order, the identification of information with either psychological and mental, or physical reality, behaviour, and the access to meaning, this work exposes the main ideas of Ruyer while situating them in the context of the breadth of others' contributions. It ends by determining what is theological and axiological in this project for a metaphysics which, although unfinished, is nevertheless the most impressive effort done in France in the last century. – Available on i6doc dot com (ISBN 978-2-930517-56-8 ; pdf 978-2-930517-57-5). (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.

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)

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 is the outline: 1. Introduction : organicisme et personnalisme 2. Un effort pour philosopher sur tout 3. La théologie et la question de l’infra-substantiel 3.1 Un schème de pensée qui pose problème 3.2 Le statut de l’immortalité 4. Substance, personne et cosmos.

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)

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)

The expression "analytic narratives" is used to refer to a range of quite recent studies that lie on the boundaries between history, political science, and economics. These studies purport to explain specific historical events by combining the usual narrative approach of historians with the analytic tools that economists and political scientists draw from formal rational choice theories. Game theory, especially of the extensive form version, is currently prominent among these tools, but there is nothing inevitable about such a technical choice. (...) The chapter explains what analytic narratives are by reviewing the studies of the major book Analytic Narratives (1998), which are concerned with the workings of political institutions broadly speaking, as well as several cases drawn from military and security studies, which form an independent source of the analytic narratives literature. At the same time as it gradually develops a definition of analytic narratives, the chapter investigates how they fulfil one of their main purposes, which is to provide explanations of a better standing than those of traditional history. An important principle that will emerge in the course of the discussion is that narration is called upon not only to provide facts and problems, but also to contribute to the explanation itself. The chapter distinguishes between several expository schemes of analytic narratives according to the way they implement this principle. From all the arguments developed here, it seems clear that the current applications of analytic narratives do not exhaust their potential, and in particular that they deserve the attention of economic historians, if only because they are concerned with microeconomic interactions that are not currently their focus of attention. (shrink)