In the context of Multiple criteria decision analysis, we present the necessary and sufficient conditions allowing to represent an ordinal preferential information provided by the decision maker by a Choquet integral w.r.t a 2-additive capacity. We provide also a characterization of this type of preferential information by a belief function which can be viewed as a capacity. These characterizations are based on three axioms, namely strict cycle-free preferences and some monotonicity conditions called MOPI and 2-MOPI.

ABSTRACT In recent years, debates on same-sex marriage and the recognition of transwomen as women have been raging. These debates often seem to revolve around the meaning of, respectively, the word ‘marriage’ and ‘woman’. That such debates should take place might be puzzling. It seems that if debates on gay and transgender rights revolve around the meaning of these words, then those in favor of same-sex marriage and of the recognition of transwomen as women have no room left to maneuver. (...) However, prima facie, the pro – and anti-, in both cases, have genuine disagreements over the meaning of these words: though the analyses of revisionary theorists are revisionary, they are analyses. Sally Haslanger and other philosophers in her wake have appealed to an anti-descriptivist externalist view of meaning to provide the conceptual foundations of this practice of revisionary theorizing: revisionary analyses bring to light what, unbeknownst to us, these words mean. In this paper, I argue that a descriptivist externalist view should be preferred instead. My argument rests on the thesis that what is contested in these debates is the meaning of the words ‘marriage’ and ‘women’ as used in the law. (shrink)

This article examines the domestic use of drones by law enforcement to gather information. Although the use of drones for surveillance will undoubtedly provide law enforcement agencies with new means of gathering intelligence, these unmanned aircrafts bring with them a host of legal and epistemic complications. Part I considers the Fourth Amendment and the different legal standards of proof that might apply to law enforcement drone use. Part II explores philosopher Wittgenstein’s notion of actional certainty as a means to interpret (...) citizens' expectations of privacy with regard to their patterns of movement over time. Part III discusses how the theory of actional certainty can apply to the epistemic challenge of determining what is a “reasonable” expectation of privacy under the law. This Part also investigates the Mosaic Theory as a possible reading of the Fourth Amendment. (shrink)

Ceux qui sont nés, comme l'auteur de ce livre, dans les dernières années du siècle précédent, qui ont eu leurs vingt ans au front, avaient encore grandi non seulement sans autos ni avions, ni radios, mais même, s'ils n'étaient pas riches, sans l'électricité chez eux. Lorsqu'ils sont tombés, à peine sortis de l'enfance, dans la machinerie de l'autre guerre, ils n'avaient eu pour formation que les humanités classiques, la morale de Kant, le symbolisme et les marches à pied. Depuis, en (...) une quarantaine d'années, à un rythme presque infernal, ils ont dû avaler, venant d'ailleurs un peu pêle-mêle, la révolution russe, les guerres civiles en Europe, la psychanalyse, la dialectique hégélienne, le marxisme, la phénoménologie, l'existentialisme, le national-socialisme, l'invasion de la France, la dislocation des empires coloniaux, la physique nucléaire, les bombes atomiques, le retournement contre l'Europe occidentale des idées et des connaissances qu'elle avait produites et qu'elle continuait à produire, la fin de son hégémonie. C'était peut-être beaucoup. C'était peut-être trop? Le résultat en a peut-être été la rupture définitive avec le passé? C'est ce que se demande Brice Parain. Il a eu souvent le sentiment qu'il risquait de se perdre, que courir les routes, se déplacer en avion, téléphoner un peu partout, savoir qu'il existe des camps de concentration en Europe, regarder de la peinture dite abstraite, faire tout dépendre de l'avenir, ne pouvait rien avoir de commun avec la vie qu'il avait menée au temps des gendarmes à cheval et des lampes à pétrole. Ce sentiment lui a fait peur. Il a voulu y réfléchir. L'Occident s'était peut-être trompé, à un moment ou à un autre? La liberté, telle qu'il l'a définie, a engendré la solitude et la solitude engendre le suicide. L'Occident a peut-être sacrifié la vie à ses ambitions? Faudra-t-il qu'il rapprenne à vivre pour éviter de périr? Brice Parain ne se résout pas à s'en tenir à la dialectique comme méthode de raisonnement pour comprendre l'histoire et la vie. Il croit que la dialectique est pareille à une ligne tortueuse qui a pourtant un axe. La connaissance de cet axe rétablirait une logique, qui permettrait de refaire une morale. Ajoutons qu'il sait le russe, s'étant mis à l'apprendre très vite après son retour de la Grande Guerre, en 1920. Depuis, sa réflexion s'est largement alimentée à la confrontation entre l'Occident et la Russie, qui lui était toujours présente. On n'aura pas de peine à en suivre les démarches. Elles nous sont exposées à travers le récit des simples événements d'une enfance et d'une adolescence aussi passionnées de sentiments que de pensée. (shrink)

