Some Weakened Gödelian Ontological Systems

We describe a KB Gödelian ontological system, and some other weak systems, in a fully formal way using theory of types and natural deduction, and present a completeness proof in its main and specific parts. We technically and philosophically analyze and comment on the systems (mainly with respect to the relativism of values) and include a sketch of some connected aspects of Gödel's relation to Kant.     

中文新异组合概念的解释及影响因素

通过分析600名中国大学生对32个概念组成的160个新异组合概念的解释,考察了中文名词-名词组合概念的解释策略及影响因素。结果表明：⑴关系解释和属性解释是两种主要的解释策略;⑵第一个子概念具有显著属性的组合概念得到更多的属性解释;⑶子概念之间相似性的高低不影响属性解释出现的比率,但影响关系解释出现的比率;⑷生物组合概念比人造物组合概念得到更多的属性解释。其中的新发现既不支持关系竞争理论,也不支持双重加工理论,引出了有待研究的新问题。     

On the Compositional Extension Problem

A semantics may be compositional and yet partial, in the sense that not all well-formed expressions are assigned meanings by it. Examples come from both natural and formal languages. When can such a semantics be extended to a total one, preserving compositionality? This sort of extension problem was formulated by Hodges, and solved there in a particular case, in which the total extension respects a precise version of the fregean dictum that the meaning of an expression is the contribution it makes to the meanings of complex phrases of which it is a part. Hodges' result presupposes the so-called Husserl property, which says roughly that synonymous expressions must have the same category. Here I solve a different version of the compositional extension problem, corresponding to another type of linguistic situation in which we only have a partial semantics, and without assuming the Husserl property. I also briefly compare Hodges' framework for grammars in terms of partial algebras with more familiar ones, going back to Montague, which use many-sorted algebras instead.

     

Reductionism's Demise: Cold Comfort

Abstract. Nonreductive physicalism, as opposed to reductionism, enjoys wide popularity by virtue of being regarded as comporting with the traditional image of human beings as free and ontologically unique without the difficulties of mind‐body dualism. A consideration of reasons, both good and bad, for which reductionism is rejected suggests instead that the move to nonreductive physicalism does nothing to mitigate the implications of a physicalist account of human nature.     

Book Reviews

Books reviewed:
James Campbell, Recovering Benjamin Franklin
Elliot L. Jurist, Beyond Hegel and Nietzsche: Philosophy, Culture, and Agency     

视知觉组织在整体知觉中的作用--脑损伤病人的实验研究

本实验研究大脑损伤如何影响复合图形的整体知觉。三例病人脑损伤部位分别在大脑枕区、顶区、颞区、额区及基底节和豆状核。复合图形被呈现给病人和正常对照被试。强迫选择识别等任务表明,当空间相邻性决定局部图形的知觉组织时,病人识别整体性质的正确率高于(ZD和FL)或略底于(GK)识别局部性质的正确率;当形状相似性决定局部图形的知觉组织时,病人识别整体性质的正确率显著降低,而识别局部性质的正确率受到的影响较小。在同样的任务中正常被试识别整体和局部性质的正确率受知觉组织因素的影响很小。这些结果提示大脑损伤对整体知觉的破坏可能主要通过影响基于形状相似性的知觉组织实现。     

Products of Modal Logics. Part 3: Products of Modal and Temporal Logics

In this paper we improve the results of [2] by proving the product f.m.p. for the product of minimal n-modal and minimal n-temporal logic. For this case we modify the finite depth method introduced in [1]. The main result is applied to identify new fragments of classical first-order logic and of the equational theory of relation algebras, that are decidable and have the finite model property.     

What Does It Mean to Be Human? A Personal and Catholic Perspective

A philosopher-poet-theologian ponders the implications of the multimillion-year biogenetic process that produced Homo sapiens and is beginning to reveal itself ever more clearly as evolution of the mind and consciousness. As meaning trappers and makers, called to actualize the divine image imprinted upon us, we are now facing biological and cultural evolution with deliberate human input as well as the evolution of evolution. As communicating animals that are becoming ever more aware of our adaptive behavior, we have the potential of affecting our own destiny by listening to the spirit within and nurturing the genes and memes that give rise to physical, intellectual, creative, and moral excellence. In the matrix of cyberspace we have the opportunity to heal the two-culture split, to reinvent ourselves, to incubate/weave the emergent religions of the future, and to create our multiple "Ways" appropriate to the dawning Age of Global Dialogue.     

Recognition of natural scenes from global properties: seeing the forest without representing the trees

Human observers are able to rapidly and accurately categorize natural scenes, but the representation mediating this feat is still unknown. Here we propose a framework of rapid scene categorization that does not segment a scene into objects and instead uses a vocabulary of global, ecological properties that describe spatial and functional aspects of scene space (such as navigability or mean depth). In Experiment 1, we obtained ground truth rankings on global properties for use in Experiments 2-4. To what extent do human observers use global property information when rapidly categorizing natural scenes? In Experiment 2, we found that global property resemblance was a strong predictor of both false alarm rates and reaction times in a rapid scene categorization experiment. To what extent is global property information alone a sufficient predictor of rapid natural scene categorization? In Experiment 3, we found that the performance of a classifier representing only these properties is indistinguishable from human performance in a rapid scene categorization task in terms of both accuracy and false alarms. To what extent is this high predictability unique to a global property representation? In Experiment 4, we compared two models that represent scene object information to human categorization performance and found that these models had lower fidelity at representing the patterns of performance than the global property model. These results provide support for the hypothesis that rapid categorization of natural scenes may not be mediated primarily though objects and parts, but also through global properties of structure and affordance.     

Equivalents for a Quasivariety to be Generated by a Single Structure

We present some equivalent conditions for a quasivariety of structures to be generated by a single structure. The first such condition, called the embedding property was found by A.I. Mal′tsev in [6]. It says that if are nontrivial, then there exists such that A and B are embeddable into C. One of our equivalent conditions states that the set of quasi-identities valid in is closed under a certain Gentzen type rule which is due to J. Łoś and R. Suszko [5]. Presented by Jacek Malinowski