Учебное пособие: Логика как наука. История возникновения науки «Логика

Логика как наука возникла в конце V – начале IV веков в Древней Греции (Афины) и много столетий считалась критерием образованности. Основателем логики считают древнегреческого философа Аристотеля. Предшественниками Аристотеля в развитии логической науки в Древней Греции были Парменид, Зенон Элейский, Сократ и Платон. Аристотель же впервые систематизировал доступные знания о логике, обосновал формы и правила логического мышления. В его трудах «Органон» («Орудия познания») были сформулированы основные законы мышления, такие как закон тождества, противоречия и исключенного третьего. Он также разработал теорию понятия и суждения, исследовал дедуктивное и силлогистическое умозаключения.

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

1) зарождение и первоначальное развитие философии и науки, прежде всего математики.

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

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

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

После Аристотеля в Древней Греции логика также разрабатывалась представителями школы стоиков. Большой вклад в развитие этой науки внесли оратор Цицерон и древнеримский теоретик ораторского искусства Квинтилиан.

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

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

Диалектическая логика - это один из способов познания диалектики реальности.

Формальная логика, использующая математические методы изучения реальности, в начале XX века получила название «логистика», означающее искусство вычисления. Теперь данный термин почти вышел из употребления, уступив место терминам «математическая логика» или «символическая логика».

Формальная логика изучает форму как нечто отдельное,обособленное от содержания.

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

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

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

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

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

Введение
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.

3. Кто является основоположником науки логики?

1. аристотель

   Логика -- одна из древнейших наук. Точно установить, кто, когда и где впервые обратился к тем аспектам мышле-ния, которые составляют предмет логики, в настоящее время не представляется возможным. Отдельные истоки логическо-го учения можно обнаружить еще в Индии, в конце II тыся-челетия до н. э. Однако если говорить о возникновении логи-ки как науки, то есть о более или менее систематизирован-ной совокупности знаний, то справедливым будет считать родиной логики великую цивилизацию Древней Греции. Именно здесь в V--IV веках до н. э. в период бурного разви-тия демократии и связанного с ним небывалого оживления общественно-политической жизни трудами Демокрита, Со-крата и Платона были заложены основы этой науки.

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

   Основателем логики -- или, как иногда говорят, отцом логи-ки -- принято считать крупнейшего древнегреческого философа и ученого-энциклопедиста Аристотеля (384--322 гг. до н. э. Следует, однако, учитывать, что первое довольно развернутое и системати-ческое изложение логических проблем фактически дал более ран-ний древнегреческий философ и естествоиспытатель Демокрит (460 -- примерно 370 г. до н. э.) . Среди его многочисленных трудов был и обширный трактат в трех книгах О логическом, или О ка-нонах (от греч. kanon -- предписание, правило) Ивлев Ю. Логика для юристов. - М. : БЕК, 2001. - С. 22. Здесь не только были раскрыты сущность познания, его основные формы и крите-рии истины, но и показана огромная роль логических рассужде-ний в познании, дана классификация суждений, подвергнуты ре-шительной критике некоторые виды выводного знания и предпри-нята попытка разработать индуктивную логику -- логику опытного знания.
   К сожалению, этот трактат Демокрита, как и все остальные, до нас не дошел. Однако он был широко использован Аристотелем в его разработке грандиозной системы логики. А от нее непосред-ственно ведет начало современная логика.
   Аристотелю принадлежит ряд трактатов по логике, объединен-ных позднее под названием Органон от греч. organon -- орудие, инструмент) .
   B фокусе всех его логических размышлений -- теория выводного знания -- дедуктивных умозаключений и доказательства. Она разра-ботана с такой глубиной и тщательностью, что прошла сквозь тол-щу столетий и в основном сохранила свое значение до наших дней Аристотель дал также классификацию категорий -- наиболее об-щих понятий и близкую к демокритовской классификацию сужде-ний, сформулировал три фундаментальных закона мышления -- закон тождества, закон противоречия и закон исключенного тре-тьего. Логическое учение Аристотеля замечательно тем, что в заро-дыше оно содержит, по существу, все позднейшие разделы, на-правления и типы логики -- индуктивной, символической, диа-лектической. Правда, сам Аристотель называл созданную им науку не логикой, а прежде всего аналитикой, хотя и употреблял термин логическое. Сам же термин логика вошел в научный оборот несколько позднее, в III в. до н. э. Причем в соответствии с двуеди-ным смыслом древнегреческого слова logos (и слово, и мысль) он объединил и искусство мыслить -- диалектику, и искусство рас-суждать -- риторику.

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

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

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

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

   Важный период становления математической логики начинается с работы английского математика и логика Джорджа Буля (1815-1864 гг.) Математический анализ логики (1847) и Исследования законов мышления (1854). Он применил к логике методы современной ему алгебры - язык символов и формул, составление и решение уравнений. Им была создана своеобразная алгебра - алгебра логики. В этот период она оформилась, как алгебра высказываний и была значительно развита в работах шотландского логика А. де Моргана (1806-1871 гг.) , английского - У. Джевонса (1835-1882 гг.) , американского - Ч. Пирса и др. Создание алгебры логики явилось заключительным звеном в развитии формальной логики.

   Значительный толчок к новому периоду развития математической логики дало создание в первой половине XIX века великим русским математиком Н. И. Лобачевским (1792-1856 гг.) и независимо от него венгерским математиком Я. Бояи (1802-1860 гг.) неевклидовой геометрии. Кроме того, создание анализа бесконечно малых подвело к необходимости обоснования понятия числа как фундаментального понятия всей математики. Довершали картину парадоксы, обнаруженные в конце XIX века в теории множеств: они отчетливо показали, что трудности обоснования математики являются трудностями логического и методологического характера. Таким образом, перед математической логикой встали задачи, которые перед логикой Аристотеля не возникали. В развитии математической логики сформировались три направления обоснования математики, в которых создатели по-разному пытались преодолеть возникшие трудности.