For years, phenomenological psychiatry has proposed that distortions of the temporal structure of consciousness contribute to the abnormal experiences described before schizophrenia emerges, and may relate to basic disturbances in consciousness of the self. However, considering that temporality refers mainly to an implicit aspect of our relationship with the world, disturbances in the temporal structure of consciousness remain difficult to access. Nonetheless, previous studies have shown a correlation between self disorders and the automatic ability to expect an event in time, (...) suggesting timing is a key issue for the psychopathology of schizophrenia. Timing disorders may represent a target for cognitive remediation, but this requires that disorders can be demonstrated at an individual level. Since cognitive impairments in patients with schizophrenia are discrete, and there is no standardized timing exploration, we focused on timing impairments suggested to be related to self disorders. We present the case report of AF, a 22 year old man suffering from schizophrenia, with no antipsychotic intake. Although AF shows few positive and negative symptoms and has a normal neurocognitive assessment, he shows a high level of disturbance of Minimal Self Disorders (SDs) (assessed with the EASE scale). Moreover, AF has a rare ability to describe his self and time difficulties. An objective assessment of timing ability (variable foreperiod task) confirmed that AF had temporal impairments similar to those previously described in patients, i.e., a preserved ability to distinguish time intervals, but a difficulty to benefit from the passage of time to expect a visual stimulus. He presents additional difficulties in benefitting from temporal cues and adapting to changes in time delays. The impairments were ample enough to yield significant effects with analyses at the individual level. Although causal relationships between subjective and objective impairments cannot be established, the results show that exploring timing deficits at the individual level is possible in patients with schizophrenia. Besides, the results are consistent with hypotheses relating minimal self disorders (SDs) to timing difficulties. They suggest that both subjective and objective timing investigations should be developed further so that their use at an individual level can be generalized in clinical practice. (shrink)

The US neutrino community gathered at the Workshop on the Intermediate Neutrino Program at Brookhaven National Laboratory February 4-6, 2015 to explore opportunities in neutrino physics over the next five to ten years. Scientists from particle, astroparticle and nuclear physics participated in the workshop. The workshop examined promising opportunities for neutrino physics in the intermediate term, including possible new small to mid-scale experiments, US contributions to large experiments, upgrades to existing experiments, R&D plans and theory. The workshop was organized into (...) two sets of parallel working group sessions, divided by physics topics and technology. Physics working groups covered topics on Sterile Neutrinos, Neutrino Mixing, Neutrino Interactions, Neutrino Properties and Astrophysical Neutrinos. Technology sessions were organized into Theory, Short-Baseline Accelerator Neutrinos, Reactor Neutrinos, Detector R&D and Source, Cyclotron and Meson Decay at Rest sessions.This report summarizes discussion and conclusions from the workshop. (shrink)

Ce livre est composé de trois textes ayant pour sujet commun la dialectique : 1°) un essai sur Pascal, contenant une analyse de ses méthodes de raisonnement en mathématique. Pascal est le premier, dans l'ère moderne, qui ait opposé la dialectique à l'ancienne logique, qu'on appelait alors la scolastique ; 2°) un court traité dont l'objet est le développement d'une critique formelle de la dialectique, c'est-à-dire d'une critique portant sur le mode de raisonnement qu'on appelle de ce nom, quel que (...) soit le contenu des propositions qui le composent ; 3°) enfin une pièce de théâtre, dont l'auteur justifie l'introduction dans le volume en disant qu'elle n'est pas une illustration des thèses sur la dialectique exposées dans les essais, mais le récit d'un moment même de la dialectique, et sans doute le plus important, celui où la dialectique, se sentant enfermée dans sa propre incertitude, s'avoue impuissante à assurer la conduite de la vie. L'ensemble est un examen sévère de la dialectique comme méthode de pensée, et un effort pour proposer à la place un mode de communication plus sûr, plus simple également, donc plus universel. Pourquoi donc la dialectique ne devrait-elle pas, elle aussi, selon sa propre loi, céder la place à une autre solution, qui s'opposerait à elle comme elle s'est opposée à l'ancienne logique? (shrink)

Svätopluk Štúr is a strong critic of strands of German thought that emphasize the will to power as an organizing principle of human society. Štúr is particularly critical of Nietzsche’s vitalism, which Štúr believes culminated in national socialism and the destruction of the Second World War. This paper describes and examines Štúr’s criticism of a number of German thinkers and focuses especially on Štúr’s criticism of Nietzsche. Štúr criticizes Nietzsche’s emphasis on life over knowledge. Štúr offers a different philosophy of (...) life grounded in the dignity of human beings and the social consequences of ideas and actions. This paper concludes by examining what Štúr means by dignity in terms of a moral agent and as opposed to Nietzsche’s emphasis on vitalism. (shrink)

