Конспект по логике материалы к лекциям для студентов по программе бакалавриата

Вид материалаКонспект

Содержание


2. Полноте представления структурных элементов
4. Числу посылок
Дедуктивные выводы из простых суждений
Непосредственные умозаключения
1. Изменению связи между S и P
2. Установлению отношений между суждениями свойства
Простое категорическое умозаключение
Простой категорический силлогизм (ПКС)
Энтимема пкс
Выводы из сложных суждений
Условные умозаключения
Виды условных умозаключений
Чисто- условный силлогизм (ЧУС)
Условно категорический силлогизм (УКС)
Разделительные умозаключения
Условно-разделительный силлогизм (УРС)
1. Направленности вывода
Подобный материал:
1   2   3   4   5   6



Умозаключение Общая характеристика умозаключений



Знания

Умения

1. Умозаключение

2. Структура умозаключения


3. Виды выводов


4. Виды умозаключений по раз-ным основаниям



1. Выделять структурные элементы умозаключения:
  • посылка
  • заключение
  • демонстрация

2. Определять вид вывода:
  • достоверный (истинный и правильный)
  • вероятный (ложный и правильный)

3. Определять вид умозаключения:
  • дедуктивный, индуктивный, традуктивный
  • полный или сокращенный
  • непосредственный или опосредованный
  • из простых или сложных суждений

Название

Содержание


Умозаключение

форма мысли, в которой из известного знания выводится новое знание


Название

Содержание

Структурные элементы

умозаключения
  • посылки
  • заключение



  • демонстрация



    • суждение, содержащее исходное знание
    • суждение, содержащее новое знание, полученное из посылок
    • способ перехода от посылок к заключению




Виды выводов

  • истинный, правильный



  • ложный, правильный



  • истинный, неправильный



  • ложный, неправильный



    • содержание посылок истинно и правила вывода соблюдены
    • содержание посылок ложно, но правила вывода соблюдены
    • (вероятный) содержание посылок истинно, но правила вывода не соблюдены
    • содержание посылок ложно и правила вывода не соблюдены




Классификация

умозаключений по:

1. Степени общности знания
  • дедуктивные
  • индуктивные
  • традуктивные (по аналогии)

2. Полноте представления структурных элементов
  • полные
  • сокращенные (энтимемы)

3. Составу
  • выводы из простых суждений
  • выводы из сложных суждений

4. Числу посылок
  • непосредственные
  • опосредованные



Вывод строится:
    • от общего к частному
    • от частного к общему
    • на основе уподобления


Структурные элементы прописаны:
  • все
  • некоторые

Умозаключения, в состав которых входят:
  • простые суждения
  • сложные суждения

Умозаключения, в которых вывод следует:
  • из одной посылки
  • из двух или более посылок


ДЕДУКТИВНЫЕ ВЫВОДЫ ИЗ ПРОСТЫХ СУЖДЕНИЙ

Непосредственные умозаключения


Знания

Умения

1. Превращение

2. Обращение

3. Логический квадрат (отношения между суждениями свойства)



1. Осуществлять операции:
  • превращение
  • обращение

2. Устанавливать отношения между суждениями свойства по логическому квадрату

3. Определять истинность и ложность суждений свойства на основе отношений между ними


Название

Содержание

Непосредственные умозаключения

умозаключения, в которых новое знание получается из одной посылки посредством извлечения из нее неявной информации

Название

Содержание

Виды непосредственных умозаключений по:

1. Изменению связи между S и P
  • превращение



  • обращение:



    • с ограничением
    • без ограничения

! примечание
  • правило обращения



    • противопоставление P
    • противопоставление S



Изменяются:
  • связка на противоположную
  • предикат на противоречащее понятие
  • S и P меняются местами;
  • количество суждения может измениться:

изменяется

не изменяется
  • частноотрицательные суждения (О) не обращаются
  • термин нераспределенный в посылке нераспределен в заключении

превращение + обращение (результата превращения)

обращение + превращение (результата обращения)


2. Установлению отношений между суждениями свойства (логический квадрат)






Логический анализ

непосредственного умозаключения


1. Нахождение непосредственного умозаключения в тексте

2. Формализация посылок и заключения

3. Получение вывода через проведение основных операций: превращение, обращение; и производных операций: противопоставления S и Р

4. Символическая запись (формула) проведенных операций

5. Получение вывода через установление отношений между суждениями свойства

6. Проверка истинности и ложности вывода при установлении отношений


ПРОСТОЕ КАТЕГОРИЧЕСКОЕ УМОЗАКЛЮЧЕНИЕ


Знания

Умения

