Wnioskowanie o wolnym wyborze

Wolny wybór to zjawisko w języku naturalnym, w którym dysjunkcja językowa wydaje się otrzymywać logiczną interpretację koniunkcyjną , gdy wchodzi w interakcję z operatorem modalnym . Na przykład następujące zdania w języku angielskim można zinterpretować w ten sposób, że adresat może obejrzeć film ORAZ grać w gry wideo, w zależności od preferencji:

Możesz obejrzeć film LUB zagrać w gry wideo.
Możesz oglądać film LUB grać w gry wideo.

Wnioskowania o wolnym wyborze są głównym tematem badań semantyki formalnej i logiki filozoficznej , ponieważ nie mają zastosowania w klasycznych systemach logiki modalnej . Gdyby były poprawne, to semantyka języka naturalnego potwierdzałaby zasadę wolnego wyboru .

Zasada wolnego wyboru : ${\ Displaystyle (\ Diament P \ lor \ Diament Q) \ rightarrow (\ Diament P \ ziemia \ Diament Q)}$

Powyższy wzór logiki symbolicznej nie jest poprawny w klasycznej logice modalnej : dodanie tej zasady jako aksjomatu do standardowej logiki modalnej pozwoliłoby wywnioskować z ${\ displaystyle \ Diamond P}$ ◊ $\ displaystyle \ Diamond P}$ ${\ displaystyle P}$ i ${\ displaystyle Q}$ . Ta obserwacja jest znana jako paradoks wolnego wyboru . Aby rozwiązać ten paradoks, niektórzy badacze zaproponowali analizy wolnego wyboru w ramach nieklasycznych, takich jak semantyka dynamiczna , logika liniowa , semantyka alternatywna i semantyka dociekliwa . Inni zaproponowali sposoby wyprowadzania wnioskowania o wolnym wyborze jako implikatury skalarne , które powstają na podstawie klasycznych wpisów leksykalnych dla dysjunkcji i modalności.

Wnioskowania o wolnym wyborze są najszerzej badane pod kątem modów deontycznych , ale pojawiają się również w przypadku innych rodzajów modalności, jak również imperatywów , warunków warunkowych i innych rodzajów operatorów. Nieokreślone wyrażenia rzeczownikowe prowadzą do podobnego wniosku, który jest również określany jako „wolny wybór”, chociaż badacze nie są zgodni co do tego, czy tworzy on klasę naturalną z rozłącznym wolnym wyborem.

Zobacz też

Notatki