В статье рассматриваются некоторые вопросы, связанные с границей применимости формализмов в логике. Если принять во внимание прагматический и коммуникативный аспекты логики, то неопределенность в вопросе установления этой границы лишь усиливается, что и показано на примере проблем, возникающих с использованием modus ponens'а.

The limits of the formal approach in logic are studied. Particularly, we consider the application of modus ponens in communicative situations.