Best of
Logic

1980

This Book Needs No Title: A Budget of Living Paradoxes


Raymond M. Smullyan - 1980
    From Simon & Schuster, This Book Needs No Title is Raymond Smullyan's budget of living paradoxes—the author of What is the Name of This Book?Including eighty paradoxes, logical labyrinths, and intriguing enigmas progress from light fables and fancies to challenging Zen exercises and a novella and probe the timeless questions of philosophy and life.

Naming and Necessity


Saul A. Kripke - 1980
    It redirected philosophical attention to neglected questions of natural and metaphysical necessity and to the connections between these and theories of reference, in particular of naming, and of identity. From a critique of the dominant tendency to assimilate names to descriptions and more generally to treat their reference as a function of their Fregean sense, surprisingly deep and widespread consequences may be drawn. The largely discredited distinction between accidental and essential properties, both of individual things (including people) and of kinds of things, is revived. So is a consequent view of science as what seeks out the essences of natural kinds. Traditional objections to such views are dealt with by sharpening distinctions between epistemic and metaphysical necessity; in particular by the startling admission of necessary a posteriori truths. From these, in particular from identity statements using rigid designators whether of things or of kinds, further remarkable consequences are drawn for the natures of things, of people, and of kinds; strong objections follow, for example to identity versions of materialism as a theory of the mind.This seminal work, to which today's thriving essentialist metaphysics largely owes its impetus, is here published with a substantial new Preface by the author.

Set Theory: An introduction to Independence Proofs (Studies in Logic and the Foundations of Mathematics)


Kenneth Kunen - 1980
    The book first tackles the foundations of set theory and infinitary combinatorics. Discussions focus on the Suslin problem, Martin's axiom, almost disjoint and quasi-disjoint sets, trees, extensionality and comprehension, relations, functions, and well-ordering, ordinals, cardinals, and real numbers. The manuscript then ponders on well-founded sets and easy consistency proofs, including relativization, absoluteness, reflection theorems, properties of well-founded sets, and induction and recursion on well-founded relations. The publication examines constructible sets, forcing, and iterated forcing. Topics include Easton forcing, general iterated forcing, Cohen model, forcing with partial functions of larger cardinality, forcing with finite partial functions, and general extensions. The manuscript is a dependable source of information for mathematicians and researchers interested in set theory.

Computability and Logic


George S. Boolos - 1980
    Including a selection of exercises, adjusted for this edition, at the end of each chapter, it offers a new and simpler treatment of the representability of recursive functions, a traditional stumbling block for students on the way to the Godel incompleteness theorems.

Everything that Linguists have Always Wanted to Know about Logic . . . But Were Ashamed to Ask


James D. McCawley - 1980
    McCawley supplements his earlier book—which covers such topics as presuppositional logic, the logic of mass terms and nonstandard quantifiers, and fuzzy logic—with new material on the logic of conditional sentences, linguistic applications of type theory, Anil Gupta's work on principles of identity, and the generalized quantifier approach to the logical properties of determiners.

Thinking Visually


Robert H. McKim - 1980
    Chapters explore ambidextrous thinking, seeing by drawing, and directed fantasy.

IFS Conditionals, Belief, Decision, Chance and Time (The Western Ontario Series in Philosophy of Science)


William L. Harper - 1980
    The first fourteen volumes in the Series were produced under the managing editorship of Professor James J. Leach, with the cooperation of a local editorial board. Many of these volumes resulted from colloguia and workshops held in con nection with the University of Western Ontario Graduate Programme in Philosophy of Science. Throughout its seven year history, the Series has been devoted to publication of high quality work in philosophy of science con sidered in its widest extent, including work in philosophy of the special sciences and history of the conceptual development of science. In future, this general editorial emphasis will be maintained, and hopefully, broadened to include important works by scholars working outside the local context. Appointment of a new managing editor, together with an expanded editorial board, brings with it the hope of an enlarged international presence for the Series. Serving the publication needs of those working in the various subfields within philosophy of science is a many-faceted operation. Thus in future the Series will continue to produce edited proceedings of worthwhile scholarly meetings and edited collections of seminal background papers. How ever, the publication priorities will shift emphasis to favour production of monographs in the various fields covered by the scope of the Series. THE MANAGING EDITOR vii W. L. Harper, R. Stalnaker, and G. Pearce (eds.), lIs, vii."