Формальная логика как наука о мышлении. Основы формальной логики

Введение

4.1 Общие замечания

4.2 Закон тождества

4.3 Закон противоречия

4.4 Закон исключенного третьего

4.5 Закон достаточного основания

Введение

Наука логика – одна из древнейших наук. Ее следы просматриваются в древнеиндийской и древнекитайской философии, а также в философии античной Греции. Наиболее значительной фигурой здесь был Аристотель, которого по праву считают основателем формальной логики. В его сочинениях мы находим основы теоретического знания о формах и приемах мышления. В дальнейшем логика развивалась другими философами, которые видели в ней необходимую науку о мышлении, без которой невозможно успешное развитие познавательного процесса. Возникнув в рамках философии, логика вышла за ее пределы и стала необходимым инструментом мышления в науке, в политике, в экономике, в сфере общественной и культурной жизни, в повседневных делах самых широких слоев населения. Сегодня логика служит политику и юристу, ученому и студенту, бизнесмену и общественному деятелю, руководителю и исполнителю, домохозяйке и педагогу и т.п. Формально-логическое мышление обладает всеобщей обязательностью, и в этом состоит его сила. Почему? Что такое логика как наука?

1. Формальная логика как наука о мышлении

Название науки логики происходит от греческого слова logos, что означает речь, мысль, разум. Сферой логики является интеллектуальная познавательная деятельность или процесс мышления. С учетом этого можно дать следующее определение науки логики: логика есть наука о законах, формах и приемах мышления, осуществляемого с помощью языка.

Мышление не может существовать без языка. Язык придает нашим мыслям определенность, с его помощью мысль обретает форму слова, предложения, и таким образом она становится доступной другим людям. Язык выступает как непосредственная действительность мысли; благодаря языку мысль предстает как информация, которая накапливается из поколения в поколение и передается ими в целях дальнейшего использования. Язык, таким образом, выступает важнейшим связующим звеном исторических поколений. Что же касается мышления (рассуждения), то каждый из нас знает из собственного опыта, как трудно бывает порой выразить свои мысли, если мы не владеем языком. Язык может быть препятствием мышления, и может быть его стимулом. Особенно это видно, когда мы овладеваем иностранным языком. Критерием овладения иностранным языком является наша способность мыслить (думать) на иностранном языке.

Обдумывая тот или иной вопрос, решая задачу и т.п., мы можем не произносить вслух ход рассуждений, но это не значит, что мы не используем язык; просто наша речь в этом случае становится внутренней. Таким образом, во всех актах мышления оно непосредственно связано с языком.

Кроме того, язык обладает тем свойством, что он позволяет нам выразить мысли о предметах в обобщенной, абстрактной форме. Мы мысленно отвлекаемся от конкретных форм и свойств реальных предметов и таким образом придаем нашим словам обобщенную форму; При этом, однако, связь с реальными предметами сохраняется; в этом можно убедиться хотя бы потому, что в различных иностранных языках различные слова обозначают одни и те же предметы или явления. Способность человека к абстрактному мышлению заложена в нем от рождения, но по мере его взросления, а также обучения, воспитания, общения с другими людьми, овладения культурными ценностями, она развивается и затем реализуется в его жизнедеятельности.

Несмотря на столь тесную связь языка и мышления, они представляют собой разные явления и исследуются разными науками: язык является предметом языкознания, мышление изучается формальной логикой. Каждая наука использует естественный язык, но в то же время не может обойтись без искусственного языка. Особенно это касается математики, физики и др. наук, но и логики тоже. Так называемый формализованный язык здесь применяется очень широко. Но этот язык выступает лишь средством изучения мышления. В мышлении формальная логика изучает логические формы и формально-логические законы, которые мы рассмотрим в этой и последующих лекциях.

Мышление, однако, является объектом исследования не только логики, но и психологии. Психология изучает процесс мышления индивида, она исходит при этом из внутренних характеристик личности, которые формируются как природными и наследственными факторами, так и внешними культурными и социальными условиями. Следовательно, психология учитывает конкретные стороны действительности, тогда как логика отвлекается от них. Логику не интересует вопрос о том, кто мыслит – юноша или старец, женщина или мужчина, здоровый или больной человек и т.д., но для психологии этот вопрос очень важен. Логика не касается вопроса о побудительных мотивах мыслительной деятельности, тогда как психология исследует эти мотивы, ибо они важны для характеристики личности в целом. Законы мышления, которые изучает психология, это те законы, которые характеризуют мышление как результат воздействия всех компонентов психики индивида, т.е. здесь четко просматривается причинная связь. Что касается логики, то она в своих законах и формах раскрывает мышление таким, каким оно должно быть, чтобы не отклоняться от истины в результате познания. В этой связи логические законы выступают как логические нормы, принципы. Они, однако, не зависят от воли людей, ибо не устанавливаются ими как нормы права, морали и т.д.

Указанные различия между логикой и психологией не препятствуют им в содействии в процессе решения познавательных задач. И та, и другая, но каждая по-своему, способствуют изучению познавательной деятельности; психология формулирует положения о том, какие черты психики необходимы для овладения различными методами мышления; логика же раскрывает арсенал тех средств, знание которых усиливает познавательную функцию мышления. Кроме того, психология как наука не может обойтись без логики, ибо она неизбежно оперирует понятиями, прибегает к суждениям и умозаключениям; логика же, со своей стороны, использует данные психологии для выяснения некоторых закономерностей формирования мышления, что позволяет ей глубже понять сущность логических форм.

2. Структура формальной логики

Современная формальная логика является очень разветвленной наукой и может быть разделена на части по различным основаниям. В зависимости от того, применяется ли математический аппарат (логические исчисления) или изучаются общие формы мысли без его применения, в ней выделяются две части: 1) общая (несимволическая) логика и 2) символическая (математическая) логика.

В свою очередь, общая логика подразделяется на два раздела по различию изучаемых объектов.

Первый раздел является учением об основных формах (элементах) мышления, без которых невозможно ни обыденное, ни научное мышление. К основным формам мышления относятся понятия, суждения и умозаключения. В этот раздел включается учение об основных формально-логических законах.

Второй раздел включает систематические формы, без которых невозможно научное мышление. Сюда входят определения, классификация, доказательства, логические методы, связанные с анализом данных опыта.

Математическая логика имеет много разветвлений. Она применяет табличное построение логики высказываний, использует специальный язык символов и формулы логики высказываний.

Понятие «общая логика» в некоторых случаях употребляется для обозначения той части логики, которая отличается от прикладной логики. В прикладной логике исследуются логические формы в отношении к содержанию предмета мышления. Различают в этой связи временную логику, техническую логику и др., в которых строятся специальные системы исчислений.

Наш курс включает вопросы общей логики.

3. Практическое значение формальной логики

Прежде всего нужно усвоить то, что соблюдение законов и принципов формальной логики является необходимым условием достижения истины. Ввиду того, что выводное знание имеет место во всех сферах мыслительной деятельности, то знание законов необходимо каждому человеку, независимо от характера его деятельности. Практически, однако, многие люди не изучали (не изучают) формальной логики, и это не мешает им правильно мыслить. Почему? Все дело в том, что в этих случаях они безотчетно пользуются так называемой естественной логикой. Каково ее происхождение? Многие поколения людей еще с глубокой древности выделили и зафиксировали в письменных источниках те мудрые и простые правила мысли и действия, которыми они пользовались и добивались успеха. Эти житейские правила передаются из поколения в поколение, и первыми учителями естественной логики для нас являются наши родители и воспитатели; они помогают нам осмыслить наш жизненный опыт на стадии детства и юношества. Элементы естественной логики широко представлены в мировой художественной литературе, где герои всегда действуют исходя их конкретных обстоятельств и в своих рассуждениях прибегают к логическим обоснованиям своих поступков. Примером может служить знаменитый монолог Гамлета «To be, or not to be?». Другой, не менее интересный пример мы можем найти в трагедии Гете «Фауст» (часть 1, сц. 4); здесь Мефистофель, по сговору с Фаустом приняв его облик, делает поучения молодому ученику о полезности курса логики для тренировки ума. Другим источником естественной логики являются научные тексты, которые несут в себе высокую культуру мышления их создателей. Внимательно читая их произведения, мы учимся, как надо рассуждать. Этот путь, однако, ограничивает наши возможности. т.к., идя по нему, мы действуем вслепую. Другое дело, когда мы знаем законы и формы мышления и сами можем сознательно ими пользоваться: приводить в порядок разрозненные эмпирические понятия, систематизировать их и определять их точный смысл.

Особо важное значение логика имеет в научной деятельности. Занятия наукой необходимо связаны с разработкой понятий, систематизацией знания, что предполагает использование логических правил. Подлинная наука базируется на строгой дисциплине мышления, умении отвлекаться от несущественных деталей и способности придать творческому процессу целенаправленный характер.

В области философии логика является необходимым инструментом мысли, поскольку философия пользуется абстракциями, и тайны умозаключений из философских трактатов, суть философских систем, могут быть раскрыты при знании логики.

В научных дискуссиях логика играет роль «интеллектуального полицейского» в том смысле, что если оппоненты исходят из одних и тех же посылок, но приходят к разным результатам, то это потому, что кто-то из них не соблюдает требования формальной логики. Неслучайно подлинно научными дискуссиями считаются те, в которых анализируется логика оппонентов, а не просто происходит отрицание точки зрения, которое нередко стимулируется эмоциональным подходом. Если в ходе дискуссии мы говорим чему-то «нет», то это должно быть обосновано. Почти хрестоматийным стал пример, который привел в своей книге американский логик Беркли; он процитировал одного американского сенатора времен холодной войны. Тот сказал: «Все коммунисты нападают на меня. Он нападает на меня. Следовательно, он коммунист». Беркли привел логическую аналогию этого рассуждения: «Все гусеницы едят капусту. Я ем капусту. Следовательно, я гусеница». В этих рассуждениях нарушается главное логическое правило, оно подменяется эмоциональным подходом (сенатор, видимо, был антикоммунистом).

В письменной и устной речи логика имеет большое значение. Беспорядочные мысли лектора или автора не воспринимаются слушателями и читателями, ибо они несвязны и неорганизованны, они не дают посыла слушателям и читателям самим «оседлать» логику лектора или автора и предвидеть результат рассуждений еще до того, как услышат его из уст лектора или увидят в конце текста. Письменная и устная речь всегда предполагает соучастника в лице читателя или слушателя, а это возможно только тогда, когда речь логически организована.

4. Основные формально-логические законы

4.1 Общие замечания

Хорошо известно, что логика как наука имеет длительную и богатую историю. В лице логики человечество вырабатывало науку о мышлении из поколения в поколение, и на этом пути оно достигло высоких результатов. Как и каждая зрелая наука, логика содержит в себе законы, т.е. те необходимые и существенные связи, которые повторяются в самых различных ситуациях как устойчивые зависимости, знание которых позволяет людям избегать ошибок в мышлении и практически действовать, опираясь на истину.

Существует бесчисленное множество законов логики, отражающих различные виды связи между суждениями и понятиями. К числу логических законов относятся, например, те необходимые условия, которым должны удовлетворять различные логические операции. Эти условия формулируются часто в виде правил. Таковы, например, правила определения, правила деления и т.п. Большое значение в логике имеют законы, выражающие зависимость истинности (или ложности) одних суждений от истинности (или ложности) других. Эти законы определяют логически правильные формы умозаключений. Примером логического закона может служить утверждение: «Если все М суть Р и все S суть М, то все S суть Р». Мы можем подставить любые конкретные по содержанию понятия вместо М, Р и S в указанное предложение, всякий раз все это предложение будет истинным. Подобные выражения в современной символической (математической) логике получают название тождественно-истинных.

Практически в ряде учебников по логике рассматриваются десятки законов (например, в учебнике В.А. Бочарова и В.И. Маркина «Основы логики». М., 1997, их упомянуто 32). Однако во многих учебниках среди множества логических законов принято выделять следующие четыре: закон тождества, закон противоречия, закон исключенного третьего и закон достаточного основания. Они считаются основными формально-логическими законами.

Выделение этих законов в качестве основных определяется тем, что в них формулируются наиболее общие и необходимые условия не только логической правильности каждой конкретной связи между суждениями и понятиями, но и самой возможности мышления как познавательной деятельности. Происхождение законов формальной логики связано с постоянным взаимодействием между человеком и природой, человеком и обществом, общением людей друг с другом в ходе их практической и научной деятельности. Эти законы, однако, не следует ни отождествлять с законами самой действительности, но и не рассматривать в полном отрыве от нее.

Рассмотрим вышеназванные законы более подробно.

4.2 Закон тождества

Этот закон раскрывает сущность требования об определенности и однозначности наших мыслей. Закон тождества можно сформулировать следующим образом: объем и содержание мысли о каком-либо предмете должны быть строго определены и оставаться постоянными в процессе рассуждения о нем.

Закон тождества принято выражать формулой А = А или А суть А.

В соответствии с законом тождества, рассуждая о чем-либо, мы должны уточнить объем и содержание используемых нами понятий и в процессе рассуждения и вывода строго придерживаться выбранных нами вначале ограничений (параметров), не подменяя в ходе рассуждения их другими. Выполнение этого требования гарантирует нам точность, определенность, недвусмысленность наших рассуждений; создает возможность различать и отождествлять предметы в формальных системах по выражающим их терминам. Сознательное ограничение объема и содержания мыслей о различных предметах позволяет на основе закона тождества производить абстракцию их отождествления. Иначе говоря, закон тождества сводится к принципиальной однозначности понятий, используемых нами на протяжении всего рассуждения и вывода.

