Я читаю книгу Тимоти О'Коннора «Лица и причины. Метафизика свободы воли», и первая глава кратко (хотя и без введения) посвящена применению модальной логики и контрпримеров к недостаточно уточненным объяснениям аргумента следствия.
На самом деле я изучаю математику и философию, поэтому изучил как «детскую логику первого порядка» в математике, так и введение Питера Смита в формальную логику (см. здесь) http://www.amazon.co.uk/Introduction-Formal -Logic-Peter-Smith/dp/0521008042 и будет работать с математической логикой Ходжеса и Чизуэлла.
Какой путь — или какой материал — в модальной логике, по вашему мнению, достаточен для меня, чтобы разобраться с модальными аргументами в О'Конноре, и в то же время достаточно базовый, чтобы продвинуться от моего нынешнего понимания логики первого порядка / детской логики?
Мне также было бы интересно, в связи с этим, если бы кто-то, имеющий опыт в области математики философии, мог бы дать некоторые рекомендации относительно того, какую подходящую последовательность можно выбрать с набором логических или математических философских книг по своему выбору от кого-то. без какого-либо реального знакомства с математической философией.
Я купил «Принципы математики» Рассела, но не думаю, что это будет приятное чтение как из-за пригодности, так и из-за вводных соображений.
Математическая логика Ходжеса и Чизуэлла может не сильно помочь в модальной логике, которая больше похожа на расширение логики предикатов. Я не знаком с книгой Питера Смита, но индекс Amazon указывает, что он уже ввел кванторы всеобщего и существования ∀ и ∃ соответственно. Модальная логика просто добавляет к ним возможные и необходимые модальные операторы □ и ◇ соответственно.
Учебник, по которому меня учили, назывался « Модальная логика: введение » Брайана Челласа . Он довольно краткий, с хорошими примерами, хотя и немного суховат. Вы также можете попробовать «Модальную логику для философов » Гарсона. Сам я ее не читал, но рецензия на книгу, кажется, может быть именно тем, что вы ищете.
Что касается философии математики, я думаю, что большинство людей порекомендовали бы университетский курс, а не просто книгу. Предложения Марио выглядят достаточно разумными для начала.
Лучший вводный текст по модальной логике, на мой взгляд, — это Fitting and Mendelsohn, First Order Modal Logic, Synthese Library, 1999. Очень важно получить полную трактовку модальной логики первого порядка для современной метафизики, потому что вам нужно некоторое из важных приемов (таких как абстракция предикатов), которые обычно не вводятся в книгах, посвященных только пропозициональной модальной логике, таких как Хьюз и Кресуэлл. Мне очень нравится система проверки таблиц в M&F!
для части Phil of Math взгляните на Philosophy of Mathematics: Selected Readings 2nd Edition Пола Бенасеррафа (редактор), Hilary Putnam (редактор) и на The Philosophy of Mathematics (Oxford Readings in Philosophy) 1st Edition by WD Hart (редактор )
Я не могу размещать более двух ссылок, но поищите книги Чарльза Парсонса и Стюарта Шапиро.
Это неАнид