Начнем изложение темы этого раздела с более точного определения того способа, с помощью которого возможные миры логики первого порядка отражают ее онтологический вклад в познание объектов и отношений. Затем опишем различные элементы языка этой логики, в ходе этого объясняя их семантику.