Лекция 2.
Логика как основной инструмент системного анализа
.
Законы и правила логики
Вслед за А. Энтховеном мы определили системный анализ как просвещенный
здравый смысл. А что же такое "здравый смысл"? Этот термин носит бытовой, т.е. не
строго определенный характер, однако большинство людей полагает, что здравый
смысл – иметь логическое мышление.
Логика (от греч. λόγος — «речь», «рассуждение», «мысль») — наука о формах,
методах и законах интеллектуальной познавательной деятельности. Поскольку это
знание получено разумом, логика также определяется как наука о формах и законах
правильного мышления. Поскольку мышление оформляется в языке в виде
рассуждения, частными случаями которого являются доказательство и опровержение,
логика иногда определяется как наука о способах рассуждения или наука о способах
доказательств и опровержений. Логика как наука изучает способы достижения истины
в процессе познания опосредованным путём, не из чувственного опыта, а из знаний,
полученных ранее, поэтому её также можно определить как науку о способах
получения выводного знания.
Одна из главных задач логики — определить, как прийти к выводу из предпосылок
(правильное рассуждение) и получить истинное знание о предмете размышления,
чтобы глубже разобраться в нюансах изучаемого предмета мысли и его соотношениях с
другими аспектами рассматриваемого явления. Логика служит одним из инструментов
почти любой науки. Подобно тому как умение говорить существовало ещё до
возникновения науки грамматики, так и искусство правильно мыслить существовало
задолго до науки логики. Основная цель (функция) логики всегда оставалась
неизменной: исследование того, как из одних утверждений можно выводить другие.
В основе логики лежат законы, впервые сформулированные еще в Древней Греции
Аристотелем– законы тождества, непротиворечия и исключенного третьего. В средние
века этот список был дополнен законом достаточного основания.
Зако н то ждества —в процессе рассуждения каждое осмысленное выражение
должно употребляться в одном и том же смысле.
Имеют место два типа нарушений:
Амфиболия ("подмена тезиса") - в основе которой лежит двусмысленность
языковых выражений. Например: "Говорят, что язык до Киева доведет. Я купил вчера
копченый язык. Теперь смело могу идти в Киев".
Эквивокация ("подмена понятия") - в основе которой лежит использование одного
и того же слова в разных значениях. Например, смысл простого, на первый взгляд,
высказывания: «Студенты прослушали объяснение профессора», – непонятен.
В современных телевизионных ток-шоу мы часто наблюдаем ситуацию логомахии
(спор о словах), когда в процессе дискуссии участники не могут прийти к единой точке
зрения из-за того, что не уточнили исходные понятия.
Когда закон тождества нарушается непроизвольно, - тогда логические ошибки
называются паралогизмами; но когда этот закон нарушается преднамеренно, с целью
запутать собеседника, тогда ошибки называются софизмами. Отсюда в частности
вытекает первое правило делового разговора – убедитесь, что говорите об одном и том
же.
Мастерами умышленно неправильных рассуждений были древнегреческие софисты.
Для примера разберём софизм «рогатый»: То, чего ты не потерял, ты имеешь. Ты не
потерял рогов. Следовательно, ты имеешь рога. Нетрудно понять, что в основе лежит
9
двоякое понимание слова "потерял" – в первой фразе имеется в виду, что потерять
можно только то, что имеешь, а во второй фразе этот смысл игнорируется.
Древнегреческие логики увлекались составлением различных логических
парадоксов, из которых самым известным является, наверное, пробле ма ку рицы и яйца
: Что было раньше — курица или яйцо?. Необходимо установить причинно-
следственную связь. Этот парадокс основан на использовании понятий с нечетким
объемом. Для анализа парадокса необходимо рассмотреть и уточнить используемые в
нем термины, например, определить яйцо как способ размножения кур. В технике и
экономике «проблемой курицы и яйца» называют порочный круг, который разрывают с
помощью каких-либо дополнительных ресурсов, привлекаемых на начальной стадии.
Закон исключённого третьего (лат. tertium non datur, то есть «третьего не дано») —
состоит в том, что из двух высказываний — «А» или «не А» — одно обязательно
является истинным, то есть два суждения, одно из которых является отрицанием
другого, не могут быть одновременно ложными (либо истинными), одно из них
необходимо истинно, а другое ложно. Закон исключённого третьего является одним из
основополагающих принципов классической математики, на котором строятся
доказательства многих классических теорем.
Частным случаем закона исключенного третьего является закон двойного отрицания
- согласно которому «если неверно, что неверно А, то А верно». Закон двойного
отрицания называется также законом снятия двойного отрицания. В формализованном
языке логики высказываний закон двойного отрицания выражается формулой:
С законом исключенного третьего связаны различные парадоксы. В самом широком
смысле под парадоксом понимают высказывание, которое расходится с общепринятым
мнением и кажется нелогичным (зачастую лишь при поверхностном понимании).
Зачастую, парадоксальность суждения является первым шагом на пути к познанию
какой-то истины. Вспомним фразу А.С.Пушкина:"И гений, парадоксов друг…".
Современные науки, использующие логику в качестве инструмента познания, нередко
наталкиваются на теоретические противоречия либо на противоречия теории опыту.
Это бывает обусловлено неверной аксиоматизацией теорий, логическими ошибками в
построении суждений, несовершенством существующих в настоящее время научных
методов или недостаточной точностью используемых в опытах инструментов. Наличие
парадокса стимулирует к новым исследованиям, более глубокому осмыслению теории,
её «очевидных» постулатов и нередко приводит к полному её пересмотру.
В логике же различают парадокс и апорию. Апория, в отличие от парадокса,
является вымышленной, логически верной, ситуацией (утверждением), которая не
может существовать в реальности. Наиболее известным примером является парадокс
лжеца: «То, что я утверждаю сейчас — ложно», или «Я лгу», или «Данное
высказывание — ложь». То есть, если это высказывание истинно, значит, исходя из его
содержания, верно то, что данное высказывание — ложь; но если оно — ложь, тогда то,
что оно утверждает, неверно; значит, неверно, что данное высказывание — ложь, и,
значит, данное высказывание истинно. И цепочка рассуждений возвращается в начало.
Закон
непротиворечия
(закон
противоречия) —два
несовместимых
(противоречащих либо противоположных) суждения не могут быть одновременно
истинными. По крайней мере одно из них необходимо ложно.
Противоречия
бывают
контактными
и
дистантными,
когда
между
противоречащими друг другу суждениями находится значительный интервал в речи
или в тексте. Противоречия также бывают явными и неявными. В первом случае одна
10
мысль непосредственно противоречит другой. На этом основано широко
распространенное в математике "доказательство от противного". Во втором случае
противоречие вытекает из контекста: оно не сформулировано, но подразумевается.
Противоречия также бывают мнимыми, что часто используется как художественный
прием. Вспомним названия известных литературных произведений: «Живой труп» и
т.д.
Зако н доста точного основа ния: всякое положение для того, чтобы считаться вполне
достоверным, должно быть доказанным, т. е. должны быть известны достаточные
основания, в силу которых оно считается истинным. Запрещая принимать что-либо
только на веру, этот закон выступает надежной преградой для любого
интеллектуального мошенничества. Он является одним из главных принципов науки.
Пример 1. Это вещество является электропроводным, потому что оно – металл».
Пример 2. «Не ставьте мне двойку, спросите еще, я же прочитал весь учебник,
может быть, и отвечу что-нибудь»
Пример 3. На законе достаточного основания базируется важный юридический
принцип презумпции невиновности, который предписывает считать человека
невиновным, даже если он дает показания против себя, до тех пор, пока его вина не
будет достоверно доказана какими-либо фактами.
Доказательства могут быть как эмпирическими, так и теоретическими. Физический
опыт, статистические данные, законы наук, логические доказательства могут быть
обоснованием того или иного утверждения. Универсальной формулы доказательства не
существует. Каждая наука доказывает по своему.
Основным средством логического доказательства является дедукция - метод
мышления, при котором частное положение логическим путем выводится из общего,
вывод по правилам логики; цепь умозаключений (рассуждений), звенья которой
(высказывания) связаны отношением логического следования. Началом (посылками)
дедукции являются аксиомы, постулаты или просто гипотезы, имеющие характер
общих утверждений («общее»), а концом — следствия из посылок, теоремы
(«частное»). Если посылки дедукции истинны, то истинны и ее следствия.
Если в ходе делового (или иного) разговора возникает дискуссия, то большей
продуктивности можно добиться, строя логическую цепочку умозаключений. Из
определения дедукции вытекают еще два правила ведения деловых разговоров:
2-е правило делового разговора –– исходная посылка должна быть разумна.
3-е правило делового разговора – по ходу дискуссии фиксируйте точки согласия.
Какие же правила логики или, иначе, правила вывода имеются в виду в определении
дедукции? Начнем с наиболее распространенного -
категорический силлогизм (или простая дедукция): рассуждение, состоящее из трёх
простых атрибутивных высказываний: двух посылок и одного заключения. Посылки
силлогизма разделяются на бо льшую (которая содержит предикат заключения) и
меньшую (которая содержит субъект заключения). Вывод делается относительно двух
высказываний через отношение к чему-то третьему. При этом должны соблюдаться
следующие правила:
В каждом силлогизме должно быть только три термина.
Средний термин должен быть распределён хотя бы в одной из посылок.
Термин, не распределённый в посылке, не должен быть распределён в заключении.
Число отрицательных посылок должно быть равно числу отрицательных
заключений.
11
По положению среднего термина силлогизмы делятся на фигуры, а последние по
логической форме посылок и заключения — на модусы. Всего насчитывается 19
различных модусов. Причем, в соответствии с правилами, модусы могут быть
преобразованы в другие модусы, и все модусы могут быть преобразованы в один из
модусов первой фигуры.
Достарыңызбен бөлісу: |