The controversies over genetically modified crops in India involve what Gieryn refers to as ‘boundary work’ in the ongoing competition for credibility and trustworthiness among claimsmakers with opposing points of view. Discourse about GM crops involves extensive drawing of boundaries by actors including policymakers, technocrats, NGOs, scientists, industrialists, and farmers. The issues raised range from governmental processes to moral and ethical implications, from environmental consequences to integration into the global economy. Those involved in these discussions frequently invoke the idealized notions (...) of farmers and farming in order to situate themselves within the boundary of a particular social category which may lend credibility to their claims. While Gieryn has focused primarily on scientists’ attempts to construct a boundary between science and non-science in order to establish themselves as experts, strengthen the credibility of their claims and avoid political interference in their intellectual activities, this article focuses on a different way in which knowledgeable and influential actors lay claim to trustworthiness by drawing a different kind of social boundary around themselves. This article will especially focus on the ways in which the category of farmers is used in the GM crop controversies by actors who are in a position to influence public policies regarding GM crops, especially in their efforts to justify their policy prescriptions. The thesis here is that GM crop controversies in India reflect elite actors’ attempts to compete for a shared social identity with farmers, thus constructing a context for the particular public policy prescriptions they support. The thesis is supported by a lexical item frequency analysis of discussion related to genetically modified cotton in India which demonstrates that boundary work using social identity of farmers plays a significant role in shaping the discourse surrounding the adoption and governance of GM crops. (shrink)

Let ℸ be the set of Gödel numbers Gn of function symbols f such that PRA ⊢ and let γ be the function such that equation imageWe prove: The r. e. set ℸ is m-complete; the function γ is not primitive recursive in any class of functions {f1, f2, ⃛} so long as each fi has a recursive upper bound. This implies that γ is not primitive recursive in ℸ although it is recursive in ℸ.

This paper discusses how to refine a given initial legal ontology using an existing MRD (Machine-Readable Dictionary). There are two hard issues in the refinement process. One is to find out those MRD concepts most related to given legal concepts. The other is to correct bugs in a given legal ontology, using the concepts extracted from an MRD. In order to resolve the issues, we present a method to find out the best MRD correspondences to given legal concepts, using two (...) match algorithms. Moreover, another method called a static analysis is given to refine a given legal ontology, based on the comparison between the initial legal ontology and the best MRD correspondences to given legal concepts. We have implemented a software environment to help a user refine a given legal ontology based on these methods. The empirical results have shown that the environment works well in the field of Contracts for the International Sale of Goods. (shrink)

Over the past decade, genetically modified organisms have come to be viewed as problematic in Japan, as evidenced by a large number of newspaper articles covering questions ranging from the unknown ecological impact of GMOs to uncertainty about food safety, and by the fact that a number of consumers’ groups have organized activities including demonstrations at the experiment stations and the submission of petitions to the government. Against this backdrop, this article attempts to understand the changing interpretation of the perceived (...) rational social order in the context of the Japanese GMO controversies. Drawing on the French Theory of Conventions, the article will shed light on the conventions that serve as templates enabling actors to interpret what it means to introduce GMOs and what constitutes a rational decision concerning GMOs. The article will argue that rationality is best viewed as an emergent and interpretive process involving interpretation and negotiation by and among actors, and that conventions which may be taken for granted are nevertheless unstable and mutable. (shrink)

Productive sets are sets which are “effectively non recursively enumerable”. In the same spirit, we introduce a notion of “effectively nonrecursive sets” and prove an effective version of Post's theorem. We also show that a set is recursively enumerable and effectively nonrecursive in our sense if and only if it is effectively nonrecursive in the sense of Odifreddi [1].

An energy efficiency scenario (Joint Institute for a Sustainable Energy and Environmental Future) demonstrates that an energy future built on the use of cost-effective, high-efficiency technologies is clearly within the grasp of South Korea and would justify a nuclear power moratorium with significantly lower carbon dioxide emissions. This is a promising result, especially because applications of other sustainable energy options, such as renewables, decentralized technologies, material recycling/reuse, ecologically based land use planning, forest conservation, sustainable agriculture, and redirection of economic development (...) toward an environment-friendly industrial base, are not included in the analysis. Here lies one of the most fundamental policy choices of the newcentury: Will we build a sustainable energy and environmental future, or will we send forward the burdens and risks of a policy regime that is unwilling to value the future beyond the satisfaction of short-term interests and convenience? It is a critical time for South Korean policy making. (shrink)

科学的予測なるものの圧力が増大するなかで。先端バイオテクノロジーやDNA型鑑定への期待、災害予測、感染症シミュレーション、地震予測、放射線被ばくのリスク予測、そして政策や経済での活用まで、予測と社会の 複雑かつ多面的な関係性を考察する。.