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

“Логика” — это не физический объект или инструмент, который что-то “делает” в прямом смысле слова. Логика — это наука, система правил и метод мышления, который организует наш разум и речь. В широком смысле, логика выполняет три основные функции: Анализ, структурирование и выведение заключений. Вот что делает логика в различных контекстах: 1. Логика как Наука (Философская и Математическая) Логика — это формальная наука, которая изучает законы и формы правильного мышления. А. Обеспечивает Правильность...