In a globalizing world, governments are not always able or willing to regulate the social and environmental externalities of global business activities. Multi-stakeholder initiatives (MSI), defined as global institutions involving mainly corporations and civil society organizations, are one type of regulatory mechanism that tries to fill this gap by issuing soft law regulation. This conceptual paper examines the conditions of a legitimate transfer of regulatory power from traditional democratic nation-state processes to private regulatory schemes, such as MSIs. Democratic legitimacy is (...) typically concerned with input legitimacy (rule credibility, or the extent to which the regulations are perceived as justified) and output legitimacy (rule effectiveness, or the extent to which the rules effectively solve the issues). In this study, we identify MSI input legitimacy criteria (inclusion, procedural fairness, consensual orientation, and transparency) and those of MSI output legitimacy (rule coverage, efficacy, and enforcement), and discuss their implications for MSI democratic legitimacy. (shrink)

In a globalizing world, governments are not always able or willing to regulate the social and environmental externalities of global business activities. Multi-stakeholder initiatives (MSI), defined as global institutions involving mainly corporations and civil society organizations, are one type of regulatory mechanism that tries to fill this gap by issuing soft law regulation. This conceptual paper examines the conditions of a legitimate transfer of regulatory power from traditional democratic nation-state processes to private regulatory schemes, such as MSIs. Democratic legitimacy is (...) typically concerned with input legitimacy (rule credibility, or the extent to which the regulations are perceived as justified) and output legitimacy (rule effectiveness, or the extent to which the rules effectively solve the issues). In this study, we identify MSI input legitimacy criteria (inclusion, procedural fairness, consensual orientation, and transparency) and those of MSI output legitimacy (rule coverage, efficacy, and enforcement), and discuss their implications for MSI democratic legitimacy. (shrink)

Since Plaza [1989], which is most of the time considered as the inaugural paper on announcement logics in public communication contexts, a lot of papers on dynamic epistemic logics have been published. The most famous dynamic epistemic logic is known by the name of PAL (Public Announcement Logic). The logic PAC is an extension of PAL with the common knowledge operator (CG). Soundness and completeness proofs of those logics are presented in van Ditmarsch et al. [2008], in Balbiani et al. (...) [2010] and in de Boer [2007]. Each of them used either a model-theoretic approach or a tableaux calculus. In the present paper, we propose an alternative approach to PAC based on the dialogical framework. (shrink)

This survey covers some of the main philosophical debates raised by the framework of effective field theories during the last decades. It is centered on three issues: whether effective field theories underpin a specific realist picture of the world, whether they support an anti-reductionist picture of physics, and whether they provide reasons to give up the ultimate aspiration of formulating a final and complete physical theory. Reviewing the past and current literature, we argue that effective field theories do not give (...) convincing reasons to adopt a particular stance towards these speculative issues. They hold good prospects for asking ontologically perspicuous and sensible questions about currently accessible domains. With respect to more fundamental questions, however, the only certainty is provisional and instrumental: effective theories are currently indispensable for conducting fruitful scientific research. (shrink)

Depuis 1998 la congrégation pour la Doctrine de la Foi, héritière des archives de la congrégation du Saint-Office et avec elles de celles de la congrégation de l’Index, a ouvert à la consultation les fonds historiques qu’elle détient. Jusqu’à cette date toute récente, ces documents demeuraient rigoureusement inaccessibles : l’historien se trouve désormais dans une situation tout à fait nouvelle et accède à des informations susceptibles d’éclairer des épisodes encore imparfaitement connus. Ainsi devrait prochainement voir le jour une édition de (...) l’ensemble des matériaux concernant la condamnation d’Alfred Loisy, prononcée par le décret du Saint-Office du 16 décembre 1903, et son excommunication en 1908. À côté de ce dossier volumineux, le mince fascicule de l’Index relatif aux trois premiers livres d’Henri Bergson n’occupe qu’une place modeste : sa divulgation devrait néanmoins apporter quelques précisions jusqu’ici inconnues aux biographes du philosophe. (shrink)

