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

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

Одна математическая книга, которая объясняет мотивацию логической нотации, - это  [Введение в логику](http://web.mit.edu/gleitz/www/Introduction%20to%20Logic%20-%20P.%20Suppes%20(1957)% 20WW.pdf )  от Suppes. Конечно, это для классической логики, а также логически строгий. В нем объясняется, что мы строим логику как точный язык, описывая ее с использованием нашего неточного человеческого языка, с самой целью использования логики вместо нашего человеческого языка для выполнения наших рассуждений, так что нет возможности для неточности или нелогичности рассуждений до тех пор, пока мы приняли язык логики и метод перевода предложений естественного языка в логику.



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