La réparation du dommage corporel est omniprésente dans le projet de réforme du droit de la responsabilité civile présenté par la Chancellerie le 13 mars 2017, manifestant ainsi nettement la volonté de ses auteurs de conférer un statut juridique particulier à cette catégorie de dommage. Un tel souci se manifeste de deux manières. Il s’agit d’une part d’infléchir, dans un sens généralement plus favorable aux victimes, les règles de la responsabilité civile, pour assurer une indemnisation moins aléatoire et plus large (...) des préjudices consécutifs à une atteinte à la personne. Ainsi en est-il notamment de la dérogation au droit commun de la preuve, s’agissant d’établir la causalité en cas de dommage occasionné par le membre indéterminé d’un groupe. Ainsi en est-il également de la soustraction du dommage corporel de l’obligation faite à la victime dans le projet, de minimiser son préjudice. Il s’agit d’autre part de préciser les modalités de la réparation du dommage corporel. Le projet reprend à son compte certaines innovations intervenues ces dernières années (mise en place d’une nomenclature, d’un barème médical unique), et consacre aussi des solutions inédites, telles que le recours de principe à la rente (plutôt qu’à une indemnisation en capital) pour certains chefs de préjudices comme le besoin en tierce personne ou les pertes de gains professionnels) ou l’affirmation du principe de libre disposition des dommages et intérêts. (shrink)

Marcel Duchamp once asked whether it is possible to make something that is not a work of art. This question returns over and over in modernist culture, where there are no longer any authoritative criteria for what can be identified (or excluded) as a work of art. As William Carlos Williams says, “A poem can be made of anything,” even newspaper clippings.At this point, art turns into philosophy, all art is now conceptual art, and the manifesto becomes the distinctive genre (...) of modernism. This book takes seriously this transformation of art into philosophy, focusing upon the systematic interest that so many European philosophers take in modernism. Among the philosophers Gerald Bruns discusses are Theodor W. Adorno, Maurice Blanchot, Arthur Danto, Stanley Cavell, Hans-Georg Gadamer, Michel Foucault, Gilles Deleuze and Felix Guattari, Jacques Derrida, Jean-François Lyotard, Jean-Luc Nancy, Philippe Lacoue-Labarthe, and Emmanuel Levinas.As Bruns demonstrates, the difficulty of much modern and contemporary poetry can be summarized in the idea that a poem is made of words, not of any of the things that we use words to produce: meanings, concepts, propositions, narratives, or expressions of feeling. Many modernist poets have argued that in poetry language is no longer a form of mediation but a reality to be explored and experienced in its own right. But what sort of experience, philosophically, might this be? The problem of the materiality or hermetic character of poetic language inevitably leads to questions of how philosophy itself is to be written and what sort of communitydefines the work of art—or, for that matter, the work of philosophy.In this provocative study, Bruns answers that the culture of modernism is a kind of anarchist community, where the work of art is apt to be as much an event or experience—or, indeed, an alternative form of life—as a formal object. In modern writing, philosophy and poetry fold into one another. In this book, Bruns helps us to see how. (shrink)

Publication de la céramique pergaménienne à appliques de Délos, collection qui, compte tenu de la rareté du genre, est, avec celle de Pergame, une des plus nombreuses actuellement connues. Sur des récipients dont les types se retrouvent dans la vaisselle non décorée de l'époque (même argile rosé et tendre, même glaçure rouge corail ou brun, mêmes formes), les appliques sont disposées sans constituer des ensembles iconographiquement cohérents, se répétant dans des contextes différents : ce qui oblige à deux catalogues (...) distincts, des appliques et des vases. Le répertoire comprend un décor de lierre, des masques, des grotesques, des scènes d'amour, et divers sujets plus ou moins mythologiques dont des Éros et d'assez nombreuses figures du thiase dionysiaque, celles-ci spécialement intéressantes pour leur parenté avec les reliefs néo-attiques : antérieures à la plupart d'entre eux, les appliques pergaméniennes constituent un maillon chronologiquement assuré dans la recherche de leurs origines. La collection délienne, prise dans son ensemble, doit dater de la période 110-69. Les trouvailles faites à Pergame, en particulier de moules, invitent à y situer la production de cette céramique à appliques, ce qui va dans le sens d'observations antérieures sur la tendance de Délos à être commercialement plus tournée vers l'Orient que vers Athènes. (shrink)

In science and philosophy, a relatively demanding notion of understanding is of central interest: an epistemic subject understands a subject matter by means of a theory. This notion can be explicated in a way which resembles JTB analyses of knowledge. The explication requires that the theory answers to the facts, that the subject grasps the theory, that she is committed to the theory and that the theory is justified for her. In this paper, we focus on the justification condition and (...) argue that it can be analyzed with reference to the idea of a reflective equilibrium. (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)

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

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)

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)

: In the 1980s, the analysis of presupposition projection contributed to a ‘dynamic turn’ in semantics: the classical notion of meanings as truth conditions was replaced with a dynamic notion of meanings as Context Change Potentials. We argue that this move was misguided, and we offer an alternative in which presupposition projection follows from the combination of a fully classical semantics and a new pragmatic principle, which we call Be Articulate. This principle requires that a meaning pp’ conceptualized as involving (...) a pre-condition p should be articulated as … … rather than as … pp’ …, unless the full conjunction is ruled out because the first or the second conjunct is semantically idle. In particular, … … is infelicitous - and hence … pp’ … is acceptable - if one can determine as soon as p and is uttered that no matter how the sentence ends these words could be eliminated without affecting its contextual meaning. An equivalence theorem guarantees that this condition suffices to derive Heim’s results in almost all cases. Extensions of the condition lead to several new predictions, in particular concerning some ‘symmetric readings’, as well as presupposition projection in quantified structures, which displays a complex interaction between the nature of the trigger and the monotonicity of the quantifier. (shrink)

