Традиционная логика. История возникновения науки «Логика

Введение
1. Зарождение и сущность логики как науки
2. Основные исторические этапы развития логики
2.1 Становление символической (математической) логики
2.2 Становление индуктивной логики
2.3 Становление диалектической логики
Заключение
Литература

Введение

Логика - одна из древнейших наук. Точно установить, кто, когда и где впервые обратился к тем аспектам мышле­ния, которые составляют предмет логики, в настоящее время не представляется возможным. Отдельные истоки логическо­го учения можно обнаружить еще в Индии, в конце II тыся­челетия до н. э. Однако, если говорить о возникновении логи­ки как науки, то есть о более или менее систематизирован­ной совокупности знаний, то справедливым будет считать родиной логики великую цивилизацию Древней Греции. Именно здесь в V-IV веках до н. э. в период бурного разви­тия демократии и связанного с ним небывалого оживления общественно-политической жизни трудами Демокрита, Со­крата и Платона были заложены основы этой науки. Родона­чальником же, «отцом» логики, по праву считается величай­ший мыслитель древности, ученик Платона - Аристотель(384-322 гг. до н. э.). Именно он в своих трудах, объединенных общим названием «Органон» (орудие познания), впервые обстоятельно проанализировал и описал основные логические формы и правила рассуждений, а именно: формы выводов из так называемых категорических суждений - категорический силлогизм («Первая аналити­ка»), сформулировал основные принципы научных доказа­тельств («Вторая аналитика»), дал анализ смысла некоторых видов высказываний («Об истолковании»), наметил основ­ные подходы к разработке учения о понятии («Категории»). Серьезное внимание Аристотель уделял также разоблачению различного рода логических ошибок и софистических при­емов в спорах («О софистических опровержениях»).

1. Зарождение и сущность логики как науки

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

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

История свидетельствует, что отдельные логические проблемы возникают перед мысленным взором человека уже свыше 2,5 тыс. лет назад - сначала в Древней Индии и Древнем Китае. Затем они получают более полную разработку в Древней Греции и Риме. Лишь постепенно складывается более или менее стройная система логических знаний, оформляется самостоятельная наука.

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

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

Другая, пожалуй, еще более важная причина, что особенно полезно знать юристам, - это развитие ораторского искусства, в том числе судебного, которое расцвело в условиях древнегреческой демократии. Величайший римский оратор и ученый Цицерон (106-43 гг. до н. э.), говоря о могуществе оратора, обладателя «божественного дара» - красноречия, подчеркивал: «Он может безопасно пребывать даже среди вооруженных врагов, огражденный не столько своим жезлом, сколько своим званием оратора; он может своим словом вызвать негодование сограждан и низвергнуть кару на виновного в преступлении и обмане, а невинного силою своего дарования спасти от суда и наказания; он способен побудить робкий и нерешительный народ к подвигу, способен вывести его из заблуждения, способен воспламенить против негодяев и унять ропот против достойных мужей; он умеет, наконец, одним своим словом и взволновать и успокоить любые людские страсти, когда этого требуют обстоятельства дела».

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

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

По словам Цицерона, Греция «поистине пылала страстью к красноречию и долгое время им славилась…». Не случайно, что именно Древняя Греция стала родиной логики как науки. Естественно также, что сам термин «логика» - древнегреческого происхождения.

Основателем логики - или, как иногда говорят, «отцом логики» - принято считать крупнейшего древнегреческого философа и ученого-энциклопедиста Аристотеля (384-322 гг. до н. э.).

Аристотелю принадлежит ряд трактатов по логике, объединенных позднее под названием «Органон» (от греч. organon - орудие, инструмент).