Обратим внимание на то, что понятие о тождестве вещей, явлений, процессов, идей и т.д. есть идеализация, которая получается в результате отвлечения от несущественных на данный момент свойств и сторон предмета рассуждения. Для того, чтобы осуществить логическую операцию, мы должны привести суждение к одному из двух логических значений: либо истинно, либо ложно. Это производится при уточнении объема и содержания используемых понятий.

Закон тождества имеет силу только в мыслительном процессе; на материальные отношения предметного мира он не распространяется, т.е. не является абсолютным законом действительности. Поэтому говорить о его соблюдении означает настаивать на дисциплине нашего мышления, т.е. на обязательном характере правильного мышления, без чего невозможно получение истинного знания. Нарушение закона тождества ведет к логической ошибке, которую можно характеризовать как потерю или подмену предмета мысли. Она может возникнуть или непроизвольно, или умышленно. Первый случай (непроизвольно) может быть результатом низкой культуры ума, неумением правильно пользоваться имеющимися знаниями, отсутствием навыков системного мышления и т.д., а также неумения контролировать свои эмоции в ходе рассуждения или доказательства (дискуссии, спора и т.д.); второй случай (умышленное искажение предмета мысли в понятии) чаще всего задается идеологическими или узко практицистскими соображениями и адресуется малокультурной аудитории, что мы можем зафиксировать в ходе предвыборных кампаний. К сожалению, приход в политику новых людей не обязательно сопровождается повышением их логической культуры. К тому же, надо иметь в виду, что значение понятий, которые мы используем при доказательстве и выводах, определяется контекстом; внешне сходные понятия могут иметь различное содержание в зависимости от контекста. Например, понятие «демократ» может означать «сторонник либеральных идей», «борец за права человека» и т.д., а может и просто «член демократической партии». С точки зрения формальной логики понятие «демократ» следует считать неопределенным, и по этой причине оно подлежит уточнению, иначе закон тождества не будет соблюден. В ходе рассуждения мы обязаны придерживаться того значения этого понятия, которое мы ввели в самом начале.

Из приведенных рассуждений ясно, что соблюдение закона тождества во многом определяется нашим умением пользоваться понятиями. В ходе рассуждений (письменных или устных) возникает необходимость в целях стилистического разнообразия одни и те же понятия выражать различными словами, однако в этом случае надо следить, чтобы вновь вводимые слова как понятия были бы тождественными уже введенным понятиям, соразмерными с ними. Например: «В подтверждение выдвинутых положений диссертант привел убедительные аргументы. Его доводы были приняты аудиторией с одобрением». Здесь понятия «аргументы» и «доводы» совпадают, т.е. являются тождественными. В другом же примере на эту же тему: «В подтверждение выдвинутых положений диссертант привел убедительные аргументы. Его речь была встречена бурными аплодисментами» – мы сопоставляем понятия «аргументы» и «речь». Очевидно, они не являются тождественными, ибо «речь» включает в себя не только аргументы, но и стилистику, интонации, жесты, логику и пр., тогда как «аргументы» как понятия указывают на теоретическую и логическую стороны. Очевидно, здесь закон тождества не соблюдается, отчего описание события носит характер неопределенности, расплывчатости, недосказанности.

Еще пример: «Все течет; в одну и ту же реку нельзя войти дважды» (Гераклит). В одной из харьковских газет читаем заголовок: «Мудрец сказал: «В одну и ту же воду нельзя войти дважды»». Если сопоставить понятия «река» и «вода», то ясно, что они не тождественны, ибо вода может быть стоячей (в бассейне, в болоте, в пруду и т.д.), а река всегда в движении. Тот, кто поместил этот заголовок, нарушил закон тождества и тем самым исказил важнейшее положение Гераклитовского учения о диалектике, в котором раскрывается сущность движения. При внимательном чтении текстов вы сами можете найти примеры как положительного, так и отрицательного характера.

4.3 Закон противоречия

