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

Фото Является ли логическое мышление способом открытия или обсуждения? Ответы из философии и математики определяют человеческие знания История логики должна представлять интерес для всех, кто стремится к правильному или хотя бы разумному мышлению. Эта история иллюстрирует различные подходы к интеллектуальному исследованию и человеческому познанию в целом. Размышление об истории логики заставляет нас задуматься о том, что значит быть разумным когнитивным человеком и правильно мыслить. Что это...