Technologies of democracy are instruments based on material apparatus, social practices and expert knowledge that organize the participation of various publics in the definition and treatment of public problems. Using three examples related to the engagement of publics in nanotechnology in France (a citizen conference, a series of public meetings, and an industrial design process), the paper argues that Science and Technology Studies provide useful tools and methods for the analysis of technologies of democracy. Operations of experiments and public demonstrations (...) can be described, as well as controversies about technologies of democracy giving rise to counter-experiments and counter-demonstrations. The political value of the analysis of public engagement lies in the description of processes of stabilization of democratic orders and in the display of potential alternative political arrangements. (shrink)

In a recent paper, Gualtiero Piccinini and Carl Craver have argued that psychology is not distinct from neuroscience. Many have argued that Piccinini and Craver’s argument is unsuccessful. However, none of these authors have questioned the appropriateness of Piccinini and Craver’s argument for their key premise—that functional analyses are mechanism sketches. My first and main goal in this paper is to show that Piccinini and Craver offer normative considerations in support of what is a descriptive premise and to provide some (...) guidelines on how to argue for this premise. My second goal is to show that the distinctness question should be of great significance for philosophy of cognitive science. (shrink)

Les Espagnols et le sexe est une contribution à l’histoire de la sexualité dans l’Espagne du xixe et du premier tiers du xxe siècle : le projet de Jean-Louis Guereña constitue un apport important à la compréhension de la construction du sujet libéral espagnol, puisqu’on lui reconnaît ici des pratiques intimes, ou privées, au moment où s’affermit la notion d’« ordre public ». La question principale qui se pose à la lecture de l’ouvrage tient précisément à ce qu’il est postulé (...) que la sexualité... (shrink)

Similar to “parasitism” and “mutualism”, the concept of commensualism defines a kind of biological association, i.e. the neutral interaction between two different species. This paper shows that “commensualism” was initially defined by the Belgian zoologist and parasitologist Pierre-Joseph van Beneden (1809–1894) as referring to biological associations between organic individuals from different species. According to van Beneden, one individual derives biological advantages from this kind of association, whereas the other one remains neutral, i.e. does not receive any biological loss or gain. (...) Tracing the further history of the concept, the paper demonstrates that, while “commensalism” was initially created and used in zoology, it was taken up in other biological disciplines shortly afterward, such as botany and the emerging field of ecology. However, the experimental demonstration of the phenomenon of commensualism remained difficult. This, in turn, contributed to the nomadic existence of this concept in the life sciences of the twentieth century. (shrink)

Similar to “parasitism” and “mutualism”, the concept of commensualism defines a kind of biological association, i.e. the neutral interaction between two different species. This paper shows that “commensualism” was initially defined by the Belgian zoologist and parasitologist Pierre-Joseph van Beneden (1809–1894) as referring to biological associations between organic individuals from different species. According to van Beneden, one individual derives biological advantages from this kind of association, whereas the other one remains neutral, i.e. does not receive any biological loss or gain. (...) Tracing the further history of the concept, the paper demonstrates that, while “commensalism” was initially created and used in zoology, it was taken up in other biological disciplines shortly afterward, such as botany and the emerging field of ecology. However, the experimental demonstration of the phenomenon of commensualism remained difficult. This, in turn, contributed to the nomadic existence of this concept in the life sciences of the twentieth century. (shrink)

This paper discusses the operations meant to act on situations of ontological uncertainties for chemicals. Using examples related to substances developed as part of nanotechnology programs, it analyses technical and social instruments meant to define the existence of these substances, as « new » or « existing » chemicals. Carbon nanotubes developed by a French company offer an illustration of containment, while the legal disputes about nano silver in the U.S. display oppositions about whether or not these compounds are equivalent (...) to colloïdal silver. The operations meant to deal with the ontological uncertainty of these substances define categories and craft political organizations. As such, they suggest developing an analytical approach able to jointly examine the ontologies of material objects and the forms of political ordering. (shrink)

Au travers du cas clinique d’un adolescent placé dans les services de l’Aide sociale à l’enfance souffrant d’une problématique honteuse et d’un délabrement du lien maternel, l’auteur de cet article étudie en quoi l’écoute familiale modifie l’écoute individuelle à l’aide du concept de scénario généalogique porte-la-honte développé par Pierre Benghozi. À la suite de cet auteur, il propose un nécessaire décalage de l’écoute intrapsychique dans les thérapies familiales vers le transpsychique car une honte intrapsychique exprimée peut aussi être le rappel (...) d’une honte transpsychique indicible, non élaborée. (shrink)

