В конце 19 века "логика" перешла от философии к математике. Сто лет спустя у нас появилось множество формальных логик. Рассматривая ситуацию с информатикой, математическая дисциплина оказалась лишь временным убежищем для "логики". Ведь существует Доменная теория, конструктивная математическая теория, которая расширяет понятие вычисляемости до континуума и охватывает область всех возможных дедуктивных систем. Теория домена описывает пространство типов данных, которые компьютеры могут идеально вычислить, и вычисления в терминах этих типов...

Философию любят далеко не все, и при этом она считается гуманитарной дисциплиной. Математика - противоположность гуманитарных наук, и к ней тоже не так уж много людей питает теплые чувства. Казалось бы, что в них общего? На самом деле, достаточно много. Современная философия охотно использует математические инструменты, чтобы формализовать различные подходы и системы понятий. Матрицы, уравнения и вот это всё. Да ещё и на тему непрактичной на первой взгляд философии. Это звучит страшно скучно. Однако,...