
- •Список рекомендуемой литературы ко всему курсу
- •Раздел I
- •Раздел II
- •Раздел III
- •Раздел IV Умозаключение как форма мышления.
- •Доказательство как форма мышления.
- •Гипотеза как форма развития знания.
- •Планы семинарских занятий (16 часов)
- •Контрольная работа.
- •Тема I. «понятие»
- •I. Перечислить признаки, входящие в содержание следующих понятий, и предметы, входящие в их объем
- •II. Дать полную логическую характеристику понятиям из упр. I.
- •IV. Проверить правильность обобщения понятий
- •V. Проверить правильность ограничения понятий
- •VI. Разобрать структуру определения, выделив определяемое и определяющее, а в определяющем – родовое понятие и видовое отличие
- •VII. Проверить правильность определения:
- •VIII. В следующих примерах различить операции деления понятия и мысленного расчленения предмета. Примеры деления понятия проанализировать, разобрав структуру и проверив соблюдение правил деления
- •Тема II. «суждение»
- •I. Указать, какие из предложений выражают суждения, а какие не выражают, и обосновать свой ответ
- •II. В следующих простых суждениях определить субъект, предикат, связку и квантор
- •III. Определить вид суждений из упражнения II по количеству и качеству, изобразить объемные отношения между терминами и указать их распределенность.
- •IV. По заданной распределенности терминов построить суждения и указать их тип по количеству и качеству
- •V. Полагая исходные суждения сначала истинными, затем – ложными, сделать все возможные выводы по логическому квадрату
- •VI. Произвести отрицание простых суждений, приведённых в упражнении II.
- •VII. Определить вид сложного суждения и формализовать его. Произвести отрицание формул и примеров
- •VIII. Придумать примеры, соответствующие следующим формулам сложных суждений.
- •IX. Сформулировать импликативное суждение, отвечающее следующему условию:
- •X. Преобразовать импликативное суждение в простое и подвергнуть последнее отрицанию:
- •XI. Преобразовать простое суждение в импликативное и подвергнуть последнее отрицанию:
- •Тема III. «умозаключение»
- •I. Проверить правильность силлогизма:
- •Порядок разбора силлогизма
- •II. Опровергнуть общие суждения, используя третью фигуру силлогизма
- •III. Проверить правильность условно-категорических силлогизмов, указав их модус
- •IV. Проверить правильность разделительно-категорических силлогизмов, указав их модус
- •V. Восстановить энтимему до простого категорического силлогизма и проверить его правильность
- •VI. Восстановить энтимему до условно-категорического силлогизма и проверить его правильность
- •VII. Восстановить энтимему до разделительно-категорического силлогизма и проверить его правильность
- •VIII. Определить, какой метод индукции используется для выявления причины явления, формализовать умозаключение и установить, соблюдаются ли условия истинности соответствующего метода.
- •153025 Иваново, ул. Ермака, 39
V. Восстановить энтимему до простого категорического силлогизма и проверить его правильность
Ни один из тех, кто не решил задачу, не получит зачет, значит, Сидоров получит зачет
Джон англичанин, потому что все англичане говорят по-английски
Данное суждение является частным, так как не является общим
Все правильные силлогизмы содержат 3 термина, следовательно, этот силлогизм — правильный.
Пример:
Ни один из тех, кто не решил задачу, не получит зачет, значит, Сидоров получит зачет
Поскольку энтимема – это силлогизм с пропущенной посылкой или заключением, постольку в ней два суждения, связанных союзом. С анализа союза и начинается разбор энтимемы; союз позволяет определить место имеющихся суждений в структуре силлогизма: заключение находится после союзов «следовательно», «значит» или перед союзами «так как», «потому что». В нашем примере в заключении Сидоров получит зачет находим S (Сидоров) и P (те, кто получит зачет). Анализируем оставшееся суждение: если в нем расположен S, то это меньшая посылка; если Р, то большая посылка. В нашем примере это большая посылка, так как в ней находится больший термин (те, кто получит зачет). Другой же термин в этом суждении (тех, кто не решил задачу) будет являться средним термином простого категорического силлогизма. Формулируем пропущенную меньшую посылку, в которой в нашем примере связаны средний и меньший термины (Сидоров не решил задачу). Далее разбираем простой категорический силлогизм (порядок разбора см. в упр. I).
VI. Восстановить энтимему до условно-категорического силлогизма и проверить его правильность
Если человек не имеет аттестата о среднем образовании, то он не имеет права поступить в университет, следовательно, Сидоров имеет аттестат о среднем образовании
Если туман не рассеется, то вылет будет задержан, значит, туман не рассеялся
Если задача решена правильно, то ответ совпадает с данным, а ответ совпадает с данным
Данное суждение является частным, так как не является общим
Эта фигура квадрат, так как все стороны у нее равны
VII. Восстановить энтимему до разделительно-категорического силлогизма и проверить его правильность
Чемпион мира по футболу – Бразилия, следовательно, Германия чемпионом мира по футболу не является.
Данное суждение является частным, так как не является общим
Данное сложное суждение не является разделительным, следовательно, является условным
VIII. Определить, какой метод индукции используется для выявления причины явления, формализовать умозаключение и установить, соблюдаются ли условия истинности соответствующего метода.
В столовой отравился человек. Установлено, что он ел селедку, щи, котлеты, компот. Среди других посетителей нашелся человек, который ел селедку, щи, жареную рыбу, компот и не отравился. Что явилось причиной отравления?
Потреблять огурцы в пищу опасно – с ними связаны все телесные недуги и несчастья. Установлено, что практически все люди, страдающие хроническими заболеваниями, ели огурцы. 99,7 процента всех лиц, ставших жертвами автокатастроф, ели огурцы. 93,1 процента всех несовершеннолетних преступников происходят из семей, где огурцы потребляли в пищу постоянно.
Пример:
В первом примере для анализа причины используется метод единственного различия.
Структура
A (котлеты), B (селедка), C (щи), D (компот) вызывают a (отравление)
B, C, D не вызывают a
______
Вероятно, А есть причина а
Условие истинности – различие должно быть единственным
ВОПРОСЫ К ЭКЗАМЕНУ
Предмет формальной логики. Значение формальной логики для науки и практической деятельности.
Мышление как предмет формальной логики. Истинность и правильность мысли. Язык и мышление.
Понятие логической формы. Сущность процесса формализации.
Понятие как форма мышления. Содержание и объем понятия.
Виды понятий.
Соотношение понятий по объему.
Операция «определение понятий». Виды определений. Приемы, заменяющие определения. Правила определения.
Операция «деление понятий». Виды деления. Правила деления. Деление и расчленение.
Определение суждения. Виды суждений. Суждение и функция высказывания
Суждения простые и сложные. Структура простых суждений
Классификация простых суждений по количеству и качеству. Распределенность терминов в суждении.
Отношения между простыми суждениями. Логический квадрат. Отрицание простых суждений.
Определение сложных суждений. Суждения конъюнктивные и дизъюнктивные.
Импликация. Необходимое и достаточное условие. Суждения эквивалентности.
Отрицание сложных суждений.
Умозаключение как форма мышления. Дедукция, индукция, аналогия, их роль в процессе познания.
Непосредственные дедуктивные умозаключения
Опосредованные дедуктивные умозаключения. Простой категорический силлогизм и его структура. Аксиома силлогизма.
Правила терминов, посылок и фигур простого категорического силлогизма.
Сложные и сокращенные силлогизмы. Полисиллогизм. Сорит. Энтимема. Эпихейрема.
Умозаключения из сложных посылок. Условные и условно-категорические умозаключения и их правила.
Умозаключения из сложных посылок. Разделительно-категорические и лемматические умозаключения и их правила
Индукция через простое перечисление и ее виды.
Индуктивные методы определения причинно-следственной связи. Методы единственного сходства и единственного различия.
Индуктивные методы определения причинно-следственной связи. Методы сопутствующих изменений и остатков.
Основные законы правильного рассуждения. Законы тождества и непротиворечия.
Основные законы правильного рассуждения. Законы исключенного третьего и достаточного основания.
Доказательство как форма мышления. Структура и виды доказательств. Правила доказательств. Логические ошибки: софизмы и паралогизмы.
Опровержение, его структура и его виды. Правила опровержения.
Гипотеза как форма развития знания. Определение гипотезы. Структура и виды гипотез. Гипотетико-дедуктивный метод.
Составитель
РЯБОВ Олег Вячеславович
ЛОГИКА
Методические рекомендации, тематика лекций,
планы семинарских занятий, вопросы к экзамену
для студентов гуманитарных факультетов
Редактор В. А. Киселева
Подписано в печать .02.2010.
Формат 60х84 1/16. Бумага писчая. Печать плоская.
Усл. печ. л. . Уч.-изд. л. . Тираж 200 экз.
Издательство «Ивановский государственный университет»