The claim that all human thought involves "interpretation," that all human thought is in some way relative to a contingent context of cognitive, theoretical, practical, and aesthetic considerations, has become widely accepted, but waht we understand by "truth" and how we should best pursue it are questions raised with renewed force once a hermeneutical starting point has been embraced. Brice R. Wachterhauser's collection Hermeneutics and Truth is an attempt to contribute to this concersation. No thinkers have wrestled with the (...) issue of truth and interpretation in more illuminating ways for the Continental tradition of philosophy than Heidegger and Gadamer. Hermeneutics and Truth is a dual focus on Heidegger and Gadamer, but it concentrates primarily on Gadamer's efforts to think through the issue of truth for hermeneutics and only secondaily on Heidegger's thought on this issue. (shrink)

This paper argues that the logical coherence of classical theism can be defended through the traditional free-will defense and argument from divine omniscience and human finitude, but only at the cost of moral scepticism. The above two-pronged defense entails moral scepticism because it demands that we construe clear and undeniable cases of morally unjustifiable evil as merely apparently unjustifiable evils which can be morally justified from some moral point of view. The paper argues that justification is impossible because such basic (...) evils can never be justified from any "moral" perspective. The very conditions necessary for having a moral perspective demand that one recognize certain evils as unjustifiable from any moral point of view. This is the case because moral theories are designed to give us insight into such evils. Moreover, I argue that even if one rejects the above argument, moral scepticism still follows because any intelligible account of moral knowledge requires that its proponents be able at least to point to certain cases of unjustifiable evil if their theory is to have any purchase in the real world and avoid the charge of moral irrelevance and moral scepticism. But this is precisely what the classical theist cannot do. If, however, the classical theist rejects this moral scepticism, then real cases of morally unjustifiable evil must be admitted to exist and a single one of these is sufficient to undermine the logical coherence of classical theism. (shrink)

Ce livre n'a pas été écrit pour évoquer les embarras qui viennent à l'homme de son langage, malentendus, stupéfactions, inhibitions, méfiances de toutes sortes. Ils ne servent qu'à introduire la préoccupation qui y est appelée métaphysique, pour qu'on la distingue des recherches sémantiques, stylistiques, ou psychologiques : qu'à force de souffrir parce qu'on n'a pas dit, ou qu'on a mal dit, ce qu'il y avait à dire, et qui reste à peser sur le coeur, on en arrive à se demander (...) pourquoi il ne suffit pas de vivre, mais qu'il faille encore le dire, pourquoi nous ne savons pas nous entendre sans avoir besoin de parler, comme le font les abeilles ou les corbeaux. Car notre langage n'est pas qu'un code de signaux plus compliqué qu'un autre. Il est l'aventure de la pensée, des mots qui sont là depuis toujours, semble-t-il, qu'on tourne et retourne, sans voir où ils mènent. Nous ne savons pas, non plus, d'où il nous est venu. L'hypothèse actuelle de l'évolution, serpent, oiseau, singe, puis homme criant d'abord, parlant ensuite, est assez terrible, à la réflexion. Notre civilisation des livres paraît signifier que la destination de l'homme est de se transformer en des mots qu'autrui a le pouvoir de ne pas écouter. Le ressort de la philosophie classique était le langage vrai. Y en a-t-il un? Celui de la dialectique moderne pourrait être le mensonge vraisemblable, prenant une allure de cérémonie, avec la littérature pour modèle. Il faut un soubassement à un tel édifice. C'est de cette métaphysique qu'il est question ici. (shrink)

There is no better time than the present to be studying the intersections of drama, theater, and philosophy. Since 2000, numerous monographs have been published on the interrelation between those subjects, and organizations such as the Performance Philosophy Network continue to promote innovative research by theater professionals and academics alike. However, a lacuna remains in this bustling scholarly enterprise. This scholarship, by and large, tends to draw from either ancient philosophy or from Continental European thought. As is often the case (...) in... (shrink)

