Инференция
Инференции — это широкий класс когнитивных операций, в ходе которых и слушающим, и нам, интерпрета-
торам дискурса, лишенным непосредственного доступа к процессам порождения речи в голове или «душе» говорящего, приходится «додумывать за него». Такое выводное знание мы можем получить разными способами.
Формально-логические инференции — инференции в узком смысле — составляют один класс выводного знания. Дедуктивные инференции, основанные на том или ином типе умозаключения, встречаются в речи довольно редко. Для двух высказываний {II-а} и {II-b}, образующих две посылки классического силлогизма, логическая инференция совпадает с дедуктивным выводом {II-с}:
{II} a. If the phone doesn't answer, there's nobody home.
Если телефон не отвечает, то дома никого нет.
b. The phone doesn't answer.
Телефон не отвечает.
с. There's nobody home.