The Web 2.0, with online social technologies such as social networking services, blogs, wikis, or microbloging, has brought the vision of the Internet as a social landscape in which people are engaged in a multitude of social activities. This editorial of the special issue ‘Social Web and Identity’ discusses the importance of identity in the context of the Social Web, introducing the different papers of this special issue and the different aspects associated to these online identities. The topics covered in (...) this issue include how people define their identity in blogs and what is the articulation between online and offline identities in these systems. It also presents an article studying the privacy issues in online social networks and more specifically how these risks are perceived and how people can control their identity in this context. The next article compares privacy in two different categories of social systems (social network and collaborative workspace). Finally, another article discusses to what extent the current legislation, such the data protection regulations directive 95/46/EC, is providing the right instrument for dealing with privacy issues. (shrink)

Formal topology aims at developing general topology in intuitionistic and predicative mathematics. Many classical results of general topology have been already brought into the realm of constructive mathematics by using formal topology and also new light on basic topological notions was gained with this approach which allows distinction which are not expressible in classical topology. Here we give a systematic exposition of one of the main tools in formal topology: inductive generation. In fact, many formal topologies can be presented in (...) a predicative way by an inductive generation and thus their properties can be proved inductively. We show however that some natural complete Heyting algebra cannot be inductively defined. (shrink)

Valorising the biocultural heritage of common goods could enable peasant farmers to achieve socially and economically inclusive sustainability. Increasingly appreciated by consumers, peasant heritage products offer small farmers promising opportunities for economic, social and territorial development. Identifying the obstacles and levers of this complex, multi-scale and multi-stakeholder objective requires an integrative framework. We applied the panarchy conceptual framework to two cases of participatory research with small quinoa producers: a local fair in Chile and quinoa export production in Bolivia. In both (...) cases, the “commoning” process was crucial both to bring stakeholders together inside their communities and to gain outside recognition for their production and thus achieve social and economic inclusion. Despite the differences in scale, the local fair and the export market shared a similar marketing strategy based on short value chains promoting quality products with high identity value. In these dynamics of biocultural heritage valorisation, the panarchical approach revealed the central place as well as the vulnerability of the community territory. As a place of both anchoring and opening, the community territory is the privileged space where autonomous and consensual control over the governance of common biocultural resources can be exercised. (shrink)

The popularity of alliances in business has exploded over the past few years along with an increasing interest in the role of trust in economic transactions. This paper details the nature of alliances and the crucial role played by trust in creating and managing alliances. Evidence of the emergence of trust are further given within the context of alliances established by small and medium-sized Swiss enterprises where both planning and mutual trust constitute essential ingredients.

In times of social and moral crises, sport has often been called to boost individual moral development. By the same token, outdoor activities are viewed as good educational practices to enhance environmental responsibility. However, the present paper argues that these physical activities are currently following the same technological development trend as the mainstream society, and challenges this trend itself in terms of sustainability by critically asking this question: Do outdoor activities really enhance environmental responsibility? The research supporting this paper is (...) based on a qualitative inquiry using interviews with outdoor activities practitioners: mountain guides and white water sports instructors. The findings of this research show that environmental responsibility development depends on the sport contexts. It is fostered in slow and none-technological activities and lowered in fast and technological activities. The paper concludes with the following paradox reached by the preliminary research results: the birth of modern technology calls for greater need of environmental responsibility, but it may also prevent its development at the same time. (shrink)

When town planning emerged at the end of the 19th century, its proponents did not envisage the city without nature. Some, such as Ebenezer Howard, believed the garden city would become the new face of the urban landscape, bringing together only the positive aspects of both city and country. Others, health experts and rationalists, advocated functional planning, where the ‘green space’ was part of the overall plan. And so nature was not forgotten. But what ‘nature’? A ‘nature’ external to the (...) town-dweller, like an ornament or decoration? Something that enhanced the built environment and not the very condition of our existence as human beings? Behind the planners’ inclusion of ‘nature’ lie very different intentions, from one period to another and one culture to another. The globalized, standardized ‘nature’ that was subsequently part of marketing the city is just an image; whether wild or tamed, it is no longer localized, no longer a partner in our condition as denizens of the earth. Thierry Paquot examines these continuing processes of change. (shrink)