Hamlyn's book is exactly what the subtitle says it is: a history of the philosophy of perception, where this is taken to be a part of what is now called the philosophy of mind, as distinguished from the theory of knowledge. He expounds and criticizes, clearly and carefully, the views of Western philosophers from the pre-Socratics to Ryle and Sartre, and in a final chapter of about ten pages he offers some conclusions of his own. He holds that "in the (...) primary sense, perception can signify any means whereby we come to recognize, identify or characterize something by means of the senses" ; that there is a conceptual connection between perception and sensation, in the sense that "an essential condition of our application of the concept of perception to a being of any kind is that such a being should have sense experiences or sensations" ; but that it is a mistake "to ask what experiences, processes or activities constitute perception... [although] this is just the question which has so often been asked in the history of philosophy and psychology". "An understanding of the concepts of sensation and perception comes... not by asking what experiences, processes or activities these terms stand for. It can come only as the result of an inquiry into the concepts which form the schemes to which these particular concepts belong". These schemes, Hamlyn says, center around the concept of knowledge, and include such concepts as those of identification, recognition, and awareness. (shrink)

Bringing the views of Grayling, Moyal-Sharrock and Stroll together, I argue that in On Certainty, Wittgenstein explores the possibility of a new kind of foundationalism. Distinguishing propositional language-games from non-propositional, actional certainty, Wittgenstein investigates a foundationalism sui generis . Although he does not forthrightly state, defend, or endorse what I am characterizing as a "new kind of foundationalism," we must bear in mind that On Certainty was a collection of first draft notes written at the end of Wittgenstein's life. The (...) work was unprogrammatic, sometimes cryptic. Yet, his exploration into areas of knowledge, certitude and doubt suggest an identifiable direction to his thoughts. (shrink)

Hermeneutics and Modern Philosophy is a collection of interpretive and critical essays on philosophical hermeneutics, focusing on the seminal work of Heidegger and Gadamer.

In his article, “Wittgenstein and Basic Moral Certainty,” Nigel Pleasants argues that killing an innocent, non-threatening person is wrong. It is, he argues, “a basic moral certainty.” He believes our basic moral certainties play the “same kind of foundational role as [our] basic empirical certaint[ies] do.” I believe this is mistaken. There is not “simply one kind of foundational role” that certainty plays. While I think Pleasants is right to affiliate his proposition with a Wittgensteinian form of certainty, he exposes (...) himself to a tension that exists in On Certainty regarding how we acquire it: is certainty natural, is it social? In this paper, I present two ways in which we come to possess certainty: a bottom-up approach, where certainty is part of our instinctual predisposition, and a top-down approach, where certainty is acquired through positive reinforcement by family and culture. (shrink)

The Fukushima accident was a crisis in Japan, and a crisis elsewhere. In Europe, the aftermath of Fukushima was a period of intense questioning, about how to ensure the safety of nuclear reactors, and how, at the same time, ensure the ability of the European Union to act as a consistent political actor in the face of potentially catastrophic risks. Using empirical material related to the post-Fukushima stress tests and the subsequent discussions about the European regulatory framework for nuclear safety, (...) this paper shows that stress tests have provided a peculiar form of European intervention, restabilizing regulatory boundaries while extending the European gaze. It describes the overall operation thereby performed as the “normalization of the crisis” whereby the exceptional situation enters the realm of the normal functioning of the public administrations, and where the actions undertaken take the form of the legal norm. (shrink)

Perhaps no other aspect of Hans-Georg Gadamer'sWahrheit und Methodehas generated more controversy and caustic criticism than his attempt to defend the role of ‘prejudice’ (Vorurteil) in human understanding. Gadamer's goal in challenging what he calls ‘the Enlightenment's prejudice against prejudice’ is not to defend irresponsible, idiosyncratic, parochial or otherwise self-willed understanding in the human sciences, but to argue that all human cognition is ‘finite’ and ‘limited’ in the sense that it always involves, to borrow Polanyi's phrase, a ‘tacit dimension’ of (...) implicit judgments, concerns, or commitments which shape definitively our grasp of the subject matter in ways we cannot anticipate or control. This implies a ‘finite’ or ‘limited’ view of human understanding in at least two ways. First, Gadamer seems to use the word ‘finite’ in conscious opposition to Hegel's notion of an ‘infinite’ intellect. For Hegel the ‘infinite’ was the ‘unconditioned’ and ‘self-determining’. An ‘infinite’ intellect would be its own master, an autonomous, spontaneous source of all its essential activities and contents. (shrink)

This article puts forward the notion of “evolving diagram” as an important case of mathematical diagram. An evolving diagram combines, through a dynamic graphical enrichment, the representation of an object and the representation of a piece of reasoning based on the representation of that object. Evolving diagrams can be illustrated in particular with category-theoretic diagrams (hereafter “diagrams*”) in the context of “sketch theory,” a branch of modern category theory. It is argued that sketch theory provides a diagrammatic* theory of diagrams*, (...) that it helps to overcome the rivalry between set theory and category theory as a general semantical framework, and that it suggests a more flexible understanding of the opposition between formal proofs and diagrammatic reasoning. Thus, the aim of the paper is twofold. First, it claims that diagrams* provide a clear example of evolving diagrams, and shed light on them as a general phenomenon. Second, in return, it uses sketches, understood as evolving diagrams, to show how diagrams* in general should be re-evaluated positively. (shrink)

