Особенность построения самых общих схем надежного и эффективного логического вывода. Понятие формальной символики и ее решающее преимущество перед соответствующими выражениями естественного языка. Участник речевого общения и использование постулатов.