经典逻辑中函数概念的引入

“函数”本来是一个数学概念 ,弗莱格把它引入逻辑学 ,使其在逻辑学从古典到现代的发展过程中 ,起到了关键的作用。弗莱格用函数和自变元概念代替传统逻辑中的主项和谓项概念 ,在此基础上相当自然地建立了量词理论 ,并成功地把算术的符号语言扩展为一种逻辑语言 。

试论国际刑事法院的管辖权

国际刑事法院的成立是国际刑法史上的重要事件,其对管辖权上的国际法突破更是颇有争议。相对于前南、卢旺达国际法庭的管辖权,国际刑事法院也是另有新意的。至于国际刑事法院的管辖权对一国主权挑战是世界形势的发展使然,如何正确理解国际刑事法院的管辖权的必要性才是解决问题的关键所在。