Qu'est-ce qu'un enseignement? Une pensée? Qu'autorisent-ils? À la suite de Claire Brunet, Sandra Laugier et Frédérique Ildefonse qui dirigent ce volume, d'anciens étudiants, aujourd'hui chercheurs renommés ou plus discrets, creusent à travers le sillon de leur discipline ce que leur a permis l'enseignement de leur maître commune à l'École normale supérieure. Les amitiés intellectuelles s'y joignent. Ce que l'on appelle communément communication dans le monde académique devient texte. Tous, en creux, décrivent l'influence d'un enseignement, la liberté qu'il permet à des (...) esprits pour s'épanouir et nous laissent découvrir un portrait intellectuel d'une grande originalité. La pensée de Claude Imbert, philosophe, logicienne, longtemps directrice du département de philosophie de la rue d'Ulm, n'a pas les honneurs médiatiques français en sus des "académiques" d'usage. S'y prêterait-elle? Pourtant, la philosophe française est depuis plus de vingt ans lue, reçue et écoutée dans les universités du monde entier, des Etats-Unis à la Chine en passant par l'Amérique du Sud. Tous les textes rassemblés ici, comme autant de variations, sans jamais le dire, souhaitent contribuer à la reconnaissance de l'oeuvre. Un inédit "Ne rien oublier et tout apprendre" de la philosophe et un texte de Pascalle Monnier, écrivain, accompagnent le volume."--Page 4 of cover. (shrink)

There is a hint of paradox in opening this collection of texts on the procedures for totalizing knowledge in Antiquity by calling to witness the Platonic dialogues. What might they contribute, besides a critique of Sophistic polymathy, Socrates’ nescience, his way of jumping in and interrupting long discourses, the disconcerting interlude of preliminary questions, and the aporetic collapses? A host of questions does not make a book, much less a library - unless the Socratic stratagem defines some entirely new conditions, (...) or unless Plato's argument authorizes, beyond a program of study, a way of constituting knowledge with its hierarchized elements and the articulations called for by this program. A few remarks are in order here. (shrink)

Tolkien is one of our most beloved fantasy writers. Such was the power of his imagination that much has been written on his invented world, languages, and myth. This book is an invitation to tread the paths of Tolkien's realm, exploring three regions of his work: language, myth, and imagination. We will be looking for a path leading to a summit from where we can view Tolkien's whole realm. Yannick Imbert argues that we can gain such a view only (...) if we understand Tolkien's philosophical theology, his Thomism. To attain this vantage point and better understand the genius of his Middle Earth, readers journey with Tolkien through his academic, personal, and theological milieu, which together formed his Thomistic imagination."--Amazon. (shrink)

Experiments (E), computer simulations (CS) and thought experiments (TE) are usually seen as playing different roles in science and as having different epistemologies. Accordingly, they are usually analyzed separately. We argue in this paper that these activities can contribute to answering the same questions by playing the same epistemic role when they are used to unfold the content of a well-described scenario. We emphasize that in such cases, these three activities can be described by means of the same conceptual framework—even (...) if each of them, because they involve different types of processes, fall under these concepts in different ways. We further illustrate our claims by presenting a threefold case study describing how a TE, a CS and an E were indeed used in the same role at different periods to answer the same questions about the possibility of a physical Maxwellian demon. We also point at fluid dynamics as another field where these activities seem to be playing the same unfolding role. We analyze the importance of unfolding as a general task of science and highlight how our description in terms of epistemic functions articulates in a noncommittal way with the epistemology of these three activities and accounts for their similarities and the existence of hybrid forms of activities. We finally emphasize that picturing these activities as functionally substitutable does not imply that they are epistemologically substitutable. (shrink)

Whereas computer simulations involve no direct physical interaction between the machine they are run on and the physical systems they are used to investigate, they are often used as experiments and yield data about these systems. It is commonly argued that they do so because they are implemented on physical machines. We claim that physicality is not necessary for their representational and predictive capacities and that the explanation of why computer simulations generate desired information about their target system is only (...) to be found in the detailed analysis of their semantic levels. We provide such an analysis and we determine the actual consequences of physical implementation for simulations. (shrink)

Epistemic accounts of scientific collaboration usually assume that, one way or another, two heads really are more than twice better than one. We show that this hypothesis is unduly strong. We present a deliberately crude model with unfavorable hypotheses. We show that, even then, when the priority rule is applied, large differences in successfulness can emerge from small differences in efficiency, with sometimes increasing marginal returns. We emphasize that success is sensitive to the structure of competing communities. Our results suggest (...) that purely epistemic explanations of the efficiency of collaborations are less plausible but have much more powerful socioepistemic versions. (shrink)