B фокусе всех его логических размышлений - теория выводного знания - дедуктивных умозаключений и доказательства. Она разработана с такой глубиной и тщательностью, что прошла сквозь толщу столетий и в основном сохранила свое значение до наших дней. Аристотель дал такжеклассификацию категорий - наиболее общих понятий и близкую к демокритовской классификацию суждений, сформулировал три фундаментальных закона мышления - закон тождества, закон противоречия и закон исключенного третьего. Логическое учение Аристотеля замечательно тем, что в зародыше оно содержит, по существу, все позднейшие разделы, направления и типы логики -индуктивной, символической, диалектической. Правда, сам Аристотель называл созданную им науку не логикой, а прежде всего аналитикой, хотя и употреблял термин «логическое». Сам же термин «логика» вошел в научный оборот несколько позднее, в III в. до н. э. Причем в соответствии с двуединым смыслом древнегреческого слова «logos» (и «слово», и «мысль») он объединил и искусство мыслить - диалектику, и искусство рассуждать - риторику. Лишь с прогрессом научных знаний этим термином стала обозначаться собственно логическая проблематика, а диалектика и риторика выделились в самостоятельные отрасли знания.

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

Новый, более высокий этап в развитии логики начинается с XVII в. Этот этап органически связан с созданием в ее рамках наряду с дедуктивной логикой логики индуктивной. В ней нашли отражение многообразные процессы получения общих знаний на основе все более накапливавшегося эмпирического материала. Потребность в получении таких знаний наиболее полно осознал и выразил в своих трудах выдающийся английский философ и естествоиспытатель Ф. Бэкон (1561-1626). Он и стал родоначальником индуктивной логики. «… Логика, которая теперь имеется, бесполезна для открытия знаний», - вынес он свой суровый приговор. Поэтому как бы в противовес старому «Органону» Аристотеля Бэкон написал «Новый Органон…», где и изложил индуктивную логику. Главное внимание в ней он обратил на разработку индуктивных методов определения причинной зависимости явлений. В этом огромная заслуга Бэкона. Однако созданное им учение об индукции по иронии судьбы оказалось не отрицанием предшествующей логики, а ее дальнейшим обогащением и развитием. Оно способствовало созданию обобщенной теории умозаключений. И это естественно, ибо, как будет показано ниже, индукция и дедукция не исключают, а предполагают друг друга и находятся в органическом единстве.

Индуктивная логика была позднее систематизирована и развита английским философом и ученым Дж. Ст. Миллем (1806-1873) в его двухтомном труде «Система логики силлогистической и индуктивной». Она существенно повлияла на дальнейшее развитие научного познания, способствовала достижению им новых высот.

Потребности научного познания не только в индуктивном, но и в дедуктивном методе в XVII в. наиболее полно воплотил французский философ и ученый Рене Декарт (1596-1650). В своем главном труде «Рассуждение о методе…», основываясь на данных, прежде всего математики, он подчеркивал значение рациональной дедукции как основного метода научного познания. Последователи Декарта из монастыря в Пор-Рояле А. Арно и П. Николь создали труд «Логика, или Искусство мыслить». Он получил известность как «Логика Пор-Рояля» и долгое время использовался в качестве учебника по этой науке. В нем авторы вышли далеко за пределы традиционной логики и уделили главное внимание методологии научного познания, логике открытий. Логика рассматривалась ими как познавательное орудие всех наук. Создание подобных «расширенных логик» стало характерным в XIX-XX вв.

2. Основные исторические этапы развития логики

2.1 Становление символической (математической) логики

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

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

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

Идеи Лейбница получили некоторую разработку в XVIII в. и первой половине XIX в. Однако наиболее благоприятные условия для мощного развития символической логики сложились лишь со второй половины XIX в.К этому времени математизация наук достигла особенно значительного прогресса, а в самой математике возникли новые фундаментальныепроблемы ее обоснования. Английский ученый, математик и логик Дж. Буль (1815-1864) в своих работах, прежде всего, применял математику к логике. Он дал математический анализ теории умозаключений, выработал логическое исчисление («Булева алгебра»). Немецкий логик и математик Г. Фреге (1848-1925) применил логику для исследования математики. Посредством расширенного исчисления предикатов он построил формализованную систему арифметики. Английский философ, логик и математик Б. Рассел (1872-1970) совместно с А. Уайтхедом (1861-1947) в трехтомном фундаментальном труде «Принципы математики» в целях ее логического обоснования попытался осуществить в систематической форме дедуктивно-аксиоматическое построение логики.

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

