§ 4. Так как только определённое мышление есть мышление логичное, то отсюда следует, что всякое мышление, чтобы быть логичным, должно удовлетворять условиям определенности.

Так как только последовательное мышление есть мышление логичное, то отсюда следует, что всякое мышление, чтобы быть логичным, должно быть последовательным,

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

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

Что же составляет предмет логики в качестве науки теоретической? – Для ответа на этот вопрос необходимо выяснеть, что такое логическая форма.