- •1.Мышление как предмет логики. Мышление и рассуждение. Мышление и познание.
- •2.Мышление и язык. Язык как знаковая система. Понятие знака и семиотические аспекты языка.
- •3.Логическая форма и логический закон. Формальная правильность и истинность.
- •4.Основные законы логики: их содержание и применение.
- •5.Логика и другие науки о мышлении. Место логики в процессе познания.
- •6.Понятие как форма мышления. Содержание и объём понятия.
- •7.Признаки и виды признаков, отражённых в понятии.
- •8.Закон обратного отношения между объёмом и содержанием понятия. Отношения род-вид, класс-подкласс-элемент.
- •9.Ограничение и обобщение понятий.
- •10.Логические виды понятий по объёму и по содержанию.
- •11. Отношения между понятиями. Виды отношений между совместимыми и несовместимыми понятиями. Круги Эйлера.
- •12.Возможность операций над классами понятий: объединение, пересечение. Языковая интерпретация операций.
- •13. Возможность операций над классами понятий: вычитание, образование дополнения. Языковая интерпретация операций.
- •14.Операция деления понятий. Логическая структура и виды деления.
- •15.Правила и ошибки деления. Классификация и её виды.
- •16. Операция определения понятий. Виды определений.
- •17.Логическая структура, правила и ошибки в определении.
- •18.Приёмы сходные с определением понятий.
- •19.Суждение как форма мышления. Виды суждений. Суждение и предложение.
- •20.Простое суждение, его структура. Деление суждений по характеру предиката.
- •1. Суждения свойства (атрибутивные).
- •2. Суждения с отношениями.
- •21. Простые категорические суждения, их деление по качеству и количеству.
- •22. Распределенность терминов в простом категорическом суждении.
- •23. Отношения между суждениями по логическому квадрату.
- •26. Модальные суждения. Виды модальностей.
- •28. Понятие умозаключения. Логическое следование. Структура умозаключения.
- •29. Виды умозаключений. Дедукция. Индукция. Аналогия.
- •30. Дедуктивные непосредственные умозаключения: превращение, обращение.
- •32. Дедуктивные опосредованные умозаключения: простой категорический силлогизм, его структура, аксиома силлогизма.
- •33. Фигуры и модусы простого категорического силлогизма. Правило фигур.
- •34. Правила терминов и посылок простого категорического силлогизма.
- •35. Энтимема. Восстановление силлогизма из энтимемы.
- •36.Полисиллогизм, их виды. Логическая структура.
- •37.Сорит. Эпихейрема
- •38. Условные и условно-категорические силлогизмы. Модусы и условия достоверности укс.
- •39. Разделительные и разделительно-категорические силлогизмы. Модусы ркс.
- •40. Условно-разделительные силлогизмы и их виды.
- •41. Понятие недедуктивных (правоподобных) умозаключений.
- •42. Индуктивные умз. Понятия полной и матеметической индукции.
- •43. Неполная индукция и её виды. Условия повышения вероятности вывода. Статическая индукция.
- •45. Умозаключение по аналогии, её виды. Условия повышения степени правоподобия выводов по аналогии.
- •46. Понятие научной проблемы. Общие принципы постановки и разрешения проблемы.
- •47. Вопрос как логическая форма постановки проблемы, структура и виды вопросов.
- •48.Гипотиза как форма развития знания. Логическая структура гипотезы.
- •49. Основные принципы, методы и этапы формирования гипотез. Проблема версификации и фальсификации гипотез.
- •50.Подтверждение и опровержение гипотез.
- •52.Виды доказательств.
- •53. Понятие опровержения. Виды опровержений.
- •54.Требования, предъявляемые к доказательствам и опровержениям.
- •55. Ошибки в доказательстве и опровержении.
- •56.Парологизмы, пародоксы и софизмы.
29. Виды умозаключений. Дедукция. Индукция. Аналогия.
Умозаключение - форма мышления, в которой из одного или нескольких суждений на основании определенных правил вывода получается новое суждение с необходимою или с определенной степенью вероятности следующее из них.
Умозаключения делятся на следующие виды.
В зависимости от строгости правил вывода различают демонстративные (необходимые) и недемонстративные (правдоподобные) умозаключения. Демонстративные умозаключения характеризуются тем, что заключение в них с необходимостью следует из посылок, т.е. логическое следование в такого рода выводах представляет собой логический закон. В недемонстративных умозаключениях правила вывода обеспечивают лишь вероятностное следование заключения из посылок. Умозаключения делятся на:
1. Дедуктивные - от общих суждений к частным;
2. Индуктивные - от частных суждений к общим.
3. По аналогии - от частных суждений к частным. Умозаключения могут быть логически необходимыми, т.е. давать истинное заключение, и вероятностными (правдоподобными), т.е. не давать истинное заключение, а лишь с определенной степенью вероятности следующее из данных посылок. Дедуктивными («выведение») называется умозаключение, в котором переход от общего знания к частному является логически необходимым. Правила дедуктивного вывода определяются характером посылок, которые могут быть простыми (категорическими) или сложными суждениями. В зависимости от количества посылок дедуктивные выводы из категорических суждений делятся на непосредственные, в которых заключение выводится из одной посылки, и опосредствованные, в которых заключение выводится из двух посылок.
30. Дедуктивные непосредственные умозаключения: превращение, обращение.
Непосредственными УМЗ называются УМЗ, делаемые из 1-й посылки . К ним относятся превращение, обращение, противопоставление предикату и УМЗ по логическому квадрату.
Превращение - вид непосредственного УМЗ, при котором изменяется качество посылки без изменения ее количества, при этом предикат заключения является отрицанием предиката посылки.
Схема - S есть Р Вывод - S не есть не Р. “Все галогены являются неметаллами, Ни один галоген не является металлом”.
Обращение - такое непосредственное УМЗ, в котором в заключении субъектом является предикат, а предикатом - субъект исходного суждения. Схема - S есть Р, Р есть S. “Некоторые школьники - спортсмены, Некоторые спортсмены - школьники”.
31. Дедуктивные непосредственные умозаключения: противопоставление предикату, умозаключение по логическому квадрату.
Противопоставление предикату - в заключении предиката является субъект, а субъектом - понятие, противоречащее предикату исходного суждения, и связка меняется на противоположную.
Схема S есть Р, неS не есть S. “Все львы хищные животные. Ни одно нехищное животное не является львом”. Умозаключение по логическому квадрату. Учитывая свойства отношений между категорическими суждениями А, Е, I и О, которые представлены схемой логического квадрата, можно строить выводы, устанавливая следование истинности или ложности одного суждения из истинности или ложности другого суждения. Умозаключение противоречия (A - O, E - I) основывается на логическом законе исключенного третьего, согласно которому если утверждение чего-либо истинно, то отрицание этого ложно, наоборот. Предположим, необходимо установить истинность общеотрицательного суждения. Это возможно сделать, если нам удастся установить ложность частноутвердительного суждения. Если желательно установить истинность частноотрицательного, например, суждения, то при невозможности сделать именно это устанавливается ложность общеутвердительного и на основании логического квадрата говорят о требуемом.Умозаключение противоположности (A - E) также основано на логическом квадрате и происходит на базе закона противоречия. Из истинности одного суждения следует ложность другого суждения, но из ложности одного из них не следует истинность другого. Ложными могут быть оба суждения.В умозаключениях противоположности вывод делается либо о ложности общего суждения, либо о ложности единичного суждения. Например, из истинного суждения "Ни один человек не является машиной" можно установить ложность суждения "Все люди - машины". Умозаключение субконтрарности (I - O) дает возможность получить истинные частноутвердительные или частноотрицательные суждения. Из ложности одного суждения следует истинность другого, но из истинности одного из них может следовать как истинность, так и ложность другого. Истинными могут быть оба суждения. Так например, из ложного суждения "Некоторые врачи не имеют медицинского образования" следует истинное суждение "Некоторые врачи имеют медицинское образование", а из истинности суждения "Некоторые свидетели допрошены" можно получить суждение "Некоторые свидетели не допрошены", которое может быть как истинным, так и ложным.Таким образом, субконтрарные суждения не могут быть вместе ложными; по крайней мере, одно из них необходимо истинно.Последний подвид умозаключения по логическому квадрату - умозаключения подчинения (A - I, E - O), которые позволяют получить истинные частноутвердительные или частноотрицательные суждения. Из истинности подчиняющего суждения следует истинность подчиненного суждения, но не наоборот: из истинности подчиненного суждения истинность подчиняющего не следует, оно может быть как истинным, так и ложным.Скажем, из истинности суждения "Все философы так или иначе интересовались проблемой смысла жизни" можно сделать вывод "Некоторые философы интересовались проблемой смысла жизни" - истинное суждение. (Если верно, что все философы интересовались проблемой смысла жизни, то верно и то, что по крайней мере некоторые из них также интересовались этой проблемой).