A nyelvészetben is halmazelméleti alapjai vannak a szemantikának, mint a matematikában, vagy egyéb?

---

Valahol minden tudománynak előbb-utóbb törekednie kell arra, hogy tételeit a formális logikára alapozva tudja ténylegesen is bizonyítania, s ekkor mindenképen alkalmaznia kell majd a halmazelméletet is. Csak az a kérdés, hogy mikor halmozódik fel annyi ismeret, mikor változik művelőinek szemléletmódja, hogy ebbe az irányba fejlődjön. Elvileg a dinamikus szemantika ez irányba mutat. 

De amennyire tudom a szemantika még nem tart itt. Persze nem ismerem a külföldi kutatásokat, s a magyarokat is csak annyira, amennyire a hálón véletlenül belebotlok.