Online research in philosophy

Biobanks correspond to different situations: research and technological development, medical diagnosis or therapeutic activities. Their status is not clearly defined. We aimed to investigate human biobanking in Europe, particularly in relation to organisational, economic and ethical issues in various national contexts. Data from a survey in six EU countries (France, Germany, the Netherlands, Portugal, Spain and the UK) were collected as part of a European Research Project examining human and non-human biobanking (EUROGENBANK, coordinated by Professor JC Galloux). A total of (...) 147 institutions concerned with biobanking of human samples and data were investigated by questionnaires and interviews. Most institutions surveyed belong to the public or private non-profit-making sectors, which have a key role in biobanking. This activity is increasing in all countries because few samples are discarded and genetic research is proliferating. Collections vary in size, many being small and only a few very large. Their purpose is often research, or research and healthcare, mostly in the context of disease studies. A specific budget is very rarely allocated to biobanking and costs are not often evaluated. Samples are usually provided free of charge and gifts and exchanges are the common rule. Good practice guidelines are generally followed and quality controls are performed but quality procedures are not always clearly explained. Associated data are usually computerised (identified or identifiable samples). Biobankers generally favour centralisation of data rather than of samples. Legal and ethical harmonisation within Europe is considered likely to facilitate international collaboration. We propose a series of recommendations and suggestions arising from the EUROGENBANK project. (shrink)

Review of: Isabelle Stengers (2010), Cosmopolitics I, trans. Robert Bononno (Posthumanities, 9) (Minneapolis/London: University of Minnesota Press).

We describe a formalization of asymptotic O notation using the Isabelle/HOL proof assistant.

Published within weeks of Charles Darwin's Origin of Species, Isabelle Duncan's Pre-Adamite Man (1860) is the first full-length treatment of preadamism by an evangelical. Intended as a reconciliation of Genesis and geology, Duncan's work gained immediacy when it was published shortly after the September 1859 revelations that men had walked among the mammoths. Written in the tradition of evangelical 'Christian philosophy', Pre-Adamite Man deploys innovative biblical hermeneutics and recent trends in geology to set out both a biblical preadamite theory, (...) and an unorthodox angelology. Duncan responded to contemporary secular interpretations of geology by pushing evangelical concordist strategies to new frontiers, filling out an acceptance of an ancient earth with new biblically informed catastrophist proposals and extensions of salvation history, while simultaneously retaining a firm commitment to plenary inspiration. The product is a highly readable book that operates both as an accessible treatment of geology and a theological discourse. Running through six printings between 1860 and 1866, the book was reviewed by many of the period's leading journals and created a minor controversy among evangelicals. This study both brings to life this previously neglected episode in scriptural geology, and adds to recent work on Victorian popular science writing. (shrink)

We are working on formalizing a proof of the prime number theorem using Isabelle/HOL. In support of this project we formalized a very general notion of O notation.

Not all those who write philosophy are recognized as philosophers. In this paper I argue that Dutch writer Isabelle de Charrière, usually known as a novelist, is actually engaged in doing moral philosophy. In the second half of the eighteenth century, Charrière wrote novels about characters who endorsed moral theories and commitments. Her novels track the dilemmas that these characters face in trying to live according their moral theories and commitments. I consider the case for treating fiction as philosophically (...) valuable, and argue that Charrière's novels fall into the category of philosophically valuable fiction. (shrink)

: Not all those who write philosophy are recognized as philosophers. In this paper I argue that Dutch writer Isabelle de Charrière, usually known as a novelist, is actually engaged in doing moral philosophy. In the second half of the eighteenth century, Charrière wrote novels about characters who endorsed moral theories and commitments. Her novels track the dilemmas that these characters face in trying to live according their moral theories and commitments. I consider the case for treating fiction as (...) philosophically valuable, and argue that Charrière's novels fall into the category of philosophically valuable fiction. (shrink)

: This introduction highlights the place of "interest" in Isabelle Stengers's essay "Another Look: Relearning to Laugh" and considers its importance for feminist analyses of the sciences. Claiming that the positive affects have been underemployed in feminist philosophy of science, it is argued that Stengers's essay shows how criticism in the sciences can be reanimated through interest, excitement, and laughter.

We compare several methods of implementing the display (sequent) calculus RA for relation algebra in the logical frameworks Isabelle and Twelf. We aim for an implementation enabling us to formalise within the logical framework proof-theoretic results such as the cut-elimination theorem for RA and any associated increase in proof length. We discuss issues arising from this requirement.