1. Предмет логики

2. Возникновение и развитие логики

3. Язык логики

4. Формы и законы мышления

1. Предмет логики

Ключевые слова: логика, мышление, чувственное познание, абстрактное мышление.

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

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

Нам известно, что первым уровнем выступает чувственное познание. Оно осуществляется на основе органов чувств, их осмысления и синтеза. Напомним основные формы чувственного познания:

ощущение;

2) восприятие;

3) представление.

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

а) понятие;

б) суждение;

в) умозаключение.

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

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

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

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

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

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

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

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

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

Задачи и упражнения

1. Один и тот же кубик, на гранях которого расположены цифры (0, 1, 4, 5, 6, 8), находится в трёх различных положениях.

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

2. Светлана, Лариса и Ирина изучают в вузе разные иностранные языки: немецкий, английский и испанский. На вопрос, какой язык изучает каждая из них, их подруга Марина робко ответила: «Светлана изучает английский, Лариса не изучает английский, а Ирина не изучает немецкий». Оказалось, что в этом ответе лишь одно утверждение является истинным, а два – ложным. Какой язык изучает каждая девушка?

3. Иванов, Петров, Степанов и Сидоров – жители г.Гродно. Их профессии – кассир, врач, инженер и милиционер. Иванов и Пертов – соседи, они всегда ездят на работу вместе на автомобиле. Петров старше Сидорова. Иванов всегда обыгрывает Степанова в шахматы. Кассир всегда ходит на работу пешком. Милиционер не живёт рядом с врачом. Инженер и милиционер встречались единственный раз, когда первый оштрафовал второго за нарушение правил дорожного движения. Милиционер старше врача и инженера. Кто есть кто?

