مشخصات کتاب

Temporal Logic

ویرایش:  
نویسندگان: Nicholas Rescher. Alasdair Urquhart (auth.)  
سری: LEP Library of Exact Philosophy 3 
ISBN (شابک) : 9783709176665, 9783709176641 
ناشر: Springer Vienna 
سال نشر: 1971 
تعداد صفحات: 285 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 10 مگابایت 

کلمات کلیدی مربوط به کتاب منطق زمانی: علم، عمومی

در صورت تبدیل فایل کتاب Temporal Logic به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب منطق زمانی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب منطق زمانی

این کتاب مقدمه‌ای است بر منطق زمانی، شاخه‌ای در حال شکوفایی از منطق فلسفی که منشأ آن به تاریخ اخیر بازمی‌گردد، و انگیزه اصلی آن توسط انتشار کتاب پیشگام A. N. PRIOR در اواخر دهه 1950، زمان و روش (آکسفورد، کلارندون) ارائه شده است. مطبوعات، 1957). تقریباً تمام کارهای مربوط به این حوزه تا حدود سال 1966 در رساله زیبا گذشته، حال و آینده PRIOR's بررسی شده است (Oxford, The Clarendon Press, 1967). در نتیجه، نوشتن یک کتاب جامع در مورد این موضوع بدون تکرار مطالبی که قبلاً در آثار قبلی به آن پرداخته شده است، کار ساده ای نیست. با این حال، ما بر این باوریم که کتاب حاضر در این تلاش دشوار موفق است، زیرا به مطالب تثبیت شده از نقاط عزیمت کاملاً بدیع نزدیک می شود و بنابراین می تواند به دیدگاه های جدیدی دست یابد و به نتایج جدیدی دست یابد. علیرغم ویژگی مقدماتی آن، کار حاضر در نتیجه به طور قابل توجهی به نمایش یافته های جدید و نمایش نتایج جدید اختصاص یافته است. بخش‌هایی از کتاب قبلاً منتشر شده است. فصل دوم نسخه اصلاح شده مقاله ای با همین عنوان توسط N. RESCHER و JAMES GARSON در مجله منطق نمادین (جلد 33 [1968]، صفحات 537-548) است. و فصل سیزدهم نسخه اصلاح شده مقاله "شرایط زمانی توصیفات" توسط N. RESCHER و JOHN ROBISON در Ratio, vol. 8 (1966)، ص 46-54. نویسندگان از پروفسور GARSON و ROBISON و ویراستاران مجله درگیر به خاطر اجازه استفاده از این مطالب در اینجا سپاسگزار هستند.

توضیحاتی درمورد کتاب به خارجی

This book is an introduction to temporal logic, a now flourishing branch of philosophical logic whose origin is of recent date, its main impetus having been provided by the publication in the late 1950s of A. N. PRIOR'S pioneering book, Time and Modality (Oxford, The Clarendon Press, 1957). Virtually all work in the field to around 1966 is surveyed in PRIOR'S elegant treatise Past, Present and Future (Oxford, The Clarendon Press, 1967). In consequence, it is no simple matter to write a comprehensive book on the subject with out merely rehearsing material already dealt with in PRIOR'S works. We believe, however, that the present book succeeds in this difficult endeavor because it approaches established materials from wholly novel points of departure, and is thus able to attain new perspectives and achieve new results. Its introductory character notwithstanding, the present work is consequently in substantial measure devoted to an exposition of new findings and a demonstration of new results. Parts of the book have been published previously. Chapter II is a modified version of an article of the same title by N. RESCHER and JAMES GARSON in The Journal of Symbolic Logic (vol. 33 [1968], pp.537-548). And Chapter XIII is a modified version of the article "Temporally Conditioned Descriptions" by N. RESCHER and JOHN ROBISON in Ratio, vol. 8 (1966), pp. 46-54. The authors are grateful to Professors GARSON and ROBISON, and to the editors of the jounal involved, for their permission to use this materials here.

فهرست مطالب

Front Matter....Pages I-XVI
The Background of Temporal Logic....Pages 1-12
Topological Logic....Pages 13-22
Fundamental Distinctions for Temporal Logic....Pages 23-30
The Basic System R of Temporal Logic....Pages 31-49
The Introduction of Tense Operators....Pages 50-54
The System K t of Minimal Tense Logic....Pages 55-67
Branching Time: The System K b ....Pages 68-87
Linear Time: The System K l and Its Variants....Pages 88-97
Additive Time: The System R ⊕ and R ⊕ ±....Pages 98-102
Metric Time and Chronological Logic: The System R + ....Pages 103-116
Tense Logical Characterizability and Definability....Pages 117-124
Temporal Modality....Pages 125-137
Temporally Conditioned Descriptions and the Concept of Temporal Purity....Pages 138-154
The Theory of Processes....Pages 155-169
The Logic of World States....Pages 170-183
The Dimensionality of Time....Pages 184-188
The “Master Argument” of Diodorus and Temporal Determinism....Pages 189-212
Many-Valued Approaches to Temporal Logic....Pages 213-227
Propositional Quantification in Tensed Statements....Pages 228-233
Quantification,Temporal Existence, and Identity....Pages 234-248
Back Matter....Pages 249-273

نظرات کاربران

کتاب های تصادفی

دانلود کتاب Crystallography of Modular Materials (International Union of Crystallography Monographs on Crystallography)

دانلود کتاب An Introduction to the Kabbalah

دانلود کتاب The High Tatras: Slovakia and Poland including the Western Tatras and White Tatras

دانلود کتاب British Crime Cinema

دانلود کتاب Windfall: The Prairie Woman Who Lost Her Way and the Great-Granddaughter Who Found Her