Логическая Операция

Раздел логич. Теорий, в к-ром изучаются общезначимые связи между высказываниями о свойствах и отношениях предметов. В основе Л. П. Лежит формализованный язык, отображающий субъективно-предикатную структуру высказываний. См. Также Исчисление предикатов. ..

Направление в основаниях математики кон. 19 - нач. 20 вв., отвергающее кантовский тезис о сиитетич. Характере матем. Истин. Рассматривает математику как чисто аналитич. Науку, все понятия к-рой можно определить в рамках дедуктивной логики без использования к.-л. Положений нелогич. Характера. Осн. Представители - Г. Фреге, Б. Рассел, А. Уайтхед. Тезис о "сводимости математики к логике" оказался невыполнимым, вместе с тем Л. Способствовал развитию матем. Логики. ..

Теория, изучающая вопросы интерпретации логич. Исчислений. Отношения между языком исчисления и описываемой им реальностью - моделью теории, условия существования моделей исчислений, их практич. Применимости и др. В более спец. Смысле - дедуктивная теория, описывающая свойства понятия истинности в формализов. Языках логики и математики. ..

В широком смысле - теория (возможно, аксиоматическая), рассматривающая осн. Принципы построения логич. Исчислений и их формальную структуру (теоретический Л. С.). В узком смысле - запас выразит, средств для формулирования утверждений о формальных выражениях (языке) логич. Исчисления (элементарный Л. С.). ..