1 курс гму, всякое по мелочи / Логика 1
.pdf
Тактильная иллюзия (иллюзия Аристотеля)
ФОРМЫ
ИНТЕЛЛЕКТУАЛЬНОГО
ПОЗНАНИЯ
|
ПОНЯТИЯ |
|
|
СУЖДЕНИЯ |
|
|
|
|
|
|
|
Мысль, |
Мысль о |
||||
наличии или |
|||||
обобщающая |
|||||
отсутствии |
|||||
различные предметы |
|||||
некоторой |
|||||
в один класс на |
|||||
ситуации в мире |
|||||
основании |
|||||
(бывают |
|||||
некоторого признака |
|||||
истинные и |
|||||
|
|
|
|
||
|
|
|
|
ложные) |
|
ТЕОРИИ
Система понятий и суждений, касающаяся некоторой предметной области. Функции: описание, объяснение, предсказание
Открытие Нептуна – победа гипотетикодедуктивного метода и небесной механики
Урбен Леверье |
|
(1811-1877) |
1846 год |
|
ОСНОВНЫЕ ПРИЕМЫ РАЦИОНАЛЬНОГО ПОЗНАНИЯ
1.Определение (придание точного смысла, содержания языковому выражению, термину).
2.Деление и классификация (система делений)
3.Выдвижение и проверка гипотез
4.Научная полемика
5.РАССУЖДЕНИЕ
Логика – это, прежде всего, теория рассуждений!
РАССУЖДЕНИЕ
Рассуждение – это цепь (последовательность) умозаключений
Умозаключение – непосредственный переход от нескольких высказываний к одному высказыванию (непосредственное выведение одного высказывания из нескольких)
А1… Аn |
посылки |
_______ |
черта («значит») |
В |
заключение |
Умозаключения можно классифицировать, скажем, по числу посылок (одно-, двух-, трехпосылочные и т.д)
Рассуждение – это цепь (последовательность) умозаключений
Умозаключение – непосредственный переход от нескольких высказываний к одному высказыванию (непосредственное выведение одного высказывания из нескольких)
ПРИМЕР
Все сыновья Гегеля – сумасшедшие (А1). |
|
|
Ни один сумасшедший не допускается до |
А1, А2 |
|
выборов(А2). |
|
|
Следовательно? |
|
А3 А2 |
Ни один из сыновей Гегеля не допускается |
В, |
|
до выборов (В – из А1 и А2). |
|
|
Ганса Мюллера видели с бюллетенем на |
С |
D |
избирательном участке (А3). |
Следовательно? |
|
|
Ганс Мюллер – не сын Гегеля (С – из А3 |
и В). |
С и D |
|
|
Ганс Мюллер – не сумасшедший (D – из А2 и А3).
ФОРМА и СОДЕРЖАНИЕ
ВЫСКАЗЫВАНИЯ УМОЗАКЛЮЧЕНИЯ
элементы умозаключений |
сами умозаключения (структуры) |
истинные ложные правильные неправильные
Следует четко различать два вопроса:
1.Истинны ли высказывания в составе умозаключения (посылки и заключение)?
2.Правильно ли само умозаключение?
ВЫСКАЗЫВАНИЯ 
УМОЗАКЛЮЧЕНИЯ
истинные ложные правильные неправильные
Следует четко различать два вопроса:
1.Истинны ли высказывания в составе умозаключения (посылки и заключение)?
2.Правильно ли само умозаключение?
Это два разных вопроса, ответы на которые в общем случае независимы друг от друга. Истинность посылок и заключения не гарантирует правильность УЗ, так же как ложность не гарантирует неправильности. И обратно, правильность УЗ не означает истинности его заключения (это будет справедливо только при условии истинности всех посылок), а неправильность – ложности заключения.
ВЫСКАЗЫВАНИЯ УМОЗАКЛЮЧЕНИЯ
истинные ложные правильные неправильные
Следует четко различать два вопроса:
1.Истинны ли высказывания в составе умозаключения (посылки и заключение)?
2.Правильно ли само умозаключение?
Итолько в одном-единственном (вырожденном) случае можно на основании анализа истинностных значений посылок и заключения сделать вывод относительно правильности самого умозаключения. Если все посылки в УЗ истинны, а заключение
– ложно, то само УЗ – НЕПРАВИЛЬНО.
Фактически умозаключение – это определенного рода отношение между множеством утверждений и некоторым одним утверждением.
КАК УСТАНАВЛИВАТЬ ПРАВИЛЬНОСТЬ УЗ?
р |
q |
Если у человека есть дети, он должен заполнить эту графу.
У этого человека нет детей р (Неверно, что у него есть дети)
q
Значит, этот человек не должен заполнять эту графу.
Если p, то q. Неверно, что p. Неверно, что q
Это называется логической формой умозаключения. Выявлена без учета структуры простых высказываний