Логика (стр. 3 )

Если это предложение изобразить в каком-то условном, например, символическом виде, то выражаемая этим предложением мысль получит очень короткую форму: S (предмет мысли) обладает свойством Р (признак предмета мысли), т. е. "S есть Р". Получается, что сколь бы ни была сложна речь, рассуждение, основное в них символами может быть выражено довольно кратко. Для нас это важно, потому что символическое выражение, отражая главные элементы строения мысли, не отвлекает нас на второстепенное с этой точки зрения, например, содержание, хотя оно может быть и очень важно, но уже по другим, поэтическим ли, художественным или иным критериям. Задача же логики - строение мысли, структура ее.

Таким образом, символом S мы обозначили предмет нашей мысли (предмет речи, высказывания и пр.), а символом Р - признак, этому предмету присущий (или не присущий). Между этими двумя элементами мысли, в логике их принято называть субъект и предикат, явно или неявно присутствует определенное отношение. В нашем примере это отношение выражено словом "появились", что соответствует утверждению ("есть" и т. п.), хотя могло быть и отрицание ("не есть"). В русском языке отношение может выражаться разными словами, а порой и просто опускаться: Жучка - собака, студенты - учащиеся.

Далее, в рассматриваемом примере субъект выражен двумя словами, словом "два" и словом "гражданина", а предикат - куда как большим количеством слов. Но, выраженная в виде формулы "S - Р", эта мысль имеет всего три элемента: субъект (предмет мысли), предикат (признак предмета мысли) и связку, или отношение между ними - "есть" ("появились").

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

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

Объединение S и Р связкой "есть" формирует более сложную мыслительную структуру, более сложную форму мысли, которую в логике называют суждением. Различают простые суждения и сложные. Простые, в свою очередь, подразделяются на категорические, суждения существования и отношения. Формула "S – Р" есть выражение структуры простого категорического суждения. Чтобы понять особенности и законы этой структуры, необходимо исследовать и понятие как составную часть этой структуры, а потом и всю эту новую форму мысли уже как единство двух входящих в нее понятий.

В нашем содержательном примере из текста М. Булгакова количественный показатель субъекта данной мысли оговорен. Когда бы он не был оговорен, то по логике мы обязаны были бы уточнить этот показатель, потому что при анализе структуры любой мысли нельзя ничего, относящегося к элементам структуры этой мысли, упускать из виду или пропускать. Главными элементами строения этой, несмотря на многословие, все таки, простой мысли являются S и Р, т. е. два отдельных понятия: понятие, отражающее предмет нашей мысли и понятие, отражающее признак этого предмета. Третьим элементом этой мысли является связка (или отношение) между ними, в нашем случае она выражена утверждением "появились". Таким образом перед нами простое категорическое утвердительное суждение, а с учетом количественного показателя субъекта, так называемого квантора, - простое категорическое частноутвердительное суждение. Квантор подразделяет суждения на три разновидности: единичное, частное и общее.

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

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

При анализе сложных суждений нет необходимости детально анализировать входящие в него простые, поскольку они уже известны, поэтому их обычно и обезличивают, оставляя за ними только одно неотъемлемое их свойство - быть либо истинными, либо ложными. Например, В (символ для одного простого суждения - "S есть P") можно связать разделительным союзом или с символом С (другое простое суждение - "S есть P1") и получить в итоге сложное суждение, читаемое "В или С". Такова формула сложного суждения и понятно, что ее проще анализировать, чем если бы записывали: "S есть Р или S есть Р1".

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

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

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

Причин, обуславливающих эту неэффективность много. Предпочтительнее сосредоточиться на той, которая менее всего должна быть присуща этой науке, но которая на протяжении веков была неотъемлемой для ее изложения. Здесь имеется в виду, конечно же, определенная последовательность оформления, структурирования ее содержания в учениках и учебных пособиях, а также и определенная последовательность изложения этой науки в процессе преподавания. Поскольку логичное, логика - это обязательно необходимая, закономерная связь, то таковой должна быть связь и внутри самой науки логики между различными элементами ее содержания. Это то, что может быть названо "логика логики"; другими словами, логика должна не только формулировать нормативы, закономерности для различных мыслительных структур (для других наук), но и сама должна по этим же нормам (закономерностям) структурировать свое содержание. Если науки есть системы определенным образом упорядоченного знания, то, согласно понимания структуры как закономерной связи элементов внутри целого, все содержание той или иной науки (система ее знания) должно быть увязано внутри себя по определенному закону. Логика как особая наука, выполняющая методологическую роль по отношению к другим наукам, должна представлять собой образец подобной внутренней упорядоченности.