1. Простой категорический силлогизм (ПКС)

2. Структурные элементы ПКС


3. Правило записи ПКС



1. Выделять структурные элементы ПКС:
  • термины (больший, меньший, средний)
  • посылки (большая, меньшая)
  • заключение

2. Располагать в определенной последовательности структурные элементы ПКС: большая посылка, меньшая посылка, заключение


Знания

Умения

4. Фигура ПКС

5. Модус ПКС


6. Правила ПКС


7. Графический метод проверки правильности ПКС

8. Алгоритм анализа ПКС


3. Определять:
  • фигуру ПКС
  • модус ПКС

4. Проверять правильность ПКС тремя способами:
  • правила (общие и фигуры)
  • модус
  • графический метод

5. Анализировать ПКС

6. Делать выводы по ПКС

Название

Содержание

Простой категорический силлогизм (ПКС)

дедуктивное умозаключение, в котором заключение следует из двух простых суждений свойства на основании связи средним термином крайних терминов


Структурные элементы ПКС
  • Термины ПКС
    • меньший термин (S)
    • больший термин (Р)
    • средний термин (М)
  • Посылки ПКС
    • большая посылка
    • меньшая посылка
  • Заключение ПКС



  • понятия, которые входят в посылки и заключение
  • понятие, являющееся S в заключении
  • понятие, являющееся Р в заключении
  • равнозначные понятия, находящиеся в посылках
  • исходные суждения (известное знание)
  • суждение, в котором находится больший термин
  • суждение, в котором находится меньший термин
  • суждение, которое следует из посылок (новое знание)

Правило записи ПКС
  • 1 место
  • 2 место
  • 3 место



  • большая посылка
  • меньшая посылка
  • заключение

Виды ПКС по:


1. Составу (количественно-качественная характеристика суждений)

2. Местонахождению среднего термина


  • первая фигура



  • вторая фигура



  • третья фигура



  • четвертая фигура






  • правильные модусы (19)
  • неправильные модусы (237)


Графическое Чтение

изображение


средний термин занимает место S

в большей посылке и место Р в

меньшей посылке




средний термин занимает место Р

в обеих посылках




средний термин занимает место S

в обеих посылках


средний термин занимает место Р

в большей посылке и место S

в меньшей посылке




Название

Содержание

Способы проверки правильности ПКС
  • правила
    • модусы



    • графический метод



      • Вывод правильный



      • Вывод неправильный






        • общие и фигур (по учебнику)
        • количественно-качественная характеристика сос-тавляющих ПКС суждений
        • установление отношений между терминами в большей и меньшей посылках и на основе их определение отношений между терминами в заключении:
  • если между большим и меньшим терминами возможен только один вариант отношений
  • если между большим и меньшим терминами возможно более одного варианта отношений






Логический анализ простого категорического силлогизма

1. Нахождение ПКС в тексте

2. Выделение структурных элементов

3. Формализация составляющих ПКС суждений

4. Расположение структурных элементов по правилу записи ПКС

5,6. Определение фигуры и модуса

7. Проверка правильности тремя способами:
  • общие правила и правила фигур
  • модус
  • графический метод





ЭНТИМЕМА ПКС


Знания

Умения

1 Варианты пропусков структурных элементов ПКС


2. Алгоритмы восстановления энтимемы

1. Определять варианты пропусков структурных элементов ПКС

могут быть пропущены:
  • большая посылка
  • меньшая посылка
  • заключение

2. Восстанавливать энтимему по алгоритму



Название

Содержание

Энтимема ПКС


  • первый вариант
  • второй вариант
  • третий вариант

Правильная энтимема
  • с пропущенной посылкой



  • с пропущенным заключением

сокращенный силлогизм с пропущенными посылкой или заключением

Пропущены:
  • большая посылка
  • меньшая посылка
  • заключение


если (1) восстанавливается в правильный силлогизм и при этом (2) пропущенная посылка не является ложной

если заключение следует из посылок с необходимостью


Название

Содержание

Алгоритм восстановления

энтимемы ПКС
  • общий



  • пропущена посылка



  • пропущено заключение



1. Формализация данных суждений

2. Выяснение что дано:
  • заключение - располагается после слов: значит, следовательно, поэтому, таким образом, итак, отсюда видно; находится перед словами: так как, потому что, ибо, поскольку, ведь, оттого что
  • посылки - соединены словами: а, но, и, однако (имеют одно и то же понятие); располагаются после слов: так как, потому что, поскольку, ибо, ведь

3. Нахождение большего и меньшего терминов по заключению

4. Определение вида данной посылки

5. Установление вида пропущенной посылки

