Формальную логику, изучающую правильное мышление при широком использовании возможностей естественного языка, называют ...