We study the existence of efficient approximation methods to verify quantitative specifications of probabilistic systems. Models of such systems are labelled discrete time Markov chains and checking specifications consists of computing satisfaction probabilities of linear temporal logic formulas. We prove that, in general, there is no polynomial time randomized approximation scheme with relative error for probabilistic verification. However, in many applications, specifications can be expressed by monotone formulas or negation of monotone formulas and randomized approximation schemes with absolute error are (...) sufficient. We show how some simple randomized approximation algorithms can improve the efficiency of verification of such probabilistic specifications and can be implemented in a probabilistic model checker. (shrink)

In this collection of essays, Bromberger explores the centrality of questions and predicaments they create in scientific research. He discusses the nature of explanation, theory, and the foundations of linguistics.

This paper studies ‘minority’ initiatives to organize sports games. A meta-analysis of published data in the literature identifies the formal appearance taken by each of these initiatives under the Olympic model. But it also conduces to build a number of indicators to answer a series of questions about their logic and strategies. All the initiatives studied are based on an ambivalent posture that, while based on the denunciation of a discriminating space, claim access to it. By an astonishing paradox, ‘non-normative’ (...) actors are driven to reclaim a model that, under cover of Universal, aims to establish a norm that is situated and dated. In practice, they use two types of strategies: a strategy for participation in the Olympics to transform them into a space which represents a fight against exclusion, or a strategy to create alternative events. Whatever the strategy, these initiatives are implemented according to their objectives. Differentiated in their forms—participatory or autonomy—they are also in their purpose. The comparison of these initiatives shows that ultimately, beyond strategies and logic inherent in different social, historical and organizational contexts, the mobilizations of the actors reveal the same ambivalence about the sports model conveyed by the Olympic institution. (shrink)

Durant la fin des années 1940, les sections de sport et le comité national olympique soviétique intègrent les fédérations et le Comité international olympique, ce qui leur permet de prendre part aux compétitions et à la communauté mondiale des sportifs. Très vite, les championnes d’URSS remportent de francs succès. La participation soviétique y a une double fonction dans la « politique extérieure de l’image » (R. Frank). D’une part, elle donne à voir les succès en matière d’égalité femmes-hommes. D’autre part, (...) elle permet d’obtenir des médailles, essentielles à la mesure de la suprématie soviétique en matière de sport. Cet article étudie la manière dont l’administration et les médias soviétiques ont construit – en pratique et en représentations – la supériorité sportive féminine soviétique en interaction avec l’étranger. Loin d’être isolés, les acteurs du sport soviétique s’adaptent aux règlements internationaux, aux réactions que les performances des athlètes d’URSS suscitent et aux controverses qui surgissent dans la presse de l’adversaire. (shrink)

L'une des tâches séculaires de la philosophie est de surmonter ce que Locke nommait l'abus des mots; le dictionnaire des ntions s'efforce de l'accomplir en présentant une technologie des réseaux sémantiques.

Cet ouvrage est le tout premier à proposer un tour d'horizon historique et systématique des multiples conceptions phénoménologiques du mouvement. Après une introduction qui s'efforce de retracer la 'Begriffs- und Wirkungsgeschichte' de cette notion de mouvement, et par là de montrer comment elle fut longtemps l'apanage de la philosophie de la nature avant que la phénoménologie ne s'en empare et lui rétrocède toute sa dimension subjective et charnelle, les auteurs livrent une série d'analyses détaillées qui se répartissent en deux grandes (...) parties. Dans la première, il s'agit d'examiner critiquement le traitement que des penseurs-clés lui ont réservé. Sont ainsi étudiés le sens et la portée des notions de kinesthèse, de géostatisme et d'a priori matériel chez Husserl, mais également le concept de mobilité chez Heidegger, la dynamique de l'existence chez Patocka ou encore l'interprétation merleau-pontienne du cas Schneider. Dans la seconde partie, il est davantage question d'explorer de nouvelles voies, d'articuler des usages neufs et de développer des interprétations inédites du mouvement à partir de la méthode et de la conceptualité phénoménologiques, en dialogue avec les sciences cognitives, la religion et les arts - en l'occurrence la danse. L'ensemble pose ainsi les jalons pour une approche phénoménologique renouvelée du mouvement vécu. (shrink)

Fruit d'un colloque tenu en 2010 dans la ville de Budapest, cet ouvrage collectif introduit aux grands chapitres de l'oeuvre de l'académicien en même temps qu'elle lui adresse certaines questions permettant d'en mieux saisir les enjeux et d'en indiquer quelques prolongements possibles. Cartésianisme, phénoménologie et théologie : telles sont les trois voies thématiques empruntées afin d'interroger un travail qui a su se rendre indispensable à son époque.

