Sustained attention can create an (illusory) experience of seeing dynamic change

Recent studies speculated that two types of change detection exist, one involving the experience of seeing dynamic change (change over brief interval), the other involving detecting a completed change (change over long interval), with only the former requiring sustained attention. To examine this supposition, a flicker change detection task was conducted in which the spatial location of objects was manipulated (shift, no-shift). In shift conditions, changed image display appeared in different locations than they did in the original display. The time interval separating images was manipulated (200 or 1000 ms). Results showed that a shift led to poor change detection only in the short interval condition. The performance decline by the image shift was not attenuated even when participants knew beforehand whether or not a shift would occur. Results indicate that sustained attention, which is sustained for a brief time, is related to the experience of seeing dynamic change.     

Assessing and Facilitating School Readiness for Microcomputers

Microcomputers represent a complex educational innovation requiring a planned change approach to program implementation. In this paper, the AVICTORY approach, a framework for assessing organizational readiness for microcomputers, is delineated. A case illustration is presented to demonstrate the relevance of the approach and a strategy for operationalizing and measuring organizational readiness is provided. Activities which may facilitate school readiness for microcomputers are also discussed.     

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.     

Action negation and alternative reductions for dynamic deontic logics

Dynamic deontic logics reduce normative assertions about explicit complex actions to standard dynamic logic assertions about the relation between complex actions and violation conditions. We address two general, but related problems in this field. The first is to find a formalization of the notion of ‘action negation’ that (1) has an intuitive interpretation as an action forming combinator and (2) does not impose restrictions on the use of other relevant action combinators such as sequence and iteration, and (3) has a meaningful interpretation in the normative context. The second problem we address concerns the reduction from deontic assertions to dynamic logic assertions. Our first point is that we want this reduction to obey the free-choice semantics for norms. For ought-to-be deontic logics it is generally accepted that the free-choice semantics is counter-intuitive. But for dynamic deontic logics we actually consider it a viable, if not, the better alternative. Our second concern with the reduction is that we want it to be more liberal than the ones that were proposed before in the literature. For instance, Meyer's reduction does not leave room for action whose normative status is neither permitted nor forbidden. We test the logics we define in this paper against a set of minimal logic requirements.     

Logic programs, iterated function systems, and recurrent radial basis function networks

Graphs of the single-step operator for first-order logic programs—displayed in the real plane—exhibit self-similar structures known from topological dynamics, i.e., they appear to be fractals, or more precisely, attractors of iterated function systems. We show that this observation can be made mathematically precise. In particular, we give conditions which ensure that those graphs coincide with attractors of suitably chosen iterated function systems, and conditions which allow the approximation of such graphs by iterated function systems or by fractal interpolation. Since iterated function systems can easily be encoded using recurrent radial basis function networks, we eventually obtain connectionist systems which approximate logic programs in the presence of function symbols.     

Conflicting imperatives and dyadic deontic logic

Often a set of imperatives or norms seems satisfiable from the outset, but conflicts arise when ways to fulfill all are ruled out by unfortunate circumstances. Semantic methods to handle normative conflicts were devised by B. van Fraassen and J.F. Horty, but these are not sensitive to circumstances. The present paper extends these resolution mechanisms to circumstantial inputs, defines dyadic deontic operators accordingly, and provides a sound and (weakly) complete axiomatic system for such deontic semantics.     

Hybrid Probabilistic Logic Programs as Residuated Logic Programs

In this paper we show the embedding of Hybrid Probabilistic Logic Programs into the rather general framework of Residuated Logic Programs, where the main results of (definite) logic programming are validly extrapolated, namely the extension of the immediate consequences operator of van Emden and Kowalski. The importance of this result is that for the first time a framework encompassing several quite distinct logic programming semantics is described, namely Generalized Annotated Logic Programs, Fuzzy Logic Programming, Hybrid Probabilistic Logic Programs, and Possibilistic Logic Programming. Moreover, the embedding provides a more general semantical structure paving the way for defining paraconsistent probabilistic reasoning with a logic programming semantics.     

Towards the logic of projective identification

This paper is devoted to the ‘logic of the unconscious’ and its application to the analysis of projective intentionality in psychoanalysis.Subjective assumptions concerning the existence and identity of intentional objects are often unconscious. They result from personal experience through its assimilation and transformation in further psychological (e.g. defensive) processes. Formal aspects of these subjective assumptions and their influence on our judgment and action have been studied by a number of psychoanalytic authors, in particular by Silvano Arieti, Ignacio Matte-Blanco and their followers who tried to develop ‘logic of the unconscious’. My project consists in the reformulation, clarification and elaboration of the logic of the unconscious using contemporary modal and relevant logics, in particular Graham Priest's logic of intentionality. An important advantage of this logic is that it allows for truth indeterminacy and paraconsistency of the propositional content of intentional states. In this article I explore the logic of projective identification, which I assume plays the central role in the logic of the unconscious.Special attention is given to the logical analysis of the notion of an internal object, and to a logical reconstruction of the fantasy of projective identification.