- раздел математической логики, соответствующий узкому исчислению одноместных предикатов, которые заменяются объемами, класс ами. Л. к. соответствует и силлогистике Аристотеля. Иногда Л. к. рассматривается как формализованная теория множеств, в других случаях - как расширение логики высказываний. Если в логике высказываний отвлекаются от связей между субъектом и предикатом высказывания, то в Л. к. эти связи учитываются. В число классов в Л. к. включается и пустой класс (0), содержащий нулевое множество элементов, и универсальный класс (1), включающий все объекты рассматриваемой области. С классами можно производить операции пересечения, объединения и дополнения. К алфавиту логики высказываний в Л.к. добавляются переменные а, b, с, ... для классов; знаки , обозначающие операции с классами; постоянные термы 0 и 1 и знаки для обозначения отношений между классами. Далее дается индуктивное определение терма и класса. Вводятся отношение включения класса в класс (аb) (а включается в класс b), отношение равенства двух классов (а=b). Оба эти отношения могут быть определены через отношение принадлежности элемента классу (аÎb). Элемент арные формулы в Л. к. имеют вид: иÌv, u=v, где и и v — термы. Если формула Р является истинной, то это означает, что она истинна для любых классов области, являющихся значениями переменных, входящих в формулу Р. Если она истинна в любых областях, то она тождественно-истинна. Так, формула (a Ç b Ì a) гласит, что всякий элемент, содержащийся в обоих классах а и b, содержится и в классе а. Эта формула истинна не только для любых классов а и b данной области D, но и для всяких классов любой области D. Таблицы истинности, соответствующие возможным значениям для термов (u Ç v), (u È v), u', (и É v), (u= v), будут совпадать соответственно с таблицами конъюнкции, дизъюнкции, отрицания, импликации, эквивалентности. Четыре Аристотелевы формы элементарных высказываний — общеутвердительного А, частноутвердительного I, общеотрицательного Е, частноотрицательного О (см.: Суждение) — могут быть соответственно выражены так: и Ì v («Все и суть v»); ~(и Ì v') (« Некоторые и суть v», т. е. «Неверно, что все и суть не-v»); (иÌv') («Никакое и не есть v», т. е. «Всякое и есть не -v»); ~(иÉv) (Некоторые и не суть v», т. е. «Неверно, что все и суть v»).
Что такое Логика Классов? Значение Логика Классов в словаре логики
Логика Классов - - раздел математической логики, соответствующий узкому исчислению одноместных предикатов, которые заменяются объемами, классами. Л. к. соответствует и силлогистике Аристотеля. Иногда Л. к. рассматривается как формализованная теория множеств, в других случаях - как расширение логики высказываний. Если в логике высказываний отвлекаются от связей между субъектом и предикатом высказывания, то в Л. к. эти связи учитываются. В число классов в Л. к. включается и пустой класс (0), содержащий нулевое множество элементов, и универсальный класс (1), включающий все объекты рассматриваемой области. С классами можно производить операции пересечения, объединения и дополнения. К алфавиту логики высказываний в Л.к. добавляются переменные а, b, с, ... для классов; знаки, обозначающие операции с классами; постоянные термы 0 и 1 и знаки для обозначения отношений между классами. Далее дается индуктивное определение терма и класса. Вводятся отношение включения класса в класс (аb) (а включается в класс b), отношение равенства двух классов (а=b). Оба эти отношения могут быть определены через отношение принадлежности элемента классу (аÎb). Элементарные формулы в Л. к. имеют вид: иÌv, u=v, где и и v — термы. Если формула Р является истинной, то это означает, что она истинна для любых классов области, являющихся значениями переменных, входящих в формулу Р. Если она истинна в любых областях, то она тождественно-истинна. Так, формула (a Ç b Ì a) гласит, что всякий элемент, содержащийся в обоих классах а и b, содержится и в классе а. Эта формула истинна не только для любых классов а и b данной области D, но и для всяких классов любой области D. Таблицы истинности, соответствующие возможным значениям для термов (u Ç v), (u È v), u', (и É v), (u= v), будут совпадать соответственно с таблицами конъюнкции, дизъюнкции, отрицания, импликации, эквивалентности. Четыре Аристотелевы формы элементарных высказываний — общеутвердительного А, частноутвердительного I, общеотрицательного Е, частноотрицательного О (см.: Суждение) — могут быть соответственно выражены так: и Ì v («Все и суть v»); ~(и Ì v') («Некоторые и суть v», т. е. «Неверно, что все и суть не-v»); (иÌv') («Никакое и не есть v», т. е. «Всякое и есть не -v»); ~(иÉv) (Некоторые и не суть v», т. е. «Неверно, что все и суть v»).
Значение слова Логика Классов в других словарях:
- Что такое Логика Классов? Энциклопедический словарь
Узнайте лексическое, прямое, переносное значение следующих слов:
- Модальность - (от лат., modus — мера, способ) — оценка ...
- Множеств Теория - — математическая теория, изучающая точными средствами проблему бесконечности. ...
- Многозначности Принцип - см.: Принцип многозначности. ...
- Методология Науки - часть науковедения, исследующая структуру научного знания, средства ...
- Метод - (от греч. methodos — путь, способ исследования, обучения, ...
- Метафора - (от греч, metaphora перенос, образ) перенесение ...
- Метаматематика - — раздел математической логики, изучающий основания математики, структуру ...
- Круг В Доказательстве - (лат. — circulus in demonstrando) — логическая ошибка ...
- Конъюнкция - (от лат. conjunctio союз, связь) логическая ...
- Контрарная Противоположность - (от лат. contrarius противоположный) — отношение между ...
- Контрадикторная Противоположность - (от лат. contradictorius — противоречащий) — отношение между ...
- Контекст - (от лат. contextus — сцепление, соединение, связь) — ...
- Коннотация - (от лат. connotatio — добавочное значение) — дополнительные ...
- Классификация - — многоступенчатое, разветвленное деление логического объема понятия. Результатом ...
- Отношение Нерефлексивное - (иррефлексивное) двухместное отношение R, определенное на некотором ...