A Generalization of the Łukasiewicz Algebras

We introduce the variety _n ^m , m 1 and n 2, of m-generalized ukasiewicz algebras of order n and characterize its subdirectly irreducible algebras. The variety _n ^m is semisimple, locally finite and has equationally definable principal congruences. Furthermore, the variety _n ^m contains the variety of ukasiewicz algebras of order n.     

关系属性:动允性概念的方法论蕴含

动允性是指环境提供给有机体的行动可能性。1977年,生态心理学家吉布森首次提出了“动允性”概念。这一概念有着深刻的方法论含义。首先,动允性超越了传统二元论思维的束缚。它既不是环境方面的物理属性,也不是动物方面的主观属性,而是环境与动物交互作用中的一个关系属性。其次,动允性所体现出来的价值和意义与动允性的关系属性是一致的。它主张意义既不外显于事物的外部,也不隐藏于事物的内部,而是嵌入于有机体和环境的互动互补关系之中。最后,这种关系属性使它免于被归结为物理的或心理的性质,从而超越了还原论的思维方式。     

The provisionality of property rights in Kant’s Doctrine of Right

I criticize two ways of interpreting Kant’s claim that property rights are merely ‘provisional’ in the state of nature. Weak provisionality holds that in the state of nature agents can make rightful claims to property. What is lacking is the institutional context necessary to render their claims secure. By contrast, strong provisionality holds that making property claims in the state of nature wrongs others. I argue for a third view, anticipatory provisionality, according to which state of nature property claims do not wrong others, but anticipate a condition in which the authority to make such claims can no longer be unilaterally determined.     

Temporal generalization gradients following an interdimensional discrimination protocol

We investigated the effects of interdimensional discrimination training in the temporal generalization gradient. In a matching-to-sample task, pigeons learned to choose key S after a T–s houselight sample and key NS in the absence of the houselight sample. For one group of pigeons, T?=?20?s; for another, T?=?10?s. Subsequently, houselight duration was varied to obtain temporal generalization gradients. Results showed that (a) proportion S increased as houselight duration ranged from 0?s to T?s and then remained high for houselight durations longer than T; (b) the gradients were well described by negative-exponential functions; (c) these non-flat gradients were present from the beginning of testing, and; (d) the average gradients obtained with T?=?20?s and T?=?10?s overlapped when plotted in relative time. We conclude that temporal control does not require explicit discrimination training along the temporal dimension, and that temporal generalization gradients obtained with an interdimensional protocol show the scalar property of timing. We discuss how these findings challenge current models of timing.     

The differentiation of response numerosities in the pigeon

Two experiments examined how pigeons differentiate response patterns along the dimension of number. In Experiment 1, 5 pigeons received food after pecking the left key at least N times and then switching to the right key (Mechner's Fixed Consecutive Number schedule). Parameter N varied across conditions from 4 to 32. Results showed that run length on the left key followed a normal distribution whose mean and standard deviation increased linearly with N; the coefficient of variation approached a constant value (the scalar property). In Experiment 2, 4 pigeons received food with probability p for pecking the left key exactly four times and then switching. If that did not happen, the pigeons still could receive food by returning to the left key and pecking it for a total of at least 16 times and then switching. Parameter p varied across conditions from 1.0 to .25. Results showed that when p= 1.0 or p=.5, pigeons learned two response numerosities within the same condition. When p=.25, each pigeon adapted to the schedule differently. Two of them emitted first runs well described by a mixture of two normal distributions, one with mean close to 4 and the other with mean close to 16 pecks. A mathematical model for the differentiation of response numerosity in Fixed Consecutive Number schedules is proposed.     

Dynamic Topological Completeness for

Dynamic topological logic (DTL) combines topological and temporalmodalities to express asymptotic properties of dynamic systemson topological spaces. A dynamic topological model is a tripleX ,f , V , where X is a topological space, f : X X a continuousfunction and V a truth valuation assigning subsets of X to propositionalvariables. Valid formulas are those that are true in every model,independently of X or f. A natural problem that arises is toidentify the logics obtained on familiar spaces, such as . It [9] it was shown that any satisfiable formulacould be satisfied in some for n large enough, but the question of how the logic varieswith n remained open. In this paper we prove that any fragment of DTL that is completefor locally finite Kripke frames is complete for . This includes DTL; it also includes some largerfragments, such as DTL₁, where "henceforth" may not appear inthe scope of a topological operator. We show that satisfiabilityof any formula of our language in a locally finite Kripke frameimplies satisfiability in by constructing continuous, open maps from the plane intoarbitrary locally finite Kripke frames, which give us a typeof bisimulation. We also show that the results cannot be extendedto arbitrary formulas of DTL by exhibiting a formula which isvalid in but not in arbitrarytopological spaces.     

Homicide and property crime: The relationships to anomie

Sociological explanations of crime have given considerable attention to Merton's anomie theory without systematically testing it. This paper tests Merton's theory through operationalizing anomie in terms of the degree of inequality in the distribution of income in each of the 50 states. A multiple regression analysis determines that while income inequality is significantly related to the rate of homicide, it is not significantly related to the rate of property crime. A preliminary cross-national analysis of 20 nations replicates this same general finding. The results suggest that a relatively large gap between material success and the means to success is likely to result in crimes of violence rather than property crime once we control the influence of other variables.     

Algebraic Characterizations of Various Beth Definability Properties

In this paper it will be shown that the Beth definability property corresponds to surjectiveness of epimorphisms in abstract algebraic logic. This generalizes a result by I. Németi (cf. [11, Theorem 5.6.10]). Moreover, an equally general characterization of the weak Beth property will be given. This gives a solution to Problem 14 in [20]. Finally, the characterization of the projective Beth property for varieties of modal algebras by L. Maksimova (see [15]) will be shown to hold for the larger class of semantically algebraizable logics.     

视觉信息加工中的整体优先性

该文综述了视知觉的整体优先性理论,以及关于整体优先性机制的理论及其面临的困难,特别介绍了本文作者近年来开展的一系列关于整体优先性的行为和事件相关电位研究结果,以及根据这些结果提出的一个基于知觉组织和选择性注意相互作用的复合刺激加工的理论模型。     

大脑两半球与整体和局部性质的选择性加工

研究大脑两半球在加工整体和局部性质中的优势以及两半球能否同时分别选择两个复合刺激的整体和局部性质。实验中把一个复合字母随机呈现在左视野或右视野,或者把两个复合字母同时分别呈现在左视野和右视野。实验一发现,在单侧呈现条件下,被试检测左右视野的整体或局部靶目标的反应时没有显著差别,但在双侧同时呈现条件下,检测右视野局部靶目标比检测左视野局部靶目标时的反应时短。实验二要求被试检测同时呈现在左右视野的整体或局部靶目标,发现当两个视野的靶目标处于同一水平时(整体或局部)反应时较短,两个视野的靶目标处于不同水平时(一侧处于整体水平而另一侧处于局部水平)反应时较长。这些结果提示,当两个复合刺激同时呈现在左右视野时,大脑左半球在选择性加工局部性质时具有优势;左右两半球更容易选择两个复合刺激同一个水平的性质,分别选择两个复合刺激不同水平的性质比较困难。