Dans cet article nous esquisserons les contours d’une phénoménologie de ce que nous appellerons la tolérance « active » conçue comme une attitude consistant en l’approbation du comportement et des codes culturels d’autrui, par opposition à une tolérance « passive » plus proche de la définition classique de la tolérance comme pâtir. Pour ce faire nous nous appuierons sur un essai (1965) du phénoménologue germano-américain Herbert Spiegelberg consacré précisément à une phénoménologie de l’approbation (ou de l’appréciation). Notre principal objectif sera (...) de décrire aussi précisément que possible la structure intentionnelle relativement complexe de l’acte au cœur de la tolérance active et de le distinguer d’autres types d’acte apparemment similaires en mettant au jour ses fondements dans des états-de-choses axiologiques. Notre objectif secondaire sera de réfléchir à la manière dont cette analyse peut nourrir une phénoménologie interculturelle. (shrink)

Bien que le thème de la volonté soit l’un des plus explorés depuis l’Antiquité tardive, le concept même du vouloir et le champ phénoménal qu’il désigne n’ont que rarement fait l’objet d’une recherche philosophique systématique, et, lorsque c’est le cas, comme chez Ricoeur ou Arendt, Schelling n’est pas suffisamment pris en considération. Tel est le constat dont part Philipp Höfele et qui justifie l’intérêt et l’importance de cette étude issue de sa thèse de doctorat. Le but de Höfele est donc...

Evaluation of an accompanying collaborative device is a sensitive element that questions in particular the effect of the accompanying people. The literature has relied in particular on the notion of socio-cognitive conflict to support this perspective. In this article, we study the specific case of a collaborative device for veterinary student guidance with the collaboration of teachers and vet practitioners. The proposed mixed evaluation of the process and these effects shed light on the roles of these professionals from an animatic (...) perspective of groups. The asymmetries of status, the roles defined, and the social climate specific to the generation of a socio-cognitive conflict appear as essential in any accompanying collaborative device. (shrink)

Ce texte est consacré à la conception de la liberté absolue chez Schelling, telle qu’elle est exposée dans les Weltalter et accomplie dans la philosophie tardive. À partir d’une élucidation des rapports entre liberté, nécessité et contingence, nous souhaitons montrer que Schelling parvient à développer un nouveau concept de liberté absolue qui d’une part ne concerne pas seulement Dieu mais aussi l’homme, et qui d’autre part dépasse la liberté kantienne comme autonomie et autodétermination, mais aussi la liberté de l’É crit (...) sur la liberté de 1809 comme « pouvoir du bien et du mal ». En outre, nous soutenons que la liberté du Dieu « Seigneur de l’être » de la philosophie de Munich et Berlin se distingue de celle du Dieu seulement « sur-étant » des Weltalter. Seule la « liberté d’être et de ne pas être » du « Seigneur de l’être » représente une forme de liberté à laquelle l’homme peut et doit tendre, une liberté non pas de l’auto-anéantissement, mais du don de soi, liberté suprême qui n’est autre que celle de l’amour. (shrink)

This book provides a comprehensive commentary of the Philebus designed to shed light on the nature and function of the good in Plato’s philosophy as a whole. Topics discussed include dialectic, pleasure, epistemology, and the relations between metaphysics and ethics.

Neuroconstructivism: How the Brain Constructs Cognition proposes a unifying framework for the study of cognitive development that brings together (1) constructivism (which views development as the progressive elaboration of increasingly complex structures), (2) cognitive neuroscience (which aims to understand the neural mechanisms underlying behavior), and (3) computational modeling (which proposes formal and explicit specifications of information processing). The guiding principle of our approach is context dependence, within and (in contrast to Marr [1982]) between levels of organization. We propose that three (...) mechanisms guide the emergence of representations: competition, cooperation, and chronotopy; which themselves allow for two central processes: proactivity and progressive specialization. We suggest that the main outcome of development is partial representations, distributed across distinct functional circuits. This framework is derived by examining development at the level of single neurons, brain systems, and whole organisms. We use the terms encellment, embrainment, and embodiment to describe the higher-level contextual influences that act at each of these levels of organization. To illustrate these mechanisms in operation we provide case studies in early visual perception, infant habituation, phonological development, and object representations in infancy. Three further case studies are concerned with interactions between levels of explanation: social development, atypical development and within that, developmental dyslexia. We conclude that cognitive development arises from a dynamic, contextual change in embodied neural structures leading to partial representations across multiple brain regions and timescales, in response to proactively specified physical and social environment. (shrink)

Dans des écrits datant des années 1277-79, le théologien franciscain Pierre de Jean Olivi emploie à cinq reprise le mot averroista, pour critiquer, non pas tant la doctrine de l'unicité de l'intellect possible que ses implications anthropologiques ou angélologiques. Cette critique bien informée, convergente avec d'autres attaques franciscaines, notamment les dénonciations de Roger Bacon, démontre la réalité et l'ampleur d'une entreprise philosophique menée par des maîtres ès arts, s'inspirant d'Averroès, dans les années 1260-70 ; elle indique aussi la diversité de (...) leurs points de vue. Dès son apparition, il n'y a donc pas un, mais plusieurs 'averroïsmes' latin. (shrink)