2.2 Становление индуктивной логики

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

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

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

Для проведения эксперимента важно варьировать его, повторять, перемещать из одной области в другую, менять обстоятельства на обратные, прекращать его, связывать у другими и изучать в немного измененных обстоятельствах. После этого можно перейти к решающему эксперименту. Бэкон выдвинул опытное обобщение фактов в качестве стержня своего метода, однако не был защитником одностороннего его понимания. Эмпирический метод Бэкона отличает то, что он в максимальной степени опирался на разум при анализе фактов. Бэкон сравнивал свой метод с искусством пчелы, которая, добывая нектар из цветов, перерабатывает его в мед собственным умением. Он осуждал грубых эмпириков, которые подобно муравью собирают все, что им попадается на пути (имея в виду алхимиков), а также тех умозрительных догматиков, которые как паук ткут паутину знания из себя (имея в виду схоластов). Предпосылкой реформы науки должно стать, по замыслу Бэкона, и очищение разума от заблуждений, которых он насчитывает четыре вида. Эти препятствия на пути познания он называет идолами: идолы рода, пещеры, площади, театра. Идолы рода — это ошибки, обусловленные наследственной природой человека. Мышление человека имеет свои недостатки, так как «уподобляется неровному зеркалу, которое, примешивая к природе вещей свою природу, отражает вещи в искривленном и обезображенном виде».

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

2.3 Становление диалектической логики

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

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

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

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

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

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

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

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

Заключение

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

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

Выдающимся событием в истории логики в Новое время стало появление труда английского философа Ф. Бэкона «Новый органон», который, по его мнению, должен был за­менить аристотелевский «Органон» в качестве орудия позна­ния. Критически оценивая значимость форм выводов, в ко­торых используется уже потовое знание, Ф. Бэкон стремился разработать приемы исследования самой природы. Он поло­жил начало разработке методов установления причинно-следственных связей в объективной действительности. Его учение об этих методах приобрело относительно завершен­ный характер в работах Дж. Фр. Гершеля и Дж. Ст. Милля. Результаты этих разработок вошли в историю логики под на­званием «Индуктивные методы установления причинных связей». Вопросами логики занимались и внесли определен­ный вклад в ее развитие многие видные ученые Нового вре­мени: Р. Декарт, Г. Лейбниц, И. Кант и другие. Примечатель­но, что Г. Лейбниц выдвинул ряд идей фундаментального ха­рактера, получивших интенсивное развитие в современной логике. Начало нового этапа в развитии логики было положено трудами Дж. Буля, О. де Моргана, русского логика П.С. Порецкого. Принципиальное отличие этого этапа состояло в применении методов математики к исследованию логиче­ских связей, что привело к созданию специального раздела логики - алгебры логики, получившей завершение в трудах Э. Шредера. В дальнейшем усилиями Г. Фреге, Б. Рассела - А. Уайтхэда сложился особый метод исследования логиче­ских отношений и форм выводов - метод формали­зации. Суть этого метода состоит в употреблении для опи­сания структур высказываний, законов логики и правил вы­вода специально созданного в рамках логики формализованного языка. Применение этого метода открыло новые воз­можности этой науки и положило начало ее интенсивному развитию под названием «символическая логика».

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

Список использованной литературы

1. Брюшинкин В.Н. Логика: Учеб. для ВУЗов. – 3-е изд.; испр, доп. – М.: Гардарики, 2001.
2. Дегтярев М.Г. Логика: Учеб. пособие для ВУЗов. – М.: ПЕРСЭ, 2003.
3. Гетманова А. Д. Учебник по логике. – М., 1995.
4. Ерышев А. А. и др. Логика: Курс лекций / А. А. Ерышев, Н. П. Лукашевич, Е. Ф. Сластенко. - Киев: МАУП, 2000.
5. Ивин А.А. Логика. – М.: Высшая школа, 2002.
6. Кириллов В.И., Старченко А.А. Логика. — М., 2000.
7. Логика. Учебник / Под ред. Иванова Е.И. – М., 2000.