Hans Georg-Gadamer is best known in the English-speaking world for his major work on philosophical hermeneutics, _Truth and Method;_ he has also written extensively on the subject of Plato. Most commentators on Gadamer's work therefore view Gadamer either as a historian of philosophy or as a philosopher in his own right, critically engaged in the philosophical issues of our time. In _Beyond Being,_ Brice R. Wachterhauser contends that this perceived bifurcation in Gadamer's work oversimplifies and distorts important parts of (...) Gadamer's thought. Wachterhauser argues that only by viewing Gadamer's contribution to philosophy as an integrated whole and by reading Gadamer's hermeneutical studies in light of his Plato studies are we able to avoid certain key misunderstandings of Gadamer, as well as to comprehend more clearly the radical implications of Gadamer's thought. (shrink)

Hans Georg-Gadamer is best known in the English-speaking world for his major work on philosophical hermeneutics, _Truth and Method;_ he has also written extensively on the subject of Plato. Most commentators on Gadamer's work therefore view Gadamer either as a historian of philosophy or as a philosopher in his own right, critically engaged in the philosophical issues of our time. In _Beyond Being,_ Brice R. Wachterhauser contends that this perceived bifurcation in Gadamer's work oversimplifies and distorts important parts of (...) Gadamer's thought. Wachterhauser argues that only by viewing Gadamer's contribution to philosophy as an integrated whole and by reading Gadamer's hermeneutical studies in light of his Plato studies are we able to avoid certain key misunderstandings of Gadamer, as well as to comprehend more clearly the radical implications of Gadamer's thought. (shrink)

The claim that all human thought involves "interpretation," that all human thought is in some way relative to a contingent context of cognitive, theoretical, practical, and aesthetic considerations, has become widely accepted, but waht we ...

The purpose of this paper is to generalize Kripke semantics for propositional modal logic by geometrizing it, that is, by considering the space underlying the collection of all possible worlds as an important semantic feature in its own right, so as to take the idea of accessibility seriously. The resulting new modal semantics is worked out in a setting coming from Riemannian geometry, where Kripke semantics is shown to correspond to a particular case, namely, the discrete one. Several correspondence results, (...) established between variants of well-known modal systems and corresponding geometric properties, illustrate the import of this new framework. (shrink)

One of the more recent pedagogical debates confronting university instructors is whether liberal education should be replaced with multiculturalism. John Searle has labeled these positions as “traditionalists” and “challengers,” respectively. While not finding “much that is objectionable in the [traditionalists’] assumptions,” Searle argues that the challengers’ assumptions are “weak” and “fallacious.” This negative outcome for the challengers however, is due in large part to Searle’s misrepresentation of their position. Searle presents a flawed, straw-man argument; he unfairly and inaccurately presents the (...) challengers’ assumptions as inadequate. In this paper I shall address some of the assumptions Searle raises on the challengers’ side and offer further elucidation of their position where he fails to do so. (shrink)

Perhaps no other aspect of Hans-Georg Gadamer's Wahrheit und Methode has generated more controversy and caustic criticism than his attempt to defend the role of ‘prejudice’ in human understanding. Gadamer's goal in challenging what he calls ‘the Enlightenment's prejudice against prejudice’ is not to defend irresponsible, idiosyncratic, parochial or otherwise self-willed understanding in the human sciences, but to argue that all human cognition is ‘finite’ and ‘limited’ in the sense that it always involves, to borrow Polanyi's phrase, a ‘tacit dimension’ (...) of implicit judgments, concerns, or commitments which shape definitively our grasp of the subject matter in ways we cannot anticipate or control. This implies a ‘finite’ or ‘limited’ view of human understanding in at least two ways. First, Gadamer seems to use the word ‘finite’ in conscious opposition to Hegel's notion of an ‘infinite’ intellect. For Hegel the ‘infinite’ was the ‘unconditioned’ and ‘self-determining’. An ‘infinite’ intellect would be its own master, an autonomous, spontaneous source of all its essential activities and contents. (shrink)

