Логицизм

Область науки, применяющая понятия и техн. Аппарат совр. Логики к анализу систем науч. Знания. Сформировалась в 1-й четв. 20 в. Термин "Л. Н." употребляется также для обозначения законов развития науки (логика науч. Развития), правил и процедур науч. Иссл. (логика иссл.), учения о психол. И методол. Предпосылках науч. Открытий (логика науч. Открытий). ..

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

Операция над чис лами (обычно в двоичной системе счисления), выполняемая по правилам алгебры логики. Осн. И наиб. Распространённые Л. О., реализуемые в ЭВМ,дизъюнкция, конъюнкция, отрицание. При составлении программ для ЭВМ более сложные Л. О. Обычно сводят к трём основным. ..

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