4. Друзья-мушкетёры Атос, Портос, Арамис и д’Артаньян решили позабавиться перетягиванием каната. Портос с д’Артаньяном легко перетянули Атоса с Арамисом. Но когда Портос стал вместе с Атосом, то они одержали более трудную победу над д’Артаньяном и Арамисом. А когда Портос с Арамисом боролись против Атоса с д’Артаньяном, то никто не смог перетянуть канат. Как по силе распределяются мушкетёры?

Составьте логическую схему взаимосвязи уровней и форм познания.

2. Возникновение и развитие логики

Ключевые слова: дедукция, формальная логика, индуктивная логика, математическая логика, диалектическая логика.

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

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

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

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

Развитие логического знания. Дальнейшим развитием античной логики стало учение философов-стоиков, которые вместе с философско-этической проблематикой логику считают «проистечением мирового логоса», его земной, человеческой формой. Стоики Зенон (333 – 262 гг. до н.э.), Хрисипп (ок.281 – 205 до н.э.) и др. дополняют логику системой высказываний (пропозиций) и выводов из них предложили схемы умозаключений на основе сложных суждений, обогатили категориальный аппарат и язык науки. К этому времени (3 в. До н.э.) относится возникновение самого термина «логика». Логическое знание преподносилось стоиками несколько шире классического воплощения. Оно соединило в себе учение о формах и операциях мышления, искусство ведения дискуссии (диалектика), мастерство публичных выступлений (риторика) и учение о языке.

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

Специфику научного познания отразил в рационалистической методологии французский мыслитель Нового времени Рене Декарт (1596 – 1650). В «Рассуждении о методе, чтобы верно направлять свой разум и отыскивать истину в науках» и «Правилах для руководства ума» он формулирует важнейшие методы познания: аксиоматический, аналитический и синтетический, а также, в завершении познания, метод систематический. Высшей формой реализации рационалистической методологии, по Декарту, является математика. Логике отводится роль методологии познания, способной обнаружить пути обретения новых истин, приращения знания.

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

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

В ХIХ в. символическая логика становится наиболее привлекательной сферой логического знания. Среди наиболее известных представителей математической логики выделяется английский математик Д. Буль (1815 – 1864). В работах «Математический анализ логики» и «Исследование законов мышления» он закладывает основы алгебраических исчислений конкретных элементов (классов) как отношений (операций). Буль стремился перевести на язык знаков отношения между идеями, объектами и абстрактными системами. Булева алгебра – это решение логических задач путем использования трех операций: а) сложение классов (А U В), умножение классов (А ∩ В), и дополнение к классу (А′). Алгебра Буля была применима и в прикладных случаях, например, при интерпретациях конкретно-релейных схем, в исчислениях при программировании в ЭВМ и т.д.

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

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

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

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

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

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

Новый этап в понимании диалектической логики связан с именами К. Маркса (1818 – 1883) и Ф. Энгельса (1820 – 1895). В работах Ф. Энгельса «Анти-Дюринг», «Диалектика природы», К. Маркса «Капитал» и др. толкование развивающихся форм основывается не на изначальности «саморазвивающегося понятия», а на обнаружении диалектических изменений в самом объективном (материальном) мире. Природа и общество, с их точки зрения, являются основанием для понимания законов диалектического мышления. В марксистской диалектике с материалистических позиций формулируются три важнейших закона диалектики (закон единства и борьбы противоположностей, закон взаимного превращения количественных и качественных изменений, закон отрицания отрицания), основные принципы и категории материалистической диалектики.

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

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

Задачи и упражнения

1. Пользуясь математической последовательностью действий, раскройте секрет угадывания чисел. Задумайте любое число, отнимите от него 1, результат умножьте на 2, из полученного произведения отнимите задуманное число и сообщите результат. Как отгадать задуманное товарищем число?

2. Как отмерить 6 литров воды, если имеются ёмкости 9 литров и 4 литра:

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

произношение, словесное оформление, изобретение, план, запоминание.

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

