A Все православные – христиане.
ЛЕКЦИЯ №8. ВЫВОДЫ ЛОГИКИ ВЫСКАЗЫВАНИЙ И ИНДУКТИВНЫЕ УМОЗАКЛЮЧЕНИЯ.
1. Понятие умозаключения их классификация.
2. Непосредственные умозаключения.
3. Простой категорический силлогизм (ПКС).
1. Мы рассмотрели две структуры абстрактного мышления – понятие и суждение. Задача логики сводилась здесь к уточнения смыслов терминов, употребляемых в языке, анализу правильности наших суждений.
Однако цель мышления – получение новой информации на основе имеющихся данных.
Поэтому вершиной логического знания, анализирующего мышления является выделение правильных “алгоритмов мысли”, дающих нам новое знание об окружающем мире.
Когда следователь анализирует какое-либо преступление, когда аудитор проверяет состояние дел в какой-либо фирме, когда экономист составляет перспективный план развития предприятия они строят необходимый вывод. Формальная логика анализирует правильность этих рассуждений с помощью определенных методов.
Процесс получения новой информации получил в традиционной логике название умозаключение.
УМОЗАКЛЮЧЕНИЕ – форма абстрактного мышления, процесс мысли или логическое действие, в результате которого из одного или нескольких суждений, отображающих связи и отношения предметов объективного мира, получается новое суждение, в котором содержится новая информация.
посылки 
заключение
|
|
|
Общая схема вывода:
А1 ^ A2 ^ …^ A П ╞ В
Условия получения истинного вывода:
1. истинность посылок А1…Ап
2. логическая связь между посылками
3. соблюдение правил вывода.
В связи со степенью общности посылок и вывода, и соответственно со степенью достоверности выводов выделяются основные типы умозаключений:
Индуктивное умозаключение – процесс рассуждения идет от знания единичных фактов к знанию общего правила, распространяющейся на эти единичные или частные факторы.
« Иванова курит, Петрова курит - все девушки нашей группы курят». Т.е. от посылок меньшей степени общности к посылкам большей степени общности.
Умозаключение по аналогии -умозаключение, в результате которого делается вывод о том, что исследуемое явление имеет ещё один признак Х, поскольку остальные признаки этого предмета сходны с признаками другого предмета, которым обладает признаком Х.
« на основе сходства двух объектов по каким-то одним параметрам делается вывод об их сходстве по двум параметрам».
|
|
|
Выделяются и другие типы умозаключений: традукция и другие.
Однако! Наибольший интерес для логики представляет дедуктивные умозаключения.
2.
Два смысла понятия дедукции:
Традиционная логика: Дедуктивное умозаключение – умозаключение, в котором происходит переход от посылок, выражающих знание большей степени общности, к выводу, отражающем знание меньшей степени общности..
Современная логика: Дедукция – процесс логического вывода, переход от посылок к заключению на основе применения правил логики. Т.е. любой вывод, котором заключение с необходимостью следует из посылок.
В зависимости от количества посылок дедуктивные выводы из кат. суждения делятся на непосредственные (вывод из одной посылки) и опосредованные (2 и более посылок).
3.
Непосредственные умозаключения.
1.Превращение (obversio)
В категорических суждениях содержится неявное знание об отношении S к дополнению P( P ). Превращение и состоит в выявлении этого отношения
 |
A( S P ) E ( S P )
 |
A Все православные – христиане.
|
|
|
Ни один православный не является
не христианином (язычником)
|
Ни один философ не является тираном.
Е
Все философы есть – не тираны.
|
I (SP) O (SP)
Некоторые преступники имеют семьи.
I Некоторые преступники не имеют семей.
|
O 
O (SP) O (SP)
Некоторые люди работающие в Москве не являются её коренными жителями.
|
|
|
Некоторые люди работающие в Москве – её коренные жители.
2. Обращение (conversio) - смысл обращения – выявление неявной информации об отношениях P к S.
А (обращение с ограничением)
Термин не распределенный в посылке не может быть распределен в заключении.
A(SP) I(PS)
Все дубы – растения, некоторые растения – дубы.
Е (чистое обращение)
E(SP) E(PS)
Ни один фашист не является евреем, все евреи – не фашисты.
I(чистое обращение)
I(SP) I(PS)
Некоторые логики – философы, некоторые философы – логики.
О (не общается)
3. Противопоставление предикату – можно рассматривать как совмещение предшествующих операций.
1 этап – превращение
2 этап – обращение
Например: все правоведы изучали логику, ни один не изучавший логику не является правоведом.
1. Понятие простого категорического силлогизма и его аксиома.
2. Правила силлогизма.
3. Фигуры и модусы ПКС.
3.
Традиционным видом опосредствованных умозаключений (ведущим свою родословную от Аристотеля) является ПКС. Формой ПКС является вывод (категорическое суждение) получаемый из 2-х посылок, являющихся категорическими суждениями.
Любой студент обучающийся по специальности правоведение должен изучать формальную логику специальности Вы – студенты правоведения.
Следовательно: Вы должны изучать логику.
Однако! Не всякое простое опосредствованное умозаключение, состоящее из 2-х посылок и вывода является ПКС.
Он обладает определённой спецификой:
1) жесткая структура терминов (понятий входящих в простые суждения).
Состоит из 3-х терминов:
S- меньший термин – субъект заключения
Крайние P- больший термин – предикат заключения
термины
M- средний термин, имеющийся в посылках, но отсутствующий
в заключении.
2) структура посылок (категорических суждений).
P-M - большая посылка, выключающая средний термин и предмет.
S-M – меньшая посылка, включающая субъект и средний термин.
Простой категорический силлогизм – умозаключение об отношении двух крайних терминов на основании их отношения к среднему термину.
Выводы в ПКС носят демонстративный , а не вероятный характер. Правильность вывода обеспечивает АКСИОМА СИЛЛОГИЗМА.
Аксиома силлогизма – положение обосновывающее необходимый и достаточный характер вывода в ПКС.
Существует две формулировки аксиомы : атрибутивная и объёмная.
I . Атрибутивная - признак признака некоторой вещи – есть признак самой этой вещи; то, что противоречит признаку вещи , противоречит и вещи.
Сокращенный вид: признак признака - есть признак вещи
1 часть аксиомы: Если P есть признак M, а М – признак S, то P признак предмета S.
Всякое суждение должно быть обоснованным.
Определение является суждением .
Признак суждения является вместе с тем признаком определения.
2 часть аксиомы: Если S обладает признаками M, но признак P противоречит этому признаку, то P противоречит и S.
Ни один священник – католик не женат.
Все кардиналы – католические священники.
Ни один кардинал не женат.
II . Объемная формулировка устанавливает истинный вывод установлением определенных отношений между объёмами терминов.
Все, что утверждается (или отрицается) относительно каждого предмета, утверждается (или отрицается) относительно каждого предмета и любой части предметов этого класса:
Сокращенный вид: сказанное обо всем и ни об одном.
 |