Making sense of modeling: beyond representation Content Type Journal Article Category Original paper in Philosophy of Science Pages 335-352 DOI 10.1007/s13194-011-0032-8 Authors Isabelle Peschard, Philosophy Department, San Francisco State University, 1600 Holloway Ave, San Francisco, CA 94132, USA Journal European Journal for Philosophy of Science Online ISSN 1879-4920 Print ISSN 1879-4912 Journal Volume Volume 1 Journal Issue Volume 1, Number 3.

The present text comments on Steel 2005 , in which the author claims to extend from the deterministic to the general case, the result according to which the causal Markov condition is satisfied by systems with jointly independent exogenous variables. I show that Steel’s claim cannot be accepted unless one is prepared to abandon standard causal modeling terminology. Correlatively, I argue that the most fruitful aspect of Steel 2005 consists in a realist conception of error terms, and I show how (...) this conception sheds new light on the relationship between determinism and the causal Markov condition. †To contact the author, please write to: Institut Supérieur de Philosophie, Université Catholique de Louvain, Place du Cardinal Mercier 14, 1348 Louvain la Neuve, Belgium; e‐mail: isabelle.drouet@gmail.com. (shrink)

Things metaphysics can learn from physics Content Type Journal Article Pages 1-3 DOI 10.1007/s11016-010-9515-z Authors Isabelle Drouet, Institut Supérieur de Philosophie, Université Catholique de Louvain, Place du cardinal Mercier 14, 1348 Louvain-la-Neuve, Belgium Journal Metascience Online ISSN 1467-9981 Print ISSN 0815-0796.

One night about fifteen years ago, I found myself driving a rental car up and down the main street of a tiny Connecticut town, feverishly hunting for an address. I had gotten lost on my trip into the hinterland, and by the time my car turned hesitantly up the drive of an old house that seemed to match the numbers on my notepad, I was hours late for my appointment. When the thick door creaked open, I started my apologies, but (...) the woman I had come to interview paid no attention. “Come out to the kitchen,” she said. Muriel Hall, former researcher for Time-Life, knew how to treat other researchers. She had kept the food warm and the drinks cold, and before the night was over, I saw her lift the top of an old wooden box and start laying out the treasure I had hoped to find—the papers of Isabel Paterson. (shrink)

Based on a consumer survey conducted in France, Germany, and the U.S., the study investigates consumers'' readiness to support socially responsible organizations and examines their evaluations of the economic, legal, ethical, and philanthropic responsibilities of the firm. French and German consumers appear more willing to actively support responsible businesses than their U.S. counterparts. While U.S. consumers value highly corporate eco-nomic responsibilities, French and German consumers are most concerned about businesses conforming with legal and ethical standards. These findings provide useful guidance (...) for the efficient management of social responsibility initiatives across borders and for further academic inquiries. (shrink)

Experimental activity is traditionally identified with testing the empirical implications or numerical simulations of models against data. In critical reaction to the ‘tribunal view’ on experiments, this essay will show the constructive contribution of experimental activity to the processes of modeling and simulating. Based on the analysis of a case in fluid mechanics, it will focus specifically on two aspects. The first is the controversial specification of the conditions in which the data are to be obtained. The second is conceptual (...) clarification, with a redefinition of concepts central to the understanding of the phenomenon and the conditions of its occurrence. (shrink)

In the philosophy of science, identity over time emerges as a central concern both as an ontological category in the interpretation of physical theories, and as an epistemological problem concerning the conditions of possibility of knowledge. In Reichenbach and subsequent writers on the problem of indistinguishable quantum particles we see the return of a contrast between Leibniz and Aquinas on the subject of individuation. The possibility of rejecting the principle of the identity of indiscernibles has certain logical difficulties, leading us (...) inexorably from ontology into epistemology. For the epistemological problem we attend to the differences that emerged between the (neo-)Kantian and logical empiricist traditions, also saliently displayed in Reichenbach's writings. After examining the contrast between Kant's and Leibniz's conceptions of empirical knowledge, specifically with respect to the irreducibility of spatiotemporal determinations, we explore an application of a neo-Kantian view to the same problem of indistinguishable quantum particles. (shrink)