3. Язык логики

Ключевые слова: язык, семиотика, семантические категории, искусственный язык, термин.

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

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

В исследовании языковых выражений мысли логика видит свою одну из основных и непосредственных задач. Изучением языка как знаковой системы занимается семиотика, выявляющая специфику его построения и употребления. Один из ее разделов – синтаксис – анализирует специфику, структуру, способы образования и преобразования языка, отношений между знаками системы. Например, отношения равенства (3 + 2 = 5), отношения следования («Cogito ergo sum»), отношения доказательства (доказательство теоремы Пифагора) и пр.

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

Существует еще один тип отношений, без которого немыслимо ни построение языка, ни его практическая реализация. Это – семантическое отношение: отношение между знаками системы и обозначаемыми ими объектами, предметом и его именем (теория референции), отношение знаков и содержания ими замещаемого, смыслового выражения языка (теория смысла). Этот раздел называется семантикой. Семантические категории обозначают такой класс языковых смыслов и референций, который сохраняет свою осмысленность при замене одного знака другим. Например, высказывание 3 + 2 = 5 остается осмысленным при замене знака «2» на знак «3», или, скажем, если знак «+» заменить на знак «-». Теряя при этом истинность, оно останется семантически определенным. В языке традиционной логики существует три общих класса семантических категорий: имя, функтор, высказывание.

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

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

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

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

а) простые и сложные (описательные): например, соответственно - земля и столица Республики Беларусь);

б) единичные (собственные) и общие (например, соответственно - Василь Быков и закон).

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

Высказывание – языковое выражение, содержащее истинную либо ложную мысль. Например, «Наполеон был императором Франции». Это – грамматически правильное, семантически определенное, четко сформулированное, завершенное повествовательное предложение. Например, «Простые числа делятся на два типа». Высказывание бывает истинным либо ложным. Это его логические значения. Например, высказывание «Солнце размерами больше Марса» является истинным, однако перестановка местами имен в этом высказывании приведет к ложному значению.

Выражение, служащее в высказывании средством образования новых осмысленных высказываний, называется функтором. Функтор не является ни именем, ни высказыванием. Это – служебное языковое образование, посредством которого так называемые аргументы образуют новое высказывание. Например, Если а = в, то 2а = 2в, 2 + 3 = 5. В этих примерах функторами выступают знаки математических связей: «=» и «+». Функторы бывают одноаргументными (Лес зазеленел), двухаргументными («Подлость опаснее лжи», 3 + 4 и т.д.). В традиционной логике двухаргументные функторы часто называют логическими союзами (логическими связками).

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

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

Пропозициональная функция выражает собой форму высказывания, в которой при подстановке вместо переменных соответствующих значений образуется семантически определенное высказывание. Например, х больше у, х открыл закон прибавочной стоимости. Пропозициональная функция, аргументы которой – имена, называется предикатом. Например, R является президентом фирмы. Предикат, обозначающий свойство предмета и имеющий одну переменную – имя, называется одноместным предикатом (А обозначает качество). Двух (n - местные) предикаты, располагая двумя и более количеством переменных обозначают отношения между именами – переменными: «а любит в», «а находится между в и с» и пр.

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

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

1) имя - А, В, С и т.д.;

2) функторы (логические константы) –

Щ - «и»;

Ъ - «или»;

® - «если, то»;

« - «тогда и только тогда, когда»;

щ, ЇЇЇ - «неверно, что»;

- «необходимо» ;

а - «возможно»,

предметные переменные – а, в, с;

пропозициональные переменные – p, q, r, s;

именная функция - а (х);

пропозициональная функция - х Р(х);

предикатор - P, Q, R; одноместный предикат - Р (х): (х имеет свойство Р); двухместный предикат Р (х; у): (х и у имеют отношение к Р);

скобки - (;);

квантор общности - " х (для всякого х верно, что…);

