Каковы некоторые книги об основах логики и ее философии?

Я думаю, что название в значительной степени подводит итог тому, что я ищу, но просто для того, чтобы немного разобраться, я ищу что-то, что входит в философскую основу для логики. Что-то, что исследует философские оправдания правил логики, которые мы обычно используем, и исследует перспективы, которые пытаются понять, что такое логика на самом деле.

5
Вы можете увидеть это сообщение .
добавлено автор Mauro ALLEGRANZA, источник
Вы также можете увидеть Penelope Rush (редактор), Метафизика логики (2014 г.) ).
добавлено автор Mauro ALLEGRANZA, источник
добавлено автор Mauro ALLEGRANZA, источник

2 ответы

Одна математическая книга, которая объясняет мотивацию логической нотации, - это Введение в логику от Suppes. Конечно, это для классической логики, а также логически строгий. В нем объясняется, что мы строим логику как точный язык, описывая ее с использованием нашего неточного человеческого языка, с самой целью использования логики вместо нашего человеческого языка для выполнения наших рассуждений, так что нет возможности для неточности или нелогичности рассуждений до тех пор, пока мы приняли язык логики и метод перевода предложений естественного языка в логику.

2
добавлено

Haacks Философия логики (или нечто подобное, я не помню точного названия) - это классика. Логическая основа метафизики Дамметта, предложенная Мауро Аллегранса, является, по моему мнению, одним из самых удачных текстов в этой области. Однако это также сложно - очень сложно по частям. Поэтому, прежде чем читать, я бы предложил философскую основу Даммитта Интуиционизма (также последнюю главу его элементов интуиционизма) и обоснование вычета. [Обе эти статьи доступны в «Истине и других загадках».

1
добавлено