Схема при отрицательной посылке.
Схема при утвердительных
посылках.
Однако аксиома силлогизма не обеспечивает автоматического получения истинного вывода из истинных посылок. Его истинность обусловлена также соблюдением правил силлогизма.
Всякое государство применяет насилие.
Некоторые родители применяют насилие.
Некоторые родители – государства.
ПРАВИЛА ПКС
2.1 В силлогизме должно быть 3 и только 3 термина, толкуемых однозначно .
Ошибка Учетверение терминов.
Все разумные существа отвечают за свои поступки.
Некоторые собаки – разумны.
Некоторые собаки отвечают за свои поступки..
2.2. Средний термин должен быть распределен хотя бы в одной из посылок.
Если средний термин не распределён, то связь между краткими терминами остаётся неопределенной.
Многие города Донецкой области имеют троллейбусные сообщения.
Красноармейск – город Донецкой области.
В Красноармейске есть троллейбусное сообщение.
2.3. Термин не распределенный в посылке не может быть распределен и в заключении.
Ошибка: незаконное расширение меньшего (большего) термина.
Все студенты изучают историю Украины.
Иванов не учится в ВУЗе.
Он не изучает Историю Украины.
Незаконное расширение большего (P) термина.
ПРАВИЛА ПОСЫЛОК.
1. Из двух отрицательных посылок достоверный вывод получить невозможно.
2. Если одна из посылок – отрицательная, то и вывод должен быть отрицательным.
3. Из двух частных посылок достоверный вывод не возможен.
4. Если одна из посылок – частная, то и вывод должен быть частным.
3. Фигурами называются разновидности ПКС, устанавливаемые по местоположению среднего термина.
Выделяются 4 фигуры ПКС.
M P P M M P P M
S M S M M S M S
S P
I фигура II фигура III фигура IV фигура
Модусом – называется разновидность ПКС устанавливаемая по количественно-качественным характеристикам посылок и вывода.
Из 256 возможных модусов выделяется 19 правильных.
|
По первой фигуре правильные модусы
bAvbAvA
|
I фигура
dAvII
|
II фигура
cE1AvEnt
III фигура
fEvIO
Первая фигура : Большая посылка должна быть общей, меньшая - утвердительной.
BAvbAvA Всякая собственность – есть кража.
Дача Иванова – его собственность.
Дача Иванова - кража
dAvII Все студенты платят за обучение.
Некоторые работники нашего отдела – студенты МЭГИ.
Некоторые работники нашего отдела платят за обучение.
cE1AvEnt Никто из граждан Украины не имеет права нарушать
закон.
Все депутаты ВР – граждане Украины.
Никто из депутатов не имеет права нарушать закон.
fErIO Ни один бомж не имеет прописки.
Многие наши жители превратились в бомжей.
Многие жители не имеют прописки.
Вторая фигура : Большая посылка – общая, и одна из посылок и вывод – отрицательные.
сAmEstrEs Все больные имеют температуру.
Не у одного солдата нет температуры.
Ни один солдат не болен.
сEsArE Ни один храбрый солдат не отступает перед противником. Все воины отступили перед противником.
Все воины – не храбрые солдаты.
fEstInO Ни один преступник не является честным человеком.
Некоторые жители – честные люди
Дата добавления: 2022-11-11; просмотров: 19; Мы поможем в написании вашей работы! |
Мы поможем в написании ваших работ!