Konserwatywność - Conservativity

W semantyce formalnej konserwatywność jest proponowanym powszechnikiem językowym, który stwierdza, że ​​każdy wyznacznik musi być posłuszny równoważności . Na przykład angielski określnik „every” może być postrzegany jako konserwatywny dzięki równoważności dwóch następujących zdań, schematycznie przedstawionych w uogólnionej notacji kwantyfikatora po prawej stronie.

  1. Każdy mrównik gryzie.
  2. Każdy mrównik to mrównik, który gryzie.

Koncepcyjnie, conservativity można rozumieć jako powiedzenie, że elementy o które nie są elementami nie są istotne dla oceny prawdziwości wyrażenia Determiner jako całości. Na przykład prawdziwość pierwszego zdania powyżej nie zależy od tego, które gryzące nie-marynowniki istnieją.

Konserwatywność jest istotna dla teorii semantycznej, ponieważ istnieje wiele logicznie możliwych określników, które nie są poświadczone jako denotacje wyrażeń języka naturalnego. Rozważmy na przykład wyznacznik urojony zdefiniowany w taki sposób, że jest to prawda iff . Jeśli jest 50 gryzących mrówników, 50 niegryzących mrówników i miliony niegryzących mrówników, będzie fałszywe, ale będzie prawdziwe.

Zaobserwowano pewne potencjalne kontrprzykłady dla konserwatywności, w szczególności angielskie wyrażenie „tylko”. Twierdzi się, że to wyrażenie nie jest wyznacznikiem, ponieważ może łączyć się z wyznacznikami w dobrej wierze i może łączyć się ze składnikami nienominalnymi, takimi jak frazy czasownikowe .

  1. Gryzą tylko niektóre mrówki.
  2. Ten mrównik tylko [ PZ gryzie żartobliwie.]

Różne analizy traktowały konserwatywność jako ograniczenie leksykonu , ograniczenie strukturalne wynikające z architektury interfejsu składnia-semantyka , a także ograniczenie uczenia się .

Zobacz też

Uwagi