1.

Una lecture materialista de la colonialidad
- Trigo, Abril
Es innegable la contribución de la teoría de la colonialidad del poder, propuesta por Aníbal Quijano, para un mejor entendimiento de los dispositivos de dominación en el sistema mundial moderno. Sin embargo, al poner el énfasis en los dispositivos cognitivos de dominación simbólica, la teoría prioriza la crítica de lo discursivo sobre el estudio de la materialidad histórico-‐social, con lo cual el capitalismo resulta así un elemento más, casi un atributo, que no la clave de bóveda, de la modernidad. En una palabra, la falla de que adolece la formidable teoría de Quijano reside en no otorgar al capitalismo –como...

2.

Interdisciplinarity and Complexity: An Evolving Relationship
- Julie Thompson Klein
In recent decades, the ideas of interdisciplinarity and complexity have become increasingly en-twined. This convergence invites an exploration of the links and their implications. The implica-tions span the nature of knowledge, the structure of the university, the character of problem solv-ing, the dialogue between science and humani-ties, and the theoretical relationship of the two underlying ideas. Both interdisciplinarity and complexity are mod- ern ideas. However, the underlying concepts of interdisciplinarity- breadth and general knowl-edge, integration, and synthesis- are ancient. Orga-nized programs date to the opening decades of the twentieth century, in social science research and the core curriculum and general...

3.

Pensamiento científico-creativo y rendimiento académico
- Ruiz, María José; Ferrándiz García, Carmen; Soto Martínez, Gloria; Bermejo García, María Rosario; Sainz Gómez, Marta
http://revistas.udc.es/index.php/reipe/article/view/24El objetivo del trabajo es estudiar la relación del constructo de pensamiento científico-creativo con el rendimiento académico en una muestra de alumnos adolescentes. Además de ello, se analizará la fiabilidad de la prueba de pensamiento científico-creativo que se va a utilizar en el presente trabajo. En el estudio participaron 98 estudiantes (12-16 años) de un instituto de Educación Secundaria de la Región de Murcia (España). Los instrumentos utilizados fueron: a) el test de Pensamiento Científico-Creativo (Hu y Adey, 2002); adaptado en nuestro país por el Equipo de Altas Habilidades de la Universidad de Murcia. El test consta de 7 tareas...

4.

La estructura lógica de la teoría general de Keynes
- Benetti, Carlo; Cataño, José Felix
In this paper we study the construction of Keynes' theory, conceived as a structure composed by three general and basic models, which are deduced ones from the others. We show that Say's law as criticized by Keynes can be formalized by means of a "recursive supply" model. Keynes' criticism leads to a different model, a "non-walrasian and general interdepedence" one, which does not allow to criticize the adjustement to a full employment equilibrium. It is used by Keynes as a basic model from which, in a third stage, he obtains the Keynesian model, defined as the model which admits at...

5.

La estructura lógica de la teoría general de Keynes: una crítica de Benetti
- De Vroey, Michel; Méndez, Carolina; Cataño, José Felix
This article criticizes Benetti's article "The logical structure of Keynes's General Theory". I criticize Benetti' s claim that a sequence of three models is necessary in order to give a foundation to Keynes' concept of involuntary unemployment. Likewise, I criticize the view, first brought forward by Patinkin and taken up by Benetti, that chapter 19 of the General Theory constitutes the climax of Keynes' book and provides an explanation of involuntary unemployment in a flex-price context.

6.

Interdisciplinarity and Complexity: An Evolving Relationship
- Julie Thompson Klein
In recent decades, the ideas of interdisciplinarity and complexity have become increasingly en-twined. This convergence invites an exploration of the links and their implications. The implica-tions span the nature of knowledge, the structure of the university, the character of problem solv-ing, the dialogue between science and humani-ties, and the theoretical relationship of the two underlying ideas. Both interdisciplinarity and complexity are mod- ern ideas. However, the underlying concepts of interdisciplinarity- breadth and general knowl-edge, integration, and synthesis- are ancient. Orga-nized programs date to the opening decades of the twentieth century, in social science research and the core curriculum and general...

7.

