This junior/senior level text is devoted to a study of first-order logic and its role in the foundations of mathematics: What is a proof? How can a proof be justified? To what extent can a proof be made a purely mechanical procedure? How much faith can we have in a proof that is so complex that no one can follow it through in a lifetime? The first substantial answers to these questions have only been obtained in this century. The most (...) striking results are contained in Goedel's work: First, it is possible to give a simple set of rules that suffice to carry out all mathematical proofs; but, second, these rules are necessarily incomplete - it is impossible, for example, to prove all true statements of arithmetic. The book begins with an introduction to first-order logic, Goedel's theorem, and model theory. A second part covers extensions of first-order logic and limitations of the formal methods. The book covers several advanced topics, not commonly treated in introductory texts, such as Trachtenbrot's undecidability theorem. Fraissé's elementary equivalence, and Lindstroem's theorem on the maximality of first-order logic. (shrink)

This paper examines a model in which people’s preferences adjust to changes in their relative ability to attain various goals. Preference changes are modeled as changes in the configuration of weights (or values) attached to these goals. The model permits to explain common prototype changes of preferences such as the ‘sour grapes’ or the ‘overcompensating’ phenomenon. It is found that whether the first or the second phenomenon occurs depends on whether a goal is easy or difficult to substitute by other (...) goals. If two goals are sufficiently strong substitutes for each other, no weight will be placed on that goal which is harder to attain. The results readily apply to the standard microeconomic set-up involving goods and prices, rather than abstract goals and abilities. In this case, one implication of the model is that only a subset of the overall commodity space is relevant for everyday consumer choice, which reduces the complexity of the choice procedure. The model also permits to explain how new and unfamiliar products are incorporated into the consumer’s preference pattern. (shrink)

The present work critically examines two assumptions frequently stated by supporters of cognitive neuroenhancement. The first, explicitly methodological, assumption is the supposition of effective and side effect-free neuroenhancers. However, there is an evidence-based concern that the most promising drugs currently used for cognitive enhancement can be addictive. Furthermore, this work describes why the neuronal correlates of key cognitive concepts, such as learning and memory, are so deeply connected with mechanisms implicated in the development and maintenance of addictive behaviour so that (...) modification of these systems may inevitably run the risk of addiction to the enhancing drugs. Such a potential risk of addiction could only be falsified by in-depth empirical research. The second, implicit, assumption is that research on neuroenhancement does not pose a serious moral problem. However, the potential for addiction, along with arguments related to research ethics and the potential social impact of neuroenhancement, could invalidate this assumption. It is suggested that ethical evaluation needs to consider the empirical data as well as the question of whether and how such empirical knowledge can be obtained. (shrink)

An important distinction between phonology and syntax has been overlooked. All phonological patterns belong to the regular region of the Chomsky Hierarchy, but not all syntactic patterns do. We argue that the hypothesis that humans employ distinct learning mechanisms for phonology and syntax currently offers the best explanation for this difference.

This book presents a range of essays on the conceptual foundations of physicalism, mental causation and human agency, written by established and leading authors ...

This compelling book contains a comprehensive analytical treatment of the theory of production in a long-period framework. Although the authors take a 'Classical' approach to their subject, the scope of investigation and methods employed should interest all economic theorists. Professors Kurz and Salvadori explore economic systems that are characterised by a particular kind of primary input in the production process, such as different kinds of labour and natural resources. These systems and the corresponding prices can be understood to reflect characteristic (...) features of a capitalist market economy in an ideal way: they express the pure logic of the relationship between value and distribution in an economic system. Specific chapters deal with prices and income distribution, economic growth, joint production, fixed capital, scarce natural resources, and heterogeneous labour. The historical origins of the concepts used are also discussed in considerable detail. (shrink)

Using hitherto unpublished manuscripts from the Zermelo Nachlass, I describe the development of the notion of definiteness and the discussion about it, giving a conclusive picture of Zermelo's thoughts up to the late thirties. As it turns out, Zermelo's considerations about definiteness are intimately related to his concept of a Cantorian universe of categorically definable sets that may be considered an inner model of set theory in an ideationally given universe of classes.