1. Общая характеристика имени. Принципы теории именования
2. Общая характеристика понятия. Структура понятия. Категории и их роль в познании
3. Операции определения и деления понятий. Основные ошибки в определении и делении понятий. Виды определений и делений понятий и их значение в науке и практике
Общая характеристика имени. Принципы теории именования
Имя -- это слово или словосочетание, обозначающее какой-либо предмет. Поскольку имя является знаком, оно имеет значение или смысл (или то и другое). Значение имени -- это предмет, обозначаемый этим именем. Другие названия значе¬ния имени -- денотат, десигнат, номинат. Смысл (или концепт) -- это информация о предметах, которую выражает имя и которая позволяет однозначно выделять предметы, являющиеся значениями имени.
Различают имена двух типов. Имя первого типа обозначает один предмет. Имя второго типа является общим для предметов некоторого класса. Имена первого типа называют еди¬ничными, а второго -- общими. Примеры единичных имен: Луна, столица России, автор романа «Война и мир». Примеры общих имен: животное, имеющее мягкие мочки ушей, капиталистическое государство, ученик. Таким образом, значением единичного имени является единственный предмет. Значения общего имени -- это предметы некоторого класса, содержащего более одного элемента. Класс, который составляют предметы, являющиеся значениями имени, называется объемом имени. Объем единичного имени -- класс, состоящий из одного предмета.
В классе общих имен выделяют универсальные, т.е. такие общие имена, объемом которых является весь универсум рассуждения. Пример: «человек, знающий некоторые иностранные языки или не знающий ни одного иностранного языка». Здесь универсум рассуждения -- множество (всех) людей. Объем имени -- то же самое множество. Имя «человек, знающий какие-то иностранные языки», не универсальное, поскольку его объем не совпадает с множеством (всех) людей. Универсум рассуждения определяется контекстом, в котором употребляется имя.
Могут быть имена с разными смыслами и одним и тем же объемом (пример: «самый большой город Англии» и «столица Англии»), но не может быть имен с одним и тем же смыслом, но разными объемами.
Имена могут обозначать предметы, не существующие в универсуме рассуждения. Такие имена являются мнимыми. Примеры: «русалка», «самая удаленная точка Вселенной». Эти имена являются мнимыми, если универсум рассуждения составляют предметы, существующие в объективной реальности.
Имена, значениями которых являются предметы, входящие в универсум рассуждения, называют действительными.
Теория именования-- теория, развитая Г. Фреге для семантического анализа формального языка арифметики, пригодного для построения теоретической арифметики, но применяемая как самим Фреге, так и рядом его последователей и для анализа естественного языка.
В основе теории лежит метод отношения именования -- деление всех языковых выражений на имена и функции. Имена понимаются как знаки, обозначающие (именующие) объекты. В роли имен могут выступать как отдельные слова, так и определенные словосочетания, а также целые предложения. Объекты, обозначаемые именами, принято называть денотатами, номинатами или значениями имен (подробнее см. Имя).
На раннем этапе теория Г. Фреге имела характер двухплоскостной семантики (имя -- денотат); в ее основе лежали следующие принципы (формулировка и название принципов принадлежат не самому Г. Фреге, а позднейшим исследователям):
1. Принцип предметности. Каждое выражение, используемое в качестве имени, употребляется для обозначения какого-либо объекта, причем отличного отданного имени.
2. Принцип однозначности. Каждое выражение, употребленное в качестве имени, является именем только одного объекта.
3. Принцип экстенсиональной композиции. Денотат сложного имени, в состав которого входят другие имена, зависит от денотатов имен, входящих в состав данного сложного.
4. Принцип взаимозаменимости. Денотат сложного имени не изменится, если входящее в его состав имя заменить на имя с денонатом, тождественным денотату заменяемого имени. Этот принцип можно рассматривать как выводимый из трех первых.
Современные искусственные формализованные языки и их семантика изначально строятся в соответствии с этими принципами. По отношению же к выражениям естественного языка теория именования оказывается неадекватной, поскольку здесь может нарушаться каждый из ее принципов. Во-первых, на что обратил внимание еще Аристотель, существуют пустые или мнимые имена, не имеющие денотатов в реальной действительности («Пегас», «самая удаленная точка Вселенной» и т. п.), нарушающие принцип предметности. Во-вторых, в естественном языке существуют многозначные имена (омонимы), нарушающие принцип однозначности, что, однако, не приводит к коллизиям, поскольку в естественном языке многозначность имен чаще всего устраняется за счет контекста использования. Наконец, в-третьих, имена в естественном языке, будучи языковыми выражениями, могут употребляться и автонимно, т. е. для самообозначения.
Наибольшее внимание исследователей привлекли случаи нарушения принципа взаимозаменимости (замены равного равным); они получили название антиномий отношения именования. Факт их существования был вполне очевиден уже для самого Фреге. С целью устранения этих антиномий и для решения проблемы тождества он ввел понятие «смысл имени» и его семантика стала трехплоскостной: «имя -- смысл имени -- денотат». Смыслом имени Г. Фреге называл способ задания значения (денотата), иначе говоря, смысл имени -- эта та информация о денотате, которая содержится в самом имени. Об имени говорится, что оно обозначает (именует) свой денотат, но выражает свой смысл. Мысль, выраженную предложением, Г. Фреге называл смыслом этого предложения.
Смысл и значение как объективные сущности Г. Фреге противопоставлял представлению как субъективному образу предмета, который индивидуален для каждого познающего субъекта. Хотя смысл имени -- это объективная сущность, одно и то же имя, напр. «Аристотель», может, как отмечал Фреге, ассоциироваться у различных людей с различной информацией о денотате этого имени. Так, один человек может знать, что Аристотель -- это учитель Александра Македонского, родившийся в Стагире, другой -- что это ученик Платона и учитель Александра Македонского. Подобного рода колебания смысла в естественном языке являются, по мнению Фреге, допустимыми.
Два различных имени могут иметь тождественные денотаты, но обладать при этом различными смыслами (напр., имена «Утренняя звезда» и «Вечерняя звезда»), все имена, имеющие тождественные смыслы, обладают тождественными денотатами.
В трехплоскостной семантике действительны принципы, аналогичные принципам двухплоскостной:
1. Принцип интенсиональности. Любое используемое имя выражает смысл.
2. Принцип интенсиональной однозначности. Каждое выражение, используемое в качестве имени, выражает только один смысл.
3. Принцип интенсиональной композиции. Смысл сложного имени, в состав которого входят другие имена, зависит от смыслов имен, входящих в состав данного сложного.
4. Принцип интенсиональной взаимозаменимости. Смысл сложного имени не изменится, если входящее в его состав имя заменить на имя со смыслом, тождественным смыслу заменяемого имени.
Эти принципы (как и в случае двухплоскостной семантики) скорее можно оценить как требования к искусственному языку, но всего лишь как пожелания по отношению к естественному: «В совершенной совокупности знаков каждому выражению должен соответствовать лишь один определенный смысл, однако естественные языки далеко не всегда удовлетворяют этому требованию и приходится довольствоваться тем, чтобы хотя бы на протяжении одного рассуждения слово всегда имело один и тот же смысл» (Фреге Г. Смысл и значение, с. 27). Г. Фреге отмечает два способа использования или вхождения в текст имен: прямое и косвенное. При косвенном вхождении значением имени является не то, что было его обычным денотатом, а то, что было его смыслом при прямом вхождении. Он опирается при этом на наблюдения за естественным языком, где в предложениях с косвенной речью придаточное предложение передает именно смысл выражения, а не его значение.
Введение понятия смысла позволило устранить некоторые из нарушений отмеченных выше принципов, но породило ряд новых проблем. Так, если допустить, вслед за Фреге, что в неэкстенсиональных контекстах имена имеют косвенное вхождение, то это приводит (как заметил Р. Карнап) к неограниченному росту смыслов: когда то, что было смыслом имени при его прямом вхождении, становится денотатом при косвенном вхождении, имя должно получить новый смысл (согласно принципу интенсиональности); тогда, при вхождении этого косвенного контекста еще в один косвенный контекст, новый смысл этого имени опять становится денотатом, а имя должно приобрести еше один смысл и т. д. Во-первых, это ведет к дурной бесконечности, а во-вторых -- не понятна природа этих новых смыслов.
Значительные трудности вызвала и проблема смысла сингулярных терминов, которые в настоящее время принято называть именами-ярлыками. Сингулярные термины делятся на две группы: это имена-ярлыки типа «Москва», «Луна» и дескриптивные (описательные) имена типа «естественный спутник Земли», «самый большой город России». Традиционно считается, что именами-ярлыками являются простые имена, состоящие из одного слова, а дескриптивными -- сложные, состоящие из нескольких слов. Однако более существенным является способ приписывания имени денотату дескриптивное имя несет определенную информацию о денотате, а имяярлык -- нет. В естественных языках наблюдаются случаи, когда сложное дескриптивное имя утрачивает свой дескриптивный характер и по способу приписывания превращается в имя-ярлык, напр., когда информация, содержащаяся в имени, перестает соответствовать свойствам денотата. Так, мост в Париже, называемый «Новый мост», является в настоящее время самым старым мостом в городе.
Имена-ярлыки можно оценить как условные знаки, используемые по соглашению для обозначения соответствующих денотатов. Следовательно, они или вообще не обладают смыслом, или их смысл состоит только в том, что они используются для обозначения данных денотатов. Допустим, что такие имена вообще не обладают смыслом, но это не соответствует принципу интенсиональности, по которому у каждого имени должен быть смысл. Кроме того, при этом возникает проблема относительно принципа интенсиональной композиции: так как смысл сложного имени зависит от смыслов составляющих, то при вхождении в состав сложного имени имени-ярлыка, смысл сложного имени должен зависеть от отсутствующего смысла имени-ярлыка. Теперь допустим, что смыслом имен-ярлыков является (как предлагал А. Чёрч) то, что такие имена обозначают свой денотат, тогда все имена-ярлыки, имеющие тождественные денотаты, окажутся именами с различными смыслами, и, следовательно, не взаимозаменимыми в косвенных (неэкстенсиональных) контекстах.
Понимая смысл имени как способ задания значения, Г. Фреге не уточнил условия тождества смыслов. Только в «Письме к Гуссерлю» он заметил, что если тождество денотатов двух имен следует из «чисто логических законов», то эти имена имеют тождественный смысл. Этот критерий может эффективно работать для искусственных языков с заданными семантическими правилами, но мало пригоден для естественного языка.
Именования теория получила всеобщее признание как первый фундаментальный метод семантического анализа языка в современной логике; присущие ей недостатки стали стимулом для разработки более точных методов: такую попытку предприняли Р. Карнап, предложив метод экстенсионала и интенсионала, И Р. Монтегю, строя интенсиональную логику и прагматику и др. Понятие смысла получило дальнейшую экспликацию через понятие интенсионала и интенсиональности.
Имя (в логике)
Имя
в логике, выражение языка, обозначающее предмет (собственное, или единичное, имя) или множество (класс) предметов (общее имя); при этом предмет понимается в широком смысле - как всё, что мы можем назвать. Среди собственных имён различают имена отдельных предметов («Пушкин», «автор ⌠Тита Андроника■») и имена классов (например, «человечество» как собственное И. класса всех людей); последние следует отличать от общих имён (например, «человек»): имена классов применимы к классу в целом как к одному предмету, но не к каждому отдельному его элементу, тогда как общие имена приложимы к каждому элементу соответствующего класса, но не к классу в целом. Различают простые, или элементарные, имена, т. е. имена, не состоящие из других имён или иных осмысленных выражений языка, и сложные имена - имена, построенные из осмысленных частей (И.
«человечество» - простое, а И. «современное человечество» - сложное). В формализованных языках
аналогом собственного имени является константа; собственным именам предметов соответствуют так называемые индивидные константы, собственным именам классов - классовые константы; аналогами общего имени являются переменная и терм. Собственные имена в формализованных языках подразделяются на исходные собственные имена, которым приписываются определённые значения, и (сложные) имена, построенные из исходных (т. е. имена, строение которых отражает тот способ, которым они обозначают предмет).
Имена и связанные с ними отношения (прежде всего отношение между именем и тем предметом, который И. обозначает, - отношение обозначения, или именования) изучаются в логической семантике
. В ней рассматривается, в частности, так называемый семантический треугольник - отношения между тремя объектами: именем, смыслом имени и обозначаемым (множеством обозначаемых).
Лит.:
Чёрч А., Введение в математическую логику, пер. с англ., М., 1960; Робинсон А., Введение в теорию моделей и метаматематику алгебры, пер. с англ., М., 1967; Карри Х. Б., Основания математической логики, пер. с англ., М., 1969; Нагель Э., Ньюмен Д., Теорема Гёделя, пер. с англ., М., 1970; Tarski A., Logic, semantics, metamathematics, Oxf., 1956; Carnap R., The logical syntax of language, Paterson (N. J.), 1959; Martin R. M., Truth and denotation, a study in semantical theory, L., 1958.
Большая советская энциклопедия. - М.: Советская энциклопедия . 1969-1978 .
Смотреть что такое "Имя (в логике)" в других словарях:
ИМЯ, в логике языковой знак (выражение), называющий индивидуальный предмет (собственное имя) или любой предмет из некоторого класса (общее имя). Предметом имени (его денотатом (см. ДЕНОТАТ)) может быть вещь, свойство, отношение и т. п … Энциклопедический словарь
Выражение языка, которое может использоваться в качестве подлежащего или именной части сказуемого в простом предложении «S есть Р» (или: «... есть...»). Напр., выражения «Гарвей», «Менделеев» и «человек, открывший кровообращение» являются И.,… … Философская энциклопедия
В логике языковой знак (выражение), называющий индивидуальный предмет (собственное имя) или любой предмет из некоторого класса (общее имя). Предметом имени (его денотатом) может быть вещь, свойство, отношение и т. п … Большой Энциклопедический словарь
Имя - Имя слово, реже сочетание слов, называющее, именующее вещь или человека. Отличительные черты имени как типа слов связаны также с особенностями процесса именования (см. Номинация), приводящего к имени, и с ролью имени в предложении.… … Лингвистический энциклопедический словарь
Имени; мн. имена, имён, именам; ср. 1. Личное название человека, даваемое ему при рождении. Собственное и. Его и. Иван. Назвать по имени. Звать по имени кого л. Дать ребёнку и. Пётр. Полное и. (официальная форма имени). Моё полное и. Надежда, а… … Энциклопедический словарь
I Имя в логике, выражение языка, обозначающее предмет (собственное, или единичное, имя) или множество (класс) предметов (общее имя); при этом предмет понимается в широком смысле как всё, что мы можем назвать. Среди собственных имён… … Большая советская энциклопедия
имя - 1. (грам.) Одна из основных частей речи, наряду с глаголом. Имена обозначают предметы и их постоянные признаки. В связи с этим они делятся на: 1) существительные 2) прилагательные. Особую, лексически замкнутую группу образуют имена числительные,… … Словарь лингвистических терминов Т.В. Жеребило
Выражение естественного или искусственного, формализованного языка, обозначающее отдельный предмет, совокупность сходных предметов, свойства, отношения и т. п. Напр., слово Наполеон обозначает отдельный предмет Наполеона Бонапарта; слово… … Словарь терминов логики
- (от лат. implicatio сплетение, от implico тесно связываю) логическая связка, соответствующая грамматической конструкции «если.., то...», с помощью которой из двух простых высказываний образуется сложное высказывание. В импликативном высказывании… … Философская энциклопедия
А; м. [от лат. denotatis обозначенный] Лингв. Предмет мысли, отражающий предмет или явление объективной действительности и образующий то понятийное содержание, с которым соотносится данная языковая единица. ◁ Денотатный, ая, ое. Денотативный, ая … Энциклопедический словарь
Книги
- F1, или Книга доказательств. Теорема Шекспира как лемма авторства , Пешков Игорь Валентинович , Книга посвящена проблеме авторства произведений Шекспира и проблеме зарождения литературного авторства в целом. И. В. Пешков ставит шекспировский вопрос в рамки строго научной методологии и… Серия: Парадоксы и доказательства Издатель: Рипол-Классик ,
- Колдовской Мир. Трое против Колдовского Мира (комплект из 2 книг) , Нортон А. , Андре Нортон (род. в 1912 г.), настоящее имя - Элис Мэри Нортон - старейшая современная американская писательница - фантаст, автор около 180 романов в этом жанре. «Колдовской Мир» - один из… Серия:
Знаете ли Вы,
что такое мысленный эксперимент, gedanken experiment?Это несуществующая практика, потусторонний опыт, воображение того, чего нет на самом деле. Мысленные эксперименты подобны снам наяву. Они рождают чудовищ. В отличие от физического эксперимента, который является опытной проверкой гипотез, "мысленный эксперимент" фокуснически подменяет экспериментальную проверку желаемыми, не проверенными на практике выводами, манипулируя логикообразными построениями, реально нарушающими саму логику путем использования недоказанных посылок в качестве доказанных, то есть путем подмены. Таким образом, основной задачей заявителей "мысленных экспериментов" является обман слушателя или читателя путем замены настоящего физического эксперимента его "куклой" - фиктивными рассуждениями под честное слово без самой физической проверки.
Заполнение физики воображаемыми, "мысленными экспериментами" привело к возникновению абсурдной сюрреалистической, спутанно-запутанной картины мира. Настоящий исследователь должен отличать такие "фантики" от настоящих ценностей.
Релятивисты и позитивисты утверждают, что "мысленный эксперимент" весьма полезный интрумент для проверки теорий (также возникающих в нашем уме) на непротиворечивость. В этом они обманывают людей, так как любая проверка может осуществляться только независимым от объекта проверки источником. Сам заявитель гипотезы не может быть проверкой своего же заявления, так как причина самого этого заявления есть отсутствие видимых для заявителя противоречий в заявлении.
Это мы видим на примере СТО и ОТО, превратившихся в своеобразный вид религии, управляющей наукой и общественным мнением. Никакое количество фактов, противоречащих им, не может преодолеть формулу Эйнштейна: "Если факт не соответствует теории - измените факт" (В другом варианте " - Факт не соответствует теории? - Тем хуже для факта").
Максимально, на что может претендовать "мысленный эксперимент" - это только на внутреннюю непротиворечивость гипотезы в рамках собственной, часто отнюдь не истинной логики заявителя. Соответсвие практике это не проверяет. Настоящая проверка может состояться только в действительном физическом эксперименте.
Эксперимент на то и эксперимент, что он есть не изощрение мысли, а проверка мысли. Непротиворечивая внутри себя мысль не может сама себя проверить. Это доказано Куртом Гёделем.
Вопросы по курсу «ЛОГИКА» (зачет)
1. Предмет логики как науки. Логическая форма (структура) мысли.
2. Формализация как средство выявления логической формы.
3. Общая характеристика и язык логики высказываний.
4. Ошибки в мышлении. Их классификация.
5. Понятие «высказывание». Виды высказываний. Язык логики высказываний.
6. Виды сложных высказываний. Значение логических союзов.
7. Табличный способ определения логических законов.
8. Элементарные законы логики: закон тождества, закон противоречия, закон исключенного третьего.
9. Логическая характеристика имени: объем и содержание.
11. Объем имени. Виды имен по объему.
12. Отношения между именами. Круги Эйлера как средство анализа отношений между объемами имен.
13. Ограничение и обобщение имени.
14. Деление как логическая операция. Структура деления.
15. Виды деления (логическое, аналитическое).
16. Правила логического деления. Ошибки при делении.
17. Определение как логическая операция. Структура определения.
18. Правила определения и возможные ошибки при их нарушении.
19. Структура и виды атрибутивных высказываний.
20. Распределенность терминов в атрибутивных высказываниях.
21. Отношения между атрибутивными высказываниями. Логический квадрат.
22. Непосредственные силлогистические выводы: превращение (обверсия), обращение (конверсия), противопоставление предикату (частичная контрапозиция).
23. Основное правило непосредственных силлогистических выводов.
24. Структура простого категорического силлогизма.
25. Общие правила простого категорического силлогизма.
27. Энтимема. Процедура восстановления энтимемы до полного силлогизма.
28. Аргументация: её структура, виды и правила.
29. Ошибки в аргументации.
30. Логические требования к созданию научного текста.
Составитель: доцент кафедры
философии культуры, к.ф.н., доцент Малая Н.В.
ЛОГИКА. Предмет логики как науки
Логическая схема – это та её сторона, которая не зависит от конкретного содержания, но служит для связи, упорядочения и преобразования его элементов.
Виды логических схем. Рассуждения правильные, рискованные и абсурдные.
Логический закон - схема, которая при любом содержании принимает только истинные значения, а соответствующее ей рассуждение – правильное.
Выполнимая схема - логическая схема, которая при одних подстановках преобразуется в истинные, а при других в ложные выражения, а соответствующее ему рассуждение – рискованное .
Противоречивая схема - логическая схема, которая при любой подстановке преобразуется в ложные выражения, а соответствующее ему рассуждение - абсурдное .
Соотношение правильности и истинности
Мысль истинна, если она соответствует действительности. Правильность характеризует мысль с точки зрения внутренней связи между её элементами. Соблюдение правильности при истинных исходных данных всегда ведет к истинным результатам.
Познавательные ошибки в рассуждениях
Познавательные ошибки, связанные с неверными представлениями о действительном положении дел, называются содержательными.
Ошибки, связанные с нарушениями правильности мышления, называются формальными, или логическими. Они делятся на паралогизмы и софизмы.
Паралогизм – это непреднамеренная логическая погрешность. Софизм – преднамеренное нарушение требований логики, прием интеллектуального мошенничества, связанный с попыткой выдать ложь за истину, или наоборот.
РАЗДЕЛ 1. ВЫСКАЗЫВАНИЯ
Общая характеристика логики высказываний
Высказывание - языковое выражение, о котором можно сказать только одно из двух: истинно оно или ложно.
Высказывания (как и соответствующие им схемы построения) делятся на простые и сложные. Сложное высказывание можно разбить на простые. Простое высказывание на более простые не расчленяется. При построении схем в качестве переменных для простых высказываний обычно используются строчные буквы латинского алфавита: p,q,r,s,… ; для любых же (иногда нам безразлично, простое это высказывание или сложное) - прописные буквы этого алфавита: A,B,C,D, ...
Схема высказывания принимает логическое значение – «истинно» или «ложно».
Логическое значение сложной схемы высказывания в современной логике ставится в зависимость (является функцией) от логических значений простых схем.
Определения важнейших схем логики высказываний
Сложные высказывания и соответствующие им схемы образуются с помощью особых выражений, которые называются функторами (отрицание, конъюнкция, дизъюнкция (слабая и сильная), импликация, эквиваленция). Сложную схему принято называть именем функтора, с помощью которого оно образовано, т.е. если, например, схема образуется с помощью конъюнкции, то и сама она называется конъюнкцией.
Отрицанием A называется схема, обозначаемая выражением ØA (читается: «не-A», «неверно, что A»), которая принимает значение «истинно», если и только если A принимает значение «ложно». Данное определение можно выразить с помощью следующей таблицы (таблицы истинности), где «и» обозначает «истинно», а «л» – «ложно»:
Таблица 1
Конъюнкция A и B - схема, обозначаемая выражением AÙB, которая принимает значение «истинно», если и только если значение «истинно» принимает как A , так и B (см. 3-й столбец табл. 2). Выражение A Ù B читается: «A и B ».
Таблица 2
Дизъюнкция слабая А и В - схема, обозначаемая выражением AÚB, которая принимает значение «истинно», если и только если значение «истинно» принимает хотя бы одно из A и B (см. 4-й столбец табл. 2). Выражение A ÚB читается: «A или B ».
Дизъюнкциия сильная А и В - схема, обозначаемая выражением AÚ B, которая принимает значение «истинно», если и только если значение «истинно» принимает лишь одно из A и B (см. столбец 5-й табл. 2). Выражение A Ú B читается: «либо A, либо B ».
Импликация A и B - схема, обозначаемая выражением A®B, которая принимает значение «ложно», если и только если A принимает значение «истинно», а B – значение «ложно» (см. 6-й столбец табл. 2). Выражение A ®B читается: «Если A , то B ».
Эквиваленция A и B – схема, обозначаемая выражением A«B, которая принимает значение «истинно», если и только если логические значения A и B совпадают (см. 7-й столбец табл. 2). Выражение A «B читается: «A тогда и только тогда, когда B ».
Алфавит логики высказываний включает символы:
1.p , q , r , s , … – символы, которые обозначают переменные для простых высказываний; A, B, C, D, … - символы, которые обозначают переменные для любых высказываний;
2.Ù, Ú, Ú, ®, «, Ø - символы для обозначения логических союзов;
3.(,) – скобки как указатели совершения логических действий.
Никаких других символов в логике высказываний нет.
Осмысленное выражение языка логики высказываний определяется следующим образом:
1.Всякая переменная есть осмысленное выражение;
2.Если А – осмысленное выражение, то ØA, A Ù B, A Ú B, A Ú B, A®B, A«B - тоже осмысленные выражения;
3.Никаких других осмысленных выражений в логике высказываний нет.
Законы логики высказываний
Для выявления форм, являющихся логическими законами, можно воспользоваться таблицами истинности. Схема, порождающая только истинные сложные высказывания, является ЛОГИЧЕСКИМ ЗАКОНОМ .
Наиболее простыми законами логики высказываний являются законы, которые можно выразить с помощью одной переменной – закон исключенного третьего, закон противоречия, закон тождества, закон удаления двойного отрицания, введения двойного отрицания и др.
Закон исключенного третьего – схема A ÚØA – два отрицающих друг друга высказывания не являются вместе ложными, выполняется одна из возможностей: если ложно одно из этих высказываний, то истинно его отрицание, а что-либо третье исключено .
Закон противоречия - схема Ø(A Ù ØA ) - два отрицающих друг друга высказывания не являются вместе истинными, одно их них ложно .
Закон тождества – схема A «A – всякое высказывание является эквивалентным (тождественным) самому себе , следовательно, в правильном рассуждении оно согласуется с самим собой .
Закон удаления двойного отрицания – схема ØØA ®A - отрицание дважды некоторого высказывание образует его утверждение.
Закон введения двойного отрицания – схема A ® ØØA - утверждение некоторого высказывание образует его двойное отрицание. Справедливость рассмотренных законов с одной переменной легко проверяется табличным способом (см. таблицу 5).
Таблица 5
РАЗДЕЛ 2. ИМЕНА
Основные характеристики имени
Имя - выражение языка, обозначающеё отдельный предмет или множество, совокупность предметов.
Множество (совокупность, класс) предметов, обозначаемых именем, называется объёмом имени. Отдельные предметы, входящие в объём имени, называются элементами объёма имени. Подклассы объёма имени называются частями объёма .
Признаки, составляющие содержание имени, могут быть родовыми, видовыми и индивидуальными. Если мы в пределах какого-то достаточно широкого класса объектов выделяем более узкий класс объектов, то признаки, выделяющие более широкий класс, будут считаться родовыми , а признаки, выделяющие более узкий класс, - видовыми . Индивидуальными признаками являются такие, которые однозначно выделяют данный единичный объект.
Основным содержанием имени можно называть ту минимальную часть его содержания, из которого в той теории, к которой относится имя, логически выводимо все остальное содержание имени (которое в таком случае называется производным ). Совокупность же основного и производного содержаний имени является его полным содержанием.
ВИДЫ ИМЕН
Если в объём имени входит только один предмет, то такое имя называют единичным.
Общее имя - это имя, в объём которого входит более одного элемента. Класс, являющийся объёмом общего имени, называют значением этого имени.
Особой разновидностью общих имен являются универсальные имена, или универсумы . Ими фиксируются все классы объектов, все элементы, исследуемые в той или иной области познания. Имена, входящие в один и тот же универсум, называются родственными .
Нулевые (пустые) имена в самом общем виде определяются как имена, объём которых не содержит ни одного элемента. Класс, не содержащий ни одного элемента, называют нулевым, или пустым.
Различают также имена описательные и собственные . Описательные имена обозначают объекты, указывая их соответствующие признаки. Собственные имена обозначают объекты путем непосредственной соотнесенности с ними, в силу того, что в культуре человеческого сообщества сложились определенные традиции, нормы именования.
Важно различать собирательные и несобирательные имена. Несобирательным называется такое имя, каждый элемент объёма которого представляет собой нечто единое, целостное. Собирательным называется такое имя, каждый элемент которого является совокупностью, собранием, объединением каких-то объектов.
Выделяют положительных и отрицательных имен. Оно базируется на том, что объекты можно охарактеризовать как по наличию, так и по отсутствию у предметов некоторых свойств. Положительным считается имя, в содержании которого указываются свойства, присущие объектам. Отрицательным считается имя, в содержании которого указываются свойства, отсутствующие у предметов.
Наконец, укажем деление имен на чёткие и нечёткие. Если имя таково, что относительно любого предмета можно точно, однозначно решить, входит или не входит этот предмет в объём данного имени, то это имя называют четким (точным, определенным) по объёму (напр., рациональное число, натуральное хозяйство, уголовная ответственность). В противном случае имя считается нечетким (неопределенным, расплывчатым, размытым, неточным) по объёму (напр., дорогой товар, молодой человек, приятная внешность).
ОТНОШЕНИЕ СОВМЕСТИМОСТИ
Имена считаются совместимыми если их объёмы хотя бы частично совпадают, т.е. эти объёмы имеют общие элементы.
Виды совместимых имён:
1) Равнообъёмными (равнозначными) считаются имена, объёмы которых полностью совпадают (рис.1). При отношении равнообъёмности имен A иB каждый предмет, обозначенный именем A ,может бытьобозначен именем B , и наоборот.
2) Имена находятся в отношении подчинения , если объём одного полностью включается в объём другого, но не совпадает с ним. При этом включающеё имя называется подчиняющим, или родовым, а включенное – подчиненным, или видовым. Если имя A подчиняется имени B (рис.2), то все признаки B присущи содержанию имени A , и каждый предмет, обозначаемый именем A , может обозначаться именем B (но не наоборот).
3) Пересекающимися (перекрещивающимися ) являются такие имена, объёмы которых лишь частично входят друг в друга. При этом некоторые предметы, обозначаемые именем A , могут обозначаться именем B, и наоборот. Если имена A и B находятся в отношении пересечения (рис.3), то предметы, входящие одновременно в объёмы имен A и B , то есть находящиеся на пересечении этих объёмов, обладают одними и теми же признаками.
Отношения между родственными именами.
Отношение несовместимости
При отношении несовместимости в содержании одного из имен указываются признаки, исключающие признаки содержания другого имени.
Виды несовместимых имён:
1) Противоречащими называются два несовместимых имени, видовое содержание одного из которых (т.е. совокупность его видовых признаков) является отрицанием видового содержания другого. Такие имена полностью исчерпывают объём третьего, подчиняющего их имени (рис.4).
2) Внеположенными называются такие несовместимые имена, объёмы которых в сумме составляют часть объёма некоторого подчиняющего (родового) имени. Поскольку A и B , будучи внеположенными, одновременно подчинены С , постольку их называют также соподчиненными относительно С (рис. 5).
3) Противоположными называют имена, содержания которых выражают какие-либо крайние характеристики в некотором упорядоченном ряду постепенно меняющихся свойств (рис. 6).
Обобщение и ограничение как операции с именами
Обобщение объема A ‑ логическая операция, в результате которой образуется имя с объемом B , содержащим в себе объем A . Иными словами, обобщить имя A ‑ значит образовать такое другое имя B (род), которое подчиняло бы себе имя A (вид). Пределом обобщения в каждом конкретном случае выступает некое универсальное имя.
Ограничение ‑ логическая операция, обратная обобщению. Она состоит в нахождении имени с объемом B , который содержится в объеме A . Ограничить объем A ‑ значит найти такое другое имя B (вид), которое находилось бы в отношении подчинения к A (роду). Пределом ограничения выступают имена, объемы которых равны одному предмету (единичные имена).
Особой разновидностью ограничения является выделение типа, или типизация . Тип ‑ это имя, которому однородные предметы соответствуют в той или иной мере. Если некоторые предметы составляют объем имени A и среди них есть такие, что безусловно (т.е. со степенью, равной 1) принадлежат к объему B , а другие обладают этим свойством в некоторой (меньшей 1) степени, то имя с объемом B представляет собой тип.
Присоединение к объему А новых предметов, тождественных со старыми по некоторому признаку, называется логической операцией расширения объема A .
Операция, обратная расширению, т. е. удаление из объема A предметов, которые тождественны с оставшимися по некоторым признакам, называется локализацией объема имени A .
Логические операции с объёмами имен не следует смешивать с мысленными переходами от части к целому и, наоборот, от целого к части. Специфика последних наиболее отчетливо выявляется при их сопоставлении с операциями обобщения и ограничения.
ОПЕРАЦИЯ ДЕЛЕНИЯ
Деление логическое – это логическая операция, посредством которой объём имени (род) распределяется по классам (видам).
Деление аналитическое – это операция, связанная с мысленным вычленением в целом его частей. Эти операции не следует смешивать.
Деление может быть классическим или неклассическим. При классическом делении как род, так и виды – имена с четким объёмом, при неклассическом они представляют собой нечеткие, расплывчатые имена, или типы.
Классическое логическое деление состоит в нахождении для имени A таких имен A 1 , A 2 , ..., A n (n – конечное число), что:
а) каждый из объёмов A 1 , A 2 , ... , A n находится в отношении подчинения к объёму A );
б) сумма объёмов A 1 , A 2 , ... , A n равна объёму A ;
в) каждая пара объёмов A 1 , A 2 , ... , A n связана отношением несовместимости. При этом имя A называется делимым именем , а A 1 , A 2 , ... , A n – членами деления .
Возможно, что в качестве основания деления выступает признак, присущий лишь части предметов некоторого класса. В таком случае предметы делятся на те, которые этим признаком обладают, и те, которые им не обладают. Такое деление называется дихотомическим (греч. dicho – на две части, tome – сечение). В отличие от него деление по признаку, которым обладают все предметы рода и который варьируется в видах, называется политомическим греч. polis– много).
Отличие деления от расчленения базируется на различном характере отношений "целое – часть" и "род – вид".
ПРАВИЛА ДЕЛЕНИЯ
1. Правило адекватности. Деление должно быть соразмерным. Это означает, что в случае деления каждый из объёмов A 1 , A 2 , ... , A n должен быть видом объёма A, и сумма A 1 , A 2 , ... , A n должна исчерпывать весь объём A ;в случае расчленениямысленное соединение частей должно быть равно целому . Отступление от этого правила ведет к ошибкам, наиболее известные из которых: "деление с лишними членами ", когда некоторый из объёмов (частей) A 1 , A 2 , ... , A n не является видом A (не входит как часть в целое А ); "неполное деление ", когда не все виды (части) делимого рода (целого) названы, и сумма объёмов членов деления меньше объёма делимого имени.
2. Правило разграниченности . Члены деления (расчленения) должны исключать друг друга , т.е. их объёмы не должны иметь общих элементов в случае классического деления, и части не должны перекрывать друг друга в случае расчленения.
3. Правило единственности основания . Деление должно производиться по одному основанию . При выполнении этого правила предметы, входящие в объём делимого имени, наделяются одним единственным признаком – тем, который выступает в качестве основания деления. Отступление от этого правила ведет к погрешности, которая называется смешением оснований.
Вместо термина "деление" иногда в качестве синонима используется термин "классификация". Классификация в узком смысле (именно в этом смысле мы будем использовать данный термин в дальнейшем) - это многоступенчатое, разветвленное деление, такое, что каждый из членов, полученный в процессе этой операции, становится предметом дальнейшего деления.
Соответственно классическому и неклассическому делению следует различать классическую и неклассическую классификацию. Последняя называется типологией .
За многоступенчатым и разветвленным расчленением пока что простого и однозначного термина не закрепилось. Эту операцию можно назвать иерархизацией .
Классификация и иерархизация подчиняются всем правилам деления. Кроме того, они имеют свои особые правила.
1. Правило последовательности . В случае классификации следует от рода переходить к ближайшим видам, а в случае иерархизации – от целого к его частям одного и того же уровня, не пропуская их. При нарушении этого правила допускаемая погрешность – «скачком в классификации (иерархизации) ».
2. Правило существенности основания . Классификация (иерархизация) должна производиться по существенным признакам. Критерием существенности того или иного признака является способность обладающего им предмета служить средством решения поставленной задачи.
Частным случаем расчленения является периодизация .Её особенностью является, во-первых, указание на развитие отображаемого предмета во времени. Во-вторых, члены расчленения (периоды) отличаются своей мерой как единством качественных и количественных характеристик предмета.
ОПРЕДЕЛЕНИЕ, ИЛИ ДЕФИНИЦИЯ (ОБЩАЯ ХАРАКТЕРИСТИКА)
В логике различают прежде всего два разных смысла термина "определение". Во-первых, под определением понимается операция, позволяющая выделить некоторый предмет среди других предметов, однозначно отличить его от них . Это достигается путем указания на признак, присущий этому, и только этому, предмету. Такой признак называется отличительным (специфическим). Как мы поступаем, например, если требуется выделить квадраты из класса прямоугольников? Мы указываем на признак, присущий квадратам и не присущий другим прямоугольникам, – на равенство их сторон.
Во-вторых, определением называют логическую операцию, дающую возможность раскрыть, уточнить или сформировать смысл одних языковых выражений с помощью других языковых выражений . Так, если человек не знает, что означает слово "вершок", ему разъясняют, что вершок – это древняя мера длины, равная 4,4 см. Поскольку человеку заранее известно, что такое "древняя мера длины, равная 4,4 см", постольку для него становится ясным и понятным смысл слова "вершок".
Определение, дающеё отличительную характеристику некоторого предмета, называется реальным. Определение, раскрывающеё, уточняющеё или формирующеё смысл одних языковых выражений с помощью других, называется номинальным .
Прием установления значения языкового выражения путем его непосредственного соотнесения с обозначаемым предметом или его образом называется остенсивным определением.
В структуре определения выделяется три части:
1) определяемое имя или выражение, его содержащеё (обозначается знаком Dfd – сокращением от лат. definiendum);
2) выражение, раскрывающеё, уточняющеё или формирующеё значение определяемого имени (обозначается знаком Dfn - сокращением лат. definiens);
3) дефинитивная связка, соотносящая Dfd и Dfn по их значению (обозначается знаком º).
Формально структура определения представляется выражением: Dfd º Dfn.
ПРАВИЛА ОПРЕДЕЛЕНИЯ
1. Правило соразмерности . Dfd и Dfn должны быть равнообъёмны .
Отклонение от правила соразмерности приводит к ошибкам:
1) «слишком широкое определение» - объём Dfn больше объёма Dfd;
2) «слишком узкое определение» - объём Dfn меньше объёма Dfd;
3) «одновременно слишком широкое и слишком узкое определение» - объёмы Dfd и Dfn находятся в отношении пересечения.
4) определение через пустое имя - Dfd и Dfn оказываются несовместимыми.
2. Правило запрета порочного круга . Запрещается Dfd определять через Dfn, который, в свою очередь, определен через Dfd . Допускаемое при этом нарушение называется "порочный круг в определении ". Частным случаем "порочного круга" является тавтология – повторение Dfd и Dfn (хотя бы и в иной словесной форме) без установления значения Dfd.
3. Правило однозначности. Каждому Dfn в точности должен соответствовать один единственный Dfd, и наоборот. Это правило устраняет явления синонимии и омонимии, запрещает использование метафор, художественных образов.
4. Правило простоты. Dfn должен выражаться описательным именем, характеризующим определяемые предметы лишь своими основными признаками. В противном случае определение будет избыточным. В классических определениях это правило выполняется при условии, если: а) входящий в Dfn род является ближайшим по отношению к Dfd, т.е. таким, что никакое другое имя, подчиненное роду и подчиняющеё Dfd, ранее не определено; б) в Dfn отсутствуют выражения, находящиеся в отношении следования (подчинения).
5. Правило компетентности. В Dfn могут входить лишь выражения, значения которых уже приняты или ранее определены. Отклонение от этого правила называется "определением неизвестного через неизвестное".
СОКРАЩЕННЫЕ СИЛЛОГИЗМЫ
Для интеллектуально-речевой деятельности используются выражения с пропущенными, но подразумеваемыми частями. К таким выражениям относятся энтимемы (от греч. en time – в уме), – сокращенные силлогизмы, в которых опускается одна из посылок или заключение.
Методика восстановления и оценки энтимемы на её состоятельность состоит из следующих шагов:
1.Энтимема записывается в стандартном виде: имеющиеся посылки помещаются над чертой, заключение – под ней.
2.В соответствии с принятой классификацией устанавливается разновидность данного вывода (это может быть категорический силлогизм, условный силлогизм и пр.).
3.В соответствии с определениями посылок и заключения устанавливается, какая из частей вывода является подразумеваемой.
4.С использованием определений и правил, характерных для данного класса выводов, восстанавливается недостающая часть вывода.
5.Производится анализ связей между посылками и заключением на соответствие логическим правилам. Нарушение хотя бы одного из правил свидетельствует о наличии формальной ошибки в энтимеме.
6.Производится анализ восстановленной посылки на соответствие действительному положению дел. Её ложность означает наличие содержательной ошибки в энтимеме.
РАЗДЕЛ 4. АРГУМЕНТАЦИЯ
ПРАВДОПОДОБНАЯ АРГУМЕНТАЦИЯ
Важнейшее свойство ДЕДУКТИВНОЙ АРГУМЕНТАЦИИ (правильных выводов) – наличие отношения следования между посылками и заключениями, вследствие чего истинность посылок гарантирует истинность заключений. Для правдоподобной аргументации (правдоподобных выводов) характерно отсутствие этого отношения, и истинность посылок не гарантирует, но и не исключает истинности заключений, делает ее возможной, правдоподобной. Важнейшими разновидностями правдоподобной аргументации являются аналогия, индукция и абдукция
АНАЛОГИЯ
Аналогия – это вид аргументации, характеризующийся переносом признака, присущего одному предмету, на другой, подобный первому, предмет.
Аналогия строится по следующей схеме:
S 1 есть P 1 , P 2 , P 3 , ... , P n-1 , P n .
S 2 есть P 1 , P 2 , P 3 , ... , P n-1
S 2 есть P n
Здесь S 1 и S 2 – имена сопоставляемых предметов, P 1 , P 2 , P 3 , ... , P n -1 – имена признаков, общих для предметов S 1 и S 2 , P n – имя признака, принадлежащего предмету S 1 и переносимого на предмет S 2 . Разрывная черта указывает на правдоподобность вывода.
Предмет, признак которого переносится на другой предмет, называется моделью ; предмет, на который переносится признак другого предмета, называется прототипом . Наряду с термином «прототип» употребляются также термины «оригинал», «образец» и др.
Хрестоматийным примером вывода по аналогии является рассуждение о возможности жизни на Марсе. Сторонники этой гипотезы обращают внимание на то, что между Землей (S 1) и Марсом (S 2) много общего: это две расположенные рядом планеты Солнечной системы (P 1), здесь и там есть вода (P 2), атмосфера (P 3), на поверхностях этих планет приблизительно одинаковая температура (P 4) и т.д. Но на Земле есть жизнь (P n). Поэтому вполне правдоподобно, что и на Марсе есть жизнь (P n).
Аргументация по аналогии находят широкое применение в самых разнообразных сферах человеческой деятельности – в науке, искусстве, повседневной жизни. В частности, мыслительные схемы, выработанные в процессе многовековой практики человечества, мы переносим на рассуждения с самым разнообразным содержанием. Решение любой задачи связано с тем, что используются методы и средства, оправдавшие себя при решении других задач. Происхождение многих загадочных явлений природы находит свое объяснение по аналогии с теми предметами, сущность которых уже известна. Басни, сказки, притчи, пословицы, поговорки имеют прототипы в повседневной жизни. Благодаря аналогии открывается простор для творческой фантазии, осуществляется выход человеческой мысли в такие сферы, где связи с реальным миром могут оборваться. В ряде случаев аналогия лежит в основе интуитивных познавательных процессов.
ИНДУКЦИЯ
Особого рассмотрения заслуживает разновидность аргументации - индукция. В истории логики и методологии науки она обычно противопоставлялась дедукции и наряду с ней, в отличие от других логических форм аргументации, получила широкую известность.
Индукция (от лат. inductio – наведение) – форма обоснования, при которой заключение (тезис) получается путем обобщения сведений, содержащихся в посылках (аргументах).
В простейшем случае, а именно, когда посылка и заключение являются атрибутивными высказываниями, схема индуктивного вывода принимает следующий вид:
S 1 есть P
S 2 есть P
S n есть P
S 1, S 2,...… S n суть S
Все S суть P
Пример:
Медь – хороший проводник электричества.
Алюминий – хороший проводник электричества.
Железо – хороший проводник электричества.
Свинец – хороший проводник электричества.
Золото – хороший проводник электричества.
Медь, алюминий, железо, свинец, золото – металлы
Все металлы – хорошие проводники электричества
На правдоподобный характер этой аргументации указывает тот факт, что из заключения, имеющего форму «Все S суть P », и посылки формы «S 1 , S 2 , ..., S n суть P » вытекает каждая из остальных посылок: «S 1 есть P », «S 2 есть P » и т.д. Но это редукция особого рода: здесь заключение обобщает единичные факты, принадлежащие к одному и тому же классу предметов.
Бывают случаи, когда обобщающее заключение (тезис) принимается на основе высказываний, охватывающих все отдельные случаи принадлежности признака предметам некоторого класса. Такая индукция называется полной . Когда, например, учитель, сделав перекличку своих учеников и убедившись, что каждый из них присутствует на уроке, с удовлетворением замечает, что все его ученики явились на урок, то он рассуждает в соответствии с принципом полной индукции. В прочих случаях индукция называется неполной .
При полной индукции заключение (тезис) с необходимостью вытекает из посылок. Поэтому ее правомерно считать дедуктивным выводом. (Не случайно полную индукцию иногда называют индуктивным силлогизмом.)
Неполная индукция подразделяется на простую и научную. Для простой индукции характерен чисто формальный подход, когда обобщение делается на основе первых попавшихся, а следовательно, случайных фактов. Поэтому существует реальная опасность ложного заключения. Так, созерцая животный мир, можно обнаружить следующие сходные факты:
У человека нижняя челюсть является подвижной.
У лошади – то же самое.
У гуся – то же самое.
У щуки – то же самое.
У змеи – то же самое.
Эти факты, на основании знания о том, что человек, лошадь, гусь, щука, змея – позвоночные животные, «наводят» на заключение:
Все позвоночные животные имеют подвижную нижнюю челюсть.
Однако вероятность истинности этого заключения оказывается равной нулю, ибо есть факты, противоречащие ему. Например, у крокодила подвижной является не нижняя, а верхняя челюсть.
Научная индукция опирается в своих посылках не на всякие, а на существенные признаки рассматриваемого класса предметов . Выявление таких признаков требует целенаправленного отбора посылок в соответствии с выработанными в науке методами и критериями. Зайдя в церковь и увидев большую массу молящихся людей, легко поддаться внушению и сделать вывод о сплошной религиозности населения данной местности. Но такого рода обобщения по первому впечатлению противоречат научному подходу. Чтобы исследовать степень религиозности населения в некоторой местности, ученый-социолог проведет большую подготовительную работу: выделит различные группы людей, распределив их по роду занятий, образованию, возрасту, месту проживания и т.д., установит количественные отношения между ними, тщательно сформулирует и отберет анкетные вопросы, подвергнет статистической обработке полученные ответы и т.д. Таким образом, посылки научной индукции – это не просто какие-то случайные сведения, а данные опыта с дополнительными признаками, позволяющими вскрыть существенное в изучаемом предмете – некоторую закономерную связь. Ясно, что в случае научной индукции степень вероятности заключения значительно выше, чем при простой индукции.
Имена – необходимое средство познания и общения. Обозначая предметы и их совокупности, имена связывают язык с реальным миром.
Имена естественны и привычны, как те вещи, с которыми они связаны. Настолько естественны, что когда-то они казались принадлежащими самим вещам, подобно цвету, тяжести и другим свойствам.
Первобытные люди рассматривали свои имена как нечто конкретное, реальное и часто священное. Психолог Л.Леви-Брюль, создавший в начале этого века концепцию первобытного мышления, считал такое отношение к именам важным фактором, подтверждающим мистический и внелогический характер мышления наших предков. Он указывал, в частности, что «индеец рассматривает своё имя не как простой ярлык, но как отдельную часть своей личности, как нечто вроде своих глаз или зубов. Он верит, что от злонамеренного употребления его имени он так же верно будет страдать, как от раны, нанесённой какой-нибудь части его тела. Это верование встречается у разных племён от Атлантического до Тихого океана». На побережье Западной Африки «существуют верования в реальную и физическую связь между человеком и его именем; можно ранить человека, пользуясь его именем… Настоящее имя царя является тайным…»
Эти наивные представления об именах как свойствах вещей удивительно живучи. Астроном В.Воронцов-Вельяминов вспоминает, например, что на популярных лекциях слушатели не раз задавали ему вопрос: «Мы допускаем, то можно измерить и узнать размеры, расстояние и температуру небесных тел; но как, скажите, узнали вы названия небесных светил?»
Ответ на такой вопрос прост. Астрономы узнают имена открытых ими небесных тел так же, как родители узнают имена своих детей – давая им эти имена. Но сам факт подобного вопроса показывает, что иллюзия «приклеенности», «привинченности» имён к вещам нуждается в специальном объяснении.
Роль имён в языке настолько велика и заметна, что иногда даже в науке о языке придание имён вещам считается едва ли не единственной задачей языка. Связь языка с миром представляется при этом как какое-то развешивание имён-ярлыков. В частности, существует и пользуется известностью логическая теория, явно склонная видеть среди выражений языка по преимуществу одни имена. Даже предложения оказываются для неё не описаниями каких-то ситуаций или требованиями каких-то действий, а только именами особых «абстрактных предметов» – истины и лжи.
Исследованием имён как одного из основных понятий и естественных и формализованных языков занимаются все науки, изучающие язык. И прежде всего логика, для которой имя – одна из основных семантических категорий.
В разных научных дисциплинах под именем понимаются разные, а порой и несовместимые вещи. Логика затратила немало усилий на прояснение того, что представляет собой имя и каким принципам подчиняется операция именования, или обозначения. Нигде, пожалуй, имена не трактуются так всесторонне, глубоко и последовательно, как в логических исследованиях.
В общем случае имя – это выражение языка, обозначающее отдельный предмет, совокупность сходных предметов, свойства, отношения и т.п.
Например, слово «Цезарь» обозначает отдельный предмет – первого римского императора Цезаря; слово «учёный» обозначает класс людей, каждый из которых занят научными исследованиями; слово «чёрный» может рассматриваться как обозначение свойства черноты; слово «дальше» – как обозначение определённого отношения между предметами и т.п.
Имя можно определить по его роли в структуре предложения. Выражение языка является именем, если оно может использоваться в качестве подлежащего или именной части сказуемого в простом предложении «S есть Р» (S – подлежащее, Р – сказуемое). Скажем, «Амундсен», «Скотт» и «человек, открывший Южный полюс» – это имена, поскольку подстановка их вместо букв S и Р даёт осмысленные предложения: «Амундсен есть человек, открывший Южный полюс», «Скотт есть человек, открывший Южный полюс» и т.п.
Имена различаются между собой в зависимости от того, сколько предметов они означают. Единичные имена обозначают один и только один предмет. Общие имена обозначают более чем один предмет. Единичным именем является к примеру слово «Солнце», обозначающее единственную звезду в Солнечной системе. Единичным является и имя «естественный спутник Земли», поскольку оно обозначает Луну, являющуюся единственным таким спутником Земли. К общим относятся имена «человек», «женщина», «школьник» и т.п. Все эти имена связаны с множествами, или классами, предметов. При этом имя относится не к множеству как единому целому, а к каждому входящему в него предмету. Слово «человек» обозначает не всех людей вместе, а каждого в отдельности, о ком можно сказать: «Это человек». В отличие от понятия «человек», слово «человечество» не общее, а единичное имя: объект, который можно назвать «человечеством», всего один. Слово «галактика» является общим именем, поскольку во Вселенной есть, помимо нашей Галактики, и другие галактики. Слово же «Вселенная» – единичное имя, так как Вселенная является единственной.
Среди общих имён особое значение имеют понятия .
Понятие представляет собой общее имя с относительно ясным и устойчивым содержанием, используемое в обычном языке или в языке науки.
Понятиями являются, к примеру, «дом», «квадрат», «молекула», «кислород», «атом», «любовь», «бесконечный ряд» и т.п. Отчётливой границы между теми именами, которые можно назвать понятиями, и теми, которые не относятся к понятиям, не существует. «Атом» уже с античности является достаточно оформившимся понятием, в то время как «кислород» и «молекула» до XVIII в. вряд ли могли быть отнесены к понятиям.
Имя «понятие» широко используется и в повседневном, и в научном языке. Однако в истолковании содержания этого имени единства мнений нет. В одних случаях под «понятиями» имеют в виду все имена, включая и единичные. К понятиям относят не только «столицу» и «европейскую реку», но и «столицу Белоруссии» и «самую большую реку Европы». В других случаях понятия понимаются как общие имена, отражающие предметы и явления в их существенных признаках. Иногда понятие отождествляется с содержанием общего имени, со смыслом, стоящим за таким именем.
Далее под понятиями понимаются все общие имена, для которых имеется какое-то определение или содержание которых является относительно ясным. Слово «понятие» будет использоваться, таким образом, в своём обычном или близком к обычному смысле, а не в качестве специального логического термина.
Имена можно разделить также на пустые , или беспредметные, и непустые . Пустое имя не обозначает ни одного реально существующего предмета. Имя, не являющееся пустым, отсылает хотя бы к одному реальному объекту. К пустым относятся, к примеру, имена «Зевс», «Пегас», «кентавр», «русалка», «нимфа», созданные мифологией и обозначающие вымышленных, отсутствующих в реальном мире существ. Пустыми являются также имена «идеальный газ», «абсолютно чёрное тело», «идеально упругое тело», «несжимаемая жидкость», «точка», «линия», «материальная точка», используемые в физике и математике и обозначающие не реально существующие, а идеализированные предметы. Пустое имя может отсылать к одному единственному несуществующему предмету («король, правивший во Франции в начале этого века», дед Мороз, Снегурочка и т.п.) или к двум и более таким предметам (леший, домовой, гном и т.п.).
Имена подразделяются далее на конкретные и абстрактные . Конкретное имя обозначает физические тела или живые существа. Абстрактное имя обозначает объекты, не являющиеся индивидами. К конкретным относятся, например, имена «стол», «тетрадь», «лес», «звезда», «ангел», «речной вокзал», «Казань» и т.п. Абстрактными являются имена свойств, отношений, классов, чисел и т.п.: слово «чёрный» может рассматриваться как обозначение свойства «черноты», слово «ближе» как обозначение определённого отношения между предметами и т.п. Абстрактными являются также имена «человечность», «справедливость», «законность» и т.п.
2. Отношения между именами
К примеру, склероз – это, как известно, уплотнение каких-либо органов, вызванное гибелью специфических для этих органов элементов и заменой их соединительной тканью. Перечисленные свойства составляют содержание имени «склероз». Они позволяют в относительно любой ситуации решить, можно ли назвать происшедшие в органе изменения склерозом или нет. Содержание имени «стул» составляют свойства «быть предметом мебели, предназначенным для сидения» и «иметь ножки, сидение и спинку». Этими свойствами, относящимися к функциям стула и его строению, обладает каждый стул и не обладает ничто иное. Если изъять из числа структурных частей стула, скажем, спинку, получим содержание уже иного имени («табурет»). В содержание имени «стол» входят признаки «быть предметом мебели, предназначенным для сидения за ним» и «иметь ножки и крышку».
Объём имени – это совокупность, или класс, тех предметов, которые обладают признаками, входящими в содержание имени.
Например, в объём имени «склероз» входят все случаи склеротического изменения органов, в частности склероз мозга. Объём имени «стул» включает все стулья, объём имени «стол» – все столы. Нетрудно заметить, что объёмы даже таких простых имён, как «стул» и «стол», являются неопределёнными, размытыми, а значит, сами эти имена относятся к неточным. Входит ли стул или стол, который только задумал сделать столяр, в объём имени «стул» или «стол»? В «Ревизоре» Н.Гоголя упоминается учитель, который, рассказывая об Александре Македонском, так горячился, что ломал стулья. Входят ли эти поломанные стулья в объём имени «стул»? На эти и подобные вопросы трудно ответить однозначно.
Понимание имени как того, что имеет определённый объём и определённое содержание, широко распространено в логике. Нетрудно заметить, что это понимание существенно отличается от употребления понятия «имя» в обычном языке. Имя в обычном смысле – это всегда или почти всегда собственное имя, принадлежащее индивидуальному, единственному в своём роде предмету. Например, слово «Наполеон» является в обычном словоупотреблении типичным именем. Но уже выражения «победитель под Аустерлицем» и «побеждённый под Ватерлоо» к именам обычно не относятся. Тем более не относятся к ним такие типичные с точки зрения логики имена, как «квадрат», «человек», «самый высокий человек» и т.п. Во всяком случае, если бы кто-то на вопрос о своём имени ответил: «Моё имя – человек», вряд ли такой ответ считался бы уместным. И даже ответ: «Моё имя – самый высокий человек в мире» – не показался бы удачным.
То, что логика заметно расширяет обычное употребление слова «имя», объясняется многими причинами, и прежде всего её стремлением к предельной общности своих рассуждений.
Имена находятся в различных отношениях друг к другу. Между объёмами двух произвольных имён, которые есть какой-то смысл сопоставлять друг с другом, имеет место одно и только одно из следующих отношений: равнозначность, пересечение, подчинение (два варианта) и исключение .
Равнозначными являются два имени, объёмы которых полностью совпадают . Иными словами, равнозначные имена отсылают к одному и тому же классу предметов, но делают это разными способами.
Равнозначны, к примеру, имена «квадрат» и «равносторонний прямоугольник»: каждый квадрат является равносторонним прямоугольником, и наоборот.
Равнозначность означает совпадение объёмов двух имён, но не их содержаний. Например, объёмы имён «сын» и «внук» совпадают (каждый сын есть чей-то внук и каждый внук – чей-то сын), но содержания их различны.
Отношения между объёмами имён можно геометрически наглядно представить с помощью круговых схем. Они называются по имени математика XVIII в. Л.Эйлера «кругами Эйлера». Каждая точка круга представляет один предмет, входящий в объём рассматриваемого имени. Точки вне круга представляют предметы, не подпадающие под это имя.
Отношение между двумя равнозначными именами изображается в виде двух полностью совпадающих кругов.
Равнозначность
В отношении пересечения находятся два имени, объёмы которых частично совпадают.
Пересекаются, в частности, объёмы имён «лётчик» и «космонавт»: некоторые лётчики являются космонавтами (они представлены заштрихованной частью кругов), есть лётчики, не являющиеся космонавтами, и есть космонавты, не являющиеся лётчиками.
Пересечение
В отношении подчинения находятся имена, объём одного из которых полностью входит в объём другого.
В отношении подчинения находятся, к примеру, имена «треугольник» и «прямоугольный треугольник»: каждый прямоугольный треугольник является треугольником, но не каждый треугольник прямоугольный.
Подчинение
В этом же отношении находятся имена «дедушка» и «внук»: каждый дедушка есть чей-то внук, но не каждый внук является дедушкой. «Внук» – подчиняющее имя, «дедушка» – подчинённое.
Если в отношении подчинения находятся общие имена, то подчиняющее имя называется родом , а подчинённое – видом . Имя «треугольник» есть род для вида «прямоугольный треугольник», а имя «внук» – род для вида «дедушка».
В отношении исключения находятся имена, объёмы которых полностью исключают друг друга.
Исключают друг друга имена «трапеция» и «пятиугольник», «человек» и «планета», «белое» и «красное» и т.п.
Исключение
Можно выделить два вида исключения:
1. Исключающие объёмы дополняют друг друга так, что в сумме дают весь объём рода, видами которого они являются. Имена, объёмы которых исключают друг друга, исчерпывая объём родового понятия, называются противоречащими .
Противоречащими являются, например, имена «умелый» и «неумелый», «стойкий» и «нестойкий», «красивый» и «некрасивый» и т.п. Противоречат друг другу также имена «простое число» и «число, не являющееся простым», исчерпывающие объём родового имени «натуральное число», имена «красный» и «не являющийся красным», исчерпывающие объём родового имени «предмет, имеющий цвет», и т.п.
2. Исключающие имена составляют в сумме только часть объёма того рода, видами которого они являются. Имена, объёмы которых исключают друг друга, не исчерпывая объём родового имени, называются противоположными .
Противоречащие имена Противоположные имена
К противоположным относятся, в частности, имена «простое число» и «чётное число», не исчерпывающие объёма родового имени «натуральное число», имена «красный» и «белый», не исчерпывающие объёма родового имени «предмет, имеющий цвет» и т.п.
Круговые схемы могут применяться для одновременного представления объёмных отношений более, чем двух имён. Такова, к примеру, приводимая на рисунке схема, представляющая отношения между объёмами имён: «планета» (S) , «планета Солнечной системы» (P ), «Земля» (M ), «спутник» (L) , «искусственный спутник» (N) , «Луна» (O ) и «небесное тело» (C) . Согласно этой схеме существуют, в частности, небесные тела, не являющиеся ни планетами, ни их спутниками, планеты, не входящие в Солнечную систему, спутники, не являющиеся искусственными, и т.д. Объёмы единичных имён представляются точками.
3. Определение
Определение – логическая операция, раскрывающая содержание имени. Определить имя – значит указать, какие признаки входят в его содержание.
Определяя, например, манометр, мы указываем, что это, во-первых, прибор, и во-вторых, именно тот, с помощью которого измеряется давление. Давая определение имени «графомания», мы говорим, что это болезненное пристрастие к писанию, к многословному, пустому, бесполезному сочинительству.
Важность определений подчёркивал ещё Сократ, говоривший, что он продолжает дело своей матери, акушерки, и помогает родиться истине в споре. Анализируя вместе со своими оппонентами различные случаи употребления конкретного понятия, он стремился прийти в конце концов к его прояснению и определению.
Определение решает две задачи. Оно отличает и отграничивает определяемый предмет от всех иных. Скажем, определение манометра позволяет однозначно отграничить манометры от всех предметов, не являющихся приборами, и отделить манометры по присущим только им признакам от всех иных приборов. Далее, определение раскрывает сущность определяемых предметов, указывает те их основные признаки, без которых они не способны существовать и от которых в значительной мере зависят все иные их признаки.
С этой второй задачей как раз и связаны основные трудности определения конкретных имён.
Дать хорошее определение – значит раскрыть сущность определяемого объекта. Но сущность, как правило, не лежит на поверхности. Кроме того, за сущностью первого уровня всегда скрывается более глубокая сущность второго уровня, за той – сущность третьего уровня и так до бесконечности. Эта возможность неограниченного углубления в сущность даже простого объекта делает понятными те трудности, которые встают на пути определения, и объясняет, почему определения, казалось бы, одних и тех же вещей меняются с течением времени. Углубление знаний об этих вещах ведёт к изменению представлений об их сущности, а значит, и их определений.
Необходимо также учитывать известную относительность сущности: существенное для одной цели может оказаться второстепенным с точки зрения другой цели.
Скажем, в геометрии для доказательства разных теорем могут Использоваться разные, не совпадающие между собой определения понятия «линия». И вряд ли можно сказать, что одно из них раскрывает более глубокую сущность этого понятия, чем все остальные.
Писатель И.Рат-Вег в своей «Комедии книги» упоминает некоего старого автора, чрезвычайно не любившего театр. Отношение к театру этот автор считал настолько важным, что определял через него все остальное. Рай, писал он, это место, где нет театра; дьявол – изобретатель театра и танцев; короли – люди, которым особенно позорно ходить в театр и покровительствовать актёрам, и т.п. Разумеется, эти определения поверхностны со всех точек зрения. Со всех, кроме одной: тому, кто всерьёз считает театр источником всех зол и бед, существующих в мире, определения могут казаться схватывающими суть дела.
Определение может быть более глубоким и менее глубоким, и его глубина зависит прежде всего от уровня знаний об определяемом предмете. Чем лучше, глубже мы знаем предмет, тем больше вероятность, что нам удастся найти хорошее его определение.
Конкретные формы, в которых практически реализуется операция определения, чрезвычайно разнообразны.
Прежде всего нужно отметить различие между явными и неявными определениями.
Первые имеют форму равенства – совпадения двух имён (понятий). Общая схема таких определений: «S есть (по определению) Р ». Здесь S и Р – два имени, причём не имеет значения, выражается каждое из них одним словом или сочетанием слов. Явными являются, к примеру, определения: «Антигены – это чуждые для организма вещества, вызывающие в крови и других тканях образование „антител“» и «Пропедевтика есть введение в какую-либо науку». В последнем определении приравниваются друг другу, или отождествляются, два имени: «пропедевтика» и «введение в какую-либо науку».
Неявные определения не имеют формы равенства двух имён.,
Особый интерес среди неявных определений имеют контекстуальные и остенсивные определения.
Всякий отрывок текста, всякий контекст, в котором встречается интересующее нас имя, является в некотором смысле неявным его определением. Контекст ставит имя в связь с другими именами и тем самым косвенно раскрывает его содержание.
Допустим, нам не вполне ясно, что такое удаль. Можно взять текст, в котором встречается слово «удаль», и попытаться уяснить, что именно оно означает.
«Удаль. В этом слове, – пишет Ф.Искандер, – ясно слышится – даль. Удаль – это такая отвага, которая требует для своего проявления пространства, дали.
В слове „мужество“ – суровая необходимость, взвешенность наших действий, точнее, даже противодействий. Мужество от ума, от мужчинства. Мужчина, обдумав и осознав, что в тех или иных обстоятельствах жизни, защищая справедливость, необходимо проявить высокую стойкость, проявляет эту высокую стойкость, мужество. Мужество ограничено целью, цель продиктована совестью.
Удаль, безусловно, предполагает риск собственной жизнью, храбрость.
Но, вглядевшись в понятие „удаль“, мы чувствуем, что это неполноценная храбрость. В ней есть самонакачка, опьянение. Если бы устраивались состязания по мужеству, то удаль на эти соревнования нельзя было бы допускать, ибо удаль пришла бы, хватив допинга.
Удаль требует пространства, воздух пространства накачивает искусственной смелостью, пьянит. Опьянённому жизнь – копейка. Удаль – это паника, бегущая вперёд. Удаль рубит налево и направо. Удаль – возможность рубить, все время удаляясь от места, где уже лежат порубленные тобой, чтобы не задумываться: а правильно ли я рубил?
А все-таки красивое слово: удаль! Утоляет тоску по безмыслию».
В этом отрывке отсутствует явное определение удали. Но можно хорошо понять, что представляет собой удаль и как она связана с отвагой и мужеством.
В «Словаре русского языка» С.И.Ожегова «охота» определяется как «поиски, выслеживание зверей, птиц с целью умерщвления или ловли». Это определение звучит сухо и отрешённо. Оно никак не связано с горячими спорами о том, в каких крайних случаях оправданно убивать или заточать в неволю зверей или птиц. В коротком стихотворении «Формула охоты» поэт В.Бурич так определяет охоту и своё отношение к ней:
Черта горизонта
Птицы в числителе
Рыбы в знаменателе
Умноженные на дробь выстрела
и переменный коэффициент удочки
дают произведение
доступное каждой посредственности.
Завзятый охотник может сказать, что эта образная характеристика охоты субъективна и чересчур эмоциональна. Но тем не менее она явно богаче и красками, и деталями, относящимися к механизму охоты, чем сухое словарное определение.
Контекстуальные определения всегда остаются в значительной мере неполными и неустойчивыми. Не ясно, насколько обширным должен быть контекст, познакомившись с которым, мы усвоим значение интересующего нас имени. Никак не определено также то, какие иные имена могут или должны входить в этот контекст. Вполне может оказаться, что ключевых слов, особо важных для раскрытия содержания имени, в избранном нами контексте как раз нет.
Почти все определения, с которыми мы встречаемся в обычной жизни, – это контекстуальные определения.
Услышав в разговоре неизвестное ранее слово, мы не уточняем его определение, а стараемся установить его значение на основе всего сказанного. Встретив в тексте на иностранном языке одно-два неизвестных слова, мы обычно не спешим обратиться к словарю, а пытаемся понять текст в целом и составить примерное представление о значениях неизвестных слов.
Никакой словарь не способен исчерпать всего богатства значений отдельных слов и всех оттенков этих значений. Слово познаётся и усваивается не на основе сухих и приблизительных словарных разъяснений. Употребление слов в живом и полнокровном языке, в многообразных связях с другими словами – вот источник полноценного знания как отдельных слов, так и языка в целом. Контекстуальные определения, какими бы несовершенными они ни казались, являются фундаментальной предпосылкой владения языком.
Остенсивные определения – это определения путём показа.
Нас просят объяснить, что представляет собой зебра. Мы, затрудняясь сделать это, ведём спрашивающего в зоопарк, подводим его к клетке с зеброй и показываем: «Это и есть зебра».
Определения такого типа напоминают обычные контекстуальные определения. Но контекстом здесь является не отрывок какого-то текста, а ситуация, в которой встречается объект, обозначаемый интересующим нас понятием. В случае с зеброй – это зоопарк, клетка, животное в клетке и т.д.
Остенсивные определения, как и контекстуальные, отличаются некоторой незавершённостью, неокончательностью.
Определение посредством показа не выделяет зебру из её окружения и не отделяет того, что является общим для всех зебр, от того, что характерно для данного конкретного их представителя. Единичное, индивидуальное слито в таком определении с общим, тем, что свойственно всем зебрам.
Остенсивные определения – и только они – связывают слова с вещами. Без них язык – только словесное кружево, лишённое объективного, предметного содержания.
Определить путём показа можно, конечно, не все имена, а только самые простые, самые конкретные. Можно предъявить стол и сказать: «Это – стол, и все вещи, похожие на него, тоже столы». Но нельзя показать и увидеть бесконечное, абстрактное, конкретное и т.п. Нет предмета, указав на который можно было бы заявить: «Это и есть то, что обозначается словом „конкретное“». Здесь нужно уже не остенсивное, а вербальное определение, т.е. чисто словесное определение, не предполагающее показа определяемого предмета.
В явных определениях отождествляются, приравниваются друг к другу два имени. Одно – определяемое имя, содержание которого требуется раскрыть, другое – определяющее имя, решающее эту задачу.
Обычное словарное определение гиперболы: «Гипербола – это стилистическая фигура, состоящая в образном преувеличении, например: „Наметали стог выше тучи“». Определяющая часть выражается словами «стилистическая фигура, состоящая…» и слагается из двух частей. Сначала понятие гиперболы подводится под более широкое понятие «стилистическая фигура». Затем гипербола отграничивается от всех других стилистических фигур. Это достигается указанием признака («образное преувеличение»), присущего только гиперболе и отсутствующего у иных стилистических фигур, с которыми можно было бы спутать гиперболу. Явное определение гиперболы дополняется примером.
Явные определения этого типа принято называть определениями через род и видовое отличие . Поскольку такие определения чрезвычайно распространены и являются как бы образцами определения вообще, их иногда называют также классическими определениями .
Общая схема классических определений: «S есть Р и М ». Здесь S – определяемое имя, Р – имя, более общее по отношению к S (род), М – такие признаки, которые выделяют предметы, обозначаемые именем S среди всех предметов, обозначаемых именем Р (вид).
Родо-видовое, или классическое, определение – одно из самых простых и распространённых определений. В словарях и энциклопедиях подавляющее большинство определений относится именно к этому типу. Иногда даже считают, что всякое определение является родо-видовым. Разумеется, это неверно.
К явным определениям и, в частности, к родо-видовым предъявляется ряд достаточно простых и очевидных требований. Их называют обычно правилами определения .
1. Определяемое и определяющее понятия должны быть взаимозаменяемы. Если в каком-то предложении встречается одно из этих понятий, всегда должна существовать возможность заменить его другим. При этом предложение, истинное до замены, должно остаться истинным и после неё.
Для определений через род и видовое отличие это правило формулируется как правило соразмерности определяемого и определяющего понятий: совокупности предметов, охватываемые ими, должны быть одними и теми же .
Соразмерны, например, имена «гомотипия» и «сходство симметричных органов» (скажем, правой и левой руки). Соразмерны также «голкипер» и «вратарь», «нонсенс» и «бессмыслица». Встретив в каком-то предложении имя «нонсенс», мы вправе заменить его на «бессмыслицу» и наоборот.
Если объём определяющего понятия шире, чем объём определяемого, говорят об ошибке слишком широкого определения . Такую ошибку мы допустили бы, определив, к примеру, ромб просто как плоский четырехугольник. В этом случае к ромбам оказались бы отнесёнными и трапеции, и все прямоугольники, а не только те, у которых равны все стороны.
Если объём определяющего понятия уже объёма определяемого, имеет место ошибка слишком узкого определения . Такую ошибку допускает, в частности, тот, кто определяет ромб как плоский четырехугольник, у которого все стороны и все углы равны. Ромб в этом случае отождествляется со своим частным случаем – квадратом, и из числа ромбов исключаются четырехугольники, у которых не все углы равны.
2. Нельзя определять имя через само себя или определять его через такое другое имя, которое, в свою очередь, определяется через него. Это правило запрещает порочный круг.
Содержат очевидный круг определения «Война есть война» и «Театр – это театр, а не кинотеатр». Задача определения – раскрыть содержание ранее неизвестного имени и сделать его известным. Определение, содержащее круг, разъясняет неизвестное через него же. В итоге неизвестное так и остаётся неизвестным. Истину можно, к примеру, определить как верное отражение действительности, но только при условии, что до этого верное отражение действительности не определялось как такое, которое даёт истину.
3. Определение должно быть ясным. Это означает, что в определяющей части могут использоваться только имена, известные и понятные тем, на кого рассчитано определение. Желательно также, чтобы в ней не встречались образы, метафоры, сравнения, т.е. все то, что не предполагает однозначного и ясного истолкования.
Можно определить, к примеру, пролегомены как пропедевтику. Но такое определение будет ясным лишь для тех, кто знает, что пропедевтика – это введение в какую-либо науку.
Не особенно ясны и такие определения, как «Дети – это цветы жизни», «Архитектура есть застывшая музыка», «Овал – круг в стеснённых обстоятельствах», и т.п. Они образны, иносказательны, ничего не говорят об определяемом предмете прямо и по существу, каждый человек может понимать их по-своему.
Ясность не является, конечно, абсолютной и неизменной характеристикой. Ясное для одного может оказаться не совсем понятным для другого и совершенно тёмным и невразумительным для третьего. Представления о ясности меняются и с углублением знаний. На первых порах изучения каких-то объектов даже не вполне совершённое их определение может быть воспринято как успех. Но в дальнейшем первоначальные определения начинают казаться все более туманными. Встаёт вопрос о замене их более ясными определениями, соответствующими новому, более высокому уровню знания.
Определение всегда существует в некотором контексте. Оно однозначно выделяет и отграничивает множество рассматриваемых вещей, но делает это только в отношении известного их окружения. Чтобы отграничить, надо знать не только то, что останется в пределах границы, но и то, что окажется вне её.
Интересно отметить, что наши обычные загадки представляют собой, в сущности, своеобразные определения. Формулировка загадки – это половина определения, его определяющая часть. Отгадка – вторая его половина, определяемая часть.
«Утром – на четырех ногах, днём – на двух, вечером – на трех. Что это?» Понятно, что это – человек в разные периоды своей жизни. Саму загадку можно переформулировать так, что она станет одним из возможных его определений.
Контекстуальный характер определений хорошо заметён на некоторых вопросах, подобных загадкам. Сформулированные для конкретного круга людей, они могут казаться странными или даже непонятными за его пределами.
Древний китайский буддист Дэн Инь-фэн однажды задал такую загадку. «Люди умирают сидя и лёжа, некоторые умирают даже стоя. А кто умер вниз головой?» – «Мы такого не знаем», – ответили ему. Тогда Дэн встал на голову и… умер.
Сейчас такого рода «загадка» кажется абсурдом. Но в то давнее время, когда жил Дэн, в атмосфере полемики с существующими обычаями и ритуалом его «загадка» и предложенная им «разгадка» показались вполне естественными. Во всяком случае его сестра, присутствовавшая при этом, заметила только: «Живой ты, Дэн, пренебрегал обычаями и правилами и вот теперь, будучи мёртвым, опять нарушаешь общественный порядок!»
4. Деление
Деление – это операция распределения на группы тех предметов, которые мыслятся в исходном имени.
Получаемые в результате деления группы называются членами деления . Признак, по которому производится деление, именуется
основанием деления . В каждом делении имеются, таким образом, делимое понятие, основание деления и члены деления.
Посредством операции деления раскрывается объём того или иного имени, выясняется, из каких подклассов состоит класс, соответствующий делимому имени.
Так, по строению листьев класс деревьев может быть подразделён на два подкласса: лиственные деревья и хвойные. По признаку величины угла все треугольники могут быть подразделены на остроугольные, прямоугольные и тупоугольные.
К операции деления приходится прибегать едва ли не в каждом рассуждении. Определяя имя, мы раскрываем его содержание, указываем признаки предметов, мыслимых в этом имени. Производя деление имени, мы даём обзор того круга предметов, который отображён в нем.
Важно уметь не только определять содержание имени, но и прослеживать те группы, из которых слагается класс предметов, обозначаемых именем.
Простой пример из энтомологии – науки о насекомых – ещё раз подтвердит эту мысль. На столе энтомолога коробочки с наколотыми на тонкие булавки маленькими мухами-серебрянками. Ножницами с иголочно-тонкими лезвиями учёный общипывает у этих мух «хвостики» и наклеивает на крошечные стекла. Зачем? В ряде случаев только по «хвостикам» – по особенностям строения отдельных органов – можно точно определить, к какому именно виду относится насекомое. А роспись насекомых по видам и определение территории их обитания важны не только для удовлетворения научной любознательности. Ведь иные из них – потенциальные переносчики ряда болезней, другие – вредители культурных растений, третьи – напротив, враги этих вредителей. Например, трихограммы – крошечные, в полмиллиметра длиной, родственники всем известных пчёл, шмелей и ос. Трихограммы широко применяются в биологической борьбе с вредителями урожая. Однако недавние исследования показали, что до последнего времени на биофабриках разводили не один вид этого насекомого, а «смесь» из трех видов. Но у каждого свои привязанности: один предпочитает поле, другой – сад, третий – огород. И в каждом случае лучше разводить именно тот вид, который подходит для местных условий.
Требования, предъявляемые к делению, достаточно просты.
1. Деление должно вестись только по одному основанию.
Это требование означает, что избранный вначале в качестве основания отдельный признак или совокупность признаков не следует в ходе деления подменять другими признаками.
Правильно, например, делить климат на холодный, умеренный и жаркий. Деление его на холодный, умеренный, жаркий, морской и континентальный будет уже неверным: вначале деление производилось по среднегодовой температуре, а затем – по новому основанию. Неверными являются деления людей на мужчин, женщин и детей; обуви – на мужскую, женскую и резиновую; веществ – на жидкие, твёрдые, газообразные и металлы и т.п.
2. Деление должно быть соразмерным, или исчерпывающим, т.е. сумма объёмов членов деления должна равняться объёму делимого понятия.
Это требование предостерегает против пропуска отдельных членов деления.
Ошибочными, неисчерпывающими будут, в частности, деление треугольников на остроугольные и прямоугольные (пропускаются тупоугольные треугольники); деление людей с точки зрения уровня образования на имеющих начальное, среднее и высшее образование (пропущены те, кто не имеет никакого образования); деление предложений на повествовательные и побудительные (пропущены вопросительные предложения).
3. Члены деления должны взаимно исключать друг друга.
Согласно этому правилу, каждый отдельный предмет должен находиться в объёме только одного видового понятия и не входить в объёмы других видовых понятий.
Нельзя, к примеру, разбивать все целые числа на такие классы: числа, кратные двум; числа, кратные трём; числа, кратные пяти, и т.д. Эти классы пересекаются, и, допустим, число 10 попадает и в первый и в третий классы, а число 6 – и в первый и во второй классы. Ошибочно и деление людей на тех, которые ходят в кино, и тех, которые ходят в театр: есть люди, которые ходят и в кино и в театр.
4. Деление должно быть непрерывным.
Это правило требует не делать скачков в делении, переходить от исходного понятия к однопорядковым видам, но не к подвидам одного из таких видов.
Например, правильно делить людей на мужчин и женщин, женщин – на живущих в Северном полушарии и живущих в Южном полушарии. Но неверно делить людей на мужчин, женщин Северного полушария и женщин Южного полушария. Среди позвоночных животных выделяются такие классы: рыбы, земноводные, рептилии (гады), птицы и млекопитающие. Каждый из этих классов делится на дальнейшие виды. Если же начать делить позвоночных на рыб, земноводных, а вместо указания рептилий перечислить все их виды, то это будет скачком в делении.
Можно заметить, что из третьего правила вытекает первое. Так, деление обуви на мужскую, женскую и детскую нарушает не только первое правило, но и третье: члены деления не исключают друг друга. Деление королей на наследственных, выборных и трефовых не согласуется опять-таки как с первым, так и с третьим правилом.
Частным случаем деления является дихотомия (буквально: разделение надвое). Дихотомическое деление опирается на крайний случай варьирования признака, являющегося основанием деления: с одной стороны, выделяются предметы, имеющие этот признак, с другой – не имеющие его.
В случае обычного деления люди могут подразделяться, к примеру, на мужчин и женщин, на детей и взрослых и т.п. При дихотомии множество людей разбивается на мужчин и «немужчин», детей и «недетей» и т.п.
Дихотомическое деление имеет свои определённые преимущества, но в общем-то оно является слишком жёстким и ригористичным. Оно отсекает одну половину делимого класса, оставляя её, в сущности, без всякой конкретной характеристики. Это удобно, если мы хотим сосредоточиться на одной из половин и не проявляем особого интереса к другой. Тогда можно назвать всех тех людей, которые не являются мужчинами, просто «немужчинами» и на этом закончить о них разговор. Далеко не всегда, однако, такое отвлечение от одной из частей целесообразно. Отсюда ограниченность использования дихотомий.
Обычные деления исторических романов – наглядный пример «делений надвое». Мир сегодняшней исторической романистики очень широк по спектру проблем, хронологических времён и мест действия, стилевых и композиционных форм, способов ведения рассказа.
Можно попытаться провести всеохватывающую классификацию исторических романов по одному основанию, но она неизбежно окажется сложной, не особенно ясной и, что главное, практически бесполезной. Текучесть «материи» романа на темы истории диктует особую манеру деления: не стремясь к единой классификации, дать серию в общем-то не связанных между собой дихотомических делений. «Есть романы-„биографии“ и романы-„эссе“, романы документальные и романы-„легенды“, „философии истории“, романы, концентрирующие узловые моменты жизни того или иного героя или народа, и романы, разворачивающиеся в пространные хроникально-циклические повествования, в которых есть и интенсивность внутреннего движения, и глубина, а вовсе не „растекание“ мысли». Эта характеристика «поля» исторического романа, взятая из литературоведческой работы, как раз тяготеет к серии дихотомий.
Дихотомические деления были особенно популярны в прошлом, в средние века. Это объяснялось, с одной стороны, ограниченностью и поверхностностью имевшихся в то время знаний, а с другой стороны – неуёмным стремлением охватить и упорядочить весь мир, включая и «внеземную» его часть, которая предполагалась существующей, но недоступной слабому человеческому уму.
Вот как делил, например, философ того времени Григорий Великий «все то, что есть»: «…Все, что есть, либо существует, но не живёт; либо существует и живёт, но не имеет ощущений; либо и существует, и живёт, и чувствует, но не понимает и не рассуждает; либо существует, живёт, чувствует, понимает и рассуждает. Камни ведь существуют, но не живут. Растения существуют, живут, однако не чувствуют… Животные существуют, живут и чувствуют, но не разумеют. Ангелы существуют, живут и чувствуют и, обладая разумением, рассуждают. Итак, человек, имея с камнями то общее, что он существует, с древесами – то, что живёт, с животными – то, что чувствует, с ангелами – то, что рассуждает, правильно обозначается именем вселенной…»
Здесь все делится сначала на существующее и несуществующее, затем существующее – на живущее и неживущее, живущее – на чувствующее и нечувствующее и, наконец, чувствующее – на рассуждающее и нерассуждающее. Эта классификация призвана показать, по замыслу автора, что человек имеет что-то общее со всеми видами существующих в мире вещей, а потому его справедливо называют «вселенной в миниатюре».
Для создания подобного рода делений нет, разумеется, никакой необходимости в конкретном исследовании каких-то объектов. А вывод – глобален: человек есть отражение всей вселенной и вершина всего земного. Однако научная ценность таких делений ничтожна.
Классификация – это многоступенчатое, разветвлённое деление.
Результатом классификации является система соподчинённых имён: делимое имя является родом, новые имена – видами, видами видов (подвидами) и т.д.
Наиболее сложные и совершённые классификации даёт наука, систематизирующая в них результаты предшествующего развития каких-либо областей знания и намечающая одновременно перспективу дальнейших исследований.
Пример из биологии показывает, какую несомненную пользу способна принести удачная классификация, объединяющая в одну группу животных, казавшихся ранее не связанными между собой.
«Среди современных животных, – пишет зоолог Д.Симпсон, – броненосцы, муравьеды и ленивцы столь не похожи друг на друга, их образ жизни и поведение настолько различны, что едва ли кому-нибудь пришло бы в голову без морфологического изучения объединить их в одну группу. Но было обнаружено, что в позвоночнике этих животных имеются дополнительные сочленения, из-за которых они получили имя „ксенантры“ – странно сочленённые млекопитающие».
После открытия необычных сочленений был тут же открыт целый ряд других сходных особенностей этих животных: сходное строение зубов, сходные конечности с хорошо развитыми когтями и очень большим когтем на третьем пальце передней конечности и т.д. «Сейчас никто не сомневается, – заключает Симпсон, – что ксенантры, несмотря на их значительное разнообразие, действительно образуют естественную группу и имеют единое происхождение. Вопрос о том, кто именно был их предком и когда и где он существовал, связан с большими сомнениями и ещё не разгаданными загадками…» Предпринятые тщательные поиски общего предка ксенантр позволили обнаружить их предположительных родичей в Южной Америке, Западной Европе.
Таким образом, объединение разных животных в одну группу систематизации позволило не только раскрыть многие другие их сходные черты, но и высказать определённые соображения об их далёком предке.
Говоря о проблемах классификации другой группы живых организмов – вирусов, учёные-вирусологи Д.Г.Затула и С.А.Мамедова пишут: «Без знания места, которое занимает объект исследования в ряду ему подобных, учёным трудно работать. Классификация нужна в первую очередь для того, чтобы экономить время, силы и средства, чтобы, раскрыв тайны одного вируса или разработав меры борьбы с каким-либо вирусным заболеванием, применить на других подобных вирусах и болезнях. Частые открытия в вирусологии, бурно развивающейся науке, вынуждают пересматривать законы и свойства, по которым сгруппированы вирусы… Учёные не считают какую-либо классификацию вирусов единственно верной и законченной. Конечно, будут ещё обнаружены новые свойства, которые уточнят и расширят таблицу вирусов, а может быть, и позволят создать новую классификацию».
Все сказанное о выгодах, даваемых классификацией вирусов, и об изменениях её с развитием вирусологии справедливо и в отношении классификаций других групп живых организмов. Это верно и применительно ко всем вообще классификациям, разрабатываемым наукой.
Затруднения с классификацией имеют чаще всего объективную причину. Дело не в недостаточной проницательности человеческого ума, а в сложности окружающего нас мира, в отсутствии в нем жёстких границ и ясно очерченных классов. Всеобщая изменчивость вещей, их «текучесть» ещё более усложняет и размывает эту картину.
Именно поэтому далеко не все и не всегда удаётся чётко классифицировать. Тот, кто постоянно нацелен на проведение ясных разграничительных линий, постоянно рискует оказаться в искусственном, им самим созданном мире, имеющем мало общего с динамичным, полным оттенков и переходов реальным миром.
Наиболее сложным объектом для классификации является, без сомнения, человек. Типы людей, их темпераменты, поступки, чувства, стремления, действия и т.д. – все это настолько тонкие и текучие «материи», что попытки их типологизации только в редких случаях приводят к полному успеху.
Сложно классифицировать людей, взятых в единстве присущих им свойств. С трудом поддаются классификации даже отдельные стороны психической жизни человека и его деятельности.
В начале прошлого века Стендаль написал трактат «О любви», явившийся одним из первых в европейской литературе опытов конкретно-психологического анализа сложных явлений духовной жизни человека. Есть четыре рода любви, говорится в этом сочинении. «Любовь-страсть» заставляет нас жертвовать всеми нашими интересами ради неё. «Любовь-влечение» – «это картина, где все, вплоть до теней, должно быть розового цвета, куда ничто неприятное не должно вкрасться ни под каким предлогом, потому что это было бы нарушением верности обычаю, хорошему тону, такту и т.д. …В ней нет ничего страстного и непредвиденного, и она часто бывает изящнее настоящей любви, ибо ума в ней много…» «Физическая любовь» – «…какой бы сухой и несчастный характер ни был у человека, в шестнадцать лет он начинает с этого». И наконец «любовь-тщеславие», подобная желанию обладать предметом, который в моде, и часто не приносящая даже физического удовольствия.
Эта классификация приводится в хрестоматиях по психологии, и она в самом деле проницательна и интересна. Отвечает ли она, однако, хотя бы одному из тех требований, которые принято предъявлять к делению? Вряд ли. По какому признаку разграничиваются эти четыре рода любви? Не очень ясно. Исключают ли они друг друга? Определённо – нет. Исчерпываются ли ими все разновидности любовного влечения? Конечно, нет.
В этой связи нужно помнить, что не следует быть излишне придирчивым к классификациям того, что по самой своей природе противится строгим разграничениям.
Любовь – очень сложное движение человеческой души. Но даже такое внешне, казалось бы, очень простое проявление психической жизни человека, как смех, вызывает существенные затруднения при попытке разграничения разных его видов. Какие вообще существуют разновидности смеха? Ответа на этот вопрос нет, да и не особенно ясно, по каким признакам их можно было бы различить.
Это не удивительно, поскольку даже смех конкретного человека трудно охарактеризовать в каких-то общих терминах, сопоставляющих его со смехом других людей.
Перу А.Ф.Лосева принадлежит интересная биография известного философа и оригинального поэта конца прошлого века В.С.Соловьёва. В ней, в частности, сделана попытка проанализировать своеобразный смех Соловьёва, опираясь на личные впечатления и высказывания людей, близко знавших философа.
«Случалось ему знавать и нужду, – пишет сестра Соловьёва, – и он потом, рассказывая о ней, заливался безудержным радостным смехом, потому что у матери было уж очень выразительно скорбное лицо». «Много писали о смехе Вл.Соловьёва, – говорит другой. – Некоторые находили в этом смехе что-то истерическое, жуткое, надорванное. Это неверно. Смех B.C. был или здоровый олимпийский хохот неистового младенца, или мефистофелевский смешок хе-хе, или и то и другое вместе». В этом же духе говорит о смехе Соловьёва и писатель А.Белый: «Бессильный ребёнок, обросший львиными космами, лукавый черт, смущающий беседу своим убийственным смешком: хе-хе…». В другом месте Белый пишет: «Читаются стихи. Если что-нибудь в стихах неудачно, смешно, Владимир Сергеевич разразится своим громовым исступлённым „ха-ха-ха“, подмывающим сказать нарочно что-нибудь парадоксальное, дикое».
Подводя итог, Лосев пишет: «Смех Вл.Соловьёва очень глубок по своему содержанию и ещё не нашёл для себя подходящего исследователя. Это не смешок Сократа, стремившегося разоблачить самовлюблённых и развязных претендентов на знание истины. Это не смех Аристофана или Гоголя, где под ним крылись самые серьёзные идеи общественного и морального значения. И это не романтическая ирония Жан-Поля, когда над животными смеётся человек, над человеком ангелы, над ангелами архангелы и над всем бытием хохочет абсолют, который своим хохотом и создаёт бытие, и его познает. Ничего сатанинского не было в смехе Вл.Соловьёва, и это уже, конечно, не комизм оперетты или смешного водевиля. Но тогда что же это за смех? В своей первой лекции на высших женских курсах Герье Вл.Соловьёв определял человека не как существо общественное, но как существо смеющееся».
Интересны термины, употребляемые в этих высказываниях для характеристики конкретного смеха. В большинстве своём они не дают прямого его описания, а только сопоставляют его с какими-то иными, как будто более известными разновидностями смеха. Рассматриваемый смех то уподобляется «здоровому олимпийскому хохоту» или «мефистофелевскому смешку», то противопоставляется «смеху Аристофана», «смешку Сократа», «иронии Жан-Поля» и т.д. Все это, конечно, не квалификационные понятия, а только косвенные, приблизительные описания.
Встречаются такие термины, которые характеризуют, как кажется, именно данный смех. Среди них «радостный», «истерический», «убийственный», «исступлённый» и т.п. Но и их нельзя назвать строго квалификационными. Значение их расплывчато, и они опять-таки не столько говорят о том, чем является сам по себе этот смех, сколько сравнивают его с чем-то: состоянием радости, истерики, исступления и т.п.
Все это, конечно, не случайно, и дело не в недостаточной проницательности тех, кто пытался описать смех. Источник затруднений – в сложности смеха, отражающей сложность и многообразие тех движений души, внешним проявлением которых он является. Именно это имеет, как кажется, в виду Лосев, когда он заканчивает своё описание смеха Соловьёва определением человека как «смеющегося существа». Если смех связан с человеческой сущностью, он столь же сложен, как и сама эта сущность. Классификация смеха оказывается в итоге исследованием человека со всеми вытекающими из этого трудностями.
Речь шла только о смехе, но все это относится и к другим проявлениям сложной внутренней жизни человека.
И в заключение – один пример явно несостоятельной классификации, грубо нарушающей требования, предъявляемые к делению.
Писатель Х.Л.Борхес приводит отрывок из «некой китайской энциклопедии». В нем даётся классификация животных и говорится, что они «подразделяются на: а) принадлежащих императору; б) бальзамированных; в) приручённых; г) молочных поросят; д) сирен; е) сказочных; ж) бродячих собак; з) заключённых в настоящую классификацию; и) буйствующих, как в безумии; к) неисчислимых; л) нарисованных очень тонкой кисточкой из верблюжьей шерсти; м) и прочих; н) только что разбивших кувшин; о) издалека кажущихся мухами».
Чем поражает эта классификация? Почему с самого начала становится очевидным, что подобным образом нельзя рассуждать ни о животных, ни о чем-либо ином?
Дело, разумеется, не в отдельных рубриках, какими бы необычными они ни казались. Каждая из них имеет вполне определённое конкретное содержание. В числе животных упоминаются, правда, фантастические существа – сказочные животные и сирены, но это делается, пожалуй, с целью отличить реально существующих животных от существующих только в воображении. К животным относятся и нарисованные, но мы и в самом деле обычно называем их животными.
Невозможными являются не отдельные указанные разновидности животных, а как раз соединение их в одну группу, перечисление их друг за другом, так что рядом встают живые и умершие животные, буйствующие и нарисованные, фантастические и приручённые, классифицируемые и только что разбившие кувшин. Сразу возникает чувство, что нет такой единой плоскости, на которой удалось бы разместить все эти группы, нет общего, однородного пространства, в котором могли бы встретиться все перечисленные животные.
Классификация всегда устанавливает определённый порядок. Она разбивает рассматриваемую область объектов на группы, чтобы упорядочить эту область и сделать её хорошо обозримой. Но классификация животных из «энциклопедии» не только не намечает определённой системы, но, напротив, разрушает даже те представления о гранях между группами животных, которые у нас есть. В сущности, эта классификация нарушает все те требования, которые предъявляются к разделению какого-то множества объектов на составляющие его группы. Вместо системы она вносит несогласованность и беспорядок.
Ясно, что классификация вообще не придерживается никакого твёрдого основания, в ней нет даже намёка на единство и неизменность основания в ходе деления. Каждая новая группа животных выделяется на основе собственных своеобразных признаков, безотносительно к тому, по каким признакам обособляются другие группы. Связь между группами оказывается почти полностью разрушенной, никакой координации и субординации между ними установить невозможно. Можно предполагать, что сирены относятся к сказочным животным, а молочные поросята и бродячие собаки не принадлежат ни к тем, ни к другим. Но относятся ли сирены, сказочные животные, молочные поросята и бродячие животные к тем животным, что буйствуют, как в безумии, или к неисчислимым, или к тем, которые нарисованы тонкой кисточкой? Как соотносятся между собой животные, только что разбившие кувшин, и животные, издалека кажущиеся мухами? На подобные вопросы невозможно ответить, да их и бессмысленно задавать, поскольку очевидно, что никакого единого принципа в основе этой классификации не лежит. Далее, члены деления здесь не исключают друг друга. Всех перечисленных животных можно нарисовать, многие из них издалека могут казаться мухами, все они включены в классификацию и т.д. Относительно того, что перечисленные виды животных исчерпывают множество всех животных, можно говорить только с натяжкой: те животные, которые не упоминаются прямо, свалены в кучу в рубрике «и прочие». И наконец, очевидны скачки, допускаемые в данном делении. Различаются как будто сказочные и реально существующие животные, но вместо особого упоминания последних перечисляются их отдельные виды – поросята и собаки, причём не все поросята, а только молочные, и не все собаки, а лишь бродячие.
Классификации, подобные этой, настолько сумбурны, что возникает даже сомнение, следует ли вообще считать их делениями каких-то понятий. О возможности усовершенствования таких классификаций, придании им хотя бы видимости системы и порядка не приходится и говорить.
Но что интересно, даже такого рода деления, отличающиеся путаницей и невнятностью, иногда могут оказываться практически небесполезными. Неправильно делить, к примеру, обувь на мужскую, женскую и резиновую (или детскую), но во многих обувных магазинах она именно так делится, и это не ставит нас в тупик. Нет ничего невозможного в предположении, что и классификация животных, подобная взятой из «энциклопедии», может служить каким-то практическим, разнородным по самой своей природе целям. Теоретически, с точки зрения логики, она никуда не годится. Однако далеко не все, что используется повседневно, находится на уровне требований высокой теории и отвечает стандартам безупречной логики.
Нужно стремиться к логическому совершенству, но не следует быть педантичным и отбрасывать с порога все, что представляется логически не вполне совершённым.