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