دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: منطق ویرایش: نویسندگان: Alfred Tarski سری: ناشر: Clarendon Press سال نشر: 1956 تعداد صفحات: 483 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 19 مگابایت
در صورت تبدیل فایل کتاب Logic, Semantics, Metamathematics. Papers from 1923 to 1938 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق، معناشناسی، فرا ریاضیات. مقالات از 1923 تا 1938 نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
ترانس. توسط جی اچ ووگر
Trans. by J. H. Woodger
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