Логика Предикатов

Логика объёмов понятий, раздел логич. Теорий, в к-ром изучаются операции над классами (множествами) и свойства этих операций (законы Л. К.). ..

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

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

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