From reasonable preferences,via argumentation,to logic

This article demonstrates that typical restrictions which are imposed in dialogical logic in order to recover first-order logical consequence from a fragment of natural language argumentation are also forthcoming from preference profiles of boundedly rational players, provided that these players instantiate a specific player type and compute partial strategies. We present two structural rules, which are formulated similarly to closure rules for tableaux proofs that restrict players' strategies to a mapping between games in extensive forms (i.e., game trees) and proof trees. Both rules are motivated from players' preferences and limitations; they can therefore be viewed as being player-self-imposable. First-order logical consequence is thus shown to result from playing a specific type of argumentation game. The alignment of such games with the normative model of the Pragma-dialectical theory of argumentation is positively evaluated. But explicit rules to guarantee that the argumentation game instantiates first-order logical consequence have now become gratuitous, since their normative content arises directly from players' preferences and limitations. A similar naturalization for non-classical logics is discussed.     

Braine心理逻辑理论述评

该文对Braine提出的在推理心理学研究领域占居重要地位的“心理逻辑理论”做了综合述评。“心理逻辑理论”主要包括三方面内容:构成“心理逻辑理论”基础的一组推理规则图式、将推理规则图式应用于推理过程的推理方案、实际应用意义。Braine认为他和他的同事于1984年设计并实施的以“自然推理系统”所含各推理规则为实验材料的实验结果支持该理论的基本观点。     

时间压力和相似性对类比推理直觉加工的影响

通过两个实验探讨了时间压力对类比推理的直觉加工的影响。实验1采用三因素混合实验设计,以48名大学生为被试,在不同时间压力条件下对不同相似性言语类比推理题进行喜好度判断和类比推理逻辑判断。实验2是在实验1的基础上用图形类比推理题代替语义类比推理题,以56名大学生为被试。结果发现:(1)时间压力下,对跨领域言语类比推理的直觉加工效应显著高于逻辑加工效应;(2)时间压力下,低难度图形类比推理题的直觉加工效应显著高于逻辑加工效应。无时间压力条件下,图形类比推理的逻辑加工效应优势明显;(3)时间压力对类比推理的直觉加工和逻辑加工均有影响     

A new fuzzy multicriteria evaluation method for group site selection in GIS

Multiple criteria group site selection problems involve a group of individuals evaluating a set of alternative sites on the basis of multiple criteria. This paper presents an application of a new fuzzy algorithm for finding and exploring potential solutions to these problems in a raster Geographical Information System (GIS) environment. Linguistic assessments from decision‐makers are represented as triangular fuzzy numbers (TFN's), which are adjusted for uncertainty in the source data and their relationship to suitability by using an approach based on type‐2 fuzzy sets. The first aggregation of inputs is a compensatory one based on fuzzy multiattribute decision‐making (MADM) theory. An adjusted aggregation then factors in conflicts, risks and uncertainties to enable a variety of compensatory and non‐compensatory outcomes to be generated based on decision‐maker preferences. The algorithm was implemented in ArcView GIS as part of an ongoing collaborative project with Brisbane Airport. This paper outlines the fuzzy algorithm and its use in site selection for a recycling facility on the Brisbane Airport site. Copyright © 2005 John Wiley & Sons, Ltd.     

Making Things Happen

We explore some logics of change, focusing on commands to change the world in such a way that certain elementary propositions become true or false. This investigation starts out from the following two simplifying assumptions: (1) the world is a collection of facts (Wittgenstein), and (2), the world can be changed by changing elementary facts (Marx). These assumptions allow us to study the logic of imperatives in the simplest possible setting.     

On the Existence of Continua of Logics Between Some Intermediate Predicate Logics

A method for constructing continua of logics squeezed between some intermediate predicate logics, developed by Suzuki [8], is modified and applied to intervals of the form [L, L+ ¬¬S], where Lis a predicate logic, Sis a closed predicate formula. This solves one of the problems from Suzuki's paper.     

Henkin Quantifiers and the Definability of Truth

Henkin quantifiers have been introduced in Henkin (1961). Walkoe (1970) studied basic model-theoretical properties of an extension L _* ¹(H) of ordinary first-order languages in which every sentence is a first-order sentence prefixed with a Henkin quantifier. In this paper we consider a generalization of Walkoe's languages: we close L _* ¹(H) with respect to Boolean operations, and obtain the language L ¹(H). At the next level, we consider an extension L _* ²(H) of L ¹(H) in which every sentence is an L ¹(H)-sentence prefixed with a Henkin quantifier. We repeat this construction to infinity. Using the (un)-definability of truth – in – N for these languages, we show that this hierarchy does not collapse. In addition, we compare some of the present results to the ones obtained by Kripke (1975), McGee (1991), and Hintikka (1996).     

Logic Without Contraction as Based on Inclusion and Unrestricted Abstraction

On the one hand, the absence of contraction is a safeguard against the logical (property theoretic) paradoxes; but on the other hand, it also disables inductive and recursive definitions, in its most basic form the definition of the series of natural numbers, for instance. The reason for this is simply that the effectiveness of a recursion clause depends on its being available after application, something that is usually assured by contraction. This paper presents a way of overcoming this problem within the framework of a logic based on inclusion and unrestricted abstraction, without any form of extensionality. This revised version was published online in June 2006 with corrections to the Cover Date.     

On an Intuitionistic Modal Logic

In this paper we consider an intuitionistic variant of the modal logic S4 (which we call IS4). The novelty of this paper is that we place particular importance on the natural deduction formulation of IS4— our formulation has several important metatheoretic properties. In addition, we study models of IS4— not in the framework of Kirpke semantics, but in the more general framework of category theory. This allows not only a more abstract definition of a whole class of models but also a means of modelling proofs as well as provability.     

Duality and Canonical Extensions of Bounded Distributive Lattices with Operators,and Applications to the Semantics of Non-Classical Logics I

The main goal of this paper is to explain the link between the algebraic and the Kripke-style models for certain classes of propositional logics. We start by presenting a Priestley-type duality for distributive lattices endowed with a general class of well-behaved operators. We then show that finitely-generated varieties of distributive lattices with operators are closed under canonical embedding algebras. The results are used in the second part of the paper to construct topological and non-topological Kripke-style models for logics that are sound and complete with respect to varieties of distributive lattices with operators in the above-mentioned classes. This revised version was published online in June 2006 with corrections to the Cover Date.