Introduction to logic and to the methodology of the deductive sciences
Author(s)
Bibliographic Information
Introduction to logic and to the methodology of the deductive sciences
(Oxford logic guides, 24)
Oxford University Press, 1994
4th ed. / edited by Jan Tarski
- Other Title
-
O logice matematycznej i metodzie dedukcyjnej
Available at 31 libraries
  Aomori
  Iwate
  Miyagi
  Akita
  Yamagata
  Fukushima
  Ibaraki
  Tochigi
  Gunma
  Saitama
  Chiba
  Tokyo
  Kanagawa
  Niigata
  Toyama
  Ishikawa
  Fukui
  Yamanashi
  Nagano
  Gifu
  Shizuoka
  Aichi
  Mie
  Shiga
  Kyoto
  Osaka
  Hyogo
  Nara
  Wakayama
  Tottori
  Shimane
  Okayama
  Hiroshima
  Yamaguchi
  Tokushima
  Kagawa
  Ehime
  Kochi
  Fukuoka
  Saga
  Nagasaki
  Kumamoto
  Oita
  Miyazaki
  Kagoshima
  Okinawa
  Korea
  China
  Thailand
  United Kingdom
  Germany
  Switzerland
  France
  Belgium
  Netherlands
  Sweden
  Norway
  United States of America
Note
Includes bibliographical references and index
Description and Table of Contents
Description
Now in it's fourth edition, this classic work on logic presents the student with a clear, concise introduction to the subject of logic and its apllications. The first part of the book introduces the concepts and principles which make up the elements of logic, demonstrating that the concepts of logic are found in all branches of mathematics, and that logical laws are constantly applied in mathematical reasoning. The book goes on to show the applications of logic in
mathematical theory building using concrete examples, drawing upon the concepts and principles presented in the first section. An introduction to the theory of real numbers is also presented. Exercises are included, designed to assist in the assimilation of the concepts and principles. Throughout
the conceptual side or logic is stressed.
Thoroughly revised by the author's son, the book remains a fundametal guide to modern mathematica logic and is a very important addition to this highly successful series.
Table of Contents
FIRST PART: Elements of Logic. Deductive Method
1: On the Use of Variables
2: On the Sentential Calculus
3: On the Theory of Identity
4: On the Theory of Classes
5: On the Theory of Relations
6: On the Deductive Method
SECOND PART: Applications of Logic and Methodology in Constructing Mathematical Theories
7: Construction of a Mathematical Theory: Laws of Order for Numbers
8: Construction of a Mathematical Theory: Laws of Addition and Subtraction
9: Methodological Considerations of the Constructed Theory
10: Extension of the Constructed Theory: Foundations of Arithmetic of Real Numbers
by "Nielsen BookData"