It is sometimes said that simulation can serve as epistemic substitute for experimentation. Such a claim might be suggested by the fast-spreading use of computer simulation to investigate phenomena not accessible to experimentation (in astrophysics, ecology, economics, climatology, etc.). But what does that mean? The paper starts with a clarification of the terms of the issue and then focuses on two powerful arguments for the view that simulation and experimentation are ‘epistemically on a par’. One is based on the claim (...) that, in experimentation, no less than in simulation, it is not the system under study that is manipulated but a system that ‘stands-in’ for it. The other one highlights the pervasive use of models in experimentation. It will be argued that these arguments, as compelling as they might seem, are each based on a mistaken interpretation of experimentation and that, far from simulation and experimentation being epistemically on a par, they do not have the same epistemic function, do not produce the same kind of epistemic results. (shrink)

Based on an extensive review of the literature and field surveys, the paper proposes a conceptualization and operationalization of corporate citizenship meaningful in two countries: the United States and France. A survey of 210 American and 120 French managers provides support for the proposed definition of corporate citizenship as a construct including the four correlated factors of economic, legal, ethical, and discretionary citizenship. The managerial implications of the research and directions for future research are discussed.

This paper aims 1) to introduce the notion of theoretical story as a resource and source of constraint for the construction and assessment of models of phenomena; 2) to show the relevance of this notion for a better understanding of the role and nature of values in scientific activity. The reflection on the role of values and value judgments in scientific activity should be attentive, I will argue, to the distinction between models and the theoretical story that guides and constrains (...) their construction. The aim of scientific activity is to develop understanding of phenomena, and something that serves this aim and contributes to the development of understanding has a cognitive value. Cognitive values are the features that something that plays a role in scientific activity should have so that it can serve its aim. I will focus my attention on the features of the theoretical story and of the models. (shrink)

The reduction of the concept of heat to that of molecular kinetic energy is recurrently presented as lending analogical support to the project of reduction of phenomenal concepts to physical concepts. The claimed analogy draws on the way the use of the concept of heat is attached to the experience in first person of a certain sensation. The reduction of this concept seems to prove the possibility to reduce discourse involving phenomenal concepts to a scientific description of neural activity. But (...) is this analogy really justified? We will show that if there is an analogy, far from speaking for a reduction of phenomenal concepts, it rather stresses the necessity to integrate phenomenal reports in the scientific study of experience. (shrink)

What constitutes an event? Propelled by this question, Sounding the Event encounters a variety of theories and a host of issues that have implications for not only conceptions of nature and becoming, subject and substance but also practices of time, art and photography. This book explores dialogue in its writing and as it encounters the philosophical utterances of Michel Serres, Isabelle Stengers, Alfred North Whitehead, Jean-Franbliogçois Lyotard, Maurice Blanchot, Gilles Deleuze and Fbliogelix Guattari, and Alain Badiou.

This article examines how the Kashmiri non-dualistic Śaiva philosophers Utpaladeva (tenth century) and Abhinavagupta (10th–11th centuries) present and criticize a theory expounded by certain Buddhist philosophers, identified by the two Śaiva authors as Sautrāntikas. According to this theory, no entity external to consciousness can ever be perceived since perceived objects are nothing but internal aspects (ākāra) of consciousness. Nonetheless we must infer the existence of external entities so as to account for the fact that consciousness is aware of a variety (...) of objects: just as a mirror takes on a variegated appearance only by reflecting a multiplicity of objects that remain external to it, in the same way, phenomenal variety can be explained only by assuming the existence of various objects external to consciousness. In Īśvarapratyabhijñākārikās I, 5, 8–9 and their commentaries, Utpaladeva and Abhinavagupta endeavour to criticize this theory, which challenges their own idealistic principles: according to them, the Sautrāntikas’ inference is neither legitimate nor even possible. The passage is particularly telling as regards the strategy developed by Pratyabhijñā philosophers with respect to their Buddhist opponents: they make use of certain arguments propounded by Dharmakīrti in defense of Vijñānavāda in order to criticize the Sautrāntikas’ inference, but they also exploit this discussion to underline the superiority of their idealism over that of the Vijñānavādins. (shrink)