Winner of the 2015 Pierre-Antoine Bernheim Prize for the History of Religion by the Académie des Inscriptions et Belles-LettresAfter a century during which Confucianism was viewed by academics as a relic of the imperial past or, at best, a philosophical resource, its striking comeback in Chinese society today raises a number of questions about the role that this ancient tradition might play in a contemporary context. The Sage and the People is the first comprehensive enquiry into the "Confucian revival" that (...) began in China during the 2000s. Based on extensive anthropological fieldwork carried out over eight years in various parts of the country, it explores the re-appropriation and reinvention of popular practices in fields as diverse as education, self-cultivation, religion, ritual, and politics.The book analyzes the complexity of the "Confucian revival" within the broader context of emerging challenges to such categories as religion, philosophy, and science that prevailed in modernization narratives throughout the last century. Exploring state cults both in Mainland China and Taiwan, authors Sébastien Billioud and Joël Thoraval compare the interplay between politics and religion on the two shores of the Taiwan strait and attempt to shed light on possible future developments of Confucianism in Chinese society. (shrink)

Whether unconscious stimuli can modulate the preparation of a cognitive task is still controversial. Using a backward masking paradigm, we investigated whether the modulation could be observed even if the prime was made unconscious in 100% of the trials. In two behavioral experiments, subjects were instructed to initiate a phonological or semantic task on an upcoming word, following an explicit instruction and an unconscious prime. When the SOA between prime and instruction was sufficiently long , primes congruent with the task (...) set instruction led to speedier responses than incongruent primes. In the other condition , no task set priming was observed. Repetition priming had the opposite tendency, suggesting the observed task set facilitation cannot be ascribed solely to perceptual repetition priming. Our results therefore confirm that unconscious information can modulate cognitive control for currently active task sets, providing sufficient time is available before the conscious decision. (shrink)

The theory of social-property relations, or political Marxism, has argued that in contradistinction with pre-capitalist forms of exploitation, capitalism is characterised by the separation of the economic and the political, which makes surplus appropriation under this system uniquely driven by economic coercion. In spite of political Marxism’s various strengths, this article argues that the paradigm puts forward an ahistorical and sanitised conception of capitalism typical of bourgeois economics, which is an outcome of its formal-abstractionist approach to the concept of the (...) mode of production and the separation between theory and history that it operates. A more satisfactory solution to political Marxism’s inability to make sense of past and present forms of coercion and violence under capitalism can be found in Jairus Banaji’s emphasis on Marx’s historical – rather than formal – conception of the mode of production. (shrink)

Williams and J. Fraser have recently argued that effective field theory methods enable scientific realists to make more reliable ontological commitments in quantum field theory than those commonly made. In this paper, I show that the interpretative relevance of these methods extends beyond the specific context of QFT by identifying common structural features shared by effective theories across physics. In particular, I argue that effective theories are best characterized by the fact that they contain intrinsic empirical limitations, and I extract (...) from their structure one central interpretative constraint for making more reliable ontological commitments in different subfields of physics. While this is in principle good news, this constraint still raises a challenge for scientific realists in some contexts, and I bring the point home by focusing on Williams’s and J. Fraser’s defense of selective realism in QFT. (shrink)

Psychopathy is a personality disorder frequently associated with immoral behaviors. Previous behavioral studies on the influence of psychopathy on moral decision have yielded contradictory results, possibly because they focused either on judgment (abstract evaluation) or on choice of hypothetical action, two processes that may rely on different mechanisms. In this study, we explored the influence of the level of psychopathic traits on judgment and choice of hypothetical action during moral dilemma evaluation. A population of 102 students completed a questionnaire with (...) ten moral dilemmas and nine non-moral dilemmas. The task included questions targeting both judgment (“Is it acceptable to … in order to …?”) and choice of hypothetical action (“Would you … in order to …?”). The level of psychopathic traits of each participant was evaluated with the Levenson Self-Report Psychopathy (LSRP) scale. Logistic regression fitted with the generalized estimating equations method analyses were conducted using responses to the judgment and choice tasks as the dependent variables and psychopathy scores as predictor. Results show that a high level of psychopathic traits, and more specifically those related to affective deficit, predicted a greater proportion of utilitarian responses for the choice but not for the judgment question. There was no first-order interaction between the level of psychopathic traits and other potential predictors. The relation between a high level of psychopathic traits and increased utilitarianism in choice of action but not in moral judgment may explain the contradictory results of previous studies where these two processes were not contrasted. It also gives further support to the hypothesis that choice of action endorsement and abstract judgment during moral dilemma evaluation are partially distinct neural and psychological processes. We propose that this distinction should be better taken into account in the evaluation of psychopathic behaviors. (shrink)

