Из истории логики

Историю логики можно разделить на два основных этапа: первый продолжался более двух тысяч лет, в течение которых логика развивалась очень медленно; второй начался во второй половине XIX в., когда в логике произошла на учная революция, в корне изменившая ее лицо. Это было обусловлено прежде всего проникновением в нее математических методов. На смену аристотелевской, или традиционной, логике пришла современная логика, называемая также математической, или символической. Эта новая логика не является, конечно, логическим исследованием исключительно математических доказа тельств. Она представляет собой современную теорию правильного рассуждения, «логику по предмету и ма тематику по методу», как охарактеризовал ее известный русский логик П.С.Порецкий.

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

Вот несколько примеров логических, или формальных, требований к мышлению:

— независимо от того, о чем идет речь, нельзя что-либо одновременно и утверждать и отрицать;

— нельзя принимать некоторые утверждения, не принимая вместе с тем все то, что вытекает из них;

— невозможное не является возможным, доказанное — сомнительным, обязательное — запрещенным и т.п.

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