Special issue. With contributions by Anouk Barberouse, Sarah Francescelli and Cyrille Imbert, Robert Batterman, Roman Frigg and Julian Reiss, Axel Gelfert, Till Grüne-Yanoff, Paul Humphreys, James Mattingly and Walter Warwick, Matthew Parker, Wendy Parker, Dirk Schlimm, and Eric Winsberg.

The persistent pervasiveness of inappropriately small studies in empirical fields is regu-larly deplored in scientific discussions. Consensually, taken individually, higher-powered studies are more likely to be truth-conducive. However, are they also beneficial for the wider performance of truth-seeking communities? We study the impact of sample sizes on collective exploration dynamics under ordinary conditions of resource limita-tion. We find that large collaborative studies, because they decrease diversity, can have detrimental effects in certain realistic circumstances that we characterize precisely. We show how (...) limited inertia mechanisms may partially solve this pooling dilemma and dis-cuss our findings briefly in terms of editorial policies. (shrink)

The roles models play in science have long been recognised and sparked rich and varied philosophical debates. In recent years attention has also been paid to the computational techniques used in the sciences, and the question arose what the implications were of the use of computer simulations for our understanding of scientific modelling, and science more generally. This was the subject of the conference “Models and Simulations”, which took place at the IHPST in Paris in June 2006. Selected papers of (...) that conference appeared in a special issue of this journal (Synthese 169(3) (2009)). After the conference there was a general feeling that there still was much ground to cover, and so we decided to organize a follow up a year later. “Models and Simulations 2” took place in October 2007 at the Tilburg Center for Logic and Philosophy of Science (TiLPS) in the Netherlands. The conference was made possible due to generous financial support from IHPST (Paris, CNRS), Universitat de Barcelona, TiLPS (Tilburg Center for Logic and Philosophy of Science) and the Evert Willem Beth Foundation. The papers in this special issue were presented at the conference and selected after a double-blind review process. We would like to thank the authors and referees of the papers for their work, and Vincent Hendricks and John Symons for their support of the project of another special issue on models and simulations. (shrink)

Scientific models need to be investigated if they are to provide valuable information about the systems they represent. Surprisingly, the epistemological question of what enables this investigation has hardly been investigated. Even authors who consider the inferential role of models as central, like Hughes or Bueno and Colyvan, content themselves with claiming that models contain mathematical resources that provide inferential power. We claim that these notions require further analysis and argue that mathematical formalisms contribute to this inferential role. We characterize (...) formalisms, illustrate how they extend our mathematical resources, and highlight how distinct formalisms offer various inferential affordances. (shrink)

For two centuries, collaborative research has become increasingly widespread. Various explanations of this trend have been proposed. Here, we offer a novel functional explanation of it. It differs from ac- counts like that of Wray by the precise socio-epistemic mech- anism that grounds the beneficialness of collaboration. Boyer-Kassem and Imbert show how minor differences in the step-efficiency of collaborative groups can make them much more successful in particular configurations. We investigate this model further, derive robust social patterns concerning the (...) general successfulness of collaborative groups, and argue that these patterns can be used to defend a general functional account. (shrink)

Writing from a scientifically and philosophically informed perspective, the authors provide a critical overview of the conceptual difficulties encountered in many current neuroscientific and psychological theories.

We analyze the effects of the introduction of new mathematical tools on an old branch of physics by focusing on lattice fluids, which are cellular automata -based hydrodynamical models. We examine the nature of these discrete models, the type of novelty they bring about within scientific practice and the role they play in the field of fluid dynamics. We critically analyze Rohrlich's, Fox Keller's and Hughes' claims about CA-based models. We distinguish between different senses of the predicates “phenomenological” and “theoretical” (...) for scientific models and argue that it is erroneous to conclude, as they do, that CA-based models are necessarily phenomenological in any sense of the term. We conversely claim that CA-based models of fluids, though at first sight blatantly misrepresenting fluids, are in fact conservative as far as the basic laws of statistical physics are concerned and not less theoretical than more traditional models in the field. Based on our case-study, we propose a general discussion of the prospect of CA for modeling in physics. We finally emphasize that lattice fluids are not just exotic oddities but do bring about new advantages in the investigation of fluids' behavior. (shrink)

