摘要：从《演证上帝存有的惟一可能的证明根据》到《纯粹理性批判》,康德本体论证明批判思想的发展主要体现在两个方面:一是《纯粹理性批判》否定了《证明根据》中康德自己所主张的"本体论证明",即从作为一个结果的可能事物推出作为一个根据的"神的实存"的证明方式;二是《纯粹理性批判》推进了《证明根据》对笛卡儿派从作为一个根据的可能事物推出作为一个结果的上帝的存有的证明方式的批判.《纯粹理性批判》对笛卡儿派本体论证明的批判,要比《证明根据》中的批判更有层次性,也更加全面系统.此外,康德也采用了一些新的术语.其中最关键的术语创新,是把《证明根据》中的"存有"叫作"逻辑的谓词",把《证明根据》中的"一个事物的谓词或规定"叫作"实在的谓词".