Preference is a core notion in philosophy,game theory,decision theory and utility theory,and it has played a central role in philosophy of action and rational choice. This paper studies preferences from a logical pers...Preference is a core notion in philosophy,game theory,decision theory and utility theory,and it has played a central role in philosophy of action and rational choice. This paper studies preferences from a logical perspective. I first introduce an existing Doxastic preference logic over individual objects,and then extend it to propositions. A new Doxastic preference logic over propositions is proposed,and its completeness and a representation theorem have been proved. The paper also explores a notion of propositional preference as a lift from preference relations over possible worlds and presents a complete logic for it. Finally,the two Doxastic preference logics over objects and over propositions,respectively,are compared,and I show that they are essentially the same in terms of reasoning with preferences.展开更多
约翰·范·本瑟姆(Johan van Benthem)是荷兰阿姆斯特丹大学的逻辑学教授,美国斯坦福大学人文科学的博撒(Bonsall)教授。20世纪90年代,他创建了阿姆斯特丹大学的逻辑、语言与计算研究所,该所横跨数学、计算机科学、哲学和语言学...约翰·范·本瑟姆(Johan van Benthem)是荷兰阿姆斯特丹大学的逻辑学教授,美国斯坦福大学人文科学的博撒(Bonsall)教授。20世纪90年代,他创建了阿姆斯特丹大学的逻辑、语言与计算研究所,该所横跨数学、计算机科学、哲学和语言学,旨在研究信息的结构和信息流,同时担任欧洲逻辑、语言和信息基金会的第一任主席,还是荷兰艺术与科学学院、欧洲科学院和国际哲学院的院士。由于他的卓越成就,1996年荷兰政府授予他斯宾诺莎奖。展开更多
文摘Preference is a core notion in philosophy,game theory,decision theory and utility theory,and it has played a central role in philosophy of action and rational choice. This paper studies preferences from a logical perspective. I first introduce an existing Doxastic preference logic over individual objects,and then extend it to propositions. A new Doxastic preference logic over propositions is proposed,and its completeness and a representation theorem have been proved. The paper also explores a notion of propositional preference as a lift from preference relations over possible worlds and presents a complete logic for it. Finally,the two Doxastic preference logics over objects and over propositions,respectively,are compared,and I show that they are essentially the same in terms of reasoning with preferences.
文摘约翰·范·本瑟姆(Johan van Benthem)是荷兰阿姆斯特丹大学的逻辑学教授,美国斯坦福大学人文科学的博撒(Bonsall)教授。20世纪90年代,他创建了阿姆斯特丹大学的逻辑、语言与计算研究所,该所横跨数学、计算机科学、哲学和语言学,旨在研究信息的结构和信息流,同时担任欧洲逻辑、语言和信息基金会的第一任主席,还是荷兰艺术与科学学院、欧洲科学院和国际哲学院的院士。由于他的卓越成就,1996年荷兰政府授予他斯宾诺莎奖。