Author(s): Alfred Tarski, J. H. Woodger
Edition: First Thus
Publisher: Oxford Univ. Press
Year: 1956
Language: English
Pages: 471
heading......Page 1
preface......Page 3
content......Page 8
Ⅰ ON THE PRIMITIVE TERM OF LOGISTIC......Page 10
Ⅱ FOUNDATIONS OF THE GEOMETRY OF SOLIDS......Page 33
Ⅲ ON SOME FUNDAMENTAL CONCEPTS METAMATHEMATICS......Page 39
Ⅳ INVESTIGATIONS INTO THE SENTENTIAL CALCULUS......Page 47
Ⅴ FUNDAMENTAL CONCEPTS OF THE METHODOLOGY OF THE DEDUCTIVE SCIENCES......Page 69
Ⅵ ON DEFINABLE SETS OF REAL NUMBERS......Page 119
Ⅶ LOGICAL OPERATIONS AND PROJECTIVE SETS......Page 152
Introduction......Page 161
1.The Concept of True Sentence in Everyday of Colloquial Language......Page 163
2.Formalized Languages,especially the Language of the Calculus of Classes......Page 174
3.The Concept of True Sentence in the Language of the Calculus of Classes......Page 195
4.The concept of True Sentence in Languages of Finite Order......Page 218
5.The Concept of True Sentence in Languages of Infinite Order......Page 250
6.Summary......Page 274
7.Poastsoript......Page 277
Ⅸ SOME OBSERVATIONS ON THE CONCEPTS OF ω-CONSISTENCY AND ω-COMPLETENESS......Page 288
Ⅹ SOME METHODOLOGICAL INESTIGATIONS ON THE DEFINABILITY OF CONCEPTS......Page 305
Ⅺ ON THE FOUNDATIONS OF BOOLEAN ALGEBRA......Page 329
Ⅻ FOUNDATIONS OF THE CALCULUS OF SYSTEMS......Page 351
XIII ON THE LIMITATIONS OF THE MEANS OF EXPRESSION OF DEDUCTIVE THEORIES......Page 393
XIV ON EXTENSIONS OF INCOMPLETE SYSTEMS OF THE SENTENTIAL CALCULUS......Page 402
XV THE ESTABLISHMENT OF SCIENTIFIC SEMANTICS......Page 410
XVI ON THE CONCEPT OF LOGICAL CONSEQUENCE......Page 418
XVII SENTENTIAL CALCULUS AND TOPOLOGY......Page 430
bibliography......Page 465
index......Page 472
