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