- •Глава 1
- •§ 1. Формальное мышление и логика
- •§ 2. Логика и рассуждения
- •§ 3. Логическая онтология
- •§ 4. Логическая культура
- •Глава 2
- •§ 1. Общая характерисрика понятия
- •Знак Смысл Значение
- •§ 2. Содержание и объем понятий
- •Объем понятия
- •§ 3. Обобщение и ограничение понятий
- •Род и вид
- •Часть и целое
- •Глава 3
- •§ 1. Виды понятий
- •II. Виды понятий, выделяемые по числу элементов объема.
- •III. Виды понятий, выделяемые по характеру элементов объема.
- •§ 2. Отношения между понятиями
- •Виды совместимости
- •Глава 4
- •§ 1. Определения и их виды
- •Виды определений
- •Родовидовые определения
- •Правила определения
- •Глава 5
- •§ 1. Операция деления, правила и ошибки
- •Структура деления
- •Некоторые особенности деления
- •Виды деления
- •§ 2. Правила деления и возможные ошибки.
- •2. Правило исключения.
- •3. Правило одного основания.
- •Комментарий к правилам деления
- •§ 3. Понятие о классификации
- •Виды классификаций
- •Глава 6
- •§ 1. Общая характеристика суждения
- •Виды суждений
- •Истинность и ложность суждений
- •Виды простых суждений
- •S (не) есть p.
- •§ 2. Категорические суждения
- •§ 3. Сложные суждения
- •4. «Если..., то...» — условное суждение, или импликация.
- •5. «... Тогда и только тогда, когда...» — эквивалентность — суждение эквивалентности.
- •§ 4 Запись категорических суждений и силлогизмов при помощи языка логики предикатов
- •Глава 7
- •§ 1. Отношения между простыми суждениями
- •§ 2. Отношения между сложными суждениями
- •Глава 8
- •§ 1. Общая характеристика
- •§ 2. Закон непротиворечия
- •§ 3. Закон тождества
- •§4. Закон исключенного третьего
- •§ 5. Закон достаточного основания
- •§ 6. О нарушениях законов логики
- •Глава 9.
- •§ 1. Понятие и структура умозаключения
- •§ 2. Классификация умозаключений
- •Глава 10
- •§ 1. Условно-категорические и чисто условные умозаключения
- •Обозначим
- •Кто такие X, y и z?
- •§ 2. Разделительно-категорические умозаключения
- •§ 3. Условно-разделительные умозаключения
- •§ 5. Непрямые умозаключения
- •Сведение к абсуpду
- •Рассуждение от противного
- •Рассуждение по случаям
- •Глава 13
- •§ 1. Понятие и виды силлогизмов
- •§ 2. Непосредственные силлогизмы
- •А |-I, e |-о
- •§ 3. Простой категорический силлогизм
- •Структура силлогизма
- •Аксиома силлогизма
- •Фигуры силлогизмов
- •Модусы силлогизмов
- •I фигура
- •II фигура
- •III фигура
- •Запись силлогизмов на языке логики предикатов
- •§ 4. Способы проверки правильности силлогизмов
- •§ 5. Энтимемы
- •Глава 12
- •§ 1. Общая характеристика индуктивных умозаключений
- •§ 2. Виды индуктивных умозаключений
- •Установлено, что
- •Математическая индукция
- •§ 3. Научная индукция, или методы обнаружения причинных связей
- •Метод единственного сходства
- •Метод единственного различия
- •Соединенный метод сходства и различия
- •Метод сопутствующих изменений
- •Метод остатков
- •Ошибки, встречающиеся при обнаружении причинных связей
- •§ 4. Умозаключения по аналогии
- •Структура умозаключений по аналогии
- •Виды умозаключений по аналогии
- •Условия состоятельности аналогий
- •Аналогия и моделирование
- •Глава 15.
- •§ 1. Доказательство
- •Понятие доказательства
- •Структура доказательства
- •Способы доказательства
- •§ 2. Опровержение
- •§3. Правила доказательства и возможные ошибки
- •Послесловие
- •Список источников
- •Указатель имен
Знак Смысл Значение
Эта теория знаков называется трехплоскостной семантикой. Но что же такое семантика?
Чтобы выяснить это, нам придется обратиться к теории знаков.
Общая теория знаков и их использования разумными существами называется семиотикой (от греч. semeion — знак).
Семиотика рассматривает знаки независимо от их конкретной природы. Это и языковые знаки (слова и их сочетания), природнще знаки (дым – знак огня) и т. п.
В семиотике выделяются три раздела: синтаксис, семантика и прагматика.
Синтаксис — это теория отношений одного знака к другому, т.е. теория соединения знаков в комплексы знаков, используемых в общении.
Семантика — это теория, изучающая отношение знака к его значению или смыслу.
Прагматика — это теория, описывающая способы использования знаков носителями языка.
Пояснить соотношение семантики, синтаксиса и прагматики поможет так называемый семиотический треугольник:
Знак
Синтаксис – это отношение знака к знаку по их форме, семантика – отношение к знака к его значению, а прагматика – отношение знака к носителю знака.
Теперь, надеюсь, ясно, почему наша теория значения знаков получила имя трехплоскостной семантики: трехплоскостная, потому что кроме знака и значения мы ввели еще категорию смысла, а семантика — потому что речь идет о значениях знаков.
В истории логики и лингвистики эта трехплоскостная семантика связана с именем знаменитого немецкого логииа Готтлоба Фреге, описавшего эту семантику в своей статье «О смысле и значении» (1892). С этой статьи начались логические исследования, называемые логической семантикой.
Какое отношение к нашей трехплоскостной семантике имеют понятия?
Мы уже знаем, что понятие есть мысль, т.е. идеальный образ предмета или процесса. Но и знак, и значение не обязаны быть идеальными предметами. Знак вообще — чувственный предмет, а значение, может быть и предметом, и свойством, и отношением, и множеством.
Поэтому для мысли в нашей схеме осталось только одно место — среднее. На статус мысли может претендовать только смысл.
Отсюда мы получаем наше основное положение, говорящее о связи понятия с языком:
Понятие является смыслом знака.
Но любого ли знака?
Понятие решает три задачи, которые были сформулированы мною в начале этого параграфа: обобщать объекты, отличать объекты этого множества от всех иных объектов и сообщать о них существенную информацию.
Действительно, понятие, по-видимому, образует смысл не любого, а только определенного вида знаков. Как нам узнать эти знаки? По простому признаку: можно ли при помощи этих знаков выделить объекты некоторого множества из всех остальных объектов и обобщить объекты этого множества.
Знак «Весна идет» ничего не выделяет и не обобщает. Он говорит о том, что в действительности имеется ситуация, описываемая этим знаком. Мы можем сказать, что этот знак является истинным или ложным. Он истинен в марте или апреле, и вряд ли может быть истинным в октябре или декабре (по крайней мере, в северном нолушарии). Поскольку знакам этого типа в действительности может быть сопоставлена ситуация, а не объект, мы будем говорить, что знаки этого типа не имеют объектного значения.
Если же мы используем знак «студент», то об этом знаке явно можно сказать, что с его помощью мы из всего множества учащихся выделяем тех, которые обучаются в высшей школе, и обобщает все множество таких учащихся. Поэтому знак «студент» выражает понятие, ибо в языке выполняет ту же самую функцию, что понятие в мышлении.
В чем же специфика знаков, выражающих понятие, как их самих назвать? Специально для таких знаков в теории языка существует категория имени.
Имя — это знак, значением которого является объект.
Имена бывают собственные и общие.
Собственным является имя, обозначающее некоторый конкретный объект и закрепленное за ним соглашением или традицией.
Общим называется имя, обозначающее объект, принадлежащий множеству однородных объектов.
Так, имя «стул» является общим именем. При помощи этого имени можно обозначить объекты, принадлежащие множеству однородных объектов, каждый из которых можно охарактеризовать выявленными нами ранее признаками. Общие имена примерно соответствуют нарицательным существительным. Имя «Петр I» обозначает конкретного человека и закреплено за ним соглашением родителей («Петр») и традицией («первый»), а потому является собственным именем.
Отсюда мы получаем наш второй тезис, касающийся соотношения понятий и языка:
Понятие есть смысл имени.
Из этого мы можем сделать вывод и об общем соотношении мысли и эзыка.
Мысль есть смысл языкового знака.
Это положение верно не только для понятий, но и для другого вида мыслей, который мы будем рассматривать в гл. 6.