Значение словосочетания «формальная логика»

  • Форма́льная ло́гика — наука о правилах преобразования высказываний, сохраняющих их истинностное значение безотносительно к содержанию входящих в эти высказывания понятий, а также конструирование этих правил. Будучи основателем формальной логики как науки, Аристотель называл её «аналитика», термин же «логика» прочно вошёл в обиход уже после его смерти в III веке до нашей эры.

    Формальная логика, в отличие от неформальной, организована как формальная система, обладающая высоким уровнем абстракции и чётко определёнными правилами . Формальная логика занимается выводом нового знания на основе ранее известного без обращения в каждом конкретном случае к опыту, а применением законов и правил мышления. Начальной ступенью формальной логики можно считать традиционную логику[неизвестный термин], а её следующей ступенью — математическую логику, использующей формализацию, подобную математической, символический аппарат и логические исчисления.

Источник: Википедия

Делаем Карту слов лучше вместе

Привет! Меня зовут Лампобот, я компьютерная программа, которая помогает делать Карту слов. Я отлично умею считать, но пока плохо понимаю, как устроен ваш мир. Помоги мне разобраться!

Спасибо! Я стал чуточку лучше понимать мир эмоций.

Вопрос: функтор — это что-то нейтральное, положительное или отрицательное?

Нейтральное
Положительное
Отрицательное
Не знаю

Предложения со словосочетанием «формальная логика»

Цитаты из русской классики со словосочетанием «формальная логика»

Понятия со словосочетанием «формальная логика»

  • Форма́льная ло́гика — наука о правилах преобразования высказываний, сохраняющих их истинностное значение безотносительно к содержанию входящих в эти высказывания понятий, а также конструирование этих правил. Будучи основателем формальной логики как науки, Аристотель называл её «аналитика», термин же «логика» прочно вошёл в обиход уже после его смерти в III веке до нашей эры.
  • (все понятия)

Афоризмы русских писателей со словом «логика»

Отправить комментарий

@
Смотрите также

Предложения со словосочетанием «формальная логика»

  • Эти законы формальной логики способствуют достижению определённости, непротиворечивости и, в известном смысле, доказательности мышления.

  • Научиться мыслить не так, как мыслила классика, выстраивавшая оппозиции по правилам формальной логики, и не так, как мыслит диалектическая логика, и даже не так, как мыслит неклассика – вот к чему призывает нас автор.

  • Ответ будет странным и не совсем логичным с точки зрения формальной логики.

  • (все предложения)

Синонимы к словосочетанию «формальная логика»

Ассоциации к слову «формальный»

Ассоциации к слову «логика»

Морфология

Правописание

а б в г д е ё ж з и й к л м н о п р с т у ф х ц ч ш щ э ю я