Слово "логика" для обозначения науки о мышлении, о формах и законах его, ввел в самом начале III в. до н.э. основатель стоического направления в философии - Зенон из г. Китиона, что на Кипре (ок. 336- 264 гг. до н.э.) Как известно, Аристотель (384--322 гг. до н. э.), подлинный создатель логики как науки, пользовался для ее обозначения словом «аналитика». Скорее всего, слово «логика» происходит от древнегреческого «логос», которое еще тогда представляло собой крайне многозначное выражение, являющееся основополагающим для философских взглядов многих античных философов. Многозначность логоса отразилась и на значении слова «логика». «Логос» - это и понятие, слово, мысль, разум, идея, принцип, закон, порядок и пр.

В русском языке слово «логика» используется для обозначения:

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

б) столь же закономерно взаимосвязанного, последовательного рассужде­ния, размышления (логика рассуждения Иванова, Петрова или Сидорова, «железная логика», субъективная логика и т. п.);

в) науки о формах и законах мысли.

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

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

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

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

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

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

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

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

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

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

Что же такое мысль, форма мысли, что такое мышление?

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

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

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

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

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

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

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

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

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

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

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

В большинстве учебников и учебных пособий по логике анализ, синтез, сравнение, обобщение и абстрагирование обычно рассматриваются как приемы образования понятий. Представляется, что это несколько упрощенное, одностороннее толкование. Нет спора, что как приемы они могут участвовать и в образовании понятий, но эти же мысленные процедуры участвуют во всей интеллектуальной деятельности человека. Они участвуют и в исследовании самих понятий, в исследовании других форм мысли, в исследовании вообще, даже в практической деятельности. «Уже раз­бивание ореха есть начало анализа». (Маркс К., Энгельс Ф. Соч. 2-е изд. Т. 20. С. 537.) Поэтому мы и рассматриваем их как простейшие мыслительные процедуры, как простейшие методы, которые выступают основой более сложных методов интеллектуальной и теоретической деятельности человека.

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

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

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

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

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

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

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

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

 3. МЕТОДОЛОГИЯ ЛОГИКИ

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

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

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

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

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

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

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

Все насекомые - животные.
Все комары - насекомые.
Следовательно, все комары - животные.

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

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

В дальнейшем американский философ, логик, математик и естествоиспы-
татель Чарльз Пирс предложил определять коннекторы при помощи так на-
зываемых таблиц истинности. Ниже в качестве примера приводится таблица
для коннектора «и», где 1 обозначает истинное значение, а 0 - ложное.

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

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

Приложение. Логика

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

Бертран Рассел и Альфред Уайтхед в известном труде «Principia
Mathematica» на основе подхода Фреге осуществили попытку создания
формализованной и аксиоматизированной теории.

Логическое умозаключение выводится не из одной пропозиции, а из не-
скольких, связанных между собой. Причем вывод зависит не от самих про-
позиций, а от отношений между ними. Поэтому для правильного вывода
мы можем заменить любую пропозицию на символическое выражение, при
этом правильность вывода сохранится. Например, возьмем следующее
умозаключение: «Если в Сиднее жарко, то в Москве идет снег. В Сиднее
жарко. Следовательно, в Москве идет снег». Если мы обозначим высказы-
вание о том, что в Сиднее жарко в виде символа р, а высказывание о снеге
в Москве в виде q, то приведенное выше умозаключение можно предста-
вить в виде: Если р, то q. Имеет место р. Следовательно, q. Эта элементар-
ная форма умозаключения получила в логике название modusponens.

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

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

не - отрицание

