Номинальные определения - это соглашение о том, как будет употребляться термин. Результаты таких определений нельзя оценивать как истинные или ложные.

Результаты реальных определений - это суждения. Поэтому они могут быть истинными или ложными. Кроме того, те и другие определения могут быть правильными и неправильными. По форме определения можно разделить на явные и неявные.

Явными называются определения, которые имеют структуру "А есть В", где А - определяемое выражение, а В - определяющее. Определяемое выражение называется дефиниендумом.

Неявные определения такой формы не имеют. Определяемыми выражениями в явных определениях могут быть:

1) выражения типа единичных;

2) выражения типа общих имен;

3) предикаты;

4) предметные функторы.

13. Правила и ошибки, связанные с определением.

Правила. 1) Определение должно быть соразмерным. Значения (объемы) определяемого и определяющего должны совпадать. Ошибки:

а) Слишком широкое определение. "Человек есть двуногое животное".

б) Слишком узкое определение. "Смерть - естественный конец всякого живого существа" (а не естественный?).

в) Перекрещивающееся определение. "Философ - это человек, разрабатывающий научную методологию".

г) Определение "как попало". Объем определяющего термина - пустое множество.

2) Определение не должно заключать в себе круга. Ошибки:

а) Круг в определении. "Логика - наука о правильном мышлении. Правильное мышление - логичное мышление". Разновидностью круга в определении является ошибка тавтология.

3) Определение должно быть ясным. Должны быть известны смыслы или значения терминов, входящих в дефиниенс.

Ошибки:

а) Неясное определение. +Метафоры!

4) Нельзя принимать номинальные определения за реальные.

Ошибки:

а) Ложные утверждения.

14. Предложение, суждение, высказывание.

Суждение - это мысль, в которой утверждается наличие или отсутствие каких-либо ситуаций или связей между ними. Пример: "Солнце - не планета".

Атрибутивные суждения - суждения, в которых выражается принадлежность предметам каких-либо свойств или их отсутствие. Пример: "Все дельфины являются китами". Они делятся на виды по качеству и количеству.

По качеству: утвердительные и отрицательные.

В утвердительных выражается полное или частичное включение класса предметов в класс предметов или же принадлежность некоторого предмета классу предметов.

В отрицательных - невключение класса предметов или его части в некоторый класс предметов.

По количеству: единичные, общие и частные.

В единичных суждениях выражается принадлежность или непринадлежность предмета классу предметов. Пример: "Австрия - европейская страна".

В общих суждениях выражается включение или невключение класса предметов в класс. Пример: "Ни одна звезда не является обитаемой".

В частных суждениях выражается частичное включение или невключение класса предметов в класс предметов. Пример: "Некоторые преступления не являются преднамеренными". Слово "некоторые" употребляется в смысле "по крайней мере, один, а может быть, и все".

Общеутвердительными являются суждения, которые одновременно общие и утвердительные. Структура: "Все S есть P". Обозначается буквой А.

Общеотрицательное суждение является одновременно общим и отрицательным. Структура: "Ни одно S не есть P". Обозначается буквой Е.

Частноутвердительное суждение - одновременно частное и утвердительное. Структура: "Некоторые S есть P". Обозначается буквой I. Частноотрицательное суждение - это суждение, являющееся одновременно частным и отрицательным. Структура: "Некоторые S не есть P". Обозначается буквой О.