Звідси виникає проблема побудови «логічно досконалої мови». Згідно з теорією дескрипцій Рассела, для побудови логічно досконалої мови треба переформулювати твердження природної мови таким чином, щоб усунути посилання на сумнівні сутності, уникаючи як суперечливих описів на зразок «круглий квадрат», так і фіктивних дескрипцій («Гамлет», «крилатий кінь» і т. ін.). Тоді вимога істинності висловлювання буде еквівалентною вимозі відповідності висловлювання до дійсності. Таке бачення взаємовідносин між логікою та онтологією базується на припущенні про дискретну «атомарну» структуру світу (доктрина логічного атомізму).