Cette édition numérique a été réalisée à partir d'un support physique, parfois ancien, conservé au sein du dépôt légal de la Bibliothèque nationale de France, conformément à la loi n° 2012-287 du 1er mars 2012 relative à l'exploitation des Livres indisponibles du XXe siècle. Quelle sera la fonction d'une logique si le formalisme l'oblitère? On l'a caractérisée sur deux états disjoints : la phénoménologie catégoriale, dont Kant avait épuisé les ressources, et le formulaire quantificationnel. « Copyright Electre » Pages de (...) début Avant-propos - Des dimensions intelligibles Première partie - La seconde navigation Présentation Chapitre premier - Le prix de l'expérience Chapitre II - Logique, histoire formalisation Chapitre III - La logique stoïcienne et la construction du récit Chapitre IV - La dissidence des preuves Deuxième partie - Mises au point Chapitre V - Catégories, apophantique, énonciation Chapitre VI - La vérité d'Aristote et la vérité de Tarski Chapitre VII - Port-Royal et la géométrie des modalités subjectives Chapitre VIII - La philosophie critique et l'énigme du jugement de gout Troisième partie - Perspectives Chapitre IX - De l'expression et de ses recommencements Chapitre X - Le roman grec. Du protreptique à l'éducation sentimentale Chapitre XI - Ce que dit le « menteur crétois », cet agent double Chapitre XII - Entre logique naturelle et intelligence artificielleChapitre XIII - Logique, grammaire, style Index nominum Pages de fin. (shrink)

A long-standing theme in discussion of perception and thought has been that our primary cognitive contact with individual objects and events in the world derives from our perceptual contact with them. When I look at a duck in front of me, I am not merely presented with the fact that there is at least one duck in the area, rather I seem to be presented withthisthing (as one might put it from my perspective) in front of me, which looks to (...) me to be a duck. Furthermore, such a perception would seem to put me in a position not merely to make the existential judgment that there is some duck or other present, but rather to make a singular, demonstrative judgment, that that is a duck. My grounds for an existential judgment in this case derives from my apprehension of the demonstrative thought and not vice versa. (shrink)

Why are some models, like the harmonic oscillator, the Ising model, a few Hamiltonian equations in quantum mechanics, the poisson equation, or the Lokta-Volterra equations, repeatedly used within and across scientific domains, whereas theories allow for many more modeling possibilities? Some historians and philosophers of science have already proposed plausible explanations. For example, Kuhn and Cartwright point to a tendency toward conservatism in science, and Humphreys emphasizes the importance of the intractability of what he calls “templates.” This paper investigates more (...) systematically the reasons for this remarkable interdisciplinary recurrence. To this aim, the authors describe in more detail the phenomenon they focus on and review competing potentialexplanations. The authors disentangle the various assumptions underlying these explanations based on sensitivity to a computational constraints and assess its relationships with the other analyzed explanatons. (shrink)

Cellular Automata (CA) based simulations are widely used in a great variety of domains, fromstatistical physics to social science. They allow for spectacular displays and numerical predictions. Are they forall that a revolutionary modeling tool, allowing for “direct simulation”, or for the simulation of “the phenomenon itself”? Or are they merely models "of a phenomenological nature rather than of a fundamental one”? How do they compareto other modeling techniques? In order to answer these questions, we present a systematic exploration of (...) CA’s various uses. (shrink)

ABSTRACTDeliberative and decisional groups play crucial roles in most aspects of social life. But it is not obvious how to organize these groups and various socio-cognitive mechanisms can spoil debates and decisions. In this paper we focus on one such important mechanism: the misrepresentation of views, i.e. when agents express views that are aligned with those already expressed, and which differ from their private opinions. We introduce a model to analyze the extent to which this behavioral pattern can warp deliberations (...) and distort the decisions that are finally taken. We identify types of situations in which misrepresentation can have major effects and investigate how to reduce these effects by adopting appropriate deliberative procedures. We discuss the beneficial effects of holding a sufficient number of rounds of expression of views; choosing an appropriate order of speech, typically a random one; rendering the deliberation dissenter-friendly; having agents express fined-grained views. These applicable procedures help improve deliberations because they dampen conformist behavior, give epistemic minorities more opportunities to be heard, and reduce the number of cases in which an inadequate consensus or majority develops. (shrink)

This book defends antitheodicism, arguing that theodicies, seeking to excuse God for evil and suffering in the world, fail to ethically acknowledge the victims of suffering. The authors argue for this view using literary and philosophical resources, commencing with Immanuel Kant's 1791 "Theodicy Essay" and its reading of the Book of Job. Three important twentieth century antitheodicist positions are explored, including "Jewish" post-Holocaust ethical antitheodicism, Wittgensteinian antitheodicism exemplified by D.Z. Phillips and pragmatist antitheodicism defended by William James. The authors argue (...) that these approaches to evil and suffering are fundamentally Kantian. Literary works such as Franz Kafka'sThe Trial, Samuel Beckett's Waiting for Godot, and George Orwell's Nineteen Eighty-Four, are examined in order to crucially advance the philosophical case for antitheodicism. (shrink)

