52
Оглавление.
Аннотация
I Введение
II Обзор литературы по теме
1. Понятия
2. Суждения
3. Умозаключения
4.Законы формальной логики
5. Аргументация, доказательство, опровержение, критика
6. Стратегия и тактика аргументации и критики
7.Правила аргументации и критики, доказательства и опровержения
III Результаты работы
IV Выводы и рекомендации
V Список использованной литературы
Анализ методов решения логических задач в курсе информатики
Свидина Екатерина Сергеевна
Краснодарский край, г. Апшеронск, МОУлицей №1, 11 класс
АННОТАЦИЯ
В данной работе мы анализировали различные методы решения логических задач в курсе информатики. Мы рассмотрели и изучили основные понятия формальной логики и возможности решения задач информатики с помощью законов и методов формальной логики.
Актуальность работы состоит в том, что сейчас резко возрос интерес к логике, и это вызвано усложнением информационных процессов, в которые вовлечено большинство населения планеты. Обладая высокой логической культурой, человек ясно излагает свои мысли, которые легко понимают другие люди.
Целью нашей работы является: решение логических задач, предлагаемых в курсе информатики наиболее рациональными методами логики, улучшение навыков работы с программой PowerPoint.
Были поставлены следующие задачи:
Собрать и проанализировать материал по теме нашей работы.
Сочетать изучение теоретического материала с решением задач по каждой теме.
Выбрать наиболее оптимальные методы решения той или иной задачи.
Показать значимость логики при изложении своих мыслей, доказательности высказываний в дискуссиях.
Научиться практически применять правила логики в анализе специальных примеров, логических задач.
Оформить основные моменты работы в виде презентации.
В процессе работы мы овладели следующими знаниями, умениями и навыками:
-расширили знания в области теории формальной логики;
-научились применять правила логики при решении конкретных задач информатики;
-освоили и закрепили возможности работы в PowerPoint;
- научились применять изученный материал при решении логических задач.
Результаты: считаем, что поставленная нами цель достигнута. Работа с литературой позволила глубже вникнуть в суть проблемы, освоить и научиться выбирать методы решения для конкретных задач логики в курсе информатики.
I ВВЕДЕНИЕ
Логика, одна из древнейших наук, возникшая в рамках философии более 2300 лет назад в трудах древнегреческого философа Аристотеля(384-322 г. г. до н. э.), который впервые систематизировал формы и правила мышления. Он оставил нам первые крупные произведения,объединенные под общим названием «Органон»(«Орудие познания»). логика, основы которой заложил Аристотель, носит название традиционной формальной логики(аналитики). Формальная логика - наука о мышлении, однако она отвлекается от социальных, психологических, физиологических особенностей протекания умственного процесса, а фиксирует лишь те его стороны, которые нашли отражение в языковой форме. Иначе говоря, традиционная формальная логика исследует законы связи между сложившимися мыслями, методы оперирования ими. С середины прошлого столетия на базе формальной логики начинают развиваться математическая (символическая ) логика. Немецкий философ Г. Лейбниц. Символическая логика использует для анализа форм и законов мышления средства и методы, по традиции считающиеся принадлежащими математике. Русский логик П. Порецкий говорил: « Математическая логика по предмету своему есть логика, а по методу - математика». На основе математической логики возникла логика построения электронных схем. Итак, логика изучает формы и законы мышления, содержащие мысли. Именно логических законов делает мышление правильным, т.е. способным при выполнении ряда условий достигать истинного знания. Таким образом, логика изучает то общее, что связывает мысли в их движении к познанию истины, в этом громадное значение логики.
Две причины возникновение логики.
Зарождение и Развитие ораторского
первоначальное развитие искусства, в том числе
науки, прежде всего судебного, которое
математики. Этот расцвело в условиях
процесс относится к 6в. древнегреческой
до н.э. демократии.
Познание есть построение смыслового содержания мира в сознание людей.
Познание
Чувственное Рациональное
ЧУВСТВЕННОЕ ПОЗНАНИЕ
1. Ощущение - субъективный образ объективного
мира, превращение энергии внешнего
раздражения в факт сознания.
2. Восприятие есть целостное отражение внешнего
предмета, непосредственно воздействующего на
органы чувств.
3.Представление- это чувственный образ предмета,
в данный момент нами не воспринимаемого,
но который ранее в той или иной форме
воспринимался.
Представление может быть
творческим воспроизводящим
II ОБЗОР ЛИТЕРАТУРЫ ПО ТЕМЕ.
1.ПОНЯТИЕ.
Понятие- форма мышления, в которой на основе существенных признаков обобщаются в некоторый класс и выделяются предметы
Пример логического понятия:
субъект признак признак
Человек - существо разумное и общественное.
Понятие выражаются отдельными словами («деревня») или группой слов («теплый солнечный день»).
Признаки:
Сходные признаки - общие признаки, присущие множеству предметов, выражают их тождество в отношении обладания данными признаками. Существенные признаки – это признаки, фиксирующие характер, природу предмета, направление его развития или же важность одного предмета для другого. Основные и производные признаки. Основные - это те существенные признаки6из которых выводятся другие существенные признаки, называемые производными. Необходимые признаки подразумевают, что без них не может существовать ни один предмет из множества. Случайные признаки - признаки, которые могут принадлежать всем представителям множества предметов , либо отдельным предметам множества, но не являются необходимыми. Чем меньше признаков зафиксировано в понятии ,тем проще.
Содержание понятий – это система признаков, на основе которой осуществлено обобщение и выделение предметов в понятия.
Объем понятия- это множество предметов, охватываемое понятием.
Связь между содержанием и понятием выражается в логическом законе обратного отношения между ними, который можно сформулировать так: пусть имеются 2 понятия, содержание одного из которых меньше содержания второго, тогда объем первого больше объема второго.
А) Образование понятий.
Основными логическими приемами формирования понятий являются анализ, синтез, сравнение, абстрагирование, обобщение.
Анализ - мысленное расчленение содержания на составляющие признаки;
Синтез - мысленное объединение признаков, свойств, предметов в содержании понятия;
Сравнение - установление сходства или различия рассматриваемых предметов и фиксация их в соответствующих признаках;
Абстрагирование - мысленное отвлечение некоторых признаков, свойств, предметов и и фиксация их в качестве самостоятельных понятий;
Обобщение - основанное на абстрагировании отбрасывание ранее зафиксированных признаков с целью создания более широких по объему понятий.
Б)Виды понятий
а). Регистрирующие и не регистрирующие.
Регистрирующие – те, к которым можно задать вопросы: Где?, Когда?, Сколько?, Какого рода предмет? (Европейцы, ученики СШ №1 ).
Не регистрирующие – те, к которым нельзя создать соответствующие вопросы(капли дождя, студенты, человек).
б) Пустые понятия - не содержащие реальных предметов ( круглый квадрат, баба-яга, и т.п.).
Непустые - если в понятие входит хоть один реальный предмет.
в) Конкретные и абстрактные.
Конкретные - понятия, в которых находят свою отражение сами предметы и явления, обладающие относительной
самостоятельностью существования. (Человек, машина, растение).
Абстрактные - это понятия, в которых мыслятся свойство предметов или отношения между предметами, не существующие самостоятельно, без этих предметов. (Смелость, доброта, температура)
г) Абсолютные и относительные.
Абсолютные - это понятия, в которых мыслятся предметы, существующие самостоятельно вне зависимости другого предмета (здания, цветок);
Относительные – это понятия, в которых мыслятся предметы, существование одного из которых предполагает существование другого (подруга, жена, учитель);
д)Положительные и отрицательные.
Положительные понятия характеризуют в предмете наличие того или иного свойства или отношения ( алчность, красивый поступок);
Отрицательные понятия означают, что указанное свойство отсутствует в предмете ( неграмотный человек, бескорыстная помощь);
е) Собирательные и не собирательные
Собирательные понятия – те, в которых однородные предметы мыслятся как единое целое (созвездие, стая).
Содержание не собирательных понятий можно отнести к каждому предмету данного класса (ручка, игрушка).
В)Отношения между понятиями.
2. СУЖДЕНИЯ.
Суждение – форма мышления, в которой что-либо утверждается или отрицается о существовании предметов, о наличии или отсутствии у них каких-либо свойств, о состоянии, об отношении между предметами.
Мысль имеет субъектно-предикатную структуру.
Субъект - предмет, предикат - признак предмета. В суждении обязательно присутствует субъект, предикат и глагол-связка. Если связка соединяет субъект с предикатом без дополнительных оговорок, то это - категорическое суждение. Если присутствуют оговорки - суждение называется модальным.
Модальные суждения.
1.Логическая модальность: необходимо, чтобы ...; возможно ,чтобы...
2.Деонтическая модальность: разрешено, что...; запрещено, что...; нормативно безразлично, что...
3.Эпистеническая модальность: известно, что...; субъект А знает, что...
4.Аксиологическая модальность: хорошо бы, чтобы...; как здорово, чтобы...
5.Временная модальность: если где-то...; если когда-то...
Простые и сложные суждения.
Суждения бывают простые и сложные. Сложные суждения состоят из нескольких простых с использованием союзов И,ИЛИ,ЕСЛИ и др. Простые суждения делятся на суждения свойства (атрибутивные), суждения отношения, суждения существования.
Суждение, как мы помним, обладает двумя важнейшими для логики свойствами: 1) быть либо истинным, либо ложным и 2) что-либо утверждать или отрицать. В логике высказываний от всей мысли, когда она предстает как высказывание, в поле зрения остается одна лишь ее способность - быть либо истинной, либо ложной. Каждое высказывание обозначают какой-либо латинской буквой: p, q, r, s,... Они получили название пропозициональных переменных. Кроме того, вводятся специальные значки для некоторых стандартных языковых оборотов: "если..., то...", "и", "или" и т.п., которые называют логическими союзами. В символической логике принято обозначать истинное выражение единицей, а ложное - нулем. Стало быть, в приведенной дальше таблице 1 и 0 заменяют соответственно слова "истинно" и "ложно".
Отрицание( ¬ ; ~; NOT; HE; -р).
Этот логический союз образуется за счет добавления к любому высказыванию слов "Неверно, что...". Для символической записи отрицания мы будем использовать черту (перед) над переменными или формулами: -p. Читается: "Неверно, что p", или просто: "He-p". И если p означает, скажем, "Погода сегодня дождливая", то -p станет высказыванием: "Неверно, что погода сегодня дождливая". Представьте себе далее, что высказывание p истинно (на улице, в самом деле, идет дождь). Тогда его отрицание -p ("Неверно, что погода дождливая") будет, очевидно, ложным высказыванием. Если же дождя нет, то есть высказывание p ложно, тогда, наоборот, истинным будет его отрицание. В результате приложения к исходной мысли этого логического союза образуется высказывание, истинность которого меняется на противоположную. Поэтому в таблице 1 против p со значением 1 в колонке для -p стоит 0, а против p со значением 0 - 1.
Особенностью отрицания в символической логике является то, что двойное отрицание само себя нейтрализует. Так что всегда справедливо выражение:
-(-A) = A (1)
Знак эквивалентности говорит только о том, что выражения взаимозаменимы: высказывание с двумя отрицаниями равносильно тому же высказыванию без отрицания.
Конъюнкция(/\; &; AND; И; - логическое умножение). Следующее сложное высказывание, конъюнкция, представляет собой соединение двух и более высказываний с помощью союза "и". В языке этому соответствуют выражения, содержащие "и", "но", "также", "зато", "хотя" и т.д. Ее обозначение чаще всего такое: p /\ q; читается: p и q. Допустим, у нас имеется высказывание с союзом "и": "Поезд следует до Москвы и отходит через пятнадцать минут". Мы можем разбить его на две части, обозначив каждую часть соответственно буквами p и q: "Поезд следует до Москвы" (p) и "Поезд отходит через пятнадцать минут" (q). И тогда наше первоначальное высказывание может быть записано в виде приведенной формулы. Нам осталось только разобраться с колонкой для конъюнкции в таблице истинности.
В первой строке берется случай, когда оба простых высказывания истинны. Как это понимать? Предположим, нам передали вот эту самую информацию о поезде на Москву и времени его отправления. И если мы затем выясним, что и первая, и вторая части этого сообщения соответствуют действительности, то есть высказывания "Поезд следует до Москвы" и "Поезд отправляется через пятнадцать минут" обе истинны (p=1; q=1), то, очевидно, и всю информацию в целом мы тоже оценим как истинную. Это и отмечается в колонке для конъюнкции (первая строка) единицей. Теперь разберем другой вариант. Допустим, что истинным является только одно простое высказывание, скажем, второе, первое же ложно (p=0; q=1). То есть нам сказали, что поезд отходит на Москву через пятнадцать минут, но он отходит, хотя и в самом деле через пятнадцать минут, но не на Москву, как было сказано, а в каком-нибудь ином направлении. Как тогда будет оценено нами полученное сообщение в целом? Очевидно, оно вводит нас в заблуждение, и мы должны отнести его к разряду ложных. Этим объясняется цифра ноль во второй строке в колонке конъюнкции. Понятно, что при обратных значениях компонентов (p=1; q=0) будет тоже самое - в целом информация по-прежнему ложна. Наконец, когда оба простых высказывания являются ложными суждениями, то тем более все суммарное высказывание представляет собой обман.
p | q | p /\ q |
0 | 0 | 0 |
0 | 1 | 0 |
1 | 0 | 0 |
1 | 1 | 1 |
p | q | p /\ q |
л | л | л |
л | и | л |
и | л | л |
и | и | и |
Таким образом, конъюнкция является истинной только тогда, когда оба составляющих ее простых высказывания истинны, при всех же остальных значениях входящих в нее переменных она ложна.
Дизъюнкция( \/; OR; ИЛИ;- логическое сложение)
Дизъюнкция (нестрогая). Этот логический оператор используется для отображения различного рода альтернатив. Ее символическая запись - p \/ q; читается: p или q. Чтобы разобраться с ее значениями по истинности в таблице 1, приведем какой-нибудь конкретный пример. Возьмем высказывание "Этот вопрос решается или через управляющего, или через его заместителя". В нем указывается на два возможных способа решить какой-то вопрос. Один из них задается высказыванием "Этот вопрос решается через управляющего" (обозначим его через p), другой - высказыванием "Этот вопрос решается через заместителя" (q). Попробуем перебрать все варианты, как это было с конъюнкцией.
Допустим, данную справку мы получили в каком-нибудь учреждении и после этого выяснили, что оба начальника в состоянии решить и решают такие вопросы. Стало быть, истинны как p, так и q (p=1; q=1). Как можно оценить истинность всего полученного указания? Вообще говоря, возможны случаи, когда такие высказывания вводят в заблуждение, если они означают, что только один из них компетентен, заниматься данным делом, но не оба вместе. Но могут быть и такие обстоятельства, когда нам достаточно знать, где искать нужную инстанцию, остальное пока безразлично, и тогда то же самое указание при тех же значениях истинности простых суждений будет оценено как истинное. В символической логике предусмотрены оба варианта. Нестрогая дизъюнкция охватывает второй случай - при истинности обоих высказываний она является истинной. Поэтому в таблице истинности, в самой первой строке, где p=1; q=1, для нестрогой дизъюнкции указано значение 1. Когда же, далее, одно из простых суждений истинно (один из указанных руководителей занимается этим вопросом - причем все равно кто, - а другой не занимается) то, само собой понятно, у нас нет никаких оснований считать данную нам справку ложной: нам именно это и сказали, что обращаться надо к тому или другому. Стало быть, в колонке для нестрогой дизъюнкции и во второй, и в третьей строках (как и в первой) должна стоять 1. Ну, а когда оба простых высказывания ложны, то, очевидно, у нас есть причины считать, что нас просто обманули - все дизъюнктивное высказывание надо считать в этом случае, конечно, ложным.
p | q | p v q |
0 | 0 | 0 |
1 | 0 | 1 |
0 | 1 | 1 |
1 | 1 | 1 |
p | q | p v q |
л | л | л |
и | л | и |
л | и | и |
и | и | и |
Дизъюнкция (строгая). Этот логический оператор представляет собой то же, что и предыдущий, но относится к несоединимым альтернативам. Например: приговор был оправдательный либо обвинительный, студенту поставили "отлично" либо "хорошо". Во избежание путаницы мы будем пользоваться для нее словом "либо". У нас она будет, записывается как p q; читается: p либо q. По истинностным значениям строгая дизъюнкция совпадает с нестрогой во всем за исключением первой строчки. У нее оба простых суждения не бывают одновременно истинными; если же при каких-то обстоятельствах это все же случается, то значит отнесение данной альтернативы к разряду строгих дизъюнкций ложно, что и отмечено цифрой 0 в первой строке колонки для строгой дизъюнкции.
p | q | p ↓ q |
1 | 1 | 0 |
1 | 0 | 1 |
0 | 1 | 1 |
0 | 0 | 0 |
p | q | p ↓ q |
и | и | л |
и | л | и |
л | и | и |
л | л | л |
Импликация( → ; ). Она примерно соответствует тому, что в традиционной логике называют условными суждениями, выражаемыми с помощью логического союза "если,... то". Общепринятое обозначение - p
= q; читается: p имплицирует (влечет, вызывает) q. Поскольку условная зависимость не является симметричной, то полезно условиться называть левую от стрелки часть формулы антецедентом, а правую - консеквентом. Надо сказать, в живых языках условные суждения применяются очень широко, и с их помощью предается чрезвычайно пестрое разнообразие в оттенках содержания и смысла предложений. Исчисление высказываний учитывает только наиболее типические, преобладающие черты условных связей.
Чтобы разобраться с картиной распределения значений истинности импликации в зависимости от разных наборов переменных, воспользуемся опять примером. Пусть нам дано предложение: "Если у Анны сегодня день рождения, то подарю ей розу". Здесь логический союз соединяет два высказывания: "Сегодня у Анны день рождения" (p) и "Подарю Анне сегодня розу"(q). Каждое из них может быть как истинным, так и ложным. Само собой понятно, что при истинности каждого из простых высказываний (у Анны, в самом деле, сегодня день рождения и обещание насчет розы тоже было выполнено) мы посчитаем все сделанное в условной форме заявление истинным: в первой строке колонки импликации (таблица 1) проставлена 1. Но как быть с оценкой такого обещания, когда первое суждение ложно (p=0), а роза, тем не менее, была подарена (q=1), то есть, подарена, несмотря на то, что никакого дня рождения Анна сегодня не отмечает? Можно ли считать это отступлением от своих слов? Если и да, то ведь отступление сделано в сторону превышения, оно не обмануло ожидания, наоборот, этим поступком верность данному слову подтверждается еще лучше, чем могла бы. Поэтому при такой комбинации значений переменных правильно будет считать импликативное высказывание истинным. Легко, далее, согласиться, что когда антецедент истинен (p=1), а консеквент ложен (q=0), то высказанное заявление надо признать ложным, ибо это означает, что в день рождения роза вовсе не была подарена. Что касается ситуации, когда день рождения еще не наступил (p=0) и роза пока не подарена (q=0), то при таких обстоятельствах у нас нет никаких оснований считать, что слова расходятся с делами, поэтому импликация в этом случае истинна.
p | q | p → q |
1 | 1 | 1 |
1 | 0 | 0 |
0 | 1 | 1 |
0 | 0 | 1 |
p | q | p → q |
и | и | и |
и | л | л |
л | и | и |
л | л | и |
Правда, последнее обстоятельство порождает некоторые не совсем удобные следствия. Формально получается, что любые два ложных предложения, соединенные импликативной связью, образуют истинное высказывание: если дважды два пять, то римский папа магометанин, если коровы квакают, то лягушки доятся. С точки зрения таблицы истинности такие абсурдные утверждения действительно надо признать правильными и истинными высказываниями. Однако в этом не так уж много отступлений от здравого смысла. В обычной речи такими сочетаниями довольно часто пользуются: если вот эту певицу можно считать артисткой, то тогда вон ту надо признать сказочной сиреной. Или шутливое заявление Винера: "Если преодолеть технические трудности, то человека можно передавать по проводам", - будет всегда правильным и бесспорным, хотя и антецедент, и консеквент здесь ложны. Точно так же любой мздоимец может спокойно смотреть в глаза судьям и говорить: "Я взяток не беру, если мне их не дают". Все утверждение будет правильным, даже если на самом деле каждая его половинка ложна.
Эквиваленция. Она соединяет высказывания логическим союзом "тогда и только тогда". Наиболее распространенное обозначение эквиваленции p q; читается: p эквивалентно q. Относится она к таким парам явлений и обстоятельств, которые нерасторжимо связаны: есть одно, есть и другое. Допустим, какой-нибудь начальник в министерстве иностранных дел утверждает, что в его отделе каждый сотрудник переходит в дипломаты тогда и только тогда, когда в совершенстве овладевает иностранным языком. Подобно другим, это заявление может быть и истинным и ложным. Давайте посмотрим, как это зависит от значений переменных. Очевидно, что его слова передают то, что есть на самом деле, если их первая и вторая половины - истинные суждения (p=1; q=1). Это значит, что работники, становящиеся дипломатами, знают в совершенстве иностранный язык и каждое из простых высказываний об этом является истинным. И точно также очевидно, что его утверждение ложно, если иные из них переходят на дипломатическую службу, не зная, иностранного языка (p=1; q=0), или, наоборот, иностранный язык знают, но в дипломаты попасть не могут (p=0; q=1). При ложности же обоих простых высказываний - и в дипломаты их не переводят, и языка они не знают (p=0; q=0) - слова начальника, конечно, надо оценить как истинные, правильно описывающие сложившуюся в отделе практику.
p | q | p q |
и | и | и |
и | л | л |
л | и | л |
л | л | и |
p | q | p q |
1 | 1 | 1 |
1 | 0 | 0 |
0 | 1 | 0 |
0 | 0 | 1 |
Для логических выражений как и для арифметических установлен строгий порядок выполнения действий:
выполняются действия находящиеся в скобках.
вычисляются значения функций.
выполняются арифметические операции:
а) возведение в степень;
б) умножение, деление;
в) сложение, вычитание;
4. выполняются операции отношения:
= равно
= больше или равно
больше
не равно
5. выполняются логические операции в следующем порядке:
1. NOT
2. AND
3. OR
4. XOR (лог. исключение)
5. IMP (лог. импликация)
6. EQV (лог. эквивалентность)
В смешанных выражениях логические операции выполняются после арифметических и операций отношения.
Упрощение формул
1)¬(А /\ В) ≡ ¬A v ¬B
2) ¬(A v B) ≡ ¬A /\ ¬B
3) A /\ ( B v C) ≡ A /\ B v A /\ C
4) A v ( B /\ C) ≡ (A v B) /\ (A v C)
5) A v ( A /\ B) ≡ A
6) A /\ ( A v B ) ≡ A
7) ( A /\ B ) v ¬B ≡ A v ¬B
8) ¬¬A ≡ A
9) A → B ≡ ¬A v B
10) A → B ≡ ¬A → ¬B
11) A /\ B ≡ B /\ A
12) A v B ≡ B v A
13) ( A /\ B ) /\ C ≡ A /\ ( B /\ C)
14) ( A v B ) v C ≡ A v ( B v C)
15) ( A ≡ B ) ≡ ( B ≡ A)
16) A → ( B → C) ≡ A /\ B → C
17) A v A ≡ A
18) A /\ A ≡ A
19) A v B v ¬ B ≡ B v ¬ B
20) A v B /\ ¬ B ≡ A
21) A /\ ( B v ¬ B) ≡ A
22) ¬ ( A v B) ≡ ¬ A /\ ¬ B
23) ¬( A /\ B) ≡ ¬ A v ¬ B
Деление суждений по качеству и количеству.
Найти количество суждения - значить выяснить, утверждается или отрицается предикат относительно части объема субъекта или относительно всего субъекта. По качеству суждения бывают утвердительными и отрицательными(в связке -частица НЕ).
Суждения бывают :
1.Общеутвердительными(все S суть P). Они обозначаются первой гласной буквой А, от латинского afirmo -утверждаю.
2.Частноутвердительными (некоторые S суть Р). Они обозначаются I.
3.Общеотрицательными(ни один S не суть Р).Они обозначаются буквой Е (первая гласная в латинском слове nego - отрицаю).
4.Частноотрицательные (некоторые S не суть Р). Они обозначаются буквой О.
Эти четыре вида категорических суждений имеют на месте субъекта и предиката конкретные понятия(термины),которые могут быть распределенными или нераспределенными.
. Распределенным считается термин, мыслимый во всем объеме, нераспределенным - если он мыслится не во всем объеме, а частично.
3. УМОЗАКЛЮЧЕНИЕ.
Умозаключение - это форма мышления , посредством которой из одного или нескольких суждений (посылок) делается
вывод (заключение), который содержит в себе новые знания .
Непосредственное умозаключение делается на основании одной посылки. (Все бабочки имеют крылья .Вывод : ни одна бабочка не является бескрылой.)
Опосредованное умозаключение - на основании нескольких посылок делается вывод.( Все жидкости - упруги. Ртуть – жидкость. Следовательно ртуть - упруга.)
Простые суждения , имеющие одинаковые термины и различающиеся по качеству и количеству , находятся в определенных отношениях по истинности и ложности , которые иллюстрируются с помощью логического квадрата , предложенного византийским ученым-астрономом и логиком Михаилом Пселом, жившим в 9 в. н. э.
Логический квадрат – схема, облегчающая запоминание истинностных отношений между суждениями.
А E
I O
Отношения противоречия (контрадикторности): А-О; Е-I.
Эти суждения не могут быть одновременно истинными или ложными. ИЗ истинности одного суждения следует ложность другого и наоборот. Аи - Ол; Ал - Ои; Еи - Iл; Ел -Iи.
Отношения противоположности (контрарности) : А - Е. Противоположные суждения не могут быть одновременно истинными ,но могут быть одновременно ложными. Из ложности одного следует истинность другого, но из истинности одного может следовать как истинность, так и ложность другого. Выводы строятся по схемам:
Аи - Ел, Еи - Ал; Ал - Е?; Ел - А?.
Отношения частичной совместимости (субконтрарности): I - О. Эти суждения могут быть одновременно истинными, но не могут быть одновременно ложными. Выводы строятся по схемам:
Iл - Ои; Ол - Iи; Iи - О?; Ои - I?.
Отношения подчинения А -I, Е - О. Из истинности подчиняющего суждения следует истинность подчиненного, но не наоборот. Из ложности подчиненного следует ложность подчиняющего, но не наоборот.
Умозаключения делятся на:
Дедуктивные.
Индуктивные.
Умозаключение по аналогии.
1.Дедуктивное умозаключение - делается вывод из общих положений к частным случаям.
Все студенты имеют зачетные книжки.
Иванов - студент.
Следовательно, Иванов имеет зачетную книжку.
Простой категорический силлогизм – дедуктивное умозаключение, в котором из двух категорических суждений, где S и P связаны средним термином, при соблюдении правил необходимо следует заключение.
Термины, между которыми устанавливаются отношения в заключении, называются крайними и представляют собой субъект(S) и предикат (Р). Третий термин называется средним (М), присутствует в обеих посылках, но отсутствует в выводе(заключении). Предикат является большим термином, субъект - меньшим. Зависимость отношений между тремя терминами называется фигурой или модусом.
Возможные фигуры силлогизма:
1.MP 2. PM 3. MP 4.PM
SM SM MS MS
------- ------ ------ -------
SP SP SP SP
В каждой фигуре можно составить 64 модуса, но правильных будет только 19. В первой фигуре только 4 правильных модуса:
1.MaP 2.MeP 3.MaP 4.MeP
SaM SaM SiM SiM
-------- ------- ------ --------
SaP SeP SiP SoP
Во второй фигуре 4 правильных модуса:
1.PeM 2.PaM 3.PeM 4.PaM
SaM SeM SiM SoM
------ ------- ------- ---------
SeP SeP SoP SoP
В третьей фигуре шесть правильных модусов:
1.MaP 2.MiP 3.MaP 4.MeP 5.MoP 6.MeP
MaS MaS MiS MaS MaS MiS
-------- ------- ------- ------- ------- -------
SiP SiP SiP SoP SoP SoP
В четвертой фигуре пять правильных модусов:
1.PaM 2.PaM 3.PiM 4.PeM 5.PeM
MaS MeS MaS MaS MiS
------- ------- ------- ------- -------
SiP SeP SiP SoP SoP
Правила простого категорического силлогизма
1.Термины категорического силлогизма не должны содержать двусмысленности. Пример двусмысленности:
Материя вечна и неуничтожима.
Сукно - материя.
Сукно вечно и неуничтожимо.
2.Средний термин должен быть распределен хотя бы в одной из посылок, иначе можно сделать неправильный вывод.
Некоторые животные - хищники.
Коровы – животные.
Коровы - хищники
3.Термин не может быть распределен в заключении, если он не распределен в посылках.
4.Из двух отрицательных посылок нельзя сделать вывод.
5.Если одна из посылок отрицательное суждение, то и заключение должно быть отрицательным.
6.Из двух частных посылок нельзя сделать заключение.
7.Если одна посылка - частное суждение , то и заключение - частное суждение.
Все преступники подлежат наказанию по закону.
Некоторые люди - преступники.
-------------------------------------------------------------------
Некоторые люди подлежат наказанию по закону.
Энтимема – силлогизм, в котором пропущена одна из посылок.
Эта птица – грач. Следовательно, эта птица – перелетная. Восстановим энтимему:
Все грачи – перелетные птицы.
Эта птица – грач.
-------------------------------------------------------------------
Эта птица – перелетная.
Полисиллогизм (сложный силлогизм) – два или несколько простых категорических силлогизмов, связанных друг с другом таким образом, что заключение одного из них становится посылкой другого.
Все продукты, содержащие витамины, способствуют жизнедеятельности организма.
Фрукты – продукты, содержащие витамины.
Значит, фрукты способствуют жизнедеятельности организма.
Яблоки сорта «Антоновка» - фрукты.
-------------------------------------------------------------------
Яблоки сорта «Антоновка» способствуют жизнедеятельности организма.
Условное суждение - высказывание, в котором содержится оборот "если,... то..." или его эквиваленты; условно-категорическое умозаключение (силлогизм) - умозаключение, в котором одна посылка условное суждение, другая категорическое; утверждающий модус (modus ponens) - название одной из самых элементарных и
распространенных в рассуждениях разновидностей условно-категорического силлогизма; отрицающий модус (modus tollens) - название другого чрезвычайно распространенного вида условно-категорического силлогизма.
Разделительное суждение - высказывание, перечисляющие альтернативы (чаще всего через союз "или", но не только через него); разделительно-категорическое умозаключение (силлогизм) - умозаключение, в котором одна посылка - разделительное суждение и одна – категорическое.
2.Индукцией называется такое умозаключение, в котором на основании познания необходимой связи признаков части предметов класса делается общее заключение обо всех предметах этого класса.
Виды индуктивных умозаключений:
Полная индукция :
А1 обладает признаком Р
.
.
Аn обладает признаком Р
А1...Аn составляют класс К
Следовательно каждый элемент класса К обладает признаком Р.
Неполная индукция:
А1 обладает признаком Р
.
.
Аn обладает признаком Р
А1...Аn составляют класс К
По-видимому, каждый элемент класса К обладает признаком Р. Неполная индукция делится на научную (элиминативную) и популярную (энумеративную).
Научная индукция - сознательно отбираются случаи ,на которых строится вывод.
Популярная индукция - берутся первые попавшиеся факты и ,следовательно, вывод может быть неточен.
Аналогия - умозаключение о принадлежности предмету определенного признака на основе сходства в признаках с другим предметом.
4. ЗАКОНЫ ФОРМАЛЬНОЙ ЛОГИКИ.
Закон логики или закон мышления - это внутренняя, необходимая , существенная связь между мыслями.
Законы логики были сформулированы еще Аристотелем, только один из них сформулирован немецким математиком Лейбницем. 1.Первый закон - закон тождества.
Предмет обсуждения должен быть строго определен и не должен меняться до конца обсуждения.
При нарушении закона тождества возможны следующие ошибки:
а)Амфиболия (двусмысленность),подмена тезиса - суждения ,которое надо доказать.
б)Эквивокация - логическая ошибка, когда одно слово используется в разных значениях.
Старый морской волк - действительно волк.
Все волки живут в лесу.
-------------------------------------------------------------------
Морской волк живет в лесу.
в)Логомахия - спор о словах , когда спорящие не уточнили исходных понятий и не могут прийти к единому заключению. Т.о. закон тождества выражает одно из важнейших требований логического мышления - определенность.
Пример. Разговор Алисы с Черной и Белой Королевами.
Черная Королева спрашивает:
-Откуда берется хлеб? Отвечай!
-Это я знаю, - радостно начала Алиса. – Он печется…
-Печется? – повторила Белая Королева. – О ком это он печется?
-Не о ком, а из чего, - объяснила Алиса. – Берешь зерно, мелешь его …
- Не зерно ты мелешь, а чепуху! – отрезала Белая Королева.
2.Второй закон - закон противоречия .
Не могут быть одновременно истинны утверждение и его отрицание.
Следствие: Принцип выбора.
Если истина А или В ,но В не выполнено , то должно исполняться А. Принцип выбора- это принцип косвенного доказательства, которое не дает явного обоснования утверждаемого ,но позволяет отбросить другие гипотезы. 3.Третий закон - закон исключенного третьего. Истинно либо суждение ,либо его отрицание(третьего не дано).
4. Четвертый закон - закон двойного отрицания. Если отрицание утверждения ложно. то исходное утверждение истинно. Этот закон также позволяет использовать косвенные доказательства. Следствие:
Если условие А влечет следствие В, но В не выполнено, то не выполнено и само А (Доказательство строится на основе закона противоположностей).
Пятый закон - закон достаточных оснований (Лейбниц). Любое утверждение должно предполагать наличие аргументов и фактов, достаточных для его обоснования(нарушение закона: черная кошка перебежала дорогу - значит не повезет).
Разговор Алисы с Белой и Черной Королевами:
- Вычитания не знает, - сказала Белая Королева.- А деление? Раздели буханку хлеба ножом –что будет?
- По – моему… начала Алиса, но тут вмешалась Черная Королева.
- Бутерброды, конечно, - сказала она. – А вот еще пример на вычитание. Отними у собаки кость – что остается? – Алиса задумалась.
-Кость, конечно, не останется – ведь я ее отняла. И собака тоже не останется – она побежит за мной, чтобы меня укусить… Ну, и я, конечно, тоже не останусь!
- Значит, по – твоему, ничего не останется? – спросила Черная Королева.
- Должно быть, ничего.
- Опять неверно, - сказала Черная Королева. – Останется собачье терпение!
-Не понимаю…
- Это очень просто, - воскликнула Черная Королева. – Собака потеряет терпение, верно?
- Может быть, - отвечала неуверенно Алиса.
- Если она убежит, ее терпение останется, верно?! – торжественно воскликнула Королева.
5. АРГУМЕНТАЦИЯ, ДОКАЗАТЕЛЬСТВО, ОПРОВЕРЖЕНИЕ, КРИТИКА.
Способы выработки убеждений |
На основе внушения, веры и т.д. |
На основе непосредственного обращения к действительности | |
|
Аргументация представляет собой процесс формирования убеждения или мнения относительно истинности какого-либо утверждения ( суждения, гипотезы, концепции и т.д. ) с использованием других утверждений.
Тезис- высказывание, подлежащее доказательству (или опровержению); аргументы (основания) - высказывания, с помощью которых доказывается или опровергается тезис; демонстрация (форма доказательства) - связь между тезисом и аргументами в виде умозаключения или рассуждения;
Частным случаем аргументации является доказательство.
Доказательство – это установление истинности какого-либо положения с использованием логических средств и утверждений, истинность которых уже установлена.
Аргументация бывает : прямая и косвенная.
В прямой аргументации рассуждение идет от аргументов к тезису.
Косвенная аргументация заключается в следующем. Выдвигается антитезис. Из имеющихся антитезиса и аргументов выводят противоречия. В результате делается вывод об обоснованности тезиса ( полное или частичное ).
Критика – это деятельность, противоположное аргументации. Если цель аргументации – выработать убеждение в истинности или, по крайней мере, частичной обоснованности какого-либо положения, то конечная цель критики – разубедить людей в обоснованности того или иного положения и убедить их в ложности этого положения. Конечная цель при критике достигается не всегда. Иногда удается лишь установить необоснованность утверждения, а иногда устанавливается ложность утверждения. В связи с этим можно выделить два способа критики: крику аргументации и установления ложности утверждения ( контраргументация). Частным случаем контраргументации является опровержение.
Опровержение – это установление ложности какого-либо положения с использованием логических средств и доказанных положений. Последние положения называются аргументами опровержения.
6. СТРАТЕГИЯ И ТАКТИКА АРГУМЕНТАЦИИ И КРИТИКИ.
Стратегия. Стратегия – это общий план построения аргументации или критики.
Опишем стратегию, которая применяется в процессе аргументации, проводимой одним человеком для аудитории. Это может быть аргументация-лекция или аргументация-доклад. Например, управляющий может обосновывать принятое им решение, адресуя обоснование своим подчиненным, политический деятель – правильность позиции представляемой им партии по тому или иному вопросу.
Стратегия заключается в выполнении следующих действий:
первое – логически безупречная формулировка тезиса (тезис должен быть непротиворечивым, ясным и т.д.);
второе – приведение аргументов в защиту тезиса, критика конкурирующих концепций;
третье – логическая оценка тезиса в свете найденных аргументов.
Эта стратегия является наиболее простой, она даже кажется очевидной, однако следование ей требует определенных навыков как от пропонента, или аргументатора, так и от слушателей. Бывает так, что тезис формулируется, аргументы приводятся, а вывода о том, насколько аргументы подтверждают тезис, не делается.
При организации аргументации иногда полезно особым образом расположить оппонентов и других присутствующих в аудитории. В данном случае присутствующие могут располагаться так:
А
Х Х Х Х
Х Х Х Х
Х Х Х Х
Х Х Х Х
(буквой А обозначен аргументатор, а крестиками - слушатели).
Другой вид стратегии применяется в процессе спора между двумя сторонами, каждая из которых обосновывает свой тезис. Эта стратегия предполагает выделение следующих этапов спора:
первый – каждая из сторон формулирует свой тезис, происходит уточнение тезисов и выявление логического отношения между ними, выработка поля аргументации (процесс выработки поля аргументации продолжается и на последующих этапах спора);
второй – каждая из сторон формулирует аргументы;
третий – проводится разбор, обоснование и оценка аргументов обеих сторон; устанавливается, какие аргументы могут использоваться при обосновании или опровержении тезисов ( являются релевантными по отношению к тому или иному тезису), а какие нет; последние отбрасываются;
четвертый – одна из сторон, а затем другая оценивают свою концепцию (тезис) в свете приведенных аргументов;
пятый – одна сторона, а затем другая проводят критикупротивоположной концепции и ее аргументации;
шестой - одна сторона, а затем другая отвечают на возражения противоположной стороны;
седьмой – критика концепций присутствующими;
восьмой – всесторонняя оценка собственной и противоположной концепций сторонами;
девятый – подведение итогов лицами, руководящими дискуссией.
В этом случае целесообразно следующее расположение аудитории (если противоположные стороны выделили по одному представителю для спора и если спор происходит в присутствии публики):
Р
А А
Х Х Х Х Х
Х Х Х Х Х
Х Х Х Х Х
(здесь буквой Р обозначен руководитель спора). Руководитель выполняет роль ведущего (следит за соблюдением стратегии спора и регламентом), выступает в роли арбитра, в частности, подводит итоги.
Спор может проводиться без руководителя. Тогда назначается ведущий.
Если в споре участвуют не представители, а сами члены групп, то возможно такое расположение аудитории:
Р
Х Х
Х Х
Х Х
Х Х
Спор этого вида тоже можно упорядочить. Например, тезис одной из сторон выдвигает один человек, а второй, третий и т.д. уточняют. Затем это же делает вторая сторона. Руководитель создает равные условия для сторон. Например, на том или ином этапе спора дается возможность выступать одинаковому числу участников сторон.
Для обсуждения научных и некоторых других проблем проводятся дискуссии, имеющие название круглый стол. Такие дискуссии целесообразно проводить в случаях, когда сформулирована и требует обсуждения так называемая неразвитая проблема1. для ведения круглого стола назначается руководитель или ведущий, а также человек, который формулирует проблему, если она не всем известна. Затем предлагаются решения или пути решения, предпочтительности которых обосновываются как тезисы аргументации. Ниже показаны способы расположения аудитории.
Особым видом спора является деловое совещание. Оно может быть спором типа «круглый стол», если до совещания не выработано решение проблемы, может быть спором двух или более сторон, если есть варианты решения, аргументацией руководителя или его представителя, если обсуждается уже выработанное решение с целью совершенствования или убеждения присутствующих в его правильности.
При проведении деловых совещаний во многих случаях важно соблюдение регламента и ведение протокола, а также привлечение в качестве участников только лиц, обладающих соответствующими знаниями (компетентных лиц), заранее ознакомленных с постановкой проблемы (например, на основе так называемого «раздаточного материала») и полномочных принимать соответствующие решения (например, подписывать договоры).
Изложенные общие стратегии споров могут выступать в качестве основы для стратегий, которые следует разрабатывать применительно к тем или иным типам обсуждаемых проблем и типам аудиторий.
Тактика. Тактикой называются приемы или совокупности приемов, применяемые на отдельных этапах аргументации и критики. Эти приемы (тактические) подразделяются на nриемы общее о характера (общеметодологические), а также на логические, психологические (в том числе
социально-психологические), риторические, физиологические и физические. Основанием выделения видов тактических приемов являются возможные аспекты рассмотрения аргументации. Одним из аспектов является нравственный. Абсолютного критерия приемлемости тех или иных приемов с нравственной точки зрения по-видимому не существует.
Рассмотрим основные общеметодологические тактические приемы.
Прием первый - оттягивание возражения. Осуществляя аргументацию в процессе дискуссии, человек может оказаться в затруднении при ответе на вопрос или при подборе аргументов для возражения. Он может чувствовать, что аргументы существуют, что они будут найдены, если удастся выиграть время и подумать. В таком случае рекомендуется попросить спрашивающего подождать, а самому повторить ранее высказанные аргументы или «вспомнить» что-то, что непременно нужно сейчас сказать присутствующим. Если это зависит от отвечающего на возражение, можно даже объявить перерыв. Выиграв время, иногда всего несколько минут, можно найти требуемое возражение.
Прием второй - сокрытие тезиса. Существует такое педагогическое правило: читая лекцию, участвуя в дискуссии, выступая на собрании и т.д., четко сформулировать тезис аргументации, а затем его обосновывать. Такой способ построения лекции или речи позволяет сосредоточить внимание присутствующих на основной проблеме и лучше усвоить весь ход рассуждений.
В некоторых случаях целесообразно действовать наоборот: сначала изложить аргументы, причем сформулировать ясно и четко. Спросить оппонента, согласен ли он с аргументами. А уж потом вывести тезис из аргументов. Иногда тезис можно и не выводить, предоставив это дело оппоненту. Более того, иногда, чтобы не обидеть оппонента, можно даже высказать ложный тезис, который явно не следует из аргументов, а оппонент при последующем размышлении сам исправит ошибку и придет к правильному выводу. Этот прием применяется тогда, когда оппонент не заинтересован в доказательстве вашего тезиса. Существует, правда, мнение, что в научных спорах сохраняется беспристрастность, поскольку научные истины не задевают интересов людей, особенно если это истины естественных наук. Эта мысль содержится в следующем высказывании Лейбница:
«Если бы геометрия так же противоречила нашим страстям и нашим интересам, как нравственность, то мы бы так же спорили против нее и нарушали ее вопреки всем доказательствам Эвклида и Архимеда, которые мы называли бы тогда бреднями и считали бы полными ошибок». (Лейбниц Г.В. Новые опыты о человеческом разумении/ /Сочинения. В 4 т. М., 1983. Т. 2. С. 97.)
В действительности и геометрия может противоречить нашим интересам. Если ученый всю жизнь занят обоснованием определенной концепции, а его оппонент выдвигает новую концепцию, противоречащую концепции этого ученого, то последний чаще всего проявляет заинтересованность в споре. Убедить его в ложности развиваемой им концепции, а значит, в бесплодности его многолетней работы трудно, а иногда и невозможно. Известный физик М.Планк писал:Великая научная идея редко внедряется путем постепенного убеждения своих противников. В действительности дело происходит так, что оппоненты постепенно вымирают, а растущее поколение с самого начала осваивается с новой идеей». (Цит. по: Бернал Дж. Наука в истории человечества. М., 1956. с. 34.)
В таких случаях прием сокрытия тезиса может способствовать отысканию истины.
Прием третий - затягивание спора. Этот прием используется в тех случаях, когда оппонент не может ответить на возражение, а также когда он чувствует, что не прав по существу. Оппонент просит повторить вашу последнюю мысль, сформулировать ваш тезис («Ничего, что в пятый раз »). Как реагировать на этот прием? Нужно назвать применяемый прием и обратиться к аудитории с вопросом: «Кто еще, кроме оппонента, не понял, что я доказываю? »
Прием четвертый - разделяй и властвуй. он заключается в расчленении сил коллективного оппонента путем нахождения разногласий в его рядах и противопоставления одной его части другой. Если удается вызвать спор внутри группы, являющейся коллективным оппонентом, цель считается достигнутой. Ваша реакция - предложить членам группы отвлечься от незначительных разногласий и отстаивать основную идею, относительно которой есть согласие.
Прием пятый - переложить бремя доказывания на оппонента. Иногда критиковать аргументацию противоположной стороны легче, чем обосновывать свой тезис, поэтому, применяя данный прием, стараются свой тезис не обосновывать, если это затруднительно, а требовать доказательства тезиса оппонента. Другое название этого приема - истина в молчании. Реaкция оппонента - требовать равноправия.
Прием шестой - кунктация (от слова «кунктатор» медлительный). Кунктатор - прозвище древнеримского полководца Квинта Фабия Максима, данное ему за медлительность в войне против Ганнибала (действовал так, чтобы истощить армию Ганнибала). Применяя этот прием, стараются занять выжидательную позицию в споре, чтобы проверить свои аргументы, слабые отбросить, а сильные использовать в самом конце спора, выступить последним, чтобы оппонент не смог возразить. Руководителю спора или спорящему нужно потребовать соблюдения равноправия, например, предложить установить регламент, в соответствии с которым стороны выступают по два раза.
Прием седьмой - «хаотичная речь». В некоторых случаях, когда пропонент не в состоянии обосновать отстаиваемое положение, он имитирует речь психически больного человека. Польский логик Т. Котарбиньский приводит пример такой речи:
Решительно отменяю эту цингу хату'рящего достоинства авторитетных привилегий, благодаря инквизиторскому праву уничтожающих формальное соглашение автономного исполнения… Что еще сотворил паразитный бездельник, боксирующий с ни в чем не повинной, ясновидящей особой, если осмелился опозорить славу, достоинство, честь большинства облигационных иероглифов, как он посмел развратить абстрактную женщину всебытия?
Встречаясь с этим приемом, нужно назвать его и сказать, что здесь не выделены тезис и аргументы.
Прием восьмой – «уловка Фомы» (ни с чем не соглашаться). «Отрицайте все и вы легко можете прослыть за умницу» (И.С.Тургенев). Этот прием иногда применяется по убеждению, а иногда с целью остаться победителем в споре. В первом случае в основе приема лежит незнание или отрицание философского учения о соотношении абсолютной и относи тельной истины. Научное учение, если это учение о сложном явлении, как правило, является истиной относительной (содержит опровергаемые в процессе развития науки утверждения) и истиной абсолютной (содержит не опровергаемые в дальнейшем утверждения). Преувеличение первой черты учения приводит к агностицизму («уловка Фомы»), а второй - к догматизму. Применяющему рассматриваемый прием можно задать вопрос: «Вы являетесь агностиком?»
Прием девятый – «игнорирование интеллектуалов». Он заключается в следующем: пропонент ведет себя так, будто среди слушателей нет интеллектуалов, т.е. образованных и умных людей, способных объективно и осмысленно оценивать получаемые сведения. Ссылается, например, на исторические факты, но неточно. То, что среди слушателей есть люди, знающие историю, его не смущает.
Применяя этот прием, используют особые способы обоснования утверждений, чаще всего - обобщающую индукцию: от отдельных примеров переходят к общим утверждениям. Говорят, например, что этот руководитель-партократ (демократ имеет большую квартиру, дачу, машину. Значит, руководители-партократы (демократы) живут за счет народа. В явной форме применимость этого приема для политической пропаганды выражена Гитлером. В книге «Меin Kampf» он пишет, что политические деятели часто исходят из того, что общество состоит не из профессоров и не из дипломатов.
Прием десятый - «простая речь». Отличается от предыдущего тем, что при его применении в рассуждениях избегают фактических и логических ошибок. В случае выступления перед публикой, среди которой много необразованных людей, избегают сложных рассуждений. Говорят медленно, приводят житейские примеры, иногда даже грубоватые, не употребляют иностранных слов.
7. Правила аргументации и критики, доказательства и опровержения.
В процессе аргументации и критики могут совершаться ошибки двух типов: умышленные и неумышленные. Умышленные ошибки называются софизмами, а
лица, совершающие их, - софистами. Софизмами называются и сами рассуждения, в которых содержится умышленные ошибки. Название «софизм»
происходит от древнегреческого слова «софисма» - хитрая уловка, выдумка..
В Древней Греции были софисты, которые за плату обучали искусству побуждать в споре. Они учили спорить о том, чего не понимаешь.Таким учителем был, например, философ Протагор. О нем идет речь в известном софизме Эватла.
Эватл обучался у Протагора искусству спора. По соглашению между учителем и учеником Эватл должен был оплатить свое обучение после первого выигранного им судебного процесса. После окончания обучения прошел год, в течение которого Эватл не участвовал в судебных процессах. Протагор стал проявлять нетерпение. Он предложил Эватлу внести плату за обучение. Эватл отказался. Тогда Протагор сказал: « Если ты не внесешь плату, то я обращусь в суд. Если суд вынесет решение, что ты должен платить, то ты оплатишь обучение по решению суда. Если суд вынесет решение «не платить», то ты выиграешь свой первый процесс и оплатишь обучение по договору». Поскольку Эватл уже овладел искусством спора, он так возразил Протагору:” Ты не прав, учитель. Если суд вынесет решение «не платить» то я не буду платить по решению суда. Если же вынесет решение «платить», то я проиграю процесс, и не буду платить по договору».
Неумышленные ошибки совершаются из-за низкой культуры мышления, из-за поспешности и т.д. Они называются паралогизмами ( от греч. «паралогисмос»- неправильное рассуждение).
Парадокс – это рассуждение, доказывающее как истинность, так и ложность некоторого суждения, иными словами, доказывающее как это суждение, так и его отрицание. Суть парадокса такова: « Критянин Эпименид сказал: «Я сейчас лгу». Критянин сказал правду тогда и только тогда, когда он солгал, и наоборот. Разрешить этот парадокс логики пытались уже в древности, причем Диодор
Кронос умер от огорчения, убедившись в неудаче своих попыток, а Филет Косский покончил с собой.
Правила по отношению к тезису.
Необходимо явно сформулировать тезис ( в виде суждения, системы суждений, проблемы, гипотезы и т.д. ).
Тезис должен быть сформулирован четко и ясно.
Тезис не должен изменяться в процессе аргументации и критики без специальных оговорок.
Правила по отношению к аргументу.
1.Аргументы должны быть сформулированы явно и ясно.
2. Аргументы должны быть суждениями, полностью или частично обоснованными.
Существует несколько разновидностей ошибки «необоснованный аргумент».
1Ложный аргумент. Совершая эту ошибку, в качестве аргумента приводят необоснованное утверждение, являющееся к тому же ложным. Однако аргументатор не знает о ложности аргумента.
2. Лживый аргумент. Заключается в приведении в качестве доводов утверждений, ложность которых известна аргументатору.
3. Неприкрытый лживый аргумент. Совершая данную ошибку, в качестве аргументов приводят явно ложные утверждения, предполагая, что оппонент из-за отсутствия смелости или по какой – то другой причине промолчит.
4. Неправомерное обращение к науке. В спорах часто ссылаются на положения наук, однако иногда, пользуясь тем, что люди с уважением относятся к научным данным, ссылаются на несуществующие данные.
5. Лживый аргумент в качестве предпосылки вопроса. Аргумент не высказывают, а выражают посредством вопроса, предпосылка которого является ложной.
6. Вовсе не высказанный лживый аргумент. Аргументацию проводят так, что явно ложные аргументы опускают, а логически неподготовленный адресат аргументации их выводит сам.
7. Бабий, или, более благородно, дамский аргумент. Ошибка заключается в усилении аргумента противоположной стороны до такой степени, что он оказывается ложным.
8. Двойная бухгалтерия. Один и тот же аргумент считается в одном случае истинным ( если это выгодно), а в другом ложным ( если это не выгодно).
9. Аргумент в связке. Характеризуя предметы, к которым стремятся выработать отрицательное отношение у адресатов спора, одновременно говорят о вещах, к которым уже выработано отрицательное отношение.
10. Адвокатская уловка . Спорящий считает своим аргументом ошибку противника .
11. Тактически лживый аргумент . Вместо аргумента выдвигают суждение , являющееся отрицанием подразумеваемого аргумента. Противник доказывает ложность выдвинутого суждения. Тогда вы заявляете ,что согласны с этим и предлагаете не высказанный вами ранее аргумент . Противнику ничего не остаётся ,как признать его истинным.
12.Свинский аргумент .Ваш оппонент ошибся ,может быть ,оговорился или допустил описку, а затем исправился .Вы же продолжаете его обвинять в этой ошибке .
3.Аргументация не должна заключать в себе круг.
4.Аргументы должны быть релевантными по отношению к тезису .
ОБЩЕЕ ПРАВИЛО: отношение между аргументами и тезисом должно быть по меньшей мере отношением подтверждения.
СОВЕТЫ:
1.Совет Аристотеля: не спорить с первым встречным, а лишь с тем ,кто стремится к истине.
2. Тезис должен подходить оппонентам .Это означает , что обсуждать вопросы в аудитории ,которая не в состоянии их решить (из-за отсутствия необходимых знаний ),по меньшей мере бесполезно .
3. Необходимо знать предмет спора. Не следует категорично высказываться о вещах, которые вам мало известны.
4. Нужно своевременно признавать свои ошибки.
5. Нужно знать правила логики. Иногда в споре мы чувствуем – здесь что – то не то, а что именно, не знаем.
6. Нужно сохранять спокойствие в споре. При прочих равных условиях в споре, как правило, побеждает тот, кто ведет его спокойно.
III РЕЗУЛЬТАТЫ РАБОТЫ
Приведем примеры решения различных логических задач.
1. У меня есть две монеты на общую сумму 15 копеек. Одна из них не пятак. Что это за монеты?
Ответ: 10 и 5 копеек.
2. От города А до города В 120 км. Из города А вышел поезд по направлению к городу В и шел без остановки со скоростью 30 км/ч. В то же время из города В по направлению к городу А вылетела ласточка со скоростью 60 км/ч. Она долетела до поезда, повернула обратно и полетела в В. Долетев до города В, она снова повернула по направлению к поезду и, долетев до него, опять повернула к В и т. д. Так она летала навстречу поезду и обратно, пока поезд не прибыл в город В. Сколько км пролетела ласточка?
Ответ: 1. 120:30=4 (часа) – ехал поезд;
Время, которое поезд был в пути, равно времени, которое летала ласточка.
2. 4х60=120 ( км)
3. У одного человека не было наручных часов, зато дома висели точные настенные часы, которые он иногда забывал заводить. Однажды, забыв в очередной раз завести часы, он отправился в гости к своему другу, провел у того вечер, а вернувшись домой, сумел правильно поставить часы. Каким образом ему удалось это сделать, если время в пути заранее известно не было?
Решение: выходя из дома, человек заводит часы и запоминает, в каком положении находятся стрелки. Придя к другу и уходя из гостей, он отмечает время своего прихода и ухода. Вернувшись домой и взглянув на час, человек определяет продолжительность своего отсутствия. Вычитая из этого времени то время, которое он был в гостях, человек узнает время, затраченное на дорогу туда и обратно. Прибавив ко времени выхода из гостей половину времени, затраченного на дорогу, он получает возможность узнать время прихода домой и перевести соответствующим образом стрелки.
Двое подошли к реке. У пустынного берега стала лодка, в которой мог поместиться только один человек. Оба они переправились через реку на этой лодке и продолжали свой путь. Как они это сделали?
Ответ: они подошли к разным берегам.
А+В3 OR NOT C=4 AND NOT AB OR CD+2.
A=1 B=2 C=3 D=4
1)A+B3
33 FALSE
2) AB
12 FALSE
3) CD+2
36 TRUE
4)FALSE OR NOT FALSE AND NOT FALSE OR TRUE:
FALSE OR TRUE AND TRUE OR TRUE:
FALSE OR TRUE OR TRUE:
TRUE OR TRUE:
TRUE.
6.(A+B7 IMP NOT C=8 OR NOT DA+C AND NOT AB AND C
A=0 B=8 C=3 D=14
A+B7
0+87 TRUE
C=8
3=8 FALSE
3) DA+C
140+3
143 TRUE
4) A
0
0
5) AB
08 FALSE
6) C
3
7)(TRUE IMP NOT FALSE OR NOT TRUE AND NOT TRUE) OR NOT ( FALSE AND TRUE):
(TRUE IMP TRUE OR FALSE AND FALSE ) OR NOT FALSE:
(TRUE IMP TRUE OR FALSE) OR TRUE:
(TRUE IMP TRUE) OR TRUE:
TRUE OR TRUE:
TRUE.
7. Определить истинность формулы φ≡¬( x /\ y) →¬x v¬y v¬z→x v y v z для всех значений переменных x,y, z.
x | y | z | x/\y | ¬(x/\y)≡φ1 | ¬x | ¬y | ¬z | ¬xv¬yv¬z≡φ2 | xvyvz≡φ3 | Φ1→φ2≡φ4 | Φ4→φ3 ≡φ |
0 | 0 | 0 | 0 | 1 | 1 | 1 | 1 | 1 | 0 | 1 | 0 |
0 | 0 | 1 | 0 | 1 | 1 | 1 | 0 | 1 | 1 | 1 | 1 |
0 | 1 | 0 | 0 | 1 | 1 | 0 | 1 | 1 | 1 | 1 | 1 |
0 | 1 | 1 | 0 | 1 | 1 | 0 | 0 | 1 | 1 | 1 | 1 |
1 | 0 | 0 | 0 | 1 | 0 | 1 | 1 | 1 | 1 | 1 | 1 |
1 | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 1 | 1 | 1 | 1 |
1 | 1 | 0 | 1 | 0 | 0 | 0 | 1 | 1 | 1 | 1 | 1 |
1 | 1 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 1 | 1 | 1 |
Боря, Витя, Гриша и Егор встретились на олимпиаде. Ребята приехали из разных городов: из Москвы, из Омска , из Томска, из Казани. Известно, что Боря жил в одной комнате с мальчиком из Казани и ни один из них никогда не был ни в Москве, ни в Томске. Гриша играл в одной команде с мальчиком из Москвы, а против них обычно боролся приятель из Казани. Егор и мальчик из Казани играли в шахматы. Из какого города Егор?
Решение: построим таблицу. Из условия 1 ясно, что Боря не из Москвы , не из Казани и не из Томска и. Отметим в таблице цифрой 0 ( ложь).
| БОРЯ | ВИТЯ | ГРИША | ЕГОР |
МОСКВА | 0 | 0 | 0 | 1 |
ОМСК | 1 | 0 | 0 | 0 |
ТОМСК | 0 | 0 | 1 | 0 |
КАЗАНЬ | 0 | 1 | 0 | 0 |
Из таблицы ясно, что Боря из Омска. Значит остальные мальчики не из Омска. Отметим это в таблице (красным цветом) . Из следующего условия известно, что
Гриша не из Москвы и не из Казани. Значит, он из Томска. (синим цветом в таблицы). Из последнего условия ясно, что Егор не из Казани. Значит, он из Москвы (зеленым цветом).
Ответ: Егор из Москвы.
Трое друзей, болельщиков автогонок «Формула1», спорили о результатах предстоящего этапа гонок.
-Вот увидишь, Шумахер не придет первым, - сказал Джон. – Первым будет Хилл.
-Да нет же, победителем будет, как всегда, Шумахер! – воскликнул Ник. – А об Алези и говорить нечего, ему не быть первым.
Питер, к которому обратился Ник, возмутился:
- Хиллу не видать первого места, а вот Алези пилотирует самую мощную машину.
По завершении этапа гонок оказалось, что каждое из двух предположений двоих друзей подтвердилось, а оба предположения третьего из друзей оказались неверны. Кто выиграл гонки?
Решение: введем обозначения для логических высказываний: Ш – победит Шумахер; Х – победит Хилл; А – победит Алези. Реплика Ника «Алези пилотирует самую мощную машину» не содержит никакого утверждения о месте, которое займет этот гонщик, поэтому в дальнейших рассуждениях не учитывается.
Зафиксируем высказывания каждого из друзей : Джон: ¬Ш /\ Х; Ник : Ш/\ ¬ А ; Питер: ¬Х. учитывая то, что предположения двух друзей подтвердились, а предположения третьего неверны, запишем и упростим истинное высказывание:
¬ (¬ Ш /\ Х) /\ (Ш/\ ¬ А) /\ ¬Х v (¬Ш /\ Х)/\ ¬(Ш/\¬ А) /\¬ Х v (¬Ш/\ Х) /\ (Ш/\¬ А)/\ ¬ ¬Х=¬ (ШvХv Ш v А v Х) = Ш/\ А/\ Х.
Высказывание Ш /\ А /\ Х истинно только при Ш=1, А=0, Х=0.
Ответ: победителем этапа гонок стал Шумахер.
Сколько натуральных значений Z содержится на промежутке, определяемом выражением: NOT(( Z3) OR ( Z
Решение: Упростим: NOT((Z3) OR(Z3) AND NOT(Z
Определим данный промежуток на числовой оси:
-4 3
(1,2,3) принадлежит N т.е. 3 числа.
Ответ: 3 числа.
Будет ли данное выражение истинным для Z 6; NOT (( X= 5) AND ( X
Решение.
Упростим: NOT ((X= 5) AND (X= 5) OR NOT ( X
Определим данный промежуток на числовой оси:
2 5 6
Ответ: данное выражение не истинно.
Сколько целых выражений Z содержится на интервале, определенном выражением: NOT ( Z 2 OR Z
-3 2
[ -3; -2; -1; 0; 1; 2] Z .
Ответ: 6
13. Вадим, Сергей и Михаил изучают различные иностранные языки: китайский, японский и арабский. На вопрос, какой язык изучает каждый из них, один ответил: « Вадим изучает китайский, Сергей не изучает китайский, а Михаил не изучает арабский». Впоследствии выяснилось, что в этом ответе только одно утверждение верно, а два других ложны. Какой язык изучает каждый?
Решение:
Имеется 3 утверждения: 1) Вадим изучает китайский; 2) Сергей не изучает китайский; 3) Михаил не изучает арабский.
Если верно первое утверждение, то верно и второе, т. к. юноши изучают разные языки. Это противоречит условию задачи, поэтому первое утверждение ложно.
Если верно второе утверждение, то первое и третье ложны. При этом получается, что никто не изучает китайский. Это противоречит условию задачи, поэтому второе утверждение ложно.
Остается считать верным третье утверждение, а первое и второе – ложными. Следовательно, Вадим не изучает китайский, китайский изучает Сергей.
Ответ: Сергей изучает китайский язык, Михаил – японский, Вадим – арабский.
IV ВЫВОДЫ И РЕКОМЕНДАЦИИ
Задачи по преобразованию логических функций весьма разнообразны. Однако их можно подразделить на следующие типовые группы:
Упрощение логических функций, заданных различным образом;
Построение таблиц истинности функций;
Вычисление значения логического выражения для заданного набора значений переменных;
Определение тождественности логических функций;
5. Задачи, решаемые путем построения таблицы.
Как правило, логические задачи формулируются на естественном языке. В этом случае в ходе решения необходимо соблюдать следующие этапы:
Внимательно изучите условие.
Выделить простые высказывания и обозначить их латинскими буквами.
Записать условие задачи на языке алгебры логики.
Составить конечную формулу, для этого объединить логическим умножением формулы каждого утверждения, приравнять произведение к единице.
Упростить формулу.
Проанализировать полученный результат или составить таблицу истинности, найти по таблице значения переменных, для которых значение функции равно 1.
Записать ответ.
Обучение информатике немыслимо без решения задач. В процессе обучения решению задачи выполняют разнообразные функции – обучающий фактор, воздействующий на учащегося и детерминирующий его познавательную активность. В педагогической науке существуют так называемый задачный подход к исследованию и построению деятельности, в том числе учебной и обучающей. Для того, чтобы обучение с помощью задач достигало поставленных целей, нужна тщательно продуманная система упражнений и задач. В такой системе должна быть правильно установлена последовательность задач с учетом особенностей и возможностей учащихся и принципа « от простого к сложному».
V Список использованной литературы
1.Алексеев А. П. Аргументация. Познание. Общение. М.,1991.
2. Бойко А. П. Формально-логические основы классификации. М., 1980// Логика. М., 1994.
3. Бочаров В. А., Маркин В. И. Основы логики. М., 2000.
4. Горский Д. П. Логика. М., 1963.
5. Джини К. Логика в статистике. М., 1973.
6. Игошин В. И. Задачи и упражнения по математической логике и теории алгоритмов. М., 2005.
7. Макарова Н. В. Информатика. М., 2003.
8. Угринович Н Д. Информатика. М., 2006