Диалектическая логика (марксистская логика)

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

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

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

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

7. Основные направления развития логики 20 века.

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

Огромный вклад в развитие символической логики внесли такие учёные, как Дж. Буль, О. де Морган, Г. Фреге, Ч. Пирс и др. В XX веке математическая логика оформилась в качестве самостоятельной дисциплины в рамках логической науки.

Начало XX века ознаменовалось становлением идей неклассической логики, многие важные положения которой были предвосхищены и/или заложены Н. А. Васильевым и И. Е. Орловым.

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

В 80-х годах XX века начались исследования в области искусственного интеллекта на базе языков и систем логического программирования. Началось и создание экспертных систем с использованием и развитием автоматического доказательства теорем, а также методов доказательного программирования для верификации алгоритмов и программ для ЭВМ.

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