- •Предмет и значение логики
- •Понятие как форма мышления. Объём и содержание понятия
- •Отношения между объектами понятий
- •Обобщение и ограничение понятий
- •Деление понятий. Классификация. Типология
- •Определение (дефиниция). Виды определений. Правила определения и ошибки при их нарушении
- •Суждение как форма мышления (общая хар-ка)
- •Логические отн. Между атрибутивными суждениями
- •Сложные суждения. Понятие логического союза
- •Умозаключение как форма мышления (общая хар-ка)
- •Непосредственные силлогические выводы
- •Простой категорический силлогизм, его ст-ра. Фигуры простого категорического силлогизма, их правила
- •Основные правила категорического силлогизма
- •Сложные силлогизмы :полисиллогизм, эпихейрема
- •Сокращенные силлогизмы: энтимема, сорит
- •Условные умозаключения: чисто условные и условно-категорические умозаключения
- •Разделительные умозаключения
- •Условно-разделительные умозаключения
- •Умозаключения по аналогии
- •Индуктивные умозаключения. Виды индукции
- •Природа и виды диалога
- •Диалог и вопросно-ответный комплекс
- •Вопрос как форма мысли, виды вопросов
- •Ответ и его виды
- •Аргументация её место и роль в структуре диалога
- •Доказательство
- •Опровержение
- •Требования к ведению диалога: общие требования, требования к тезису, требования к аргументам, требования к демонстрации
- •Уловки, применяемые в споре и способы их нейтрализации
Сокращенные силлогизмы: энтимема, сорит
Энтимема, или сокращенный категорический силлогизм - силлогизм, в котором пропущена одна из посылок или заключение.
“Все кашалоты - киты, следовательно, все кашалоты - млекопитающие”-энтимема(Здесь пропущена большая посылка)
Все киты - млекопитающие.
Все кашалоты - киты
Все кашалоты - млекопитающие.
сорит |
|
Прогрессивный сорит |
Регрессивный сорит |
получается из прогрессивного полисиллогизма путем выбрасывания заключений предшествующих силлогизмов и больших посылок последующих. Прогрессивный сорит начинается с посылки, содержащей предикат заключения, и заканчивается посылкой, содержащей субъект заключения Все продукты, содержащие витамины (А), полезны (В). Фрукты (С) - продукты, содержащие витамины (А). Бананы (D) фрукты (С). Бананы (D) полезны (В). Все А суть В. Все С суть А. Все D суть С. Все D суть В. |
получается из регрессивного полисиллогизма путем выбрасывания заключений просиллогизмов и меньших посылок эписиллогизмов. В просиллогизме меняем местами посылки. Регрессивный сорит начинается с посылки, содержащей субъект заключения, и кончается посылкой, содержащей предикат заключения Все розы (А) - цветы (В). Все цветы (В) - растения (С). Все растения (С) дышат (D). Все розы (А) дышат (D).
Все А суть В. Все В суть С. Все С суть D. Все А суть D. |
Условные умозаключения: чисто условные и условно-категорические умозаключения
подразделяются на:
чисто условные –обе послки и заключение явл условныи суждениями
(p q), (q r)
p r
условно категорические –одна из посылок-условное, вторая посылка и заключение – категорические суждения
правильная форма утверждающего модуса-разновидность условно-категор умозаключения, в которой ход умозаключения направлен от утверждения истинности основания условной посылки к утверждению истинности следствия условной посылки
(p q), p
q
неправильная форма утверж модуса – ход умозаключений направлен от утверждения истинности следствия к утверждению истинности снования условной посылки
(p q), q
вероятно,p
правильная форма отрицающего модуса – ход умозаключения направлен от отрицания истинности следствия к отрицанию истинности основания условной посылки
(p q), q
p
неправильная форма отрицающего модуса – ход рассуждения направлен от отрицания истинности основания к отрицанию истинности следствия условной посылки
(p q), р
вероятно, q
p |
q |
p |
q |
pq |
(pq)p |
((pq) p)q |
(pq)q |
((pq)q)p |
1 |
1 |
0 |
0 |
1 |
1 |
1 |
0 |
1 |
1 |
0 |
0 |
1 |
0 |
0 |
1 |
0 |
1 |
0 |
1 |
1 |
0 |
1 |
0 |
1 |
0 |
1 |
0 |
0 |
1 |
1 |
1 |
0 |
1 |
1 |
1 |
p q p q p q p q
p q q p
q p p q