This chapter examines two ways in which liberal thinkers have appealed to claims about disagreement in order to defend a principle of free speech. One argument, from Mill, says that free speech is a necessary condition for healthy disagreement, and that healthy disagreement is conducive to human flourishing. The other argument says that in a community of people who disagree about questions of value, free speech is a necessary condition of legitimate democratic government. We argue that both of these arguments, (...) in their standard guises, are premised upon contestable views about the realpolitik of disagreement in a liberal society. (shrink)

This article aims first at showing that Russell's general doctrine according to which all mathematics is deducible ‘by logical principles from logical principles’ does not require a preliminary reduction of all mathematics to arithmetic. In the Principles, mechanics (part VII), geometry (part VI), analysis (part IV–V) and magnitude theory (part III) are to be all directly derived from the theory of relations, without being first reduced to arithmetic (part II). The epistemological importance of this point cannot be overestimated: Russell's logicism (...) does not only contain the claim that mathematics is no more than logic, it also contains the claim that the differences between the various mathematical sciences can be logically justified—and thus, that, contrary to the arithmetization stance, analysis, geometry and mechanics are not merely outgrowths of arithmetic. The second aim of this article is to set out the neglected Russellian theory of quantity. The topic is obviously linked with the first, since the mere existence of a doctrine of magnitude, in a work dated from 1903, is a sign of a distrust vis-à-vis the arithmetization programme. After having shown that, despite the works of Cantor, Dedekind and Weierstrass, many mathematicians at the end of the 19th Century elaborated various axiomatic theories of the magnitude, I will try to define the peculiarity of the Russellian approach. I will lay stress on the continuity of the logicist's thought on this point: Whitehead, in the Principia, deepens and generalizes the first Russellian 1903 theory. (shrink)

In this paper, I propose a general framework for understanding renormalization by drawing on the distinction between effective and continuum Quantum Field Theories (QFTs), and offer a comprehensive account of perturbative renormalization on this basis. My central claim is that the effective approach to renormalization provides a more physically perspicuous, conceptually coherent and widely applicable framework to construct perturbative QFTs than the continuum approach. I also show how a careful comparison between the two approaches: (i) helps to dispel the mystery (...) surrounding the success of the renormalization procedure; (ii) clarifies the various notions of renormalizability; and (iii) gives reasons to temper Butterfield and Bouatta's claim that some continuum QFTs are ripe for metaphysical inquiry (Butterfield & Bouatta, 2014). (shrink)

Belief merging aims at combining several pieces of information coming from different sources. In this paper we review the works on belief merging of propositional bases. We discuss the relationship between merging, revision, update and confluence, and some links between belief merging and social choice theory. Finally we mention the main generalizations of these works in other logical frameworks.

