Мышление и формы познавательной деятельности.
Основные исторические периоды развития логики.
- античный период в развитии логики (5 в. Д.н.э. – 5. В.н.э.)
- период средневековый (5-15 вв н.э.)
- от нового времени (16 в. до конца 19 века) до зарождение современной логики
- современная логика рубеж 19 в. (современно-формальная, симболическая, математическая и т.д.) до наших лет.
Краткий очерк истории развития логических учений. Отдельные компоненты логического знания формировались на протяжении тысячелетий в рамках различных культур и исторических общностей, неизменно сообразуясь с вопросами их практического применения. Так, в Древнем Китае в 7-3 вв. до н.э. изучением закономерностей, а также форм и способов мышления и познания занималась Минцзя («Школа имени»), Моцзя («школа моизма»), представители которых хотя и поставили многие вопросы традиционной логики, но не смогли им придать единой систематической формы. Они, тем не менее стремились к широкому внедрению логических приёмов мышления в научный оборот в целях «правильного употребления имен (понятий) по отношению к вещам. В Древней Индии в начале 1 тыс. до н.э. систематической разработкой правил логического вывода и заключений по аналогии занималась такая ортодоксальная школа философии, как Ньяя (санскр. – логика, правило рассуждений),мыслители которой во многом обобщили известные приёмы рассуждений используемые в диспутах представителями многочисленных конкурирующих философских школ и религиозных общин. Однако подлинным основателем логики как науки считается знаменитый древнегреческий философ Аристотель (384-322 гг. до н.э.), который в своих произведениях обобщил существующие правила рассуждения, систематизировал диалектику понятий, во многом придав классической логике традиционный вид, в силу чего её зачастую называют именно «аристотелевской». Следует отметить, что в Древней Греции логические приёмы размышления и доказательства применялись весьма широко в ораторском деле, при судопроизводстве, а также при доказательствах и опровержениях (не всегда, правда, логически корректных) чужих точек зрения мыслителями разных школ. В последующие века логика развивалась преимущественно как формальная дисциплина, исследующая основные формы мышления и правила его организации. Эта логика имела дедуктивный характер, т.е. исследовала лишь те логические выводы и виды рассуждений, которые непосредственно выткали из уже имеющегося знания, из аксиоматических категорий и положений. В 16 веке она обогащается за счёт исследования индуктивных умозаключений, имеющих большое значение в сфере научного познания. В последующем в результате развития математических дисциплин, непосредственно опирающихся на дедуктивные способы рассуждения, начинается процесс арифметизации логики и её трансформации в логику математическую. Это уже предполагало высокую степень формализации логического знания, введение пропозициональных и предметных переменных в её аппарат, а также приведение процесса рассуждения к оперированию логическими формулами высказываний. В 20 веке, тем не менее, появляются альтернативные традиционной формальной логике способы описания логических законов и рассуждений, задающих возможность многозначных и вероятностных логик вопреки двузначной аристотелевской, в которой любое суждение может быть либо «истинным», либо «ложным».
Наконец, при определении предмета логики необходимо отметить то обстоятельство, что формальная логика в качестве философской дисциплины традиционно рассматривается в противоположность логике диалектической. Их основное отличие состоит в том, что диалектическая логика исследует общие законы развивающегося бытия и познания, т.е. ставит собственно философские вопросы о характере протекающих мировых процессов, в то время как формальная логика изучает исключительно формы и приёмы человеческого мышления вне их привязки к конкретному содержанию, т.е. саму структуру мыслительного процесса, а не бытия в целом.
Логика как явление культуры.
Язык как информационная знаковая система. Семиотика как наука о знаках и знаковых системах. Синтаксический, семантический и прагматический аспекты языка. Естественные и искусственные языки. Язык – объект и метаязык. Семантически замкнутые и семантически незамкнутые языки.
Логика изучает различные формы мышления, которые необходимым образом выражаются при помощи языка: возможно что-либо помыслить, не прибегая к помощи слов, языковых выражений. Отсюда следует, что логика находится в тесной связи с семиотикой и лингвистикой – дисциплинами, исследующими знаковые и языковые системы, поскольку она не может обойти стороной языковой аспект выражения исследуемых ею форм мышления. Для того, чтобы вкратце очертить тот круг языковых проблем, с которыми приходится сталкиваться логике, необходимо для начала определить понятие языка, а также контекст его употребления.
В самом широком смысле язык понимается как система знаков, предназначенная для хранения, переработки и передачи информации, что подчёркивает его особое значение как источника культурных данных – знаний и опыта всего человечества, передаваемых из поколения в поколение. При этом, поскольку язык определяется как знаковая система, следует отметить, что под знаком здесь подразумевается такой объект, который может использоваться для замещения какого-либо иного объекта. Таким образом, в частности, является слово, отдельное понятие, которое замещает реальный объект, им обозначаемый: употребляя слово «самолёт», мы не испытываем уже необходимости в непосредственном наблюдении обозначенного объекта при условии, что наш собеседник и мы сами владеем смыслом и значением данного выражения.
Для того, чтобы более точно уяснить природу знака, можно обратиться к фигуре семантического треугольника, задающего структуру знака и исследуемого ещё в рамках стоической школы античной философии.
Значение смысл
референт
В основании треугольника лежит понятие референта, того объекта, который обозначается с помощью знака и им замещается. Двумя же оставшимися вершинами треугольника являются понятия значения и смысла знака, которые в данном случае различаются несмотря на то, что обычно они в языке отождествляются. Значение знака называется его связь с обозначаемым предметом, т.е. референтом: если такая связь присутствует, то знак обладает реальным или номинальным значением, если же связь отсутствует (например, понятие «дракон», у которого отсутствует референт в действительности), то значение знака является пустым. Смыслом знака считается его связь с другими знаками внутри некоторой системы, позволяющая отличать этот знак от других, ему подобных. Иными словами, в рамках языковой системы любой знак обладает некоторым смыслом, однако не каждый знак имеет своё значение.
В качестве знаковой системы язык обладает собственными правилами организации и структурирования материала, что непосредственно сказывается на характере выражения форм человеческого мышления. Прежде всего, так называемые естественные языки, сформировавшиеся исторически в качестве национальных (русский, английский и т.д.), накладывают определённые существенные ограничения на возможность правильного и адекватного выражения мыслей в связи с некоторыми их особенностями:
Многозначностью – например, слово «лук» может обозначать несколько различных по смыслу объектов, что вне контекста установить невозможно;
Некомпозициональностью – смысл некоторых выражений является неочевидным в связи с отсутствие определённости в способе построения (композиции) фразы, например, выражение «он встретил её на балконе в чёрном плаще» позволяет себя прочитывать в нескольких смыслах исходя из того, с каким местоимением соотносить дополнения «на балконе» и « в чёрном плаще»;
Автореферентностью – смысл отдельных слов и выражений в языке определяется через смысл других слов, которые, в свою очередь, определяются через предыдущие, образуя в целом замкнутую смысловую систему. Что, впрочем, характерно для большинства знаковых систем. В результате смысл отдельных слов невозможно определить без полного усвоения всей знаковой системы, что не всегда оказывается возможным.
Для устранения этих существенных недостатков естественных языков в логике предпринимались неоднократные попытки построения искусственных языков со строгой семантикой, однозначностью и определённостью построения выражений. Большинство используемых искусственных языков сейчас применяется в научных или производственных сферах, требующих максимальной точности выражения за счёт ограничения сферы выражаемых смыслов (таковы языки математики, программирования и др.).
Однако на каких бы основаниях ни строился язык, в качестве знаковой системы он остаётся не свободен от определённых внутренних противоречий, которые, как правило, невозможно разрешить за счёт внутренних ресурсов самого языка. Такого рода противоречия получили наименование семантических парадоксов, поскольку связаны они со сложностями и неразрешимыми трудностями знакового употребления внутри самого языка. Примеры таких парадоксов известны ещё из античности, в частности приписываемый античному философу, представителю Мегарской школы, Эвбулиду парадокс «Лжец», который в корректоной формулировке звучит так: «является ли лжецом тот, кто утверждает, что он лжёт». Если утверждающий, что он лжёт, говорит правду, то он лжёт исходя из смысла его собственного утверждения; в том же случае, если он лжёт, утверждая, что лжёт, то он должен говорить правду, что возвращает нас к началу рассуждения. Схематически это можно представить следующим образом: Лжец утверждает, что он лжёт
истина
ложь
(утверждение
лжеца истинно) (утверждение лжеца
ложно)
ложь истина
(лжец лжец) (лжец говорит правду)
Данный парадокс приводит размышление к движению по замкнутому кругу. В других случаях парадоксы проблематизируют неоднозначность и неопределённость употребления понятий и языковых выражений, как, например, античный парадокс «Куча»: если один камень, два камня и т.д. не образуют кучу, то возникает закономерный вопрос, при каком же количестве камней она в результате образуется. Для решения большинства парадоксов необходимо выходить за рамки той знаковой системы, в которой они были сформулированы, и решать их соответственно уже на уровне метаязыка, обладающего для этого подходящими ресурсами, используя при этом в качестве методологической основы математическую теорию множеств.
Учитывая эти многообразные языковые проблемы и парадоксы, логика учит не только избегать формальных ошибок, связанных с нарушением законов и правил мышления, но и по возможности корректно употреблять языковые выражения, а также ставить и решать непротиворечивые вопросы и задачи исходя из особенностей языка как знаковой системы.