Idealism is the core of the Pratyabhijñã philosophy: the main goal of Utpaladeva (fl. c. 925–950 AD) and of his commentator Abhinavagupta (fl. c. 975–1025 AD) is to establish that nothing exists outside of consciousness. In the course of their demonstration, these Śaiva philosophers endeavour to distinguish their idealism from that of a rival system, the Buddhist Vijñānavāda. This article aims at examining the concept of otherness (paratva) as it is presented in the Pratyabhijñā philosophy in contrast with that of (...) the Vijñānavādins’. Although, according to the Pratyabhijñā, the other subjects are not ultimately real since all subjects are nothing but limited manifestations of a single absolute subject, the fact that we are aware of their existence in the practical world has to be accounted for. The Vijñānavādins explain it by arguing the we infer the others’ existence. The Pratyabhijñā philosophers, while refuting their opponents’ reasoning as it is expounded in Dharmakīrti’s Santānāntarasiddhi, develop a particulary original analysis of our awareness of the others, stating that this awareness is neither a perception (pratyakṣa) nor an inference (anumāna), but rather a guess (ūha) in which we sense the others’ freedom (svātantrya). (shrink)

According to Utpaladeva and Abhinavagupta, a subject who has freed himself from the bondage of individuality is necessarily compassionate, and his action, necessarily altruistic. This article explores the paradoxical aspects of this statement; for not only does it seem contradictory with the Pratyabhijñā’s non-dualism (how can compassion and altruism have any meaning if the various subjects are in fact a single, all-encompassing Self?)—it also implies a subtle shift in meaning as regards the very notion of compassion ( karuṇā, kr̥pā ), (...) since according to the two Śaivas, compassion does not result from the awareness of the others’ pain ( duḥkha )—as in Buddhism—but from the awareness of one’s own bliss ( ānanda ). The article thus shows that in spite of their radical criticism of traditional ethical categories such as merit ( dharma ) and demerit ( adharma ), the two Śaiva philosophers still make use of ethical categories, but not without pro- foundly transforming them. (shrink)

On September 6, 2004, using the Isabelle proof assistant, I verified the following statement: (%x. pi x * ln (real x) / (real x)) ----> 1 The system thereby confirmed that the prime number theorem is a consequence of the axioms of higher-order logic together with an axiom asserting the existence of an infinite set. All told, our number theory session, including the proof of the prime number theorem and supporting libraries, constitutes 673 pages of proof scripts, or roughly (...) 30,000 lines. This count includes about 65 pages of elementary number theory that we had at the outset, developed by Larry Paulson and others; also about 50 pages devoted to a proof of the law of quadratic reciprocity and properties of Euler’s ϕ function, neither of which are used in the proof of the prime number theorem. The page count does not include the basic HOL library, or properties of the real numbers that we obtained from the HOL-Complex library. (shrink)

Ilya Prigogine was not a systematic author: his ideas, covering a wide arch of areas, are dispersed in his many writings. In particular, his philosophical thought has to be reconstructed mainly on the basis of his works in collaboration with Isabelle Stengers: La Nouvelle Alliance ( 1979 ), Order out of Chaos ( 1984 ), and Entre le Temps et l’Éternité ( 1988 ). In this paper I undertake that reconstruction in order to argue that Prigogine’s position, when read (...) in the light of Putnam’s internalist realism, can be characterized as an ontological pluralism. The main aim of this work is to show the striking parallelism between the philosophical views of Prigogine and Stengers and those of Hilary Putnam in Reason , Truth and History ( 1981 ). This task will lead me to critically review Prigogine’s general scientific program: the attempt to establish the foundations of objective irreversibility. (shrink)

The central question underlying this study was whether metacognition training could enhance the two metacognition components—knowledge and skills—and the mathematical problem-solving capacities of normal children in grade 3. We also investigated whether metacognitive training had a differential effect according to the children's mathematics level. A total of 48 participants took part in this study, divided into an experimental and a control group, each subdivided into a lower and a normal achievers group. The training programme took an interactive approach in accordance (...) with Schraw's (1998) recommendation and was carried out over five training sessions. Results indicated that children in the training group had significantly higher post-test metacognitive knowledge, metacognitive skills, and mathematical problem-solving scores. In addition, metacognitive training was particularly beneficial to the low achievers. Thus metacognitive training enabled the low achievers to make progress and solve the same number of problems on the post-test as the normal achievers solved on the pre-test. (shrink)

