I. Простая конструктивная дилемма.
Это умозаключение состоит из двух посылок. В первой посылке утверждается, что из двух различных оснований вытекает одно и то же следствие. Во второй посылке, которая является дизъюнктивным суждением, утверждается, что одно или другое из этих оснований истинно. В заключении утверждается следствие.
В традиционной формальной логике простую конструктивную дилемму обычно представляют в виде следующей схемы:
Если А есть В, то С есть D, если Е есть F, то С есть D.
А есть В или Е есть F.
Приведем пример простой конструктивной дилеммы:
Если число делится на 6, то оно делится и на 3; если число делится на 9, то оно делится и на 3.
Данное число делится на 6 или на 9 .
Данное число делится на 3.
II. Сложная конструктивная дилемма.
Это умозаключение строится из двух посылок. В первой посылке имеются два основания, из которых вытекают соответственно два следствия; во второй посылке, которая представляет собой дизъюнктивное суждение, утверждается истинность одного или другого основания; в заключении утверждается истинность одного или другого следствия. Сложная конструктивная дилемма отличается от простой конструктивной дилеммы только тем, что оба следствия ее условной посылки различны, а не одинаковы.
Этот вид дилеммы значительно чаще встречается в мышлении людей, в сознании литературных героев, исторических деятелей.
Например:
В романе А.С. Пушкина «Евгений Онегин» после вызова Ленского на дуэль перед Онегиным встала дилемма:
Если отказаться от дуэли, то его признают трусом; если он убьет Ленского на дуэли, то его признают убийцей.
Онегин мог отказаться от дуэли или пойти на нее.
Его признают трусом или убийцей.
Так как дилемма означает сложный выбор из двух альтернатив одной, причем обе они нежелательны для субъекта (такая ситуация характеризуется выражением «из двух зол выбирать наименьшее»), то в древности о дилемме говорили: «Посадить на рога дилеммы».
III. Простая деструктивная дилемма.
В этом умозаключении первая (условная) посылка указывает на то, что из одного и того же основания вытекают два различных следствия; вторая посылка представляет собой дизъюнкцию отрицаний обоих этих следствий; в заключении отрицается основание.
Например:
Если человек болен гриппом, то у него высокая температура, болит горло, появляется насморк.
У человека нет высокой температуры, насморка, не болит горло.
Следовательно этот человек не болен гриппом.
IV. Сложная деструктивная дилемма
Дилемма такого вида содержит одну посылку, состоящую из двух условных суждений с разными основаниями и разными следствиями; вторая посылка является дизъюнкцией отрицаний обоих следствий; заключение является дизъюнкцией отрицаний обоих оснований. В форме, обычной для традиционной логики, сложную деструктивную дилемму можно представить в виде следующей схемы:
Если А есть В, то С есть D, если Е есть F, то К есть М.
С не есть D или К не есть М.
А не есть В или Е не есть F.
Например:
Если бы я был богат, то купил бы автомобиль.
Ноя не купил диплом и не учусь в академии.
Следовательно, я не богат и не имею больших связей.
Билет № 12
1.Отношения между понятиями.
Сравнимые - имеют некоторые признаки, позволяющие эти понятия сравнивать друг с другом (пресса и телевидение - СМИ).
Несравнимые - не имеют общих признаков, сравнивать невозможно (преступление, квадрат).
В логических отношениях могут находиться только сравнимые понятия.
Совместимые - понятия, объемы которых полностью или частично совпадают. Отношения совместимости :
1.равнообъемность - понятия, в которых мыслится один и тот же предмет, объемы их полностью совпадают (хотя содержание различно): геометрическая фигура с тремя равными сторонами (А), геометрическая фигура с тремя равными углами (В) → равносторонний (равноугольный) треугольник.
2.пересечение (перекрещивание) - понятия, объем одного из которых частично входит в объем другого; содержание их различно (юрист (А) и преподаватель (В).
3.подчинение (субординация) - понятия, объем одного из которых полностью входит в объем другого, составляя его часть (Суд (А - подчиняющее понятие - род ) и Городской суд (В - подчиненное понятие - вид ). Если в отношении подчинения находятся два общих понятия, то подчиняющее - вид ; подчиненное - род . Если в отношении подчинения находятся общее и единичное (индивидуальное) понятие, то общее (подчиняющее) - вид , а единичное (подчиненное) - индивид (адвокат и Вася Иванов).
Несовместимые (внеположные) - понятия, объемы которых не совпадают ни полностью, ни частично. Отношения несовместимости :
1.соподчинение (координация) - два или больше неперекрещивающихся понятий, подчиненных общему для них понятию (Областной Суд (В), Городской Суд ©, Суд (А). понятия, находящиеся в отношении подчинения к общему для них понятию - соподчиненные ).
2.противоположность (контрарность) - понятия, одно из которых содержит некоторые признаки, а другое - признаки, не совместимые с ними; объемы двух противоположных понятий составляют лишь часть объема общего для них родового понятия (дружественное государство (А) и враждебное государство (В); пунктиром изображено родовое понятие «государство»; черное и белое).
3.противоречие (контрадикторность) - понятия, одно из которых содержит некоторые признаки, а другое эти же признаки исключает; объемы двух противоречащих понятий составляют весь объем рода (дружественное государство (А - положительное понятие) и недружественное государство (не-А - отрицательное понятие) исчерпывают весь объем понятия «государство»).
2. Недедуктивные умозаключения – это умозаключения, в которых истинность посылок не гарантирует истинность заключения, оно всегда предположительно, вероятно . Логическая связь между посылками и заключением в таких умозаключениях не имеет необходимого характера и основана не на логическом законе, а на фактических и психологических данных.
К недедуктивным умозаключениям относятся индуктивные умозаключения и умозаключения по аналогии . Индуктивные умозаключения – это умозаключения от менее общего знания к более общему . Например, наблюдая за движением каждой из известных планет Солнечной системы, можно сделать вывод: «Все планеты движутся с Запада на Восток». Умозаключение по аналогии – это умозаключение, в котором осуществляется переход от частного знания к частному . Заключение и посылки здесь одной и той же степени общности. Например: «На Земле есть атмосфера, смена дня и ночи, времена года, есть также и жизнь.
Виды аналогии: аналогия предметов, аналогия отношений.
Виды индукции: Полная, неполная(популярная-научная(методом отбора-методом исключения))
Билет № 13
1. Операции ограничения и обобщения понятий.
Обобщение - логическая операция перехода от понятия с меньшим объемом к понятию с большим объемом. Другими словами, логическая операция перехода от видового понятия к родовому посредством усечения содержания исходного понятия.
Пример: Если из содержания понятия "Аграрный университет" исключить видовой признак "аграрный", то получим родовое понятие "университет", дальнейшим обобщением будет "высшее учебное заведение". Аграрный университет (А) Университет (В) Высшее учебное заведение (С)
Ограничение
- логическая операция (обратная обобщению) перехода от понятия с большим объемом к понятию с меньшим объемом.
Другими словами это есть переход от родовых понятий к видовым путем прибавления к содержанию родового понятия видообразующего признака.
Пример: Если в вышеприведенном примере взять за исходное понятие "Высшее учебное заведение", то понятие "университет" можно рассматривать как его ограничение, а понятие "Аграрный университет" будет ограничением последнего.
Более сложными операциями над понятиями являются деление и классификация.
2. Индукция как метод познания. Общая характеристика индуктивных умозаключений.
Индуктивным называется умозаключение, в котором вывод представляет собой знание обо всем классе предметов, полученное в результате исследования отдельных представителей этого класса.
В индуктивном умозаключении мысль движется от единичного к общему. Путем сравнения устанавливается ряд предметов с одинаковым признаком, выявляется принадлежность этих предметов к одному классу, делается вывод о принадлежности данного признака всему классу.
Индуктивное умозаключение – это такое умозаключение, в котором мысль развивается от знания меньшей степени общности к знанию большей степени общности, а заключение, вытекающее из посылок, носит преимущественно вероятностный характер.
Индукция имеет огромное познавательное значение. Всякое теоретическое положение является обобщенным результатом исследования отдельных предметов, явлений, познания их свойств и причинно-следственных отношений. К общим положениям и выводам познание может прийти лишь обычным путем, через изучение конкретной действительности, многообразных связей предметов (явлений) объективного мира. На основе этого изучения формируются индуктивные обобщения о закономерностях природного мира и общественной жизни.
Основная функция индуктивных выводов в процессе познания – генерализация , т.е. получение общих суждений. По своему содержанию и познавательному значению эти обобщения могут носить различный характер – от простейших обобщений повседневной практики до эмпирических обобщений в науке или универсальных суждений, выражающих всеобщие законы
В зависимости от полноты исследования различают полную и неполную индукцию.
Полная индукция - это умозаключение, в котором общее заключение делается на основе изучения всех предметов и явлений данного класса.
Например:
Задачи первой главы этой книги рассчитаны на тех, кто хорошо знает логику
Задачи второй главы рассчитаны на тех, кто хорошо знает логику
Задачи третьей главы рассчитаны на тех, кто хорошо знает логику
Задачи четвертой главы рассчитаны на тех, кто хорошо знает логику
Задачи пятой главы рассчитаны на тех, кто хорошо знает логику
Все задачи в этой книге рассчитаны на тех, кто хорошо знает элементарные правила логики.
Полная индукция дает достоверное знание, так как заключение делается только о тех предметах или явлениях, которые перечислены в посылках. Но ее область применения ограничена. Полная индукция применяется только в том случае, если возможно иметь дело с замкнутым классом предметов, число элементов которого легко обозримо. Полная индукция предполагает следующие условия:
точное знание числа элементов класса;
убеждение, что признак принадлежит каждому элементу;
небольшое число элементов.
Однако часть нам приходится иметь дело с классами, число элементов которых не ограничено или которые недоступны для непосредственного изучения. В таких случаях применяется метод неполной индукции.
Неполная индукция - это умозаключение, в котором на основе повторяемости признака у некоторых элементов класса делается вывод о принадлежности этого признака всему классу.
По способам обоснования заключения различают следующие виды неполной индукции:
популярная;
В популярной индукции на основе повторяемости одного и того же признака у части однородных предметов и при отсутствии противоречащего случая делается вывод, что все предметы этого класса обладают данным признаком. Степень вероятности вывода в данном случае невысока. Ход умозаключения: исключение из данного положения не встречалось, следовательно, оно может иметь основания для общего вывода. Но незнание противоречащих случаев, отсутствие их не является гарантией, что их не существует. На основе популярной индукции в народе существует немало примет, пословиц и поговорок: если закат красный, то завтра будет теплый, солнечный день; ласточки низко летают - быть дождю и т.п. Эффективность популярной индукции во многом зависит от того, как велико количество случаев, насколько они разнообразны и типичны. Пользуясь данным методом в наших рассуждениях возможно появление следующих логических ошибок:
Поспешное обобщение. Например, когда я знаю, что все знакомые мне мужчины любят читать детективы, я ошибочно могу заключить, что все мужчины любят читать детективы; или, когда я прихожу в магазин, а там перерыв, я могу ошибочно заключить, что в это время в этом магазине всегда перерыв.
«После этого, значит, по причине этого». Случай, когда за причину явления выдается какое-либо предшествующее явление только на том основании, что оно произошло раньше. Например, после того как я помыл машину, я могу ошибочно заключить, что на следующий день пойдет дождь.
Подмена условного безусловным. Случай, когда не учитывается, что всякая истина проявляется в определенном сочетании условий, изменение которых могут повлиять и на истинность заключения. Например, если в обычных условиях вода закипает при ста градусах, то высоко в горах она закипит при более высокой температуре.
Научной индукцией называется умозаключение, в котором вывод о признаках класса предметов делается на основе исследования внутренней обусловленности этих признаков у части предметов данного класса. Научная индукция способна давать выводы, почти совпадающие с достоверностью. Применение научной индукции позволило открыть и сформулировать такие научные законы, как физические законы Архимеда, Кеплера, Ома и др.
Основные требования научной индукции таковы:
Планомерный и методический отбор предметов для исследования.
Установление их существенных свойств, необходимых для самих предметов и важных для нашей практики.
Раскрытие внутренней обусловленности этих свойств.
Сопоставление полученного вывода с другими однотипными положениями науки в данной области знания.
Билет № 14
Похожая информация.
Условно-разделительное умозаключение - это такое умозаключение, в котором одна посылка состоит из двух или более условных суждений, а другая является разделительным суждением. В зависимости от числа членов в разделительной посылке это умозаключение может быть дилеммой (если разделительная посылка содержит два члена), трилеммой (если разделительная посылка содержит три члена) и вообще полилеммой (число разделительных членов больше двух).
Формализация дилеммы
Дилеммы бывают двух видов: конструктивные и деструктивные; обе формы дилеммы в свою очередь могут быть простыми и сложными.
Простая конструктивная дилемма
Это умозаключение состоит из двух посылок. В первой посылке утверждается, что из двух различных оснований вытекает одно и то же следствие. Во второй посылке, которая является дизъюнктивным суждением, утверждается, что одно или другое из этих оснований истинно. В заключении утверждается следствие.
В традиционной формальной логике простую конструктивную дилемму обычно представляют в виде следующей схемы:
Если А есть В, то С есть D ; если Е есть F , то С есть D .
А есть В или Е есть F .
________________
С есть D .
Приведем пример простой конструктивной дилеммы.
В романе В. Шукшина «Я пришел дать вам волю» написано так: «Давай думать, как быть. Две дороги домой: Кумой или Волгой. Обои закрыты. Там и тут надо пробиваться силой. Добром нас никакой дурак не пропустит. А раз такое дело, давай решим: где легче».
Простая конструктивная дилемма представлена в такой форме:
Если плыть Кумой (а), то надо пробиваться силой (Ь);
если плыть Волгой (с), то надо пробиваться силой (b ).
Можно плыть Кумой (а) или Волгой (с).
______________________________
Надо пробиваться силой (b ).
Выразим суждение «А есть В» переменной а, суждение «С есть D » - переменной b , суждение «Е есть F » - переменной с. Тогда схема простой конструктивной дилеммы выразится в виде следующего правила вывода:
В данном случае формула указанного вида будет такова:
Доказательство тождественной истинности этой формулы можно провести табличным методом. Приведем еще один пример простой конструктивной дилеммы:
Если я пойду через речку по мосту, меня могут заметить враги;
если я пойду через речку вброд, меня тоже могут заметить враги.
Я могу идти через речку по мосту или вброд.
___________________________________
Меня могут заметить враги.
Сложная конструктивная дилемма
Это умозаключение строится из двух посылок. В первой посылке имеются два основания, из которых вытекают соответственно два следствия; во второй посылке, которая представляет собой дизъюнктивное суждение, утверждается истинность одного или другого основания; в заключении утверждается истинность одного или другого следствия. Сложная конструктивная дилемма отличается от простой конструктивной дилеммы только тем, что оба следствия ее условной посылки различны, а не одинаковы.
Этот вид дилеммы значительно чаще встречается в мышлении людей, в сознании литературных героев, исторических деятелей, поэтому мы приведем пример из художественной литературы.
Т. Тэсс в рассказе «Поединок в море» описывает такую ситуацию. Танкер «Ростов» взял около десяти тысяч тонн автомобильного бензина и уже готовился в Туапсе к отплытию... Сейчас танкер должен сняться с якоря... Якорь уже вышел из воды... На лапе якоря висит авиабомба, пролежавшая на дне моря двадцать лет. Капитан танкера «Ростов» Александр Котляров думал не только о своем судне, а и о других танкерах, тоже залитых бензином и нефтью, стоящих неподалеку от причалов. «Сколько времени пройдет, пока из Севастополя в Туапсе придут минеры? Бомба может взорваться каждую минуту. Двадцать лет она пролежала под водой, а сейчас может взорваться от любой случайности».
Перед капитаном встала очень сложная дилемма:
Если я оставлю танкер в порту до прибытия минеров, то бомба может
взорваться и повредить много судов; если я уведу танкер в море,
то в случае взрыва пострадает только один танкер.
Я могу оставить танкер в порту до прибытия минеров или увести в море.
________________________________________
Могут пострадать много судов в порту, или в случае взрыва пострадает только один танкер.
Капитан принимает такое решение: «Немедленно, не дожидаясь прибытия из Севастополя минеров, уйти из порта в море. Уйти, чтобы обезопасить другие суда, отплыть на такое расстояние, чтобы в случае взрыва опасность грозила только одному его танкеру. Уйти в море и там утопить бомбу». Танкер ушел из порта, и со второй попытки бомбу удалось утопить в море, а танкер не пострадал.
Так как дилемма означает сложный выбор из двух альтернатив одной, причем обе они нежелательны для субъекта (такая ситуация характеризуется выражением «из двух зол выбирать наименьшее»), то в древности о дилемме говорили: «Посадить на рога дилеммы». В нашей речи встречается выражение: «Передо мной стоит дилемма» (т. е. сложный выбор).
Схема сложной конструктивной дилеммы:
Данная формула выражает закон логики, что можно доказать табличным способом.
Простая деструктивная дилемма
В этом умозаключении первая (условная) посылка указывает на то, что из одного и того же основания вытекают два различных следствия; вторая посылка представляет собой дизъюнкцию отрицаний обоих этих следствий; в заключении отрицается основание.
Если человек болен сыпным тифом, то на 4-6-й день болезни у него будет высокая температура и появится сыпь.
У больного нет высокой температуры или нет сыпи.
____________________________________________
Этот человек не болен сыпным тифом.
Схема этой дилеммы:
Простая деструктивная дилемма может быть построена и по другой схеме:
Этой схеме соответствует формула
Сложная деструктивная дилемма
Дилемма такого вида содержит одну посылку, состоящую из двух условных суждений с разными основаниями и разными следствиями; вторая посылка есть дизъюнкция отрицаний обоих следствий; заключение является дизъюнкцией отрицаний обоих оснований. В форме, обычной для традиционной логики, сложную деструктивную дилемму можно представить в виде следующей схемы:
Если А есть В, то С есть D ; если Е есть F , то К есть М .
С не есть D или К не есть М.
___________________________
А не есть В или Е не есть F .
Примером рассуждения по форме сложной деструктивной дилеммы может быть следующий вывод:
Если Петров честен, то, не выполнив задания сегодня, он признается в этом, а если Петров добросовестен, то он выполнит задание к следующему разу.
Но Петров не признался в том, что он сегодня не выполнилзадание, или не сделал его к следующему разу.
__________________________________________________
Петров не честен или не добросовестен 4 .
Схема сложной деструктивной дилеммы такая:
Этой схеме соответствует формула которая является законом логики.
В предыдущих схемах, соответствующих четырем видам дилеммы, во второй (разделительной) посылке союз «или» взят в соединительно-разделительном смысле, т. е. взята нестрогая дизъюнкция (v). Будут ли формулы алгебры логики, соответствующие дилеммам (четыре вида), тождественно-истинными, если союз «или» употребляется в строго разделительном смысле, т. е. если взята строгая дизъюнкция (v)? Являются ли законами логики следующие формулы:
1) 2)
3) 4)
(Так как конъюнкция связывает «теснее», чем импликация, то скобки можно опустить.)
Автором этой книги показано 5 , что независимо от того, какая дизъюнкция (строгая или нестрогая) входит в соответствующие формулы, простым дилеммам (конструктивной и деструктивной) соответствуют законы логики. Сложным дилеммам (и конструктивной, и деструктивной) соответствуют законы логики лишь в том случае, если, союз «или» рассматривается как нестрогая дизъюнкция. Но в ходе рассуждения, построенного в форме сложной дилеммы, человек употребляет именно строгую дизъюнкцию, ибо перед ним две взаимоисключающие возможности (причем обе они нежелательны). Это несоответствие возникло из-за отсутствия полного совпадения смысла союза «если... то» и смысла материальной импликации (в двузначной логике).
Некоторые логики под дилеммой понимают такое умозаключение:
Если А есть В, то С есть D ; если Е есть F , то G есть H .
Но С не есть D и G не есть H .
___________________________________
Следовательно, А не есть В и Е не есть F .
Если бы я был богат, то я бы купил автомобиль.
Если бы я был бесчестен, то я украл бы таковой.
Но я его не купил и не украду.
_______________________________
Я не богат и не бесчестен.
Но здесь вторая посылка и заключение являются конъюнктивными, а не дизъюнктивными суждениями (как это должно быть по правилам построения дилеммы), поэтому приведенное выше умозаключение не является дилеммой, так как в нем нет разделительной посылки, характерной для дилеммы. Это умозаключение есть простая сумма двух условно-категорических умозаключений, построенных по правилу modus tollens, который дает истинное заключение. Формула modus tollens такая:
1. Если бы я был богат, то я бы купил автомобиль.
Я не куплю автомобиль.
________________
Я не богат.
2. Если бы я был бесчестен, то я украл бы автомобиль.
Я не украду автомобиль.
_________________
Я не бесчестен.
Итак, перед нами условно-конъюнктивное, а не условно-дизъюнктивное (лемматическое) умозаключение.
Трилемма
Трилеммы, так же как и дилеммы, могут быть конструктивными и деструктивными; каждая из этих форм в свою очередь может быть простой или сложной. Простая конструктивная трилемма состоит из двух посылок и заключения. В первой посылке констатируется то, что из трех различных оснований вытекает одно и то же следствие; вторая посылка представляет собой дизъюнкцию этих трех оснований; в заключении утверждается следствие.
У данного больного или грипп, или острое респираторное заболевание, или ангина.
__________________________________________________
В сложной конструктивной трилемме первая посылка состоит из трех различных оснований и трех различных вытекающих из них следствий, т. е. содержит три условных суждения. Вторая посылка является дизъюнктивным суждением, в котором утверждается (по крайней мере) одно из трех оснований. В заключении утверждается (по крайней мере) одно из трех следствий.
Приведем пример сложной конструктивной трилеммы. В некоторых сказках говорится о надписях на перекрестках трех дорог, которые содержат, например, такого рода трилемму:
Кто поедет прямо, будет в холоде и голоде; кто поедет направо, тот сам останется цел, а конь будет убит; кто поедет налево, тот сам будет убит, а конь останется цел.
Человек может поехать либо прямо, либо направо, либо налево.
_____________________________________________________________
Он или будет в холоде и голоде, или сам останется цел, а конь будет убит, или сам будет убит, а конь останется цел.
Приведем еще пример трилеммы.
В своих воспоминаниях о Великой Отечественной войне Л. И. Баркович пишет об истории Ладожской дороги. Ладожская дорога, Дорога жизни, была фронтом. Направляясь в Ленин-
град по Ладожскому озеру, Иван Игнатьевич Баркович, будучи шофером грузовой машины, взял с собой сына Леонида, так как вторую машину - полуторку вести было некому. В автоколонне сын двигался за машиной отца. Дорога была опасна. Враг держал ее под огнем, лед расходился, образуя просветы. Вдруг машина отца остановилась - оказалось, кончился бензин.
Леонид Баркович рассуждает:
«У моей машины горючее тоже было на исходе. Переливать половину оставшегося бензина в бак отцовского «газика» было глупо - горючее могло кончиться раньше, чем мы добрались бы до берега.
Поехать вперед, сообщить, что тут стоит машина? Но помощь может прийти поздно...
Взять на буксир его машину - лед мог не выдержать».
Леонид принял решение: «Давай трос! На буксире у меня войдешь!» Добрались благополучно.
Деструктивные трилеммы, так же как и деструктивные дилеммы, бывают простые и сложные. Структура их аналогична структуре дилеммы, только предусматриваются не две, а три возможные альтернативы.
Приведем пример простой деструктивной трилеммы.
Если в ближайшее время погода ухудшится» то у него будут болеть суставы, повысится артериальное давление и будет ломить поясница.
Известно, что у него или не болят суставы, или не повысилось артериальное давление, или не ломит поясница.
__________________________________________
В ближайшее время погода не ухудшится.
В математике структура трилеммы используется тогда, когда возникают три возможных варианта решения задачи, доказательства теоремы и предстоит выбор одного из них.
Сокращенные условные, разделительные и условно-разделительные умозаключения
Категорический силлогизм в мышлении часто употребляется в сокращенной форме - в форме энтимемы. Сокращенными могут быть не только простые категорические силлогизмы, но и условные, и разделительные, и условно-разделительные умозаключения, в которых может быть пропущена либо одна из посылок, либо заключение. Рассмотрим типы таких сокращенных умозаключений.
1. В умозаключении заключение в явном виде может не формулироваться. «Если данное тело - металл, то оно при наревании расширяется. Данное тело - металл». Заключение Данное тело при нагревании расширяется» не формулируетсяв явном виде, а просто подразумевается в этом условно-категорическом умозаключении.
В приводимом ниже разделительно-категорическом умозаключении также пропущено заключение. «Многоугольники делятся на правильные и неправильные. Данный многоугольник неправильный». Заключение «Данный многоугольник не является правильным» опущено; оно легко может быть восстановлено.
В дилеммах и трилеммах заключение также может явно не формулироваться, а подразумеваться. Например, в приведенной ниже сложной деструктивной дилемме заключение явно не присутствует:
«Если соблюдать правила хранения зерна, то не произойдет его самозагорания, а если организовать хорошую охрану зернохранилища, то не произойдет умышленного поджога. Данный пожар произошел либо от самозагорания зерна, либо от умышленного поджога». Заключение - «В данном зернохранилище либо не соблюдаются правила хранения зерна, либо не налажена охрана» - подразумевается, а не высказывается в явной форме.
2. В умозаключении пропущена одна из посылок. В умозаключениях может быть пропущена первая посылка; она может подразумеваться, если выражает известное положение, теорему, закон и т. д.
В условно-категорическом умозаключении «Сумма цифр данного числа делится на 3, следовательно, данное число делится на 3» опущена первая посылка, формулирующая известную математическую закономерность: «Если сумма цифр данного числа делится на 3, то все число делится на 3».
В приводимом ниже разделительно-категорическом умозаключении также пропущена первая посылка: «Существительное в русском языке может быть женского, мужского или среднего рода», а все умозаключение сокращенно формулируется так: «Данное существительное русского языка не является существительным ни женского рода, ни среднего рода. Следовательно, данное существительное мужского рода».
В приведенном ниже примере сложной конструктивной дилеммы: «Если я пойду через болото, то могу попасть в трясину, а если я пойду в обход, то не успею вовремя доставить донесение. Следовательно, я могу попасть в трясину или не успею вовремя доставить донесение» - вторая посылка не формулируется, а лишь подразумевается: «Я могу идти через болото или в обход».
Можно было бы привести и другие примеры сокращенных умозаключений: чисто условных, условно-категорических, чисто разделительных, разделительно-категорических, условно-разделительных (дилемм, трилемм) с пропущенной первой или второй посылкой, - но предоставляем это самостоятельно сделать читателю.
Итак, рассмотренные нами прямые выводы, такие, как чисто условные, чисто разделительные, условно-категорические, разделительно-категорические и условно-разделительные (лемматические) умозаключения, сформулированные полностью и сокращенные (т. е. в которых пропущена либо одна из посылок, либо заключение), широко используются в процессе научного и обыденного мышления, в процессе обучения в школе и в вузе. Поэтому знание правил построения этих видов умозаключений предостережет от логических ошибок в мышлении, поможет доказательнее, аргументированнее строить свои рассуждения и сделать более эффективным обучение учащихся и студентов.
Прямые выводы кроме рассмотренных выше форм включают и такие виды:
1. Простая контрапозиция.
Правило простой контрапозиции имеет следующий вид:
а имплицирует b , то отрицание b имплицирует отрицание а ». Здесь а и b - переменные, обозначающие произвольные высказывания, или пропозициональные переменные.
1. Если данный треугольник равносторонний, то он равноугольный.
____________________________________________________________________
Если данный треугольник не равноугольный, то он не равносторонний.
2. Если это вещество фосфор, то оно непосредственно с водородом не соединяется.
_____________________________________________________________________________________
Если вещество непосредственно с водородом соединяется, то это вещество не является фосфором.
Заметим, что в логике высказываний
Формуланазывается законом простой контрапозиции.
2. Сложная контрапозиция.
- правило сложной контрапозиции.
Пример рассуждения по правилу сложной контрапозиции:
Если у меня будут деньги и я буду здорова, то я поеду домой на каникулы.
________________________________________________________________________
Если у меня были деньги и я не поехала на каникулы домой, то, следовательно, а не была здорова.
3. Правило импортации (конъюнктивного объединения условий). П. С. Новиков называет его правилом соединения посылок:
Это правило читается так: «Если а имплицирует, что b имплицирует с, то а и b имплицируют с».
В. А. Сухомлинский писал: «Если учитель стал другом ребенка, если эта дружба озарена благородным увлечением, порывом к чему-то светлому, разумному, в сердце ребенка никогда не появится зло». На основании правила соединения посылок (правила конъюнктивного объединения условий) мы можем это высказывание В. А. Сухомлинского записать иначе, но оно будет эквивалентно прежнему его высказыванию. Заключение: «Если учитель стал другом ребенка и эта дружба озарена благородным увлечением, порывом к чему-то светлому, разумному, то в сердце ребенка никогда не появится зло».
4. Правило экспортации (разъединения условий):
Это правило читается так: «Если а и b имплицируют с, то а имплицирует, что b имплицирует с. Правило это обратно предыдущему. Поэтому в качестве иллюстрации можно взять те же мысли В. А. Сухомлинского, только сначала прочитать наше полученное заключение, из которого можно прийти к высказыванию самого В. А. Сухомлинского.
Это умозаключение состоит из двух посылок. В первой посылке утверждается, что из двух различных оснований вытекает одно и то же следствие. Во второй посылке, которая является дизъюнктивным суждением, утверждается, что одно или другое из этих оснований истинно. В заключении утверждается следствие.
В традиционной формальной логике простую конструктивную дилемму обычно представляют в виде следующей схемы:
Если А есть В, то С есть D, если Е есть F, то С есть D.
А есть В или Е есть F.
Приведем пример простой конструктивной дилеммы:
Если число делится на 6, то оно делится и на 3; если число делится на 9, то оно делится и на 3.
Данное число делится на 6 или на 9 .
Данное число делится на 3.
Сложная конструктивная дилемма
Это умозаключение строится из двух посылок. В первой посылке имеются два основания, из которых вытекают соответственно два следствия; во второй посылке, которая представляет собой дизъюнктивное суждение, утверждается истинность одного или другого основания; в заключении утверждается истинность одного или другого следствия. Сложная конструктивная дилемма отличается от простой конструктивной дилеммы только тем, что оба следствия ее условной посылки различны, а не одинаковы.
Этот вид дилеммы значительно чаще встречается в мышлении людей, в сознании литературных героев, исторических деятелей.
Например:
В романе А.С. Пушкина «Евгений Онегин» после вызова Ленского на дуэль перед Онегиным встала дилемма:
Если отказаться от дуэли, то его признают трусом; если он убьет Ленского на дуэли, то его признают убийцей.
Онегин мог отказаться от дуэли или пойти на нее.
Его признают трусом или убийцей.
Так как дилемма означает сложный выбор из двух альтернатив одной, причем обе они нежелательны для субъекта (такая ситуация характеризуется выражением «из двух зол выбирать наименьшее»), то в древности о дилемме говорили: «Посадить на рога дилеммы».
Простая деструктивная дилемма
В этом умозаключении первая (условная) посылка указывает на то, что из одного и того же основания вытекают два различных следствия; вторая посылка представляет собой дизъюнкцию отрицаний обоих этих следствий; в заключении отрицается основание.
Например:
Если человек болен гриппом, то у него высокая температура, болит горло, появляется насморк.
У человека нет высокой температуры, насморка, не болит горло.
Следовательно этот человек не болен гриппом.
Сложная деструктивная дилемма
Дилемма такого вида содержит одну посылку, состоящую из двух условных суждений с разными основаниями и разными следствиями; вторая посылка является дизъюнкцией отрицаний обоих следствий; заключение является дизъюнкцией отрицаний обоих оснований. В форме, обычной для традиционной логики, сложную деструктивную дилемму можно представить в виде следующей схемы:
Если А есть В, то С есть D, если Е есть F, то К есть М.
С не есть D или К не есть М.
А не есть В или Е не есть F.
Например:
Если бы я был богат, то купил бы автомобиль.
Ноя не купил диплом и не учусь в академии.
Следовательно, я не богат и не имею больших связей.
Это умозаключение состоит из двух посылок. В первой посылке утверждается, что из двух различных оснований вытекает одно и то же следствие. Во второй посылке, которая является дизъюнктивным суждением, утверждается, что одно или другое из этих оснований истинно. В заключении утверждается следствие.
В традиционной формальной логике простую конструктивную дилемму обычно представляют в виде следующей схемы:
Если А есть В, то С есть D; если Е есть F, то С есть D.
А есть В или Е есть F.
___________________________________________________
С есть D.
Приведем пример простой конструктивной дилеммы.
В романе В. Шукшина «Я пришел дать вам волю» написано так: «Давай думать, как быть. Две дороги домой: Кумой или Волгой. Обои закрыты. Там и тут надо пробиваться силой. Добром нас никакой дурак не пропустит. А раз такое дело, давай решим: где легче».
Простая конструктивная дилемма представлена в такой форме:
Если плыть Кумой (а), то надо пробиваться силой (Ь);
если плыть Волгой (с), то надо пробиваться силой (b).
Можно плыть Кумой (а) или Волгой (с).
______________________________
Надо пробиваться силой (b).
Выразим суждение «А есть В» переменной а, суждение «С есть D» - переменной b, суждение «Е есть F» - переменной с. Тогда схема простой конструктивной дилеммы выразится в виде следующего правила вывода:
В данном случае формула указанного вида будет такова:
Доказательство тождественной истинности этой формулы можно провести табличным методом. Приведем еще один пример простой конструктивной дилеммы:
Если я пойду через речку по мосту, меня могут заметить враги;
если я пойду через речку вброд, меня тоже могут заметить враги.
Я могу идти через речку по мосту или вброд.
___________________________________
Меня могут заметить враги.
Конец работы -
Эта тема принадлежит разделу:
Учебник по логике
Учебник по логике.. Москва.. оглавление глава i предмет и значение логики..
Если Вам нужно дополнительный материал на эту тему, или Вы не нашли то, что искали, рекомендуем воспользоваться поиском по нашей базе работ:
Что будем делать с полученным материалом:
Если этот материал оказался полезным ля Вас, Вы можете сохранить его на свою страничку в социальных сетях:
Твитнуть |
Все темы данного раздела:
Мышление как предмет изучения логики
Познание как отражение действительности
Познание есть диалектический процесс отражения мира в сознании людей. Это движение мысли от незнания к знанию, от неполного и неточного знания к бо
Понятие логической формы
Логической формой конкретной мысли является строение этой мысли, т. е. способ связи ее составных частей. В логических формах отражается не вся полнота содержания мира, существующего вне нас, а его
Теоретическое и практическое значение логики
Можно логично рассуждать, правильно строить свои умозаключения, опровергать доводы противника и не зная правил логики, подобно тому как нередко люди выражают свои мысли на языке, не зная его грам
Логика и язык
Предметом изучения логики являются формы и законы правильного мышления. Мышление есть функция человеческого мозга. Труд способствовал выделению человека из среды животных,
явился фундаме
Семантические категории
Выражения (слова и словосочетания) естественного языка, имеющие какой-либо самостоятельный смысл, можно разбить на так называемые семантические категории, к которым относятся: 1) предложения
Понятие как форма мышления
Понятие является одной из форм абстрактного мышления. Конкретные предметы и их свойства отражаются с помощью форм чувственного познания - ощущений, восприятий, представлений. Например, в данном ап
Виды понятий
Понятия можно классифицировать по объему и по содержанию. По объему понятия делятся на единичные, общие и пустые.
Объем единичного понятия составляет одноэлементный
Конкретные и абстрактные понятия
Конкретными называются понятия, в которых отражены одноэлементные или многоэлементные классы предметов (как материальные, так и идеальные). К их числу относятся понятия: «дом», «свидетель»,
Относительные и безотносительные понятия
Относительные - такие понятия, в которых мыслятся предметы, существование одного из которых предполагает существование другого («дети» - «родители», «ученик» - «учитель», «начальник» - «по
Положительные и отрицательные понятия
Положительные понятия характеризуют в предмете наличие того или иного качества или отношения. Например, грамотный человек, алчность, отстающий ученик, красивый поступок, эксплуататор и т. д
Собирательные и несобирательные понятия
Собирательными называются понятия, в которых группа однородных предметов мыслится как единое целое (например, «полк», «стадо», «стая», «созвездие»). Проверяем так. Например, об одном дереве
Отношения между понятиями
Предметы мира находятся друг с другом во взаимосвязи и взаимообусловленности. Поэтому и понятия, отражающие предметы мира, также находятся в определенных отношениях.
Далеки
Типы несовместимости: соподчинение, противоположность, противоречие
Соподчинение (координация) - это отношение между объемами двух или нескольких понятий, исключающих друг друга, но принадлежащих некоторому, более общему родовому понятию (например, «ель», «
Определение понятий
Определение (или дефиниция) понятия есть логическая операция, которая раскрывает содержание понятия либо устанавливает значение термина.
С помощью определения
Реальные и номинальные определения
Если определяется понятие, то определение будет реальным. Если определяется термин, обозначающий понятие, то определение будет номинальным. Из вышеприведенных определений (1) и (4)-э
Использование определений; понятий в процессе обучения
Определение через род и видовое отличие и номинальное определение широко используются в процессе обучения. Приведем ряд примеров, взятых из школьных учебников. К определениям через ближайший р
Правила явного определения. Ошибки, возможные в определении
1. Определение должно быть соразмерным, т. е. объем определяющего понятия должен быть равен объему определяемого понятия.
Неявные определения
Вотличие от явных определений, имеющих структуру в неявных определениях просто на место Dfn подставляется контекст,
Определение через аксиомы
В современной математике и в математической логике широко применяется так называемый аксиоматический метод. Приведем пример6. Пусть дана система каких-то элементов (обозначаемых х,
Приемы, сходные с определением понятий
Всем понятиям определение дать невозможно (к тому же в этом нет необходимости), поэтому в науке и в процессе обучения используются другие способы введения понятий - приемы, сходные с определением:
Значение определений в науке и в рассуждении
Кроме учета формально-логических требований при определении понятия надо учитывать и методологические требования к определению. Определение понятия можно сформулировать после всестороннего изучени
Правила деления понятий
Чтобы деление было правильным, необходимо соблюдать следующие правила.
1. Соразмерность деления: объем делимого понятия должен быть равен сумме объемов членов деления. Например, выс
Виды деления: по видообразующему признаку и дихотомическое деление
При делении понятия по видообразующему признаку основанием деления является тот признак, по которому образуются видовые понятия; этот признак является видообразующим. Например, по величине углы д
Ограничение и обобщение понятий
Предположим, мы знаем, что некто - ученый, и хотим уточнить наши знания о нем. Уточняем: это русский ученый, выдающийся русский ученый-физиолог И. П. Павлов.
Произведенна
Общая характеристика суждения
Суждение - форма мышления, в которой что-либо утверждается или отрицается о существовании предметов, связях между предметом и его свойствами или об отношениях между предметами.
Пр
Суждение и предложение
Понятия в языке выражаются одним словом или группой слов. Суждения выражаются повествовательными предложениями, которые содержат какое-то сообщение, информацию. Например, «Буря мглою небо кроет»,
Виды простых суждений
1. Суждения свойства (атрибутивные). В суждениях этого вида утверждается или отрицается принадлежность предмету известных свойств, состояний, видов деятельности. Примеры: «У розы приятный за
Распределенность терминов в категорических суждениях
В суждениях термины S и Р могут быть либо распределены, либо не распределены. Термин считается распределенным, если его объем полностью включается в объем другого термина или полностью исклю
Сложное суждение и его виды
Сложные суждения образуются из простых суждений с помощью логических связок: конъюнкции, дизъюнкции, импликации, эквиваленции и отрицания.
Таблицы истинности этих логическ
Способы отрицания суждений
Два суждения называются отрицающими или противоречащими друг другу, если одно из них истинно, а другое ложно (т. е. они не могут быть одновременно истинными или одновременно ложными)
Отрицание сложных суждений
Чтобы получить отрицание сложных суждений, имеющих в своем составе лишь операции конъюнкции и дизъюнкции, необходимо поменять знаки операций на противоположные (т. е. конъюнкцию на дизъюнкцию, и н
Выражение логических связок (логических постоянных) в естественном языке
В мышлении мы оперируем не только простыми, но и сложными суждениями, образуемыми из простых посредством логических связок (или операций) - конъюнкции, дизъюнкции, импликации, эквиваленции, отри
Отношения между суждениями по значениям истинности
Суждения, как и понятия, делятся на сравнимые (имеют общий субъект или предикат) и несравнимые. Сравнимые суждения делятся на совместимые и несовместимые.
В математической
Деление суждений по модальности
В логике мы до сих пор рассматривали простые суждения, которые называются ассерторическими, а также сложные суждения, составленные из простых. В них утверждается или отрицае
Понятие о логическом законе
Фундамент материалистической диалектики - наиболее глубокого и всестороннего учения о развитии - составляют основные законы: закон взаимного перехода количественных и качественных изменений, зак
Закон тождества
Закон тождества является одним из законов правильного мышления, соблюдение этого закона гарантирует определенность и ясность мышления. Закон формулируется так: «В процессе определенного рассуж
Закон непротиворечия
Диалектика исходит из реального онтологического существования диалектических противоречий во всех предметах действительности. Но ставя задачу отобразить их, мы должны в силу законов отражения учи
Закон исключенного третьего
Для двузначной логики онтологическим аналогом этого закона является то, что в предмете указанный признак либо присутствует, либо нет. В книге «Метафизика» Аристотель сформулировал закон исключенно
Закон достаточного основания
Этот закон формулируется так: «Всякая истинная мысль должна быть достаточно обоснованной». Речь идет об обосновании именно и только истинных мыслей; ложные же мысли доказать нельзя. Есть х
Использование формально-логических законов в обучении
Формально-логические законы действуют во всяком мышлении, но в обучении особенно необходимо их сознательное использование, поскольку обучение направлено на формирование правильного мышления у уч
Общее понятие об умозаключении
Формами мышления являются понятия, суждения и умозаключения. Опосредованно, с помощью многообразных видов умозаключений, мы можем получать новые знания. Построить умозаключение м
Понятие логического следования
Выведение следствий из данных посылок - широко распространенная логическая операция. Как известно, условиями истинности заключения являются истинность посылок и логическая правильность вывода. Ин
Дедуктивные умозаключения
Дедуктивные умозаключения- те умозаключения, у которых между посылками и заключением имеется отношение логического следования.
Определение дедуктивного умозаключения, дан
Понятие правила вывода
Умозаключение дает истинное заключение, если исходные посылки истинны и соблюдены правила вывода. Правила вывода или правила преобразования суждений позволяют переходить от посылок (суждений) опред
Превращение
Превращение - вид непосредственного умозаключения, при котором изменяется качество посылки без изменения ее количества, при этом предикат заключения является отрицанием предиката посылки.
Противопоставление предикату
Это такое непосредственное умозаключение, при котором (в заключении) предикатом является субъект, субъектом - понятие, противоречащее предикату исходного суждения, и связка меняется на противополо
Фигуры категорического силлогизма
Фигурами категорического силлогизма называются формы силлогизма, различаемые по положению среднего термина М в посылках. Различаются четыре фигуры (рис. 44).
Модусы категорического силлогизма
Модусами фигур категорического силлогизма называются разновидности силлогизма, отличающиеся друг от друга качественной и количественной характеристикой входящих в них посылок и заключения.
Правила терминов
1. В каждом силлогизме должно быть только три термина (S, Р, М). Ошибка называется «учетверение терминов». Ошибочное умозаключение:
Движение вечно.
Хождение
Сокращенный категорический силлогизм (энтимема)
Энтимемой, или сокращенным категорическим силлогизмом, называется силлогизм, в котором пропущена одна из посылок или заключение.
Термин «энтимема» в переводе с грече
Сложные и сложносокращенные силлогизмы (полисиллогизмы, сориты, эпихейрема)
Полисиллогизмом (сложным силлогизмом) называются два или несколько простых категорических силлогизмов, связанных друг с другом таким образом, что заключение одного из них
Формализация эсихейрем с общими посылками
Эпихейремой в традиционной логике называется такой сложносокращенный силлогизм, обе посылки которого представляют собой сокращенные простые категорические силлогизмы (энтимемы).
Сх
Условные умозаключения
Чисто условным умозаключением называется такое опосредствованное умозаключение, в котором обе посылки являются условными суждениями. Условным называется суждение, имеющее с
Условно-категорические умозаключения
Условно-категорическое умозаключение - это такое дедуктивное умозаключение, в котором одна из посылок - условное суждение, а другая - простое категорическое суждение.
Оно имеет два
Сложная конструктивная дилемма
Это умозаключение строится из двух посылок. В первой посылке имеются два основания, из которых вытекают соответственно два следствия; во второй посылке, которая представляет собой дизъюнктивное су
Сложная деструктивная дилемма
Дилемма такого вида содержит одну посылку, состоящую из двух условных суждений с разными основаниями и разными следствиями; вторая посылка есть дизъюнкция отрицаний обоих следствий; заключение явля
Трилемма
Трилеммы, так же как и дилеммы, могут быть конструктивными и деструктивными; каждая из этих форм в свою очередь может быть простой или сложной. Простая конструктивная трилемма состоит из дв
Логическая природа индукции
Дедуктивные умозаключения позволяют выводить из истинных посылок при соблюдении соответствующих правил истинные заключения. Индуктивные умозаключения обычно дают нам не достоверные, а лишь правдоп
Математическая индукция
Один из важнейших методов доказательства в математике основан на аксиоме (принципе) математической индукции. Пусть 1) свойство А имеет место при n - 1; 2) из предположения о том, что
Виды неполной индукции
Неполная индукция применяется в тех случаях, когда мы, во-первых, не можем рассмотреть все элементы интересующего нас класса явлений; во-вторых, если число объектов либо бесконечно
вид. Индукция через анализ и отбор фактов
В популярной индукции наблюдаемые объекты выбираются случайно, без всякой системы. В индукции через анализ и отбор фактов стремятся исключить случайность обобщений, так как изучаются планомерно ото
Понятие вероятности
Различаются два вида понятия «вероятность» - объективная и субъективная вероятность. Объективная вероятность - понятие, характеризующее количественную меру возможности появления некоторого
вид. Научная индукция
Научной индукцией называется такое умозаключение, в котором на основании познания необходимых признаков или необходимой связи части предметов класса делается общее заключение обо всех пре
Понятие причины и следствия
Причина - явление или совокупность явлений, которые непосредственно обусловливают, порождают другое явление (следствие).
Причинная связь является всеобщей, так как все явления, да
Методы установления причинной связи
Причинная связь между явлениями определяется посредством ряда методов, описание и классификация которых восходит к Ф. Бэкону и которые были развиты Дж. Ст. Миллем.
Метод сходства. Допустим
Дедукция и индукция в учебном процессе
Как в любом процессе мышления (научного или обыденного), так и в процессе обучения дедукция и индукция взаимосвязаны. «Индукция и дедукция связаны между собой столь же необходимым
Умозаключение по аналогии и его виды. Использование аналогий в процессе обучения
Термин «аналогия» означает сходство двух предметов22 (или двух групп предметов) в каких-либо свойствах или отношениях. Умозаключение по аналогии - один из самых древних в
Строгая аналогия
Характерным признаком, отличающим строгую аналогию от нестрогой и ложной, является наличие необходимой связи общих признаков с переносимым признаком. Схема строгой аналогии такова:
Предмет
Нестрогая аналогия
В отличие от строгой аналогии нестрогая аналогия дает не достоверное, а лишь вероятное заключение. Если ложное суждение обозначить через 0, а истину - через 1, то степень вероятности заключений п
Ложная аналогия
При нарушении указанных выше правил аналогия может дать ложное заключение, т. е. стать ложной. Вероятность заключения по ложной аналогии равна 0 (Р (а) = 0). Ложные аналогии иногда делаются
Использование аналогий в процессе обучения
Аналогии используются на уроках по всем школьным дисциплинам. Мы приведем лишь некоторые примеры использования аналогий на уроках истории, физики, астрономии, биологии, математики.
На уро
Понятие доказательства
Познание отдельных предметов, их свойств происходит посредством форм чувственного познания (ощущений и восприятий). Мы видим, что этот дом еще не достроен, ощущаем вкус горького лекарства и т. д.
Прямое и непрямое (косвенное) доказательство
Доказательства по форме делятся на прямые и непрямые (косвенные). Прямое доказательство идет от рассмотрения аргументов к доказательству тезиса, т. е. истинность тезиса непосредст
Понятие опровержения
Опровержение - логическая операция установления ложности или необоснованности ранее выдвинутого тезиса.
Опровержение должно показать, что: 1) неправильно построено
Критика аргументов
Подвергаются критике аргументы, которые были выдвинуты оппонентом в обоснование его тезиса. Доказывается ложность или несостоятельность этих аргументов.
Ложность аргументов не означает лож
Выявление несостоятельности демонстрации
Этот способ опровержения состоит в том, что показываются ошибки в форме доказательства. Наиболее распространенной ошибкой является подбор таких аргументов, из которых истинность опровергаемого тез
Логические ошибки, встречающиеся в доказательстве и опровержении
Если будет нарушено хотя бы одно из перечисленных ниже правил, то могут произойти ошибки, относящиеся к доказываемому тезису, аргументам или к самой форме доказательства.
Ошибки, совершаемые относительно доказываемого тезиса
1. «Подмена тезиса». Согласно правилам доказательного рассуждения, тезис должен быть ясно сформулирован и оставаться одним и тем же на протяжении всего доказательства или опровержения. При
Ошибки в основаниях (аргументах) доказательства
1. Ложность оснований («Основное заблуждение»). В качестве аргументов берутся не истинные, а ложные суждения, которые выдают или пытаются выдать за истинные. Ошибка может быть непреднамеренн
Ошибки в форме доказательства
1. Мнимое следование. Если тезис не следует из приводимых в его подтверждение аргументов, то возникает ошибка, называемая «не следует». Иногда вместо правильного доказательства аргументы со
Понятие о софизмах и логических парадоксах
Непреднамеренная ошибка, допущенная человеком в мышлении, называется паралогизмом. Преднамеренная ошибка (как уже не раз отмечалось), совершаемая с целью запутать противника
Понятие о логических парадоксах
Парадокс - это рассуждение, доказывающее как истинность, так и ложность некоторого суждения, иными словами, доказывающее как это суждение, так и его отрицание. Парадоксы были известны еще в
Парадоксы теории множеств
В письме Готтлобу Фреге от 16 июня 1902 г. Бертран Рассел сообщил о том, что он обнаружил парадокс множества всех нормальных множеств (нормальным множеством называется множество, не содержащее себя
Доказательство и дискуссия
Роль доказательства в научном познании и дискуссиях сводится к подбору достаточных оснований (аргументов) и к показу того, что из них с логической необходимостью следует тезис дока
Гипотеза как форма развития знаний
В науке, обыденном мышлении мы идем от незнания к знанию, от неполного знания к более полному; нам приходится выдвигать и затем обосновывать различные предположения для объяснения
Виды гипотез
В зависимости от степени общности научные гипотезы можно разделить на общие, частные и единичные.
Общая гипотеза - это научно обоснованное предположение о причинах, законах и взаимо
Построение гипотезы и этапы ее развития
Гипотезы строятся тогда, когда возникает потребность объяснить ряд новых фактов, которые не укладываются в рамки известных ранее научных теорий или других их объяснений. Вначале пр
Способы подтверждения гипотез
1. Самый действенный способ подтверждения гипотезы - обнаружение предполагаемого объекта, явления или свойства, которое служит причиной рассматриваемого явления.
Примерами
Опровержение гипотез
Опровержение гипотез осуществляется путем опровержения (фальсификации) их следствий. При этом может обнаружиться, что многие или все необходимые следствия рассматриваемой гипотезы н
Логическая структура вопроса
Вопрос в познании играет особенно большую роль, так как все познание мира начинается с вопроса, с постановки проблемы.Проблемы перед познанием, в том числе перед различными науками,
Виды вопросов
Обычно различают два вида (типа) вопросов: I тип - уточняющие (определенные, прямые, или «ли» вопросы).
Например: «Верно ли, что И. С. Васильев успешно защитил кандидатскую д
Предпосылки вопросов
Предпосылкой, или базисом, вопроса является содержащееся в вопросе исходное знание, неполноту или неопределенность которого требуется устранить. На эту неполноту или неопределенность указывают опер
Правила постановки простых и сложных вопросов
1. Корректность постановки вопроса. Итак, вопросы должны быть правильно поставленными, корректными. Провокационные и неопределенные вопросы недопустимы.
2. Предусмотренные альтернативы отв
Логическая структура и виды ответов
1. Ответы на простые вопросы. Ответ на простой вопрос первого вида (уточняющий, определенный, прямой, «ли»-вопрос) предполагает одно из двух: «да» или «нет». Например, «Является ли Александр
Постановка вопросов в процессе проблемного обучения
Под проблемным обучением понимается такое изучение материала, которое вызывает в сознании учащихся познавательные задачи и проблемы, напоминающие научный поиск3. Разрешение этих проблем
В начальной школе
Большое значение в процессе обучения придавал логике чешский педагог Я. А. Коменский. Он предлагал знакомить учащихся с краткими правилами умозаключений, подкреплять эти правила яр
Развитие логического мышления младших школьников
В процессе обучения оперированию понятиями отводится ведущая роль. В третьем классе начальной школы на уроках природоведения учащимся даются простейшие, доступные для их понимания о
Развитое логического мышления на уроках математики
Математика способствует развитию творческого мышления, заставляя учащихся искать решения нестандартных задач, размышлять над парадоксами, анализировать содержание условий теорем и сути их доказате
Развитие логического мышления на уроках истории
В начальной школе при изучении материала по истории применяются различные приемы, способствующие развитию мышления, в первую очередь наглядные пособия: картины, диапозитивы, рисунки на доске, ап
Логика в Древней Индии
История логики Индии связана с развитием индийской философии. Древнейший литературный памятник Индии - Веды (II - начало I тысячелетия до н. э.), а наиболее древняя его часть - Ригведа. С целью ра
Логика в Древней Греции
В Древней Греции логическую форму доказательства в виде цепи дедуктивных умозаключений мы встречаем в элейской школе (у Парменида и Зенона). Гераклит Эфесский выступает с учением о всеобще
Логика в средние века
Средневековая логика (VI-XV вв.) изучена еще недостаточно. В средние века теоретический поиск в логике развернулся главным образом по проблеме истолкования природы общих понятий. Так называемые ре
Развитие логики в связи с проблемой обоснования математики
Немецкий математик и логик Готтлоб Фреге (1848-1925) предпринял попытку свести математику к логике. С этой целью в первой своей работе по математической логике «Исчисление понятий»
Многозначные логики
Если в двузначной логике высказывание бывает истинным или ложным, то в многозначных логиках число значений истинности аргументов и функций может быть любым конечным и даже бесконечным. В настоящем
Трехзначная система Рейтинга
В двузначной логике из закона исключенного третьего выводятся: 1)2)
Бесконечнозначная логика как обобщение многозначной системы Поста
Исходя из системы Рщ Поста, мы (А. Г.) строим бесконечнозначную систему Gх0. Значениями истинности являются 1 (истина), 0 (ложь) и все дробные числа в ин
Интуиционистская логика
Интуиционистская логика построена в связи с развитием интуиционистской математики. Интуиционистская школа основана в 1907 г. голландским математиком и логиком Л. Брауэром (1881-196
Конструктивные логики
Конструктивная логика, отличная от логики классической, своим рождением обязана конструктивной математике. Конструктивная математика может быть кратко охарактеризована как наука о
Конструктивные исчисления высказываний В. И. Гливенко и А. Н. Колмогорова
Первыми представителями конструктивной логики были наши отечественные математики - А. Н. Колмогоров (1903- 1987) и В. И. Гливенко (1897-1940). Первое исчисление, не содержащее закона исключенного
Конструктивная логика А. А. Маркова
Проблема конструктивного понимания логических связок, в частности отрицания и импликации, требует применения в логике специальных точных формальных языков. В основе конструктивной математической
Модальные логики
В классической двузначной логике рассматривались простые и сложные ассерторические суждения, т. е. такие, в которых не установлен характер связи между субъектом и предикатом. Напри
Положительные логики
Положительные логики - это логики, построенные без операции отрицания. Их можно разделить на два вида: 1) положительные логики в широком смысле слова, или квазипозитивные логики. О
Паранепротиворечивая логика
Эта логика представляет одно из направлений современной неклассической математической логики. Объективными основами появления паранепротиворечивых логик является стремление отразит
Условно-разделительным (лемматическим , лат. lemma - «предположение») умозаключением называется такое, в котором
- одна посылка условное суждение, а
- другая посылка - разделительное суждение.
Альтернативное определение лемматического силлoгизма
Лемматический или условно-разделительный силлогизм - это дедуктивное умозаключение, в котором большая посылка состоит из двух или более числа условных суждений, а меньшая - категорическое или разделительное суждение.
Важно! Следует иметь ввиду, что:
- Каждый случай уникален и индивидуален.
- Тщательное изучение вопроса не всегда гарантирует положительный исход дела. Он зависит от множества факторов.
Чтобы получить максимально подробную консультацию по своему вопросу, вам достаточно выбрать любой из предложенных вариантов:
Разделительное суждение может содержать две, три и большее число альтернатив, поэтому лемматические умозаключения делятся на дилеммы (две альтернативы), трилеммы (три альтернативы) и полилеммы (много предположений).
Закономерности выводов в лемматических умозаключениях можно рассмотреть на примерах с минимумом числа условных суждений - дилеммах, поскольку все остальные виды лемматических умозаключений подчиняются тем же логическим правилам.
Виды дилемм:
- конструктивная
(созидательная):
- простая;
- сложная.
- деструктивная
(разрушительная):
- простая;
- сложная.
- конструктивная
(созидательная):
Конструктивной называют дилемму, третья посылка и заключение ко-торой являются утвердительными суждениями.
Деструктивной называют дилемму, третья посылка и заключение ко-торой являются отрицательными суждениями.
Простой называют дилемму, в которой выводом является простое суждение, а в условных посылках общими являются либо следствия, либо ос-нования.
Сложной называют дилемму, в которой выводом является сложное су-ждение, а в условных посылках нет ни одного общего основания или общего следствия.
Простая деструктивная дилемма
В простой деструктивной дилемме:
- условная посылка содержит одно основание , из которого вытекает два возможных следствия ;
- заключение отрицает основание.
Рассуждение направлено от отрицания истинности следствий к отрицанию истинности основания.
Если Н. совершил умышленное преступление (р), значит, в его действиях был прямой (q) или косвенный (r).
Но в действиях Н не было ни прямого (q), ни косвенного умысла (r).
________________________________________________________________
Преступление, совершенное Н., не является умышленным
(р).
Ещё пример:
Если я хочу купить квартиру, то должна иметь либо наличные, либо достаточный доход для получения кредита.
У меня нет ни того, ни другого.
________________________________________________
Значит, квартиру не куплю.
а → в а → с
не-в V не-c
_________________________
Сложная деструктивная дилемма
В сложной деструктивной дилемме:
- условная посылка содержит два основания и два следствия;
- разделительная посылка отрицает оба следствия;
- заключение отрицает оба основания.
Рассуждение направлено от отрицания истинности следствий к отрицанию истинности оснований.
Если предприятие является арендным (р), то оно осуществляет предпринимательскую деятельность на основе взятого им в аренду имущественного комплекса (q); если оно является коллективным (r), то осуществляет такую деятельность на основе находящегося в его собственности имущества (s).
Данное предприятие не осуществляет свою деятельность ни на основе взятого в аренду имущественного комплекса (не-q), ни на основе находящегося в его собственности имущества (не-s).
____________________________________________________________
Данное предприятие не арендное (не-р) или не коллективное (не-r).
Ещё пример:
Если бы я был богат, я бы купил автомобиль. Если бы я был бесчестен, я бы его украл.
Я не куплю и не украду.
Значит, я не богат и не бесчестен.
а → в с → d
не-в Λ не-d
___________________
не-а Λ не-с
Достоверность лемматических силлогизмов находится в непосредственной зависимости от правильности условных суждений в большей посылке и от полноты членов деления в меньшей. Так как эти условия часто не соблюдаются, то лемматические умозаключения становятся источником ошибок. При этом именно неполное перечисление альтернатив чаще всего и является ошибочным.
Двумя альтернативами часто невозможно исчерпать всего возможного числа случаев. Например:
Если какой-либо студент любит учиться, то он не нуждается ни в каком поощрении. Если же он чувствует отвращение к учению, то всякое поощрение окажется бесполезным.
Но студент может или любить учение, или чувствовать к нему отвращение.
_______________________________________________________________
Значит, поощрение либо излишне, либо бесполезно в деле обучения.
Вывод в приведенном примере вряд ли является достоверным, поскольку «любовь к учению» и «отвращение к учению» не являются исчерпывающим рядом альтернатив. Могут быть такие студенты, которые не испытывают любви к учению, но и не питают отвращения к нему, поэтому для таких студентов поощрение может быть действенным.