Machine generated contents note: 1. The Computability Concept;2. General Recursive Functions;3. Programs and Machines;4. Recursive Enumerability;5. Connections to Logic;6. Degrees of Unsolvability;7. Polynomial-Time Computability;Appendix: Mathspeak;Appendix: Countability;Appendix: Decadic Notation;.

“The church is not the Old Israel, even though the Old Israel looked beyond itself; the church is the Israel of God, the ‘remnant chosen by grace.’ ”.

A Mathematical Introduction to Logic, Second Edition, offers increased flexibility with topic coverage, allowing for choice in how to utilize the textbook in a course. The author has made this edition more accessible to better meet the needs of today's undergraduate mathematics and philosophy students. It is intended for the reader who has not studied logic previously, but who has some experience in mathematical reasoning. Material is presented on computer science issues such as computational complexity and database queries, with additional (...) coverage of introductory material such as sets. Increased flexibility of the text, allowing instructors more choice in how they use the textbook in courses. Reduced mathematical rigour to fit the needs of undergraduate students. (shrink)

The journal of symbolic logic began publishing in 1936. From the outset, the Journal included a Reviews Section, edited by Alonzo Church. The very first issue carried three pages of reviews, written by Bernays, Church, Rosser, and Quine.As the first issue stated, “It is intended that this section of the Journal shall serve as a complete bibliography of current literature in the field of symbolic logic, from January 1, 1936. To this end an effort will be made to include in (...) it, at least by title, all publications in this field, both books and articles in journals, and as far as possible these will be accompanied by signed reviews.” Thus the purpose of the Reviews Section was two-fold. For one, there was its bibliographical function: to provide a complete, suitably indexed, listing of all the publications—both books and journal articles—in symbolic logic, wherever and in whatever language published. And secondly, the reviews were to provide critical, analytical commentary on these publications, whenever possible.The Reviews Section should be viewed as a continuation and expansion of Church's A bibliography of symbolic logic. The Bibliography was a listing, with some annotations, of the publications in symbolic logic prior to 1936. It was published as volume 1, number 4 of the Journal. Church made the listing as complete as he could, of course. (shrink)

Kant suggests that moral metaphysics can be shown to be politically applicable by thinking of the analogically similar applicability of the principles of speculative reason to the external world of sense experience. Just as the categories of understanding, e.g., causality, substance, and so on must be schematized, i.e., given a temporal representation in order to be made applicable to the forms of sensuous intuitions, so also the principles of morality—most especially the idea of the autonomous will—must be schematized to be (...) made politically applicable. The paper shows how Kant employs his schematism in metaphysics to make the principles of morality applicable to political experience and concludes with observations on the moral and political implications of a politics that pays homage to Kantian morality. (shrink)

Kant suggests that moral metaphysics can be shown to be politically applicable by thinking of the analogically similar applicability of the principles of speculative reason to the external world of sense experience. Just as the categories of understanding, e.g., causality, substance, and so on must be schematized, i.e., given a temporal representation in order to be made applicable to the forms of sensuous intuitions, so also the principles of morality—most especially the idea of the autonomous will—must be schematized to be (...) made politically applicable. The paper shows how Kant employs his schematism in metaphysics to make the principles of morality applicable to political experience and concludes with observations on the moral and political implications of a politics that pays homage to Kantian morality. (shrink)

Edited by Thomas A. Shannon, this series provides anthologies of critical essays and reflections by leading ethicists in four pivotal areas: reproductive technologies, genetic technologies, death and dying, and health care policy. The goal of this series is twofold: first, to provide a set of readers on thematic topics for introductory or survey courses in bioethics or for courses with a particular theme or time limitation. Second, each of the readers in this series is designed to help students focus more (...) thoroughly and effectively on specific topics that flesh out the ethical issues at the core of bioethics. The series is also highly accessible to general readers interested in bioethics. (shrink)

This book presents a collection of articles on applied general equilibrium analysis by major contributors to this field. This rapidly expanding method of analysis involves the use of computers to study entire economies and the interrelationships among firms, households and governments in these economies. There are also articles on the particular computational techniques involved in the numerical estimation of these equilibrium models and on several particular applications. Papers deal with the United States, Mexican and Australian economies. Other chapters provide an (...) analysis of long-run energy problems, fiscal federalism and economic planning. (shrink)