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