Рыгаев И. Язык и логика_ ризонинг в задачах обработки текста

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