|
Читайте также: |
Провести отрицание простых категорических суждений:
ØAºO; ØEºI; ØOºA; ØIºE.
Отрицание единично-отрицательного суждения эквивалентно единично-утвердительному и наоборот. «Не было дня в этом месяце, когда бы не шел дождь» эквивалентно суждению «Каждый день в этом месяце шел дождь».
Отрицание сложных суждений производится согласно следующих формул эквивалентности:
Ø(AÙB)ºØAÚØB
Ø(AÚB)ºØAÙØB
Ø(A®B)ºAÙØB
Ø(AºB)º(ØAÙB)Ú(AÙØB)
Ø(AỲB)º(AΛB)ν (А ΛВ)
14. Умозаключение как форма мысли: определение, логическая структура и условия истинности. Классификация умозаключений.
Умозаключение – это форма мышления позволяющая получить новое знание на основе суждений, истинность которых уже доказана. Умозаключение – это связь суждений.
Умозаключение – это форма мышления позволяющая получить новое знание на основе суждений, истинность которых уже доказана. Умозаключение – это связь суждений. Всякое умозаключение безотносительно его содержания
имеет такую структуру:
Посылки – это исходные суждения, на основе которых делается вывод, вывод или заключение – новое суждение, полученное логическим путем из посылок.
Процесс получения заключений из посылок по правилам дедуктивных умозаключений называется силлогизмом. Посылки – большая или меньшая – определяются из вывода.
Термин, являющийся предикатом заключения, называется большим термином и посылка, в которую он входит, называется большей. Термин, являющийся субъектом заключения, называется меньшим термином и соответственно посылка, в которую он входит называется меньшей. Понятие, входящее в обе посылки, но отсутствующее в выводе, называется средним термином
Проведем классификацию умозаключений по разным основаниям.
1.По количеству посылок:
умозаключения делятся на три вида:
а) непосредственные умозаключения – умозаключения из одной посылки.
б) дедуктивные умозаключения – умозаключения с двумя посылками;
в) индуктивные умозаключения – умозаключения с количеством посылок больше двух.
2. По характеру вывода:
а) необходимые умозаключения
б) вероятностные
умозаключения
из истинных посылок получается
вероятностный вывод.
3. По напрвлению движения мысли:
а) дедуктивные умозаключения – умозаключения, в которых мысль идет от большей общности знания к меньшей общности знания;
б) индуктивные умозаключения: умозаключения, в которых мысль идет от меньшей общности знания к большей общности знания;
в) традуктивные умозаключения – умозаключения, в которых посылки и вывгод имеют одинаковую степень общности.
По характеру посылок и связок:
а) категорические умозаключения;
б) условные умозаключения;
в) условно-категорические умозаключения;
г) разделительные умозаключения;
д) разделительно-категорические умозаключения;
е) условно-разделительные умозаключения или леммы.
По структуре:
а) сложные;
б) сокращенные.
15. Общая характеристика дедуктивных умозаключений: понятие, особенности логической природы и основные разновидности.
В традиционной логике дедукцией называется умозаключение от знания большей степени общности к новому знанию меньшей степени общности.
В современной (математической) логике дедукцией называют умозаключение, дающее достоверное суждение. При этом дедуктивные умозаключения – это умозаключения, у которых между посылками и заключением имеется отношение логического следования.
В традиционной логике дедукцией называется умозаключение от знания большей степени общности к новому знанию меньшей степени общности.
В современной (математической) логике дедукцией называют умозаключение, дающее достоверное суждение. При этом дедуктивные умозаключения – это умозаключения, у которых между посылками и заключением имеется отношение логического следования.
Категорический силлогизм - это дедуктивное умозаключение, в котором из двух категорических суждений (посылок) связанных общим термином, на основании правил получается новое суждение (вывод).
Для того, чтобы получить истинный вывод из категорического силлогизма необходимо:
1. иметь истинные посылки (суждения);
2. соблюдать правила терминов, посылок и фигур;
3. учитывать, что в категорическом силлогизме вывод либо следует с необходимостью, либо отсутствует. В категорическом силлогизме нет вероятностных выводов.
Рассмотрим правила терминов:
1. В каждом силлогизме должно быть только три термина (S, P, M). Нарушение этого правила ведет к ошибке «учетверение терминов», при которой вывода сделать нельзя.
2. Средний термин должен быть распределен хотя бы в одной из посылок. Если он не распределен в обеих посылках, то вывода сделать нельзя.
3. Термины должны быть одинаково распределены в посылке и в выводе (речь идет о субъекте и предикате силлогизма), иначе вывода сделать нельзя.
Правила посылок:
Из двух отрицательных посылок нельзя сделать никакого вывода:
Из двух частных посылок нельзя сделать никакого вывода:
Если одна из посылок частная, то и вывод должен быть частным:
Если одна из посылок отрицательная, то и вывод должен быть отрицательным:
Из утвердительных посылок нельзя сделать отрицательного вывода, то есть вывод также должен быть утвердительным.
М_________ Р Р________М М________Р Р________ М
S__________М S________ М М________S М________ S
Правила фигур:
1. Большая посылка должна быть обшей.
Меньшая посылка должна быть утвердительной.
2. Большая посылка должна быть общей. Одна из посылок и вывод должны быть отрицательные.
3. Меньшая посылка должна быть утвердительной. Заключение – частное.
4. Если большая посылка утвердительная, то меньшая посылка должна быть общей.
Дата добавления: 2015-02-16; просмотров: 103 | Поможем написать вашу работу | Нарушение авторских прав |