类型化思维的刑法适用:模型建构与流程展开

当前对类型化思维的研究主要围绕本体论和认识论展开,欠缺方法论层面的深入发掘。类型化思维运用于刑法适用中的具体流程可以分为四个阶段:内核确定阶段包含不断交互的含义厘定和典型案例寻求两步;提炼典型特征阶段主要通过"法益考量"和"事物本质"来选取作为比较视点的典型特征;个案比较分流阶段不断反复适用微观上的"典型特征法益化"手段和宏观上的"整体上"判断来划定类型边界;探讨边界扩张阈值的阶段运用"反向类型推论规则"来明确类型边界所能扩张的最大范围。上述流程是塑造刑法适用中单个类型化思维模型的必由之路。而类型间存在的"中间类型"和"混合类型"问题在方法论层面亦可经由该思路的组合得到解决。

汉英问数法比较及其类型学考察

汉英两种语言中都有提问具体和抽象对象、离散对象以及事物、动作或行为等的某一个属性或特征的数量的问数法。但是汉语中提问大数目和小数目所用的问数法有区分,但英语中没有不同;汉语中存在不同问数法跟量词关系不同的情况,而英语中不存在这种情况;英语的问数法存在提问可数和不可数对象之分,汉语中无此区分。从这些共性和差异可以管窥不同语言问数法的类型学特征。

纯函数式静态语言的特性与未来

Haskell是一款正在数学家当中渐渐流行起来的语言,正如有的数学家曾说:"在我的很多项目当中,有一种迹象渐渐地表明,在我平时日复一日的数学论述中所使用的表达式与在Haskell的代码中撰写的表达式之间仅仅存在相当短的距离"。简要描述了纯函数式静态语言在各种领域的应用和实践。