Le premier site naturel de compensation français a été inauguré le 11 mai 2009 sur le site d’un verger abandonné dans la plaine de Crau. Cette opération avait notamment pour objectif d’expérimenter le premier mécanisme d’offre de compensation français via la réhabilitation d’une végétation herbacée permettant le retour des oiseaux steppiques emblématiques de cet espace. Impliqués dans le comité local de pilotage, des écologues ont conseillé les techniques de réhabilitation et expertisé leurs effets sur la biodiversité tout en réalisant des (...) recherches expérimentales pour étendre la restauration à la végétation et à certains groupes d’insectes. Après 7 années de suivis, les résultats montrent que la réhabilitation a bien permis la création d’une végétation favorable au retour de l’avifaune steppique mais le succès des expérimentations de restauration ne peut pas encore être définitivement prédit sur le long terme. Ces résultats soulignent les difficultés scientifiques et techniques de la restauration et limitent donc le mécanisme de compensation à la réhabilitation de certaines composantes ou fonctions. The first French ecological offset area was inaugurated on May 11th 2009 at the site of an abandoned orchard in the Crau plain. One of the objectives of this intervention was to test the first French mitigation bank rehabilitating the herbaceous vegetation in order to encourage the return of steppe birds emblematic of this area. The ecologists involved in the local steering committee proposed rehabilitation techniques and assessed their impact on biodiversity while at the same time carrying out experimental research designed to extend the restoration process to plant communities and some groups of insects. The results of various studies showed that the rehabilitation scheme led to the development of a plant community favorable to the return of steppe birds. However, the long-term results of the restoration experiments cannot be definitively predicted. Thus, these results highlight the scientific and technical difficulties facing the restoration process and hence restrict the compensation mechanism to the rehabilitation of some of their components or functions. (shrink)

. The effort in providing constructive and predicative meaning to non-constructive modes of reasoning has almost without exception been applied to theories with full classical logic [4]. In this paper we show how to combine unrestricted countable choice, induction on infinite well-founded trees and restricted classical logic in constructively given models. These models are sheaf models over a $\sigma$ -complete Boolean algebra, whose topologies are generated by finite or countable covering relations. By a judicious choice of the Boolean algebra we (...) can directly extract effective content from $\Pi_2^0$ -statements true in the model. All the arguments of the present paper can be formalised in Martin-Löf's constructive type theory with generalised inductive definitions. (shrink)

The anticipation of ethical issues that may arise with the clinical use of genomic technologies is crucial to envision their future implementation in a manner sensitive to local contexts. Yet, populations in low- and middle-income countries are underrepresented in studies that aim to explore stakeholders’ perspectives on the use of such technologies. Within the framework of a research project entitled “Personalized medicine in the treatment of epilepsy”, we sought to increase inclusiveness by widening the reach of our survey, inviting neurologists (...) from around the world to share their views and practices regarding the use of whole-genome sequencing in clinical neurology and its associated ethics. We discuss herein the compelling scientific and ethical reasons that led us to attempt to recruit neurologists worldwide, despite the lack, in many low- or middle-income countries, of access to genomic technologies. Recruitment procedures and their results are presented and discussed, as well as the barriers we faced. We conclude that inclusive recruitment remains a challenging, albeit necessary and legitimate, endeavour. (shrink)

This study analysed mountain guides’ representations of environmental responsibility and explored the paradox that these professionals face: using nature as a source of income while trying to preserve it. The study was mainly guided by the philosophical literature on this topic and made use of the concepts of sustainable development and nature. This exploratory work therefore contributes to the new field of environmental social psychology. Semi-structured interviews were conducted and the qualitative analysis showed that mountain guides have a very sensitive (...) and contemplative approach to moral aspects of our relationship with nature, which they try to transmit to their clients. They believe that this is a way to educate people about sustainable development, but this term emerged as quite vague for them, and they expressed the opinion that it might hide other concerns, such as to make translating it into moral conduct a difficult matter and to compromise their identity as moral actors. (shrink)

Liang Shuming, considered to be the Last Confucian, was a Buddhist.

Semantical arguments, based on the completeness theorem for first-order logic, give elegant proofs of purely syntactical results. For instance, for proving a conservativity theorem between two theories, one shows instead that any model of one theory can be extended to a model of the other theory. This method of proof, because of its use of the completeness theorem, is a priori not valid constructively. We show here how to give similar arguments, valid constructively, by using Boolean models. These models are (...) a slight variation of ordinary first-order models, where truth values are now regular ideals of a given Boolean algebra. Two examples are presented: a simple conservativity result and Herbrand's theorem. (shrink)

The general framework of this paper is a reformulation of Hilbert’s program using the theory of locales, also known as formal or point-free topology [P.T. Johnstone, Stone Spaces, in: Cambridge Studies in Advanced Mathematics, vol. 3, 1982; Th. Coquand, G. Sambin, J. Smith, S. Valentini, Inductively generated formal topologies, Ann. Pure Appl. Logic 124 71–106; G. Sambin, Intuitionistic formal spaces–a first communication, in: D. Skordev , Mathematical Logic and its Applications, Plenum, New York, 1987, pp. 187–204]. Formal topology presents a (...) topological space, not as a set of points, but as a logical theory which describes the lattice of open sets. The application to Hilbert’s program is then the following. Hilbert’s ideal objects are represented by points of such a formal space. There are general methods to “eliminate” the use of points, close to the notion of forcing and to the “elimination of choice sequences” in intuitionist mathematics, which correspond to Hilbert’s required elimination of ideal objects. This paper illustrates further this general program on the notion of valuations. They were introduced by Dedekind and Weber [R. Dedekind, H. Weber, Theorie des algebraischen Funktionen einer Veränderlichen, J. de Crelle t. XCII 181–290] to give a rigorous presentation of Riemann surfaces. It can be argued that it is one of the first example in mathematics of point-free representation of spaces [N. Bourbaki, Eléments de Mathématique. Algèbre commutative, Hermann, Paris, 1965, Chapitre 7]. It is thus of historical and conceptual interest to be able to represent this notion in formal topology. (shrink)

