Лингвистические следствия — это следствия , которые возникают в естественном языке . Если предложение A влечет за собой предложение B , предложение A не может быть истинным без того, чтобы B также было истинным. [1] Например, английское предложение «Пэт — пушистый кот» влечет за собой предложение «Пэт — кот», поскольку нельзя быть пушистым котом, не будучи котом. С другой стороны, это предложение не подразумевает «Пэт гоняется за мышами», поскольку кошка может (хотя и маловероятно) не гоняться за мышами.
Следствия возникают из семантики языковых выражений. [2] Следствие контрастирует с прагматическим понятием импликатуры . Хотя импликатуры являются ошибочными выводами, следствия подкрепляются лексическими значениями и законами логики. [3] Следствия также отличаются от пресуппозиций , истинность которых считается само собой разумеющейся. Классическим примером пресуппозиции является пресуппозиция существования, которая возникает из определенных описаний . Например, предложение «Король Франции лысый» предполагает, что существует король Франции. В отличие от следствия, пресуппозиции сохраняются, когда предложение отрицается. Тест отрицания можно использовать для определения разницы между следствием и предпосылкой. [4] Например, фраза «Король Франции не лысый» также предполагает, что король Франции существует. [3]