Logic: The Theory of Formal Inference (Dover Books on Recreational Math)

Ambrose, Alice; Lazerowitz, Morris

ISBN 10: 0486796779 / ISBN 13: 9780486796772

Edité par Dover Publications, 2015

A propos de cet article

Paperback--excellent condition. N° de réf. du vendeur JG240809082RT7

Détails bibliographiques

Titre : Logic: The Theory of Formal Inference (Dover...

Éditeur : Dover Publications

Date d'édition : 2015

Reliure : paperback

Etat : Very Good

A propos de ce titre

Synopsis :

Destinée aux étudiants de premier cycle nouveaux dans le sujet, cette introduction concise à la logique formelle a été écrite par Alice Ambrose et Morris Lazerowitz, une paire d'érudits renommés et d'auteurs prolifiques dans ce domaine. Une section préliminaire ouvre le sujet sous la rubrique des fonctions de vérité. Deux parties suivantes sur la quantification et les classes, chacune subdivisée en de nombreuses brèves spécificités, complètent l'aperçu.
Convient aux étudiants en philosophie ainsi qu'en mathématiques, le traitement en trois parties commence par le développement intuitif de la théorie standard des connexions sententielles (appelées « opérateurs »). La théorie est développée avec l'aide de tables de vérité et finalement en tant que système logistique. La partie II explore la théorie de la quantification du premier ordre. En plus d'examiner la plupart des lois familières qui peuvent être exprimées par des formules monadiques, le texte aborde les principes polyadiques et les théories de l'identité et des descriptions. La partie III se concentre sur les concepts élémentaires des classes, de l'appartenance à la classe et de l'inclusion de classe à l'algèbre des classes. Chaque partie se termine par une série d'exercices.

Présentation de l'éditeur:

Geared toward college undergraduates new to the subject, this concise introduction to formal logic was written by Alice Ambrose and Morris Lazerowitz, a pair of noted scholars and prolific authors in this field. A preliminary section opens the subject under the heading of truth-functions. Two subsequent parts on quantification and classes, each subdivided into numerous brief specifics, complete the overview. Suitable for students of philosophy as well as mathematics, the three-part treatment begins with the intuitive development of the standard theory of sentential connectives (called "operators"). The theory is further developed with the assistance of truth-tables and ultimately as a logistic system. Part II explores first-order quantification theory. In addition to examining most of the familiar laws that can be expressed by monadic formulas, the text addresses polyadic principles and the theories of identity and descriptions. Part III focuses on elementary concepts of classes, from class membership and class inclusion to the algebra of classes. The book concludes with a series of exercises.