Logic of primary-conditionals and secondary-conditionals

Firstly, the authors analyzed the properties of primary-onditionals and secondary-conditionals, establish the minimum system C2L _m of primary-conditionals and secondary-conditionals, and then prove some of the formal theorems of the system which have important intuitive meanings. Secondly, the authors constructed the neighborhood semantics, prove the soundness of C2L _m, introduce a general concept of canonical model by the neighborhood semantics, and then prove the completeness of C2L _m by the canonical model. Finally, according to the technical results of the minimum system C2L _m, the authors discuss some of the important problems concerning primary-conditionals and secondary-onditionals. __________ Translated from Luoji Yu Renzhi 逻辑与认知 (Logic and Cognition) (online journal), 2004 (3)     

Compositionality and the Prospect of a Pluralistic Semantic Theory

A semantic theory is committed to semantic monism just in case every particular semantic property posited by the theory is a member of the same kind. The commitment to semantic monism appears to draw some support from the need to provide a compositional semantics, since taking a single kind of semantic property as key to a semantic theory affords a uniform pattern on the basis of which the meaning of any given sentence can be compositionally determined. This line of support highlights a tension between the principle of compositionality and taking a more pluralistic approach to semantic theorizing. In this essay, that tension is relieved, leaving open the prospect of a pluralistic semantic theory that observes the principle of compositionality.     

On Reduction Rules,Meaning-as-use,and Proof-theoretic Semantics

The intention here is that of giving a formal underpinning to the idea of ‘meaning-is-use’ which, even if based on proofs, it is rather different from proof-theoretic semantics as in the Dummett–Prawitz tradition. Instead, it is based on the idea that the meaning of logical constants are given by the explanation of immediate consequences, which in formalistic terms means the effect of elimination rules on the result of introduction rules, i.e. the so-called reduction rules. For that we suggest an extension to the Curry– Howard interpretation which draws on the idea of labelled deduction, and brings back Frege’s device of variable-abstraction to operate on the labels (i.e., proof-terms) alongside formulas of predicate logic. Presented by Heinrich Wansing     

涵义语义与关于概称句推理的词项逻辑

概称句推理具有以词项为单位的特征并且词项的涵义在其中起到了重要的作用。已有的处理用A一表达式表达涵义,不够简洁和自然。亚里斯多德三段论是一种词项逻辑,但它是外延的和单调的。这两方面的情况使得有必要考虑新的词项逻辑。涵义语义的基本观点是：语词首先表达的是涵义,通过涵义的作用,语词有了指称,表达概念。概称句三段论是更为常用的推理,有两个基本形式GAG和Gaa。在涵义语义的基础上建立的系统GAG和Gaa是关于这两种推理的公理系统。     

The cross-linguistic categorization of everyday events: a study of cutting and breaking

The cross-linguistic investigation of semantic categories has a long history, spanning many disciplines and covering many domains. But the extent to which semantic categories are universal or language-specific remains highly controversial. Focusing on the domain of events involving material destruction (“cutting and breaking” events, for short), this study investigates how speakers of different languages implicitly categorize such events through the verbs they use to talk about them. Speakers of 28 typologically, genetically and geographically diverse languages were asked to describe the events shown in a set of videoclips, and the distribution of their verbs across the events was analyzed with multivariate statistics. The results show that there is considerable agreement across languages in the dimensions along which cutting and breaking events are distinguished, although there is variation in the number of categories and the placement of their boundaries. This suggests that there are strong constraints in human event categorization, and that variation is played out within a restricted semantic space.     

基于语义错觉效应的句子加工探索

“语义错觉效应”是指读者在加工某些语义违例句子时,会暂时性地产生语义合理错觉,而只有通过继续加工或者再加工才能辨别出错误的现象,在脑电成分上表现为没有出现N400效应,却出现P600效应。“语义错觉效应”对传统的句子加工理论模型以及N400和P600的特异性功能意义提出了质疑。研究者在讨论此效应的基础上提出了多个句子加工模型,各模型对语义和句法加工的过程进行了探索,对语义和句法通道的关系做出了新的阐述,并对N400和P600的功能意义做出了新的解读。目前研究对N400功能的解释存在语义整合观和词汇激活观的分歧,而对P600功能的解释则从传统的句法功能转换到了更宽泛的加工过程。未来研究应关注词汇语义关系和跨语言差异,以期进一步揭示句子加工的认知及神经机制。     

Open Problems in the Philosophy of Information

Abstract: The philosophy of information (PI) is a new area of research with its own field of investigation and methodology. This article, based on the Herbert A. Simon Lecture of Computing and Philosophy I gave at Carnegie Mellon University in 2001, analyses the eighteen principal open problems in PI. Section 1 introduces the analysis by outlining Herbert Simon's approach to PI. Section 2 discusses some methodological considerations about what counts as a good philosophical problem. The discussion centers on Hilbert's famous analysis of the central problems in mathematics. The rest of the article is devoted to the eighteen problems. These are organized into five sections: problems in the analysis of the concept of information, in semantics, in the study of intelligence, in the relation between information and nature, and in the investigation of values.     

An argument game for stable semantics

In this paper, we present a discussion game for argumentationunder stable semantics. Our work is inspired by Vreeswijk andPrakken, who have defined a similar game for preferred semantics.In the current paper, we restate Vreeswijk and Prakken's workusing the approach of argument labellings and then show howit can be adjusted for stable semantics. The nature of the resultingargument game is somewhat unusual, since stable semantics doesnot satisfy the property of relevance.     

Taking Degrees of Truth Seriously

This is a contribution to the discussion on the role of truth degrees in manyvalued logics from the perspective of abstract algebraic logic. It starts with some thoughts on the so-called Suszko’s Thesis (that every logic is two-valued) and on the conception of semantics that underlies it, which includes the truth-preserving notion of consequence. The alternative usage of truth values in order to define logics that preserve degrees of truth is presented and discussed. Some recent works studying these in the particular cases of Łukasiewicz’s many-valued logics and of logics associated with varieties of residuated lattices are also presented. Finally the extension of this paradigm to other, more general situations is discussed, highlighting the need for philosophical or applied motivations in the selection of the truth degrees, due both to the interpretation of the idea of truth degree and to some mathematical difficulties.