Introduction to logic / Patrick Suppes.
Tipo de material: TextoIdioma: Inglés Fecha de copyright: Mineola, N.Y. : Dover Publications, 1999Edición: First EditionDescripción: xiv, 312 pages : illustrations ; 22 cmISBN:- 0486406873
- 9780486406879
- 511.3 23
- BC108 .S85 1999
Tipo de ítem | Biblioteca actual | Signatura | Copia número | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems | |
---|---|---|---|---|---|---|---|---|
Colección general | Biblioteca Yachay Tech | 511.3 S9595i 1999 (Navegar estantería(Abre debajo)) | Ej. 1 | Disponible | 005767 |
Originally published: New York : Van Nostrand Reinhold, 1957.
Includes index.
Includes bibliographical references.
Principles of inference and definition : The sentential connectives : Negation and conjunction ; Disjunction ; Implication: conditional sentences ; Equivalence: biconditional sentences ; Grouping and parentheses ; Truth tables and tautologies ; Tautological implication and equivalence -- Sentential theory of inference : Two major criteria of inference and sentential interpretations ; The three sentential rules of derivation ; Some useful tautological implications ; Consistency of premises and indirect proofs -- Symbolizing everyday language : Grammar and logic ; Terms ; Predicates ; Quantifiers ; Bound and free variables ; A final example -- General theory of inference : Inference involving only universal quantifiers ; Interpretations and validity ; Restricted inferences with existential quantifiers ; Interchange of quantifiers ; General inferences ; Summary of rules of inference -- Further rules of inference : Logic of identity ; Theorems of logic ; Derived rules of inference -- Postscript on use and mention : Names and things named ; Problems of sentential variables ; Juxtaposition of names -- Transition from formal to informal proofs : General considerations ; Basic number axioms ; Comparative examples of formal derivations and informal proofs ; Examples of fallacious informal proofs ; Further examples of informal proofs -- Theory of definition : Traditional ideas ; Criteria for proper definitions ; Rules for proper definitions ; Definitions which are identities ; The problem of division by zero ; Conditional definitions ; Five approaches to division by zero ; Padoa's principle and independence of primitive symbols. II. Elementary intuitive set theory : Sets : Introduction ; Membership ; Inclusion ; The empty set ; Operations of sets ; Domains of individuals ; Translating everyday language ; Venn diagrams ; Elementary principles about operations on sets -- Relations : Ordered couples ; Definition of relations ; Properties of binary relations ; Equivalence relations ; Ordering relations ; Operations on relations -- Functions : Definition ; Operations on functions ; Church's lambda notation -- Set-theoretical foundations of the axiomatic method : Introduction ; Set-theoretical predicates and axiomatizations of theories ; Isomorphism of models for a theory ; Example: probability ; Example: mechanics.
This well-organized book was designed to introduce students to a way of thinking that encourages precision and accuracy. As the text for a course in modern logic, it familiarizes readers with a complete theory of logical inference and its specific applications to mathematics and the empirical sciences.
No hay comentarios en este titulo.