An Infinitary Extension of Jankov’s Theorem

It is known that for any subdirectly irreducible finite Heyting algebra A and any Heyting algebra B, A is embeddable into a quotient algebra of B, if and only if Jankov’s formula χ _A for A is refuted in B. In this paper, we present an infinitary extension of the above theorem given by Jankov. More precisely, for any cardinal number κ, we present Jankov’s theorem for homomorphisms preserving infinite meets and joins, a class of subdirectly irreducible complete κ-Heyting algebras and κ-infinitary logic, where a κ-Heyting algebra is a Heyting algebra A with # ≥  κ and κ-infinitary logic is the infinitary logic such that for any set Θ of formulas with # Θ ≥  κ, ∨Θ and ∧Θ are well defined formulas.     

Congruence Coherent Symmetric Extended de Morgan Algebras

An algebra A is said to be congruence coherent if every subalgebra of A that contains a class of some congruence on A is a union of -classes. This property has been investigated in several varieties of lattice-based algebras. These include, for example, de Morgan algebras, p-algebras, double p-algebras, and double MS-algebras. Here we determine precisely when the property holds in the class of symmetric extended de Morgan algebras. Presented by M.E. Adams     

Principal Congruences on Semi-De Morgan Algebras

In this paper we use Hobby's duality for semi-De Morgan algebras, to characterize those algebras having only principal congruences in the classes of semi-De Morgan algebras, demi-pseudocomplemented lattices and almost pseudocomplemented lattices. This work extends some of the results reached by Beazer in [3] and [4].     

身体姿势启动的内隐权力感对公平决策的影响

已有研究表明, 扩张身体姿势可启动个体的权力感。基于具身认知的视角, 实验1考察身体姿势对免惩罚游戏的提议者进行金钱分配时的影响, 实验2和实验3分别考察最后通牒游戏、免惩罚游戏的回应者在蜷缩和扩张姿势下对各种分配类型方案的拒绝率。结果表明, 与蜷缩姿势相比, 扩张姿势使个体更倾向于在免惩罚游戏提议者角色时做出更多的利己不公平分配, 同时使个体更倾向于拒绝最后通牒游戏和免惩罚游戏中的不公平分配。本研究证明了扩张姿势启动的权力感可影响个体的公平决策。     

Priestley duality for some subalgebra lattices

Priestley duality can be used to study subalgebras of Heyting algebras and related structures. The dual concept is that of congruence on the dual space and the congruence lattice of a Heyting space is dually isomorphic to the subalgebra lattice of the dual algebra. In this paper we continue our investigation of the congruence lattice of a Heyting space that was undertaken in [10], [8] and [12]. Our main result is a characterization of the modularity of this lattice (Theorem 2.12). Partial results about its complementedness are also given, and among other things a characterization of those finite Heyting algebras with a complemented subalgebra lattice (Theorem 3.5).     

Whorf and Wittgenstein. Language, world view and argumentation

Whorf and Wittgenstein are perhaps the most famous names in linguistics and philosophy associated with the assumption that language plays a decisive role in shaping our view of reality. After a critical discussion of Whorf's linguistic relativity principle I conclude that it is not language as a system, but the use of language according to the rules of language games which connects language thought and world view, especially if some particular usage becomes the commonly accepted norm. This traditional norm also enters argumentative discourse in the form of background assumptions occuring in the premises of arguments. Thus, traditional points of view and prevailing ideologies in a society, even if challenged in discussions, can become reinforced and stabilized. This is illustrated with a critical analysis of the role and function of tautological utterances in argumentative discourse, which only apparently are compelling means of argumentation.