Introduction to logic. (Record no. 56279)

MARC details
000 -LEADER
fixed length control field 02997nam a22002177a 4500
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20200121121959.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 200121b ||||| |||| 00| 0 eng d
028 ## - DISTRIBUTOR NAME
Distributor Name Donated by Mathematics Department
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 511.3 SUP
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Patrick Suppes
245 ## - TITLE STATEMENT
Title Introduction to logic.
Statement of responsibility, etc /Patrick Suppes
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc Princeton, N.J.,
Name of publisher, distributor, etc :D. Van Nostrand Co.
Date of publication, distribution, etc ,1957
300 ## - PHYSICAL DESCRIPTION
Extent 312 pages
Dimensions ;24 cm.
365 ## - TRADE PRICE
Price amount 00
490 ## - SERIES STATEMENT
Series statement University series in undergraduate mathematics.
505 ## - FORMATTED CONTENTS NOTE
Contents note <br/>I. Principles of inference and definition : 1. The sentential connectives : Negation and conjunction ; Disjunction ; Implication: conditional sentences ; Equivalence: biconditional sentences ; Grouping and parentheses ; Truth tables and tautologies ; Tautological implication and equivalence --<br/>2. 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 --<br/>3. Symbolizing everyday language : Grammar and logic ; Terms ; Predicates ; Quantifiers ; Bound and free variables ; A final example --<br/>4. 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 --<br/>5. Further rules of inference : Logic of identity ; Theorems of logic ; Derived rules of inference --<br/>6. Postscript on use and mention : Names and things named ; Problems of sentential variables ; Juxtaposition of names --<br/>7. 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 --<br/>8. 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 : 9. Sets : Introduction ; Membership ; Inclusion ; The empty set ; Operations of sets ; Domains of individuals ; Translating everyday language ; Venn diagrams ; Elementary principles about operations on sets --<br/>10. Relations : Ordered couples ; Definition of relations ; Properties of binary relations ; Equivalence relations ; Ordering relations ; Operations on relations --<br/>11. Functions : Definition ; Operations on functions ; Church's lambda notation --<br/>12. 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.
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Mathematics
655 ## - INDEX TERM--GENRE/FORM
Genre/form data or focus term ;Logic
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name Patrick Suppes
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type Mathematics Departmental Library
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Home library Current library Date acquired Source of acquisition Cost, normal purchase price Total Checkouts Full call number Barcode Date last seen Price effective from Koha item type
    Dewey Decimal Classification     Mathematics Departmental Library Mathematics Departmental Library 21/01/2020 Donated by Mathematics Department 0.00   511.3 SUP M138 21/01/2020 21/01/2020 Mathematics Departmental Library
© Copyright Shiv Nadar University 2012. All Rights Reserved.  Disclaimer |  Sitemap
The Shiv Nadar University has been established under U.P. Act No 12 of 2011. Shiv Nadar University is UGC Approved.