Добавил:
ivanov666
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз:
Предмет:
Файл:Логика. Учебное пособие-2.pdf
11
С помощью софизмов действительно можно было
доказать все, что хочешь. Древнеримский философ Сенека
сравнивал софизмы с искусством фокусника, относительно
манипуляций которого мы не можем сказать, как они
совершаются, хотя и твердо знаем, что в действительности
все делается совсем не так, как это нам кажется.
Со временем софизмы начинают критиковать, как
умышленный обман с целью выдать ложь за истину.
Однако софисты сделали свое дело: они привлекли
внимание философов к проблемам мышления, его
правилам и формам, которые должны привести не к
сиюминутной выгоде, а к Истине.
Основателем логики считается великий
древнегреческий философ Аристотель (384-322 до н.э.). В
своих логических трудах, получивших общее название
«Органон» (от греч.– «орудие познания») он разработал
учение о трех формах мышления (понятие, суждение,
умозаключение), исследовал метод дедуктивного
рассуждения, сформулировал три основных закона логики.
Свою логику Аристотель называл формальной,
подчеркивая ее относительную независимость от
содержательной стороны мышления.
Так закладывались основы формальной логики,
которая прошла два основных этапа в своем развитии.
Основанием деления на эти этапы служит различие
применяемых в логике средств и методов исследования.
Начало первого этапа связано с работами Аристотеля,
основным содержанием которых была теория дедукции
(направленность рассуждении от общего знания к
частному), хотя философ уделял внимание и многим
другим проблемам логики как обобщению
предшествующей практики мышления.
12
Логические исследования были продолжены
античной школой стоиков. Затем логика получила развитие
в средние века и в эпоху Возрождения. Дальнейшее
развитие аристотелевской логики связан с именем
английского философа Ф.Бэкона (1561-1626), который
стал родоначальником индуктивной логики
(направленность рассуждения от частного знания к
общему), необходимой для развития эмпирической,
опытной науки. Индуктивная логика была позднее
систематизирована и развита английским философом и
ученым Дж.С. Миллем (1806-1873).
Дальнейшее развитие логики связано с именами
выдающихся западноевропейских мыслителей: Р.Декарта,
И.Канта, Г.Лейбница и др. Г. Лейбниц (1646-1716), в
частности, сформулировал четвертый основной закон
логики – закон достаточного основания. Им была
предложена программа математизации логики, то есть
создания полностью формализованной логики, что
позволило бы применить математические методы к
решению логических проблем. Эта программа была
реализована лишь в ХХ веке, и это было началом нового
этапа в развитии формальной логики - логики
математической (или символической).
Современная символическая логика – интенсивно
развивающаяся область логических исследований,
включающая множество разделов или, как их принято
называть, неклассических логик: модальная логика,
многозначная логика и т.д.
13
1.3. Основные законы логики
Закон логики (логический закон, как его понимают
в классической логике) – это необходимая, существенная,
устойчивая связь мыслей в процессе рассуждения.
Логические законы обусловливают правильность
рассуждения. Правильным называется рассуждение,
построенное в соответствии с требованиями законов
логики. Однако надо помнить, что формально правильное
рассуждение не всегда приводит к истинному результату,
так как помимо формы мышление имеет и другую сторону
– содержание. Мысль является истинной, если она
соответствует действительности; в противном случае
мысль является ложной. Всякое рассуждение приведет к
истинному результату, если оно является истинным по
содержанию и правильным по форме.
Как уже говорилось ранее, в истории логики были
сформулированы 4-е основные закона логики. Три из них
были сформулированы Аристотелем. К ним относится:
1. Закон тождества: «Всякая мысль в процессе
одного рассуждения должна быть тождественна самой
себе». Этот закон формулирует важнейший принцип
определенности мышления, запрещая менять содержание
мысли и вкладываемый в понятия и суждения смысл без
специальных оговорок и переобозначений.
Из закона тождества следует: нельзя отождествлять
различные мысли, нельзя тождественные мысли принимать
за нетождественные. Нарушение этого требования в
процессе рассуждения нередко бывает связано с
различным выражением одной и той же мысли в языке.
Например, два высказывания: «Иванов совершил
кражу» и «Иванов тайно похитил чужое имущество» выражают одну и ту же мысль (если, разумеется, речь идет
14
об одном и том же лице), так как кража и есть тайное
хищение чужого имущества. Поэтому было бы ошибочным
рассматривать эти мысли как нетождественные. С другой
стороны, употребление многозначных слов может
привести к ошибочному отождествлению различных
мыслей. Большинство слов естественного языка
многозначны по своей природе, что может придавать
нашим мыслям неопределенный, двусмысленный характер.
Например, высказывание «Ученики
прослушалиразъяснения учителя»можно понять по-
разному: ученики внимательно слушали учителя, или,
наоборот, пропустили его разъяснения. Поэтому люди
часто думают, что говорят одно и то же, но на самом деле
имеют в виду разные вещи. Это приводит к
недоразумениям, к недопониманию друг друга, к путанице
в рассуждениях. Чтобы этого избежать вводится
нормативное правило (принцип) – «закон тождества»
2.Закон непротиворечия: «Два несовместимых
друг с другом высказывания не могут быть
одновременно истинными, по крайней мере, одно из
них с необходимостью ложно». Этот закон формулирует
важнейший принцип непротиворечивости правильного
мышления, указывая, что нельзя, утверждая что-либо о
каком-либо предмете (явлении действительности), в то же
самое время утверждать о нем и нечто противоречащее.
Например, нельзя одновременно утверждать, что
«Иванов – отличник» и «Иванов – двоечник». Понятно,
что, по крайней мере, одно из них будет ложным, хотя
могут быть и оба ложны, но никогда они не могут быть
одновременно истинными. Однако не будет противоречия
между высказываниями, если в одном из них утверждается
принадлежность предмету одного признака, а в другом –
отрицается принадлежность этому же предмету другого
15
признака; и если речь идет о разных предметах или об
одном предмете, но в разное время (или предмет
рассматривается в разных отношениях). Указанные
условия есть логические границы применимости закона
непротиворечия: речь в двух высказываниях должна идти
об одном и том же предмете, взятом в одном и том же
отношении и в одно и то же время.
3.Закон исключенного третьего: «Истинно само
высказывание или его отрицание – третьего не дано».
Закон устанавливает связь между двумя противоречащими
высказываниями, когда одно из них утверждает наличие
некоторого признака у предмета, а другое отрицает этот же
признак у данного предмета. Эти высказывания не могут
быть одновременно ложными, одно из них с
необходимостью истинно.
Например: «Иванов – отличник» и «Иванов не
отличник». Одно из этих высказываний с необходимостью
ложно. Этот закон имеет те же логическиеграницы
применимости, что и предыдущий закон: речь должна идти
об одном и том же предмете, взятом в одном и том же
отношении и в одно и то же время. Закон имеет широкое
применение в практике доказательства от противного.
4.Закон достаточного основания был
сформулирован Лейбницем позже, когда необходимо было
разработать логическую основу теоретической науки,
логически корректную схему обоснования истинности ее
выводов. Закон этот гласит: «Всякая мысль признается
истинной, если для этого есть (приводятся)
достаточные основания».Такими достаточными
основаниями могут быть: эмпирические данные личного
опыта; общечеловеческий опыт, зафиксированный в
законах науки; всякая другая мысль, истинность которой
доказана ранее и из которой с необходимостью следует
16
истинность данной мысли. Из этого закона вытекает
требование, чтобы ничто не принималось просто так, на
веру. В случае каждого утверждения, особенно в науке,
следует указывать основания, в силу которых оно
признается истинным.
1.4.Мышление и язык.
Мышление человека неразрывно связано с языком.
Объясняется это тем, что мышление абстрактно по своей
природе. Какая бы мысль ни возникла в голове человека,
она может возникнуть и существовать только в языковой
форме. Язык выступает материальной оболочкой мыслей, и
потому выявление логических структур мышления
возможно только путем анализа языковых выражений.
Язык – это знаковая информационная система,
выполняющая функцию формирования, хранения и
передачи информации в процессе познания
действительности и общения между людьми.
Знак – это любой чувственно воспринимаемый
(зрительно, на слух или иным способом) предмет,
выступающий представителем другого предмета. Среди
различных знаков, прежде всего, выделяют два вида:
знаки-образы и знаки-символы.
Знаки-образы имеют определенное сходство с
обозначаемыми предметами. Примеры таких знаков: копии
документов, фотоснимки, некоторые дорожные знаки с
изображением людей и т.д.
Знаки-символы не имеют сходства с
обозначаемыми предметами.
Например: нотные знаки, знаки азбуки Морзе,
буквы в алфавитах национальных языков.
17
По происхождениюязыки бывают естественные и
искусственные.
Естественные языки – это исторически
сложившиеся в обществе звуковые (речь), а затем и
графические (письмо) информационные знаковые системы.
Они возникли для закрепления и передачи накопленной
информации в процессе общения между людьми.
Естественные языки выступают носителями многовековой
культуры народов. Они отличаются богатыми
выразительными возможностями и универсальным
охватом самых различных областей жизни.
Искусственные языки – это вспомогательные
знаковые системы, создаваемые на базе естественных
языков для более точной передачи информации. Слова
искусственных языков отличаются строгостью значений,
однозначностью. Строгостью отличаются и правила их
использования. Искусственные языки различной степени
строгости широко применяются в современной науке и
технике.
Особую группу составляют смешанные языки, базой
для которых выступают естественные (национальные)
языки, дополняемые однозначно понимаемыми терминами
и условными обозначениями. Если язык полностью
записывается краткими символами, то такой язык
называется формализованным. В логике используется
смешанный язык (частью которого является
формализованный язык), который структурно отражает и
точно следует за смысловыми характеристиками
естественного языка.
Формализованный язык логики включает:
1. «логические переменные», то есть символы,
которые заменяют содержательные элементы речи.
18
К ним относятся, во-первых «имена» (символы,
обозначающие предметы и их признаки) –
обозначаются, как правило, большими буквами
латинского алфавита: A, B, C, Dи т.д.; во-вторых,
«высказывания» (символы, обозначающие языковые
выражения, представленные предложениями) –
обозначаются маленькими буквами латинского
алфавита: a, b, c, dи т.д.
2. «логические постоянные», то есть символы для
обозначения логических связок или количественных
характеристик высказываний, логических связок
имен. К логическим связкам относятся:
-конъюнкция (в русском языке ей соответствует
соединительный союз «и»);
-дизъюнкция (в русском языке ей соответствует
разделительный союз «или»);
-строгая(сильная)дизъюнкция (в русском языке ей
соответствует строго разделительный союз «либо –
либо»);
- импликация (в русском языке ей соответствует
условный союз «если…, то…»);
-эквиваленцияили двойная импликация (в русском
языке ей соответствует сложный союз «если и только
если…, то…»);
- отрицание(«неверно, что»);
и некоторые другие символы.
Используются в формализованном языке логики и
некоторые технические знаки, например, разнообразные
скобки и т.д.
19
КОНТРОЛЬНЫЕ ВОПРОСЫ К ГЛАВЕ 1
1) Каково значение термина «логика»?
2) Каков предмет науки логики?
3) Когда и в силу каких условий возникает наука
логика?
4) Какой вклад в развитие логики внес Аристотель?
5) Почему Аристотель назвал свою логику
формальной?
6) На какие два этапа делится история формальной
логики?
7) Что такое логическая форма мысли?
8) В чем отличие истинности мысли от логической
правильности мышления?
9) Что такое закон мышления?
10) Сформулируйте основные законы логики? Какие
принципы правильного мышления следуют из этих
законов?
11) Какова связь мышления с языком?
12) Виды языков, в чем их различия?
13) Какие символы используются в формализованном
языке логики?
УПРАЖНЕНИЯ К ГЛАВЕ 1
1.Установите, какие из следующих высказываний
имеют одинаковую логическую форму:
(1) Все элементы первой группы таблицы Менделеева
– щелочные металлы.
(2) Религия не является наукой.
(3) Некоторые преступления являются
неумышленными деяниями.
20
(4) Ни один студент нашей группы не имеет
академической задолженности.
(5) Все адвокаты – профессиональные юристы.
(6) Никто из присутствующих не знает его.
(7) Кит не рыба.
(8) Некоторые жидкости – электропроводные вещества.
(9) Ни одна научная теория не обладает абсолютной
точностью.
(10) Некоторые растения не являются
съедобными.
2. Тождественны ли следующие понятия:
(1) Жираф. Самое длинношеее животное.
(2) Композитор. Человек, сочинивший музыку.
(3) Самая высокая вершина земного шара. Гора
Эверест.
(4) Непомерные притязания. Источник наших горестей.
(5) Грубость. Результат плохого воспитания.
(6) Ложь. Заблуждение. Ошибка.
(7) Четное число. Число, кратное 2.
(8) Контратака. Ответные действия на атаку
противника.
(9) Адвокат. Защитник.
(10) Житель Москвы. Москвич.
3. Подберите понятия, которые равнозначны
следующим:
(1) Студент.
(2) Треугольник.
(3) Точка зрения.
(4) Независимое государство.
(5) Ложь.
(6) Преступление.