Язык формальной логики
С помощью приведенного искусственного языка строится формализованная логическая система, называемая исчислением предикатов,систематическое изложение которой осуществляется в символической логике. Нами же элементы языка логики предикатов будут использоваться в дальнейшем изложениидля анализа отдельных фрагментов естественного языка.
Таким образом, изучение логики мыслительного процесса, знание логических форм, выраженных в обычном словесном языке, илогических законов, ими управляющих, сохраняет свое значение и актуальность для формирования у человека его логической культуры.