Temporal Logic: From Ancient Ideas to Artificial Intelligence deals with the history of temporal logic as well as the crucial systematic questions within the field. The book studies the rich contributions from ancient and medieval philosophy up to the downfall of temporal logic in the Renaissance. The modern rediscovery of the subject, which is especially due to the work of A. N. Prior, is described, leading into a thorough discussion of the use of temporal logic in computer science and the (...) understanding of natural language. Temporal Logic: From Ancient Ideas to Artificial Intelligence thus interweaves linguistic, philosophical and computational aspects into an informative and inspiring whole. (shrink)

In his last book, David Armstrong sets out his metaphysical system in a set of concise and lively chapters each dealing with one aspect of the world. He begins with the assumption that all that exists is the physical world of space-time. On this foundation he constructs a coherent metaphysical scheme that gives plausible answers to many of the great problems of metaphysics. He gives accounts of properties, relations, and particulars; laws of nature; modality; abstract objects such as numbers; and (...) time and mind. (shrink)

Various errors can affect scientific code and detecting them is a central concern within computational science. Could formal verification methods, which are now available tools, be widely adopted to guarantee the general reliability of scientific code? After discussing their benefits and drawbacks, we claim that, absent significant changes as regards features like their user-friendliness and versatility, these methods are unlikely to be adopted throughout computational science, beyond certain specific contexts for which they are well-suited. This issue exemplifies the epistemological heterogeneity (...) of computational science: profoundly different practices can be appropriate to meet the reliability challenge that rises for scientific code. (shrink)

According to Woodward’s causal model of explanation, explanatory information is relevant for manipulation purposes and indicates by means of invariant causal relations how to change the value of certain target explanandum variables by intervening on others. Therefore, the depth of an explanation is evaluated through the size of the domain of invariance of the generalization involved. In this article, I argue that Woodward’s account of explanatory relevance is still unsatisfactory and claim that the depth of an explanation should be explicated (...) in terms of the size of the domain of circumstances which it designates as leaving the explanandum unchanged. (shrink)

Is consciousness a purely physical phenomenon? Most contemporary philosophers and theorists hold that it is, and take this to be supported by modern science. But a significant minority endorse non-physicalist theories such as dualism, idealism and panpsychism, among other reasons because it may seem impossible to fully explain consciousness, or capture what it's like to be in conscious states (such as seeing red, or being in pain), in physical terms. This Element will introduce the main non-physicalist theories of consciousness and (...) explain the most important arguments for them, and consider how they each respond to the scientific and other arguments in support of physicalism. This title is also available as Open Access on Cambridge Core. (shrink)

Western democracy is now at a critical juncture. Some worry that power has been wrested from the people and placed in the hands of a small political elite. Others argue that the democratic system gives too much power to a populace that is largely ill-informed and easily swayed by demagogues. This classic study of democratic principles is thus now more relevant than ever. A renowned historian of antiquity and political philosophy, Sir M.I. Finley offers a comparative analysis of Greek and (...) modern conceptions of democracy. As he puts the ancient Greeks in dialogue with their contemporary counterparts, Finley tackles some of the most pressing issues of our day, including public apathy, partisanship, consensus politics, distrust of professional politicians, and the limits of free speech. Including three lectures that Finley delivered at Rutgers University, plus two additional essays that further illuminate his thinking, _Democracy Ancient and Modern _explores the dramatic differences between the close-knit civil society of the ancient Greeks and our own atomized mass societies. By mapping out democracy’s past and its present manifestations, this book helps us plot a course for democracy’s future. (shrink)

In this paper, I criticize Bedau's definition of `diachronically emergent properties', which says that a property is a DEP if it can only be predicted by a simulation and is nominally emergent. I argue at length that this definition is not complete because it fails to eliminate trivial cases. I discuss the features that an additional criterion should meet in order to complete the definition and I develop a notion, salience, which together with the simulation requirement can be used to (...) characterize DEPs. In the second part of the paper, I sketch this notion. Basically, a property is salient when one can find an indicator, namely a descriptive function, that is such that its fitting description shifts from one elementary mathematical object to another when the property appears. Finally, I discuss restrictions that must be brought to what can count as DFs and EMOs if the definition of salience is to work and be non trivial. I conclude that salience can complete the definition of DEPs. (shrink)

