Юрген, так логика формальной не ограничивается. Специфику естественного языка никто не отменял - вот уже целый пласт нематематической логики. Но здесь то речь идет именно о формальной логике, а это именно 01.01.06. Если, конечно, речь идет о современной дисциплине