A problem is a situation in which an agent seeks to attain a given goal without knowing how to achieve it. Human problem solving is typically studied as a search in a problem space composed of states (information about the environment) and operators (to move between states). A problem such as playing a game of chess has possible states, and a traveling salesperson problem with as little as 82 cities already has more than different tours (similar to chess). Biological neurons (...) are slower than the digital switches in computers. An exhaustive search of the problem space exceeds the capacity of current computers for most interesting problems, and it is fairly clear that humans cannot in their lifetime exhaustively search even small fractions of these problem spaces. Yet, humans play chess and solve logistical problems of similar complexity on a daily basis. Even for simple problems humans do not typically engage in exploring even a small fraction of the problem space. This begs the question: How do humans solve problems on a daily basis in a fast and efficient way? Recent work suggests that humans build a problem representation and solve the represented problem—not the problem that is out there. The problem representation that is built and the process used to solve it are constrained by limits of cognitive capacity and a cost–benefit analysis discounting effort and reward. In this article, we argue that better understanding the way humans represent and solve problems using heuristics can help inform how simpler algorithms and representations can be used in artificial intelligence to lower computational complexity, reduce computation time, and facilitate real-time computation in complex problem solving. (shrink)

The conceptual foundations, features, and scope of the notion of rationality are increasingly being affected by developments in embodied cognitive science. This article starts from the idea of embodied rationality, and aims to develop a frame in which a debate with the classical, possibly bounded, notion of rationality-as-consistency can take place. To this end, I develop a game theoretic description of a real time interaction setup in which participants' behaviors can be used to compare the enactive approach, which underlies embodied (...) rationality, with game theoretic approaches to human interaction. The Perceptual Crossing Paradigm is a minimal interaction interface where two participants each control an avatar on a shared virtual line, and are tasked with cooperatively finding each other among distractor objects. It is well known that the best performance on this task is obtained when both participants let their movements coordinate with the objects they encounter, which they do without any prior knowledge of efficient interaction strategies in the system. A game theoretic model of this paradigm shows that this task can be described as an Assurance game, which allows for comparing game theoretical approaches and the enactive approach on two main fronts. First, accounting for the ability of participants to interactively solve the Assurance game; second, accounting for the evolution of choice landscapes resulting from evolving normative realms in the task. Similarly to the series of paradoxes which have fueled debates in economics in the past century, this analysis aims to serve as an interpretation testbed which can fuel the current debate on rationality. (shrink)

ABSTRACT We consider in this work the problem of iterated belief revision. We propose a family of belief revision operators called revision with memory operators and we give a logical (both syntactical and semantical) characterization of these operators. They obey what we call the principle of strong primacy of update: when one revises his beliefs by a new evidence, then all possible worlds that satisfy this new evidence become more reliable than those that do not. We show that those operators (...) have a satisfying behaviour concerning the iteration of the revision process. Then we provide four particular operators of this family. (shrink)

This article traces the origins of Kenneth Wilson's conception of effective field theories (EFTs) in the 1960s. I argue that what really made the difference in Wilson's path to his first prototype of EFT are his long-standing pragmatic aspirations and methodological commitments. Wilson's primary interest was to work on mathematically interesting physical problems and he thought that progress could be made by treating them as if they could be analyzed in principle by a sufficiently powerful computer. The first point explains (...) why he had no qualms about twisting the structure of field theories; the second why he divided the state-space of a toy model field theory into continuous slices by following a standard divide-and-conquer algorithmic strategy instead of working directly with a fully discretized and finite theory. I also show how Wilson's prototype bears the mark of these aspirations and commitments and clear up a few striking ironies along the way. (shrink)

We propose the notion of a quasiminimal abstract elementary class. This is an AEC satisfying four semantic conditions: countable Löwenheim–Skolem–Tarski number, existence of a prime model, closure under intersections, and uniqueness of the generic orbital type over every countable model. We exhibit a correspondence between Zilber’s quasiminimal pregeometry classes and quasiminimal AECs: any quasiminimal pregeometry class induces a quasiminimal AEC, and for any quasiminimal AEC there is a natural functorial expansion that induces a quasiminimal pregeometry class. We show in particular (...) that the exchange axiom is redundant in Zilber’s definition of a quasiminimal pregeometry class. (shrink)