квантор существования - $ х (существует х, для которого верно, что…).

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

Задачи и упражнения

1. Вставьте пропущенные цифры и буквы в пустые квадраты, используя скрытые последовательности цифр и букв.

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

3. Составьте языковые выражения, отражающие:

а) отношение доказательства; б) отношение следования, в) осмысленное, но ложное высказывание; г) именную функцию; д) квантификацию существования.

4. Проведите сравнительную характеристику формализованного и естественного языков логики.

5. Преобразуйте пропозициональные и именные функции в истинные высказывания: а) х причина у; б) х – простое число; в) А – город в Беларуси; г) Х – автор романа «У»; д) между а и в расположено с; е) если р то q.

4. Формы и законы мышления

Ключевые слова: форма мысли, логический закон, логическое следование.

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

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

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

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

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

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

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

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

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

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

Основными формально-логическими законами считаются:

1. закон тождества: всякая мысль в процессе рассуждения должна быть тождественна самой себе. ((р → р): если р, то р). «Всякий человек – это человек», «Dura lex, sed lex» (суров закон, но закон).

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

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

4. закон достаточного основания: мысль является истинной, если она имеет достаточное для этого основание. (р → q); (р есть потому, что есть q). Доказанность мысли наступает лишь тогда, когда она опирается на обоснованные, существенные, основополагающие аргументы. Вот один из примеров: «Для того чтобы треугольник был равносторонним необходимо и достаточно, чтобы все его углы были равны».

Законы мышления – это проявление так называемого логического следования. Логическим следованием называется мыслительное отношение, которое существует между посылками (суждениями) и выводимыми из них заключениями (выводами). Логическое следование выступает своеобразной моделью построения мысли по принципу: когда из нашего высказывания р логически следует высказывание q и это высказывание истинно как р → q, то на этом основании новое высказывание щq → щ p также будет истинным. То есть, истинность высказывания р → q, гарантирует истинность высказывания щ q → щ р. Основным принципом логического следования является утверждение о том, что правильность более общей схемы гарантирует правильность менее общей схемы, но не наоборот.

Задачи и упражнения

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

а) понятие; б) суждение; в) умозаключение.

2. Являются ли следующие высказывания проявлением законов логики:

а) достаточного основания: «У человека повышена температура тела, следовательно, он заболел», «Данная мысль построена правильно, поэтому она истинна»;

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

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

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

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

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

Основоположником формальной логики является древнегреческий философ и ученый Аристотель (384-322 до н. э.), который впервые дал систематическое изложение логики. Логику Аристотеля и всю доматематическую логику обычно называют "традиционной" формальной логикой. Это первый этап развития науки логики. Традиционная формальная логика включала и включает такие разделы, как понятие, суждение, умозаключение, законы логики, доказательство и опровержение, гипотеза. Аристотель видел в логике орудие (или метод) исследования. В логике Аристотеля содержатся элементы математической (сомволической) логики.

Аристотель дал классификацию категорий - наиболее общих понятий - и классификацию суждений, формулировал три фундаментальных закона мышления - закон тождества, закон противоречия и закон исключенного третьего. Логическое учение Аристотеля замечательно тем, что в зародыше оно содержит, по существу, се позднейшие разделы, направления и типы логики - индуктивной, символической, диалектической. Термин "логика" вошел в научный борот несколько позднее, в III в. до н. э. Причем в соответствии с двуединым смыслом древнегреческого слова "1оgоs" (и "слово", и "мысль") он объединял и искусство мыслить - диалектику, и искусство рассуждать - риторику. Лишь в дальнейшем этим термином стала обозначаться собственно логическая проблематика, а диалектика и риторика выделились в самостоятельные отрасли знания.

