Логика. Радько О.Ю. - 18 стр.

UptoLike

ВУЗ: 

ТГТУ | Тамбов

Составители: 

Рубрика: 

В логике разработаны операции, которые позволяют из двух или нескольких классов образовывать новые
классы. Такими операциями являются: объединение классов (сложение), пересечение классов (умножение) и
образование дополнения к классу (отрицание) (рис. 3 – 5).
Операция объединения классов (сложение) заключается в объединении двух или нескольких классов в
один класс, состоящий из элементов слагаемых классов. Операция пересечения классов (умножение) заклю-
чается в отыскании элементов, общих для двух или нескольких классов (множеств). Образование дополнения
(отрицание). Дополнением к классу А называется класс не-А (А'), который при сложении с А образует универ-
сальную область. Эта область представляет собой универсальный класс и обозначается знаком 1. Чтобы обра-
зовать дополнение не-А (или А'), нужно класс А исключить из универсального класса: 1 – А = А'. Образование
дополнения состоит в образовании нового множества путём исключения данного множества из универсального
класса, в который оно входит.
Рис. 3. Графическое представление операции сложения классов
Рис. 4. Графическое представление операции пересечения классов
Рис. 5. Графическое представление операции образования дополнения
к классу
Операция объединения классов (сложение) заключается в объединении двух или нескольких классов в
один класс, состоящий из элементов слагаемых классов.
Операция пересечения классов (умножение) заключается в отыскании элементов, общих для двух или
нескольких классов (множеств) (рис. 4).
Логическая операция, раскрывающая содержание понятия, называется определением или дефиницией.
Понятие, содержание которого надо раскрыть, называется определяемым (дефиниендум); понятие, раскры-
вающее содержание определяемого понятия, – определяющим (дефиниенс). В логике существуют номинальные и
реальные определения. Номинальное определение – взамен описания какого-либо предмета вводится новый
термин (имя), объясняется значение термина, его происхождение и т.п. Реальное определение раскрывает су-
щественные признаки предмета.
В логике различают также явные и неявные определения. К явным относятся определения, раскрывающие
существенные признаки предмета. Они состоят из определяемого и определяющего понятий. Выделим сле-
дующие: определение через род и видовое отличие. Например, «Чеком признаётся ценная бумага (род), со-
держащая ничем не обусловленное письменное распоряжение чекодателя банку уплатить держателю чека ука-
занную в нём сумму» (видовое отличие чека от акции) и генетическое определение указывает на происхожде-
ние предмета, на способ его образования; «Шар есть геометрическое тело, образованное вращением круга во-
круг одного из своих диаметров».
Правила определения понятий:
1. Определение должно быть соразмерным («Рецидивист – лицо, совершившее преступление после осуж-
дения за преступления, совершённые ранее» – правильно. «Рецидивист – лицо, совершившее преступление» –
неправильно, так как объём определяющего понятия шире объёма определяемого понятия).
2. Определение не должно заключать в себе круга («Неосторожное преступление – это преступление, со-
вершённое по неосторожности» – неправильно. Эта ошибка называется тавтология).
A'
не-A
А В
С
А В
не-А
А
В
А

Страницы