Semantic form as interface

The term interface had a remarkable career over the past several decades, motivated largely by its use in computer science. Although the concept of a "surface common to two areas" (Oxford Advanced Learner's Dictionary, 1980) is intuitively clear enough, the range of its application is not very sharp and well defined, a "common surface" is open to a wide range of interpretations

Modal Considerations on Information Processing and Computation in the Nervous System

We can characterize computationalism very generally as a complex thesis with two main parts: the thesis that the brain (or the nervous system) is a computational system and the thesis that neural computation explains cognition. As Piccinini and Bahar (2012) point out, over the last six decades, computationalism has been the mainstream theory of cognition. Nevertheless, there is still substantial debate about which type of computation explains cognition, and computationalism itself still remains controversial. My aim in this paper is to make two main contributions to the debate about the first subthesis of computationalism, i.e. that the brain is a computational system. First, I want to offer an accurate elucidation of the notion relevant for understanding computationalism (the notion of computation) and clarify the relation between computation and information as well as the relations between both computation and information processing and the nervous system. Second, I want to argue against a peculiar form of computationalism: the thesis that neural processes are constitutively computational in some sense; that neural processes cannot be realized by a system that is not in some sense computational. I will call this thesis "modal computationalism". In particular, I want to argue that neural processing can be realized by a system that is not a sui generis computer (i. e., a computing system that is neither digital nor analog) and by a system that is not a generic computer (a computer in the most general sense: one that includes digital, analog, and any other kind of computation). Actual neural processing is presumed to be computational in these two senses (Piccinini and Bahar 2012). I will argue that, even if this is true, neural processing can be realized by a computing system that is not of the same kind as those that perform actual neural processing and even by a system that is not computational at all.Fil: Wajnerman Paz, Abel. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad de Buenos Aires; Argentin

12th International Workshop on Termination (WST 2012) : WST 2012, February 19–23, 2012, Obergurgl, Austria / ed. by Georg Moser

This volume contains the proceedings of the 12th International Workshop on Termination (WST 2012), to be held February 19–23, 2012 in Obergurgl, Austria. The goal of the Workshop on Termination is to be a venue for presentation and discussion of all topics in and around termination. In this way, the workshop tries to bridge the gaps between different communities interested and active in research in and around termination. The 12th International Workshop on Termination in Obergurgl continues the successful workshops held in St. Andrews (1993), La Bresse (1995), Ede (1997), Dagstuhl (1999), Utrecht (2001), Valencia (2003), Aachen (2004), Seattle (2006), Paris (2007), Leipzig (2009), and Edinburgh (2010). The 12th International Workshop on Termination did welcome contributions on all aspects of termination and complexity analysis. Contributions from the imperative, constraint, functional, and logic programming communities, and papers investigating applications of complexity or termination (for example in program transformation or theorem proving) were particularly welcome. We did receive 18 submissions which all were accepted. Each paper was assigned two reviewers. In addition to these 18 contributed talks, WST 2012, hosts three invited talks by Alexander Krauss, Martin Hofmann, and Fausto Spoto

A QBF-based Formalization of Abstract Argumentation Semantics

Supported by the National Research Fund, Luxembourg (LAAMI project) and by the Engineering and Physical Sciences Research Council (EPSRC, UK), grant ref. EP/J012084/1 (SAsSY project).Peer reviewedPostprin

Computer Science and Metaphysics: A Cross-Fertilization

Computational philosophy is the use of mechanized computational techniques to unearth philosophical insights that are either difficult or impossible to find using traditional philosophical methods. Computational metaphysics is computational philosophy with a focus on metaphysics. In this paper, we (a) develop results in modal metaphysics whose discovery was computer assisted, and (b) conclude that these results work not only to the obvious benefit of philosophy but also, less obviously, to the benefit of computer science, since the new computational techniques that led to these results may be more broadly applicable within computer science. The paper includes a description of our background methodology and how it evolved, and a discussion of our new results.Comment: 39 pages, 3 figure