Что касается логических терминов, то Фреге использует в качестве исходных «импликацию» и «отрицание», а все остальные пропозициональные связки определяет через них. Кроме того, он изобретает кванторы; в результате переменные используются им не только для указания ненасыщенности функциональных терминов, но и для выражения всеобщности. Вместе с тем теория квантификации в представлении Фреге позволяет точными средствами выразить, что есть существование. Поскольку операция квантификации отделяется им от предикативного компонента квантифицированного суждения, существование перестает быть атрибутом, пусть и особым, отдельных предметов и превращается в свойство понятий13. Так, примененный к понятию, квантор существования означает, что при подстановке по крайней мере одного имени предмета это понятие превращается в предложение, имеющее в качестве истинностного значения «истину», т. е., иными словами, это понятие не является пустым. Поскольку существование является свойством понятий (или понятием второй ступени), то совершенно бессмысленно, считает Фреге, приписывать его отдельным предметам; например, по его мнению, «предложение “существует Юлий Цезарь” не истинно и не ложно, оно не имеет смысла» [Фреге, 2000, с. 259]. Конечно, в своих повседневных высказываниях люди часто приписывают существование отдельным предметам, но то, что при этом имеется в виду, по мнению Фреге, лучше выражает слово «действительность» или «реальность» (Wirklichkeit), т. е. о предметах в этом случае следует говорить, что они являются действительными или реальными.
Простое соотнесение разных типов онтологических сущностей с категориями языковых выражений Фреге счел недостаточным для задания интерпретации языка и поэтому он разработал теорию смысла и значения14, которая является квинтэссенцией его логической семантики и, более того, позволяет соединить, через посредство языковых знаков, конкретные и абстрактные предметы. Различение значения и смысла Фреге применяет к именам собственным15, считая, что значением имени является предмет, который оно обозначает, а смыслом – информация, которую оно в себе несет. Необходимость такого различения он обосновывает тем, что два имени, обозначающие один и тот же предмет и соответственно имеющие одно и то же значение (например «Утренняя звезда» и «Вечерняя звезда»), могут сообщать нам разную информацию, и поэтому, скажем, утверждение тождества «Утренняя звезда есть Вечерняя звезда» является для нас когнитивно информативным (ибо отражает важное астрономическое открытие), тогда как «Утренняя звезда есть Утренняя звезда» – нет. Согласно Фреге, это обстоятельство объясняется тем, что эти два имени, обозначая один и тот же предмет, различаются по смыслу. Это же различение применяется им и к предложениям как особой категории имен собственных, но в этом случае значением выступает «истина» или «ложь», а смыслом – выражаемая предложением мысль.