Introduction to Logic: and to the Methodology of Deductive Sciences [NOOK Book]

Overview



This classic undergraduate treatment examines the deductive method in its first part and explores applications of logic and methodology in constructing mathematical theories in its second part. A thought-provoking introduction to the fundamentals and the perfect adjunct to courses in logic and the foundations of mathematics. Exercises appear throughout.
Read More Show Less
... See more details below
Introduction to Logic: and to the Methodology of Deductive Sciences

Available on NOOK devices and apps  
  • NOOK Devices
  • NOOK HD/HD+ Tablet
  • NOOK
  • NOOK Color
  • NOOK Tablet
  • Tablet/Phone
  • NOOK for Windows 8 Tablet
  • NOOK for iOS
  • NOOK for Android
  • NOOK Kids for iPad
  • PC/Mac
  • NOOK for Windows 8
  • NOOK for PC
  • NOOK for Mac
  • NOOK Study
  • NOOK for Web

Want a NOOK? Explore Now

NOOK Book (eBook)
$10.49
BN.com price
(Save 18%)$12.95 List Price

Overview



This classic undergraduate treatment examines the deductive method in its first part and explores applications of logic and methodology in constructing mathematical theories in its second part. A thought-provoking introduction to the fundamentals and the perfect adjunct to courses in logic and the foundations of mathematics. Exercises appear throughout.
Read More Show Less

Product Details

  • ISBN-13: 9780486318899
  • Publisher: Dover Publications
  • Publication date: 7/4/2013
  • Sold by: Barnes & Noble
  • Format: eBook
  • Pages: 272
  • Sales rank: 777,331
  • File size: 5 MB

Table of Contents

PREFACE
FROM THE PREFACE TO THE ORIGINAL EDITION
FIRST PART ELEMENTS OF LOGIC. DEDUCTIVE METHOD
I. ON THE USE OF VARIABLES
1. Constants and variables
2. Expressions containing variables-sentential and designatory functions
3. Formation of sentences by means of variables-universal and existential sentences
4. Universal and existential quantifiers; free and bound variables
5. The importance of variables in mathematics
Exercises
II. ON THE SENTENTIAL CALCULUS
6. Logical constants; the old logic and the new logic
7. "Sentential calculus; negation of a sentence, conjunction and disjunction of sentences"
8. Implication or conditional sentence; implication in material meaning
9. The use of implication in mathematics
10. Equivalence of sentences
11. The formulation of definitions and its rules
12. Laws of sentential calculus
13. Symbolism of sentential calculus; truth functions and truth tables
14. Application of laws of sentential calculus in inference
15. "Rules of inference, complete proofs"
Exercises
III. ON THE THEORY OF IDENTITY
16. Logical concepts outside sentential calculus; concept of identity
17. Fundamental laws of the theory of identity
18. Identity of things and identity of their designations; use of quotation marks
19. "Equality in arithmetic and geometry, and its relation to logical identity"
20. Numerical quantifiers
Exercises
IV. ON THE THEORY OF CLASSES
21. Classes and their elements
22. Classes and sentential functions with one free variable
23. Universal class and null class
24. Fundamental relations among classes
25. Operations on classes
26. "Equinumerous classes, cardinal number of a class, finite and infinite classes; arithmetic as a part of logic"
Exercises
V. ON THE THEORY OF RELATIONS
27. "Relations, their domains and counter-domains; relations and sentential functions with two free variables"
28. Calculus of relations
29. Some properties of relations
30 "Relations which are reflexive, symmetrical and transitive"
31. Ordering relations; examples of other relations
32. One-many relations or functions
33. "One-one relations or biunique functions, and one-to-one correspondences"
34. Many-termed relations; functions of several variables and operations
35. The importance of logic for other sciences
Exercises
VI. ON THE DEDUCTIVE METHOD
36. "Fundamental constituents of a deductive theory-primitive and defined terms, axioms and theorems"
37. Model and interpretation of a deductive theory
38. Law of deduction; formal character of deductive sciences
39. Selection of axioms and primitive terms; their independence
40. "Formalization of definitions and proofs, formalized deductive theories"
41. Consistency and completeness of a deductive theory; decision problem
42. The widened conception of the methodology of deductive sciences
Exercises
SECOND PART APPLICATIONS OF LOGIC AND METHODOLOGY IN CONSTRUCTING MATHEMATICAL THEORIES
VII. CONSTRUCTION OF A MATHEMATICAL THEORY: LAWS OF ORDER FOR NUMBERS
43. Primitive terms of the theory under construction; axioms concerning fundamental relations among numbers
44. Laws of irreflexivity for the fundamental relations; indirect proofs
45. Further theorems on the fundamental relations
46. Other relations among numbers
Exercises
VIII. CONSTRUCTION OF A MATHEMATICAL THEORY: LAWS OF ADDITION AND SUBTRACTION
47. "Axioms concerning addition; general properties of operations, concepts of a group and of an Abelian group"
48. Commutative and associative laws for a larger number of summands
49. Laws of monotony for addition and their converses
50. Closed systems of sentences
51. Consequences of the laws of monotony
52. Definition of subtraction; inverse operations
53. Definitions whose definiendum contains the identity sign
54. Theorems on subtraction
Exercises
IX. METHODOLOGICAL CONSIDERATIONS ON THE CONSTRUCTED THEORY
55. Elimination of superfluous axioms in the original axiom system
56. Independence of the axioms of the simplified system
57. Elimination of superfluous primitive terms and subsequent simplification of the axiom system; concept of an ordered Abelian group
58. Further simplification of the axiom system; possible transformations of the system of primitive terms
59. Problem of the consistency of the constructed theory
60. Problem of the completeness of the constructed theory
Exercises
X. EXTENSION OF THE CONSTRUCTED THEORY. FOUNDATIONS OF ARITHMETIC OF REAL NUMBERS
61. First axiom system for the arithmetic of real numbers
62. Closer characterization of the first axiom system; its methodological advantages and didactical disadvantages
63. Second axiom system for the arithmetic of real numbers
64. Closer characterization of the second axiom system; concepts of a field and of an ordered field
65. Equipollence of the two axiom systems; methodological disadvantages and didactical advantages of the second system
Exercises
SUGGESTED READINGS
INDEX
Read More Show Less

