КАТЕГОРИИ: Архитектура-(3434)Астрономия-(809)Биология-(7483)Биотехнологии-(1457)Военное дело-(14632)Высокие технологии-(1363)География-(913)Геология-(1438)Государство-(451)Демография-(1065)Дом-(47672)Журналистика и СМИ-(912)Изобретательство-(14524)Иностранные языки-(4268)Информатика-(17799)Искусство-(1338)История-(13644)Компьютеры-(11121)Косметика-(55)Кулинария-(373)Культура-(8427)Лингвистика-(374)Литература-(1642)Маркетинг-(23702)Математика-(16968)Машиностроение-(1700)Медицина-(12668)Менеджмент-(24684)Механика-(15423)Науковедение-(506)Образование-(11852)Охрана труда-(3308)Педагогика-(5571)Полиграфия-(1312)Политика-(7869)Право-(5454)Приборостроение-(1369)Программирование-(2801)Производство-(97182)Промышленность-(8706)Психология-(18388)Религия-(3217)Связь-(10668)Сельское хозяйство-(299)Социология-(6455)Спорт-(42831)Строительство-(4793)Торговля-(5050)Транспорт-(2929)Туризм-(1568)Физика-(3942)Философия-(17015)Финансы-(26596)Химия-(22929)Экология-(12095)Экономика-(9961)Электроника-(8441)Электротехника-(4623)Энергетика-(12629)Юриспруденция-(1492)Ядерная техника-(1748) |
Модус толленс
В МОДУС ПОНЕНС Законы контрапозиции говорят о перемене позиций высказываний с помощью отрицания:из условного высказывания «если есть первое, то есть второе» вытекает «если нет второго, то нет и первого», и наоборот. ЗАКОНЫ КОНТРАПОЗИЦИИ Символически: (А ® В) ® (~ В ® ~ А), если дело обстоит так, что если А, то В, то если не-В, то не-А; (~ В ® ~ А) ® (А® В), если дело обстоит так, что если не-В, то не-А, то если А, то В. К примеру: из высказывания «Если есть следствие, то есть и причина» следует высказывание «Если нет причины, нет и следствия», и из второго высказывания вытекает первое. К законам контрапозиции обычно относят также законы: (А® В) ®{В ®~ А), если дело обстоит так, что если А, то не-5, то если В, то не-А. Например, «Если квадрат не является треугольником, то треугольник не квадрат»; (~ А ®В) ® ( ~ В ®А), если верно, что если не-А, то В, то если не- В, то А. К примеру: «Если не являющееся очевидным сомнительно, то не являющееся сомнительным очевидно». Контрапозиция подобна рокировке в шахматной игре. И подобно тому, как редкая партия проходит без рокировки, так и редкое наше рассуждение обходится без контрапозиции.
Слово «модус» в логике означает разновидность некоторой общей формы рассуждения. «Модус поненс» - термин средневековой логики, обозначающий определенное правило вывода и соответствующий ему логический закон. Правило вывода модус поненс, обычно называемое правилом отделения или гипотетическим силлогизмом, позволяет от утверждения условного высказывания и утверждения его основания (антецедента) перейти к утверждению следствия (консеквента) этого высказывания: Если А, то В, А
Здесь «если А, то В» и «А» - посылки, «В» - заключение;
горизонтальная черта стоит вместо слова «следовательно». Другая запись: Если А, то В. А. Следовательно, В. Благодаря этому правилу от посылки «если А, то В», используя посылку «А», мы как бы отделяем заключение «В». Например:
Если у человека грипп, он болен. У человека грипп. Человек болен.
Это правило постоянно используется в наших рассуждениях. Впервые оно было сформулировано, насколько можно судить, учеником Аристотеля Теофрастом еще в III в. до н.э. Соответствующий правилу отделения логический закон формулируется так: (А ® В) & А ® В, если верно, что если А, то В, и А, то верно В. Например: «Если при дожде трава растет быстрее и идет дождь, то трава растет быстрее». Рассуждение по правилу модус понес идет от утверждения основания истинного условного высказывания к утверждению его следствия. Это логически корректное движение мысли иногда путается со сходным, но логически неправильным ее движением от утверждения следствия истинного условного высказывания к утверждению его основания. Например, правильным является умозаключение:
Если висмут - металл, он проводит электрический ток. Висмут - металл, Висмут проводит электрический ток.
Но внешне сходное с ним умозаключение:
Если висмут - металл, он проводит электрический ток. Висмут проводит электрический ток. Висмут металл.
логически некорректно. Рассуждая по последней схеме, можно от истинных посылок прийти к ложному заключению. Например:
Если человек собирает марки, он коллекционер. Человек - коллекционер. Человек собирает марки.
Далеко не все коллекционеры собирают именно марки; из того, что человек коллекционер, нельзя заключать, что он собирает как раз марки. Истинность посылок не гарантирует истинности заключения. Против смешения правила модус поненс с указанной неправильной схемой предостерегает совет: от подтверждения основания к подтверждению следствия заключать можно, от подтверждения следствия к подтверждению основания - нет.
Так средневековые логики называли следующую схему рассуждения: Если А, то В; неверно В; Неверно А.
Другая запись:
Если А, то В. Не- В. Следовательно, не-А.
Эта схема часто называется принципом фальсификации: если из какого-то утверждения вытекает следствие, оказывающееся ложным, это означает, что и само утверждение ложно. Посредством схемы от утверждения условного высказывания и отрицания его следствия осуществляется переход к отрицанию основания данного высказывания. Например:
Если гелий - металл, он электропроводен. Гелий неэлектропроводен. Гелий - не металл.
Дата добавления: 2014-11-16; Просмотров: 528; Нарушение авторских прав?; Мы поможем в написании вашей работы! Нам важно ваше мнение! Был ли полезен опубликованный материал? Да | Нет |