Заглавная страница Избранные статьи Случайная статья Познавательные статьи Новые добавления Обратная связь FAQ Написать работу КАТЕГОРИИ: АрхеологияБиология Генетика География Информатика История Логика Маркетинг Математика Менеджмент Механика Педагогика Религия Социология Технологии Физика Философия Финансы Химия Экология ТОП 10 на сайте Приготовление дезинфицирующих растворов различной концентрацииТехника нижней прямой подачи мяча. Франко-прусская война (причины и последствия) Организация работы процедурного кабинета Смысловое и механическое запоминание, их место и роль в усвоении знаний Коммуникативные барьеры и пути их преодоления Обработка изделий медицинского назначения многократного применения Образцы текста публицистического стиля Четыре типа изменения баланса Задачи с ответами для Всероссийской олимпиады по праву Мы поможем в написании ваших работ! ЗНАЕТЕ ЛИ ВЫ?
Влияние общества на человека
Приготовление дезинфицирующих растворов различной концентрации Практические работы по географии для 6 класса Организация работы процедурного кабинета Изменения в неживой природе осенью Уборка процедурного кабинета Сольфеджио. Все правила по сольфеджио Балочные системы. Определение реакций опор и моментов защемления |
II. Отрицающий модус (modus tollens).Содержание книги
Похожие статьи вашей тематики
Поиск на нашем сайте
Структура его: Схема Если а, то b. a b b Не- b a Не-а Формула {{а b) b) —> а (2) также является законом логики (это можно доказать с помощью таблицы). Можно строить достоверные умозаключения от отрицания следствия к отрицанию основания. Приведем два примера: Если река выходит из берегов, то вода заливает прилежащие территории. Вода реки не залила прилежащие территории. Вода не вышла из берегов.
Для построения второго условно-категорического умозаключения воспользуемся следующим высказыванием: «...Тот мерзок, кто ярится, если чужой он доблести свидетель» (Данте Алигьери). Умозаключение построено так: Если человек при виде чужой доблести ярится, то он мерзок. Этот человек не является мерзким.______ Этот человек при виде чужой доблести не ярится. Условно-категорическое умозаключение может давать не только достоверное заключение, но и вероятное. Первый вероятностный модус Рассмотрим первый модус, не дающий достоверного заключения. Если a, то b. b Вероятно, а..
Формула {{а b) b) а (3) не является законом логики. Она означает, что нельзя достоверно умозаключить от утверждения следствия к утверждению основания. Люди иногда неправильно умозаключают так: Если бухта замерзла, то суда не могут входить в бухту. Суда не могут входить в бухту_____ Бухта замерзла. Заключение будет лишь вероятностным суждением, т.е. вероятно, что бухта замерзла, но возможно и то, что дует сильный ветер, или бухта заминирована, или существует другая причина, по которой суда не могут входить в бухту. Вероятностное заключение получится и в таком умозаключении: Если данное тело — графит, то оно электропроводно. Данное тело электропроводно.____ Вероятно, данное тело — графит. Второй вероятностный модус Это второй модус, не дающий достоверного заключения.
Структура его: Если а, то b. Не-а Вероятно, не-Ь,
Формула ((а -> b) л а) —>b (4) не является законом логики. Она означает, что нельзя принимать заключение за достоверное, умозаключая от отрицания основания к отрицанию следствия. Некоторые врачи ошибочно рассуждают так: Если человек имеет повышенную температуру, то он болен. Данный человек не имеет повышенной температуры. Данный человек не болен. Учащиеся в школе также допускают логические ошибки при построении умозаключений. Вот пример: Если тело подвергнуть трению, то оно нагреется. Тело не подвергли трению. Тело не нагрелось, Заключение здесь только вероятностное, но не достоверное, ибо тело могло нагреться по какой-либо другой причине (от солнца, в печи и т.д.). Заметим, что приведение такого рода примеров вполне достаточно для того, чтобы показать, что формы умозаключений, выражаемые формулами (3) и (4), неправильны. Но никакое количество примеров применения форм, соответствующих формулам (I) и (2), не в состоянии — если мы оперируем только примерами — обосновать их логической правильности. Для такого обоснования требуется уже некоторая логическая теория. Такая теория, фактически отсутствующая в традиционной логике, содержится в алгебре логики. Если формула, в которой конъюнкция посылок и предполагаемое заключение соединены знаком импликации1, не является тождественно-истинной, т.е. не выражает закона логики, то в умозаключении заключение не является достоверным. С помощью табличного метода можно доказать, что колонки таблицы 1, соответствующие формулам (1) modus-ponens (2) modus tollens выражают законы логики, а это означает, что modus ponens и modus tollens представляют собой логически правильные формы умозаключений.
Таблица 1
Таблицу для неправильных модусов предоставляем построить читателю самому. В ней наряду со знаками «И» («истина») мы увидим и знаки «Я» («ложь»), а это значит, что выражения: ((а b) b) а и ((a b) a) b не являются тождественно-истинными высказываниями, т.е. законами логики. Если умозаключают от утверждения следствия к утверждению основания, то можно прийти к ложному заключению вследствие множественности причин, из которых может вытекать одно и то же следствие. Например, выясняя причину заболевания человека, надо перебрать все возможные причины: простудился, переутомился, был в контакте с бациллоносителем и т.д.
|
||||||||||||||||||||||||||||||||||||||||||||||||||
Последнее изменение этой страницы: 2017-01-25; просмотров: 659; Нарушение авторского права страницы; Мы поможем в написании вашей работы! infopedia.su Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав. Обратная связь - 52.15.70.0 (0.006 с.) |