Computer simulations are usually considered to be non-explanatory because, when a simulation reveals that a property is instantiated in a system, it does not enable the exact identification of what it is that brings this property out (relevance requirement). Conversely, analytical deductions are widely considered to yield explanations and understanding. In this paper, I emphasize that explanations should satisfy the relevance requirement and argue that the more they do so, the more they have explanatory value. Finally, I show that this (...) emphasis on relevance has the unexpected consequence that simulations can sometimes be explanatory. (shrink)

Kant prit pour pivot de la révolution copernicienne l'immutabilité d'une table qui portait toute l'autorité du classicisme et révélait les opérations secrètes d'un sensus communis logicus. La logique n'avait pas d'histoire. Après la rupture introduite par la logique mathématique et pour la conjurer, on s'est intéressé à son histoire comme présentant autant de variétés d'une même forme. Mais la forme, terme homonyme entre l'eidos platonicien et la syntaxe moderne, gardait l'écorce sans le fruit, oubliant que l'héritage grec avait fructifié ailleurs, (...) dans les arts et dans les sciences et vivait précisément de ses métamorphoses. Le projet de Platon, accompli par le stoïcisme, donne la mesure de l'héritage athénien. L'épisode ouvert par Frege laissait un tout autre avenir que de choisir entre la formalisation ou le silence. Car la logique mathématique, liée à l'histoire de l'algèbre et de la calculabilité, ménageait la place pour une activité philosophique délivrée à son tour des opérations obscures du sens commun et consciente de ses symbolismes. Ce qui redonne sens aux réformes de l'entendement, opération philosophique essentielle et constante, contre les méthodes supposées régir toutes les manières de la connaissance. Cette autre histoire se trame de Port-Royal, à d'Alembert, Wittgenstein, Cavaillès et Merleau-Ponty. La connaissance s'y trouve servie par la diversité de ses supports, y compris styles et syntaxes, tous inscrits sur le palimpseste des opérations inconscientes qui précèdent toute épistémologie. (shrink)

The ideal introduction for students of semantics, Lexical Meaning fills the gap left by more general semantics textbooks, providing the teacher and the student with insights into word meaning beyond the traditional overviews of lexical relations. The book explores the relationship between word meanings and syntax and semantics more generally. It provides a balanced overview of the main theoretical approaches, along with a lucid explanation of their relative strengths and weaknesses. After covering the main topics in lexical meaning, such as (...) polysemy and sense relations, the textbook surveys the types of meanings represented by different word classes. It explains abstract concepts in clear language, using a wide range of examples, and includes linguistic puzzles in each chapter to encourage the student to practise using the concepts. 'Adopt-a-Word' exercises give students the chance to research a particular word, building a portfolio of specialist work on a single word. (shrink)

: Frege's philosophical writings, including the "logistic project," acquire a new insight by being confronted with Kant's criticism and Wittgenstein's logical and grammatical investigations. Between these two points a non-formalist history of logic is just taking shape, a history emphasizing the Greek and Kantian inheritance and its aftermath. It allows us to understand the radical change in rationality introduced by Gottlob Frege's syntax. This syntax put an end to Greek categorization and opened the way to the multiplicity of expressions producing (...) their own intelligibility. This article is based on more technical analyses of Frege which Claude Imbert has previously offered in other writings (see references). (shrink)

Frege's philosophical writings, including the “logistic project,” acquire a new insight by being confronted with Kant's criticism and Wittgenstein's logical and grammatical investigations. Between these two points a non-formalist history of logic is just taking shape, a history emphasizing the Greek and Kantian inheritance and its aftermath. It allows us to understand the radical change in rationality introduced by Gottlob Frege's syntax. This syntax put an end to Greek categorization and opened the way to the multiplicity of expressions producing their (...) own intelligibility. This article is based on more technical analyses of Frege which Claude Imbert has previously offered in other writings. (shrink)

Frege's philosophical writings, including the “logistic project,” acquire a new insight by being confronted with Kant's criticism and Wittgenstein's logical and grammatical investigations. Between these two points a non-formalist history of logic is just taking shape, a history emphasizing the Greek and Kantian inheritance and its aftermath. It allows us to understand the radical change in rationality introduced by Gottlob Frege's syntax. This syntax put an end to Greek categorization and opened the way to the multiplicity of expressions producing their (...) own intelligibility. This article is based on more technical analyses of Frege which Claude Imbert has previously offered in other writings. (shrink)