Are there objects that are "thin" in the sense that not very much is required for their existence? Frege famously thought so. He claimed that the equinumerosity of the knives and the forks suffices for there to be objects such as the number of knives and the number of forks, and for these objects to be identical. The idea of thin objects holds great philosophical promise but has proved hard to explicate. Øystein Linnebo aims to do so by drawing on some Fregean ideas. First, to be an object is to be a possible referent of a singular term. Second, singular reference can be achieved by providing a criterion of identity for the would-be referent. The second idea enables a form of easy reference and thus, via the first idea, also a form of easy being. Paradox is avoided by imposing a predicativity restriction on the criteria of identity. But the abstraction based on a criterion of identity may result in an expanded domain. By iterating such expansions, a powerful account of dynamic abstraction is developed. The result is a distinctive approach to ontology. Abstract objects such as numbers and sets are demystified and allowed to exist alongside more familiar physical objects. And Linnebo also offers a novel approach to set theory which takes seriously the idea that sets are "formed" successively.

IS THE TOPIC ANALOG TESTING AND DIAGNOSIS TIMELY? Yes, indeed it is. Testing and Diagnosis is an important topic and fulfills a vital need for the electronic industry. The testing and diagnosis of digital electronic circuits has been successfuIly developed to the point that it can be automated. Unfortu nately, its development for analog electronic circuits is still in its Stone Age. The engineer's intuition is still the most powerful tool used in the industry! There are two reasons for this. One is that there has been no pressing need from the industry. Analog circuits are usuaIly small in size. Sometimes, the engineer's experience and intuition are sufficient to fulfill the need. The other reason is that there are no breakthrough results from academic re search to provide the industry with critical ideas to develop tools. This is not because of a lack of effort. Both academic and industrial research groups have made major efforts to look into this problem. Unfortunately, the prob lem for analog circuits is fundamentally different from and much more diffi cult than its counterpart for digital circuits. These efforts have led to some important findings, but are still not at the point of being practicaIly useful. However, these situations are now changing. The current trend for the design of VLSI chips is to use analog/digital hybrid circuits, instead of digital circuits from the past. Therefore, even Ix x Preface though the analog circuit may be small, the total circuit under testing is large.

Arithmetic is one of the foundations of our educational systems, but what exactly is it? Numbers are everywhere in our modern societies, but what is our knowledge of numbers really about? This book provides a philosophical account of arithmetical knowledge that is based on the state-of-the-art empirical studies of numerical cognition. It explains how humans have developed arithmetic from humble origins to its modern status as an almost universally possessed knowledge and skill. Central to the account is the realisation that, while arithmetic is a human creation, the development of arithmetic is constrained by our evolutionarily developed cognitive architecture. Arithmetic is a sophisticated cultural development, but it is ultimately based on abilities with numerosities that we already possess as infants and share with many non-human animals. Therefore, arithmetic is not purely conventional, an arbitrary game akin to chess. Instead, arithmetic is deeply connected to our basic cognitive capacities.

This two-volume set LNCS 7902 and 7903 constitutes the refereed proceedings of the 12th International Work-Conference on Artificial Neural Networks, IWANN 2013, held in Puerto de la Cruz, Tenerife, Spain, in June 2013. The 116 revised papers were carefully reviewed and selected from numerous submissions for presentation in two volumes. The papers explore sections on mathematical and theoretical methods in computational intelligence, neurocomputational formulations, learning and adaptation emulation of cognitive functions, bio-inspired systems and neuro-engineering, advanced topics in computational intelligence and applications.

This volume provides a large-scale, in-depth analysis of locative structures in Nigerian Pidgin and Ghanaian Pidgin English and compares those structures to locatives in their lexifier, substrate, and adstrate languages. The work draws on new research methods for investigating substrate and adstrate influence in semantics and creole genesis.