Главная arrow Информатика arrow Введение в логику
Как начинался компьютер
Компьютерная революция
Двоичный код
Разработки военных лет
Интегральные микросхемы
Микрокомпьютер
Персоны
Сеть
Язык компьютера
Развитие ПО
Гибкие системы
Средства разработки
Информатика
Вычислительная наука
Операционные системы
Искусственный интеллект
Предыстория
Поиск
Знания и рассуждения
Логика
Робототехника
 

 
Введение в логику Печать

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

Важную роль в логике играет понятие формы мышления. Логику можно даже называть наукой о формах мысли. Нельзя объяснить в нескольких словах, что они собой представляют. На этой начальной стадии ознакомления с данной наукой представляется возможным продемонстрировать их лишь с помощью примеров. Возьмем две пары таких суждений (1 и 2):

1. Некоторые розы красные.

Все розы – цветы.

2. Некоторые озера соленые.

Все озера – водоемы.

Можно ли сделать из них какие-либо выводы? Вдумавшись в их смысл, каждый согласится, что из пары (1) можно заключить: “Некоторые цветы красные”, а из пары (2) – “Некоторые водоемы соленые”. В целом получается два рассуждения; их называют умозаключениями, причем данная, взятая нами для примера разновидность их, называется в логике силлогизмом. В полном виде эти умозаключения записываются следующим образом:

1. Некоторые розы красные.

Все розы - цветы.

Некоторые цветы красные.

2. Некоторые озера соленые.

Все озера - водоемы.

Некоторые водоемы соленые.

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

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

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

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

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

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

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

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

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