1. Что такое логическая форма

1. Что такое логическая форма

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

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

Аналогичным образом решает свою задачу и логика.

Мысли не существуют изолированно друг от друга, они взаимосвязаны. Когда одна мысль связывается с другой в единое целое, образуется новая мысль. Эта новая мысль в свою очередь, связываясь с другими мыслями, дает новые мысли. Например, мысли о живых существах, о вскармливании детенышей молоком объединяются в одну мысль, когда признаки мыслятся все вместе, как сосуществующие друг с другом. Эта мысль выражается словом «млекопитающее».

Далее, мысль о млекопитающем находится в определенном отношении, например, к мысли о дельфине. Отношение этих мыслей представляет собой новую мысль, которую можно выразить в предложении «дельфин — млекопитающее».

Отношение же этой мысли к мыслям «млекопитающие дышат легкими» и «дельфины дышат легкими» образует новую, более сложную мысль: «все млекопитающие дышат легкими; дельфин — млекопитающее, следовательно, дельфин дышит легкими».

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

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