- •Логика:
- •Оглавление
- •Глава I предмет и значение логики
- •§1. Роль мышления в познании
- •§ 2. Понятие о форме и законе мышления Форма мышления
- •Законы мышления
- •§ 3. Основные логические законы
- •§ 4. Язык логики
- •§ 5. История логики (краткий очерк)
- •§ 6.Значение логики
- •Глава II понятие
- •§ 1. Понятие как форма мышления Общая характеристика понятия
- •Логические приемы образования понятий
- •Понятие и слово
- •§ 2. Содержание и объем понятия
- •§ 3. Виды понятий
- •§ 4. Отношения между понятиями
- •Совместимые понятия
- •Несовместимые понятия
- •Контрольные вопросы
- •Глава III логические операции с понятиями
- •§1. Обобщение и ограничение понятий
- •§ 2. Определение понятий Сущность и значение определения
- •Виды определения
- •Правила определения
- •1. Определение должно быть соразмерным.
- •2. Определение не должно заключать в себе круга.
- •3. Определение должно быть ясным.
- •4. Определение не должно быть отрицательным.
- •Неявные определения. Приемы, заменяющие определение
- •§ 3. Деление понятий Сущность деления
- •Виды деления
- •Правила деления
- •1. Деление должно быть соразмерным.
- •2. Деление должно производиться только по одному основанию.
- •3. Члены деления должны исключать друг друга.
- •4. Деление должно быть непрерывным.
- •Дихотомическое деление
- •Классификация
- •§ 4. Операции с классами
- •Глава IV суждение
- •§ 1. Суждение как форма мышления Суждение и предложение
- •§ 2. Простые суждения Виды и состав простых суждений
- •S (s1, s2, s3) есть р.
- •Классификация категорических суждений
- •А (Все s суть р): х (s(X) р(х))
- •I (Некоторые s суть р): X(s(X) р(х))
- •Выделяющие и исключающие суждения
- •§3. Сложные суждения
- •1. Соединительные (конъюнктивные) суждения.
- •2. Разделительные (дизъюнктивные) суждения.
- •3. Условные (импликативные) суждения.
- •§ 4. Логические отношения между суждениями
- •Простые суждения
- •2. Частичная совместимость характерна для суждений I и о, которые могут быть одновременно истинными, но не могут быть одновременно ложными.
- •1. Противоположными (контрарными) являются суждения л и е, которые одновременно не могут быть истинными, но могут быть одновременно ложными.
- •2. Противоречащими (контрадикторными) являются суждения а и о, е и I, которые одновременно не могут быть ни истинными, ни ложными.
- •Сложные суждения
- •2. Частичная совместимость характерна для суждений, которые могут быть одновременно истинными, но не могут быть одновременно ложными.
- •3. Подчинение между суждениями имеет место в том случае, когда при истинности подчиняющего подчиненное всегда будет истинным.
- •§5. Модальность суждений Понятие и виды модальности
- •1. Эпистемическая модальность
- •2. Деонтическая модальность суждений
- •3. Алетическая модальность
- •Логика вопросов и ответов
- •§1. Виды вопросов
- •1. Семантика вопросов.
- •2. Функции вопросов.
- •3. Структура вопросов.
- •4. Отношение к обсуждаемой теме.
- •§ 2. Виды ответов
- •§1. Умозаключение как форма мышления. Виды умозаключений
- •§ 2. Непосредственные умозаключения
- •1. Превращение.
- •Все s суть р
- •2. Обращение.
- •Все s суть р Некоторые р суть s
- •Все s, и только s, суть р Все р суть s
- •Ни одно s не есть р Ни одно р не есть s
- •Некоторые s, и только s, суть р Все р суть s
- •___Все s суть р___
- •Ни одно s не есть р Некоторые не-р суть s
- •Некоторые s не суть р Некоторые не-р суть s
- •4. Умозаключения по логическому квадрату.
- •§3. Простой категорический силлогизм Состав простого категорического силлогизма
- •1. Вывод из двух частных посылок.
- •2. Вывод по 1-й фигуре, в которой большая посылка — частное суждение.
- •3. Одна из посылок — частное суждение, заключение — общее суждение.
- •§ 4. Умозаключения из суждений с отношениями
- •Глава VII
- •Дедуктивные умозаключения.
- •Выводы из сложных суждений.
- •Сокращенные и сложные силлогизмы
- •§1. Чисто условное и условно-категорическое умозаключения Чисто условное умозаключение
- •§ 2. Разделительно-категорическое умозаключение
- •§ 3. Условно-разделительное умозаключение
- •§ 4. Сокращенный силлогизм (энтимема)[34]
- •§ 5. Сложные и сложносокращенные силлогизмы
- •§ 6. Понятие о логике высказываний
- •Глава VIII индуктивные умозаключения
- •§ 1. Полная индукция
- •§ 2. Неполная индукция. Популярная индукция
- •§ 3. Научная индукция
- •1. Индукция методом отбора
- •2. Индукция методом исключения
- •2. Метод различия
- •3. Соединенный метод сходства и различия
- •4. Метод сопутствующих изменений
- •§ 4. Статистические обобщения
- •Глава IX умозаключения по аналогии
- •§ 1. Понятие аналогии
- •§ 2. Виды аналогии
- •§ 3. Условия состоятельности выводов по аналогии
- •§ 4. Роль аналогии в науке и правовом процессе
- •Глава X логические основы аргументации
- •§ 1. Аргументация и доказательство
- •§ 2. Состав аргументации: субъекты, структура Субъекты аргументации
- •Структура аргументации
- •§ 3. Способы аргументации: обоснование и критика
- •Обоснование тезиса
- •1. Прямым называют обоснование тезиса без обращения к конкурирующим с тезисом допущениям.
- •2. Косвенным называют обоснования тезиса путем установления ложности антитезиса или других конкурирующих с тезисом допущений.
- •TvBvC,b,c т
- •Критика
- •2. Конструктивная критика
- •3. Смешанная критика
- •§ 4. Правила и ошибки в аргументации
- •1. Правила и ошибки по отношению к тезису
- •2. Правила и ошибки по отношению к аргументам
- •3. Правила и ошибки демонстрации
- •§ 5. Поля аргументации
- •1. Понятие и состав полей аргументации
- •2. Согласование полей аргументации
- •Глава XI гипотеза
- •§ 1. Понятие и виды гипотез. Версия. Понятие гипотезы
- •Виды гипотез
- •§ 2. Построение гипотезы (версии)
- •Анализ фактов
- •Синтез фактов
- •Выдвижение предположения
- •§ 3. Проверка гипотезы
- •§ 4. Способы доказательства гипотез
- •Литература
Литература
Алексеев А.П. Аргументация. Познание. Общение. М., 1991.
Арно А., Николь П. Логика, или Искусство мыслить. М., 1991.
Асмус В.Ф. Учение логики о доказательстве и опровержении. М., 1954.
Бочаров В.А., Маркин В.И. Основы логики. М., 1994.
Войшвилло Е.К. Понятие как форма мышления. М., 1989.
Войшвилло Е.К., Дегтярев М.Г. Логика. М., 1994.
Гетманова А.Д. Логика. М., 1995.
Горский Д.П. Определение. М., 1974.
Зегет В. Элементарная логика. М., 1985.
Ивлев Ю.В. Логика. М. 1993.
Лебедев С.А. Индукция как метод научного познания. М., 1980.
Поварнин С. Спор. О теории и практике спора. СПб., 1996.
СвинцовВ.И. Логика. М., 1987.
Сшарченко А.А. Логика в судебном исследовании. М., 1958.
Уемов А.И. Аналогия в практике научного исследования. М., 1970.
Сборники упражнений. Справочные издания
Кириллов В.И., Орлов Г.А., Фокина Н.И. Упражнения по логике. М., 1997.
Горский Д.П., Ивин А.А., Никифоров А.Л. Краткий словарь по логике. М., 1991.
Кондаков Н.И. Логический словарь-справочник. М., 1975.
[1] От греческого слова logos — «мысль», «слово», «разум», «закономерность». Термин «логика» употребляется также для обозначения закономерностей объективного мира (например, «логика фактов», «логика вещей», «логика политической борьбы» и т.п.); для обозначения строгости, последовательности, закономерности процесса мышления («логика мышления», «логика рассуждений»). Закономерный характер мышления является своеобразным отражением объективных закономерностей. Логика мышления есть отражение логики вещей.
[2] От латинского слова ratio — «разум», рациональное познание — познание с помощью разума, мышления.
[3] Термин «предмет» здесь и дальше мы будем употреблять в значении «предмет мышления» — существующие в реальной действительности и воображаемые вещи, явления, события, их свойства и отношения.
[4]От латинского термина abstractio — отвлечение. Абстрагирование — процесс отвлечения от некоторых свойств предметов, позволяющий выделить другие его свойства. Абстракция — результат абстрагирования.
[5] Согласно традиции этот закон принято называть законом противоречия. Однако название — закон непротиворечия — точнее выражает его действительный смысл.
[6] О несовместимых суждениях см. гл. IV, § 4.
[7] Авторы книги были членами религиозной корпорации, обосновавшейся в монастыре Пор-Рояль
[8] Учитывая европейские традиции, в русле которых в основном развивалась логика в России, мы не останавливаемся здесь на формировании и развитии логических учений в странах Востока, где сложились оригинальные концепции таких мыслителей, как Ибн Сина (Авиценна), Ибн Рушд (Аверроэс) и др.
[9] Математической логикой называют также особый раздел современной математики, исследующий специфику математических рассуждений и доказательств.
[10] В «Энциклопедии философских наук» Гегель сформулировал эту мысль следующим образом: «Мыслить, как полагают, может всякий и без помощи логики, подобно тому как мы можем переваривать пищу, не изучая физиологии» (Энциклопедия философских наук. М., 1975. Т. 1. С. 110). Создавая диалектическую логику, Гегель критиковал логику формальную, однако он не отрицал ее значения. Высоко оценивая Аристотеля как основателя формальной логики, Гегель в той же работе писал: «Изучение этой формальной логики, без сомнения, приносит известную пользу; это изучение, как принято говорить, изощряет ум. Мы приучаем концентрировать мысль, приучаемся абстрагировать, между тем как в обычном сознании мы имеем дело с умственными представлениями, перекрещивающимися и перепутывающимися друг с другом». (Там же. С. 115—116.)
[11] Бирюков Д.Л. Физиологическое учение И.П. Павлова — острое оружие в борьбе против религии. Л., 1953. С. 20.
[12] Клини С.К. Математическая логика. Л., 1973. С. 79.
[13] Судебные речи известных русских юристов. М., 1958 С. 22.
[14] Сущность как совокупность всех внутренних, необходимых свойств и связей предмета, взятых в их естественной взаимозависимости, отражается в научных понятиях, которые формируются на основе всестороннего исследования предмета и проникновения в его внутреннюю природу с помощью научных методов познания. Термин «существенный признак» нередко употребляется для обозначения признаков предмета, которые хотя и не раскрывают его действительной сущности, но являются важными для его характеристики.
[15] Слова и словосочетания, имеющие определенный смысл и обозначающие какой-либо предмет, называются именами. См об этом гл. I, § 4.
[16] Не следует смешивать логическую характеристику понятий как положительных и отрицательных с политической, нравственной, юридической оценкой тех явлений, которые они отражают Так, понятия «агрессия», «преступность», «алкоголизм» являются положительными их содержание составляют признаки, принадлежащие предмету Однако явления, отраженные в этих понятиях, вызывают у нас отрицательную оценку.
[17] Обычно указывают ближайший род, который содержит больше признаков, общих с признаками определяемого понятия (подведение понятия «чек» под понятие «документ» осложнит задачу определения) Поэтому в логической литературе данный вид определения называется иногда определением через ближайший род и видовое отличие.
[18] Один из героев пьесы Мольера «Мнимый больной» построил свое рассуждение о причине усыпляющей силы опиума следующим образом: опиум усыпляет потому, что он имеет усыпляющую силу, а усыпляющую силу опиум имеет потому, что он усыпляет.
[19] От греческого — «то же самое слово».
[20] Кони А.Ф. Избранное. М., 1989. С. 54.
[21] От собственно вопросительных предложений следует отличать предложения вопросительно-риторические (риторический вопрос), содержащие утверждение или отрицание в форме вопроса. Например. «Кто же этого не знает9», «Разве можно так поступать?». Эти предложения выражают суждения «Это знают все», «Так поступать нельзя». Они могут быть как истинными, так и ложными.
[22] Так как для русского языка характерен подвижный порядок слов, члены предложения и термины суждения могут занимать различные позиции. Например: «Белеет парус одинокий / В тумане моря голубом» (Лермонтов). Субъектом этого суждения является понятие «одинокий парус», предикатом — понятие «белеет в голубом тумане моря». Связка грамматически не выражена. Поэтому при логическом анализе подобных суждений прежде всего из художественных произведений, особенно поэтических, важно правильно определить субъект, предикат и связку.
[23] Слова «все», «ни один», «некоторые» и другие, характеризующие суждение со стороны его количества, называются кванторными словами (от латинского quantum — «сколько») Введение в суждение кванторных слов называется квантификацией.
[24] - Единичные суждения (утвердительные и отрицательные) по этой классификации в особую группу не выделяются По своей характеристике они приравниваются к соответствующим общим: общеутвердительным и общеотрицательным
[25] Термин «Эпистемическая» происходит от греческого слова «эпистема», означавшего в античной философии высший тип несомненного, достоверного знания.
[26] Термин «деонтическая» заимствован из греческого языка и означает «обязанность»
[27] Термин «алетический» греческого происхождения, означает «истинный»
[28] Софизм — логическая уловка, софист — человек, прибегающий к логической уловке
[29] В логическом квадрате слово «некоторые» употребляется в значении «по крайней мере, некоторые».
[30] Существует другая так называемая атрибутивная формулировка: признак признака некоторой вещи есть признак самой этой вещи, то что противоречит признаку вещи, противоречит вещи.
[31] О распределенноcти терминов в суждениях см. гл. IV § 2. Распределенность термина обозначается знаком «+», нераспределенность — знаком «-».
[32] От латинского lemma — «предположение».
[33] От латинского alternare —«чередоваться»; каждая из двух или нескольких исключающих друг друга возможностей.
[34] Энтимема в переводе с греческого буквально означает «в уме»
[35] От греческого «куча» (куча посылок).
[36] Термин «доказательство» в процессуальном праве употребляется в двух смыслах: (1) для обозначения фактических обстоятельств, выступающих носителями информации о существенных сторонах уголовного или гражданского дела (например, угроза обвиняемого в адрес потерпевшего; оставленные на месте совершения преступления следы и т.д.); (2) для обозначения источников информации о фактических обстоятельствах, имеющих отношение к делу (например, показания свидетелей, письменные документы и т.д.).