Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Логика Для Самоподготовки.docx
Скачиваний:
1
Добавлен:
01.07.2025
Размер:
206.45 Кб
Скачать
  1. Чисто-условное умозаключение

a b

b c

a c

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

a b утверждающий модус

a______

b

a b отрицающий модус

b_____

a

НЕПРАВЕЛЬНЫЕ МОДУСЫ

a b

b______

a

a b отрицающий модус

a_____

b

  1. Разделительно-категорическое умозаключение

a Vb утверждающе-отрицающий модус

a_______

b

aVbVc отрицающе-утверждающий модус

ab____

c

  1. Условно-разделительные умозаключения (леммы): различаются по количеству членов во второй посылке. Если два члена – то дилемма, если три члена – то трилемма, а есть четыре и более – полилемма.

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

( a b)(c b)

aVc______

b

Сложная конструктивная дилемма

( a b)(c d)

aVc______

bVd

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

( a b)(a c)

bVc______

a

Сложная деструктивная дилемма

( a b)(c d)

bVd______

aVc

Сокращенные, сложные и сложносокращенные силлогизмы

Энтимема – это ПКС, в котором пропущена одна из посылок или заключение.

Пример: все люди - братья, поэтому должны друг другу помогать.

Восстанавливаем энтимему:

Находим заключение (если оно есть).

Все братья должны помогать друг другу

Все люди братья______________

Люди должны помогать друг другу.

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

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

Пример:

А есть В

С есть А

С есть В

D есть С

D есть В

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

Пример:

А есть В

С есть А

В есть D

С есть В

C есть D

Сложносокращенные силлогизмы – полисиллогизмы, в которых пропущены некоторые посылки

Сорит

Прогрессивный сорит

А есть В Животные - смертны

С есть А Хищники - животные

D есть С Волк - хищник

D есть В Волк – смертен

Регрессивный сорит

А есть В Волк – хищник

В есть С Хищники - животные

С есть D Животные - смертны

А есть D Волк – смертен

Эпихейрема – сложносокращенный силлогизм, состоящий из энтимем.

Ложь заслуживает презрения, так как она безнравственна

Лесть это ложь, так как она искажает истину

Лесть заслуживает презрения

Безнравственное заслуживает презрения А есть В

Ложь безнравственна С есть А

Ложь заслуживает презрения С есть В

Искажение истины – это ложь D есть С

Лесть – искажение истины F есть D

Лесть – это ложь F есть С

Лесть заслуживает презрения F есть В

Индуктивное умозаключение – от частного к общему

Виды: полная (когда изучается каждый элемент множества)

Неполная (когда нет возможности изучить каждый элемент множества. Дает только предположительные выводы).

Неполная индукция бывает:

Популярной (через простое перечисление) – часто дает неверные результаты, так как опирается как на существенные, так и на несущественные признаки.

Научной – основана на выявлении внутренних сущностных связей между предметами и их признаками.

Методы научной индукции:

Метод сходств

ABC --------------------a

AFG--------------------a

A-------a

Метод различий

ABCD -----------------------a

BCD-------------------------не-а

А-------а

Метод сопутствующих изменений

A1BCD--------------------a1

A2BCD--------------------a2

A3BCD--------------------a3

A-------a

Метод остатков

ABC--------abc

B--------b

C--------c

A--------a

АНАЛОГИЯ – умозаключение, в котором на основании сходства предметов по одним признакам и отношениям, происходит перенос других признаков и отношений с одного предмета на другой.

Например:

Катя ходит в школу и заполняет дневник

Петя тоже ходит в школу

Петя тоже заполняет дневник

Аналогия признаков

A -----------------------bcdfg

B------------------------bcdf

B-----------------------g

Аналогия отношений

aR1b  aR2b Петя выше Васи и Петя старше Васи

cR1f Коля выше Димы

cR2f Коля старше Димы

Правила аналогии:

  1. Сопоставлять предметы по возможно большему количеству признаков

  2. Сопоставлять разнородные признаки

  3. Убедиться, что между сходными признаками (отношениями) и переносимыми признаками (отношениями) есть существенная связь.