دانلود کتاب A Profile of Mathematical Logic – نمایه ای از منطق ریاضی

Anyone seeking a readable and relatively brief guide to logic can do no better than this classic introduction. A treat for both the intellect and the imagination, it profiles the development of logic from ancient to modern times and compellingly examines the nature of logic and its philosophical implications. No prior knowledge of logic is necessary; readers need only an acquaintance with high school mathematics. The author emphasizes understanding, rather than technique, and focuses on such topics as the historical reasons for the formation of Aristotelian logic, the rise of mathematical logic after more than 2,000 years of traditional logic, the nature of the formal axiomatic method and the reasons for its use, and the main results of metatheory and their philosophic import. The treatment of the Gdel metatheorems is especially detailed and clear, and answers to the problems appear at the end.

هرکسی که به دنبال یک راهنمای خواندنی و نسبتاً مختصر برای منطق باشد، نمی تواند بهتر از این مقدمه کلاسیک عمل کند. این کتاب که هم برای عقل و هم برای تخیل است، پیشرفت منطق را از دوران باستان تا مدرن نشان می دهد و ماهیت منطق و مفاهیم فلسفی آن را به طور قاطعانه بررسی می کند. هیچ دانش قبلی از منطق لازم نیست. خوانندگان فقط نیاز به آشنایی با ریاضیات دبیرستان دارند. نویسنده به جای تکنیک، بر فهم تاکید دارد و بر موضوعاتی مانند دلایل تاریخی شکل گیری منطق ارسطویی، ظهور منطق ریاضی پس از بیش از 2000 سال منطق سنتی، ماهیت روش بدیهی رسمی و دلایل استفاده از آن و نتایج اصلی فرانظریه و اهمیت فلسفی آنها. درمان فراقضیه های Gdel به ویژه دقیق و واضح است و پاسخ به مشکلات در پایان ظاهر می شود.