Расхождения между логическими связками естественного языка и классической логики заключаются в том, что значения связок естественного языка не совсем идентичны их ближайшим эквивалентам в классической логике. 1
Некоторые примеры расхождений:
- Интерпретация дизъюнкции. 1 На многих языках дизъюнкция может получать эксклюзивную интерпретацию. 1 Некоторые исследователи восприняли этот факт как доказательство того, что семантика естественного языка неклассична. 1 Однако другие поддерживают классическую семантику, постулируя прагматические объяснения исключительности, которые создают иллюзию неклассичности. 1
- Интерпретация импликации. 2 Истинностно-функциональная трактовка связок в классической логике приводит к значительному несоответствию с тем, как они понимаются в естественном языке. 2 Например, признание верными предложений вида «Если А, то B» даже в том случае, когда между высказываниями А и В (и, соответственно, событиями, о которых в них идёт речь) нет никакой реальной связи. 2
Кроме того, естественный язык гораздо многограннее, чем формулы математической логики, и он не может ограничиваться логическими модусами. 4
Эти расхождения мотивировали появление неклассических подходов к значению естественного языка, а также подходов, которые сочетают классическую композиционную семантику с надёжной прагматикой. 1