Executable Temporal Logic for Nonmonotonic Reasoning
- Joeri Engelfriet; Jan Treur
this paper we view nonmonotonic reasoning as a (special kind of) process. As temporal logic is a common formalism to specify and derive properties of processes, we introduce a variant of temporal logic as a general specification language for reasoning processes. We show that it is possible to execute finite specifications in this language, which leads to executability of a large class of finite nonmonotonic reasoning processes. 1. Introduction

8.

A CMOS VLSI Implementation of an Asynchronous ALU
- J.D. Garside
A CMOS self-timed ALU has been developed as part of an asynchronous implementation of the ARM microprocessor. This unit exploits the data dependency inherent in many arithmetic operations to enable a small, simple ALU to deliver a mean performance comparable with that of a more sophisticated synchronous one with consequent reductions in both silicon area and electrical power consumption. The self-timed nature of the unit means that the majority of operations complete quickly whilst allowing rare `worst-case' operations to take longer, maintaining a high average throughput. This paper presents instruction usage statistics to justify the claimed performance and SPICE simulation...

9.

"Almost always" and "definitely sometime" are not enough: Probabilistic quantifiers and Probabilistic model-checking
- Purush Iyer; Murali Narasimha
Specifications for probabilistic programs often use the notion of almost always and definitely sometime to capture the probabilistic information. But there are a number of instances (eg. network protocols) where probabilistic information needs to be explicitly specified. In this paper we present PCTL , a probabilistic version of the branching time logic CTL , where the quantifiers for universality (almost always) and existence (definitely sometime) are replaced by a single probabilistic quantifier. We argue that this logic is more general than previous logics. We show how to model-check probabilistic programs (given as markov chains) against specifications in PCTL . We...

10.

Changing Preferences
- Johan Van Benthem; Jan van Eijck; Alla Frolova
Abstract This is an exploratory document for a new research line in logical semantics which is emerging from several current developments in computer science. Standard logic employs 'flat' unstructured sets of statements for its theories and unstructured classes of models for its semantic universes. Nowadays, however, there is an incipient literature on structured universes of models as well as structured theories, both employing 'preference relations' of some sort. The purpose of this brief report is (1) to propose a more systematic framework for this trend, while also connecting it up with some historical predecessors, (2) to design some new logical...

11.

Programming Paradigms of the Andorra Kernel Language
- Sverker Janson; Seif Haridi
The Andorra Kernel Language (AKL) is introduced. It is shown how AKL provides the programming paradigms of both Prolog and GHC. This is the original goal of the design. However, it has also been possible to provide capabilities beyond that of Prolog and GHC. There are means to structure search, more powerful than plain backtracking. It is possible to encapsulate search in concurrent reactive processes. It is also possible to write a multi-way merger with constant delay. In these respects AKL is quite original. Although AKL is an instance of our previously introduced Kernel Andorra Prolog framework, this exposition contains...

12.

Reasoning about knowledge of unawareness
- Joseph Y. Halpern; Leandro Chaves Rêgo
Awareness has been shown to be a useful addition to stan-dard epistemic logic for many applications. However, stan-dard propositional logics for knowledge and awareness can-not express the fact that an agent knows that there are facts of which he is unaware without there being an explicit fact that the agent knows he is unaware of. We propose a logic for reasoning about knowledge of unawareness, by extending Fagin and Halpern’s Logic of General Awareness. The logic allows quantification over variables, so that there is a formula in the language that can express the fact that “an agent explic-itly knows that...

13.

Evaluation of a DPA-Resistant Prototype Chip
- Mario Kirschbaum
Abstract—The recently proposed masked logic style iMDPL seems to eradicate many of the latest points of criticism against masked logic styles in general. By means of a prototype chip containing different implementations we analyze the DPA resistance of iMDPL. Furthermore we compare the results with the logic styles ’ predecessor MDPL, which verifiably suffers from an effect called ”early propagation”. We also investigate iMDPL regarding an advanced attack approach that claims to be able to almost completely remove the effect of masking in masked logic styles.

14.

Otter: The CADE-13 Competition Incarnations
- William Mccune; Larry Wos
. This article discusses the two incarnations of Otter entered in the CADE-13 Automated Theorem Proving Competition. Also presented are some historical background, a summary of applications that have led to new results in mathematics and logic, and a general discussion of Otter. Key words: Automated theorem proving, automated reasoning, equational deduction, Otter, paramodulation, resolution. 1. Introduction Otter [19, 21] is an automated deduction system for first-order logic with equality. Two versions of Otter were entered in the CADE-13 Automated Theorem Proving System Competition, and the main purpose of this article is to give a detailed presentation of our entries....

15.

Complexity and Expressive Power of Logic Programming
- Evgeny Dantsin; Thomas Eiter; Georg Gottlob; Andrei Voronkov
This paper surveys various complexity and expressiveness results on different forms of logic programming. The main focus is on decidable forms of logic programming, in particular, propositional logic programming and datalog, but we also mention general logic programming with function symbols. Next to classical results on plain logic programming (pure Horn clause programs), more recent results on various important extensions of logic programming are surveyed. These include logic programming with different forms of negation, disjunctive logic programming, logic programming with equality, and constraint logic programming.

16.

Using Prediction to Accelerate Coherence Protocols
- S.S. Mukherjee; Mark D. Hill
Most large shared-memory multiprocessors use directory protocols to keep per-processor caches coherent. Some memory references in such systems, however, suffer long latencies for misses to remotely-cached blocks. To ameliorate this latency, researchers have augmented standard coherence protocols with optimizations for specific sharing patterns, such as read-modify-write, producer-consumer, and migratory sharing. This paper seeks to replace these directed solutions with general prediction logic that monitors coherence activity and triggers appropriate coherence actions. This paper takes the first step toward using general prediction to accelerate coherence protocols by developing and evaluating the Cosmos coherence message predictor. Cosmos predicts the source and type...

17.

Synthesis of the Hardware/Software Interface in Microcontroller-Based Systems
- Pai Chou; Ross Ortega; Gaetano Borriello
Microcontroller-based systems require the design of a hardware/software interface that enables software running on the microcontroller to control external devices. This interface consists of the sequential logic that physically connects the devices to the microcontroller and the software drivers that allow code to access the device functions. This paper presents a method for automatically synthesizing this hardware/software interface using a recursive algorithm. Practical examples are used to demonstrate the utility of the method and results indicate that the synthesized circuit and driver code are comparable to that generated by human designers. This new tool will be used by higher-level synthesis...

18.

Intuitionistic Logic with a "Definitely" Operator
- Peter Mott
This paper introduces a logic ILED derived from standard intuitionistic sentence logic by adding two operators Dj for "Definitely j" and ~j for "Experience rejects j". A further negation j = def (j®^) Ú ~j , which we call real negation, is introduced. Real negation is like intuitionistic negation when there are no D-operators but deviates when there are. We see that Dj j is valid but Dj ® j is not and hence that contraposition fails for real negation. We give a semantics for this logic, axiomatise it and prove the axiomatisation complete. Finally we show that real negation...

19.

Formalization of graphical schemas: General sketch-based logic vs heuristic pictures
- Zinovy Diskin
e lack of rigor in graph-based formalisms supporting schemas as such. Then there emerges the tempting problem of providing schemas with an appropriate graph-based logic so that graphical images themselves can be regarded as formal specifications. Indeed, several successful attempts are already known, e.g., proof trees in proof theory, parsing trees in grammar theory, and sketches in category theory. We suggest a general approach to the problem encompassing a wide variety of kinds of schemas. The approach aims at providing (in a uniform way) schemas with a corresponding logic so that any schema can be considered as a theory of...

20.

A Logical Foundation for Logic Programming II: Semantics of General Logic Programs
- Alexander Bochman
We suggested in [12] a general logical formalism for Logic Programming based on a four-valued inference. In this paper we give a uniform representation of various semantics for logic programs based on this formalism. The main conclusion from this representation is that the distinction between these semantics can be largely attributed to the difference in their underlying (monotonic) logical systems. Moreover, in most cases the difference can even be reduced to that of the language, that is, to the difference in the logical connectives allowed for representing derivable information. Keywords. Foundations of logic programming, negation as failure, semantics for logic...