Логика формальная, диалектическая, математическая

 

 

СОДЕРЖАНИЕ

 

 

 

 

 

ВВЕДЕНИЕ

 

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

Цель работы: определить разницу между формальной, диалектической и математической логикой.

Задачи работы:

- дать  определение науке логике

- рассмотреть  историю, предмет и метод формальной  логики

- изучить  принципы, методы и законы диалектической  логики

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

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

 

1 Логика как наука

 

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

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

В любой науке логика служит одним из основных инструментов.

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

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

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

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

 

 

2 Формальная логика

 

В формальной логике семиотической категорией является суждение (высказывание) – повествовательное предложение. Предложение высказы-вает мысль по своему логическому значению истинную или ложную.

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

- содержательных  способов рассуждений на естественном  языке;

- выявление  наиболее общих свойств и отношений  между предметами и явлениями;

- фиксации  свойств и характеристик самих  мыслей и отношении между ними.

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

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

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

 

2.1 История

 

Автором первой системы формальной логики считается Аристотель, который ввёл понятие силлогизма и переменных, которыми он обозначал термины силлогизма.

По Канту, формальная логика (в «Критике чистого разума» она названа «общей») отвлекается от содержания понятий и имеет дело только с их формой:

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

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

Но так как существуют и чистые и эмпирические созерцания… можно ожидать, что и мыслить предметы можно различно…

В таком случае должна существовать логика, абстрагирующаяся не от всякого содержания познания…3

 

2.2 Предмет и метод формальной  логики

 

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

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

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

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

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

Претензии формальной логики на роль теории мышления несостоятельны, поскольку:

- её понятия  описывают не мышление в целом, а лишь его знаковую форму, и то неполно;

- в её  понятиях не учитывается зависимость  строения и правил преобразования  этой формы от содержания;

- её понятия  не отражают различия между  мышлением и его продуктами, (знаниями);

- её понятия  не могут объяснить образование  сложных знаний;

- её метод  несовместим с историческим подходом  к исследованию мышления.

 

 

 

3 Диалектическая логика

 

Диалектическая логика – философский раздел марксизма. В широком смысле понималась как систематически развёрнутое изложение диалектики мышления: диалектическое изложение науки о научно-теоретическом мышлении ("диалектики как логики"), которая тем самым является и научной теорией познания объективного мира. В узком смысле понималась как логическая дисциплина о формах правильных рассуждений4.

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

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

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

 

3.1 Принципы и методы диалектической  логики

 

Принцип соответствия мышления действительности

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

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

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