Products of modal logics and tensor products of modal algebras

One of natural combinations of Kripke complete modal logics is the product, an operation that has been extensively investigated over the last 15 years. In this paper we consider its analogue for arbitrary modal logics: to this end, we use product-like constructions on general frames and modal algebras. This operation was first introduced by Y. Hasimoto in 2000; however, his paper remained unnoticed until recently. In the present paper we quote some important Hasimoto's results, and reconstruct the product operation in an algebraic setting: the Boolean part of the resulting modal algebra is exactly the tensor product of original algebras (regarded as Boolean rings). Also, we propose a filtration technique for Kripke models based on tensor products and obtain some decidability results.     

Book Notes: Adams,Frederick and Kenneth Aizawa,The Bounds of Cognition,Oxford: Blackwell Publishing, 2008, pp. xiii + 197, AU$120.00 / NZ$130.00 (cloth)

Logical pluralism has been in vogue since JC Beall and Greg Restall 2006 articulated and defended a new pluralist thesis. Recent criticisms such as Priest 2006a Priest, Graham. 2006a. Doubt Truth to be a Liar, Oxford: Oxford University Press.  [Google Scholar] and Field 2009 Field, Hartry. 2009. Pluralism in Logic. Review of Symbolic Logic, 2/2: 342–59. doi:10.1017/S1755020309090182[Crossref], [Web of Science ®] , [Google Scholar] have suggested that there is a relationship between their type of logical pluralism and the meaning-variance thesis for logic. This is the claim, often associated with Quine 1970 Quine, W. V. O. 1970. Philosophy of Logic, Oxford: Oxford University Press.  [Google Scholar], that a change of logic entails a change of meaning. Here we explore the connection between logical pluralism and meaning-variance, both in general and for Beall and Restall's theory specifically. We argue that contrary to what Beall and Restall claim, their type of pluralism is wedded to meaning-variance. We then develop an alternative form of logical pluralism that circumvents at least some forms of meaning-variance.     

Fooled by first impressions? Reexamining the diagnostic value of appearance-based inferences

We often form opinions about the characteristics of others from single, static samples of their appearance - the very first thing we see when, or even before, we meet them. These inferences occur spontaneously, rapidly, and can impact decisions in a variety of important domains. A crucial question, then, is whether appearance-based inferences are accurate. Using a naturalistic data set of more than 1 million appearance-based judgments obtained from a popular website (Study 1) and data from an online experiment involving over a thousand participants (Study 2), we evaluate the ability of human judges to infer the characteristics of others from their appearances. We find that judges are generally less accurate at predicting characteristics than they would be if they ignored appearance cues and instead only relied on their knowledge of characteristic base-rate frequencies. The findings suggest that appearances are overweighed in judgments and can have detrimental effects on accuracy. We conclude that future research should (i) identify the specific visual cues that people use when they draw inferences from appearances, (ii) determine which of these cues promote or hinder accurate social judgments, and (iii) examine how inference goals and contexts moderate the use and diagnostic validity of these cues.     

知觉者与行为者贫富对自发特质推理的影响

本研究采用探测词再认范式,分3个研究考察了知觉者和行为者的贫富对个体自发特质推理的影响。研究1考察了知觉者贫富对自发特质推理的影响,结果表明富裕启动条件下的被试更可能进行自发特质推理。研究2考察了行为者贫富对自发特质推理的影响,结果表明被试更有可能对富人刻板一致的行为句子进行自发特质推理。研究3考察了知觉者和行为者贫富对自发特质推理的交互影响,结果发现仅富裕启动条件下的被试更可能对富人刻板一致句子进行自发特质推理。本研究为自发特质推理发生的灵活性提供了新证据。     

儿童句子错误记忆:发展性逆转现象及精加工推理效应

为探究文本背景下句子错误记忆的发展性逆转现象及精加工推理效应,95名有效被试学习3篇文本材料后,参与由学过句、内涵推理句、外延推理句和无关句组成的再认测验。结果发现：（1）高中二年级被试学过句的正确再认率和关键诱饵句的校正的错误再认率均显著高于小学五年级和初中二年级,后二者差异不显著;（2）内涵推理句错误再认率高于外延推理句,高中二年级被试尤甚。结论：（1）句子真实记忆随着年龄增长而增加;句子错误记忆存在发展性逆转现象,初中二年级到高中二年级是句子错误记忆发展相对迅速的阶段;（2）文本背景下,不同的精加工推理诱发了不同程度的句子错误记忆,这种精加工推理效应与一般世界知识的自上而下激活的程度有关。     

A Dynamic-Logical Perspective on Quantum Behavior

In this paper we show how recent concepts from Dynamic Logic, and in particular from Dynamic Epistemic logic, can be used to model and interpret quantum behavior. Our main thesis is that all the non-classical properties of quantum systems are explainable in terms of the non-classical flow of quantum information. We give a logical analysis of quantum measurements (formalized using modal operators) as triggers for quantum information flow, and we compare them with other logical operators previously used to model various forms of classical information flow: the “test” operator from Dynamic Logic, the “announcement” operator from Dynamic Epistemic Logic and the “revision” operator from Belief Revision theory. The main points stressed in our investigation are the following: (1) The perspective and the techniques of “logical dynamics” are useful for understanding quantum information flow. (2) Quantum mechanics does not require any modification of the classical laws of “static” propositional logic, but only a non-classical dynamics of information. (3) The main such non-classical feature is that, in a quantum world, all information-gathering actions have some ontic side-effects. (4) This ontic impact can affect in its turn the flow of information, leading to non-classical epistemic side-effects (e.g. a type of non-monotonicity) and to states of “objectively imperfect information”. (5) Moreover, the ontic impact is non-local: an information-gathering action on one part of a quantum system can have ontic side-effects on other, far-away parts of the system.