Логика в системе культуры

Тема ЛОГИКА В СИСТЕМЕ КУЛЬТУРЫ

1. Исторические  и структурные(функциональные) формы  логического знания.

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

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

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

Первая половина 19 века в связи  с новыми особенностями общественного  развития ознаменовалась возникновением нового направления – диалектической логики, создателем которой являлся немецкий философ-идеалист Гегель (1770-1831). Диалектическая логика изучает законы развития мышления человека, возникновение, изменение и развитие логических форм, соотношение и взаимопереходы между ними.

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

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

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

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

 

2.Предмет логики.Логическая форма  и логический закон.

Предметом формальной (традиционной) логики являются законы и формы правильного мышления.

Предмет формальной логики составляют:

1. Формы мыслительного  процесса - понятие, суждение, умозаключение,  гипотеза, доказательство и др.;

2. Формально-логические  законы, которым подчиняется абстрактное мышление в процессе познания объективного мира и самого мышления;

3. Методы получения  нового выводного знания - сходства, различия, сопутствующих изменении,  остатков и др.;

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

Таким образом, логика, в наиболее широком понимании ее предмета, исследует структуру абстрактного мышления, раскрывает лежащие в его основе закономерности.

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

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

 Логическая  форма и логическое содержание  мысли.

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

Исследование  логических форм безотносительно к их конкретному содержанию и составляет важнейшую задачу науки логики. Отсюда и ее название - формальная.

Выделяют три  логические формы или формы мышления:

1. Понятие. 

2. Суждение

3. Умозаключение

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

Принципы  формальной логики

Мышление человека подчинено логическим законам, или  законам мышления.

Любой закон - это  связь. Логический закон - это связь между мыслями. Но не всякая связь закономерна, а только такая, которая имеет:

1. необходимость
2. существенность

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

Выделяют четыре закона мышления, которые иногда называются принципами формальной логик, это:

1. Закон тождества

2. Закон не  противоречия

3. Закон исключённого  третьего

4. Закон достаточного  основания.

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

1. Закон тождества - делает мышление определённым.

«Всякая мысль  в процессе рассуждения должна быть тождественна самой себе». Это означает, что любое понятие, суждение, мысль должны иметь одно содержание на всём протяжении мысли.

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

3. Закон  исключённого третьего. Он уточняет закон непротиворечия и действует в противоречивых суждениях.

«Из двух противоречивых суждений одно истинно, другое ложно. А  третьего не дано». Т.е. из двух отрицающих суждений одно непременно истинно.

4. Закон  достаточного основания запрещает что-либо принимать не веру.

«Всякая мысль  истина, если имеет достаточное основание». Мысль признаётся истинной, если она  достаточно обоснована. Только истинную мысль можно обосновать.

В качестве обоснования используют:

А) Личный опыт человека;

Б) Общечеловеческий опыт (законы науки, теории, аксиомы  и т.д.)

3 Язык логики.

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

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

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

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

Легко убедиться, что в языке логики синтаксический анализ чрезвычайно прост и однозначен.

ЛОГИЧЕСКАЯ ГРАММАТИКА

Формализованный язык логики существует в двух вариантах:

• язык логики предикатов
• язык логики высказываний.

Структура языка логики предикатов отражает смысловые характеристики естественного языка.

Логику предикатов рассматривают через теорию семантических категорий.

Деление языковых выражений на семантические категории, широко используемое в логике, напоминает это грамматическое подразделение и в принципе произошло из него. На этом основании теорию семантических категорий иногда называют "логической грамматикой". Ее задача - предотвращать смешение языковых выражений разных типов, которое ведет к образованию бессмысленных выражений, подобных "Квадратичность пьет воображение" или "Если дует ветер, то звезда". (Ивин А.А.)

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

Примеры: Возьмём  высказывания: ``Сократ - человек'', ``Платон - человек''. Оба эти высказывания выражают свойство ``быть человеком''. Таким образом, мы можем рассматривать предикат ``быть человеком'' и говорить, что он выполняется для Сократа и Платона.

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

К семантическим категориям относятся:

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

2) выражения, играющие  определенную роль в составе  предложений: дескриптивные и логические термины.

К дескриптивным (описательным) семантическим категориям языка относятся: имена (знаки предметов), nредикаторы (знаки свойств и отношений), функциональные знаки.

1. Имена - это слова или словосочетания, обозначающие какой-либо предмет.

Различают простые имена, состоящие из одного слова, например: «книга», «воробей», «песня»; сложные имена, которые состоят из двух слов, например: «город-герой», И описательные имена, состоящие из частей, имеющих самостоятельный смысл, например: «самая высокая горная вершина». Единичное имя обозначает один предмет и представлено в языке именем собственным, например: «А.П. Чехов», или представлено описательно. Общее имя обозначает класс однородных предметов и в языке представлено именем нарицательным, например «закон», или дается описательно, например«действующий вулкан».

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

А) Знаки свойств - характеристики отдельных предметов ( синий, горький, пьяный, шумный).

Б) Знаки отношений - связь между двумя и более предметами (больше чем, брат, красивее чем)