Starting from research on biotechnology and its applications to living organisms, this paper presents the key features of modern-day synthetic biology, as well as its main ethical implications. The analysis of the paradox of the concept of robustness in the creation of microorganisms through synthetic biology leads us to address the topic of vulnerability, applied to man, but also to all other living beings. The concept of “enhanced human being” will strengthen the link between complexity and vulnerability as inherent features (...) of living beings. Reflecting upon the importance of considering vulnerability applied to man’s three-fold dimensions - physical, psycho-social and spiritual - and their interaction with their environment, we will define a type of anthropology which may constitute the basis of the study on the ethical implications of synthetic biology. This will lead to present the purpose of an ethical limit to the temptation of « allmightiness », which the concept of enhanced human being could entail, and vulnerability as a defining feature of all living beings. (shrink)

This study was aimed at explaining how and under what conditions surface similarity leads to the retrieval of an analogous base problem in LTM. Some elements of a theory of the organisation of knowledge in memory are proposed. Two levels of representation are distinguished. The first level represents directly accessible, local surface properties. The second level represents more abstract information pertaining to the category with which each analogous problem can be associated. Some results will be described showing that access to (...) an analogue in LTM based on surface properties is determined by the existence of a similarity at a higher level of abstraction. This is a search-area effect, in that categorical information seems to delimit a memory search space, within which the connection between local surface properties is more likely to be made. (shrink)

The essential junkiness of our culture and biology.

The aim of this paper is on the one hand to remind the Western reader of some aporias of Chinese antiquity, and on the other hand to show that a logic of sorts or of types similar to that which has been proposed to explain the relation between categories (in the mathematical sense of the term) and logic brings much light on these aporias. This should be contrasted with older traditional explanations using conventional syllogistics or feeling satised with too simple (...) explanations such as the confusion between inclusion and identity. The article is based on preceding papers of the Author, but stresses the basic unity of the solutions which were proposed there. (shrink)

There is converging evidence from developmental and cognitive psychology, as well as from neuroscience, to suggest that the self is both special and social, and that self-other interaction is the driving force behind self-development. We review experimental findings which demonstrate that human infants are motivated for social interactions and suggest that the development of an awareness of other minds is rooted in the implicit notion that others are like the self. We then marshal evidence from functional neuroimaging explorations of the (...) neurophysiological substrate of shared representations between the self and others, using various ecological paradigms such as mentally representing one's own actions versus others' actions, watching the actions executed by others, imitating the others' actions versus being imitated by others. We suggest that within this shared neural network the inferior parietal cortex and the prefrontal cortex in the right hemisphere play a special role in the essential ability to distinguish the self from others, and in the way the self represents the other. Interestingly, the right hemisphere develops its functions earlier than the left. (shrink)

The present study, which sought to analyse adolescent sportsmen's representations of responsibility, was mainly guided by the philosophical literature on this topic. A body of literature suggests that the contextual factors of sport practice, particularly regarding the rules that regulate play, may have a key role in the building of such representations. Semi-structured interviews were conducted with two groups of 18 teenagers: one group of institutionalised athletes and one group of self-organised athletes . The qualitative analysis showed that the institutionalised (...) players described responsibility in functional terms; this result was explained by the rigid characteristics of their context of practice, which was based on task division and performance. In contrast, the self-organised players described responsibility in moral terms; this result was explained by an open context of practice based on interaction. The overall results of our study raise questions about the educational capacity of institutionalised sport and the objective conditions that promote the social and moral development of young people. (shrink)

We study an extension of Stackelberg’s model in which many firms can produce at many different times. Demand is affine, while cost is linear. In this setting, we investigate whether Stackelberg’s results in a two-firm game are robust when the number of firms increases. We show that firms may not need to anticipate further entries, leaders might earn less than in the simultaneous game, and, whatever its cost and its time of entry, the firm’s entry always improves welfare.

The purpose of this article is to evaluate the Moist Canons from the point of view of logic, as a system of definitions. We concentrate more specifically on the formal organization of the upper part of the Moist Canons. This method leads us to a globally positive evaluation of the system of definitions but also to the less expected conclusion that a few very basic concepts are undefined and form the background of the Moist concrete, realist, and pragmatic philosophical system: (...) ran, to be so; de, to obtain; ming, illumination; zuo, to initiate; and wei, to act. (shrink)