Основы современных компьютерных технологий


Введение в логику - часть 2


287

(переход от понятия с меньшим объемом и большим содержанием к понятию с меньшим содержанием и большим объемом) понятий.

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

Практическое применение операции деления понятий - процедура классификации. Цель классификации - приведение знаний о предметной области в определенным образом построенную систему, при этом основание деления должно отвечать цели классификации. Выбор классификационного признака - нетривиальная задача. Классификация, особенно при дихотомическом делении, принимает форму дерева (впервые использовалась в IV в и. э. сирийским логиком Порфирием, называется по его имени "дерево Порфирия").

Другой фундаментальной логической операцией над понятиями является определение понятия. Эта операция позволяет строго закрепить за объектом, обозначенным с помощью определяемого понятия, содержание, выраженное в зафиксированных в определении признаках, свойствах и отношениях.

Определение бывает номинальное - раскрытие смысла употребления слова - и реальное - определение понятий о предметах или явлениях, а не терминов, их обозначающих. Типы определений: через ближайший род и видовое отличие (это по сути поиск места понятия в некоторой явной или неявной форме классификации), способы задания определений: генетическое определение; операциональное определение.

Понятия являются исходным материалом для построения высказываний (суждений). С грамматической точки зрения, высказывания - это повествовательное предложение.

Сложные предложения строятся из выражений, обозначающих некоторые понятия, и логических связок. Слова и обороты НЕ, И, ИЛИ, ЕСЛИ... ТО, ТОГДА И ТОЛЬКО ТОГДА, СУЩЕСТВУЕТ, ВСЕ и некоторые другие называются логическими связками (операторами) и обозначают логические операции, с помощью которых из одних предложений строятся другие.




Начало  Назад  Вперед