According to one productive and influential approach to cognition, categorization, object recognition, and higher level cognitive processes operate on a set of fixed features, which are the output of lower level perceptual processes. In many situations, however, it is the higher level cognitive process being executed that influences the lower level features that are created. Rather than viewing the repertoire of features as being fixed by low-level processes, we present a theory in which people create features to subserve the representation (...) and categorization of objects. Two types of category learning should be distinguished. Fixed space category learning occurs when new categorizations are representable with the available feature set. Flexible space category learning occurs when new categorizations cannot be represented with the features available. Whether fixed or flexible, learning depends on the featural contrasts and similarities between the new category to be represented and the individual's existing concepts. Fixed feature approaches face one of two problems with tasks that call for new features: If the fixed features are fairly high level and directly useful for categorization, then they will not be flexible enough to represent all objects that might be relevant for a new task. If the fixed features are small, subsymbolic fragments (such as pixels), then regularities at the level of the functional features required to accomplish categorizations will not be captured by these primitives. We present evidence of flexible perceptual changes arising from category learning and theoretical arguments for the importance of this flexibility. We describe conditions that promote feature creation and argue against interpreting them in terms of fixed features. Finally, we discuss the implications of functional features for object categorization, conceptual development, chunking, constructive induction, and formal models of dimensionality reduction. Key Words: concept learning; conceptual development; features; perceptual learning; stimulus encoding. (shrink)

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

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

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)

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)

The goal of this paper is to re-assess reflective equilibrium (“RE”). We ask whether there is a conception of RE that can be defended against the various objections that have been raised against RE in the literature. To answer this question, we provide a systematic overview of the main objections, and for each objection, we investigate why it looks plausible, on what standard or expectation it is based, how it can be answered and which features RE must have to meet (...) the objection. We find that there is a conception of RE that promises to withstand all objections. However, this conception has some features that may be unexpected: it aims at a justification that is tailored to understanding and it is neither tied to intuitions nor does it imply coherentism. We conclude by pointing out a cluster of questions we think RE theorists should pay more attention to. (shrink)

Reflective equilibrium (RE) is often regarded as a powerful method in ethics, logic, and even philosophy in general. Despite this popularity, characterizations of the method have been fairly vague and unspecific so far. It thus may be doubted whether RE is more than a jumble of appealing but ultimately sketchy ideas that cannot be spelled out consistently. In this paper, we dispel such doubts by devising a formal model of RE. The model contains as components the agent’s commitments and a (...) theory that tries to systematize the commitments. It yields a precise picture of how the commitments and the theory are adjusted to each other. The model differentiates between equilibrium as a target state and the dynamic equilibration process. First solutions to the model, obtained by computer simulation, show that the method allows for consistent specification and that the model’s implications are plausible in view of expectations on RE. In particular, the mutual adjustment of commitments and theory can improve one’s commitments, as proponents of RE have suggested. We argue that our model is fruitful not only because it points to issues that need to be dealt with for a better understanding of RE, but also because it provides the means to address these issues. (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)

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

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)

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)

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

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

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.

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)

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.

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)

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.

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)

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

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

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)

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)

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

At his death in 1992, the eminent philosopher, critic, and theorist Louis Marin left, in addition to a dozen influential books, a corpus of some three hundred articles and essays published in journals and anthologies. A collection of twenty-two essays that appeared between 1971 and 1992, this book interrogates the theory and practice of representation as it is carried out by both linguistic and graphic signs, and thus the complex relation between language and image, between perception and conception. The essays (...) are grouped in four parts that reflect the continuity and coherence of Marin's interests in semiology, narrative, visuality, and painting. The interdisciplinary horizon of the book draws on multiple scholarly resources—the cultural history of the seventeenth century, the philosophy of language, the tools of discourse analysis, the history of art and aesthetics, the analysis of reception—to address a stunning diversity of subjects ranging from historical painting through cartography to the processes of deciphering texts, interpreting stories, and _reading_ images. Throughout the essays, Marin's reflection on representation is supported and deepened by his brilliant exegesis of graphic art. His analysis of works by Caravaggio, Philippe de Champaigne, Le Brun, and Poussin, among others, provides the armature that allows him to describe both the structural logic of representation and the intricate processes of production and reception that make it dynamic and unstable. Marin demonstrates with consummate rigor why the pursuit of a general theory of representation is experienced by artists and critics alike as an inevitable, yet unattainable objective. (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)

We investigate the conflict between the ex ante and ex post criteria of social welfare in a new framework of individual and social decisions, which distinguishes between two sources of uncertainty, here interpreted as an objective and a subjective source respectively. This framework makes it possible to endow the individuals and society not only with ex ante and ex post preferences, as is usually done, but also with interim preferences of two kinds, and correspondingly, to introduce interim forms of the (...) Pareto principle. After characterizing the ex ante and ex post criteria, we present a first solution to their conflict that extends the former as much possible in the direction of the latter. Then, we present a second solution, which goes in the opposite direction, and is also maximally assertive. Both solutions translate the assumed Pareto conditions into weighted additive utility representations, and both attribute to the individuals common probability values on the objective source of uncertainty, and different probability values on the subjective source. We discuss these solutions in terms of two conceptual arguments, i.e., the by now classic spurious unanimity argument and a novel informational argument labelled complementary ignorance. The paper complies with the standard economic methodology of basing probability and utility representations on preference axioms, but for the sake of completeness, also considers a construal of objective uncertainty based on the assumption of an exogeneously given probability measure. JEL classification: D70; D81. (shrink)

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

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.