A Nonmonotonic Modal Formalization of the Logic of Acceptance and Rejection

The problems we deal with concern reasoning about incomplete knowledge. Knowledge is understood as ability of an ideal rational agent to make decisions about pieces of information. The formalisms we are particularly interested in are Moore's autoepistemic logic (AEL) and its variant, the logic of acceptance and rejection (AEL2). It is well-known that AEL may be seen as the nonmonotonic KD45 modal logic. The aim is to give an appropriate modal formalization for AEL2.     

Defaults in update semantics

The aim of this paper is twofold: (i) to introduce the framework of update semantics and to explain what kind of semantic phenomena may successfully be analysed in it: (ii) to give a detailed analysis of one such phenomenon: default reasoning.     

Undecidability and intuitionistic incompleteness

Let S be a deductive system such that S-derivability (s) is arithmetic and sound with respect to structures of class K. From simple conditions on K and s, it follows constructively that the K-completeness of s implies MP(S), a form of Markov's Principle. If s is undecidable then MP(S) is independent of first-order Heyting arithmetic. Also, if s is undecidable and the S proof relation is decidable, then MP(S) is independent of second-order Heyting arithmetic, HAS. Lastly, when s is many-one complete, MP(S) implies the usual Markov's Principle MP.An immediate corollary is that the Tarski, Beth and Kripke weak completeness theorems for the negative fragment of intuitionistic predicate logic are unobtainable in HAS. Second, each of these: weak completeness for classical predicate logic, weak completeness for the negative fragment of intuitionistic predicate logic and strong completeness for sentential logic implics MP. Beth and Kripke completeness for intuitionistic predicate or sentential logic also entail MP.These results give extensions of the theorem of Gödel and Kreisel (in [4]) that completeness for pure intuitionistic predicate logic requires MP. The assumptions of Gödel and Kreisel's original proof included the Axiom of Dependent Choice and Herbrand's Theorem, no use of which is explicit in the present article.     

Semilattice-based dualities

The paper discusses regularisation of dualities. A given duality between (concrete) categories, e.g. a variety of algebras and a category of representation spaces, is lifted to a duality between the respective categories of semilattice representations in the category of algebras and the category of spaces. In particular, this gives duality for the regularisation of an irregular variety that has a duality. If the type of the variety includes constants, then the regularisation depends critically on the location or absence of constants within the defining identities. The role of schizophrenic objects is discussed, and a number of applications are given. Among these applications are different forms of regularisation of Priestley, Stone and Pontryagin dualities.     

The argumentative impact of causal relations — An exemplary analysis of the free predicate in the promotional discourse

The semantic relations between and within utterances are marked by the use of connectors and adverbials. One type of semantic relations is causal relations expressed by causal markers such as because, therefore, so, for, etc. Some of these markers cover different types of causal relations such as causality, explanation and justification. In certain types of discourse, causal relations also imply an intentional element. This paper describes the way in which the semantic and pragmatic functions of causal markers can be accounted for in terms of linguistic and rhetorical theories of argumentation.     

视觉工作记忆回溯线索效应的产生机制：认知阶段分离

以往研究关于视觉工作记忆回溯线索效应的产生机制主要存在5种假设, 目前依然存在争议。本研究通过改进前人研究实验范式, 采用包含内源性回溯线索的颜色回忆报告范式, 进一步对这5种假设进行检验。在实验1中, 我们调控了线索与探测阵列之间的时间间隔, 发现不同时间间隔不影响无线索条件的行为表现, 而在正常线索条件中被试的记忆精度以及能记住的项目数量均优于无线索条件; 在实验2中, 我们对回溯线索伴随的干扰刺激类型进行控制, 结果显示, 在不同条件下记忆精度不存在差别, 但当回溯线索伴随干扰刺激呈现时, 被试能记住的项目数量会被降低, 降低程度受干扰刺激的类型调制; 在实验3中, 我们对伴随回溯线索的干扰刺激的呈现时间进行控制, 发现虽然回溯线索效应仍然存在, 但干扰刺激的呈现时间不会影响效应程度。研究结果表明, 回溯线索的出现使得被试能够在决策加工前完成内部注意资源的再分配, 从而避免了同时进行这两种认知加工与记忆表征维持本身竞争认知资源。本研究为认知阶段分离假设提供了支持证据, 对解决回溯线索效应产生机制的争议以及理解内部注意与视觉工作记忆的关系有重要意义。