Логика Науки

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

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

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

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