Диалектика и формальная логика

СОДЕРЖАНИЕ

СОДЕРЖАНИЕ                           2

ВВЕДЕНИЕ                 3

1 ОПРЕДЕЛЕНИЕ ЛОГИКИ И ИСТОРИЯ ЕЕ РАЗВИТИЯ          4

2 ДИАЛЕКТИКА И ФОРМАЛЬНАЯ ЛОГИКА  6

3ДИАЛЕКТИКА КАК ПОЗНАНИЕ   15

4 ОСНОВНЫЕ МЕТОДОЛОГИЧЕСКИЕ ПРИНЦИПЫ ФОРМАЛЬНОЙ И ДИАЛЕКТИЧЕСКОЙ ЛОГИКИ    18

ЗАКЛЮЧЕНИЕ      22

СПИСОК ИСПОЛЬЗОВАННОЙ ЛИТЕРАТУРЫ    23

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ВВЕДЕНИЕ

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

 

 

 

1 ОПРЕДЕЛЕНИЕ ЛОГИКИ И ИСТОРИЯ ЕЕ РАЗВИТИЯ

Логика же есть наука, которая показывает, как должно совершаться мышление, чтобы была достигнута истина; каким правилам мышления должно подчиняться для того, чтобы была достигнута истина. Таким образом, логика может быть определена как наука о законах правильного мышления, или наука о законах, которым подчиняется правильное мышление.            Термин “логика” применительно к науке о мышлении впервые был введен стоиками, выделившими под этим названием лишь ту часть действительного участия Аристотеля, которая согласовывалась с их собственными представлениями о природе мышления. Самоназвание “логика” производилось ими от греческого термина “логос” (который буквально означает “слово”), а указанная наука сближалась по предмету с грамматикой и риторикой. Средневековая схоластика, окончательно оформившая и узаконившая эту традицию, как раз превратила логику в простой инструмент (“органон”) ведения словесных диспутов, в орудие истолкования текстов “священного писания”, в чисто формальный аппарат. В результате оказалось дискредитированным не только официальное толкование логики, но даже и само название ее. Выхолощенная “аристотелевская логика” поэтому и утратила кредит в глазах всех выдающихся естествоиспытателей и философов нового времени [1, с.232].  Признание непригодности официальной схоластически-формальной версии логики в качестве “органона” действительного мышления, развития научного знания – лейтмотив всей передовой философской мысли того времени. “Логика, которой теперь используются, скорее служит укреплению и сохранению заблуждений, имеющих свое основание, в общепринятых понятиях, чем отысканию истины. Поэтому она более вредна, чем полезна”, - констатирует Фрэнсис Бэкон. “…В логике ее силлогизмы и большая часть других ее наставлений скорее помогут объяснить другим то, что нам известно, или даже, как в искусстве Луллия, бестолково рассуждать о том, чего не знаешь, вместо того, чтобы изучать это”, - вторит ему Ренэ Декарт [2, с.134].  

Джон Локк полагает, что “силлогизм в лучшем случае есть лишь искусство вести борьбу при помощи того небольшого знания, какое есть у нас, не прибавляя к нему ничего”. На этом основании Декарт и Локк считали необходимым отнести всю проблематику прежней логики в область риторики. Поскольку же логика сохраняется как особая наука, то она единодушно толкуется не как наука о мышлении, а как наука о правильном употреблении слов, имен, знаков. Гоббс, например, развивает концепцию логики как исчисления слов-знаков.        Однако и Р. Декарт, и Г. Лейбниц, в отличии от Гоббса, прекрасно видели принципиальные трудности, стоявшие на пути осуществления этой идеи. Декарт понимал, что определения терминов в “универсальном языке” не могут быть продуктом полюбовного соглашения, а должны быть получены только в результате тщательного анализа простых идей, из которых, как из кирпичиков, складывается весь интеллектуальный мир людей; что сам точный язык “всеобщей математики” может быть лишь чем-то производным от “истинной философии”. Только тогда удалось бы заменить мышление о вещах, данных в воображении (т.е. по тогдашней терминологии, в созерцании), вообще в реальном чувственно-предметном опыте людей, своего рода “исчислением терминов и утверждений” и сделать умозаключения стол же безошибочными, как и решения уравнений [3, с.98].  Вместо того разделения философии на три разные науки, которое Дж. Локк копирует у стоиков (логика, физика и этика), Лейбниц предпочитает говорить о трех разных аспектах, под которыми выступает одно и то же знание, одни и те же истины, - теоретическом (физика), практическом (этика) и терминологическом (логика). Прежней логике здесь просто соответствует терминологический аспект знания, или, по выражению Лейбница систематизация знания по терминам в справочнике. Разумеется, такая систематизация, даже самая лучшая, не есть наука о мышлении, ибо Лейбниц имел о мышлении более глубокое представление. А подлинное учение о мышлении он относил к метафизике, следуя в этом смысле терминологии и сути логики Аристотеля, а не стоиков [1, с.120].       Диалектическая логика также имеет древнее происхождение. Идеи диалектики мышления восходят к древневосточной и античной философии. Основные категории диалектической логики использовались уже в ранней греческой классике /VI – V вв. до н.э./, однако они не были объединены в систему, и диалектическая логика была далека от выделения в самостоятельную науку. В развитие диалектической логики внесли определенный вклад Платон и Аристотель, отдельные идеи этой логики высказывались средневековыми философами. Классические формы диалектической логике придали немецкие философы Нового времени Кант, Фихте, Шеппинг и в особенности Гегель. Диалектическая логика Гегеля является систематическим учением, хотя она и разработана в позиции объективного идеализма [4, с.78].        

 

2 ДИАЛЕКТИКА И ФОРМАЛЬНАЯ ЛОГИКА

 

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

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

В новое время к учению Аристотеля о силлогизме была добавлена теория индуктивных умозаключений, разработанная рядом мыслителей, в том числе и Ф. Бэконом. Таким образом и сформировалась традиционная, или классическая, формальная логика, особенности которой состоят в следующем [5, с.8-11]:

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

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

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

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

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

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

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

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

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

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

Формальная логика развивается не только в связи с возникновением новых форм мышления, но и в результате использования новых средств и приемов изучения своего предмета. Так, крупным этапом в развитии формальной логики было возникновение нового направления в ней — математической логики, явившейся следствием, с одной стороны, применения новых приемов логических исследований, а с другой стороны, изучения таких форм доказательства, которые ранее либо в развитой форме вообще не существовали, либо подробно не анализировались логикой [3, с.115].

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

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

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