6. Восстановление пропущенной посылки с учетом ее истинности

7. Запись ПКС в восстановленном виде по его правилу

8. Проверка правильности ПКС

3. Нахождение среднего термина

4. Определение большей и меньшей посылок по степени общности знания

5. Восстановление заключения с учетом его истинности

6. Запись ПКС в восстановленном виде по его правилу

7. Проверка правильности ПКС


Выводы из сложных суждений


Выводы из сложных суждений

умозаключения, в состав которых входят сложные суждения


Чисто - условное умозаключение


Знания

Умения

1. Условное умозаключение

2. Чисто-условный силлогизм (ЧУС)

3. Структурные элементы ЧУС


4. Правило записи ЧУС


5. Символическая запись ЧУС

6. Правило ЧУС

7. Алгоритм анализа ЧУС

8. Восстановление ЧУС

9. Построение вывода по ЧУС



1. Выделять структурные элементы ЧУС:
    • условные посылки
    • заключение

2. Располагать в определенной последовательности структурные элементы ЧУС: одна условная посылка, другая условная посылка и т.д., заключение

3. Записывать символически ЧУС

4. Проверять правильность ЧУС

5. Анализировать ЧУС по алгоритму

6. Восстанавливать ЧУС

7. Делать выводы по ЧУС

Название

Содержание

Условные умозаключения

умозаключения, в которых хотя бы одна из посылок условное суждение

Название

Содержание

Виды условных умозаключений
  • чисто – условные силлогизмы (ЧУС)
  • условно – категорические силлогизмы (УКС)




Чисто- условный силлогизм (ЧУС)

умозаключения, в которых все посылки и заключение – условные суждения

Формула ЧУС


где:



(ab) (bc)

a → c

а – основание (1) 1-й условной посылки (2) заключения

b – следствие (1) 1-й условной посылки (2) основание 2-й условной посылки

с – следствие (1) 2-й условной посылки (2) следствия 1-й условной посылки (3) заключения


Структурные элементы

ЧУС

  • одна (первая) условная посылка (a → b)
  • другая (вторая) условная посылка (b → c)
  • заключение (a → c)

Правило записи ЧУС
  • 1 место



  • 2 место



  • 3 место






  • условное суждение, состоящее из основания первой условной посылки (а) и следствия первой условной посылки (b)
  • условное суждение, состоящее из основания второй условной посылки (b) (следствие первой условной посылки) и следствия второй условной посылки (c) (следствие следствия первой условной посылки)
  • условное суждение, состоящее из основания заключения (а) (основание первой условной посылки) и следствие заключения (с) (следствие второй условной посылки или следствие следствия первой условной посылки)




Правило ЧУС
  • развернутая формулировка



  • краткая формулировка



    • следствие заключения (следствие первой условной посылки и основание второй условной посылки) есть следствие основания заключения (основание первой

условной посылки)
  • следствие следствия есть следствие основания






Логический анализ чисто-условного силлогизма

1. Нахождение ЧУС в тексте

2. Выделение структурных элементов

3. Формализация составляющих ЧУС суждений

4. Расположение структурных элементов по правилу записи ЧУС

5. Запись символическая (формула)

6. Проверка правильности


Энтимема ЧУС
  • 1 вариант
  • 2 вариант
  • 3 вариант

Пропущены:
    • одна из условных посылок
    • заключение
    • разные части посылок или заключения


Условно – категорическое умозаключение


Знания

Умения

1. Условно-категорический силлогизм (УКС)

2. Структурные элементы УКС

3. Правило записи УКС


4. Модусы УКС по виду и направлению


5. Символическая запись УКС

6. Правила модусов

7. Алгоритм анализа УКС

8. Восстановление УКС

9. Построение вывода по УКС

1. Выделять структурные элементы УКС:
    • условные и категорические посылки
    • заключение

2. Располагать в определенной последовательности структурные элементы УКС: условная посылка, категорическая посылка, заключение

3. Определять модус по виду и направлению:
  • утверждающе – утверждающий
  • от утверждения основания к утверждению следствия
  • от утверждения следствия к утверждению основания
  • отрицающе - отрицающий
  • от отрицания основания к отрицанию следствия
  • от отрицания следствия к отрицанию основания

4. Записывать символически УКС

5. Проверять правильность УКС

6. Анализировать УКС по алгоритму

7. Восстанавливать УКС

8. Делать вывод по УКС

Название

Содержание

Условно категорический силлогизм (УКС)

умозаключение, в котором одна из посылок – условное суждение, а другая посылка и заключение – простые суждения

Структурные элементы