We initiate a systematic investigation of the abstract elementary classes that have amalgamation, satisfy tameness, and are stable in some cardinal. Assuming the singular cardinal hypothesis, we prove a full characterization of the stability cardinals, and connect the stability spectrum with the behavior of saturated models.We deduce that if a class is stable on a tail of cardinals, then it has no long splitting chains. This indicates that there is a clear notion of superstability in this framework.We also present an (...) application to homogeneous model theory: for [Formula: see text] a homogeneous diagram in a first-order theory [Formula: see text], if [Formula: see text] is both stable in [Formula: see text] and categorical in [Formula: see text] then [Formula: see text] is stable in all [Formula: see text]. (shrink)

In the setup of abstract elementary classes satisfying a local version of superstability, we prove the uniqueness property for μ‐forking, a certain independence notion arising from splitting. This had been a longstanding technical difficulty when constructing forking‐like notions in this setup. As an application, we show that the two versions of forking symmetry appearing in the literature (the one defined by Shelah for good frames and the one defined by VanDieren for splitting) are equivalent.

Jean Nicod (1893–1924) is a French philosopher and logician who worked with Russell during the First World War. His PhD, with a preface from Russell, was published under the title La géométrie dans le monde sensible in 1924, the year of his untimely death. The book did not have the impact he deserved. In this paper, I discuss the methodological aspect of Nicod’s approach. My aim is twofold. I would first like to show that Nicod’s definition of various notions of (...) equivalence between theories anticipates, in many respects, the (syntactic and semantic) model-theoretic notion of interpretation of a theory into another. I would secondly like to present the philosophical agenda that led Nicod to elaborate his logical framework: the defense of rationalism against Bergson’s attacks. (shrink)

Sébastien Roman | : Dans la Théorie de l’agir communicationnel, Jürgen Habermas élabore pour la première fois le modèle communicationnel, dans l’intention d’en faire la norme de toutes les pratiques langagières. Pour ce faire, il recourt aux analyses austiniennes sur l’illocution et la perlocution, dont il propose une réinterprétation qui prétend parvenir à leur donner un sens adéquat, et les distinguer clairement. Le présent article fait l’examen critique de cette prétention, et démontre que la pragmatique formelle habermassienne n’est pas convaincante. (...) | : In the Theory of Communicative Action, Jürgen Habermas, for the first time, develops the communicational model, with the intent to take it as the norm of language practices. To this end, he refers to John L. Austin’s analysis of illocutionary and perlocutionary acts, and proposes to reinterpret these notions in order to adequately define and clearly distinguish them. The present paper evaluates this Habermasian project, and shows that Habermas’ Formal Pragmatics is not convincing. (shrink)

This article on the epistemology of computational models stems from an analysis of the Gaia hypothesis (GH). It begins with James Kirchner’s criticisms of the central computational model of GH: Daisyworld. Among other things, the model has been criticized for being too abstract, describing fictional entities (fictive daisies on an imaginary planet) and trying to answer counterfactual (what-if) questions (how would a planet look like if life had no influence on it?). For these reasons the model has been considered not (...) testable and therefore not legitimate in science, and in any case not very interesting since it explores non actual issues. This criticism implicitly assumes that science should only be involved in the making of models that are ‘‘actual’’ (by opposition to what-if) and ‘‘specific’’ (by opposition to abstract). I challenge both of these criticisms in this article. First by showing that although the testability—understood as the comparison of model output with empirical data—is an important procedure for explanatory models, there are plenty of models that are not testable. The fact that these are not testable (in this restricted sense) has nothing to do with their being ‘‘abstract’’ or ‘‘what-if’’ but with their being predictive models. Secondly, I argue that ‘‘abstract’’ and ‘‘what-if’’ models aim at (respectable) epistemic purposes distinct from those pursued by ‘‘actual and specific models’’. Abstract models are used to propose how-possibly explanation or to pursue theorizing. What-if models are used to attribute causal or explanatory power to a variable of interest. The fact that they aim at different epistemic goals entails that it may not be accurate to consider the choice between different kinds of model as a ‘‘strategy‘‘. (shrink)

