Поскольку я планирую изучать философскую логику, у меня есть несколько важных вопросов. Например, мне интересно:
1 Должен ли я начать с алгебраического подхода? Должен ли я начать с другого подхода? (Который из?)
2 С каких типов логики мне следует начать? Модальная логика? Паранепротиворечивая логика? Субструктурная логика? Логика релевантности? Хм, вариантов много! И почему я должен начинать именно с этого, а не с этого?
3 Решив, с чего начать (допустим, это паранепротиворечивая логика), какие тексты вы рекомендуете для изучения? (Например, я знаю несколько книг по паранепротиворечивой логике.)
4 Должен ли я опубликовать этот вопрос также на математическом стеке?
Для моего фона я уже изучил некоторую логику. Я знаю, что такое язык, дедукция, язык первого порядка, синтаксис и семантика. Я также изучил теорему полноты ФОЛ и многое другое.
Кстати, меня больше интересует неклассическая логика.
Начните с хорошей вводной книги, например:
- Джон Берджесс, Философская логика (2009).
или же
- Джеймс Гарсон, Модальная логика для философов (2006).
Более подробный :
- Грэм Прист, Введение в неклассическую логику (2-е изд. 2008 г.).
Джозеф Вайсман
Лукас
пользователь20253
Гордон
Гордон