Формальная логика и другие виды логики

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

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

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

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

Современная логика как наука о законах и формах человеческого мышления включает в  себя две относительно самостоятельные  науки: логику формальную (классическую) и логику современную (неклассическую).

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

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

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

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

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

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

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

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

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

В.С. Меськов выделяет принципы классической логики:

1) область исследования  составляют обыденные рассуждения;

2) допущение о  разрешимости любой проблемы;

3) отвлечение от  содержания высказываний и от  связей по смыслу между ними;

4) абстракция двузначности  высказываний.

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

В процессе познания методы формальной логики дополняются  методами диалектической логики и наоборот. В развитие диалектической логики внесли определенный вклад Платон и Аристотель, отдельные идеи высказывались средневековыми философами и философами Нового времени. Классические формы придали ей Кант, Фихте, Шеллинг, Гегель. Диалектическая логика Гегеля является систематическим учением, хотя она и разработана с позиций объективного идеализма. Диалектическую логику на материалистической основе разработали К. Маркс, Ф. Энгельс, В.И. Ленин.

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

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

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

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

В развитие многозначной логики внесли свой вклад Я. Лукасевич, А. Гейтинг, С. Клини, Г. Рейхенбах, Д.А. Бочвар. Обобщенным вариантом многозначной логики является n-значная система (бесконечная логика), разработанная Э.Л.Постом.

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

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

6. Библиография 

1. Гейтманова А.Д. Учебник по логике. Москва 1995г.
2. Иванов Е.А. Логика. Москва 1996г.
3. Краткий словарь по логике. Под редакцией Горского. Москва Просвещение 1991г.
4. Кириллов В.И., Старченко А.А. Логика. Издание 5-е 1991г. Ивлев Ю.В. Курс лекций по логике. Издательство Московского университета 1988г.
5. Ивлев Ю.В. Курс лекций по логике. Издательство Московского университета 1988г.