One of the most striking features of the epistemological situation of Quantum Mechanics is the number of interpretations and the many schools of thought, with no consensus on the way to understand the theory. In this article, I introduce a distinction between orthodox interpretations and heterodox interpretations of Quantum Mechanics: the orthodox interpretations preserve all the quantum principles while the heterodox interpretations replace at least one of them. Then, I argue that we have strong empirical and epistemological reasons to prefer (...) orthodox interpretations to heterodox interpretations. The first argument is that all the experiments on the foundations of Quantum Mechanics give a high degree of corroboration to the quantum principles and, consequently, to the orthodox interpretations. The second argument is that the scientific progress needs a consensus: this consensus is impossible with the heterodox interpretations, while it is possible with the orthodox interpretations. Giving the preference to the orthodox interpretations is a reasonable position which could preserve both a consensus on quantum principles and a plurality of views on Quantum Mechanics. (shrink)

This article has two purposes: first, to describe some archival discoveries about Nicod’s family background, academic development and political life; and second, to publish and comment on a newly discovered article by Nicod about Russell. This article acclaims not only Russell’s achievements in logic and philosophy—as one might expect from such a devoted protégé as Nicod—but also (albeit only in glimpses permitted by France’s wartime censorship) his anti-war politics and writings. As the reader will realize, the two objectives are connected: (...) what the archives reveal and what the article illustrates is a hitherto underappreciated level of political awareness and pacifist commitment in Nicod. (shrink)

Here we question the mechanisms underlying the emergence of the feeling of control that can be modulated even when the feeling of being the author of one’s own action is intact. With a haptic robot, participants made series of vertical pointing actions on a virtual surface, which was sometimes postponed by a small temporal delay (15 or 65 ms). Subjects then evaluated their subjective feeling of control. Results showed that after temporal distortions, the hand-trajectories were adapted effectively but that the (...) feeling of control decreased significantly. This was observed even in the case of subliminal distortions for which subjects did not consciously detect the presence of a distortion. Our findings suggest that both supraliminal and subliminal temporal distortions that occur within a healthy perceptual–motor system impact the conscious experience of the feeling of control of self-initiated motor actions. (shrink)

Theorem 0.1LetK\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbf {K}$$\end{document}be an abstract elementary class with amalgamation and no maximal models. Letλ>LS\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\lambda > {LS}$$\end{document}. IfK\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbf {K}$$\end{document}is categorical inλ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\lambda $$\end{document}, then the model of cardinalityλ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\lambda $$\end{document}is Galois-saturated.This answers a question asked independently by Baldwin and (...) Shelah. We deduce several corollaries: K\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbf {K}$$\end{document} has a unique limit model in each cardinal below λ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\lambda $$\end{document}, K\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbf {K}$$\end{document} is weakly tame below λ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\lambda $$\end{document}, and the thresholds of several existing categoricity transfers can be improved.We also prove a downward transfer of solvability :Corollary 0.2LetK\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbf {K}$$\end{document}be an AEC with amalgamation and no maximal models. Letλ>μ>LS\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\lambda> \mu > {LS}$$\end{document}. IfK\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbf {K}$$\end{document}is solvable inλ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\lambda $$\end{document}, thenK\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbf {K}$$\end{document}is solvable inμ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mu $$\end{document}. (shrink)

Birds produce different types of sounds in different contexts such as begging for food in youngsters, alerting to a danger, defending a territory or attracting a sexual partner. About half of the bird species are able to transform their vocalizations through imitation, improvisation or invention of sounds. Here we review the different experimental procedures that have been used to study the learning capacities of birds in the vocal domain and in the auditory domain, with a particular emphasis on recent technological (...) developments. Nowadays, it is possible to record individual vocalizations of birds living in social groups or to record continuously the vocal ontogeny of birdsong. In conditioning experiments, new paradigms have successfully replaced food rewards with a socio-sexual reward. It is possible to engage in vocal interactions with a bird using dedicated computer systems. In both the laboratory and more recently in the field, different techniques have been used to train young oscine songbirds to learn from acoustic models. The use of virtual social environments and robots as social agents are also promising avenues. All together, these new techniques will permit researchers to explore more deeply the umwelt of bird species. (shrink)