论波爱修斯的模态逻辑与上帝的预知

波爱修斯的模态逻辑直接来自古代,特别是亚里士多德的模态逻辑。中世纪早期模态理论主要关注关于将来事件模态命题的解释。基于此,波爱修斯首次对上帝的预知与人的自由意志一致性进行了逻辑论证。     

论波爱修斯的模态逻辑与上帝的预知

波爱修斯的模态逻辑直接来自古代,特别是亚里士多德的模态逻辑.中世纪早期模态理论主要关注关于将来事件模态命题的解释.基于此,波爱修斯首次对上帝的预知与人的自由意志一致性进行了逻辑论证.     

论波爱修斯与古代逻辑

波爱修斯是古代逻辑向中世纪逻辑发展过程中最重要的哲学家.他翻译和注释了亚里士多德的<工具论>;探讨了波菲利关于共相的三个问题;对假言命题和假言三段论进行了深入的研究,在斯多亚学派之后重新奠定了命题逻辑在整个逻辑学说中应有的地位.波爱修斯的逻辑理论是中世纪逻辑学进步的主要源泉.     

班组民主管理的几点体会

<正> 班组,作为企业最基层的行政组织,是企业一切工作的落脚点。班组生产和管理的好坏,直接关系到企业各项生产和管理工作目标的圆满实现。班组民主管理则是企业三级民主管理的重要一环。本文结合我们的实践,就班组民主管理谈几点体会。     

中世纪两种语义学及其现代重建

以西班牙的彼得为代表的实在论语义学和以布里丹为代表的唯名论语义学代表了中世纪逻辑领域两种不同的完整语义学。然而,它们在语义学上的不同并不在于其本体论基础或本体论承诺,而在于建构语义学的方法与思路,即范式。我们可以通过不同的逻辑策略消除实在论语义学中不必要的本体论承诺,从而在逻辑学领域实现两者的部分融合|唯名论语义理论因之可以通过副词化的手段从实在论语义学中获得。而对两种语义学合理的现代重建,既可表明唯名论与实在论的区别,又可表明唯名论语义学如何用纯粹自然逻辑的方式恰当地表达现代逻辑标准量词理论。     

说谎者类型悖论的自然破解————基于布里丹的语义封闭逻辑

布里丹基于指号的语义封闭理论认为,任何命题都必须以指号的方式存在,任何以指号方式存在的命题都有两种意谓,即心灵之内的意谓和心灵之外的意谓。但仅仅通过命题的意谓不能决定其真值条件,必须考虑相关的指代;而命题的真值条件由命题中各词项的联合指代决定。以此为基础,并借助纯粹的自然语言,布里丹为说谎者类型悖论的破解提供了一种具有逻辑一致性的自然破解方案。这一方案无须对对象语言与元语言进行明确区分,而仅仅需要对以自然语言表达的悖论语句进行常规的逻辑分析,这种分析方法更贴近人们的日常思维模式。     

论奥卡姆关于心灵语言指代的困难及可能的解决方法

指代理论代表了中世纪逻辑理论的最高水平。奥卡姆把心灵语言的指代作为语义分析的首要对象，并试图把自然语言的指代规则应用于心灵语言。考察奥卡姆关于心灵语言的指代理论，并试图解决其中所遇到的困难。