Second, this collection of cognitive programs evolved in the Pleistocene to solve the adaptive problems regularly faced by our hunter-gatherer ancestors-...

Few topics in international intellectual property law have been as controversial in recent years as the one we are about to examine. In the 1980s and early 1990s, a Diplomatic Conference attempted to revise the oldest international convention providing some protection for patented inventions outside of the domestic laws. Those efforts broke down, largely because developed and developing countries could not agree on the powers that governments should retain to issue compulsory licenses or on the grounds for which these powers (...) could be exercised. The failure of this Conference, held under the auspices of the World Intellectual Property Organization (WIPO), persuaded the technology-exporting countries to link future negotiations concerning international intellectual property protection to the Multilateral Trade Negotiations, known as the Uruguay Round, which got underway in 1986. The end result was Annex IC of the Agreement Establishing the World Trade Organization of 1994, which incorporated a new, comprehensive and relatively elevated set of international minimum standards of patent protection into the Agreement on Trade-Related Aspects of Intellectual Property Rights (TRIPS Agreement). (shrink)

Darwin, Sex and Statusargues that a human sociobiology that mistakes evolutionary theory for theories of psychology and culture is wrong, as are psychologies that could never have evolved or social sciences that posit impossible psychologies. Status develops theories of human self-awareness, cognition, and cultural capacity that are compatible with evolutionary theory. Recurring themes include: the importance of sexual selection in human evolution; our species' preoccupation with self-esteem and relative standing; the individual as an active strategist, regularly revising culturally provided information; (...) and awareness as an impressionmanagement device. Culture is a somewhat structured information pool that itself evolves, often in ways that reduce the genetic fitness of its participants. (shrink)

Human hyperculture appears to have been produced by the amplification of the kind of normal culture shared by cetaceans and other animals and presumably by our ancestors. Is there any possibility that cetaceans could be subject to these amplifying processes, which may include: sexual selection; within-group moral behavior; culling of low- cultural-capacity individuals through predation or self-predation; and reciprocal positive feedback between culture and the capacity for culture.

Because human cultures are far more similar than they are different, culturally constituted niches may work to limit or prevent the development of genetically based psychological differences across populations. The niche approach further implies that we may remain relatively well-adapted to contemporary environments because of the latter's cultural niche continuity with ancient environments.

Vertical/compatible theoretical integration provides an alternative way of unifying sociocultural anthropology and related disciplines. It involves analyzing theoretical statements for their implicit and explicit assumptions at multiple levels of analysis and then determining whether these assumptions are compatible with consensus in the relevant disciplines (e.g., does the sociological theory include an assumption at odds with consensus psychology?). Incompatibilities indicate a need for further research. This approach is much more likely to salvage the bulk of humanities-oriented anthropology than is that of (...) the authors. (Published Online November 9 2006). (shrink)

Provability, Computability and Reflection.

In this paper we continue our study, begun in [5], of the connection between ultraproducts and saturated structures. IfDis an ultrafilter over a setI, andis a structure, the ultrapower ofmoduloDis denoted byD-prod. The ultrapower is important because it is a method of constructing structures which are elementarily equivalent to a given structure. Our ultimate aim is to find out what kinds of structure are ultrapowers of. We made a beginning in [5] by proving that, assuming the generalized continuum hypothesis, for (...) each cardinalαthere is an ultrafilterDover a set of powerαsuch that for all structures,D-prodisα+-saturated. (shrink)

We show that each of the five basic theories of second order arithmetic that play a central role in reverse mathematics has a natural counterpart in the language of nonstandard arithmetic. In the earlier paper [3] we introduced saturation principles in nonstandard arithmetic which are equivalent in strength to strong choice axioms in second order arithmetic. This paper studies principles which are equivalent in strength to weaker theories in second order arithmetic.

Shelah's theory of forking is generalized in a way which deals with measures instead of complete types. This allows us to extend the method of forking from the class of stable theories to the larger class of theories which do not have the independence property. When restricted to the special case of stable theories, this paper reduces to a reformulation of the classical approach. However, it goes beyond the classical approach in the case of unstable theories. Methods from ordinary forking (...) theory and the Loeb measure construction from nonstandard analysis are used. (shrink)

Introduction. This paper is a sequel to our paper [3]. In that paper we introduced the notion of a finite approximation to an infinitely long formula, in a language L with infinitely long expressions of the type considered by Henkin in [2]. The results of the paper [3] show relationships between the models of an infinitely long sentence and the models of its finite approximations. In the present paper we shall apply the main result of [3] to prove a number (...) of theorems about ordinary finitely long sentences; these theorems are of a type which one might call “preservation theorems”. The following two known results are typical preservation theorems: A sentence φ is preserved under substructures if and only if φ is equivalent to some universal sentence ; φ is preserved under homomorphic images if and only if φ is equivalent to some positive sentence. An expository account of preservation theorems may be found in Lyndon [9].We shall use freely all of the notation introduced in [3], and shall not attempt to make this paper selfcontained. However, the reader should have no difficulty following this paper after he has read [3]. In § 1 we cover some preliminary topics. In § 2 and § 3 we shall illustrate our method in familiar situations by proving anew the two preservation theorems mentioned above. We shall then obtain four new preservation theorems in §§ 4, 5, and 6, involving respectively direct powers and roots, strong homomorphisms and retracts, and direct factors. The result in § 6 was stated in the abstract [4], while the results in § 5 were stated in the abstract [5]. (shrink)