Логика. Основные понятия (коллектив авторов)

[papa_som]

Логика   -   это   нормативная   наука   о   формах   и   приемах

интеллектуальной познавательной деятельности, осуществляемой с помощью

языка.

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

мыслит на самом деле, почему он мыслит так, а не иначе, каковы

особенности мышления различных групп населения (социальных, возрастных,

национальных и т.п.). Поэтому такие имеющие широкое хождение выражения,

как "женская логика", "логика ребенка", "логика классовой борьбы", к

проблематике логики как науки никакого отношения не имеют.

Задача логики состоит в том, чтобы ответить на другой вопрос: как мы

/должны /мыслить, если хотим достичь цели познавательного процесса -

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

образом, является наукой /не о сущем, а о должном, /наукой /нормативной.

/Она вырабатывает нормы, критерии правильности осуществления

интеллектуальных процедур, формируя тем самым некий канон, стандарт,

идеал, следование которому является необходимым условием успешного

осуществления научной и вообще любой рациональной деятельности.

*Умозаключение является правильным, если и только если его логическая

форма гарантирует, что при истинности посылок мы обязательно получим

истинное заключение, то есть не существует умозаключения данной формы с

истинными посылками и ложным заключением.*

Всякое высказывание может быть оценено как /истинное /или /ложное

/("истина" и "ложь" - возможные значения высказываний). Причем в

классической логике эти термины трактуются следующим образом:

высказывание истинно тоща и только тогда, когда описываемое в нем

положение дел имеет место в действительности, в противном случае оно

ложно. Например, высказывание "Медь электропроводна" истинно, поскольку

свойство электропроводности присуще меди. Высказывание "Сера

электро­проводна" ложно, поскольку в действительности это свойство не

присуще сере.

Еще одной формой отражения действительности на рациональной ступени

познания, наряду с понятием и суждением, является /научная теория.

/Теория представляет систему связанных между собой понятий и

высказываний, относящихся к некоторой предметной области (в качестве

такой области могут выступать множество чисел, множество точек, линий и

плоскостей, множество живых организмов и т д.). Главная задача теории -

установление /закономерностей /функционирования объектов предметной

области. Кроме того, теория может выступать как средство /объяснения /и

/предсказания /явлений исследуемой области. Примерами теорий служат

геометрия Евклида, механика Ньютона, специальная и общая теории

относительности, теория эволюции Дарвина.

Одной из задач логики, как уже говорилось, является исследование

/приемов /мышления - тех интеллектуальных процедур,  которые

осуществляются в процессе познавательной деятельности. К их числу

относятся, например, определение, классификация, научное объяснение,

выдвижение и проверка гипотез, постановка и решение задач и проблем,

научная полемика. Однако центральное место в логических исследованиях

занимает анализ такой познавательной операции, как /рассуждение. /Учение

о правильных способах рассуждения - /дедуктивная логика - /является

ядром логической науки с момента ее возникновения и до наших дней. Что

же представляет собой рассуждение? В самом общем виде на этот вопрос

можно ответить следующим образом.

*Рассуждение    -     это    процедура     обоснования     некоторого

высказывания    путем    пошагового   выведения   его    из   других 

высказываний.*

Возникает вопрос, почему в правильном рассуждении (1) заключение

оказалось ложным. Причина этого - наличие ложных высказываний (одного

или нескольких) среди его посылок. Вообще, ложное заключение может быть

получено в результате умозаключения в одном из следующих случаев:

1) если все его посылки истинны, но само умозаключение не­правильно,

2) если умозаключение правильно, но в нем имеется ложная посылка,

3) если   имеется  ложная   посылка   и  само  умозаключение неправильно.

Обратим внимание на тот факт, что в перечисленных случаях заключение

может оказаться ложным, но может, в принципе, оказаться и истинным. Если

же к истинным посылкам применяется правильное умозаключение, то /с

логической неотвратимостью /будет получено истинное заключение.

Правильность умозаключения (1) и неправильность умозаключения (2) была

обусловлена, по существу, особенностями их структуры, которые выражались

в том, каким образом и с помощью каких союзов простые высказывания

сочленялись в сложные в их посылках и заключениях. Действительно, при 

выявлении их логических форм мы абстрагировались от содержания простых

высказываний. Однако при замене простых высказываний параметрами

происходит отвлечение не только от того, какое положение дел они

описывают, но также и от /внутренней структуры /этих высказываний.

Вместе с тем в некоторых случаях невозможно решить вопрос о правильности

или неправильности умозаключения без учета внутренней структуры простых

высказываний, входящих в его состав. Рассмотрим в этой связи следующее

умозаключение:

(6)

Некоторые граждане России являются христианами. Всякий мусульманин не

является христианином.

Некоторые мусульмане не являются гражданами России.

В этом случае посылки и заключение представляют собой три различных

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

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

заключении зафиксирован определенный тип отношения между двумя

множествами (множеством мусульман и множеством российских граждан), а

вывод о наличии данного отношения делается на основании зафиксированных

в посылках отношений каждого из этих множеств к третьему множеству

(множеству христиан). Для решения вопроса о правильности подобных

выводов необходим учет внутренней структуры простых высказываний, а

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

здесь недостаточен. Итак, для того чтобы выяснить, являются ли

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

анализа их логических форм./

Теперь при выявлении логической формы мы, как и ранее, будем отвлекаться

от того, о каких именно объектах идет речь в высказываниях и что именно

о них говорится. В то же время мы не должны, например, абстрагироваться

от того, идет ли речь в высказывании обо всех или же о некоторых

предметах какого-либо класса, содержит ли это высказывание утверждение

или отрицание. Информация, которая будет утрачиваться при таком способе

анализа, выражается посредством таких терминов, как "граждане России",

"христиане", "мусульмане". Их называют /нелогическими терминами. /К

числу же /логических /относят такие термины, как "всякий", "некоторый",

"является" ("есть"), "не является" ("не есть"), а также "и", "или",

"если ... то", "неверно, что" и другие. При новом способе выявления

логической формы отвлечения от смысла логических терминов не происходит,

а нелогические термины заменяют параметрами, причем различные термины -

различными параметрами, а одинаковые (везде, где они встречаются в

умозаключении) - одинаковыми параметрами.

Попытаемся выявить логическую форму умозаключения (6). Для этого заменим

нелогические термины в его составе параметрами (большими латинскими

буквами), например, термин "гражданин России" буквой Р, "христианин" -

буквой Q, "мусульманин" - буквой S. Получим следующее выражение, которое

как раз и является логической формой умозаключения (6):

Теперь мы можем решить вопрос о правильности или неправильности

умозаключения (6), при этом будут использованы те же, что и раньше,

критерии правильности и неправильности, только применительно к более

глубокому уровню анализа логической формы.

Умозаключение (6) является неправильным, поскольку параметры Р, Q и S в

составе его логической формы - выражения (7) - могут быть

проинтерпретированы таким образом, что данное выражение превратится в

умозаключение с истинными посылками и ложным заключением. Подставим,

например, вместо буквы Р термин "существа, живущие в воде", вместо Q -

термин "теплокровные   существа",    а    вместо    S    -    "рыбы".   

Получим умозаключение: Некоторые существа, живущие в воде, являются теплокровными. Всякая рыба не является теплокровным существом. Некоторые рыбы не являются существами, живущими в воде.

Очевидно, что посылки умозаключения (8) истинны, а его заключение ложно.

Поэтому все умозаключения формы (7), в том числе и умозаключение (6),

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