В конце 19 века "логика" перешла от философии к математике. Сто лет спустя у нас появилось множество формальных логик. Рассматривая ситуацию с информатикой, математическая дисциплина оказалась лишь временным убежищем для "логики". Ведь существует Доменная теория, конструктивная математическая теория, которая расширяет понятие вычисляемости до континуума и охватывает область всех возможных дедуктивных систем. Теория домена описывает пространство типов данных, которые компьютеры могут идеально вычислить, и вычисления в терминах этих типов...
Всё о мышлении можно разделить на две части: форма и содержание. Под формой понимается обобщённое, часто символьное, отображение чего-то в мышлении человека. Например, математическое выражение 2+2=4 есть форма, в которой отражены обобщённые количества. Содержанием может быть что угодно, например, сложение двух красных и двух зелёных яблок даст в итоге 4 яблока. Люди, предметы... содержание любое, а форма одна. Науки о том, ЧТО думать, то есть о содержании — математика, физика, химия, литература, география, политология, ТРИЗ, бухгалтерский учёт и другие...