Философская энциклопедия - логика классов
Логика классов
логика классов
ЛОГИКА КЛАССОВЛОГИКА КЛАССОВ
раздел логики, в котором рассматриваются классы (множества) предметов, задаваемые характеристическими свойствами этих предметов (элементов классов). В совр. логике Л. к. может пониматься как «алгебра множеств», т. е. интерпретироваться (см. Интерпретация) как совокупность закономерностей, которым удовлетворяют т. н. теоретико-множеств. операции: объединение (сумма), пересечение (произведение) и дополнение множеств, или же как изоморфная этой алгебре (см.
Изоморфизм и гомоморфизм) логика одноместных предикатов, в свою очередь понимаемая как частный случай логики предикатов или как расширение логики высказываний. Изоморфизм упомянутых интерпретаций Л. к. обеспечивается взаимнооднозначным сопоставлением объектов, рассматриваемых в этих интерпретациях: множествам (классам) сопоставляются высказывания о принадлежности к.-л. предмета данному множеству, объединению множеств — конъюнкция соответствующих высказываний, пересечению — их дизъюнкция, а дополнению — отрицание. Рассматривая модель (реализацию, интерпретацию) Л. к. на предметной области, состоящей из одного-единственного элемента, вопрос об истинности или ложности к.-л. формулы Л. к. можно свести к вопросу относительно соответствующей формулы логики высказываний, подобно которой Л. к. оказывается, т. о., разрешимой. Поэтому в совр. логике Л. к, трактуют как одноместный фрагмент логики предикатов, изоморфный логике высказываний.см. к ст. Логика.
Философский энциклопедический словарь. — М.: Советская энциклопедия. Гл. редакция: Л. Ф. Ильичёв, П. Н. Федосеев, С. М. Ковалёв, В. Г. Панов. 1983.
.Рейтинг статьи:
Комментарии:
Вопрос-ответ:
Похожие слова
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 2307 | |
2 | 2259 | |
3 | 1393 | |
4 | 1349 | |
5 | 754 | |
6 | 731 | |
7 | 685 | |
8 | 664 | |
9 | 636 | |
10 | 614 | |
11 | 613 | |
12 | 560 | |
13 | 554 | |
14 | 542 | |
15 | 536 | |
16 | 530 | |
17 | 520 | |
18 | 520 | |
19 | 514 | |
20 | 513 |