English summary: Is universal truth fully necessary? Are all necessary truths universal? From Kant to Tarski, the philosophical tradition as a whole has accepted the existence of a correlation between these two properties. The purpose of this book is to question this assumption and challenge the belief that universality and necessity are basic components of truth. French text. French description: Toute verite universelle est-elle necessaire? Toute verite necessaire est-elle universelle? De Kant a Tarski, la tradition philosophique a dans son ensemble (...) admis, sans la discuter, l'existence d'une correlation entre ces deux proprietes. L'objet de ce livre est de remettre en question ce presuppose et de contester que l'universalite et la necessite soient des proprietes equivalentes de verites, et meme qu'elles soient des proprietes de verites. Correles, l'universel et le necessaire renvoient chacun a une totalite de possibles dont l'origine est nexpliquee. Penses separement, ils peuvent au contraire etre compris dans leur genese. L'universel s'eclaire a la lumiere de l'idee de genericite, qui prevaut sur celle de totalite; le necessaire se definit, non plus par le fait d'etre vrai dans tous les cas possibles, mais en reference a un possible qui apparait n'etre ni totalisable, ni reductible a un seul et meme plan. (shrink)

While naturalism is used in positive senses by the tradition of analytical philosophy, with Ludwig Wittgenstein its best example, and by the tradition of phenomenology, with Maurice Merleau-Ponty its best exemplar, it also has an extremely negative sense on both of these fronts. Hence, both Merleau-Ponty and Wittgenstein in their basic thrusts adamantly reject reductionistic naturalism. Although Merleau-Ponty’s phenomenology rejects the naturalism Husserl rejects, he early on found a place for the “truth of naturalism.” In a parallel way, Wittgenstein accepts (...) a certain positive sense of naturalism, while rejecting Quine’s kind of naturalism. It is the aim of this paper to investigate the common ground in the views of Wittgenstein and Merleau-Ponty regarding the naturalism that they each espouse and that which they each reject. (shrink)

Intervertir a et b, c’est mettre b à la place de a et a à la place de b. Dans le cas où a occupait la première place et b la deuxième, c’est mettre b à la première place et a à la deuxième. Dans le cas où, de plus, a est le chiffre ‘1’ et b le chiffre ‘2’, c’est mettre 2 à la place n˚ 1 et 1 à la place n˚ 2. La théorie des substitutions combine ainsi (...) naturellement chiffres et numéros de place. Cet article montre que la confusion de ces deux éléments constitue un cas exemplaire de mécompréhension en mathématiques. Positivement, reconnaître à leur juste valeur toutes les numérotations ou paramétrisations qui interviennent en mathématiques, c’est reconnaître que les mathématiques ont rarement affaire à des structures sans l’intermédiaire essentiel de repères permettant de « fixer les idées ». L’article montre en particulier qu’une description structuraliste satisfaisante de l’objectivité mathématique ne peut faire l’économie de tels repères.To swap a and b is to put b in a’s place and a in b’s place. In case a was at the first place and b at the second, it is to put b at the first place and a at the second. In case, moreover, a is the numeral ‘1’ and b is the numeral ‘2’, it is to put 2 at the place no. 1 and 1 at the place no. 2. Substitution theory is thus led to combine numerals and numbers. This paper shows that many cases of misunderstanding in mathematics can be compared to a confusion between numerals and numbers. On a positive side, it shows how important are all the numberings or parametrizations that turn out to be pervasive throughout mathematics, as devices to « set ideas ». A mathematical structure cannot in general be reached without the medium of such points of reference. The paper shows in particular that any consistent structuralist explanation of mathematical objectivity cannot be sustained without giving them full attention. (shrink)

Logical universalism, a label that has been pinned on to Frege, involves the conflation of two features commonly ascribed to logic: universality and radicality. Logical universality consists in logic being about absolutely everything. Logical radicality, on the other hand, corresponds to there being the one and the same logic that any reasoning must comply with. The first part of this paper quickly remarks that Frege’s conception of logic makes logical universality prevail and does not preclude the admission of different contexts (...) of discourse. The paper then aims to make it clear how Frege’s universalism can make sense of contextuality. Drawing on a suggestion made by Frege in his discussion of Hilbert, it shows that a properly Fregean notion of model can be devised. Taking up a suggestion from Wilfrid Hodges and William Demopoulos that the non-logical constants of a formal language can be compared to indexicals, this paper shows,paceHodges and Demopoulos, that such an understanding of non-logical constants is not beyond Frege’s horizon. A formal framework, based on the modern tool of fibrations, is set out to explain and justify this point. This framework allows one to compare Frege and Tarski, by formalizing Frege’s suggestion and by presenting Tarski’s semantics in a generalized setting. (shrink)

