在自由逻辑系统PFL和NFL中既包含一阶存在谓词，也包含存在量词。通过对普遍存在句和单称存在句的分析，可以看出弗雷格、罗素的存在观与自由逻辑存在观的相同与相异之处。普遍存在句中“存在”是量词，而单称存在句中“存在”是一阶谓词。通过修改PFL和NFL的语义，进而消除其空单称词项，可以得到与经典谓词逻辑等价但包含“存在”谓词的逻辑系统，其中可以将经典谓词逻辑“个体域中对象具有存在性质”这一假定直接表述出来，并能揭示出经典量词与存在谓词之间的联系。