УКС

  • условная посылка (большая посылка)
  • категорическая посылка (меньшая посылка)
  • заключение

Правило записи УКС
  • 1 место
  • 2 место



  • 3 место



    • условная посылка, состоящая из основания и следствия
    • категорическая посылка, являющаяся утверждением или отрицанием основания или следствия условной посылки
    • заключение, включающее утверждение или отрицание другой части условной посылки по отношению к категорической посылке

Модусы УКС

(по виду и направленности вывода):
  • утверждающе – утверждающий
  • отрицающе – отрицающий


Рассуждение направлено от … в категорической посылке к … в заключении:
    • от утверждения основания к утверждению следствия
    • от отрицания основания к отрицанию следствия
    • от утверждения следствия к утверждению основания
    • от отрицания следствия к отрицанию основания

Правила УКС

  • достоверный вывод

(правильный, истинный)
  • вероятный вывод

(неправильный, истинный)


! примечание:


Рассуждение направлено от … в категорической посылке к … в заключении:
  • от утверждения основания к утверждению следствия
  • от отрицания следствия к отрицанию основания
  • от утверждения следствия к утверждению основания
  • от отрицания основания к отрицанию следствия


если условная посылка – эквиваленция, то все выводы достоверны

Название

Содержание

Формулы модусов УКС
  • утверждающе – утверждающий



  • отрицающе - отрицающий



! Примечание



  1. а в, а от… (утверждения основания)

в к… (утверждению следствия)


  1. а в, в от… (утверждения следствия)

а к… (утверждению основания)

3. а в, ¬а от…. (отрицания основания)

¬ в к… (отрицанию следствия)

4. а в, ¬в от… (отрицания следствия)

¬а к… (отрицанию основания)
  • если знаки перед суждениями не изменились, то это утверждение
  • если знаки перед суждением изменились, то это отрицание



Логический анализ условно-категорического силлогизма

1. Нахождение УКС в тексте

2. Выделение структурных элементов

3. Формализация составляющих УКС суждений

4. Расположение структурных элементов по правилу записи УКС

5. Определение модуса по виду и направленности вывода

6. Запись формулы модуса

7. Проверка правильности модуса

Энтимема УКС
  • 1 вариант
  • 2 вариант
  • 3 вариант
  • 4 вариант

Пропущены:
    • условная посылка
    • категорическая посылка
    • заключение
    • разные части условной, категорической посылок и заключения






Алгоритм восстановления энтимемы УКС

1. Выяснить, что дано

2. Установить, какие части опущены

3. Восстановить опущенные части

4. Расположить структурные элементы по правилу записи УКС

5. Записать формулу

6. Определить модус

7. Проверить правильность



Разделительные умозаключения


Знания

Умения

1. Разделительные умозаключе-ния

2. Разделительно-категоричес-кий силлогизм (РКС)




Знания

Умения

3. Структурные элементы РКС


4. Правило записи РКС


5. Модусы РКС


6. Символическая запись РКС 7. Правила модусов РКС

8. Алгоритм анализа РКС

8. Восстановление РКС

9. Построение вывода по РКС

1. Выделять структурные элементы:
  • разделительную посылку
  • категорическую посылку
  • заключение

2. Располагать в определенной последовательности:

разделительная посылка, категорическая посылка, заключение

3. Определять виды модусов
  • утверждающе – отрицающий
  • отрицающее - утверждающе

4. Записывать символически РКС

5. Проверять правильность РКС по модусу

6. Анализировать РКС по алгоритму

6. Восстанавливать РКС

7. Делать вывод по РКС

Название

Содержание

Разделительные умозаключения

умозаключения, в которых хотя бы одна из посылок разделительное суждение

Виды разделительных умозаключений
  • чисторазделительный силлогигизм
  • разделительно - категорический силлогизм (РКС)


Умозаключение, в котором:
    • все суждения – разделительные суждения



      • одна посылка – разделительное суждение, а другая посылка и заключение – простые категорические суждения

Структурные элементы РКС
  • разделительная посылка



  • категорическая посылка



  • заключение






    • разделительное суждение, состоящее из нескольких альтернатив
    • простое суждение, в котором утверждается или отрицается одна (несколько) из альтернатив разделительной посылки
    • суждение, в котором утверждается или отрицается другая (другие) из альтернатив разделительной посылки по отношению к категорической посылке

Правило записи РКС
  • 1 место
  • 2 место
  • 3 место



    • разделительная посылка
    • категорическая посылка
    • заключение

Модусы РКС


  • утверждающе – отрицающий
  • отрицающе - утверждающий

