Author(s): Alfred Tarski
Publisher: Clarendon Press
Year: 1956
Language: English
Pages: xiv, 473
City: Oxford
I. ON THE PRIMITIVE TERM OF LOGISTIC 1
II. FOUNDATIONS OF THE GEOMETRY OF SOLIDS 24
III. ON SOME FUNDAMENTAL CONCEPTS OF
METAMATHEMATICS 30
IV. INVESTIGATIONS INTO THE SENTENTIAL
CALCULUS
(by Jan LUKASIEWICZ and Alfred TARSKI)
38
V. FUNDAMENTAL CONCEPTS OF THE METHODOLOGY OF THE DEDUCTIVE SCIENCES 60
VI. ON DEFINABLE SETS OF REAL NUMBERS no
VII. LOGICAL OPERATIONS AND PROJECTIVE SETS
(by Casimir KURATOWSKI and Alfred TARSKI) 143
VIII. THE CONCEPT OF TRUTH IN FORMALIZED
LANGUAGES 152
Introduction 152
§ 1. The Concept of True Sentence in Everyday or Colloquial
Language 154
§ 2. Formalized Languages, especially the Language of the
Calculus of Classes 165
§ 3. The Concept of True Sentence in the Language of the
Calculus of Classes 186
§ 4. The Concept of True Sentence in Languages of Finite
Order 209
$ 6. The Concept of True Sentence in Languages of Infinite
Order 241
§ 6. Summary 265
§ 7. Poateoript 268
IX. SOME OBSERVATIONS ON THE CONCEPTS OF
cu-CONSISTENCY AND ^-COMPLETENESS 278
X. SOME METHODOLOGICAL INVESTIGATIONS ON
THE DEFINABILITY OF CONCEPTS 296
X L ON THE FOUNDATIONS OF BOOLEAN ALGEBRA 320
XII. FOUNDATIONS OF THE CALCULUS OF
SYSTEMS 342
X III. ON THE LIMITATIONS OF THE MEANS OF
EXPRESSION OF DEDUCTIVE THEORIES
(by Adolf LJKDENBAUM and Alfred TARSKI) 384
xiv CONTENTS
XIV. ON EXTENSIONS OF INCOMPLETE SYSTEMS
OF THE SENTENTIAL CALCULUS 393
XV. THE ESTABLISHMENT OF SCIENTIFIC
SEMANTICS 401
XVI. ON THE CONCEPT OF LOGICAL CONSEQUENCE 409
X VII. SENTENTIAL CALCULUS AND TOPOLOGY 421
ABBREVIATIONS 455
BIBLIOGRAPHY 456
SUBJECT INDEX 463
IN D EX OF NAMES OF PERSONS 468
IN D EX OF SYMBOLS 470
