Preservation of Craig interpolation by the product of matrix logics

The product of matrix logics, possibly with additional interaction axioms, is shown to preserve a slightly relaxed notion of Craig interpolation. The result is established symbolically, capitalizing on the complete axiomatization of the product of matrix logics provided by their meet-combination. Along the way preservation of the metatheorem of deduction is also proved. The computation of the interpolant in the resulting logic is proved to be polynomially reducible to the computation of the interpolants in the two given logics. Illustrations are provided for classical, intuitionistic and modal propositional logics.     

基于位置和基于语义交互作用的无意识启动

采用线索-靶子范式,同时操纵刺激的位置和语义属性,考察了基于位置和基于语义交互作用的无意识启动。实验1和实验2分别要求被试完成定位任务和辨别任务。结果发现,当刺激位置属性与实验任务需求相关时,无论刺激的语义属性是否一致都产生了基于位置的启动效应;当刺激的语义属性与实验任务相关时,出现了基于位置和基于语义交互的无意识启动,即启动项和目标项的位置不同时,语义辨别任务存在启动效应;而启动项与目标项位置相同时,语义辨别任务存在着抑制趋势。研究结果表明,基于位置和基于语义交互作用的无意识启动效应仅存在于辨别任务中,而不存在于定位任务中。     

汉语句子加工中句法信息与语义信息的交互作用：来自ERP的证据

采用ERP技术考察句子加工过程中句法信息和语义信息交互作用的时间进程。以汉语“把字句”为实验材料,分别比较句法违例句与双重违例句的LAN和P600效应、语义违例句与双重违例句的N400效应。与句法违例句相比,双重违例句的LAN效应的波幅更负,潜伏期更长,皮层分布更广泛;双重违例句的P600效应出现减弱趋势;双重违例句的N400效应的潜伏期显著长于语义违例句。结果表明,在句子加工的各个阶段,句法信息和语义信息呈持续交互作用,支持句子的平行加工模型。     

Judging a book by its cover and its contents: the representation of polysemous and homophonous meanings in four-year-old children

Unlike homophonous meanings, which are semantically unrelated (e.g., the use of bat to refer to a baseball bat and a flying rodent), polysemous meanings are systematically related to one another (e.g., the use of book, CD, and video to refer to physical objects, as in ‘the leather book’, or to the intellectual content they contain, as in ‘the profound book’). But do perceived relations among polysemous meanings reflect the presence of generative lexical or conceptual structures that permit the meanings of these words to shift? If so, these structures may also support children’s early representations of polysemous meanings. In four studies, we demonstrate (1) that four-year-old children can understand both the concrete and abstract meanings of words like book, (2) that when taught a novel label for one of these meanings, children can readily understand an extension of that label to the other meaning, and (3) that extension does not occur between two homophonous meanings, which share a common phonological form but are otherwise unrelated. We conclude that the polysemous meanings of words like book rely on a common representational base early in development, and suggest that this may be the result of foundational, generative properties of the lexicon or conceptual system.     

AN ARCHIMEDEAN POINT FOR PHILOSOPHY

Abstract: According to an orthodox account of meaning and translation, meaning is a property of expressions of a language, and translation is a matching of synonymous expressions across languages. This linguistic account of translation gives rise to well‐known skeptical conclusions about translation, objectivity, meaning, and truth, but it does not conform to our best translational practices. In contrast, I argue for a textual account of meaning based on the concept of a text‐type that does conform to our best translational practices. With their semantic function in view, text‐types are Archimedean points for their respective disciplines. The text‐type of philosophy is no exception. Culture‐transcendent conceptual analysis can proceed on firm footing without having to deny the reality of radical cultural and linguistic difference by treating components of text‐types as the concepts to be analyzed. Analyses of central philosophical concepts are provided as a means of adjudicating philosophical controversy.     

Hybrid logic with the difference modality for generalisations of graphs

We discuss recent work generalising the basic hybrid logic with the difference modality to any reasonable notion of transition. This applies equally to both subrelational transitions such as monotone neighbourhood frames or selection function models as well as those with more structure such as Markov chains and alternating temporal frames. We provide a generic canonical cut-free sequent system and a terminating proof-search strategy for the fragment without the difference modality but including the global modality.     

Modal Platonism: an Easy Way to Avoid Ontological Commitment to Abstract Entities

Modal Platonism utilizes “weak” logical possibility, such that it is logically possible there are abstract entities, and logically possible there are none. Modal Platonism also utilizes a non-indexical actuality operator. Modal Platonism is the EASY WAY, neither reductionist nor eliminativist, but embracing the Platonistic language of abstract entities while eliminating ontological commitment to them. STATEMENT OF MODAL PLATONISM. Any consistent statement B ontologically committed to abstract entities may be replaced by an empirically equivalent modalization, MOD(B), not so ontologically committed. This equivalence is provable using Modal/Actuality Logic S5@. Let MAX be a strong set theory with individuals. Then the following Schematic Bombshell Result (SBR) can be shown: MAX logically yields [T is true if and only if MOD(T) is true], for scientific theories T. The proof utilizes Stephen Neale’s clever model-theoretic interpretation of Quantified Lewis S5, which I extend to S5@.     

Combining classical logic, paraconsistency and relevance

We present a logic with has both a simple semantics and a cut-free Gentzen-type system on one hand, and which combines relevance logics, da Costa's paraconsistent logics, and classical logic on the other. We further show that the logic has many other nice properties, and that its language is ideal from the semantic point of view.     

A comprehensive semantic framework for data integration systems

A data integration system provides the user with a unified view, called global schema, of the data residing at different sources. Users issue their queries against the global schema, and the system computes answers to queries by suitably accessing the sources, through the mapping, i.e., the specification of the relationship between the global schema and the sources. Since sources are in general autonomous subsystems, the information provided by the data at the sources and the mapping is likely not to be consistent with the knowledge expressed by the global schema. Therefore, the question arises of how to interpret user queries in such a situation, i.e., in the presence of data contradicting the global schema and the mapping. In this paper, we provide an in-depth analysis of the problem of dealing with inconsistencies in data integration systems. In this respect, we highlight the central role played by the mapping, and propose a general “mapping-centered” semantics that allows for computing significant answers to user queries even in the presence of inconsistent information. Based on such a semantic analysis, we define a general formal framework for data integration. Then, we argue that our semantic approach formalizes a very reasonable way of handling inconsistency in such systems, since practically all the existing proposals in the literature can be reconstructed in our framework. This allows for comparing and evaluating the different existing proposals.