"La grande question métaphysique aujourd'hui, en matière de langage, est de savoir si un modèle computationnel suffit à expliquer le comportement linguistique humain. Est-ce que la faculté de langage de chacun d'entre nous et plus spécialement sa compétence linguistique, s'explique parce que nous avons des algorythmes implémentés dans notre tête? Cette question appartient de plein droit à la philosophie de la linguistique. Elle a une vaste portée. En aval, elle concerne la représentation d'une bonne partie du comportement humain, selon le (...) modèle qu'en donnent les cognitivistes de stricte obédience. En amont, elle concerne tout simplement le vieux débat de théorie de la connaissance entre le rationalisme et l'empirisme. L'objet de ce livre est une critique fouillée du rationalisme dans ses fondements linguistiques. Il prend donc la forme d'une analyse de la nature du savoir linguistique et de celle du langage.... Il s'agit de constituer les bases d'une nouvelle version de l'empirisme que nous pouvons baptiser externalisme. Les résultats développés dans ce livre concernent principalement la théorie de la science et celle du langage. La thèse ultime de l'externalisme c'est que l'esprit lui-même est d'essence historique et empirique." Extrait de l'introduction. (shrink)

French student teachers are provided with initial training which sometimes offers them an analysis of the situations they may be confronted with when teaching in their classrooms. This research work focuses on a specific device : Training Groups Analysing Professional Practices. It consists in presenting the analysis group organizers’ opinion (collected from semi-structured interviews) as well as that of the student teachers (collected via self-administered questionnaires) during three school years. It also highlights the idea that the analysis of professional practices (...) sessions contribute to vocational training: these sessions aim at grasping the complexity of the act of teaching and they allow the student teachers to receive coaching in their first year of teaching. (shrink)

In a famous fragment of the Pensées, Pascal explains that it is through the heart that we know first principles. But what is the meaning of this knowledge? The editors of Port-Royal took the radical decision to replace the occurrences of “heart” in this fragment with the expression “feeling and intelligence [sentiment et intelligence]”, thus marking the equivalence of these two notions. However, given that Pascal contrasts the heart with reason, and that intelligence is, for both Pascal and Descartes, synonymous (...) with reason, how are we to understand this modification? Some commentators have seen it as an absurdity, proving that it could not have been made by interpreters like Arnauld and Nicole. In this article, I first show, on the contrary, that it is precisely a chapter of the second edition of The Logic of Port-Royal that offers the key to the difficulty. While Arnauld and Nicole are faithful to the Cartesian synonymy of intelligence and reason everywhere else, in this chapter they distinguish between these two notions, taking Descartes’ distinction between intuitus and reason from the Rules for the Direction of the Mind. Secondly, I contest this interpretation of the Pascalian heart: the heart, as an originally passive capacity of feeling, differs from the Cartesian intuitus. (shrink)

During the course of evolution, variations of a protein sequence is an ongoing phenomenon however limited by the need to maintain its structural and functional integrity. Deciphering the evolutionary path of a protein is thus of fundamental interest. With the development of new methods to visualize high dimension spaces and the improvement of phylogenetic analysis tools, it is possible to study the evolutionary trajectories of proteins in the sequence space. Using the data-driven high-dimensional scaling method, we show that it is (...) possible to predict and represent potential evolutionary trajectories by representing phylogenetic trees into a 3D projection of the sequence space. With the case of the aminodeoxychorismate synthase, an enzyme involved in folate synthesis, we show that this representation raises interesting questions about the complexity of the evolution of a given biological function, in particular concerning its capacity to explore the sequence space. (shrink)

Autour de 1100, pour les jeunes femmes de l’aristocratie éduquées dans des monastères, l’écriture de lettres d’amour fictives à leur maître de rhétorique constituait un apprentissage aussi bien littéraire qu’émotionnel. Comme le rappelle Barbara Newman, les Epistolae duorum amantium, correspondance échangée par Héloïse et Pierre Abélard durant leur liaison, doivent se comprendre dans cette lumière. Leur singularité tient largement au fait qu’Héloïse a choisi de donner corps à une figure poétique, en s’identifiant aux héroïnes tragiques d’Ovide.

Cet article étudie le rapport particulier établi par Plotin entre deux notions, l’antilêpsis et la phantasia, pour penser la prise de conscience par l’âme de certains «objets» et de certaines activités. Car celle-ci pose un problème que Plotin a formulé clairement, à la fin du traité 10 (V, 1), sans lui trouver encore de solution absolument satisfaisante. Si l’antilêpsis a besoin de la phantasia pour s’exercer, peut-il en être de même pour les activités supérieures de l’âme dont elle voudrait prendre (...) conscience, puisque la phantasia se rattache à la sensation dont elle est issue? La question est alors de savoir si les réalités supérieures échappent à toute conscience ou si cette dernière peut les saisir, au moins sous la forme qui lui est propre. On cherchera ici à exposer les aspects principaux de ce problème, mais surtout, à partir de textes tirés des traités 27 (IV, 3) et 46 (I, 4), à saisir la solution que Plotin lui apporte. (shrink)