湖南科技大学学报（社会科学版）
湖南科技大學學報（社會科學版）
호남과기대학학보（사회과학판）
JOURNAL OF HUNAN UNIVERSITY OF SCIENCE & TECHNOLOGY(SOCIAL SCIENCE EDITION)
2012年
4期
31-34
,共4页
本体论证明%模态版本%逻辑可能%形而上学可能
本體論證明%模態版本%邏輯可能%形而上學可能
본체론증명%모태판본%라집가능%형이상학가능
安瑟尔姆提出的关于上帝存在的“本体论证明”,曾受到康德的摧毁性批判.以现代模态逻辑为基本工具,哈特肖恩、普兰丁格和哥德尔分别构造了本体论证明的“模态版本”.经过比较研究可以发现:哈特肖恩的版本没有区分逻辑可能与形而上学可能；普兰丁格的版本以“极伟大性”为核心,运用可能世界理论摆脱了基于“存在”不是谓词的康德式质疑,使问题集中于对证明中非逻辑前提之合理性的把握；而哥德尔的版本尽管依托“肯定性属性”,但由于把“必然存在”作为“肯定性属性”之一,最终难以避免康德式质疑.更重要的是,任何本体论证明都是一种有前提的推演,因此对它们的评价最终都要依赖于其非逻辑前提的合理性.
安瑟爾姆提齣的關于上帝存在的“本體論證明”,曾受到康德的摧燬性批判.以現代模態邏輯為基本工具,哈特肖恩、普蘭丁格和哥德爾分彆構造瞭本體論證明的“模態版本”.經過比較研究可以髮現:哈特肖恩的版本沒有區分邏輯可能與形而上學可能；普蘭丁格的版本以“極偉大性”為覈心,運用可能世界理論襬脫瞭基于“存在”不是謂詞的康德式質疑,使問題集中于對證明中非邏輯前提之閤理性的把握；而哥德爾的版本儘管依託“肯定性屬性”,但由于把“必然存在”作為“肯定性屬性”之一,最終難以避免康德式質疑.更重要的是,任何本體論證明都是一種有前提的推縯,因此對它們的評價最終都要依賴于其非邏輯前提的閤理性.
안슬이모제출적관우상제존재적“본체론증명”,증수도강덕적최훼성비판.이현대모태라집위기본공구,합특초은、보란정격화가덕이분별구조료본체론증명적“모태판본”.경과비교연구가이발현:합특초은적판본몰유구분라집가능여형이상학가능；보란정격적판본이“겁위대성”위핵심,운용가능세계이론파탈료기우“존재”불시위사적강덕식질의,사문제집중우대증명중비라집전제지합이성적파악；이가덕이적판본진관의탁“긍정성속성”,단유우파“필연존재”작위“긍정성속성”지일,최종난이피면강덕식질의.경중요적시,임하본체론증명도시일충유전제적추연,인차대타문적평개최종도요의뢰우기비라집전제적합이성.