This article provides current Schwartz Values Survey (SVS) data from samples of business managers and professionals across 50 societies that are culturally and socioeconomically diverse. We report the society scores for SVS values dimensions for both individual- and societal-level analyses. At the individual-level, we report on the ten circumplex values sub-dimensions and two sets of values dimensions (collectivism and individualism; openness to change, conservation, self-enhancement, and self-transcendence). At the societal-level, we report on the values dimensions of embeddedness, hierarchy, mastery, affective (...) autonomy, intellectual autonomy, egalitarianism, and harmony. For each society, we report the Cronbach’s α statistics for each values dimension scale to assess their internal consistency (reliability) as well as report interrater agreement (IRA) analyses to assess the acceptability of using aggregated individual level values scores to represent country values. We also examined whether societal development level is related to systematic variation in the measurement and importance of values. Thus, the contributions of our evaluation of the SVS values dimensions are two-fold. First, we identify the SVS dimensions that have cross-culturally internally reliable structures and within-society agreement for business professionals. Second, we report the society cultural values scores developed from the twenty-first century data that can be used as macro-level predictors in multilevel and single-level international business research. (shrink)

Machine generated contents note: List of figures; List of tables; Editors; Contributors; Editors' acknowledgements; Part I. The Conceptual Challenge of Researching Trust Across Different 'Cultural Spheres': 1. Introduction: unraveling the complexities of trust and culture Graham Dietz, Nicole Gillespie and Georgia Chao; 2. Trust differences across national-societal cultures: much to do or much ado about nothing? Donald L. Ferrin and Nicole Gillespie; 3. Towards a context-sensitive approach to researching trust in inter-organizational relationships Reinhard Bachmann; 4. Making sense of trust across (...) cultural contexts Alex Wright and Ina Ehnert; Part II. Trust Across Different 'Cultural Spheres': Inter-Organizational Studies: 5. Examining the relationship between trust and culture in the consultant-client relationship Stephanos Avakian, Timothy Clark and Joanne Roberts; 6. Checking, not trusting: trust, distrust and cultural experience in the auditing profession Mark R. Dibben and Jacob M. Rose; 7. Trust barriers in cross-cultural negotiations: a social psychological analysis Roderick M. Kramer; 8. Trust development in German-Ukrainian business relationships: dealing with cultural differences in an uncertain institutional context Guido Möllering and Florian Stache; 9. Culture and trust in contractual relationships: a French-Lebanese cooperation Hèla Yousfi; 10. Evolving institutions of trust: personalized and institutional bases of trust in Nigerian and Ghanaian food trading Fergus Lyon and Gina Porter; Part III. Trust Across Different 'Cultural Spheres': Intra-Organizational Studies: 11. The role of trust in international cooperation in crisis areas: a comparison of German and US-American NGO partnership strategies L. Ripley Smith and Ulrike Schwegler; 12. Antecedents of supervisor trust in collectivist cultures: evidence from Turkey and China S. Arzu Wasti and Hwee Hoon Tan; 13. Trust in turbulent times: organizational change and the consequences for intra-organizational trust Veronica Hope-Hailey, Elaine Farndale and Clare Kelliher; 14. The implications of language boundaries on the development of trust in international management teams Jane Kassis Henderson; 15. The dynamics of trust across cultures in family firms Isabelle Mari; Part IV. Conclusions and Ways Forward: 16. Conclusions and ways forward Mark N. K. Saunders, Denise Skinner and Roy J. Lewicki; Index. (shrink)

Working on the assumption that ideas are embedded in socio-technical arrangements which actualize them, this essay sheds light on the way the Open Method of Co-ordination (OMC) achieves the Lisbon strategic goal: to become the most competitive and dynamic knowledge-based economy in the world . Rather than framing the issue in utilitarian terms, it focuses attention on quantified indicators, comparable statistics and common targets resulting from the increasing practice of intergovernmental benchmarking, in order to tackle the following questions: how does (...) the OMC go about co-ordinating Member States through the benchmarking of national policies? And to what extent does this managerial device impact the path of European construction? Beyond the ideological and discursive construction of the competitive imperative, this technology of government transforms it into an indefinite discipline (Foucault) which constantly urges decision-makers to hit the top of the charts. This contribution thus argues that the practice of intergovernmental benchmarking is far from being neutral in purpose and effect. On the contrary, it lays the foundation for building a competitive Europe which unites Member States through competition. (shrink)

