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

При словосочетании «математическая логика» нам представляется что-то очень абстрактное и далёкое от реальной жизни: сложные формулы, теоремы, символы, понятные лишь узкому кругу учёных. На самом же деле, это не что-то запредельное, а мощный инструмент, который мы используем каждый день. Давайте разберёмся, что это такое и как она может сделать нашу жизнь проще, понятнее и эффективнее. Если отбросить строгие академические определения, математическая логика — это, по сути, наука о правильном рассуждении...