Ну вот, прямо, что надо знать, чтобы понимать всю логику вдоль и поперёк? Какие книги читать, какие основные концепции надо знать. Может какие-нибудь есть форумы по этой теме или списки ресурсов? Математическая логика чем-нибудь отличается от философской? В чём разница между разными темпоральными логиками, почему их вообще несколько, время-то у нас одно? Какие формализмы моделируют логику прочих людей (т.е. чтобы там были субъекты прямо в модели)? Какие концепции надо изучить в каком порядке?
384—322 до н.э. , Аристотель. (древняя Греция) → Классическая логика
1815-1864, Джорж Буль (дед Тейлора, но не того Тейлора, который про ряды), → булевская логика, алгебра логики
Больше всего мне нужна символическая логика (я, кстати, не понимаю, почему она “символическая”, а не “символьная”). Там мне нужна процедура унификации. Т.е. всё понятно, только непонятно, как это использовать. Пруверы, то, сё.
Теорему Пифагора можете доказать многократным применением единственной операции унификации?
1932, Lewis и Langford, Symbolic Logic
Написали книжку, где впервые была описана “модальная логика” в математической нотации и упорядоченно.
И это странно, потому что на libgen точно такой книжки нет, но есть с таким названием от других авторов за более ранние годы (несколько штук).
Зато там есть вторая редакция, в которой упоминается, что первая действительно была издана в 1932-м году. #2131700,
1959, C. I. Lewis & C. H. Langford, Symbolic Logic (2nd Ed)
К сожалению, пока я с ней возился, я забыл записать, почему она важная. Вспомню - напишу.
До этого я пытался читать про
Пропозициональная логика занимается истинностью или ложностью простых высказываний и их комбинаций, используя логические операторы, такие как “и”, “или”, “не”. Логика первого порядка расширяет пропозициональную логику, позволяя формулировать утверждения о свойствах объектов и их отношениях, используя предикаты и кванторы
1960, Davis and Putnam, придумали правило вывода для пропозиционной логики
1965, J. A. Robinson, разработал правило вывода для логики первого порядка, пригодное для применения на компьютерах.
с тех пор его по-разному улучшали и прорабатывали.