Читать книгу Логика. Краткое пособие по общему курсу - - Страница 2

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

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

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

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

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

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

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

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

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

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

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

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

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