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

В логике ее силлогизмы и большинство других ее правил служат больше для объяснения другим того, что нам известно, или… тому, чтобы говорить без собственного суждения о том, чего не знаешь, вместо того, чтобы познавать это. Р. Декарт Логика рассудка стремится в своих трех ступенях подражать понятию, как обезьяна. Г.В.Ф. Гегель Формальная логика - точно детское занятие, составление картин из кусочков. В.И. Ленин Нищета советской философии, на которую уже не раз указывали со страниц «Прорыва», была вызвана несколькими факторами...

Что происходит с логикой сегодня Логика — это учение/трансдисциплина, занимающаяся рассуждениями по каким-то правилам/нормам рассуждений, ведущим к надёжному/безошибочному результату. Эти правила рассуждений по большому счёту могут быть любыми, только некоторые из них ведут к безошибочным рассуждениям. Логикой называют и дисциплину про то, какие вообще бывают правила/нормы рассуждений, и отдельные дисциплины про то, как рассуждать по конкретным наборам правил. Рассуждения по правилам, которые ведут...

В данной статье мы поговорим о математической логике, разберем основные операции и ассоциируем их с реальным миром. Математическая логика — это раздел современной формальной логики, в котором логические...