论文部分内容阅读
波爱修斯的模态逻辑直接来自古代,特别是亚里士多德的模态逻辑.中世纪早期模态理论主要关注关于将来事件模态命题的解释.基于此,波爱修斯首次对上帝的预知与人的自由意志一致性进行了逻辑论证.
论波爱修斯的模态逻辑与上帝的预知
【摘 要】
：
波爱修斯的模态逻辑直接来自古代,特别是亚里士多德的模态逻辑.中世纪早期模态理论主要关注关于将来事件模态命题的解释.基于此,波爱修斯首次对上帝的预知与人的自由意志一致
【机 构】
：
浙江大学哲学系
【出 处】
：
湖南科技大学学报：社会科学版
【发表日期】
：
2005年6期
其他文献
猪人工授精技术分为采精、精液品质检查、稀释、分装、保存、母猪发情鉴定、输精和妊娠检查等8个环节。自然交配过程中，发情鉴定、精子输送是由公猪来完成的。人工授精技术中，
运用层次分析理论和方法综合比较评价四大国有商业银行和有代表性的四家股份制商业银行的效率,综合排序结果表明,股份制商业银行的效率相对于国有商业银行要好.
<正> 同志们: 今天,我们隆重举行萍乡高等专科学校成立庆典。首先,我代表市委市政府以及到会的其他班子成员对萍乡高专的成立表示热烈的祝贺！萍乡高专是在原萍乡教育学院的基
近几年，随着养猪业的快速发展，猪的人工授精技术得到了广泛的推广和应用。目前我国各地猪的人工授精发展状况很不均衡，跟西方国家相比，不管是技术上还是在普及率上仍有较大的差距
通过把注册会计师对各个层次的审计目标的实施能力和实现程度作为评价标准来对审计质量进行分层评价，从理论上可以把会计师事务所的审计质量分为四个层次：理想审计质量，客观审计
做好冬季种鹅的饲养与管理工作，对提高种鹅的体质、产蛋量，种蛋的受精率、孵化率及雏鹅的成活率至关重要。具体应包括以下几方面。
近几年，猪繁殖障碍症成为我国一些规模化猪场或一些中小型养猪场的常见病和多发病，给养猪场带来一定的经济损失。
当前影响党员行使监督权利的因素很多，需从落实主体地位、保障主体权力、维护主体利益三个方面充分发挥党员监督的主体作用。另外，推进党务公开、理顺党内权力授受关系、构建履
在湖南自治运动中,青年毛泽东仿照美国"门罗主义"提出"湖南省湖南人之湖南"的"湖南门罗主义"口号,它的基本主张是"我们用心干我们自己应干的事"、"我们绝对不干涉别人的事"以