Algebraic Set Theory, a reconsideration of Zermelo-Fraenkel set theory in category-theoretic terms, has been built up in the mid-nineties by André Joyal and Ieke Moerdijk. Since then, it has developed into a whole research program. This paper gets back to the original formulation by Joyal and Moerdijk, and more specifically to its first three axioms. It explains in detail that these axioms set up a framework directly linked to descent theory, a theory having to do with the shift from local (...) data to a global item in modern algebraic geometry. Fibered categories, introduced by Grothendieck, provide a powerful framework for descent theory: They formalize in a very general way the consideration of local data of different kinds over the objects of some base category. The paper shows that fibered categories fit Joyal and Moerdijk’s axiomatization in a natural way, since the latter actually aims to secure a descent condition. As a result, Algebraic Set Theory is shown to accomplish, not only an original and fruitful combination of set theory with category theory, but the genuine graft of a deeply geometric idea onto the usual setting of zfc. (shrink)

L’accointance d’un attribut est-elle de même nature que celle d’un individu? Bien entendu, l’assimilation des attributs à des universaux, et par suite à des objets, conduit immédiatement à une réponse positive. Mais que dire des attributs en position de prédicat? Le présent article vise à soutenir l’univocité de l’accointance en montrant que les prédicats sont bien, malgré d’importantes différences, les objets possibles d’une accointance comparable à l’accointance d’individus. Pour cela, on envisagera les choses négativement, en examinant la façon dont, dans (...) l’un et l’autre cas, une absence d’accointance se trouve suppléée. Dans le cadre d’une interprétation épistémique de la théorie des types des Principia Mathematica justifiée par des raisons indépendantes, cette perspective amènera à comprendre l’axiome de réductibilité comme un principe d’accointance par procuration pour les prédicats, principe dont l’analyse russellienne des descriptions définies d’individu partage le schéma. (shrink)

Abstract:My aim is to examine logical types in Principia Mathematica from two (partly independent) perspectives. The first one pertains to the ambiguity of the notion of logical type as introduced in the Introduction (to the first edition). I claim that a distinction has to be made between types as called for in the context of paradoxes, and types as logical prototypes. The second perspective bears on typical ambiguity as described in Russell and Whitehead’s “Prefatory Statement of Symbolic Conventions”, inasmuch as (...) it lends itself to a comparison with specific systems of modern typed lambda-calculus. In particular, a recent paper shows that the theory of logical types can be formalized in the way of a lambda-calculus. This opens the way to an interesting reconciliation between type theories in the Russellian sense of the word, and type theories in the modern sense. But typical ambiguity is not taken into account in the paper. I would like to take up that question of typical ambiguity, by extending the typed lambda-calculus to be used. (shrink)

Drawing on the analogy between any unary first-order quantifier and a "face operator," this paper establishes several connections between model theory and homotopy theory. The concept of simplicial set is brought into play to describe the formulae of any first-order language L, the definable subsets of any L-structure, as well as the type spaces of any theory expressed in L. An adjunction result is then proved between the category of o-minimal structures and a subcategory of the category of linearly ordered (...) simplicial sets with distinguished vertices. (shrink)

Une théorie de la science qui permette une « étude systématique des formes » est l’ἐπιστήμη ζητοῦμένη de Cavaillès : ce dernier ne la trouve ni dans l’analytique kantienne, ni dans la théorie de la science de Bolzano ; pas plus que chez Frege, Carnap ou Tarski ; et ni dans la théorie de la démonstration, ni dans la mathesis husserlienne. Cet article défend l’idée qu’il aurait pu la trouver, ou du moins s’en approcher, s’il avait accordé davantage d’attention à (...) une figure de la logique qu’il a délaissée : celle qu’incarnent Russell et son héritier Wittgenstein. L’analyse de la notion même de forme, que celle-ci désigne un complexe symbolique, une structure mathématique ou un schéma démonstratif, y aurait également gagné. (shrink)

Kreisel’s set-theoretic problem is the problem as to whether any logical consequence of ZFC is ensured to be true. Kreisel and Boolos both proposed an answer, taking truth to mean truth in the background set-theoretic universe. This article advocates another answer, which lies at the level of models of set theory, so that truth remains the usual semantic notion. The article is divided into three parts. It first analyzes Kreisel’s set-theoretic problem and proposes one way in which any model of (...) set theory can be compared to a background universe and shown to contain internal models. It then defines logical consequence with respect to a model of ZFC, solves the model-scaled version of Kreisel’s set-theoretic problem, and presents various further results bearing on internal models. Finally, internal models are presented as accessible worlds, leading to an internal modal logic in which internal reflection corresponds to modal reflexivity, and resplendency corresponds to modal axiom 4. (shrink)

Ce texte est tiré d’un exposé élémentaire, destiné à des étudiants agrégatifs, d’introduction aux rapports entre la logique (entendue au sens large) et la question du monde. Son objet est de décrire la place variable que cette question occupe en logique.