Logical Options: An Introduction to Classical and Alternative Logics

گزینه‌های منطقی پسوندها و جایگزین‌هایی را برای منطق کلاسیک معرفی می‌کند که در ادبیات فلسفی بیشتر مورد بحث قرار گرفته‌اند: منطق مرتب‌بندی‌شده، منطق مرتبه دوم، منطق مدال، منطق شهودی، منطق سه ارزشی، منطق فازی و منطق آزاد. هر منطق با شرح مختصری از جنبه‌ای از اهمیت فلسفی آن معرفی می‌شود و تا آنجا که ممکن است از روش‌های معنایی و اثباتی برای تسهیل مقایسه سیستم‌های مختلف استفاده می‌شود. این کتاب به گونه ای طراحی شده است که برای دانشجویان فلسفه و فیلسوفان حرفه ای که برخی از منطق کلاسیک درجه اول را آموخته اند و مایلند در مورد سایر منطق های مهم برای کار فلسفی خود بیاموزند، مفید باشد.

Logical Options introduces the extensions and alternatives to classical logic which are most discussed in the philosophical literature: many-sorted logic, second-order logic, modal logics, intuitionistic logic, three-valued logic, fuzzy logic, and free logic. Each logic is introduced with a brief description of some aspect of its philosophical significance, and wherever possible semantic and proof methods are employed to facilitate comparison of the various systems. The book is designed to be useful for philosophy students and professional philosophers who have learned some classical first-order logic and would like to learn about other logics important to their philosophical work.