Условием истинного познания выступает также требование непротиворечивости мышления. Суть его раскрывается в формально-логическом законе противоречия, который можно сформулировать следующим образом: в процессе рассуждения о каком-либо определенном предмете нельзя одновременно утверждать и отрицать что-либо в одном и том же отношении, в противном случае оба суждения не могут быть вместе истинными. Закон противоречия принято выражать в виде формулы: (А Ù`А).

Где А и`А – два суждения (положительное и отрицательное), Ù - знак конъюнкции (читается как «и»), черта сверху означает отрицание всей формулы. Рассмотрим действие закона противоречия на следующем примере. Два суждения: «Иванов знает английский язык» и «Иванов не знает английского языка» не могут быть истинными, если относительно обоих суждений, во-первых, выполняется требование закона тождества (понятие «знать английский язык» определено); во-вторых, суждения относятся к одному и тому же времени и, в-третьих, утверждение и отрицание рассматриваются в одном и том же отношении (относятся к одному и тому же лицу). Противоречия не возникло бы, если бы речь шла о разных людях, но однофамильцах. То же можно сказать, если бы речь шла о разных временах: в одном случае Иванов – студент, в другом – он же, но уже доктор технических наук, 20 лет спустя. Существенным является то, что понимается под знанием английского языка; в одном случае это умение читать специальную литературу без словаря, в другом – способность работать в качестве переводчика. Мы видим, что здесь требуется выполнение закона тождества не только в отношении субъекта («Иванов»), но и предикатов в суждении («знает английский язык»).

Закон противоречия справедлив относительно любых видов противоположных суждений в обыденном и научном мышлении. Он играет важную роль в теории дедуктивного вывода и построении доказательства, поскольку выступает определяющим моментом в понимании и обосновании логической необходимости следования заключений из посылок. Следование заключения из посылок является логически необходимым лишь в том случае, когда при отрицании заключения мы не вступаем в противоречие с посылками умозаключения. (Эта ситуация будет рассмотрена в следующей лекции).

Закон противоречия играет важную роль в научной теории. Появление формально-логических противоречий в составе научной теории ставит под сомнение возможность ее обоснования и применения целиком всей этой теории на практике. В логике справедливо следующее правило: из логического противоречия (логически противоречивого выражения) следует любое суждение. Иначе говоря, если научная теория, использующая классическую дедуктивную логику, содержит логическое противоречие, то истинные и ложные положения выводимы в этой теории в равной мере. Использовать для практических целей такую теорию нецелесообразно. Подобные ситуации возникают нередко и в сфере нашей правовой теории, когда нормативные положения одних законодательных актов, будучи нечетко сформулированными, входят в противоречие с уже действующими законодательными актами, нормы которых следовало бы или скорректировать с учетом изменений, или отменить. Так как это не делается должным образом и вовремя, наше законодательство далеко не всегда является эффективным: оно создает возможность как превратного толкования законов, так и возможность их обхождения. Ясно, что в правовой науке и практике закон противоречия играет очень важную роль. Он выступает стимулом к усовершенствованию, а то и перестройке науки. Это можно проследить на примерах из области физики, математики и других наук.

В начале ХХ в. в физике возникла критическая ситуация, суть которой состояла в том, что квантовая механика (новое направление в физике) настаивала на двойственной природе микрочастицы, то есть электрон, например, рассматривался как частица и как волна одновременно, тогда как классическая механика Ньютона требовала рассматривать материальное тело как массу – основу природы. Масса (вещество) и волна (поле) казались противоположными субстанциями физической реальности. Нильс Бор, датский физик, ввел известный принцип, получивший название «принцип дополнительности», который «примирил» эти противоположности и стал общим принципов при изучении явлений микромира. Таким образом, стремление избежать противоречия «вещество-поле» привело к формулировке нового научного принципа.

Другой подобный пример из области математики. В конце Х!Х в. теория множеств Г. Кантора утвердилась как фундамент всего здания классической математики. Однако еще при жизни Г. Кантора и в последующее время в ней были обнаружены парадоксы, или антиномии. Под парадоксом логика понимает противоречие, полученное в результате внешне логически правильного рассуждения, приводящее к взаимно противоречащим заключениям. Наличие парадокса означает несостоятельность какой-либо из посылок (аксиом), хотя эту несостоятельность бывает трудно обнаружить, объяснить и тем более устранить. Еще в античном мире были обнаружены парадоксы, связанные с понятием истины. Наиболее интересным считается парадокс лжеца, приписываемый Эвбулиду. Его суть такова. Берется утверждение: «Высказывание, которое я сейчас произношу, ложно». Легко обнаружить, что это утверждение без противоречия нельзя считать ни истинным, ни ложным. Если предположить, что оно истинно, то мы придем к противоположному заключению, т.к. его ложность постулируется в самом утверждении. Если же допустить, что оно ложно, то мы придем к выводу, что оно должно быть истинным, поскольку мы действительно говорим, что признаем неправду. Возникает парадокс.

Среди множества парадоксов в связи с теорией множества Г. Кантора рассмотрим тот, который получил название парадокса Рассела-Цермело; он касается множества всех множеств, которые не содержат себя в качестве элемента. Сам Б. Рассел, английский логик, математик и философ, отмечал, что он пришел к открытию этого парадокса путем применения канторовского метода доказательства о несуществовании наибольшего кардинального числа к классу всех воображаемых объектов. Такой класс должен содержать себя в качестве члена. Но обычно класс не является собственным членом. Б. Рассел привел пример парикмахера, который бреет всех тех жителей деревни, которые не бреются сами. На вопрос, бреет ли он себя, нельзя дать никакого определенного ответа: ибо если он скажет «да», то он не войдет в класс тех, кто ходит к парикмахеру (они сами не бреются); если он скажет «нет», то он войдет в класс клиентов парикмахера, но сам им не окажется.

Этот и другие парадоксы теории множеств Г. Кантора поставили проблему пересмотра некоторых принципов математики и логики, ибо они были сформулированы на языке математики и логики и включали только такие термины, как множество или класс, кардинальные и ординальные числа и др. Ряд парадоксов был связан с использованием обычного языка, это так называемые семантические парадоксы(например, парадокс лжеца); их разрешение требует реконструкции существующего естественного языка, и прежде всего устранения из него двусмысленных и неопределенных выражений.

Парадоксы резко изменили отношение математиков к канторовской теории множеств. Среди них возникли различные направления и школы, каждая из которых по-своему стала решать вопросы обоснования математики и предлагала свои методы устранения парадоксов. Так математика обрела новые стимулы к развитию.

4.4 Закон исключенного третьего

Закон исключенного третьего следует рассматривать как дальнейшее уточнение требований непротиворечивости, последовательности и определенности, предъявляемых к мышлению. Он должен способствовать устранению из наших рассуждений неопределенных, двусмысленных выражений, употреблению определенных вопросов и ответов в дискуссиях и т.п.

Закон исключенного третьего имеет силу лишь при условии соблюдения требований ранее изложенных законов тождества и противоречия и может быть сформулирован следующим образом: в процессе рассуждения необходимо доводить дело до определенного утверждения или отрицания, в этом случае истинным оказывается одно из двух отрицающих друг друга суждений.

Смысл закона исключенного третьего выражает формула:

Где А есть суждение, `А – его отрицание, Ú – знак дизъюнкции, читается как «либо».

Этим законом исключается истинность какого-либо третьего суждения, кроме того суждения, к которому мы пришли, или его отрицания. Здесь предлагается сделать выбор из двух противоречащих друг другу суждений. Одно из них должно быть непременно истинным. При этом закон не указывает, какое именно из суждений истинно, но указывает, что истина лежит лишь в пределах этих двух суждений, а не какого-то третьего. Закон исключенного третьего имеет силу относительно любых пар суждений, в которых одно утверждает то, что отрицается в другом. Например, из высказываний: (1) «Все планеты имеют спутников» и (2) «Неверно, что все планеты имеют спутников» (или то же самое «Некоторые планеты не имеют спутников») истинным является только одно, а именно (2). Никакого «третьего высказывания», которое также было бы истинным, между ними образовать нельзя.

Суждения (1) и (2) находятся в отношении противоположности друг к другу. Заметим особо, что закон исключенного третьего имеет обязательную силу лишь для определенного вида противоположности между высказыванием и его отрицанием, а именно для отношения контрадикторной противоположности. Наш пример как раз включает суждения такого вида.

Для отношения же контрарной или так называемой диаметральной противоположности закон исключенного третьего силы не имеет. Если мы сравним суждение (1) «Все планеты имеют спутников» с суждением (3) «Ни одна планета не имеет спутников», то обнаружим, что ни одно из них не может быть истинным, оба суждения ложны. В то же время между ними угадывается некое «третье суждение» (2) «Некоторые планеты не имеют спутников», которое как раз и оказывается истинным. Суждения (1) и (3) не удовлетворяют закону исключенного третьего. Это обстоятельство в отдельных случаях может выступать показателем контрарной противоположности между суждениями. Любая пара суждений, подчиняющаяся действию закона исключенного третьего, подчиняется также и закону противоречия, но не обязательно имеет место обратное.

Несмотря на ограниченность своего применения, закон исключенного третьего играет все же значительную роль как в практике познания, так и в решении многих чисто логических вопросов. Он лежит в основе многих умозаключений и доказательств от противного (косвенных доказательств). В косвенных доказательствах устанавливается ложность противоречащего доказываемому суждению положения, что на основании закона исключенного третьего позволяет заключать об истинности доказываемого суждения.

Приведем пример. Допустим, нам надо доказать истинность следующего суждения: «Луна есть спутник планеты Земля». Для этого мы выдвигаем противоречащее суждение: «Луна не есть спутник планеты Земля». Устанавливая ложность этого суждения, мы выдвигаем такой аргумент: если бы Луна не была спутником планеты Земля, она бы не появлялась постоянно на ночном небе в ясную погоду в точно зафиксированных точках пространства. Но так как появление Луны в указанных точках и при указанных условиях есть эмпирический факт, то предположение о том, что Луна не есть спутник Земли, неверно. Следовательно, «Луна есть спутник планеты Земля». Другой аргумент, опровергающий противоречащее суждение: если бы Луна не была спутником планеты Земля, то периодичность приливов и отливов на побережье мировых океанов (6 часов) не имела бы места (не происходила). Но так как приливы и отливы в связи с движением Луны вокруг Земли доказаны наукой, наше допущение о том, что Луна не есть спутник Земли, неверно. Следовательно, истинно, что «Луна есть спутник планеты Земля».

А вот другой пример, известный как исторический факт. Сторонники геоцентрической модели мироздания, системы Птолемея-Аристотеля утверждали:

(1) «Земля есть центр Вселенной, она неподвижна, а Солнце и планеты вращаются вокруг нее». Из числа аргументов в пользу этого положения выдвигался и такой аргумент:

(2) «Земля не есть центр Вселенной; она, как и все другие планеты, вращается вокруг Солнца».

Теперь этот контраргумент подвергался критическому анализу, в частности, указывалось на то, что если бы Земля вращалась вокруг Солнца, то птицы, взлетев в небо, не смогли бы приземлиться (она ушла бы от них), а облака не могли бы зависать над Землей и улетели бы прочь. Так как ни того, ни другого никогда не происходило и не происходит, в чем мог и может убедиться каждый, то аргумент (2) оказывается ложным, тогда аргумент (1) – истинным.

Данный аргумент был опровергнут Н. Коперником, который методом наблюдений звездного неба и вычислений небесных тел пришел к выводу о том, что Земля находится в движении вокруг Солнца. Что же касается птиц и облаков, то их «привязанность» к Земле при ее движении стала поводом для дальнейших научных исследований этого явления как факта. Подобные примеры знакомы студентам из школьного курса геометрии, когда при доказательстве теорем неоднократно использовалось доказательство от противного.

Как мы могли убедиться, закон исключенного третьего не содержит указания на то, какое именно из двух противоречащих друг другу суждений истинно. Решение этого вопроса выходит за рамки логики и требует обращения к практике как критерию истины.

4.5 Закон достаточного основания

Важным условием правильного мышления является также свойство доказательности. Это свойство мысли выражается в законе достаточного основания, который формулируется следующим образом: в процессе рассуждения достоверными следует считать лишь те суждения, относительно истинности которых могут быть приведены достаточные основания.

Рассуждение, в котором истинность некоторого положения не просто утверждается, но указываются основания, в силу которых мы не можем не признать его истинным, следует считать доказательным. При этом под достаточными основаниями истинности некоторого суждения понимается совокупность обязательно истинных других суждений, из которых первое следует с логической необходимостью. В состав этих истинных суждений могут входить аксиомы, определения, суждения непосредственного восприятия, истинность которых установлена опытным путем; суждения, истинность которых доказана с помощью других истинных суждений.

В формулировке закона содержится выражение «могут быть приведены», оно означает, что основания – истинные суждения – не обязательно должны формулироваться явным образом, но могут лишь подразумеваться, хотя и могут быть всегда выявлены при уточнении формы доказательства доказываемого (основного) положения. Следование основного положения из своих «достаточных оснований» - обязательно истинных суждений – должно быть логически необходимым, т.е. таким, что при отрицании основного положения мы вступаем в противоречия с его достаточными основаниями.

Доказательное рассуждение не только утверждает истинность некоторого положения, но и обосновывает его истинность. Закон достаточного основания требует выводить новые положения из уже твердо установленных, проверенных, доказанных истин.

Закон достаточного основания выражает лишь в общем виде требование исчерпывающего учета всех оснований для каждой истины. В нем не указывается, какое именно основание должно быть в каждом отдельном случае (простого факта или ранее доказанных положений), где и каким образом обнаруживается это основание. В законе утверждается только, что оно должно быть. Особенность основания для каждой истины базируется на содержании той области знания, к которой истина относится. Приведем пример. Достаточным основанием истинности суждения (1) «Летом теплее, чем зимой» может служить показание термометра (факт эмпирический) или истинное суждение (2) «Летом ртутный столбик термометра стоит выше, чем зимой», из которого (1) следует логически необходимым образом.

Закон достаточного основания вытекает из принципа, согласно которому причинно-следственные связи имеют всеобщий характер: одно явление с необходимостью вызывает друге; всякое действие имеет свою причину, равно как всякая причина вызывает определенное действие.

Следуя указанному закону, мы должны стремиться избегать распространенной логической ошибки, в основе которой лежит иллюзия: «после этого, значит, по причине этого» (post hoc ergo propter hoc – лат.). Чтобы не впасть в эту иллюзию, мы должны опираться на знание внутренних, необходимых связей между предметами, иначе основание вывода будет легковесным, зыбким.

Большинство истин науки получено с помощью доказательств, путем обоснования через другие достоверные положения. Они могут быть либо истинами, получившими практическое подтверждение, либо результатом умозаключения из уже проверенных, т.е. достоверных истин. Закон достаточного основания требует, чтобы истина не просто утверждалась, но всегда могла быть доказана.

Логика - наука о приемах, законах и формах мышления. Формальная логика была разработана древними греками задолго Именно греки первыми построили демократическое общество, где решения и законы принимались на народных собраниям. Они на примитивном уровне создали науку ведения А любимым занятием аристократической молодежи были дискуссии с философами. Отсюда всеобщая любовь к разработке теоретических наук. Грекам просто необходимо было учение о том, как стоить научные доказательства.

Первый курс основ логики разработал Аристотель. Он обратил внимание на то, что любые рассуждения строятся по общим законам, нарушение которые приводит к ошибочным выводам. Формальная логика Аристотеля базировалась на таких законах:

Если суждения являются утвердительными, что сделанный из них вывод не может быть отрицательным.
Если одно из утверждений отрицательное, то и общий вывод всегда будет отрицательным.

Отсюда выходит, что формальная логика - о принципах и законах эффективного, правильного построения рассуждений, с учетом формы их построения (способов соединения отдельных частей общего рассуждения).

Все явления и предметы имеют взаимосвязь. Связи могут быть объективными или субъективными, общими или частными, необходимыми или случайными. Самые существенные из этих связей называют законами. Все они отражают одну и ту же реальность, следовательно, никак не могут противоречить друг другу. Все законы человеческого мышления связаны с законами развития природы.

Законы мышления представляют собой устойчивую внутреннюю связь между мыслями. Если человек не может связать свои мысли, то он не придет к правильному выводу и не сможет донести его до других.

Основные законы формальной логики - это законы непротиворечивости, тождества, исключения третьего и закон достаточного основания. Разработка первых трех принадлежит Аристотели и Платону, последнего - Лейбницу. Нарушения этих законов (особенно первых трех) приводит к противоречиям, делая невозможным отличать правду от лжи. Последний закон менее нормативен и применяется более ограниченно.

Неосновные законы логики - это правила оперирования суждениями и понятиями, получения истинного вывода в силлогизме, повышения вероятности выводов умозаключениях индуктивного и традуктивного характера.

Закон непротиворечивости означает, что мышление не должно быть противоречивым, а должно отражать качественную определенность вещей.

Предписывает не искать между двумя противоречащими друг другу, но нечто третье, а признавать истинность лишь одного из них. Одно из составляющих противоречия - непременно истинное.

Закон тождества формальная логика трактует как требование от мышления точности, то есть под любым термином нужно точно понимать его определение и смысл. Суть понятий и суждения нельзя искажать по собственному желанию.

Закон достаточного основания заключается в том, что любую истинную мысль нужно обосновывать другими истинными мыслями, а ложные мысли обосновывать нельзя. В развития суждений должна отражаться причинно-следственная связь. Только в этом случае может быть доказана его достоверность.

Мысли и способы определения форм любых мыслей выражаются с помощью логических терминов, к которым относятся союзы “и”, “или”, “если..., то...”, отрицания “неверно, что” (“не”), слова “некоторые”, “все” (“ни один”), связка “суть” (в значении “есть”) и т.д. Выявить логическую форму суждения можно, отвлекшись от смысла терминов нелогичных, которые входят в словесное выражение этого суждения. Другими словами, формальная логика выражает структуру мысли. Логическая форма всегда информативна и содержательна.

В зависимости от их форм мысли делятся на классы: понятия, умозаключения и суждения. Понятие - мысль, обобщающая предметы на основе их базовых признаков. Суждение - мысль, утверждающая наличие (отсутствие) положений дел. Умозаключение - мысль, отражающая получение знаний, выраженных в суждениях, из других знаний.

ВВЕДЕНИЕ.

Логика как наука о мышлении.
Законы формальной логики.
Понятие как форма мышления
Логические операции с понятиями.
Суждения, их виды и отношения между ними.
Умозаключение: сущность и структура.
Индуктивные и традуктивные умозаключения.
Аргументация и доказательство.

ЗАКЛЮЧЕНИЕ.

ВВЕДЕНИЕ

Данное учебно-методическое пособие призвано помочь студентам научиться применять в мышлении различные логические операции, научиться мыслить логически правильно и избегать запутанности аргументов. Студенту важно уметь применять знание логики в нестандартных ситуациях реальной жизни и выборе правильных решений.

ЛОГИКА КАК НАУКА О МЫШЛЕНИИ

Язык это знаковая система или средство выражения человеческой мысли. Естественный язык это основа речи и средство общения людей. Искусственный язык более формализован и однозначен, используется в различных науках.

Семиотика как общая теория знаков и знаковых систем изучает принципы построения различных языков. Семиотическими категориями логики являются: знаки, как материальные предметы и явления, представляющие другие предметы и служащие для приобретения, хранения, переработки и передачи информации.

Неязыковые знаки это показатели, символы и сигналы. Языковые или описательные термины используются в целях общения и обозначения имени и значения предмета. Имя это языковое выражение для обозначения предмета. Имя предмета может быть простым (туризм, рынок), сложным (денежная система), собственным (ЗАО «Мостуризм»), общим (туристическая компания).

Каждое имя имеет значение - денотат и смысл имени – концепт. Термином называется слово или словосочетание, которое точно обозначает определенный предмет. Значение имени это обозначаемый данным именем предмет (менеджер, турист). Смысл имени это способ обозначения имени предмета, более точная фиксация его содержания. Денотату туризм соответствует концепт: путешествие с целью отдыха. Предложения это грамматически целостные единицы человеческой речи и оболочки логических суждений. Они несут определенную информацию.

В формальной логике семиотической категорией является суждение (высказывание) – повествовательное предложение. Предложение высказывает мысль по своему логическому значению истинную или ложную.

Для выявления предмета логики важную роль приобретает формализованное мышление, в рамках которого у изучаемых объектов выявляются устойчивые свойства и отношения. Формализация реализуется в естественных и искусственных языках. Использование арифметических знаков и языков программирования привело к возникновению символической или математической логики, в рамках которой формальный анализ с опорой на математические методы стал основой решения сложных экономических и технологических задач. Их решение требует:

Выявление наиболее общих свойств и отношений между предметами и явлениями;

Фиксации свойств и характеристик самих мыслей и отношении между ними.

Отношения между мыслями также изучаются логикой и выражаются логическими терминами: суть (есть, являются); все (каждый, ни один); некоторые (если……., то…; и; или) и т.д. В ходе содержательных рассуждений и оценке конкретных данных, основы наших заключений, наряду с безусловными дедуктивными выводами используются индуктивные и традуктивные (по аналогии) умозаключения. Последние, несмотря на свой вероятностный характер, весьма существенны для доказательства и аргументации спорных положений.

Логика изучает именно эту рациональную ступень познания и мышления, его опосредованную способность перехода от старых знаний к новым, не обращаясь каждый раз к опыту. Для этого используется выводное знание, полученное путем рассуждений из старых знаний. Если известно, что “где дым, там и огонь. На холме – дым. То вывод: “на холме – огонь” – истинен, если истинно исходное знание и соблюдены требования логики.

Студент должен уяснить, что образование выводного знания подчиняется определенным законам, как и все явления в мире. Поэтому главное назначение логики заключается в изучении специфических мыслительных законов и правил достижения истинного выводного знания.

Каким образом делает это логика? Прежде всего, изучая формы, структуру и правила мышления в отвлечении их от конкретного содержания. При этом термин “логика” употребляется в двух основных смыслах.

Во – первых, для обозначения умения, навыка, искусства ясно, четко, убедительно и последовательно рассуждать, доказывать и опровергать различные положения. Например, сюда входят навыки точного употребления слов и предложений, что придает речи ясную и понятную форму. Логика показывает, что при правильном рассуждении заключение это логически необходимое следствие из посылок. Поэтому общая схема данного рассуждения приобретает форму логического закона. Наконец, логика помогает искусно доказывать и опровергать положения, формулировать и разрешать смысл задачи, видеть существо ошибок и уловок в споре, избегать софистических ухищрений.

Во – вторых, логика это особая наука, которая изучает формы мышления с точки зрения их структуры, а также законы и правила получения выводного знания. При этом логика становится инструментарием познавательного действия. Определяя границы и сущность предмета логики, следует отметить её значение в рамках критического мышления и рациональной аргументации для принятия и разработки управленческих решений. Поскольку логику интересует форма построения мыслей, и она отвлекается от конкретного содержания, заключенного в них, данный раздел называется формальной логикой. Ее законы, формы и правила мышления рассматриваются в данном учебном пособии.

КОНТРОЛЬНЫЕ ВОПРОСЫ:

Каково содержание понятия «язык»? В чем отличие естественного языка от искусственного?
Что такое имя предмета, его значение и смысл?
Какие существуют логические формы мышления?
Назовите основные этапы развития логики.

2. ЗАКОНЫ ФОРМАЛЬНОЙ ЛОГИКИ.

1. Понятие логического закона.

Для природы и общества характерна взаимосвязь предметов и явлений. Эти связи могут быть объективными и субъективным, случайными и необходимыми, общими и частными. Наиболее объективные, устойчивые, необходимые и существенные связи носят название закона. Законы природы фиксируют то наиболее прочное, повторяемое, что остается в явлении. Человек в своем развитии приобрел способность познавать окружающий мир, субъективный образ которого должен совпадать с реальностью.

Для студента это положение методологично, поскольку он должен понять и объяснить факт содержательного совпадения и формального отличия законов природы и законов логики.

Во – первых, все законы объективны в том смысле, что отражают одну и ту же реальность и не могут противоречить друг другу. Законы мышления и законы развития объективной реальности неразрывно связаны друг с другом.

Во – вторых, законы мышления это, прежде всего, внутренняя, устойчивая, существенная связь между мыслями. Ведь если человек не способен связать и уяснить свои мысли, то он не придет к верному выводу, и его не поймут люди. Законы мышления имеют внеисторический и общечеловеческий характер и с успехом применяются в обычных и рассуждениях.

Для формальной логики наибольшее значение имеют четыре основных логических закона: непротиворечивости, исключенного третьего, тождества и достаточного основания. Содержание и формулировка первых трех законов развивалась в трудах Платона и Аристотеля. Разработка четвертого принадлежит Г.Лейбницу. Основные логические законы выделяют важные свойства правильного мышления: определенность, непротиворечивость, выбор’’или – или”, в некоторых жестких ситуациях, обоснованность. Они носят нормативный характер, поскольку только их соблюдение говорит о правильности мышления. Нарушение законов приводит к логическим противоречиям и невозможности отличить истину от лжи. Четвертый закон менее нормативен и имеет ограниченное применение.

Неосновные законы логики включают: правила оперирования с понятиями и суждениями, правила получения истинного вывода в простом категорическом силлогизме, правила повышения вероятности выводов в индуктивных и традуктивных умозаключениях. Действуют и законы математической логики.

Закон непротиворечивости выражает требование непротиворечивости мышления и отражает качественную определенность объектов. С позиции этого замечания объект не может обладать взаимоисключающими свойствами, то есть невозможно, одновременно, наличие и отсутствие у предмета какого-либо свойства.

Формула закона гласит: неверно, что А и не А одновременно истинны. Так не могут быть одновременно истины суждения: этот человек хороший специалист – этот человек плохой специалист. Объективное содержание закона в отражении мышлением особых биномерных признаков самой действительности. Эти противоположные признаки, или конструкты, позволяют классифицировать явления и выделить положительные и отрицательные явления. Не сделав это, нельзя провести различие, с которого начинается умственная деятельность. Логическим источником противоречии являются ошибочная исходная позиция; результат недомыслия и незнания дела; неразвитое, недисциплинированное мышление; невежество и стремление сознательно запутать дело.

В то же время противоположные суждения могут быть истинными в следующих случаях:

Если речь идет о разных признаках одного предмета. Например, отсутствие следа преступления уже след.
Если речь идет о разных предметах с одним признаком.
Если речь идет об одном предмете, но рассматривается он в разное время и разных отношениях.

Так в диалоге “Государство” Платон обучает спорщиков, как ставить вопросы: благо ли государство? – и отвечает на них, подчеркивая различное видение и отношение к благу.

Характер суждения может кардинально меняться и во времени. По этому поводу Аристотель пишет: “Самое достойное из всех начал то, по отношении к которому невозможно ошибиться. Оно должно выступать как безусловное. Такое начало не гипотеза. Что же это за начало? – Невозможно, чтобы одно и тоже было и не было присуще одному и тому же в одном том же смысле. Это самое достойное из начал” (МЕТАФИЗИКА). Это положение "R(RÙP) направлено против Гераклита, и против софистов, фактически отрицая противоречие.

Для будущих специалистов важно выделить познавательное и практическое значение закона. Так проникновение формального противоречия в рассуждение или теорию делает их несостоятельными, а их устранение приближает нас к истине.

Опровержение противоречащих фактам следствии, сравнение различных точек зрения позволяет выявить несовместимость суждений А и не А. Для этого можно использовать “метод приведения к абсурду”, где ошибочность и противоречивость выводов станут очевидными. В других случаях это обращение к контексту задач разрешения неявных противоречий. Последовательность и непротиворечивость мышления- основа уверенных и принципиальных действий любого специалиста.

Закон исключенного третьего предъявляет, более сильные требования к суждениям и требует, не уклоняться от признания истинности одного из противоречащих высказываний и не искать между ними нечто третье. “Один из членов противоречия должен быть истинным”, - отмечал Аристотель. В символической форме закон записывается "R(RVR): не ложно, не ложно; или истинно, или ложно. Этот закон и его действие не сводимо к будущему, где событие либо состоится, либо нет. Закон альтернативен в характеристике вещей, гипотез и путей решения проблем, требует выделять различные подходы и определить истинный.

Например, следует усилить роль государства в экономике – и сохранить либеральный курс. Если одно из них правильно, то другое ложно.

Закон исключенного третьего требует ясных, четких с указанием на невозможность решения вопроса в одном и том же смысле: и “да” и “нет”. Его смысл в том, что истина либо в высказывании, либо в его отрицании по правилам классической двузначной логики. При этом для Аристотеля характерно различное толкование закона:

Логическое, об истинности одного из высказываний;

Онтологическое, о существовании и не существовании объекта;

Методологическое, о всей полноте исследования объекта.

В последнем случае учитываются неопределенные, переходные ситуации и истинность одного из противоречивых суждении определяется с некоторой степенью правдоподобия. При анкетировании, голосовании и пр. применение закона требует учета ситуации и особенностей предметной области.

Закон тождества устанавливает требование определенности мышления: употребляя в процессе размышления термин, мы должны понимать под ним нечто определенное. Поэтому, в рассуждениях необходимо оставлять понятия и суждения теми же самыми по содержанию и смыслу. Это требование сохраняется, если каждое преобразование аннулируется ему обратным образом (нулевое преобразование). Например, операция 2+5=7-5=2.

Неизменность мысли в ходе рассуждения фиксируется формулой А есть А или А≡А, или не А есть не А. Объективное основание закона находится во временном равновесии, покое какого-либо тела или процесса.

Даже постоянное движение, изменение позволяет опознавать и идентифицировать объекты. Это объективное свойство вещи, события сохранять тождественность, одно и то же качество, должно быть отражено мышлением, которое должно схватить постоянство предмета. Закон тождества требует, чтобы понятия и суждения носили однозначный характер, без неопределенностей и двусмысленностей. В разговорах, спорах и дискуссиях, нередко, одно и то же слово употребляется для выражения различных мыслей, когда родные и близкие по смыслу понятия выражаются одинаковыми словами или словосочетаниями.

Это ведет к употреблению их в разных значениях, где что требование закона нарушается, при допущении следующих ошибок.

Амфиболия – двусмысленность языковых выражений или незамеченная многозначность. Так в софизме: «Рогатый» – тот, кто не потерял рога, имеет их. Ты не потерял рога, значит, ты имеешь их, значения «имел и не потерял» и «не имел и не потерял» нарушают закон тождества, хотя и создают видимость правильного рассуждения. Другое значение этой ошибки – подмена тезиса, и студенту важно показать, в каких случаях ее использует недобросовестный оппонент. Подмена понятия, или эквивокация, показывает, что под видом данного понятия используется одно и то же слово в разных значениях. Например, – каждая война справедлива, интервенция – это война, следовательно, война справедлива. Здесь термин война употребим в разных значениях.

Студенту важно усвоить, что нормативное требование закона: отражение предмета должно быть устойчивым, прочным в нашей мысли. При этом мысль должна сохранять свое содержание на протяжении всего рассуждения о предмете, ибо, по Аристотелю, невозможно ничего мыслить, если не мыслить каждый раз что-нибудь одно.

Закон достаточного основания требует, чтобы всякая истинная мысль была обоснована другими истинными мыслями. Ложные мысли не могут быть обоснованы. Несмотря на некоторую противоречивость взглядов на природу закона, его общепринятая формула: … если есть следствие В, то его основание – А. Закон выражает необходимость обоснованности мышления, в котором отражена причинно-следственная связь: одно из коренных свойств материального мира.

Только на этой основе всякое положение, которое необходимо считать достоверным, должно быть доказано. Для этого должны быть известны достаточные основания, в силу которых оно считается истинным. Достаточным основанием могут быть: мысль, которая проверена практикой, научные определения и аксиомы, достоверные факты и личный опыт. Студенту важно обобщить знание законов логики и неуклонно применять их на практике, чтобы результаты мыслительной деятельности были лишены противоречий, истинны, обоснованны и подтверждены опытом человечества, закрепленном в законах науки.

КОНТРОЛЬНЫЕ ВОПРОСЫ:

Что такое основной и неосновной формально-логический закон?
Кто и как впервые сформулировал эти законы?
Какие объективные тенденции отражают законы формальной логики? Какова сфера их действия?
Каково содержание и сфера действия основных законов логики?
Какие ошибки в мышлении возможны при неправильном применении законов логики?

3. ПОНЯТИЕ КАК ФОРМА МЫШЛЕНИЯ

1. Сущность и структура понятия.

2. Закон обратного соотношения содержания и объема понятия.

3. Отношения между понятиями.

Способность познавать внешний мир посредствам идей, отражающих предметы в их общих и существенных признаках, создает общезначимую логическую форму мышления – понятие. Без понятия нельзя сформулировать законы и выделить предметную сферу науки. Понятие помогает выделить определенные классы вещей и отличить их друг от друга. Понятие выступает как результат абстрагирования, то есть мысленного выделения существенных свойств вещей и их обобщения посредством отличительных признаков.

Признаками называются черты сходства или несходства (различия) предметов. Сходные признаки именуются общими, в них находит выражение тождество предметов в некотором отношении. Термин “признак” обозначает то, в чем предметы связаны друг с другом или отличны один от другого. Роль признаков выполняют качества, свойства, связи и отношения. Признаки делятся на простые и сложные, положительные и отрицательные. Положительными и отрицательными являются только простые признаки. Например, простой положительный признак – быть туристом и наоборот – не быть туристом. Понятия делятся на единичные, в которых мыслится один предмет (студент Иванов, парламент России), и общие, о множестве однородных предметов с одинаковыми признаками (студент, турист, менеджер).

Общие понятия делятся на регистрирующие, то есть конечные по объему (студент второго курса, участник тур поездки), перегистрирующие и не собирательные. Анализ признаков и характеристик это первый этап образования понятий. Так, в различных формах власти : монархии, демократии, олигархии есть сходные признаки власти должности и личной власти, как способность влиять на кого-то в целях изменения его поведения. Нулевые понятия представляют собой классы реально не существующих предметов, например человек, являющийся туристом и никуда не передвигающийся. Понятие самопротиворечиво, поскольку ему ничего не соответствует.

В мышлении народа понятия образуются благодаря восприятию и переработке в них существенных свойств объектов. Затем эти широкие и нечеткие понятия сводятся к узким и разграниченным. Так из понятия власть образовались понятия: форма правления, монархия, охлократия.

В этом процессе используются логические приемы: абстрагирование, сравнение и обобщение. Например, в ходе сравнения устанавливается мысленное сходство или различие объектов по существенным и несущественным признакам. Так существенные признаки менеджмента позволяют выделить его из совокупности управленческих операций.

Понятие, как логическая форма мышления, имеет свою структуру, которая включает два основных элемента: содержание и объем. Содержание понятия это его главная логическая характеристика или мысленное отражение совокупных признаков, которые отличают предмет или класс предметов.

Содержание понятия “валовый национальный продукт’ включает два основных признака: - быть общим показателем социально-экономического развития и, второе, отражать конечные результаты деятельности. Содержание делится на фактическое и логическое, где первое это реальная совокупность предметов, на основе которой идет обобщение и выделение признаков предметов в понятии.

Логическое содержание это понятие о несуществующем предмете. Эти понятия абстрактны и служат для развития науки и практика (мировой эфир, термоядерная электростанция, общество всеобщего изобилия). Объем понятия это отражение класса или множества предметов, обладающих признаками, составляющими содержание понятия. В объеме понятия “туризм” зафиксированы все виды активного, динамичного отдыха.

Содержание и объем понятия находятся в обратном отношение. Если увеличивается объем понятия, то соответственно уменьшается его содержание и наоборот. Содержание понятия туризм уже понятий конный туризм, внутренний туризм, поскольку содержит меньше признаков. Студенту важно научиться более точно или содержательно выражать мысль, что необходимо при общении с клиентами и обработке документов.

Отношения между понятиями по их объему хорошо просматриваются по схеме:

Совместимые : Несовместимые

1. Равнообъемные: А – Коммерция 1. Соподчинение

В - Предпринимательство А – политика

В – экономическая

политика

С – национальная

политика

2. Перекрещивание А - Инженер 2. Контрарность –

В – Изобретатель противоположность:

старый – молодой

3. Подчинения А- Турист 3.Контрадикторность -

В – Пеший турист противоречие:

знающий - незнающий

Взаимосвязь предметов материального мира влияет и на отношения понятии. Те понятия у которых нет общих признаков называются несравнимыми.

Сравнимые понятия делятся на совместимые и несовместимые.

Совместимые понятия имеют полное или частичное совпадение объемов. У них нет признаков, которые это запрещают. Совместимость включает:

Равнообъемность, где мыслится один и тот же предмет. Объемы понятии полностью совпадают: агент, брокер, дилер;

Пересечение, где характеризуется частичное совпадение объемов и наличие ряда общих признаков;

Отношение подчинения, где объем меньшего, подчиненного понятия входит в состав большего по объему, подчиняющего понятия: доллар – валюта.

Несовместимые понятия имеют отношения: соподчинение (координация), где в общее родовое понятие входят два или более понятий: акции простые, акции привилегированные;

Противоположность (контрарность), где одно из понятий отрицает признаки другого понятия;

Противоречия (контрадикторность), где одно из понятий содержит некоторые признаки, а другие их отрицают.

Специалисту важно знать, что отношения между понятиями используются во всех сферах знания и деятельности, где требуется предельно точно выразить смысл действия, при обработке документации и составлении обзоров, схем и диаграмм.

КОНТРОЛЬНЫЕ ВОПРОСЫ:

Каков смысл понятия как логической формы мышления?
Каковы соотношения между содержанием и объемом понятия?
Какие бывают виды понятий?
ЛОГИЧЕСКИЕ ОПЕРАЦИИ С ПОНЯТИЯМИ.
Определение понятий.
Деление понятий.
Обобщение и ограничение понятий.

Определением называется логическая операция, которая позволяет отличить изучаемый предмет от других предметов и установить значение того или иного слова или термина. Для раскрытия содержания определения важно понимать характер логической операции, которая направлена на выполнение определенной задачи и фиксирует связь мыслей. В определении главным является раскрытие содержания предмета с помощью уже известных понятий. Например, - акциз это вид косвенного налога на продукты массового потребления.

При этом определяемое понятие обозначается как дефиниендум, то при помощи чего определяется - дефиниенс. Важность определения подчеркивал Сократ, называя это майевтикой, искусством рождения истины в споре. При этом определение отвечает на вопрос: что это?

В зависимости от того, что определяется, сам предмет или его обозначение, определения бывают реальными и номинальными.

Реальные это определения предметов, то есть того, что представляет собой предмет. Например, туристический комплекс это совокупность зданий и служб для удовлетворения потребностей туристов.

Номинальные – обозначают то или иное слово, или выражение. Номинальные определения более просты и удобны, используют слова “называется”, “называют”. Например, экономикой называют науку о способах хозяйствования. Номинальные определения помогают раскрыть происхождение терминов.

Определения бывают явные, в которых дефиниендум и дефиниенс равны. Наиболее распространенным методом явного определения, известным со времен Аристотеля, является определение через ближайший род или класс предметов. К этому роду относится определяемый нами вид. Такое определение содержит указание на класс предметов, среди которых требуется выделить нужный предмет. Необходим и признак, посредством которого он выделяется из данного класса.

Сущность определения состоит в указании на ближайший род, видом которого выступает определяемое нами понятие. Например, кибернетика есть наука об управлении сложными динамическими системами. Специфический видовой признак может быть задан и другими способами. Но он должен соотносится с ближайшим родом. Так в генетическом определении отличительный видовой признак показывает характер происхождения или образования понятия: окружность - замкнутая кривая, образованная движением точки.

При работе с понятиями следует иметь в виду правила явного определения и возможные ошибки.

Определение должно быть соразмерным, то есть дефиниендум и дефиниенс являются равнообъемными. При этом следует избегать ошибки чрезмерно широкого определения, когда объем определяющего понятия шире объема определяемого. Например, ярмарка – это торг. Ошибкой является и узкое определение, когда дфд. меньше дфнс. Например, ярмарка – это временный торг для определенных лиц.
Определение не должно содержать круга, тавтологии или фиксации того же, через то же.
Определение должно быть четким, ясным и недвусмысленным. Оно должно определятся через известное, не содержать метафор и отрицания. Например, повторенье – мать ученья, и т.д.

В науке и практической деятельности широко применяются неявные определения. К их видам относятся:

Семантическое определение, где определенному обозначению соответствует предмет, через описание его признаков. Например, пеший турист определяется через передвижение, снаряжение и пр.

Синтаксическое определение описывает предмет через правила оперирования с ним: о – число, умноженное на другое число, дает о.

Контекстуальное определение выясняет содержание незнакомого слова по смыслу целостного текста или речи. Контекст здесь это рассуждение в целом.

В остенсивных определениях значения слов выясняют путем показа предметов.

С определением понятий тесно связана операция деления понятий . Если с помощью определения раскрывается содержание понятия, то с делением более полно характеризуется его объем.

Поскольку объем понятия представляет известный класс предметов, то в ходе деления выясняется из каких подклассов состоит исходный универсум.

Деление конкретизирует знание о предметах, соответствующих делимому понятию.

Главное условие: деление должно производится по единому признаку или основанию деления. Объем понятия, который подлежит делению, называется объемом делимого понятия, а результат членами деления. Например, понятие студент делится на понятие студента гуманитарного и студента технического вуза. Отношение класса и подкласса, рода и вида понятия фиксирует таксономическое деление. Таксономия это расположение по порядку. Это систематизирует отношение понятии, распределяет их на виды по каким-либо основаниям.

Таксономическое деление идет: по видовому признаку, дихотомическим путем и классифицированием.

Деление по видовому признаку требует четкого распределения родового понятия на виды при соблюдении соразмерности деления, где объем делимого понятия должен быть равным сумме объемов членов деления. Например; понятие туризм делится на внутренний и международный. Ошибкой является отсутствие некоторых членов деления или лишние мнения в этом процессе. Деление производится по одному основанию. При двух и более основаниях происходит перекрещивание объемов членов деления.

Члены деления должны полностью исчерпать объем делимого понятия, быть непрерывными. То есть члены деления должны быть соподчиненными понятиями. В рамках дихотомического деления происходит выделение двух противоречащих видовых понятий. Оно проводится только по одному основанию, например, предприятия работают убыточно или безубыточно, и применяется при необходимости установления видовых понятий. Оно всегда соразмерно, так члены деления исключают друг друга.

Классификация является распределением предметов по классам согласно сходству и различию между ними. В отличии от деления, классификация идет только по существенным признакам и служит для систематизации знаний. В результате каждый объект попадает в точно указанный класс. Мереологическая классификация позволяет расчленить сложный объект на его составные части. Например, предприятие делится на директорат, производственные подразделения и вспомогательную службу.

Классификации бывают научными, искусственными и вспомогательными.

Операции обобщения и ограничения понятия позволяют существенно уточнить его объем. Логическая операция обобщения понятий это переход от видового понятия к родовому, с большим объемом, но меньшим содержанием. Пример: освободительная война – война. Предел обобщения по объему – философские категории.

Ограничение понятия – операция обратная обобщению, где переход от родового понятия к видовому сопровождается дополнением первого родом видообразующих признаков. Например, летательный аппарат – самолет. Предел ограничения единичное понятие. Операции ограничения и обобщения основаны на законе обратного соотношения между объемом и содержанием понятия.

Уяснение студентом понятий и логических операций позволяет правильно отражать и истолковывать явления, содержательно и точно составлять различную документацию.

КОНТРОЛЬНЫЕ ВОПРОСЫ:

Каковы основные виды отношений между понятиями по содержанию и по объемам?
Какие логические операции проделывают с понятиями?
Каковы возможности ошибки операции определения?
Каковы правила деления и возможные ошибки?

5. СУЖДЕНИЯ, ИХ ВИДЫ И ОТНОШЕНИЯ МЕЖДУ НИМИ.

Сущность, структура и виды суждении.
Распределенность терминов в простых категорических суждениях.
Отношения между основными видами атрибутивных суждений. Логический квадрат.
Логические связи в сложных суждениях.

Мысль доступна другим людям при её выражении в языковой форме. Формой выражения высказываний являются предложения. Но не всякое предложение – высказывание /суждение/. Вопрос или просьба не несут в себе утверждения или отрицания чего-либо.

Поэтому языковой формой суждения является повествовательное предложение, в котором утверждается или отрицается связь между предметом и его признаком, отношения между предметами или формой их существования.

Суждения атрибутивны, если в них утверждается или отрицается связь между предметом или его признаком, отношения предметов или формы их существования. Поэтому суждения либо истинны, либо ложны. Суждения раскрывают смысл понятий через их связь друг с другом, в качестве элементов целого. Если в понятии выражается предметный характер мышления, то в суждении реализуется активное отношение человека к окружающей среде. В нем фиксируются, в первую очередь, связи и отношения между предметами и их свойствами.

Выражая отношения между индивидами, суждение реализует коммуникативную функцию с целью сообщения и получения новой информации. Для этого, по мысли И. Канта, необходимо в познавательном и коммуникативном процессах использовать и проявлять силу суждения.

Логика выделяет в структуре суждения субъект, предикат, связку и квантор. Субъект это логическое подлежащее или понятие о предмете суждения. Субъект обозначается буквой S, и обозначает новое знание, которое необходимо доказать. Предикат суждения это понятие о признаке предмета, которое обозначает известное знание. Обозначается буквой Р. Предикат должен быть более известен, чем субъект, менее проблематичен, должен признаваться всеми участниками. Например, менеджмент (S) это наука об управлении персоналом (Р).

Связка это отношение между предметом мысли и его свойствами, выражается союзами (есть, суть, неверно: либо, либо) и простым согласованием слов.

Квантор, это слово, которое указывает, относится ли суждение ко всему объему понятия, выражающего субъект, или к его части. Выражается словами: «все», «ни один», «некоторые» и т.д. Например «Все туристические маршруты должны быть интересными».

Все элементы суждения влияют на качественную и количественную характеристику суждений и их виды. Они могут, быть простыми и сложными, глубокими и поверхностными, краткими и многосложными. В самом общем смысле суждения делятся на ассерторические (суждения действительности) – в которых говорится о наличии (отсутствии) у предмета какого – либо признака. Термин «ассерто» (уверен) указывает, что у предмета А есть свойство В. Сложное ассерторическое суждение состоит из нескольких простых.

Аподиктические (суждения необходимости) – отображают признак, необходимый при всех условиях.

Юрист должен мыслить логично. Мир познаваем.

Проблематические (суждения возможности) – отображают вероятность наличия или отсутствия у предмета того или иного признака.

Последние два вида суждения широко рассматриваются в математической логике.

В каждом суждении имеется качественная и количественная характеристика. Термин «качество» употребляется в логике исключительно для характеристики наличия или отсутствия свойств у предмета, например: некоторые студенты изучают логику.

По качеству суждения бывают утвердительные или отрицательные. В утвердительных суждениях говорится о наличии свойства у предмета или принадлежности предмета субъекту, то есть S есть Р.

Например, все туристы путешественники.

Отрицательные суждения говорят об отсутствии свойств у предмета, т.е. S не – есть Р, или S есть не – Р.

Например, некоторые предприниматели – неинженеры.

Количество суждений означает полный или частичный класс предметов, которые мыслятся в суждении. Некоторые фирмы работают прибыльно.

По качеству и количеству простые категорические суждения делятся на

Общеутвердительные суждения – общие по количеству и утвердительные по качеству, формулировка суждения: Все S суть Р. Обозначаются буквой А.

Общеотрицательные – общие по количеству и отрицательные по качеству. Формулировка суждения: ни одно S не есть Р. Обозначается буквой Е.

Частноутвердительные – ограниченные по количеству и утвердительные по качеству. Формула: некоторые S есть Р. Обозначаются буквой J.

Частноотрицательные суждения – ограниченные по количеству и отрицательные по качеству. Формула: некоторые S не есть Р. например: некоторые студенты не знают логику. Обозначаются буквой О.

Буквы А, Е, J, О обозначая виды суждений, позволяют экономно строить мысль.

Чтобы лучше понимать смысл суждений, их преобразовывать и строить истинные умозаключения и важно знать как относятся субъект и предикат данного суждения. Относятся ли в полном объеме или только некоторой части своего объема. Для выражения объемных отношений субъекта и предиката используется операция распределения терминов в суждении.

Термин считается распределенным, если его объем полностью включен или полностью исключен из объема другого термина. Термин нераспределен, если его объем частично включается в объем другого термина или исключается из него.

В суждении «Все инженеры – творцы», субъект распределен, так как объем понятия «инженер» входит, в объем понятия «творцы». Предикат «творцы» не распределен. Распределенность терминов в суждениях отражена в таблице:

Соблюдается правило: субъект распределен в общем предикате в отрицательном суждение. Кроме отношения между терминами в одном суждении, следует иметь в виду отношения между различными видами атрибутивных суждений.

Для студентов важно по учебной литературе подобрать примеры и характеристики сравнимых и несравнимых суждений. Отношения между сравнимыми суждениями хорошо прослеживаются на основе логической схемы (логического квадрата):

Контрадикторные

Операции превращения и обращения связаны с анализом внутренней структуры суждения и связи между высказываниями.

Непосредственные умозаключения из одной посылки это категорическое суждение AEJO. Непосредственными умозаключениями являются превращенные и обращенные категорические суждения.

Превращения категорического суждения это изменение его качества одновременно с заменой предиката на противоречащий ему термин. Это

А все S суть Р________ J некоторые S суть Р

Ни одно S не суть не Р некоторые S не суть не Р

Е ни одно S не суть Р О некоторые S не суть Р

Все S суть не Р некоторые S суть не Р

Некоторые птицы не водоплавающие

Некоторые птицы живут не в воде

Обращение категорического суждения заключается в перемене местами субъекта и предиката.

А все S суть Р________ обращается с ограничением

Некоторые Р суть S

Все птицы летают

Некоторые летающие – птицы

J некоторые S суть Р Е ни один S не суть Р

Некоторые Р суть S ни один Р не суть S

О. Частноотрицательные суждения не обращаются

Некоторые S не суть Р некоторые студенты не изучают логику

Некоторые Р не суть S

КОНТРОЛЬНЫЕ ВОПРОСЫ:

Какова структура и виды атрибутивных суждений?
Какие отношения между суждениями выражаются посредством логического квадрата?
В чем суть логических операций превращения, обращения и противопоставления?

УМОЗАКЛЮЧЕНИЕ: СУЩНОСТЬ И СТРУКТУРА

Все знания о мире делятся на непосредственные (эмпирические) и опосредованные (выводные). В первом случае это результат непосредственного изучения окружающего мира. Но большая часть знаний получается опосредованно, выводным путем, путем логической обработки опытного материала.

Например, зная, что все продукты, изготовленные для продажи – товар, а машина – тоже продукт, делаем вывод о ее товарном характере. Вывод об этом свойстве получается путем умозаключения, с помощью которого из содержания исходных суждений извлекается новое знание.

Итак, умозаключение – это форма мышления, посредством которой из одного или нескольких определений, истинность которых доказана, с необходимостью выводится суждением, несущее новое знание. Структура умозаключения содержит посылки и вывод или заключение.

Посылки – это суждения, из которых делается вывод. Они содержат известное знание и должны быть истинными. Вывод (заключение ) – новое суждение, полученное из посылок в ходе умозаключающей деятельности.

ВИДЫ УМОЗАКЛЮЧЕНИЙ:

При получении истинного вывода необходимо строго руководствоваться нормативными требованиями мышления с учетом характера фигур, правил терминов и посылок умозаключения:

Правила терминов:

Из двух отрицательных посылок нельзя сделать вывода.
Из двух частных посылок нельзя сделать вывода.
Если одна из посылок отрицательная, то и заключение отрицательное.
Если одна из посылок частная, то заключение частное.

Модус, или вид, это качественные и количественные разновидности посылок и вывода из них. Всего из 256 модусов – 19 правильных. Модус характеризует соблюдение правил и истинности вывода.

Правильные модусы:

1 фигура: ААА, ЕАЕ, АJJ, EJO.

2 фигура: AEE, AOO, EAE, EJO.

3 фигура: AAJ, EAO, JAJ, OAO, EJO.

4 фигура: AAJ, AEE, JAJ, EAO, EJO.

При характеристике сложных, развернутых силлогизмов следует обратиться к соответствующим разделам учебной литературы. Следует обратить внимание на виды полисиллогизма (прогрессивный и регрессивный силлогизм) и его разновидность – сорит. При их характеристике необходимо подчеркнуть, что они способствуют более быстрой переработке информации и решению задач, упрощают процесс оценки обстановки и принятия решения.

Энтимема (в уме) – сокращенный категорически силлогизм, в котором пропущена посылка или заключение, когда не требуется высказывать известные истины. Например: Все студенты должны добросовестно учиться, а ты студент.

Пропущено заключение…. Все студенты должны добросовестно учиться.

Ты - студент

Ты должен добросовестно учиться.

При анализе дедуктивной логики, позволяющей получить частный вывод на основе одной общей и одной частной посылок, студенту следует обратить внимание на требования Аристотеля к структуре и правилам вывода силлогизма. Типичной формой дедукции является простой категорический силлогизм, в котором из двух категорических суждений (посылок), связанных общим термином, получается новое суждение – вывод.

Все студенты (S) знают логику (Р).

Иванов (S) – студент (Р)

Иванов (S) – знает логику (Р)

Посылки связаны общим термином – студенты (М – медиум, посредник). М. – входит в посылки, но отсутствует в заключении. В выводе предикат (знает логику) шире субъекта по объему. Поэтому предикат вывода – больший термин, а субъект вывода – меньший термин. Соответственно, посылки в которые входят больший и меньший термины, называются большей посылкой и меньшей посылкой. В зависимости от положения среднего термина зависит качественный и количественный характер вывода. Существуют четыре положения среднего термина, что соответствует четырем фигурам категорического силлогизма:

Например, во второй фигуре:

Ни одна книга (Р) не есть периодическое издание (М).

Журнал (S ) – периодическое издание (М)

Журнал (S) не является книгой(Р).

Студенту следует разобрать и запомнить особые правила терминов и посылок простого категорического силлогизма.

Правила фигур включает:

I фигура: большая посылка – общая, меньшая утвердительная.

II фигура: большая посылка – общая, одна из посылок – отрицательная

III фигура: меньшая посылка – утвердительная, заключение частное.

IV фигура: общеутвердительного заключения не дает.

Более глубокое представление о содержании дедуктивной логики дают по характеру посылок и выводов дают условные, условно – категорические и разделительные силлогизмы. В условном умозаключении обе посылки и вывод – условные суждения. Его структура: «Если А, то В».

Условно – категорическое умозаключение содержит одной из посылок условное суждение, другой – простое категорическое суждение. Достоверное заключение, с необходимостью следующее из посылок дает утверждающий и отрицающий модусы. Его схема: Если А, то В. А

Отрицающий модус позволяет строить достоверные умозаключения от отрицания следствия и отрицанию основания. Например: Если А, то В. не В.

Если студент знает логику, то он правильно мыслит.

Студент неправильно мыслит.

Студент не знает логики.

Вероятный вывод дают умозаключения, где мысль движется в направлении обратном утверждающему модусу или обратном отрицающему модусу.

В разделительном силлогизме одна из посылок должна быть разделительным суждением. В умозаключении по утверждающе – отрицающему модусу производится отрицание последством утверждения.

Наука бывает фундаментальной или прикладной.

Данная наука - прикладная

Следовательно, данная наука не может быть фундаментальной.

В разделительном силлогизме по отрицающие – утверждающему модусу утвержение производится путем отрицания. Например А или В. не – А.

Кроме того, студенту следует обратить внимание на условно – разделительное умозаключение, где одна посылка условная, другая разделительная. Это умозаключение называют лематическим (предположительно слепым). Оно может быть дилеммой, трилеммой и т.д.

КОНТРОЛЬНЫЕ ВОПРОСЫ:

Какие бывают виды умозаключений?
Какие правила вывода действуют в простом категорическом силлогизме?
Что такое модус простого категорического силлогизма?
Что такое полисиллогизм, какова его структура и разновидности?
Какие бывают виды и какова структура сложных силлогизмов?

7. ИНДУКТИВНЫЕ И ТРАДУКТИВНЫЕ УМОЗАКЛЮЧЕНИЯ.

Индуктивные умозаключения являются разновидностью выводного знания при его движении от фактов к обощениям. Индуктивные умозаключения образуются в ходе практической деятельности, при сравнении однородных явлений и поиске их общей причины. Индукция – это умозаключение от знания меньшей степени общности к знанию большей степени общности. Схема индуктивного мышления.

Предметы А,В,С,D имеют признак Р

Предметы А, В, С, D принадлежат классу S

Следовательно все S есть Р

Основанием индуктивного мышления служат объективные, закономерные связи и отношения, где предметы должны быть однотипными (одного класса). В индуктивном умозаключении даже из достоверных посылок, вывод, как правило, вероятностный.

Различается полная, неполная и математическая индукция. В рамках полной индукции вывод о свойствах класса предметов делается на основании изучения его отдельных частей. Неполная индукция дает знание о классе предметов на основании изучения части предметов данного класса.

Схема индуктивного умозаключения: Неполная индукция включает:

А 1 имеет признак В 1.Популярную (энумеративную)

А 2 имеет признак В 2.Научную (элиминативную)

н 3.Статистическую

А н имеет признак В

А 1 , А 2 ,…..Ан имеют признак В

Если в популярной индукции объекты выбираются случайно, то в научной изучаются планомерно, наиболее типичные, на основе контрольных партий и замеров. Это позволяет сделать научное заключение о необходимых причинно-следственных связях и законах. Статическая индукция – это умозаключение от выборки (модели), к совокупности явлений, тенденций. Это перенос относительной частоты появления признака на более широкий класс явлений. Изучение случайных массовых явлений (банкротство), непредсказуемых в частностях, показывает их наступление в числовых пропорциях целого (вероятность банкротства). Математическая индукция говорит о свойствах бесконечно больших множеств без проверки вывода бесконечно много раз. На этой основе установлены законы, формулы арифметической прогрессии и другие.

Повышению степени вероятности и истинности индуктивных умозаключений служит ряд методов. С их помощью индуктивная логика устанавливает причинно-следственные связи при различных условиях протекания явлений. К уточненным и классифицированным Д.С. Миллем относятся методы: сходства, различия, сопутствующих изменений, остатков и др. Метод сходства основан на поиски общего фактора исследуемого явления, при различных условиях его обнаружения. Исключая из этих условий исходные признаки можно выявить общий фактор, который и будет причиной данного явления.

Формула метода и сходства гласит, что если:

При условии А, В, С возникло явление Q

При условии А, К, L возникло явлении Q

При условии А, Р, Q возникло явлении Q

Вероятно А есть причина Q

Метод различия указывает, что если наличие или отсутствие признака вызывает или устраняет явлении, то этот признак причина явления. Так если:

При условии А, В, С, D происходит явлении d

При условии А, В, С отсутствует явление d

Вероятно D есть причина d

Метод сопутствующих изменений говорит о соответствии одних изменений и величин других. Изменение предшествующего обстоятельства есть либо его следствие, либо находится с ним в причинном отношении.

При условии А, В,С,D существует явление Q

При условии A1,B,C,D существует явление Q1

Следовательно, обстоятельство А есть причина Q

Важно знать, что этим методом установлены: величина урожайности в зависимости от климатических изменений, расширение тел от нагревания и др.

При характеристике этих и других методов студенту важно избежать ряда ошибок, наиболее характерных для индуктивных умозаключений. К таким ошибкам относятся: поспешность обобщения без достаточного основания, подмена причинной связи некими внешними явлениями, подмена условного безусловным в форме поспешного обобщения без учета места, времени и прочее.

Использование самостоятельно осмысленных и творчески переработанных правил мышления для специалиста основа успеха в практической деятельности.

КОНТРОЛЬНЫЕ ВОПРОСЫ:

Что такое индукция и каковы ее виды?
Какова познавательная роль индукции?
Какие методы используются при установлении причинных связей в индуктивных умозаключениях?
Какова сущность традукции – умозаключения по аналогии?
Каковы условия повышения вероятности вывода в традуктивных умозаключениях?

8. АРГУМЕНТАЦИЯ И ДОКАЗАТЕЛЬСТВО

Уменние и потребность обоснованно доказывать положения и суждения в ходе полемики, беседы и других форм общения важный показатель правильного мышления и профессиональной компетентности. При этом студенту важно понять, что содержание логического знания необходимо для овладения искусства аргументации и рационального убеждения.

Доказательство – это логический прием обоснования истинности суждения с помощью других истинных суждений. Содерожание доказательства включает в себя тезис, основание (аргументы) и форму доказательства или демонстрацию. Тезис – это суждение или положение, истинность которого требуется доказать. Аргументы (основания) – это способ доказательства, может принимать форму различных умозаключенийц, например, дедуктивных: a l (M-P)

Для доказательства используются также индуктивные умозаключения и аналогии, например, a l (А имеет признак КМР)

а 2 (В имеет признак КР)

Тезис, следствие В, возможно, имеет признак М.

По способам доказательство делится на прямое, косвенное и генетическое. Прямое доказательство использует неоспоримые факты, а также обоснование аргументами истинности тезиса. Это ответы на экзаменах, научные споры, доказательство в суде и другое. В тоже время юридические доказательства, с опорой на факты, являются частными суждениями и из них нельзя получить дедуктивного умозаключения. В косвенном доказательстве вначале доказывают антитезис и, убедившись в его ложности, доказывают истинность тезиса. Антитезисом могут выступать одно или несколько суждений. В зависимости от этой структуры антитезиса косвенные доказательства делятся на: апагогические (от противного) и разделительные.

В первом случае путем опровержения антитезиса доказывается истинность тезиса. Этот путь часто используется в математике, когда в теореме о непересекаемости двух перпендикуляров к одной прямой допускается их пересечение. Антитезис показывает возможность опущения из одной точки на прямую двух перпендикуляров, что противоречит аксиоме об одном перпендикуляре на прямую из одной точки. Антитезис ложен, следовательно, истинен тезис.

Разделительное доказательство основано на установлении истинности тезиса путем последовательного исключения всех элементов разделительного суждения или гипотез, кроме одного, достаточного аргумента.

А есть или В, или С, или D – применяется отрицающе утверждающий.

А не есть В модус разделительно-категорического силлогизма.

А не есть С

На практике это сужает круг лиц какого-либо происшествия или ситуаций, ведущих к нему.

Генетическое доказательство применяется при установлении происхождения и развития термина концепции в научных и исторических исследованиях. Для практики особенно важно убедиться в их истинности на основе подлинных источников. При этом для студента важно понять, что нормой доказательства являются:

Умение применять все виды доказательства

Использовать только истинные тезис и аргументы

Опираться на подлинные факты, имеющие отношение к тезису

Не применять неясных, двусмысленных и противоречивых тезисов и аргументов

Способы доказательства должны соответствовать законам логики, чтобы не появились возможные ошибки

К логическим ошибкам, вследствие неправильного использования правил доказательства и опровержения относятся паралогизмы, софизмы и парадоксы.

Паралогизм, или неправильное рассуждение, появляется вследствие неправильного вывода, незнания предмета или законов логики.

Софизм – это преднамеренная ошибка, сознательное нарушение правил логики, рассчитанное на ввод противника в заблуждение, стремление выдать ложь за истину. Это «кривая речь» или «мнимая мудрость» Если паралогизмы возникают случайно, то софизмы это нарушение правил и сознательное отвлечение внимания от главного утверждения.

Софизм: «Вор не желает приобрести ничего дурного.

Приобретение хорошего, есть дело хорошее.

Следовательно, вор желает хорошего» скрывает истинное значение понятия «приобретение».

Парадокс – это необычное явление или высказывание, которое резко расходится с действительностью. Они возникают из-за неясности, противоречий исходных принципов и норм познания. Таков классический парадокс «Что я говорю – ложно». Решение парадокса требует выхода за уровень данной системы рассмотрения объекта. В то же время парадоксы приводят к глубинным открытиям. Это создание теории иррациональных чисел, парадоксы теории множеств и многое другое.

В ходе общения важно не только умение отстаивать свои положения, но и опровергать позицию собеседника. Этому служит логический прием опровержения или разрушения доказательства путем установления ложности ранее выдвинутого тезиса.

Структура опровержения включает:

Тезис опровержения; суждение, которое необходимо опровергнуть

Аргументы опровержения, суждения, при помощи которых опровергается тезис

Демонстрацию – логическую форму построения опровержения

По аналогии с предыдущим материалом студент усваивает и рассматривает основные виды опровержений. Для этого, опираясь на дополнительную учебную литературу, студент подбирает примеры критики тезиса с помощью опровержения фактами, сведения к абсурду и доказательство антитезиса. Использование формулы сведения к абсурду показывает:

Если А есть В, то С есть D Ложность следствия ведет к

Но С не есть D ложности исходного тезиса.

Следовательно А не есть В

При доказательстве антитезиса (опровержения от противного) установление его ложности по закону исключенного третьего указывает на истинность тезиса.

При раскрытии приема критики аргументов следует обратить внимание на их прямое (косвенное) опровержение с помощью опыта и фактов или же через закон достаточного основания. То есть аргументы, требующие доказательства, не являются достаточными основаниями.

На ложность аргументов указывает их сомнительный источник.

Критика демонстрации говорит об ошибках в доказательстве, отсутствии логической связи между доказываемым тезисом и аргументами. При опровержении следует внимательно следить за соблюдением правил умозаключения. Истинности опровержения служит соблюдение ряда нормативных правил:

Противоположные положения не опровергаются без тщательного рассмотрения

Необходимо учитывать возможные ошибки наших аргументов

Следует сочетать прямые и косвенные методы опровержения

Кроме того, следует строго соблюдать правила по отношению к тезисам, аргументам и демонстрации.

КОНТРОЛЬНЫЕ ВОПРОСЫ:

В чем специфика и отличие доказательства от умозаключения?
Каковы структура и виды доказательств?
Каковы способы опровержения аргументов?
Каковы наиболее общие ошибки в доказательстве и опровержении?
Каково содержание паралогизмов, софизмов и логических парадоксов?

ЗАКЛЮЧЕНИЕ

В предложенном кратком учебном пособии сделана попытка ввести студентов в мир логики, что позволит получить начальные знания о культуре мышления и использовать их в практической деятельности.

ВОПРОСЫ ДЛЯ ЗАЧЕТА ПО ЛОГИКЕ

Каковы предпосылки возникновения логики?
Что собой представляет логическая форма мысли Как она появилась?
Что изучает формальная логика?
Каково практическое и теоретическое значение логики?
Каковы основные принципы диалектической логики?
Что обозначают законы формальной логики?
Что такое понятие. Каждое ли общее имя обозначает понятие?
Каковы основные виды признаков предмета?
Содержание и объем понятия, соотношение между ними?
По каким признакам понятия делятся на виды?
Каковы основные виды отношений между понятиями по содержанию и объему?
Каковы способы явного и неявного определения понятий?
Каково значение операции деления и классификации понятий?
Что такое суждение как логическая форма мышления?
Какова структура суждения?
Какие существуют виды суждений?
Как распределены термины в простых атрибутивных суждениях?
В чем сущность сложных суждений и их виды?
Как определяются отношения между сложным высказываниями?
Каковы виды сложных суждений?
Что представляет собой дедуктивное умозаключение?
Что представляет собой индуктивное умозаключение?
Что такое дедукция?
Что такое простой категорический силлогизм и какова его структура?
Правила терминов и их влияния на характер вывода?
Правила фигур и их влияние на характер вывода из них?
Что такое модусы простого категорического силлогизма?
Полисиллогизм, его сущность и структура?
Сорит и его виды?
Энтимема, ее основные черты?
Что такое индукция и в чем ее отличие от дедукции?
Каковы виды индукции?
Какова роль умозаключения по аналогии?
Роль аналогии в познавательной и практической деятельности?
Понятие, состав и виды аргументации и критика?
Что такое доказательство и какова его структура?
Прямое и косвенное доказательство и способы его осуществления?
Каковы основные ошибки в доказательстве и опровержении?
В чем смысл софизмов и логических парадоксов?
Каковы уловки в споре и способы их нейтрализации?

ОСНОВНАЯ ЛИТЕРАТУРА

Бочаров В.А., Маркин В.И. Основы логики.- М.,1999.
Гетманова А.Д. Логика. - М.,1995.
Григорьев Б.В. Классическая логика. - М.,1996.
Ивлев Ю.В. Логика. - М.,1997.
Ивин А.А. Логика. - М.,1999.
Кириллов В.И. Упражнения по логике. - М.,1999.
Светлов В.А. Практическая логика. - СПб.,1997.
Новиков О.А., Уваров С.А. Коммерческая логика. - СПб.,1995.
Рузавин Г.И. Логика и аргументация. - М.,1997.

ДОПОЛНИТЕЛЬНАЯ ЛИТЕРАТУРА

Берков В.Ф. Логика: задачи и упражнения, практикум. - Минск,1998.
Виноградова З.И. Логика научного управления. - М.,1998.
Гетманова А.Д. Логика: словарь и задачи. - М.,1998.
Градовой Д.И. Логика в предпринимательской деятельности и деловом общении. - М.,1998.
Ивин А.А.,Никифоров А.Л. Словарь по логике. - ,М.,1998.
Курбатов В.И. Логика. Ростов-на-Дону,1997.
Новиков О.А.,Уваров С.А. Коммерческая логика., СПб.,1995.

Логика для юристов: Учебник. Ивлев Юрий Васильевич

§ 2. ФОРМАЛЬНАЯ ЛОГИКА КАК НАУКА

§ 2. ФОРМАЛЬНАЯ ЛОГИКА КАК НАУКА

Чтобы дать определение логической формы мысли и указать способы выявления логических форм различных мыслей, выделим среди выражений естественного языка термины, называемые логическими. К ним относятся союзы “и”, “или”, “если..., то...”, отрицание “неверно, что” (“не”), слова, характеризующие количество предметов, о которых нечто утверждается или отрицается: “все” (“ни один”), “некоторые”, связка “суть” (“есть”) и др. Процесс выявления логической формы мысли заключается в отвлечении от смысла нелогических терминов, входящих в словосочетание, выражающее эту мысль. Сделать это можно различными способами. Например, опустить нелогические термины в словосочетании и поставить вместо них многоточия, штриховые и другие линии. В результате замены нелогических терминов многоточием и штриховой линией из предложения “Все адвокаты - юристы” получим выражение “Все... суть - - - ”.

Другой способ отвлечения от смысла нелогических терминов заключается в замене этих терминов особыми символами (переменными). При этом вместо различных вхождений одного и того же нелогического термина ставится одна и та же переменная, а вместо различных терминов - различные переменные. Кроме того, вместо терминов различных типов ставятся символы различных типов.

Выявим логические формы следующих рассуждений:

(1) Все студенты первого курса Юридического колледжа МГУ им. М.В.Ломоносова изучают логику.

Некоторые студенты первого курса Юридического колледжа МГУ им. М.В.Ломоносова будут специализироваться по гражданскому праву.

Следовательно, некоторые студенты, которые будут специализироваться по гражданскому праву, изучают логику.

(2) Следователь - юрист. Следовательно, образованный следователь - образованный юрист.

Заменив нелогические термины символами, получим:

(1) Все М суть Р. Некоторые М суть S. Следовательно, некоторые S суть Р.

(2) S есть Р. Следовательно, sq есть pq.

Этими выражениями представляются логические формы исходных мыслей.

Таким образом, логическая форма мысли - это ее структура, выявляемая в результате отвлечения от смыслов и значений нелогических терминов.

Логическая форма содержательна, информативна. Так, выражение, получаемое в результате отвлечения от смыслов и значений нелогических терминов первого рассуждения, несет следующую информацию: “Если все предметы класса М включаются в класс Р и некоторые предметы класса М включаются в класс S, то некоторые предметы класса S включаются в класс Р”.

Мысли можно подразделить на классы в зависимости от типов их логических форм. Основные из этих классов составят мысли, называемые понятиями, суждениями и умозаключениями.

Понятие - это мысль, в которой обобщены и выделены предметы на основе системы признаков, общей только для этих выделяемых предметов. Пример понятия: действие или бездействие, квалифицированное законом в качестве уголовно наказуемого (понятие преступления).

Суждениями называются мысли, в которых утверждается наличие или отсутствие каких-либо положений дел. Примеры: “Человек получил от Бога две блаженные способности - говорить правду и творить добро”; “Лучший способ изучить что-то - открыть это самому”.

Умозаключение - это процесс получения знания, выраженного в суждении, из других знаний, тоже выраженных в суждениях. Примерами умозаключений могут служить приведенные выше рассуждения (1), (2).

Между мыслями существуют связи, зависящие только от их логических форм. Такие связи имеют место и между понятиями, и между суждениями, и между умозаключениями. Так, между мыслями логических форм “некоторые S суть Р” и “некоторые Р суть S” существует следующая связь: если истинна одна из этих мыслей, то истинна и вторая, независимо от того, каково нелогическое содержание этих мыслей.

Связи между мыслями по формам, при которых истинность одних из этих мыслей обусловливает истинность других, называются формально-логическими законами, или логическими законами.

Связь между мыслями в рассуждении (1) представляет собой логический закон. Чтобы установить, является ли связь между некоторыми исходными высказываниями и высказыванием, получаемым в результате рассуждения, логическим законом, необходимо вместо нелогических терминов подставлять в эти высказывания произвольные термины тех же типов и при этом всякий раз выяснять, окажется ли истинным получаемое высказывание при истинности исходных. Если всегда обнаруживается такая зависимость истинности высказываний, то связь между ними представляет собой логический закон. Если находится контрпример, то закономерной связи нет, и рассуждение не является правильным. Так, приведенное выше рассуждение “Следователь - юрист. Следовательно, образованный следователь - образованный юрист” является неправильным. Контрпримером для него может служить явно неправильное рассуждение:

Муха - животное. Следовательно, крупная муха - крупное животное.

В современной логике разработаны более простые и более продуктивные методы выявления закономерной связи между мыслями. Эти методы излагаются в главе "Умозаключение".

Имея понятия логической формы и логического закона, можно дать определение формальной логике.

Формальная логика - это наука о формах мышления, о формально-логических законах и других связях и отношениях между мыслями по их логическим формам.

Исследуя необходимые связи между мыслями по логическим формам - логические законы, логика формулирует утверждения об истинности всех высказываний определенной логической формы. Эти утверждения тоже называются законами, но в отличие от логических законов (связей, существующих независимо от того, знаем мы о них или нет) - законами (науки) логики. Например, установив, что всегда, когда истинны мысли форм “Все М суть Р” и “Все М суть S”, истинна мысль формы “Некоторые S суть Р”, можно сформулировать закон логики: “Для любых S, Р и М верно, что если все М суть Р и все М суть S, то некоторые S суть Р”. Законы логики, после того как они сформулированы, выступают в качестве норм, в соответствии с которыми должны осуществляться рассуждения. В логике разрабатываются также требования другого рода, которые рекомендуется выполнять в процессе познания. Формальная логика, таким образом, является нормативной наукой о формах, законах и приемах интеллектуальной познавательной деятельности.

Мышление, осуществляемое в соответствии с требованиями логики, называется правильным. Формальная логика, являясь наукой о правильном мышлении, исследует и систематизирует также типичные ошибки, совершаемые в процессе мышления, т.е. типичные алогизмы.

Длительное время предпринимаются попытки разработать логику диалектическую. Средства этой логики должны применяться в тех случаях, когда нельзя отвлекаться от развития знания. В рамках диалектической логики разработан ряд методологических принципов (конкретности, объективности рассмотрения и др.) и методов познания (восхождение от абстрактного к конкретному и др.).

Предполагается, что в процессе познания методы формальной логики должны дополняться методами диалектической логики и наоборот.

Упражнение

Описанным выше способом установите, являются ли формально-логическими законами связи по формам между исходными суждениями и результирующими в следующих рассуждениях (т.е. являются ли эти рассуждения правильными):

1. Все преступники подлежат уголовному наказанию. Некоторые жители Москвы подлежат уголовному наказанию. Следовательно, некоторые жители Москвы - преступники.

2. Все студенты нашей группы - юристы. Все студенты нашей группы - члены кружка логики. Следовательно, все члены кружка логики - юристы.

3. Некоторые участники этого преступления опознаны потерпевшим. Ни один из членов семьи Петровых не опознан потерпевшим. Никто из лиц, не участвовавших в совершении этого преступления, не привлечен к уголовной ответственности за его совершение. Следовательно, ни один из членов семьи Петровых не привлечен к уголовной ответственности за совершение этого преступления.

4. “Если умер Сократ, то он умер или когда жил, или когда умер. Если когда жил, то он не умер, так как один и тот же человек и жил бы, и был бы мертв; но и не тогда, когда умер, ибо он был бы дважды мертвым. Стало быть, Сократ не умер.” (Эмпирик Секст. Соч. В 2 т. М., 1976. Т. 2. С. 289).

5. Все металлы - теплопроводные вещества. Все металлы - электропроводные вещества. Следовательно, все электропроводные вещества являются теплопроводными.

Из книги Система вещей автора Бодрийар Жан

Формальная коннотация: крыло автомобиля Долгое время американские автомобили украшались огромными крыльями, о которых Паккард в своем «Искусстве расточительства» (с. 282) пишет, что они символизируют собой американскую одержимость потребительскими благами; но у них есть

Из книги Лекции по истории философии. Книга третья автора Гегель Георг Вильгельм Фридрих

5. Формальная диалектика Интерес к диалектике дошел до высшей точки, однако, этот интерес получил совершенно формальный характер, и это – пятый пункт, на который мы должны указать. Этот формальный характер отражается прежде всего в незнавшем предела изобретении termini technici,

Из книги Как я понимаю философию автора Мамардашвили Мераб Константинович

ФОРМАЛЬНАЯ СТРУКТУРА ЦИВИЛИЗАЦИИ Для дальнейшего понимания связи сознания и цивилизации вспомним другой сформулированный Декартом закон мышления, имеющий отношение ко всем человеческим состояниям, включая и те, в которых формулируется причинная связь событий в мире.

Из книги Избранное. Логика мифа автора Голосовкер Яков Эммануилович

Из книги Идеи к чистой феноменологии и феноменологической философии. Книга 1 автора Гуссерль Эдмунд

§ 147. Разветвления проблем. Формальная логика, аксиология и практика Если принять во внимание дальнейшие структурные различия, какие сказываются определяющими для характеров разума, - на различия по основным видам тезисов, на различия тезисов простых и фундируемых и на

Из книги Введение в логику и научный метод автора Коэн Моррис

Книга I. Формальная логика

Из книги Теория справедливости автора Ролз Джон

§ 1. Логика как наука о типах порядка В предыдущих главах мы видели, что обоснованность доказательства зависит не от истинности или ложности посылок, а от их формы, или структуры. В качестве фундаментальной задачи логики мы признали изучение этих объективных отношений

Из книги Философия. Книга третья. Метафизика автора Ясперс Карл Теодор

Из книги Логика: Учебное пособие для юридических вузов автора Демидов И. В.

Божество как формальная трансценденция В формальном трансцендировании по ту сторону категорий божество не становится исполненной мыслью, как не обретаем мы и отношения к нему, если только экзистенциальная вовлеченность не наполнит этой мысли.То, что божество есть

Из книги Логика и аргументация: Учебн. пособие для вузов. автора Рузавин Георгий Иванович

Глава 1. ЛОГИКА КАК НАУКА Освоение проблем формальной логики требует глубокого понимания, в первую очередь, ее объекта и предмета как науки, уяснения методологической роли для конкретного вида деятельности. При этом решаются не только теоретические задачи. Познание

Из книги Философский словарь автора Конт-Спонвиль Андре

1.1. Логика как наука Логика относится к числу древнейших наук, первые учения которой о формах и способах рассуждений возникли еще в цивилизациях Древнего Востока (Китай, Индия). В западную культуру принципы и методы логики вошли главным образом благодаря усилиям античных

Из книги Логика: Учебник для студентов юридических вузов и факультетов автора Иванов Евгений Акимович

Формальная (Причина) (Formelle, Cause) Одна из четырех причин, сформулированных Аристотелем; причина, отвечающая на вопрос «Почему?» указанием формы. Например, почему стоит этот дом? Потому что есть кирпичи (материальная причина), потому что кому-то нравится в нем жить (конечная

Из книги Логика для юристов: учебник автора Ивлев Ю. В.

Вводный раздел. Логика как наука Прежде чем непосредственно приступить к проблематике логики, необходимо иметь хотя бы общее представление о самой этой науке - уяснить себе ее предмет, познакомиться с историей ее возникновения и развития вплоть до наших дней, осмыслить

Из книги Логика: учебник для юридических вузов автора Кириллов Вячеслав Иванович

§ 2. ФОРМАЛЬНАЯ ЛОГИКА КАК НАУКА Чтобы дать определение логической формы мысли и указать способы выявления логических форм различных мыслей, выделим среди выражений естественного языка термины, называемые логическими. К ним относятся союзы “и”, “или”, “если..., то...”,

Из книги История марксизма-ленинизма. Книга вторая (70 – 90-е годы XIX века) автора Коллектив авторов

Глава I ЛОГИКА КАК НАУКА § 1. РОЛЬ МЫШЛЕНИЯ В ПОЗНАНИИ Логика - наука о законах и формах, приемах и операциях мышления, с помощью которой человек познает окружающий мир. Данное определение предполагает прежде всего выяснение вопроса, сформулированного в названии

Из книги автора

Субъективная диалектика и формальная логика Для понимания сущности марксистской диалектической теории, как она разрабатывалась Марксом и Энгельсом, принципиально важным является вопрос об отражении объективной диалектики процессов и вещей в субъективной диалектике

Экономическая теория, как и любая другая наука, обладает не только специфическим предметом, но и особым методом исследования. Слово "метод" происходит от греческого methodos, что буквально означает "путь к чему-либо". Поэтому метод можно определить в самом широком смысле как деятельность, направленную на достижение какой-либо цели . Метод науки, с одной стороны, отражает уже познанные законы исследуемой сферы окружающего мира, а с другой - выступает как средство последующего познания.

Таким образом, метод одновременно является и результатом процесса исследования, и его предпосылкой. Сохраняя в себе свойства и законы изучаемого объекта, он в то же время несет на себе отпечаток целесообразной деятельности познающего его субъекта.

Объективное переходит в субъективное, и наоборот. Обычно метод исследования формируется на базе определенной методологии, включающей в себя мировоззренческий подход, исследование предмета, структуры и места данной науки в общей системе знаний и собственно метод.

В ходе процесса познания происходит постоянное взаимодействие предмета и метода. Предмет предполагает определенный метод исследования, а метод формирует предмет.

Первым методом, который использовала экономическая наука, была формальная логика.

Формальная логика - это изучение мысли со стороны ее структуры, формы.

Основателем формальной логики считается Аристотель, открывший своеобразную форму умозаключения (силлогизм) и сформулировавший основные законы логики. Ученики Аристотеля назвали эту новую книгу "органон", то есть "орудие познания". Термин "логика" ("слово", "разум", "закономерность") появился позже у стоиков, и лишь в XVII в. в процессе создания диалектической логики эту традиционную логику стали вслед за И. Кантом называть формальной.

Простейшей категорией формальной логики является понятие - оно фиксирует мысль о предмете. Обычно понятие определяется через более широкое понятие путем добавления к родовому признаку видового различия.

Суждение -это мысль, в которой утверждается или отрицается что-либо о чем-либо. Формой взаимосвязи суждений выступает умозаключение.

Умозаключение представляет собой прием мышления, посредством которого из некоторого исходного знания получается выводное знание.

Наиболее известной формой умозаключения является силлогизм. Он утверждает,что если свойство Р принадлежит каждому из предметов, образующих данный класс, то это свойство будет принадлежать и любому индивидуальному предмету, относимому к этому классу.

Это называется аксиомой силлогизма. Формальная логика разработала обширный набор методов и приемов познания. Важнейшие из них - это анализ и синтез, индукция и дедукция, сравнение, аналогия, гипотеза, доказательство, определенные законы мышления.

Анализ- это метод познания, состоящий в расчленении целого на составные части, синтез - метод, состоящий в соединении отдельных частей в единое целое. Будучи наипростейшим, метод анализа оказывается и наименее удовлетворительным. Это метод эмпиризма. Неправильно проведенный анализ может превратить конкретное в абстрактное, умертвить живое. Недостатки анализа в образовании понятий в какой-то мере снимаются синтезом . Однако ни анализ, ни синтез не раскрывают внутренние противоречия предмета и, следовательно, не отражают самодвижения, развития анализируемого объекта. Поэтому этот метафизический метод не в состоянии указать путь к нахождению начала исследования. Аналогичными недостатками обладают и индукция с дедукцией.

Индукция - это метод познания, основанный на умозаключениях от частного (особенного) к общему;

Д едукция - метод, основанный на умозаключениях от общего к частному (особенному). Слабость индукции в том, что она не может строго обосноватьобщее, так как исходит лишь из рассмотрения части совокупности. Недостаток дедукции в том, что она не может строго обосновать общую предпосылку.

Важную роль в формальной логике играет сравнение - метод, определяющий сходство или различие явлений и процессов. Он широко используется при систематизации и классификации понятий, так как позволяет соотнести неизвестное с известным, выразить новое через имеющиеся понятия и категории. Однако роль сравнения в познании нельзя переоценивать Оно, как правило, носит поверхностный характер, отражая лишь первые шаги исследования. В то же время сравнение готовит предпосылки для проведения аналогии.

Аналогия - это метод познания, основанный на переносе одного или ряда свойств с известного явления на неизвестное. В общей форме умозаключение по аналогии записывается следующим образом. Если А и В имеют общие свойства и А имеет свойство С, то и В имеет свойство С.

Аналогия - это частный случай индукции. Она играет важную роль в выдвижении предположений, получении нового знания. Многие открытия в политической экономии были сделаны по аналогии. Ф. Кенэ, например, предложил плодотворную аналогию между кровообращением в человеческом организме и движением товарных и денежных потоков в организме социальном. Это позволило ему построить первую макроэкономическую модель воспроизводства. Изучение механического равновесия привело А. Курно к идее экономического равновесия. Аналогия, таким образом, играет важную роль в рождении новых идей и формулировке гипотез. Она существенно облегчает понимание сложных процессов, являясь основой научного моделирования. Нередко аналогия позволяет правильно поставить проблему, определив направление дальнейшего исследования.

Проблема -это четко сформулированный вопрос или комплекс вопросов, возникших в процессе познания. Постановка проблемы возможна до начала исследования, в ходе исследования и в ходе его завершения. Если проблемы сформулированы до начала исследования, такие проблемы называют явными, если нет - то неявными. Методы решения проблемы могут быть известны заранее, а могут быть найдены в процессе работы. В зависимости от того, что известно (формулировка проблемы, метод ее решения или ответ), можно дать простейшую типологию проблемных ситуаций (см. табл. 1-1).

Первый случай представляет собой показательные задачи (известно все - проблема, метод ее решения и ответ). Второй случай - типовые школьные задачи (известно все, кроме ответа). Третий случай - риторические проблемы - головоломки. Четвертый случай - это классические научные проблемы. Пятый случай иллюстрирует ситуацию, когда правильное понимание формулировки проблемы приходит только в конце исследования. Шестой случай соответствует ситуации, когда в экономике используют методы других наук. Седьмая ситуация иллюстрирует догматическую теорию, обладающую готовыми ответами на все проблемы; восьмая - это софизмы, парадоксы, антиномии.

Принципиально новому решению задачи способствует постановка проблемы в форме антиномии. Антиномия -это противоречие, в котором тезис и антитезис имеют равную силу и в одинаковой степени покоятся на одних и тех же основаниях. Формулировка проблемы в форме антиномии позволяет отразить противоречивоеразвитие как реального объекта, так и знаний о нем. Однако с точки зрения формальной логики антиномия неразрешима, поскольку отрицает ее основные законы.

На ограниченность формальной логики указывает и апория - утверждение, противоречащее практическому опыту.

Постановка проблемы в форме парадокса (антиномии, апории или даже софизма) способствует рождению гипотез. Гипотеза - это метод познания, заключающийся в выдвижении научно обоснованного предположения о возможных причинах или связях явлений и процессов. Гипотеза возникает тогда, когда появляются новые факторы, противоречащие старой теории. Научная теория состоит из ядра и защитного пояса (см. рис. 1-3).

Ядро - наиболее фундаментальные положения теории; защитный пояс образуют вспомогательные гипотезы, которые конкретизируют теорию, расширяя область ее применения.

Доказанные гипотезы сливаются с ядром, недоказанные служат объектом полемики с оппонентами, защищая ядро теории. Например, ядром марксизма являются трудовая теория стоимости, теория прибавочной стоимости, всеобщий закон капиталистического накопления, а их защитным поясом - закон тенденции нормы прибыли к понижению и другие законы.

Под доказательством в формальной логике понимается обоснование истинности одной мысли с помощью других. Формальная логика предлагает универсальную структуру доказательства. Она состоит из тезиса, оснований доказательства (аргументов) и способа доказательства (демонстрации).

Существуют различные виды доказательства. В зависимости от его целей выделяют доказательства истинности и ложности (опровержение); в зависимости от способа доказательства - прямые и косвенные; в зависимости от оснований доказательства - теоретические и эмпирические.

Основные законы формальной логики (см рис. 1-6):

1. Закон тождества (А=А);

2. Закон противоречия (А и А, А Λ А);

3. Закон исключенного третьего (А и А, А V А);

4. Закон достаточного основания.

Закон тождества означает, что каждая мысль должна иметь строго определенное устойчивое содержание. Он направлен против расплывчатости и неопределенности в экономическом мышлении Этот закон запрещает, с одной стороны, тавтологию (когда одно явление называют разными терминами), а с другой - подмену одних понятий другими. Закон тождества ориентирует на связь и соподчиненность категорий, четкое разграничение родовых и видовых признаков.

Закон противоречия означает, что две противоположные мысли об одном и том же предмете, взятом в одном и том же времени, отношении и т. д., не могут быть истинными.

Закон исключенного третьего утверждает, что из двух отрицающих друг друга мыслей об одном и том же предмете, взятом в одном и том же времени, отношении и т. д, одно непременно истинно.

Закон достаточного основания требует, чтобы всякая истинная мысль обосновывалась другими мыслями, истинность которых была доказана ранее.