An Introduction to Symbolic Logic

این احتمالاً واضح‌ترین کتابی است که تا به حال درباره منطق نمادین برای فیلسوف، دانشمند عمومی، و افراد غیر روحانی نوشته شده است. سال‌هاست که مورد قدردانی کسانی قرار گرفته است که به دلیل آموزش ناکافی ریاضی با سایر کارهای مقدماتی مخالفت شده‌اند. در اینجا هیچ دانش خاصی از ریاضیات لازم نیست. حتی اگر بیشتر جبر دبیرستان خود را فراموش کرده اید، می توانید با پیروی از دستورالعمل های این کتاب استفاده از منطق ریاضی را بیاموزید.
این کتاب اکنون با اصلاح و تصحیح به شما این امکان را می دهد که با ساده ترین نمادها و قراردادها شروع کنید و به پایان برسید. با درک قابل توجهی از سیستم های Boole-Schroeder و Russell-Whitehead. این مطالعه اشکال، اصول ساختار منطقی، تعمیم، طبقات، و روابط اصلی بین آنها، جهان طبقات، سیستم قیاسی طبقات، جبر منطق، انتزاع و تفسیر، حساب گزاره ها، مفروضات وایتهد را پوشش می دهد. و Principia Mathematica و تدارکات راسل. ضمائم شامل منطق نمادین و منطق قیاس، ساخت و استفاده از جداول صدق و اثبات دو قضیه می شود.
\"یکی از واضح ترین و ساده ترین مقدمه ها برای موضوعی که بسیار زنده است." - روزنامه ریاضیات.

This is probably the clearest book ever written on symbolic logic for the philosopher, the general scientist, and the layman. For years it has received the appreciation of those who have been rebuffed by other introductory works because of insufficient mathematical training. No special knowledge of mathematics is required here; even if you have forgotten most of your high school algebra, you can learn to use mathematical logic by following the directions in this book.
Now revised and corrected, the book allows you to start with the simplest symbols and conventions and end up with a remarkable grasp of the Boole-Schroeder and Russell-Whitehead systems. It covers the study of forms, essentials of logical structure, generalization, classes, and the principal relations among them, universe of classes, the deductive system of classes, the algebra of logic, abstraction and interpretation, calculus of propositions, the assumptions of Whitehead and Russell's Principia Mathematica, and logistics. Appendices cover symbolic logic and the logic of the syllogism, the construction and use of truth-tables, and proofs of two theorems.
"One of the clearest and simplest introductions to a subject which is very much alive." — Mathematics Gazette.