Introduction to logic / Patrick Suppes.

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.