Расскажите, пожалуйста, про логику

Ну вот, прямо, что надо знать, чтобы понимать всю логику вдоль и поперёк? Какие книги читать, какие основные концепции надо знать. Может какие-нибудь есть форумы по этой теме или списки ресурсов? Математическая логика чем-нибудь отличается от философской? В чём разница между разными темпоральными логиками, почему их вообще несколько, время-то у нас одно? Какие формализмы моделируют логику прочих людей (т.е. чтобы там были субъекты прямо в модели)? Какие концепции надо изучить в каком порядке?

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, разработал правило вывода для логики первого порядка, пригодное для применения на компьютерах.
с тех пор его по-разному улучшали и прорабатывали.

1999, Ganter B., Wille R., Formal concept analysis, Springler
2005, Wille & Ganter & Stumme, Formal Concept Analysis: Foundations and Applications
2016, Mancas C., Conceptual Data Modeling and Database Design: a Fully Algorithmic Approach. Volume 1, The Shortest Advisable Path. Apple Academic Press, 534 p.
2020, Ferré & Huchard & Kaytoue & Kuznetsov & Napoli, Formal Concept Analysis: From Knowledge Discovery to Knowledge Processing

Здесь пытаемся понять, что в тексте является понятиями, и какие у этих понятий признаки.