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

В мире, переполненном информацией, существует один инструмент, который может помочь нам отделить зерна истины от плевел обмана. Этот инструмент - логика. Логика - это наука, которая изучает законы мышления, рассуждения и доказательств. Это область знаний, которая охватывает методы и принципы, используемые для проверки истинности или ложности в утверждениях и теориях. Основы логики В основе логики лежат предложения и аргументы. Предложение - это утверждение, которое может быть классифицировано как истинное или ложное...