Kitobni o'qish: «Логика. Краткое пособие по общему курсу»

© Кузина Е. Б., 2025

© ООО «Проспект», 2025

Предмет логики

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

Мысль имеет содержание и форму. Содержание мысли составляет отражаемая действительность. Например, содержанием мысли, выраженной предложением «Каждый студент сдает какие-нибудь экзамены», является утверждение об отношении между любым студентом и какими-то экзаменами, а его форма может быть описана как утверждение об отношении между любым предметом одного класса и некоторым предметом другого класса. Такую же форму имеют мысли: «Любое нечетное число больше какого-нибудь четного числа», «Каждый штангист сильнее какого-нибудь легкоатлета» и множество других мыслей.

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

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

Законами мышления (логическими законами) называются такие логические формы высказываний, которые обеспечивают их истинность при любом содержании. Например, высказывания: «Если делимость числа на 6 является достаточным условием его делимости на 2, то неделимость числа на 2 является достаточным условием его неделимости на 6», «Если вода, будучи нагрета до 100° (в нормальных условиях), кипит, то если вода не кипит (в нормальных условиях), значит, она не нагрета до 100°». Эти и любые другие высказывания той же формы не могут оказаться ложными просто в силу их логической формы: Если А влечет В, то не-В обусловливает не-А. Эта форма является логическим законом.

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

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

Содержательно смыслы четырех упомянутых принципов можно выразить так:

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

Принцип непротиворечия говорит о том, что нельзя об одном и том же предмете, в одно и то же время, в одном и том же отношении нечто утверждать и отрицать, иначе говоря, невозможно, высказывать одновременно А и не-А.

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

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

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

Язык – инструмент мышления и познания

Мышление осуществляется в языке и без языка невозможно. Языком называется система знаков, служащая средством фиксации, хранения, переработки и передачи информации. А знак – это чувственно воспринимаемый предмет, выступающий для некоторого интерпретатора представителем какого-либо объекта, ситуации, любой характеристики предметов, событий, вообще чего угодно. То есть знак представляет все, о чем можно говорить. Предмет, который представлен знаком, называется значением знака. Знак связывается со своим значением посредством информации, иногда заключенной в самом знаке, а чаще приписываемой знаку. Эта информация называется смыслом знака. Именно смысл позволяет связать знак с его значением, иначе говоря, смысл – это то, что понимает человек, употребляющий или воспринимающий знак. Любая система знаков называется языком.

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

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

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

Для пояснения рассмотрим два выражения: «число, которое делится на 3, но не делится на 6» и «человек, который читает, а не пишет». Логические термины в них – соединительный союз («и», «но») и отрицание. Остальные термины в этих примерах являются нелогическими. Общая структура приведенных выражений, определяемая только логическими терминами, такова: предмет, имеющий одну характеристику и не имеющий другой характеристики. Если же учитывать и типы нелогических терминов, то формы этих выражений различаются. Первое имеет форму: предмет, находящийся в некотором отношении с одним конкретным предметом и не находящийся в этом же отношении с другим конкретным предметом. Второе имеет форму: предмет, имеющий один признак и не имеющий другого признака.

В логике существует много различных языков, созданных для научных целей разных областей и направлений современной логики. В кратком курсе классической логики используются главным образом два языка: язык логики высказываний и язык традиционной силлогистики. Язык логики высказываний будет представлен в разделе «Логический анализ высказываний», в главе «Сложные высказывания», а язык традиционной силлогистики – в том же разделе, главе «Отношения между высказываниями».