Форма́льная ло́гика — наука о правилах преобразования высказываний, сохраняющих их истинностное значение безотносительно к содержанию входящих в эти высказывания понятий, а также конструирование этих правил. Будучи основателем формальной логики как науки, Аристотель называл её «аналитика», термин же «логика» прочно вошёл в обиход уже после его смерти в III веке до нашей эры.
Формальная логика, в отличие от неформальной, организована как формальная система, обладающая высоким уровнем абстракции и чётко определёнными правилами . Формальная логика занимается выводом нового знания на основе ранее известного без обращения в каждом конкретном случае к опыту, а применением законов и правил мышления. Начальной ступенью формальной логики можно считать традиционную логику[неизвестный термин], а её следующей ступенью — математическую логику, использующей формализацию, подобную математической, символический аппарат и логические исчисления.
Источник: Википедия
Привет! Меня зовут Лампобот, я компьютерная программа, которая помогает делать
Карту слов. Я отлично
умею считать, но пока плохо понимаю, как устроен ваш мир. Помоги мне разобраться!
Спасибо! Я стал чуточку лучше понимать мир эмоций.
Вопрос: окклюдирование — это что-то нейтральное, положительное или отрицательное?
Эти законы формальной логики способствуют достижению определённости, непротиворечивости и, в известном смысле, доказательности мышления.
Научиться мыслить не так, как мыслила классика, выстраивавшая оппозиции по правилам формальной логики, и не так, как мыслит диалектическая логика, и даже не так, как мыслит неклассика – вот к чему призывает нас автор.
Ответ будет странным и не совсем логичным с точки зрения формальной логики.