John Robinson

© 2015 Elsevier Ltd. The golden jackal of Africa has long been considered a conspecific of jackals distributed throughout Eurasia, with the nearest source populations in the Middle East. However, two recent reports found that mitochondrial haplotypes of some African golden jackals aligned more closely to gray wolves [1, 2], which is surprising giventhe absence of gray wolves in Africa and the phenotypic divergence between the two species. Moreover, these results imply the existence of a previously unrecognized phylogenetically distinct species despite a long history of taxonomic work on African canids. To test the distinct-species hypothesis and understand the evolutionary history that would account for this puzzling result, we analyzed extensive genomic data including mitochondrial genome sequences, sequences from 20 autosomal loci, microsatellite loci, X- and Y-linked zinc-finger protein gene sequences, and whole-genome nuclear sequences in African and Eurasian golden jackals and gray wolves. Our results provide consistent and robust evidence that populations of golden jackals from Africa and Eurasia represent distinct monophyletic lineages separated for more than onemillion years, sufficient to merit formal recognition as different species: C.anthus and C.aureus. Usingmorphologic data, we demonstrate a striking morphologic similarity between East African and Eurasian golden jackals, suggesting parallelism, which may have misled taxonomists and likely reflects uniquely intense interspecific competition in the East African carnivore guild. Our study shows how ecology can confound taxonomy if interspecific competition constrains size diversification. Koepfli etal. assess divergence between golden jackals from Africa and Eurasia using data from the mitochondrial and nuclear genomes. They show that African and Eurasian golden jackals are genetically distinct and independent lineages, and that African golden jackals likely represent a separate species.

For decades, both economists and legal scholars have regularly used the metaphor of a ‘bundle of rights’ to describe property. In recent and growing literature, the bundle formulation has been the target of a number of critiques, some of which point to Adam Smith, among others, as a source for an alternative perspective on property. This paper examines Smith's work and argues that Smith is an appropriate authority and focal figure for a traditional, in-rem view of property. It illustrates how Smith's usage of concepts in the civil-law tradition, his appreciation for Hume, and especially his unique theory of the impartial spectator, together make clear that Smith's understanding of property is irreconcilable with the modern bundle formulation.

Reflecting Alan Robinson's fundamental contribution to computational logic, this book brings together seminal papers in inference, equality theories, and logic programming. It is an exceptional collection that ranges from surveys of major areas to new results in more specialized topics. Alan Robinson is currently the University Professor at Syracuse University. Jean-Louis Lassez is a Research Scientist at the IBM Thomas J. Watson Research Center. Gordon Plotkin is Professor of Computer Science at the University of Edinburgh. Contents: Inference. Subsumption, A Sometimes Undervalued Procedure, Larry Wos, Ross Overbeek, and Ewing Lusk. The Markgraf Karl Refutation Procedure, Hans Jurgen Ohlbach and Jorg H. Siekmann. Modal Logic Should Say More than it Does, Melvin Fitting. Interactive Proof Presentation, W. W. Bledsoe. Intelligent Backtracking Revisited, Maurice Bruynooghe. A Science of Reasoning, Alan Bundy. Inductive Inference of Theories from Facts, Ehud Y. Shapiro. Equality. Solving Equations in Abstract Algebras: A Rule-based Survey of Unification, Jean-Pierre Jouannaud and Claude Kirchner. Disunification: A Survey, Hubert Comon. A Case Study of the Completion Procedure: Proving Ring Commutativity Problems, Deepak Kapur and Hantao Zhang. Computations in Regular Rewriting Systems I and II, Girard Huet and JeanJacques Levy. Unification and ML Type Reconstruction, Paris Kanellakis, Harry Mairson, and John Mitchell. Automatic Dimensional Analysis, Mitchell Wand. Logic Programming. Logic Programming Schemes and Their Implementations, Keith Clark. A Near-Horn Prolog for Compilation, Donald Loveland and David Reed. Unfold/Fold Transformations of Logic Programs, P. A. Gardner and J. C. Shepherdson. An Algebraic Representation of Logic Program Computations, Andrea Corradini and Ugo Montanari. Theory of Disjunctive Logic Programs, Jack Minker, Arcot Rajasekar, and Jorge Lobo. Bottom-Up Evaluation of Logic Programs, Jeffrey Naughton and Raghu Ramakrishnan. Absys, the First Logic Programming Language: A View of the Inevitability of Logic Programming, E. W. Elcock.

Two theories of representation are then developed, A fregean and a kripkean. According to the fregean theory, What a picture represents is a function of its "sense," whereas according to the kripkean theory, What a picture represents is a function of its "history." the concepts of "sense" and "history" are spelt out in some detail. Both theories are shown to be plausible theories of representation although there are difficulties with both. In particular, Neither theory seems capable of explaining "metaphorical" cases of representation-As