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

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

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

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

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

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

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

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

- раздел математической логики, соответ­ствующий узкому исчислению одноместных предикатов, которые заменяются объемами, классами. Л. К. Соответствует и силлогистике Аристотеля. Иногда Л. К. Рассматривается как формализованная теория множеств, в других случаях - как расширение логики выс­казываний. Если в логике высказываний отвлекаются от связей меж­ду субъектом и предикатом высказывания, то в Л. К. Эти связи учи­тываются. В число классов в Л. К. Включается и пустой класс (0), содержащий нулевое..