Abstract

Frege argued that 1) in making existence assertions we ascribe (or deny) the second-Level property, 'not being empty', To a first-Level concept. He inferred from this that 2) existence is a second-Level property, The property 'not being empty'. He therefore rejected the ontological proof of the existence of God because, He claimed, It depends on the assumption that existence is a first-Level, And not a second-Level, Property. In this paper it is argued, First, That frege is unsuccessful in his attempt to establish claim 1). Moreover, Claim 2) does not follow from claim 1)--One could accept claim 1) and still maintain that existence is a first-Level property. Thus, Even if the ontological proof does depend on the assumption that existence is a first-Level property, Frege's objection to that proof fails