Виды определений

Различают реальные и номинальные определения. Реальным называется определение, фиксирующее существенные признаки предмета, например, “человек - это мыслящее существо”. Номинальным называется определение, фиксирующее значение знакового выражения, например, “термином “абсолютно черное тело” обозначается объект, поглощающий все падающие на него лучи видимого света”. Познавательная функция реального определения - указание существенных признаков предмета, функцией же номинального определения является указание значения термина. Соответствующие реальные и номинальные определения обычно легко преобразуются друг в друга, но это выполняется лишь тогда, когда значение термина фиксируется посредством указания существенных признаков обозначаемого предмета.

Различают также явные и неявные определения. Явное определение фиксирует существенные признаки предмета непосредственно, неявное же - указывает их опосредованно, косвенно.

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

А		В*с
человек	есть	животное, обладающее сознанием

где А - дефиниендум, В - род, с - видовое отличие, специфический признак.

В рамках классического определения различают:

1) атрибутивное, когда в качестве “с” указываются существенные признаки предмета мысли (приведенный пример относится к этому типу);

2) генетическое, когда в качестве “с” фиксируют способ происхождения, образование предмета, например, “Шар - геометрическое тело, образованное вращением окружности относительно одного из своих диаметров”;

3) операциональное, когда в качестве “с” указывают способы (операции), посредством которых распознаются признаки предмета, например, “Атмосферное давление есть характеристика, измеряемая барометром.

Неявные определения используют такие приемы, как указание, описание, сравнение, характеристика, перечисление типичных предметов, составляющих объем дефиниендума, определение через противоположность (альтернативу) и т.д. (подробнее см. [1, с. 37 - 38]), и, как правило, дополняются определенностью контекста.

Литература

1. Кобзарь В.И. Основы логических знаний: Учеб. для студ. гум. фак-тов. Гл.2. СПб. : Изд-во СПб ун-та, 1994. С. 32 - 38.

2. Логика: Учеб. пособие / Под ред. Б.В.Ахлибининского / ГЭТУ. Гл.I. СПб, 1995. С. 16 - 21.

3. Основные законы и формы мышления: Логический практикум / Под ред. М.Ю.Казаринова / ГЭТУ. Гл.I. СПб, 1997. С. 11 - 17.

Лекция 5. Суждение § 1. Общая характеристика суждения. Простые суждения, их структура и виды

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

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

Различают простые и сложные суждения. Полная структура простого суждения включает четыре элемента: два термина суждения - субъект (S) - понятие, отражающее сам предмет мысли, то, о чем что-то говорится, и предикат (P) - понятие, отражающее то, что именно говорится о предмете (его свойство или соотношение с другими объектами); связку (в языковой форме выражается словами “есть \ не есть”, “суть \ не суть”, “является\ не является” и т. п., либо вообще только подразумевается), отражающую наличие \ отсутствие определенной связи субъекта и предиката; квантор (всеобщности () - “все”, “каждый”, “ни один ... не” (“все ... не”) и т. п.; существования () - “некоторые”, “многие”, “часть” и т. п.; единственности существования (!) - “этот”, “данный” и т. п.), отражающий количественную характеристику суждения. Символически структура простого суждения выражается формулой: (К) S - P, где <К> - некоторый квантор, а <-> - связка. Если квантор отсутствует в явном виде, то суждение формально неопределенно по количеству, хотя эту характеристику обычно можно установить по смыслу. В суждениях существования отсутствует предикат, хотя формально таковым можно считать связку или квантор существования, отражающие “свойство существовать”, например, “Бог есть” (!S), “Существуют жидкие в обычных условиях металлы” (S). Сложное суждение - это суждение, имеющее в своем составе более одного субъекта или предиката. Его можно рассматривать как утверждение определенных логических связей (выражаемых логическими союзами) между входящими в его состав простыми суждениями.

Простые суждения подразделяются по качеству на утвердительные и отрицательные, а по количеству на единичные (субъект - единичное понятие), общие (субъект - общее понятие и рассматривается во всем своем объеме) и частные (субъект - общее понятие, но суждение утверждает нечто определенно лишь об элементах некоторого подмножества его объема). В зависимости от интерпретации квантора “некоторые” в частных суждениях различаются суждения неопределенно-частные, в которых “некоторые” означает “некоторые, а может быть и все” (именно так мы будем понимать квантор “некоторые” и, соответственно, частные суждения, если не сделано специальных оговорок), и определенно-частные, в которых “некоторые” означает “некоторые, но не все” - “только некоторые”. Иногда выделяющий оператор “только” указывается перед квантором определенно-частных суждений в явном виде .

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

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

Значение выделяющих и исключающих суждений состоит в том, что содержащиеся в них мысли не допускают их неоднозначного понимания. Именно поэтому ряд научных положений, а также законов государства, статей Конституции, уголовно-процессуального и других кодексов выражен в этой логической форме.

По характеру предиката - признаку, имеющему качественный характер - различают суждения атрибутивные, отражающие связь между предметом и его свойством, например, “Лист зеленый”; релятивные (с отношением), отражающие в качестве характеристики предмета мысли определенные его отношения с другими объектами, например, “Москва больше Праги”; экзистенциальные (существования), отражающие лишь сам факт существования или несуществования предмета мысли, например, “Бог есть”.

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