Логика Классов

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

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

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

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