§ 3. Были логики, полагавшие, будто логика ничего другого не представляет кроме того, что она есть техническая наука о мышлении. Были и такие логики, которые думали, будто логика имеет дело не с тем,что есть, а с тем, что должно быть, с долженствованием. Последние утверждали, будто логика есть наука не о сущем, а о должном, о нормах нашего мышления. Направление в разработке логики, представители которого видят в ней науку о долженствовании, или о нормах мышления, называется нормативизмом.
Точка зрения нормативизма – неправильная. И технические правила и правила должного мышления, формулируемые логикой, могут существовать только потому, что существует логика как наука теоретическая.
Как грамматика выявляет существующие законы речи, языка, а не создаёт их, так и логика выявляет, в каких формах осуществляется правильное мышление.
И действительно, указанные выше три требования или условия, которым должно удовлетворять правильное мышление, – требования определённости, последовательности и доказательности – имеют власть над мышлением не сами по себе, не как правила должного. Требования эти получают значение норм или законов мышления только потому, что независимо от этих требований и до того, как они были впервые сформулированы логикой, в самом мышлении имеют место три черты, которыми обосновываются три теоретических положения относительно логического мышления. Положения эти могут быть сформулированы так:
1. Только определённое мышление есть мышление правильное, т. е. логичное.
2. Только последовательное мышление есть мышление логичное.
3. Только доказательное мышление есть мышление логичное,
Эти три положения о логичном мышлении являются действительно теоретическими.
Они обосновывают три правила относительно должного в мышлении.
§ 4. Так как только определённое мышление есть мышление логичное, то отсюда следует, что всякое мышление, чтобы быть логичным, должно удовлетворять условиям определённости.
Так как только последовательное мышление есть мышление логичное, то отсюда следует, что всякое мышление, чтобы быть логичным, должно быть последовательным,
Так как, наконец, только доказательное мышление есть мышление логичное, то отсюда следует, что всякое мышление, чтобы быть логичным, должно быть доказательным.
Из сказанного видно, что определение логики как науки о технике или об искусстве правильного мышления верно, но недостаточно. Определение это говорит лишь о конечной практической задаче логики, но ничего не говорит о логике как науке теоретической.
Что же составляет предмет логики в качестве науки теоретической? – Для ответа на этот вопрос необходимо выяснить, что такое логическая форма.
Понятие о логической форме
§ 5 .Каждому высказыванию и каждому ряду связанных между собой высказываний принадлежит кроме особого содержания также определённая форма самого высказывания. Рассмотрим три высказывания: «Суворов был храбр», «день был дождливый» и «бой был жесток». Во всех этих высказываниях речь идёт о различных предметах: в первом – о Суворове, во втором – о дне и в третьем – о бое. Во всех этих трёх высказываниях речь идёт о различных свойствах самих предметов: о храбрости Суворова, о дождливом характере дня и о жестокости боя. Рассматривая мысль о предметах этих высказываний, а также мысль об их свойствах в качестве составных частей содержания этих высказываний, мы можем сказать, что во всех трёх высказываниях составные части содержания высказываний будут различны.