论文部分内容阅读
<正>亚里士多德不但是形式逻辑的创始人,而且是模态命题逻辑的创始人。他使用了四个模态诃: “必然”(necessary)、“不可能”(impossible)、“可能”(possible)和“偶然”(contingent)。并认为只有命题才是必然的、不可能的、可能的或偶然的,他说:“我们必须来考察那些断言或否认可能性或偶然性、不可能性或必然性的肯定命题和否定命题之间的相互关系,因为这个问题不是没有困难