ФОРМАЛЬНАЯ ЛОГИКА — наука, занимающаяся анализом структуры высказываний и доказательств, обращающая основное внимание на форму в отвлечении от содержания. Определение «формальная» было введено И. Кантом с намерением подчеркнуть ведущую особенность Ф.л. в подходе к… … Философская энциклопедия
Операция «Вихрь» — Голова статуи Сталина на площади Будапешта. Конец октября 1956 Венгерское восстание 1956 года (23 октября 9 ноября 1956) (в коммунистической[1] Венгрии известно как Венгерская революция 1956 года, в советских источниках как Венгерский… … Википедия
ФОРМАЛЬНАЯ ОНТОЛОГИЯ — такой раздел (аспект) онтологии, в котором исследуются (отвлеченные от конкретного содержания) формы явлений, составляющих предмет онтологии, а также фундаментальные онтологические отношения между этими формами и базисные онтологические свойства… … Современный философский словарь
ФОРМАЛЬНАЯ ЭТИКА — раздел (аспект) этики, в котором исследуются морально правовые (или просто моральные) формы поведения (абстрагированные от его нравственно правового содержания) с целью нахождения формальных критериев правильности поведения. (Термин право… … Современный философский словарь
Логическая операция — В логике логическими операциями называют действия, вследствие которых порождаются новые понятия, возможно с использованием уже существующих. В более узком, формализованном смысле, понятие логической операции используется в математической логике и … Википедия
Арифметика — Ганс Себальд Бехам. Арифметика. XVI век Арифметика (др. греч. ἀ … Википедия
СИЛЛОГИСТИКА — (от греч. syllogisticos рассчитываю, считаю) логическая теория дедуктивных рассуждений, в которой исследуются логические связи между категорическими атрибутивными высказываниями. С. была построена Аристотелем. К числу указанных высказываний… … Философская энциклопедия
ДЕФОРМАЦИЯ — 1) Д. аналитической структуры семейство аналитич. ространств (или связанных с ними аналитич. объектов), зависящее от параметров. Теория Д. возникла из задачи классификации всевозможных попарно не изоморфных комплексных структур на данном… … Математическая энциклопедия
МЕТАТЕОРИЯ — (от греч. meta после, за, позади) теория, изучающая язык, структуру и свойства некоторой др. теории. Теория, свойства которой исследуются в М., называется предметной, или объектной, теорией. Наиболее развиты М. в логике и математике (металогика И … Философская энциклопедия
Советские военнопленные во время Великой Отечественной войны — … Википедия
