Форма́льная ло́гика — наука о правилах преобразования высказываний, сохраняющих их истинностное значение безотносительно к содержанию входящих в эти высказывания понятий, а также конструирование этих правил. Будучи основателем формальной логики как науки, Аристотель называл её, «аналитика», термин же «логика» прочно вошёл в обиход уже после его смерти в III веке до нашей эры. (Википедия)
ОСНОВОПОЛО́ЖНИК, -а, м. Создатель какого-л. учения, направления, школы и т. п. Основоположники научного коммунизма. (Малый академический словарь, МАС)
ФОРМА́ЛЬНЫЙ, -ая, -ое; -лен, -льна, -льно. 1. только полн. ф. Официальный, законный, произведенный по форме (в 7 знач.). Формальные доказательства (установленные заранее законом). Формальное обвинение. (Малый академический словарь, МАС)
ЛО́ГИКА, -и, ж. 1. Наука о законах и формах мышления. Формальная логика. Диалектическая логика. (Малый академический словарь, МАС)
Развёрнутое толкование значения слов и словосочетаний, примеры употребления в различных значениях, фразеологизмы и устойчивые сочетания.
Синонимы и сходные по смыслу выражения, прямые и обратные ассоциации, информация о сочетаемости.
Примеры употребления в контексте из современных источников и из русской классической литературы.
Информация о правописании, таблицы склонения имён и спряжения глаголов, разбор по составу с графической схемой и указанием списка сходных по морфемному строению слов.