Customer Reviews

Be the first to write a review
( 0 )
Rating Distribution

5 Star

(0)

4 Star

(0)

3 Star

(0)

2 Star

(0)

1 Star

(0)

Your Rating:

Your Name: Create a Pen Name or

Barnes & Noble.com Review Rules

Our reader reviews allow you to share your comments on titles you liked, or didn't, with others. By submitting an online review, you are representing to Barnes & Noble.com that all information contained in your review is original and accurate in all respects, and that the submission of such content by you and the posting of such content by Barnes & Noble.com does not and will not violate the rights of any third party. Please follow the rules below to help ensure that your review can be posted.

Reviews by Our Customers Under the Age of 13

We highly value and respect everyone's opinion concerning the titles we offer. However, we cannot allow persons under the age of 13 to have accounts at BN.com or to post customer reviews. Please see our Terms of Use for more details.

What to exclude from your review:

Please do not write about reviews, commentary, or information posted on the product page. If you see any errors in the information on the product page, please send us an email.

Reviews should not contain any of the following:

  • - HTML tags, profanity, obscenities, vulgarities, or comments that defame anyone
  • - Time-sensitive information such as tour dates, signings, lectures, etc.
  • - Single-word reviews. Other people will read your review to discover why you liked or didn't like the title. Be descriptive.
  • - Comments focusing on the author or that may ruin the ending for others
  • - Phone numbers, addresses, URLs
  • - Pricing and availability information or alternative ordering information
  • - Advertisements or commercial solicitation

Reminder:

  • - By submitting a review, you grant to Barnes & Noble.com and its sublicensees the royalty-free, perpetual, irrevocable right and license to use the review in accordance with the Barnes & Noble.com Terms of Use.
  • - Barnes & Noble.com reserves the right not to post any review -- particularly those that do not follow the terms and conditions of these Rules. Barnes & Noble.com also reserves the right to remove any review at any time without notice.
  • - See Terms of Use for other conditions and disclaimers.
Search for Products You'd Like to Recommend

Recommend other products that relate to your review. Just search for them below and share!

Create a Pen Name

Your Pen Name is your unique identity on BN.com. It will appear on the reviews you write and other website activities. Your Pen Name cannot be edited, changed or deleted once submitted.

 
Your Pen Name can be any combination of alphanumeric characters (plus - and _), and must be at least two characters long.

Continue Anonymously

    If you find inappropriate content, please report it to Barnes & Noble
    Why is this product inappropriate?
    Comments (optional)