Софисты, и среди них Протагор, стали трактовать диалектику как искусство вестей беседу, спор. Протагор учил, что о каждом предмете что-то можно утверждать и то же самой можно отрицать. Эти идеи изла­гаются философом в работе "Антилогии", известной нам лишь по преда­ниям. Согласно софистам, в каждом утверждении есть доля истины, и надо лишь уметь это обосновать. Единой абсолютной истины не сущест­вует, а есть лишь совокупность достоверных мнений, любая истина относительна: "Человек есть мера всех вещей". По Протагору в объекте познания в "текучей материи", заключаются противоположные "логосы"; реальность изменчива и противоречива; каждый человек познает то, что соответствует ему как познающему субъекту, поэтому он и выступает в качестве меры, критерия всех вещей, Протагор славился как мастер вести споры, чему даже посвятил одну из своих работ - "Искусство спора". Гноссеологическими предпосылками дискуссий, возникновения различных, иногда противоположных, взглядов Протагор считал различие жизненного опыта субъектов познания, сложность и многообразие объектов познания, противоречивость развития явлений и хода познания, а также субъективные особенности органов чувств и общественную обусловленность процесса познания. Слово "софист", происходящее от древнегреческого "софос" - мудрец, впоследствии, в результате односторонней критики софистов Платоном, приобретает отрицательный смысл. Поэтому необходимо отличать античных софистов от современных. "Характерным отличием софистики античной от софистики современной было применение ею гибкости понятий и субъективно, и объективно".

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

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

В средние века большой общественный резонанс получила проблема общих понятий - "универсалий". Спор о них между реалистами и номиналистами растянулся на столетия. В Средневековье развивается логика диспута. Схоластическая логика использовала метод дискуссии, предложенный П. Абеляром в работе: «За и против». Суть его состоит в следующем. Любой текст превращался в объект дискуссии. Первая часть дискуссии заключалась в обосновании «начал» («да»); вторая – в их опровержении («нет»); третья – столкновение «да» и «нет» с последующим торжеством «да». Этот прием был распространен впоследствии на область научных исследований.

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

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

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

Потребности научного познания не только в индуктивном, но и в дедуктивном методе в XVII в. наиболее полно воплотил французский философ и ученый Рене Декарт (1596-1650). В своем главном труде "Рассуждение о методе...", основываясь на данных прежде всего математики, он подчеркивает значение рациональной дедукции.

Второй этап - это появление математической (или символической) логики во второй половине ХIХ в.

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

Идеи Лейбница получили некоторую разработку в XVIII в. и первой половине XIXв. Немецкий философ по праву считается основоположником математической (символической) логики. Начиная с Лейбница, в логике используется в качестве метода исследования метод формализации. В XIX в. математическая логика получила интенсивное развитие в работах Д. Буля, Э. Шредера, П. С. Порецкого, Г. Фреге и других логиков.

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

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

Еще Аристотель поставил и попытался решить ряд фундаментальных проблем диалектической логики. Элементы диалектической логики постепенно накапливались в трудах последующих мыслителей Бэкона, Гоббса, Декарта, Лейбница. Однако как самостоятельная логическая наука, диалектичес­кая логика начала оформляться лишь в конце XVIII - начале XIX вв.

Первым, кто попытался ввести диалектику в логику, был немецкий фило­соф И. Кант (1724-1804). Кант считал, что логика есть "наука, обстоятельно излагающая и строго доказывающая одни только формальные правила всякого мышления...".

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

Попытку создать систему новой, диалектической логики предпринял другой немецкий философ - Г. Гегель (1770-1831) в своем основополагающем труде "Наука логики".

Контрольные вопросы

1. Каковы причины возникновения науки логики.

2. Кто считается основоположником формальной логики?

3. Какой логический метод исследования Ф.Бэкон считал наиболее универсальным для науки?

4. Какой ученый ХVII в. внес значительный вклад в развитие дедуктивного метода?

5. Что изучает символическая (математическая) логика?

6. Кто ввел в науку понятие «формальной логики»?

7. Кто создал в ХIХ в. наиболее развитую систему диалектической логики?