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