eBook - ePub
Introduction to Logic
and to the Methodology of Deductive Sciences
Alfred Tarski
This is a test
Share book
- 272 pages
- English
- ePUB (mobile friendly)
- Available on iOS & Android
eBook - ePub
Introduction to Logic
and to the Methodology of Deductive Sciences
Alfred Tarski
Book details
Book preview
Table of contents
Citations
About This Book
First published in Polish in 1936, this classic work was originally written as a popular scientific book — one that would present to the educated lay reader a clear picture of certain powerful trends of thought in modern logic. According to the author, these trends sought to create a unified conceptual apparatus as a common basis for the whole of human knowledge.
Because these new developments in logical thought tended to perfect and sharpen the deductive method, an indispensable tool in many fields for deriving conclusions from accepted assumptions, the author decided to widen the scope of the work. In subsequent editions he revised the book to make it also a text on which to base an elementary college course in logic and the methodology of deductive sciences. It is this revised edition that is reprinted here.
Part One deals with elements of logic and the deductive method, including the use of variables, sentential calculus, theory of identity, theory of classes, theory of relations and the deductive method. The Second Part covers applications of logic and methodology in constructing mathematical theories, including laws of order for numbers, laws of addition and subtraction, methodological considerations on the constructed theory, foundations of arithmetic of real numbers, and more. The author has provided numerous exercises to help students assimilate the material, which not only provides a stimulating and thought-provoking introduction to the fundamentals of logical thought, but is the perfect adjunct to courses in logic and the foundation of mathematics.
Because these new developments in logical thought tended to perfect and sharpen the deductive method, an indispensable tool in many fields for deriving conclusions from accepted assumptions, the author decided to widen the scope of the work. In subsequent editions he revised the book to make it also a text on which to base an elementary college course in logic and the methodology of deductive sciences. It is this revised edition that is reprinted here.
Part One deals with elements of logic and the deductive method, including the use of variables, sentential calculus, theory of identity, theory of classes, theory of relations and the deductive method. The Second Part covers applications of logic and methodology in constructing mathematical theories, including laws of order for numbers, laws of addition and subtraction, methodological considerations on the constructed theory, foundations of arithmetic of real numbers, and more. The author has provided numerous exercises to help students assimilate the material, which not only provides a stimulating and thought-provoking introduction to the fundamentals of logical thought, but is the perfect adjunct to courses in logic and the foundation of mathematics.
Frequently asked questions
How do I cancel my subscription?
Can/how do I download books?
At the moment all of our mobile-responsive ePub books are available to download via the app. Most of our PDFs are also available to download and we're working on making the final remaining ones downloadable now. Learn more here.
What is the difference between the pricing plans?
Both plans give you full access to the library and all of Perlegoās features. The only differences are the price and subscription period: With the annual plan youāll save around 30% compared to 12 months on the monthly plan.
What is Perlego?
We are an online textbook subscription service, where you can get access to an entire online library for less than the price of a single book per month. With over 1 million books across 1000+ topics, weāve got you covered! Learn more here.
Do you support text-to-speech?
Look out for the read-aloud symbol on your next book to see if you can listen to it. The read-aloud tool reads text aloud for you, highlighting the text as it is being read. You can pause it, speed it up and slow it down. Learn more here.
Is Introduction to Logic an online PDF/ePUB?
Yes, you can access Introduction to Logic by Alfred Tarski in PDF and/or ePUB format, as well as other popular books in Mathematics & Logic in Mathematics. We have over one million books available in our catalogue for you to explore.
Information
FIRST PART
ā¢
ELEMENTS OF LOGIC DEDUCTIVE METHOD
ā¢ I ā¢
ON THE USE OF VARIABLES
1. Constants and variables
Every scientific theory is a system of sentences which are accepted as true and which may be called LAWS or ASSERTED STATEMENTS or, for short, simply STATEMENTS. In mathematics, these statements follow one another in a definite order according to certain principles which will be discussed in detail in Chapter VI, and they are, as a rule, accompanied by considerations intended to establish their validity. Considerations of this kind are referred to as PROOFS, and the statements established by them are called THEOREMS.
Among the terms and symbols occurring in mathematical theorems and proofs we distinguish CONSTANTS and VARIABLES.
In arithmetic, for instance, we encounter such constants as ānumberā, āzeroā (ā0ā), āoneā (ā1ā), āsumā (ā+ā), and many others.1 Each of these terms has a well-determined meaning which remains unchanged throughout the course of the considerations.
As variables we employ, as a rule, single letters, e.g. in arithmetic the small letters of the English alphabet: āaā, ābā, ācā, ā¦, āxā, āyā, āzā. As opposed to the constants, the variables do not possess any meaning by themselves, Thus, the question:
does zero have such and such a property?
e.g.:
is zero an integer?
can be answered in the affirmative or in the negative; the answer may be true or false, but at any rate it is meaningful. A question concerning x, on the other hand, for example the question:
is x an integer?
cannot be answered meaningfully.
In some textbooks of elementary mathematics, particularly the less recent ones, one does occasionally come across formulations which convey the impression that it is possible to attribute an independent meaning to variables. Thus it is said that the symbols āxā, āyā, ā¦ also denote certain numbers or quantities, not āconstant numbersā however (which are denoted by constants like ā0ā, ā1ā, ā¦ ), but the so-called āvariable numbersā or rather āvariable quantitiesā. Statements of this kind have their source in a gross misunderstanding. The āvariable numberā x could not possibly have any specified property, for instance, it could be neither positive nor negative nor equal to zero; or rather, the properties of such a number would change from case to case, that is to say, the number would sometimes be positive, sometimes negative, and sometimes equal to zero. But entities of such a kind we do not find in our world at all; their existence would contradict the fundamental laws of thought. The classification of the symbols into constants and variables, therefore, does not have any analogue in the form of a similar classification of the numbers.
2. Expressions containing variablesāsentential and designatory functions
In view of the fact that variables do not have a meaning by themselves, such phrases as:
x is an integer
are not sentences, although they have the grammatical form of sentences; they do not express a definite assertion and can be neither confirmed nor refuted. From the expression:
x is an integer
we only obtain a sentence when we replace āxā in it by a constant denoting a definite number; thus, for instance, if āxā is replaced by the symbol ā1ā, the result is a true sentence, whereas a false sentence arises on replacing āxā by ā ā. An expression of this kind, which contains variables and, on replacement of these variables by constants, becomes a sentence, is called a SENTENTIAL FUNCTION. But mathematicians, by the way, are not very fond of this expression, because they use the term āfunctionā with a different meaning. More often the word āCONDITIONā is employed in this sense; and sentential functions and sentences which are composed entirely of mathematical symbols (and not of words of everyday language), such as:
x + y = 5,
are usually referred to by mathematicians as FORMULAS. In place of āsentential functionā we shall sometimes simply say āsentenceāābut only in cases where there is no danger of any mis-understanding.
The role of the variables in a sentential function has sometimes been compared very adequately with that of the blanks left in a questionnaire; just as the questionnaire acquires a definite content only after the blanks have been filled in, a sentential function becomes a sentence only after constants have been inserted in place of the variables. The result of the replacement of the variables in a sentential function by constantsāequal constants taking the place of equal variablesāmay lead to a true sentence; in that case, the things denoted by those constants are said to SATISFY the given sentential function. For example, the numbers 1, 2 and 2 satisfy the sentential function:
x < 3,
but the numbers 3, 4 and 4 do not.
Besides the sentential functions there are some further expressions containing variables that merit our attention, namely, the so-called DESIGNATORY or DESCRIPTIVE FUNCTIONS. They are expressions which, on replacement of the variables by constants, turn into designations (ādescriptionsā) of things. For example, the expression:
2x + 1
is a designatory function, because we obtain the designation of a certain number (e.g., the number 5), if in it we replace the variable āxā by an arbitrary numerical constant, that is, by a constant denoting a number (e.g., ā2ā).
Among the designatory functions occurring in arithmetic, we have, in particular, all the so-called algebraic expressions which are composed of variables, numerical constants and symbols of the four fundamental arithmetical operations, such as:
Algebraic equations, on the other hand, that is to say, formulas consisting of two algebraic expressions connected by the symbol ā=ā, are sentential functions. As far as equations are concerned, a special terminology has become customary in mathematics; thus, the variables occurring in an equation are referred to as the unknowns, and the numbers satisfying the equation are called the roots of the equation. E.g., in the equation:
x2 + 6 = 5x
the variable āxā is the unknown, while the numbers 2 and 3 are roots of the equation.
Of the variables āxā, āyā, ā¦ employed in arithmetic it is said that they STAND FOR DESIGNATIONS OF NUMBERS or that numbers are VALUES of these variables. Thereby approximately the following is meant: a sentential function containing the symbols āxā, āyā, ā¦...