
- •Глава 1. История логики.
- •Глава 2. Предмет и значение теоретической логики.
- •Глава 3. Традиционная логика.
- •Глава 4. Символическая логика.
- •Глава 5. Неклассическая логика.
- •Глава 6. Логика и методология научного знания.
- •Глава 7. Практическая логика
- •Глава 1
- •1.1.1. Элементы логики у Парменида, Гераклита и Зенона
- •1.1.2. Логико-риторические проблемы у софистов
- •1.1.4. Логические идеи представителей мегарской школы
- •1.1.5. Логико-методологические идеи Платона
- •1.2.1. Методология Аристотеля
- •1.2.2. Учение о суждениях
- •1.2.3. Теория силлогизма
- •1.3.2. Логика эпикурейцев
- •1.3.3. Логика скептиков
- •1.4.1. Логические идеи Фомы Аквинского
- •1.4.2. Эпистемология Дунса Скота
- •1.4.3. Эпистемология и логика Уильяма Оккама
- •1.4.4. Основные средневековые типы логико-методологического мировоззрения
- •1.5.1. Логические идеи Пьера Рамэ
- •1.6.1. Принципы формально-логического рационализма
- •1.6.2. Новая философия Лейбница
- •1.6.3. Универсальная характеристика
- •1.6.4. Концепция о ясных и отчетливых понятиях
- •1.6.5. Определение понятия тождества и достаточного основания
- •1.7.1. Теория познания Канта
- •1.7.2. Аналитическое и синтетическое знание
- •1.7.3. Трансцендентальная логика
- •1.7.4. Чистые категории рассудка
- •1.8.1. Философская система Гегеля
- •1.8.2. Диалектическая логика Гегеля
- •Глава 2
- •2.1.1. Опыт и рассуждение в науке
- •2.1.2. Мышление как предмет изучения теоретической логики
- •2.1.3. Язык и мышление. Естественный и искусственный языки
- •2.2.1. Роль языка в мыслительных и речевых актах
- •2.2.2. Речевые акты и фреймы знания
- •2.2.3. Суждение, рассуждение, умозаключение
- •2.2.4. Структура рассуждения
- •2.3.1. Понятие закона мышления
- •2.3.2. Закон тождества
- •2.3.3. Закон противоречия
- •2.3.4. Формы противоречий
- •2.3.5. Закон исключенного третьего
- •2.3.6. Закон достаточного основания
- •2.4.1. Исторический метод
- •2.4.2. Аксиоматический метод
- •2.4.3. Метод формализации
- •2.4.4. Логический синтаксис и логическая семантика
- •2.4.5. Логические исчисления
- •Глава 3
- •3.1.1. Знак: смысл и значение
- •3.1.2. Дескриптивные и логические термины
- •3.1.3. Понятие как форма мышления
- •3.1.4. Объем и содержание понятия
- •3.1.5. Образование понятий
- •3.1.6. Виды понятий
- •3.1.7. Отношения понятий по объему
- •3.1.8. Отношения между понятиями по содержанию
- •3.2.1. Логическая структура суждения
- •3.2.2. Суждение и вопрос
- •3.2.3. Качественные и количественные характеристики суждений
- •3.2.4. Совместимые и несовместимые суждения. Логический квадрат
- •3.3.1. Определение как логическая операция
- •3.3.2. Виды определений
- •3.3.3. Правила корректных определений
- •3.3.4. Приемы, сходные с определением
- •3.3.5. Деление понятий
- •3.3.6. Виды и правила деления понятий
- •3.4.1. Природа и виды умозаключений
- •3.4.2. Умозаключение по логическому квадрату
- •3.4.3. Простой категорический силлогизм
- •3.4.4. Аксиома силлогизма
- •3.4.5. Правила силлогизма
- •3.4.6. Общая характеристика фигур силлогизма
- •3.4.7. Модусы фигур силлогизма
- •3.5.1. Непосредственное и опосредованное доказательство
- •3.5.2. Значение доказательств в науке
- •3.5.3. Строение и структура доказательства
- •3.5.4. Виды доказательств
- •3.5.5. Опровержение
- •3.5.6. Условия и правила, обеспечивающие эффективность доказательства. Основные ошибки
- •3.6.1. Природа индуктивного умозаключения
- •3.6.2. Понятие аналогии
- •3.6.4. Основные виды индукции и индуктивных умозаключений
- •3.6.5. Популярная и научная индукция
- •3.7.1. Специфика гипотезы
- •3.7.2. Виды гипотез
- •3.7.3. Основные этапы разработки гипотезы
- •3.7.4. Проверка гипотезы
- •Глава 4
- •4.1.1. Логические союзы
- •4.1.2. Язык логики высказываний
- •4.1.3. Понятие правильно построенного высказывания (ппв) определяется таким образом:
- •4.1.4. Понятие формулы логики высказываний
- •4.2.1. Семантическая таблица отрицания
- •4.2.2. Семантическая таблица конъюнкции
- •4.2.3. Семантическая таблица дизъюнкции
- •4.2.4. Семантическая таблица импликации
- •4.2.5. Семантическая таблица эквивалентности
- •4.3.1. Порядок логических действий
- •4.3.2. Табличный способ исчисления истинностных значений
- •4.4.1. Закон двойственности
- •4.4.2. Понятие самодвойственной формулы
- •4.4.3. Равносильные формулы
- •4.4.4. Свойства равносильности
- •4.5.1. Понятие тождественно-истинной формулы
- •4.5.2. Понятие тождественно-ложной формулы
- •4.5.3. Некоторые свойства тождественно-истинных формул:
- •4.6.1. Понятие нормальной формы
- •4.6.2. Процедура приведения к нормальной форме
- •4.6.3. Проблема разрешимости
- •4.8.1. Понятие логического вывода
- •4.8.2. Правила вывода
- •4.8.3. Правило построения прямого доказательства
- •4.8.4. Косвенное доказательство
- •4.8.5. Сильное (классическое) косвенное доказательство
- •4.8.6. Аксиоматическое представление логики высказываний
- •4.8.7. Полнота классического исчисления высказываний
- •4.9.2. Исчисление предикатов. Общезначимость
- •4.9.3. Тождественно-истинные формулы логики предикатов
- •4.9.4. Логическое следование
- •4.9.5. Естественный вывод в логике предикатов
- •4,9.6, Специфические законы логики предикатов
- •4.9.8. Свойства теорий первого порядка
- •4.9.9. Секвенции
- •Глава 5
- •5.1.1. Элементы модальной логики в античности
- •5.1.2. Понятия необходимости и возможности
- •5.1.3. Алетические модальные исчисления
- •5.1.4. Естественный вывод в алетических исчислениях
- •5.2.1. Анализ норм
- •5»2.2. Деонтические исчисления
- •5.3.1. Деонтическая система «Deontic»
- •5.3.2. Деонтическая система р
- •5.3.3. Деонтическая система sdl
- •5.3.4. Деонтическая система dt
- •5.3.5. Семейство деонтических систем 01 1— 01 4
- •5.4.1. Понятие деонтически возможного мира
- •5.4.3. Условия истинности деонтических формул
- •5.5.1. Оценки и нормы
- •5.5.2. Проблема истинности оценок
- •5.5.3. Логика оценок
- •Глава 6
- •6.1.1. Логико-математические методы
- •6.1.1. Логико-математические методы
- •6.1.2. Виды познания
- •6.1.3. Структура познавательного процесса
- •6.1.4. Общенаучные методы познания
- •6.1.5. Общенаучные подходы к построению научного знания
- •6.1.6. Методология научного познания
- •6.1.7. Проблема истины в познании
- •6.2.1. Эмпирическая интерпретация
- •6.2.2. Конструктивные объекты
- •6.2.3. Логический язык эмпирической интерпретации
- •6.3.1. Структура математических теорий
- •6.3.2. Структура теорий опытных (эмпирических) наук
- •6.3.3. Научная теория как обобщенное идеальное отображение мира
- •6.4.1. Логическое уточнение понятия теории
- •6.4.2. Логические отношения между теориями
- •6.4.3. Сравнение теорий с помощью определений
- •6.5.1. Дедуктивно-номологическое объяснение
- •6.5.2. Рациональное объяснение
- •6.5.3. Интенциональное объяснение. Практический силлогизм
- •Глава 7
- •7.5.1. Тактика аргументации
- •7.5.2. Уловки и приемы аргументации
- •7.5.3. Моральный кодекс спора
3.3.3. Правила корректных определений
Продуктивность и успешность логической процедуры прямо связана с теми требованиями, которые к ней предъявляются. Правила определений подразделяют на три группы: литературные, фактические и логические. Под литературными правилами подразумевается то, что определение должно быть как можно более ясным, должно избегать фигуральных и метафорических выражений. Иначе говоря, смысл терминов, используемых в определении, должен быть достаточно ясным для адресата. Не являются определениями выражения: «Искусство — наука жизни», «Вера — откровение Бога».
Фактические требования
К фактическим требованиям можно отнести то, что квалификация определяемого (дефиниендума) должна совершаться точно по существенным признакам, а уточнение, пояснение уже введенного термина в некоторый язык должно осуществляться через термины, понятия, значения которых уже известны, более ясны и понятны, чем значение уточняемого понятия.
Логические требования
К логическим требованиям отнесем следующие:
1. Требование взаимозаменимости (соразмерности). Это значит, что в явных определениях определяемое и определяющее должны быть заменимы друг на друга в любых стандартных контекстах (по отношению к номинальным определениям). В реальных определениях речь идет о соразмерности, равнообъемности определяемого и определяющего.
2. Правило запрета порочного круга, свидетельствующее о том, что дефиниендум и иные выражения, определенные посредством этого термина, не должны встречаться в дефиниен-се, т.е. определяющее в свою очередь не должно характеризоваться через определяемое.
3. Определение не должно быть отрицательным: в определяющем должно указываться на какие-то позитивные признаки, а не на их отсутствие, как, скажем, в выражении: «Кит — не рыба».
4. Правило некреативности, которое требует, чтобы определение не создавало определяемый предмет. Конечно, можно попытаться дать определение понятию «снежный человек», но это не будет означать, что снежный человек существует.
Нарушение требований, как правило, приводит к логическим ошибкам. В иных книгах, например, встречается определение логики как науки о правильном мышлении и его законах. При этом правильное мышление определяется как мышление по законам логики. Нарушение правила соразмерности ведет к тому, что определение может быть слишком узким или слишком широким. В слишком узком определении объем определяющего уже объема определяемого, к примеру: «Человек — это существо с длинными ногами, голубыми глазами и черными волосами, способное к членораздельной речи».
3.3.4. Приемы, сходные с определением
Так как строго логическое определение не всегда возможно и не всегда является наиболее удобным средством раскрытия содержания понятий, в исследованиях, в изложениях содержа-
ния объектов применяются приемы, сходные с определением, К ним относятся:
1) указание. Этот прием, рассматриваемый нередко в литературе под именем остенсиввого определения, состоит в разъяснении значения слова путем показа предметов, называемых этим словом. К этому приему мы прибегаем, в частности, при обучении детей языку, когда указываем на предмет и одновременно произносим его наименование;
2) описание — состоит в указании внешних признаков предмета, явления, события. Оно имеет целью заменить непосредственное созерцание объектов » является как бы воссозданием единичного предмета, например города, военного сражения, отдельного лица;
3) характеристика — состоит в раскрытии наиболее выдающихся признаков (примет) предмета. Как и описание, она применяется к единичным объектам: к отдельным лицам, событиям, городам и т. д.;
4) различение — показывает отличие каких-либо^ объектов не от всех других, а лишь от наиболее сходных с ними. Например, понятие отличается от суждения отсутствием утверждения или отрицания о явлениях действительности;
5) пояснение — состоит в раскрытии не всего содержания понятия, а лишь части его с какой-либо определенной целью, которая может состоять в том, чтобы подготовить строго логическое определение. Пример: способность к абстрактному мышлению является признаком, отличающим чело-веха от животных;
6) сравнение — применяется с целью пояснить одно понятие сравнением с другим, более ясным,, нанример абстрактное — конкретным.
Значение определений заключается, с одной стороны, в том, что в них подытоживается главное в наших знаниях об исследуемых объектах, с другой стороны, в том, что они являются основой для дальнейшего развития наших знаний. Без них невозможно обойтись в любой науке и очень часто — в практической деятельности, например в судебной деятельности. Но содержащиеся в определениях знания составляют крайне незначительную часть всех знаний, имеющихся в науках. По-
этому в любой науке определения играют незначительную роль с точки зрения выражения объема знаний, но их роль очень велика с точки зрения предохранения нас от смешения понятий и отличения определяемых предметов от всех других. Их ценность заключается также в том, что они являются средством сокращения сложных рассуждений в научных теориях.