Priest, Graham - An Introduction to Non-Classical Logic (Прист, Грэм - Введение в неклассическую логику)

Priest, Graham - An Introduction to Non-Classical Logic (Прист, Грэм - Введение в неклассическую логику)

Название: An Introduction to Non-Classical Logic (Введение в неклассическую логику)
Автор: Priest, Graham (прист, Грэм)
Издательство: Cambridge University Press
Серия Cambridge Introductions to Philosophy
Год: 2008
Страниц: 32 + 613
Формат: PDF
Размер: 3,12 Мб (2,06 Мб в архиве)
Качество: текст с сохранением пагинации, электронное оглавление
Язык: английский

В этом исправленном и значительно дополненном издании книги Грэма Приста "Введение в неклассическую логику" рассмотрен широкий спектр тем, в том числе модальная, временная, интуиционистская, многозначная и нечёткая (fuzzy) логики. В первой части книги рассматриваются вопросы, связанные с логикой высказываний. Во второй части рассмотрено в том числе то, каким образом можно добавлять операции квантирования и идентичности к системам, рассмотренным в первой части. Материал объединен темой семантики возможных миров. Все темы излагаются чётко и доступно, с использованием такого мощного инструмента, как аналитические деревья (tableau proofs); также показана связь рассмотренных вопросов с современными философскими дискуссиями. Книга будет интересна студентам, обладающим базовыми знаниями в области классической логики, и станет для них бесценным введением в области, которые стали центральными как в логике, так и в философии. Книга также заинтересует всех, кто интересуется математикой и компьютерными науками и хочет узнать больше о логике.

Грэм Прист - профессор философии университета Мельбурна, член докторской аттестационной комиссии при Городском университете Нью-Йорка (CUNY Graduate Center), член отделения философии при Сент-Эндрюсском университете (Arche Professorial Fellow, Departments of Philosophy, University of St Andrews). В число его последних публикаций входят работы "Towards Non-Being" (2005) и "Doubt Truth to be a Liar" (2006).

 This revised and considerably expanded edition of An Introduction to Non-Classical Logic brings together a wide range of topics, including modal, tense, conditional, intuitionist, many-valued, paraconsistent, relevant and fuzzy logics. Part I, on propositional logic, is the old Introduction, but contains much new material. Part II is entirely novel, and covers quantification and identity for all the logics in Part I. The material is unified by the underlying theme of world semantics. All of the topics are explained clearly and accessibly, using devices such as tableau proofs, and their relations to current philosophical issues and debates is discussed. Students with a basic understanding of classical logic will find this book an invaluable introduction to an area that has become of central importance in both logic and philosophy. It will also interest people working in mathematics and computer science who wish to know about the area. 

 Graham Priest is Boyce Gibson Professor of Philosophy, University of Melbourne and Arche Professorial Fellow, Departments of Philosophy, University of St Andrews. His most recent publications include Towards 
Non-Being (2005) and Doubt Truth to be a Liar (2006).

СОДЕРЖАНИЕ

Предисловие к первому изданию (Preface to the First Edition)
Предисловие ко второму изданию (Preface to the Second Edition)
Математические пролегомены (Mathematical Prolegomenon)

Часть І. Логика высказываний (Propositional Logic)
1. Классическая логика и материальная импликация (Classical Logic and the Material Conditional)
2. Базовая модальная логика (Basic Modal Logic)
3. Стандартные модальные логики (Normal Modal Logics)
4. Нестандартные модальные логики. Строгая импликация (Non-Normal Modal Logics; Strict Conditionals)
5. Условные логики (Conditional Logics)
6. Интуиционистская логика (Intuitionist Logic)
7. Многозначная логика (Many-valued Logics)

8. First Degree Entailment
9. Логики с пробелами, излишками и мирами (Logics with Gaps, Gluts and Worlds)
10. Релевантные логики (Relevant Logics)
11. Нечёткие логики (Fuzzy Logics)
11a. Приложение: Многозначные модальные логики (Appendix: Many-valued Modal Logics)
Постскриптум: Историческая перспектива импликаций (Postscript: An Historical Perspective on Conditionals)

Часть ІІ. Квантификация и идентичность (Quantification and Identity)
12. Классическая логика первого порядка (Classical First-order Logic)
13. Свободные логики (Free Logics)
14. Модальные логики с постоянными областями (Constant Domain Modal Logics)
15. Модальные логики с переменными областями (Variable Domain Modal Logics)
16. Необходимая идентичность в модальной логике (Necessary Identity in Modal Logic)
17. Случайная идентичность в модальной логике (Contingent Identity in Modal logic)
18. Нестандартные модальные логики (Non-normal Modal Logics)
19. Условные логики (Conditional Logics)

20. Интуиционистская логика (Intuitionist Logic)
21. Многозначная логика (Many-valued Logics)
22. First Degree Entailment
23. Логики с пробелами, излишками и мирами (Logics with Gaps, Gluts and Worlds)
24. Релевантные логики (Relevant Logics)
25. Нечёткие логики (Fuzzy Logics)
Постскриптум: Методологическая кода (Postscript: A Methodological Coda)

Ссылки (References)
Именной показатель (Index of Names)
Предметный показатель (Index of Subjects)

Вы уверены, что ссылка нерабочая?

Рекомендуем прочитать