Entailment (лингвистика) - Entailment (linguistics)
Лингвистические следствия возникают, когда можно сделать необходимые выводы из конкретного употребления слова, фразы или предложения. Логическое следствие фразы - это отношения между предложениями, и всегда записываются как "если A, то B,"означает, что если А верно, тогда B тоже должно быть правдой. Другой способ сформулировать это так: "если A истинно, то B обязательно должно быть истинным."[1]
Семантика
В семантике следствия полностью зависят от обозначения (также называемого «словарным определением» рассматриваемых слов). Пример этого, как показано на М. Линн Мерфи с Лексическое значение было бы так: «Если это обувь, то ее можно носить на ноге». Этот пример ссылается на значение слова «обувь» как «обувь», а не на прилагательное, которое считается другим использованием слова и, следовательно, другим значением. Для того чтобы следствие было правдой, тогда заявление (обозначается как B) должен всегда быть правдой, когда если заявление (обозначается как А) правда. Чтобы судить, истинно ли следствие, можно спросить: «Может ли это Когда-либо быть в том случае, если B не правда, пока А верно? »Чтобы точно распознать следствия, требуется хорошее знание значения слова.[2]
Прагматика
В прагматике следствие попадает в категорию импликатур и предпосылок. Все три связаны с предположениями, сделанными слушателем или читателем о ситуации.
Заключение отличается от импликатура в этом случае истина А предполагает истинность В, но не требует этого. Например, фраза «Джек пропустил встречу из-за поломки его машины». подразумевает что Джек пропустил встречу потому что его машина сломалась; но на самом деле Джек мог пропустить встречу через четыре дня после того, как его машина сломалась, потому что он заснул слишком поздно. Привлечение не допускает этих переосмыслений.[3]
Ввод также отличается от предположение в этом предположении истина того, что предполагается, принимается как должное. Классический и часто упоминаемый пример этого - «король Франции не болен». Это предложение предполагает что есть король Франции, которого в настоящее время нет. Это означает, что, хотя это предложение можно рассматривать как логически верное, оно обычно интерпретируется как неправильное, потому что нет референта для «короля Франции». Вовлечение также не допускает недостатка референта.[3]