- •Оглавление
- •Предисловие
- •Введение. Логика как наука
- •Глава 1. Предмет и основные понятия логики
- •1.2. Структура формальной логики
- •1.3. Предмет формальной логики
- •1.4. Мышление как объект изучения логики
- •1.5. Основные формы мышления
- •1.6. Понятие логической формы
- •1.7. Истинность мысли и формальная правильность рассуждений
- •1.8. Основные свойства правильного мышления. Понятие логического закона
- •1.10. Понятие логического следования
- •1.11. Закон логики как отношение логического следования
- •Глава 2. Логический анализ языка
- •2.1. Мышление и язык
- •2.2. Естественный и искусственный языки
- •2.4. Семантическая классификация терминов
- •2.5. Семантические категории
- •2.6. Разновидности семантических категорий
- •2.7. Семиотика: семантика
- •2.8. Семиотика: синтактика
- •Глава 3. Основные направления и понятия символической (математической) логики
- •3.1. Классическая логика
- •3.2. Классическая логика высказываний
- •3.3. Синтаксис языка логики высказываний
- •3.4. Семантика языка логики высказываний
- •3.5. Семантические таблицы логики высказываний
- •3.6. Семантическая проблема разрешимости
- •3.7. Табличный способ определения типа формул
- •3.8. Логические отношения между формулами
- •3.10. Способ приведения формулы к нормальной форме
- •3.11. Равносильные формулы
- •3.12. Алгоритм приведения формул к КНФ и ДНФ
- •3.13. Аксиоматические исчисления
- •3.14. Натуральные исчисления
- •3.15. Секвенциальные исчисления
- •3.16. Построение секвенции
- •3.17. Законы логики высказываний
- •3.18. Классическая логика предикатов
- •3.19. Основные понятия логики предикатов
- •3.20. Операции над предикатами. Кванторы
- •3.21. Синтаксис языка логики предикатов
- •3.22. Процедура формализации выражений естественного языка в классической логике
- •3.23. Логическая символика
- •Введение. Понятие — форма мышления
- •Глава 4. Общая характеристика понятия
- •4.1. Понятие как форма мышления
- •4.2. Основные семантические характеристики понятия
- •4.3. Логическая структура понятия
- •4.4. Классификация видов понятий
- •4.5. Положительные и отрицательные, относительные и безотносительные понятия
- •4.6. Пустые и непустые, единичные и общие понятия
- •4.7. Универсальные и неуниверсальные, регистрирующие и нерегистрирующие понятия
- •4.8. Абстрактные и конкретные, собирательные и несобирательные понятия
- •Глава 5. Отношения между понятиями
- •5.1. Отношения между понятиями по логическому содержанию
- •5.2. Отношения между сравнимыми понятиями по содержанию
- •5.3. Отношения между понятиями по объемам
- •5.5. Отношения между несовместимыми понятиями по объемам
- •Глава 6. Логические операции с понятиями
- •6.1. Отношения рода и вида
- •6.2. Обобщение и ограничение понятий
- •6.3. Деление понятий
- •6.4. Таксономическое деление
- •6.5. Правила деления и возможные ошибки
- •6.6. Классификация
- •6.7. Операции с множествами (классами)
- •6.8. Операция объединения классов
- •6.9. Операция пересечения классов
- •6.10. Законы операций объединения и пересечения
- •6.11. Операция вычитания
- •6.12. Дополнение к множеству
- •6.13. Операции с классами. Диаграмма Венна
- •Глава 7. Определение
- •7.2. Виды определений (номинальные и реальные определения)
- •7.3. Явные и неявные определения
- •7.4. Виды явных определений
- •7.5. Виды неявных определений
- •7.6. Правила определения и возможные ошибки
- •Введение. Суждение (высказывание)
- •Глава 8. Простые суждения
- •8.1. Структура суждения
- •8.2. Логическая структура простого суждения
- •8.3. Логический анализ предложений, выражающих простые суждения
- •8.4. Виды простых суждений
- •8.7. Процедура приведения предложений естественного языка к канонической форме категорических суждений
- •8.10. Выражение категорических суждений на языке логики предикатов
- •8.12. Суждения с отношениями
- •8.13. Выражение суждений с отношениями на языке логики предикатов
- •Глава 9. Сложные суждения
- •9.2. Соединительные суждения
- •9.3. Разделительные суждения
- •9.4. Условные и импликативные суждения
- •9.5. Суждения эквивалентности
- •9.6. Суждение с внешним отрицанием
- •9.7. Условия истинности сложных суждений
- •9.8. Логическая форма сложного суждения
- •9.9. Выражение одних логических союзов через другие
- •9.10. Формы сложных суждений
- •9.11. Логическая вероятность сложных суждений
- •Глава 10. Отрицание суждений
- •10.1. Отрицание атрибутивных суждений
- •10.2. Отрицание суждений с отношениями
- •10.3. Отрицание сложных суждений
- •Глава 11. Отношения между суждениями
- •11.1. Отношения между суждениями
- •11.2. Отношения между простыми суждениями
- •11.3. Условия истинности для простых суждений
- •11.4. Модельные схемы
- •11.5. Логический квадрат
- •11.6. Логический треугольник
- •11.7. Отношения между сложными суждениями
- •11.8. Отношение эквивалентности сложных суждений
- •11.9. Отношение субконтрарности сложных суждений
- •11.10. Отношение подчинения сложных суждений
- •11.11. Отношение противоположности сложных суждений
- •11.12. Отношение противоречия сложных суждений
- •Глава 12. Модальность суждений
- •12.1. Структура модальных суждений
- •12.2. Алетическая модальность
- •12.3. Эпистемическая модальность
- •12.4. Деонтическая модальность
- •12.5. Сводная таблица видов модальностей
- •12.6. Определения и законы модальной логики. Логические модальные понятия
- •12.7. Физические модальные понятия
- •12.8. Законы и определения логики оценок
- •12.9. Законы и определения логики норм
- •Глава 13. Логические основы вопросно-ответного мышления
- •13.1. Виды вопросов
- •13.2. Виды ответов
- •Глава 14. Общая характеристика и структура умозаключений
- •14.1. Структура умозаключения
- •14.2. Классификация умозаключений по строгости правил вывода
- •14.3. Классификация умозаключений по направленности логического следования
- •14.4. Дедуктивные умозаключения
- •14.5. Обобщенная классификация умозаключений
- •Глава 15. Демонстративные (необходимые) умозаключения
- •15.1. Выводы из сложных высказываний (выводы на основе свойств логических связок)
- •15.2. Чисто условное умозаключение
- •15.6. Условно-разделительные умозаключения
- •15.7. Дилемма
- •15.8. Простая конструктивная дилемма
- •15.9. Простая деструктивная дилемма
- •15.11. Сложная деструктивная дилемма
- •15.12. Проверка правильности умозаключений из сложных суждений
- •15.13. Проверка умозаключений методом аналитических таблиц
- •15.14. Непосредственные умозаключения
- •15.15. Построение непосредственных умозаключений по логическому квадрату
- •15.17. Превращение
- •15.18. Обращение
- •15.19. Противопоставление предикату
- •15.20. Проверка непосредственных умозаключений
- •15.21. Простой категорический силлогизм
- •15.22. Структура силлогизма
- •15.23. Модусы категорического силлогизма
- •15.24. Правила терминов категорического силлогизма
- •15.25. Правила посылок категорического силлогизма
- •15.26. Первая фигура категорического силлогизма
- •15.27. Вторая фигура категорического силлогизма
- •15.28. Третья фигура категорического силлогизма
- •15.29. Четвертая фигура категорического силлогизма
- •15.30. Категорический силлогизм с выделяющими суждениями
- •15.31. Правила логического вывода фигур категорического силлогизма
- •15.32. Алгоритм анализа силлогизма
- •15.34. Способы проверки правильности силлогизмов (поиск и предъявление контрпримера)
- •15.36. Умозаключения из суждений с отношениями
- •15.37. Сокращенный категорический силлогизм (энтимема)
- •15.38. Сложные и сложносокращенные силлогизмы (полисиллогизм, сорит, эпихейрема)
- •15.39. Прогрессивный полисиллогизм
- •15.40. Регрессивный полисиллогизм
- •15.41. Прогрессивный сорит
- •15.42. Регрессивный сорит
- •15.43. Эпихейрема
- •Глава 16. Недемонстративные (правдоподобные) умозаключения
- •16.1. Общая характеристика правдоподобных умозаключений
- •16.2. Отношение подтверждения в правдоподобных умозаключениях
- •16.4. Правдоподобные (индуктивные) умозаключения
- •16.5. Виды индукции
- •16.6. Полная индукция
- •16.7. Математическая индукция
- •16.8. Неполная индукция (популярная)
- •16.9. Научная индукция
- •Глава 17. Индуктивные методы установления причинных связей
- •17.1. Метод единственного сходства
- •17.2. Метод единственного различия
- •17.4. Метод сопутствующих изменений
- •17.5. Метод остатков
- •17.6. Характеристики причинных связей, делающие возможным применение методов научной индукции
- •17.7. Ошибки, встречающиеся при обнаружении причинных связей
- •Глава 18. Умозаключения по аналогии
- •18.1. Аналогия
- •18.2. Структура аналогии
- •18.3. Виды умозаключений по аналогии по характеру информации
- •18.4. Виды умозаключений по аналогии по характеру выводного знания
- •Введение. Логические основы аргументации
- •Глава 19. Общая характеристика аргументации
- •19.1. Обоснование как основа аргументации
- •19.2. Аргументация как способ рассуждения
- •19.3. Аргументация как рациональный процесс
- •19.4. Виды аргументации
- •19.6. Условия доказательности и недоказательности аргументации
- •19.7. Структура доказательства
- •19.8. Способы доказательств
- •19.9. Виды доказательств
- •19.12. Критика и опровержение
- •19.13. Способы опровержения
- •19.16. Правила по отношению к форме доказательства и возможные ошибки
- •Введение. Логика в процессе развития научного знания
- •Глава 20. Проблема
- •20.1. Общая характеристика проблемы
- •20.2. Типология проблем
- •20.3. Обобщенная схема типологии проблем
- •20.4. Процесс решения проблемы
- •Глава 21. Гипотеза
- •21.1. Общая характеристика гипотезы
- •21.2. Построение гипотезы
- •21.3. Условия состоятельности гипотезы
- •21.4. Проверка гипотезы
- •21.5. Логическое доказывание гипотез
- •Глава 22. Теория
- •22.1. Теория, ее элементы и функции
- •22.2. Классификация теорий
- •Практикум
- •Раздел 1. Образцы решения типовых задач
- •Раздел 2. Задания для самостоятельной работы студентов очной и заочной формы обучения
- •Приложения
16. Недемонстративные (правдоподобные) умозаключения |
205 |
|
|
16.5. Виды индукции
Обобщающая индукция
Рассуждение, в котором осуществляется переход от знания об отдельных предметах класса или о некоторых
его частях к знанию обо всем классе в целом.
Полная
Вывод (обобщение) делается на основе исследования всех элементов класса, относительно которого конструируется рассуждение.
Неполная
Вывод (обобщение) делается на основе исследования только части элементов класса, относительно которого конструируется рассуждение.
|
|
|
|
|
Популярная |
|
Научная |
Математическая |
|
Эмпирическая |
|
|
|
|
|
|
|
|
|
|
|
|
|
Прием |
доказате- |
|
Рассуждение, ос- |
|
Установление по- |
|
Установление по- |
льств общих поло- |
|
нованное на не- |
|
вторяемости при- |
|
вторяемости при- |
|
жений в дедуктив- |
|
посредственном |
|
знаков у некото- |
|
знака у некоторых |
|
ных науках. Обо- |
|
(опытном) иссле- |
|
рых предметов |
|
предметов класса |
|
снование общего |
|
довании элемен- |
|
класса путем их |
|
на основе обнару- |
|
положения основа- |
|
тов относительно |
|
простого перечис- |
|
жения причинной |
|
но на возможности |
|
небольшого и ре- |
|
ления. Цель – кон- |
|
зависимости этого |
|
доказательства каж- |
|
гистрируемого мно- |
|
статация наличия |
|
признака от опре- |
|
дого из частных слу- |
|
жества. |
|
сходства у иссле- |
|
деленных свойств |
|
÷àåâ. |
Основа – |
|
|
|
дуемых предметов |
|
предмета. |
принцип бесконеч- |
|
|
|
по определенному |
|
|
|
ной индукции по |
|
|
|
признаку. |
|
|
|
натуральному ряду. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Âиндуктивной логике различают индукцию как специфический тип рассуждения (как вывод) и индукцию как вид эмпирического (опытного) познания, где она выступает:
• одним из методов образования эмпирических понятий;
•одним из методов открытия причинно-следственных закономерностей и гипотез;
• одним из методов подтверждения и обоснования эмпирических законов;
• основой построения естественных классификаций.
Âпроцессе определения и решения познавательных задач различают также индукцию как метод получения нового знания и индукцию как метод обоснования гипотез и теорий.
206 |
IV. Умозаключение |
|
|
16.6. Полная индукция
Полная индукция — умозаключение, в котором на основе принадлежности определенного признака каждому элементу или каждой части класса делается вывод о его
принадлежности классу в целом. Полная индукция предполагает закрытие класса, число элементов, в котором является конечным.
|
Рассмотрим множество А = {а1, à2, ..., àn}. |
|
|
|||
|
Схема полной эмпирической |
В записи на языке логики предика- |
||||
|
индукции: |
|
òîâ: |
|
|
|
1. |
à1 |
имеет признак Р |
|
1. |
Ð(à1) |
|
|
à2 |
имеет признак Р |
|
|
Ð(à2) |
|
|
à3 |
имеет признак Р |
|
|
Ð(à3) |
|
|
................................ |
|
............................. |
|
||
|
àn имеет признак Р |
|
Ð(àn) |
|||
2. |
à1, à2, à3, ..., àn – составляют |
2. |
n + 1. {à1, à2, à3, ..., àn} = S |
|||
|
|
класс А |
|
|
|
|
|
|
|
|
|||
З а к л ю ч е н и е: Все предметы х, |
Àx (S(x) Ð(õ)), |
в точности составляющие класс А, име-
ют признак Р. |
где областью определения х является |
|
множество S. |
||
|
Ï ð è ì å ð
Свидетелями по делу Беляева являются граждане М., Н., П., Л., К. Во вторник были допрошены свидетели П. и Н. (посылки), на следующий день — остальные свидетели (посылки).
Следовательно, допрошены все свидетели по делу Беляева (заключение).
В первых n посылках выражены результаты эмпирической проверки предметов а1, à2, à3 ..., àn на наличие
óних определенного свойства Р. Посылки подтверждают наличие такого свойства у каждого предмета. n + 1 посылка показывает, что все проверенные предметы в точности составляют класс S. Все это дает достоверное заключение о наличии свойства Р
óвсех предметов класса S.
16. Недемонстративные (правдоподобные) умозаключения |
207 |
|
|
16.7. Математическая индукция
Математическая индукция — это рассуждение, используемое в логике и математике. Она является разновидностью полной индукции и отличается от нее тем, что имеет дело с бесконечным множеством предметов.
Математическая индукция является средством доказательства общих положений в математике и других дедуктивных науках. Она по характеру своего заклю- чения является дедуктивным умозаключением, а по структуре (строению) – индуктивным умозаключением, поскольку в ней осуществляется переход от знания об отдельных предметах класса или о подклассе класса к знанию о всех предметах класса или о классе в целом.
Математическая индукция строится на основе особенностей натурального ряда чисел. Этому ряду присуща закономерность: каждое последующее число больше предыдущего ровно на единицу. Эта особенность натурального ряда позволяет доказывать некоторые общие утверждения посредством определенных процедур.
Математическая индукция как процедура основывается на использовании двух высказываний.
1.Первое единичное высказывание представляет собой базис индукции. В нем доказывается утверждение, что 1 обладает свойством Р.
2.Второе общее импликативное высказывание представляет собой некоторое положение. В нем предполагается, что если произвольное число n обладает свойством Р, то последующее за ним число n + 1 также обладает свойством Р. Антецедент (основание) данного импликативного высказывания называется индуктивным предположением, а консеквент – индуктивным шагом.
Таким образом, обосновывается доказательство присущности свойства Р любому натуральному числу, т.е. если первое и второе положения достоверны, то можно заключить, что все натуральные числа обладают свойством Р и это свойство принадлежит всему классу натуральных чисел.
В символической записи математическую индукцию можно представить следующим образом.
Допустим, что Р — определенное свойство натуральных чисел, тогда
|
Ð(1) è Ð(n) Ð(n + 1) |
ãäå Ð(1) |
— базис индукции; |
Ð(n) |
— индуктивное предположение; |
Ð(n + 1) |
— индуктивный шаг; |
S— класс натуральных чисел.
A
x(S(x) P(x)),
Здесь (S) состоит из счетной последовательности предметов {1, 2, 3, ...}, при этом первый предмет обладает свойством Р. Запись Р(n) Р(n + 1) означает: если предмет с номером n обладает свойством Р, то и предмет с номером n + 1 обладает свойством Р; Р(n) — означает, что все предметы обладают свойством Р.
Математическая индукция как разновидность полной индукции дает достоверное знание.
208 |
IV. Умозаключение |
|
|
16.8. Неполная индукция (популярная)
Неполная индукция — это индуктивное умозаключение, заключением которого является суждение о множестве предметов, полученное на основании знания только некоторых предметов, принадлежащих к данному множеству (классу).
Популярная индукция — это неполная индукция, в которой отсутствует определенный метод отбора предметов, служащих посылками данного умозаключе- ния. Заключение популярной индукции — предположительное, вероятное, правдоподобное.
|
|
Схема популярной индукции: |
В записи на языке логики предикатов: |
||||
|
1. |
à1 имеет признак Р |
|
|
1. Ð(à1) |
||
|
|
à2 имеет признак Р |
|
|
Ð(à2) |
||
|
|
à3 имеет признак Р |
|
|
Ð(à3) |
||
|
|
............................... |
|
|
............................. |
||
|
|
àn имеет признак Р |
|
|
Ð(àn) |
||
|
2. |
à1, à2, à3, ..., àn – принадлежит |
|
|
2. n + 1. {à1, à2, à3, ..., àn} S |
||
|
|
множеству А |
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
À x(S(x) Ð(õ)) |
|
|
Заключение: |
|
|
||||
Все предметы а, принадлежащие классу |
|
|
|
||||
А, имеют признак Р. |
|
|
|
||||
Ï ð è ì å ð |
|
|
Если при полной индукции класс |
||||
1. |
В Аргентине говорят на испанском языке. |
|
(à1, à2, à3 ..., àn) в точности совпа- |
||||
|
В Эквадоре говорят на испанском языке. |
|
дает с классом S, то при непол- |
||||
|
В Венесуэле говорят на испанском языке. |
|
ной индукции он составляет лишь |
||||
|
|
|
|
|
|||
2. |
Аргентина, Эквадор, Венесуэла — южно- |
|
часть класса S. Значит, вполне |
||||
|
американские страны. |
|
|
возможно, что другая часть клас- |
|||
|
|
|
|
|
|||
|
|
|
|
|
са S может включать предметы, |
||
Во всех южно-американских странах говорят на |
|||||||
не обладающие свойством Р. |
|||||||
|
|
|
|
|
|||
испанском языке. |
|
|
|
||||
|
|
|
|
|
Все это дает правдободобное за- |
||
(Заключение ложно, так как в Бразилии гово- |
ключение: |
||||||
|
|
|
|
|
|||
рят на португальском языке). |
|
|
|
||||
|
|
|
|
|
Àx(S(x) Ð(õ)). |
Применение неполной индукции определяется относительной ограниченностью полной эмпирической индукции, ее неспособностью в ряде случаев охватить весь класс предметов. Логический переход в неполной индукции от некоторых ко всем предметам или частям класса не является произвольным. Он обусловлен объективными основаниями — реальной зависимостью между всеобщим характером признаков и устойчивой их повторяемостью в ситуациях эмпирического опыта. Этим и объясняется широкое использование неполной индукции на практике.