Cet article prend pour objet l'injonction à la commémoration collective dont les monuments dédiés aux soldats morts au combat portent témoignage. l'article retrace la manière dont cette injonction a pu revêtir une historicité caractéristique des Temps modernes. Ce travail vise à dégager l'arrière-plan duquel émerge la volonté de commémoration politique qu'affichent les monuments aux morts. Selon son argument principal, la fonctionnalisation politique et la démocratisation croissantes de la commémoration dont témoigne l'extension des monuments aux morts depuis la Révolution française n'ont (...) été rendues possibles que par un long processus de sécularisation. The theme of this article is the injunction to collective commemoration presented by monuments raised in honor soldiers killed in combat. This article examines the way in which this injunction displays an historical movement characteristic of Modern Times. It attempts to identity the historical basis from which emerged the will to political commemoration that the war monuments express. According to the argument adopted here, the growing political functionalization and democratization of commemoration, to which the great extension of war monuments since the French Revolution attests, become possible through a long process of secularization. (shrink)

: It may be that denouncing the ideals of objectivity or neutrality associated with the sciences leads us into a trap: that of accepting, in order to criticize it, that there would be a common identity for the many ways to produce science. Learning to laugh, we choose to laugh with and laugh at. But we accept the risk of being interested, that is, of giving up the position of a judge.

We present a framework for machine implementation of families of non-classical logics with Kripke-style semantics. We decompose a logic into two interacting parts, each a natural deduction system: a base logic of labelled formulae, and a theory of labels characterizing the properties of the Kripke models. By appropriate combinations we capture both partial and complete fragments of large families of non-classical logics such as modal, relevance, and intuitionistic logics. Our approach is modular and supports uniform proofs of soundness, completeness and (...) proof normalization. We have implemented our work in the Isabelle Logical Framework. (shrink)

The essential precondition of implementing interventionist techniques of causal reasoning is that particular variables are identified as so-called intervention variables . While the pertinent literature standardly brackets the question how this can be accomplished in concrete contexts of causal discovery, the first part of this paper shows that the interventionist nature of variables cannot, in principle, be established based only on an interventionist notion of causation. The second part then demonstrates that standard observational methods that draw on Bayesian networks identify (...) intervention variables only if they also answer the questions that can be answered by interventionist techniques—which are thus rendered dispensable. The paper concludes by suggesting a way of identifying intervention variables that allows for exploiting the whole inferential potential of interventionist techniques. (shrink)

Four different contributions about my Penser avec Whitehead are a bit like four different chemical tests, helping me to understand better how my proposition may activate interest and connections, but also, and more surprisingly, enlightening me about “how” I myself have inherited from Whitehead’s philosophicaladventure. This answer weaves threads from Debaise, Goffey, Meyer, and Palin together with this very special gift I owe them all: the recognition that if I felt itneeded to resist the notion of a Whiteheadian “conception of (...) a creative world,” it is because to me “thinking with Whitehead” is not thinking about the world,rather reclaiming the kind of trust that thinking requires. (shrink)

The prime number theorem, established by Hadamard and de la Vallée Poussin independently in 1896, asserts that the density of primes in the positive integers is asymptotic to 1/ln x. Whereas their proofs made serious use of the methods of complex analysis, elementary proofs were provided by Selberg and Erdos in 1948. We describe a formally verified version of Selberg's proof, obtained using the Isabelle proof assistant.

In this article we will observe Sartre sketching, elaborating, and polishing characters, most of whom he carried around in himself for almost fourteen years. In short, we go back to the beginning of the question of the relationship of the writer and his work, relying above all on the manuscripts we have been able to consult. We postulate, and we will see in the course of this article if it is true, that the choice of writing in a certain way, (...) of inventing a character who takes shape in a particular way, can be conceived as the transformation of a real body into an imaginary one. J. F. Louette expressed it very well in 1996 when he stated that Sartre writes "to change his lymph and blood into ink: to get rid of himself thanks to the sheet of paper, which is not himself; in short … to change the contingency of the body into the necessity of art." Thus, the artist is the man who chooses to create imaginary objects in reality, but also and above all (from the ontological point of view), the man who chooses to create the real world in imagination, whose perception of the situation is in itself creation. (shrink)

High noise levels may have an adverse effect on the normal cochlea function and lead to significant hearing loss. Clinically, exposure to high intensity impulse noise produces a wide range of audiometric effects which may result in long term or even irreversible symptoms. Nevertheless, there is sometimes a spontaneous rebound recovery of the auditory function. This phenomenon was previously studied in the vision, another sensory function. It was called the visual survival attractor.In view of the importance that the sensory organs (...) have for the brain, and in particular in its function of recognising and dealing with its environment, it was interesting to know whether this survival attractor concept already described for vision occurs more generally in all the sensory functions. With this in mind we present here the results of a new study, this time on hearing. (shrink)

