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.
- Każdy mrównik gryzie.
- 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 .
- Gryzą tylko niektóre mrówki.
- 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ę .