& - конъюнкция

или - дизъюнкция

-> - импликация (если р, то q)

() - скобки

р, q, r- пропозициональные переменные’

Грамматика

1. Любая переменная есть правильно построенная формула.

2. Если А - правильно построенная формула, то не-А тоже правильно
построенная формула.

3. Если А и В- правильно построенные формулы, то (А&В), (А или В)
и (А -» В) тоже правильно построенные формулы.

2. ((р->(9-»г)) -»((/>->?) -»(/>->/ )))

3. (не-не-р->р)

Правила вывода

1. Если Л-># и формула Л выводима, то и 5 тоже выводимо (modus
ponens).

2. Если имеется правильно построенная формула А, содержащая пере-
менную р, то вместо всех вхождений р в А может быть подставлена любая
формула В (правило подстановки).

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

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

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

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

Кроме аксиоматического задания логики существует так называемый
натуральный вывод. На практике люди исключительно редко мыслят в со-
ответствии с аксиоматической логикой. Мы часто считаем примером стро-
гости мышления математику. Однако математика не только в ее школьном
виде, но даже и в наиболее высоких ее образцах (скажем, XVIII или XIX
века) не является аксиоматизированной наукой. Попытки аксиоматизации
потребовали уже в XX веке огромных усилий таких умов, как немецкий
математик Давид Гильберт. И сегодня в реальной практике доказательства
математики обращаются к интуиции.

Приложение. Логика

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

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

Классическая логика приложима к сфере постоянных, неизменных ис-
тин типа «Два плюс два равно четыре» или «Лебеди - это птицы». Однако
далеко не все истины остаются неизменными. Например, высказывание
«Институт психологии Российской Академии наук расположен по адресу
Москва, Ярославская улица, дом 13» истинно на момент написания этого
учебника. Однако оно не было истинным в начале 1970-х годов, а если Ин-
ститут поменяет адрес, оно может оказаться ложным и в будущим. Также
и высказывание «Не существует общепринятой психологической теории,
описывающей решение логических задач людьми», хотя и является спра-
ведливым в 2001 году, в один прекрасный день, будем надеяться, станет
ложным. Для описания такого рода истин может быть применен аппарат
логик, называемых временными.

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

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

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

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

История формирования логики

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

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

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

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

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

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

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

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

Вторая причина – это развитие ораторского искусства и искусства спора.

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

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

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

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

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

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

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

Следующий этап в развитии логики начинается с XVII в. Он связан с созданием в ее рамках индуктивной логики, в которой нашли отражение многообразные процессы получения общих знаний на основе накопившегося эмпирического материала. Потребность в таких знаниях наиболее полно осознал и выразил в своих трудах Ф. Бэкон (1561–1626). Он и стал родоначальником интуитивной логики. В противовес старому «Органону» Аристотеля Бэкон написал «Новый органон», где и изложил основные положения индуктивной логики.

Индуктивная логика значительно позже была систематизирована и развита английским философом Джоном Стюартом Миллем (1806–1873) в его двухтомном труде «Система логики силлогистической и индуктивной».

Огромный вклад в развитие формальной логики внесли русские ученые. Оригинальные логические концепции в России разрабатывались в XVIII в., и связаны прежде всего с именами М. В. Ломоносова и А. Н. Радищева. Расцвет же логических исследований в нашей стране относится к концу XIX в. Это прежде всего такие логики как М. Каринский, Л. Рутковский, С. Поварнин.

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

Более благоприятные условия для развития символической логики сложились во второй половине XIX в. К этому времени математизация наук достигла значительного прогресса, а в самой математике возникли проблемы ее обоснования. Наиболее важная отличительная особенность данного этапа в развитии логики состоит в разработке новых методов решения традиционных логических проблем. Это разработка и применение так называемого формализованного языка – языка символов, т. е. буквенных или каких-нибудь других знаков.

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

Растущие потребности научно-технического прогресса обуславливают дальнейшее развитие современной логики.