Quine Van

1 Meaning and Truth Objection to propositions Propositions as information Diffuseness of empirical meaning Propositions dismissed Truth and semantic ascent Tokens and eternal sentences 2 Grammar Grammar by recursion Categories Immanence and transcendence Grammarian's goal reexamined Logical grammar Redundant devices Names and functors Lexicon, particle, and name Criterion of lexicon Time, events, adverbs Attitudes and modality 3 Truth Truth and satisfaction Satisfaction by sequences Tarski's definition of truth Paradox in the object language Resolution in set theory 4 Logical Truth In terms of structure In terms of substitution In terms of models Adequacy of substituteon In terms of proof In terms of grammar 5 The Scope of Logic Affinities of identity Identity reduced Set theory Set theory in sheep's clothing Logic in wolf's clothing Scope of the virtual theory Simulated class quantification Other simulated quantification Annexes 6 Deviant Login Change of logic, change of subject Logic in translation Law of excluded middle Debate about the dichotomy Intuitionism Branched quantifiers Substitutional quantification Its strength 7 The Ground of Logical Truth The semblance of a theory An untenable dualism The place of logic For Further Reading Index.

W. V. Quine’s systematic development of mathematical logic has been widely praised for the new material presented and for the clarity of its exposition. This revised edition, in which the minor inconsistencies observed since its first publication have been eliminated, will be welcomed by all students and teachers in mathematics and philosophy who are seriously concerned with modern logic. Max Black, in Mind, has said of this book, “It will serve the purpose of inculcating, by precept and example, standards of clarity and precision which are, even in formal logic, more often pursued than achieved.”

"Some Pow'r did us the giftie grant/ To see oursels as others can't." With that play on Burns' famous line as a preface, Willard Van Orman Quine sets out to spin the yarn of his life so far. And it is a gift indeed to see one of the world's most famous philosophers as no one else has seen him before. To catch an intimate glimpse of his seminal and controversial theories of philosophy, logic, and language as they evolved, and to hear his warm and often amusing comments on famous contemporary philosophers.From his beginnings in Akron, Ohio in the early 1900s, Quine takes us on a tour of over 100 countries over three-quarters of a century, including close observations of the Depression and two world wars. Far from a philosophical tract, it is an ebullient, folksy account of a richly varied and rounded life. When he does dip into philosophy, it is generally of the armchair sort, and laced with a gentle good humor: "There is that which one wants to do for the glory of having done it, and there is that which one wants to do for the joy of doing it. One can want to be a scientist because he wants to see himself as a Darwin or an Einstein, and one can want to be a scientist because he is curious about what makes things tick.... In normal cases the two kinds of motivation are in time brought to terms.... In me the glory motive lingered......In this book, Quine approaches the details of his life the way he has always approached them with a sharp sense of interest, adventure and fun. And he has a skill for picking a word that is just off-center enough to pull an ordinary event out of the humdrum of daily life and evoke its personal meaning. The result is a book of memories that is utterly mesmerizing.Willard Van Orman Quine is the author of numerous books, including Word and Object, published by The MIT Press in 1960.A Bradford Book

This is an extensively revised edition of Mr. Quine's introduction to abstract set theory and to various axiomatic systematizations of the subject. The treatment of ordinal numbers has been strengthened and much simplified, especially in the theory of transfinite recursions, by adding an axiom and reworking the proofs. Infinite cardinals are treated anew in clearer and fuller terms than before. Improvements have been made all through the book; in various instances a proof has been shortened, a theorem strengthened, a space-saving lemma inserted, an obscurity clarified, an error corrected, a historical omission supplied, or a new event noted.

Now much revised since its first appearance in 1941, this book, despite its brevity, is notable for its scope and rigor. It provides a single strand of simple techniques for the central business of modern logic. Basic formal concepts are explained, the paraphrasing of words into symbols is treated at some length, and a testing procedure is given for truth-function logic along with a complete proof procedure for the logic of quantifiers. Fully one third of this revised edition is new, and presents a nearly complete turnover in crucial techniques of testing and proving, some change of notation, and some updating of terminology. The study is intended primarily as a convenient encapsulation of minimum essentials, but concludes by giving brief glimpses of further matters.

Our only channel of information about the world is the impact of external forces on our sensory surfaces. So says science itself. There is no clairvoyance. How, then, can we have parlayed this meager sensory input into a full-blown scientific theory of the world? This is itself a scientific question. The pursuit of it, with free use of scientific theory, is what I call naturalized epistemology. The Roots of Reference falls within that domain. Its more specific concern, within that domain, is reference to concrete and abstract objects: what such reference consists in, and how we achieve it.

La Logique elementaire est a la fois une introduction a la logique et une introduction a la pensee de Quine, son but ayant ete de condenser le sujet de la logique traditionnelle en le traitant par les moyens de la logique contemporaine, afin de rendre plus intelligibles les constructions logiques de base et les raisonnements impliques dans le langage usuel. Le lecteur trouvera ici tous les elements necessaires a la comprehension du symbolisme logique, mais aussi et surtout le role de la logique formelle comme instrument d'analyse du langage usuel.