Словарь логики

— первый этап в развитии (формаль­ной) логики, начавшийся в IV в. до н. э. и завершившийся в конце XIX — начале XX в., когда сформировалась современная (математи­ческая, символическая) логика. Т. л. изучала правильное мышление, опираясь в основном на есте­ственный язык, не являющийся вполне адекватным для этой цели из-за своей многозначности, аморфности правил построения выра­жений и придания значений и т. п. Современная логика использует специально сконструированные (формализованные) языки, призван­ные следовать за логической формой и воспроизводить ее даже в ущерб краткости и легкости общения. Введение особого языка озна­чает и принятие особой теории логического анализа. Современная логика, совпадая по своим целям с Т. л., включила в свой состав все то позитивное, что было достигнуто последней в изучении правильного мышления.