В формальной семантике однородность — это явление, при котором множественные выражения, которые, как кажется, означают «все», отрицаются до «ни одного», а не до «не всех». Например, английское предложение «Робин прочитал книги» требует, чтобы Робин прочитала все книги, в то время как «Робин не прочитал книги» требует, чтобы она не прочитала ни одну из них. Ни одно из предложений не является истинным, если она прочитала ровно половину книг. Эффекты однородности наблюдались в различных языках, включая японский , русский и венгерский . Семантики предложили множество объяснений однородности, часто включающих комбинацию пресуппозиции , множественной квантификации и трехвалентной логики . Поскольку аналогичные эффекты наблюдались с условными и другими модальными выражениями, некоторые семантики предположили, что эти явления включают множественности возможных миров .
Однородные интерпретации возникают, когда выражение во множественном числе, по- видимому, означает «все» при утверждении , но «ни один» при отрицании . Например, английское предложение в (1a) обычно интерпретируется как означающее, что Робин прочитала все книги, в то время как (1b) интерпретируется как означающее, что она не прочитала ни одну из них. Это загадка, поскольку (1b) просто означало бы, что некоторые книги остались непрочитанными, если бы «книги» выражали всеобщую квантификацию , как это, по-видимому, происходит в положительном предложении. [1] [2]
Однородные чтения также возможны с другими выражениями, включая союзы и простые множественные числа . Например, (2a) означает, что Робин прочитала обе книги, в то время как (2b) означает, что она не читала ни одну; например, (3a) означает, что в целом Робин любит книги, в то время как (3b) означает, что в целом она их не любит. [1]
Эффекты однородности изучались на разных языках, включая английский, русский , японский и венгерский . Например, венгерский пример в (4) ведет себя аналогично английскому примеру в (1b). [3]
Однородность может быть приостановлена в определенных обстоятельствах. Например, определенные множественные числа в (1) теряют свою однородную интерпретацию, когда вставляется явный универсальный квантификатор, как показано в (5). [1]
Кроме того, союзы в (3) теряют свою однородную интерпретацию, когда соединительный элемент получает фокус . [3]
Однородность важна для семантической теории отчасти потому, что она приводит к очевидным разрывам истинностных значений . Например, ни одно из предложений в (1) не может быть утверждено, если Робин прочитал ровно половину соответствующих книг. В результате некоторые лингвисты попытались предоставить унифицированный анализ с другими явлениями с разрывами, такими как пресуппозиция , скалярная импликатура , выводы свободного выбора и неопределенность . [1] Было высказано предположение, что эффекты однородности проявляются с семантическими типами , отличными от индивидов. Например, было высказано предположение, что отрицательные условные и модальные конструкции демонстрируют схожие эффекты, потенциально предполагая, что они относятся к множественностям возможных миров . [1] [4]