On the publication of Robert Lowell’s Life Studies in 1959, some critics were shocked by the poet’s use of seemingly frank autobiographical material, in particular the portrayal of his hospitalizations for bipolar disorder. During the late fifties and throughout the sixties, a rich vein, influenced by Lowell , developed in American poetry. Also during this time, the nascent science of psychopharmacology competed with and complemented the more established somatic treatments, such as psychosurgery, shock treatments, and psychoanalytical therapies. The development of (...) Thorazine was a remarkable breakthrough allowing patients previously thought incurable to leave hospital. In 1955, the release of Miltown, the first ‘minor’ tranquilizer, was heralded with a media fanfare promising a new dawn of psychological cure-all. These two events blurred the boundary between ‘normality’ and madness by making treatment in the community more widely possible and by medicalizing more commonplace distress. Lowell’s early depictions of madness situate it as emblematic of the cultural malaise of ‘the tranquilized fifties. ’ By his final collection, Day by Day (1977), mental illness had lost its symbolic power. These late poems explore the power of art as a way of representing and remedying suffering in a culture where psychopharmacology has normalized madness. (shrink)

Some studies have reported that, under some circumstances, participants sometimes reject the truth of conditional premises and give incorrect uncertain conclusions to MP and MT, despite the standard instructions to assume the truth of the premises. Instructions that emphasise the logical nature of the task, on the other hand, increase the number of valid conclusions to these two inferences. In this paper, we examine two possible explanations for the influence of instructions on the production of valid conclusions: (1) instructions trigger (...) a logical mode of thinking that is appropriate for the task to be solved, and (2) instructions affect the way that retrieved information is used when constructing a mental representation of the premises. In order to compare these two hypothesis, we used conditional causal relations having either many or few disabling conditions (i.e. cases of P and not-Q) and presented them in four different instructional conditions. When presented with the standard instructions to suppose the premises to be true, MP and MT inferences show a relatively low percentage of valid conclusions. However, when the logical nature of the task and the necessity to assume the truth of the premises are emphasised, the number of valid conclusions greatly increases. Also, if disabling conditions are made explicit or generated before the presentation of these logical instructions, the performance on MP and MT is lower than when only the logical instructions are presented. Finally, the instructions had no effect on AC and DA. From these results, we concluded that the instructions had an effect on the use of retrieved information rather than on inducing different modes of thinking. (shrink)

In this paper, we analyze an intra-personal game where a decision-maker is summarized by a succession of selves. Selves may (or may not) have conflicting interests, and earlier selves may have imperfect knowledge of the preferences of future selves. At date 1, self-1 chooses a menu, at date 2, the preferences of self-2 realize and self-2 chooses an item from the menu. We show that equilibrium choice is consistent with either a preference for flexibility, a preference for betweenness or a (...) preference for systematic restriction. Overall, the analysis reconciles the decision–theoretic approach of choice over time with the game–theoretic multiple-selves approach. (shrink)

This article is about the chief character of Sartre?s unfinished trilogy of novels known as Les chemins de la liberté—Daniel, Mathieu?s fellow-student at the École normale, Daniel the "archangel," Daniel the shamefaced pederast, Daniel the gaping wound, Daniel the strange hero, Daniel the recurrent figure in many of Sartre?s works. We do not intend to offer yet another explanation of this handsome young literature professor?s convoluted character to the explanations that already exist, nor to interpret yet again his detestation of (...) mankind and his prayers to God, which the author openly mocks. What we wish to do in these few pages is firstly to shed light on the procedures of Daniel?s imagination and evolution, and secondly to analyze how the author?s goals changed as, while writing the trilogy, he evolved from Gallimard?s up and coming star into the symbol of the search for freedom, the spokesman whom some disagreed with, criticised, despised, while others glorified him and praised him to the skies. We would like to try and elucidate the evolution of this character, steering between the free future of a literary work in progress and the ungraspable heart of darkness. (shrink)

This paper investigates the learnability by positive examples in the sense of Gold of Pregroup Grammars. In a first part, Pregroup Grammars are presented and a new parsing strategy is proposed. Then, theoretical learnability and non-learnability results for subclasses of Pregroup Grammars are proved. In the last two parts, we focus on learning Pregroup Grammars from a special kind of input called feature-tagged examples. A learning algorithm based on the parsing strategy presented in the first part is given. Its validity (...) is proved and its properties are examplified. (shrink)