Рассуждение направлено от … одной (нескольких) альтернатив разделительной посылки в категорической посылке к … другой (другим) альтернативе разделительной посылки в заключении:
    • от утверждения к отрицанию
    • от отрицания к утверждению

Формулы РКС
  • утверждающе-отрицающий модус
  • отрицающе- утрерждающий





1) 2)

1) 2)

Название

Содержание

Правила РКС
  • утверждающе – отрицающий модус
  • отрицающе – утверждающий модус

Разделительная посылка:
    • сильная дизъюнкция



    • закрытая дизъюнкция (все альтернативы перечислены)


Логический анализ разделительно-категорического силлогизма

1. Нахождение РКС в тексте

2. Выделение структурных элементов

3. Расположение структурных элементов по правилу записи РКС

4. Определение модуса

5. Запись формулы модуса

6. Проверка правильности модуса

Энтимема РКС
  • 1 вариант
  • 2 вариант
  • 3 вариант

Пропущены:
    • разделительная посылка
    • категорическая посылка
    • заключение



Алгоритм восстановления энтимемы РКС

1. Выяснить, что дано

2. Установить, какие части пропущены

3. Восстановить пропущенные части

4. Расположить структурные элементы по правилу записи РКС

5. Определить модус

6. Записать формулу

7. Проверить правильность


Условно-разделительные умозаключения


Знания

Умения

1. Условно-разделительный силлогизм (УРС)

2. Структурные элементы УРС


3. Правило записи УРС


4. Виды дилемм по:
  • направленности вывода
  • составу



5. Символическая запись УРС

6. Правило УРС

7. Алгоритм анализа УРС

8. Восстановление УРС

9. Построение вывода по УРС


1. Выделять структурные элементы:
  • условные посылки
  • разделительные посылки
  • заключение

2. Располагать в определенной последовательности структурные элементы: условные посылки, разделительные посылки, заключение

3. Определять вид дилеммы по направленности вывода:
  • конструктивная
  • деструктивная

4. Определять вид дилеммы по составу:
  • простая
  • сложная

5. Записывать символически УРС

6. Проверять правильность УРС

7. Анализировать УРС по алгоритму

8. Восстанавливать УРС

9. Делать вывод по УРС

Название

Содержание

Условно-разделительный силлогизм (УРС)

умозаключения, в которых одна посылка – условное суждение, другая посылка – разделительное суждение, заключение – простое или сложное суждение

Название

Содержание

Виды УРС по числу альтернатив в разделительной посылке
  • дилеммы
  • полилеммы



В разделительной посылке содержатся альтернативы:
  • две
  • более двух

Структурные элементы УРС
  • условная посылка
  • разделительная посылка



  • заключение



  • условные суждения
  • разделительное суждение, в котором утверждаются основания или отрицаются следствия условной посылки
    • простое (сложное) суждение, в котором отрицается основание (основания), если в разделительной посылке отрицаются следствия; утверждается следствие (следствия), если в разделительной посылке утверждаются основания

Правило записи УРС
  • 1 место
  • 2 место
  • 3 место



    • условная посылка
    • разделительная посылка
    • заключение

Виды дилемм по:

1. Направленности вывода:
  • конструктивная дилемма



  • деструктивная дилемма

2. Составу суждения в заклю-чении:
  • простая дилемма
  • сложная дилемма

Рассуждение направлено от … в разделительной посылке к … в заключении
    • от утверждения основания к утверждению следствия



    • от отрицания следствия к отрицанию основания


В заключении находится суждение:
  • простое
  • сложное

Формулы УРС
  • конструктивная дилемма
    • простая



    • сложная



  • деструктивная дилемма
  • простая



  • сложная
















Правило УРС

вывод следует с необходимостью, если разделительная посылка – закрытая дизъюнкция < … > (все альтернативы перечислены)



Логический анализ условно-разделительного силлогизма

1. Нахождение УРС в тексте

2. Выделение структурных элементов

3. Расположение структурных элементов по правилу записи УРС

4. Определение вида УРС по направленности вывода и составу суждения в заключении

5. Запись формулы

6. Проверка правильности

Название

Содержание

Энтимема УРС
  • 1 вариант
  • 2 вариант
  • 3 вариант




Пропущены:
    • условная посылка или различные ее части
    • разделительная посылка
    • заключение






Алгоритм восстановления энтимемы УРС

1. Выяснить, что дано

2. Установить, какие части пропущены

3. Восстановить пропущенные части

4. Расположить структурные элементы по правилу записи УРС

5. Определить вид дилеммы по направленности вывода и составу суждения в заключении

6. Записать формулу

7. Проверить правильность