We use a deep embedding of the display calculus for relation algebras RA in the logical framework Isabelle/HOL to formalise a machine-checked proof of cut-admissibility for RA. Unlike other “implementations”, we explicitly formalise the structural induction in Isabelle/HOL and believe this to be the first full formalisation of cutadmissibility in the presence of explicit structural rules.

Isabelle Stengers’ work on Whitehead is amongst the most important in Europe today. The contributors here—Isabella Palin, Stephen Meyers, DidierDebaise, and Andrew Goffey—offer a range of perspectives on Stengers’ effort to “think with” Whitehead. Stengers’ detailed response is included.

Philosophical inquiry and thinking skills are of paramount necessity in our troubled and rapidly changing world. Technological advances provide new methods for teaching philosophy, especially through the computer interface of online education. Online courses can open new opportunities and achieve the same quality of education as more traditional practices. In order to ensure success and quality, online pedagogies require great attention to discussion and collaboration. This paper explores some important elements in developing successful online philosophy courses.

The subject of Labelled Non-Classical Logics is the development and investigation of a framework for the modular and uniform presentation and implementation of non-classical logics, in particular modal and relevance logics. Logics are presented as labelled deduction systems, which are proved to be sound and complete with respect to the corresponding Kripke-style semantics. We investigate the proof theory of our systems, and show them to possess structural properties such as normalization and the subformula property, which we exploit not only to (...) establish advantages and limitations of our approach with respect to related ones, but also to give, by means of a substructural analysis, a new proof-theoretic method for investigating decidability and complexity of (some of) the logics we consider. All of our deduction systems have been implemented in the generic theorem prover Isabelle, thus providing a simple and natural environment for interactive proof development. Labelled Non-Classical Logics is essential reading for researchers and practitioners interested in the theory and applications of non-classical logics. (shrink)

In this paper, we study the auction to allocate an indivisible good when each potential buyer has a private and independent valuation for the item and suffers a negative externality if a competitor acquires it. In that case, the outside option of each buyer is mechanism-dependent, which implies that participation is endogenous. As several works in the literature have shown, the optimal auction entails strong threats to induce full entry and maximal expected revenue. This results from the full commitment assumption, (...) which ensures that threats are credible. We show that absent credible threats, the entry process does not lead to full participation: the equilibrium entails screening of agents in the entry stage and a trade-off between reserve prices and entry fees. Besides, we discuss the conditions under which the impossibility to use threats does not prevent the seller from ensuring a minimal screening and reaching a high expected revenue. (shrink)

We describe how we used the interactive theorem prover Isabelle to formalise and check the laws of the Timed Interval Calculus (TIC). We also describe some important corrections to, clarifications of, and flaws in these laws, found as a result of our work.

Isabelle Stengers’ magnificent book, Penser avec Whitehead, shows that to respond to the challenge posed by our epoch is to “think with” Whitehead in aconstructive and experimental process of reclaiming experience. “Experimentation” is a key term in Stengers’s reading, one which has a crucial role in articulating the stakes of “thinking with.” By looking at the diverse registers across which the notion of experimentation play in Penser avec Whitehead, this paper draws attention to the conceptual politics of “thinking with.”.

As knowledge creation quickly gains importance for globally active corporations, we attempt to combine the advantages of the Stakeholder View with those of the SECI model by Nonaka and Takeuchi. In order to support the mental processes of the stakeholders, we use so-called topic maps to transform implicit into explicit knowledge and to visualize it. The preliminary propositions are illustrated by the case study of Swiss Re.

Si nombreux sont les penseurs qui s’aceordent a dire que « notre epoque est celle de I’espace», là où la précedente avait été celle du temps et de I’histoire, les tentatives pour spatialiser nos concepts, et par là sortir des apories induites par la domination du temps (messianisme d’un avenir radieux ou nostalgie d’un passé idyllique) sont diverses (Deleuze, Foucault, Lacan, ete.). Avant eux Merleau-Ponty fut un des premiers à appeler de ses vœux eette spatialisation. C’est cette volonté de Merleau-Ponty (...) de spatialiser nos concepts que I’A. voudrait interroger. Quelle est la fonction de la topologie merleau-pontyenne et surtout quel en est le statut? N’assiste-t-on pas in fine à une difficulté de cette spatialisation de nos notions et ce faisant à un retour à un modèle temporel elassique ? Teiles sont les questions que se propose d’étudier cet article. (shrink)

Documentation on Nietzsche's teaching at the University in Basel.