The ubiquity of conservative translations

We study the notion of conservative translation between logics introduced by Feitosa and D'Ottaviano. We show that classical propositional logic (CPC) is universal in the sense that every finitary consequence relation over a countable set of formulas can be conservatively translated into CPC. The translation is computable if the consequence relation is decidable. More generally, we show that one can take instead of CPC a broad class of logics (extensions of a certain fragment of full Lambek calculus FL) including most nonclassical logics studied in the literature, hence in a sense, (almost) any two reasonable deductive systems can be conservatively translated into each other. We also provide some counterexamples, in particular the paraconsistent logic LP is not universal.Comment: 15 pages; to appear in Review of Symbolic Logi

On the Concept of a Notational Variant

In the study of modal and nonclassical logics, translations have frequently been employed as a way of measuring the inferential capabilities of a logic. It is sometimes claimed that two logics are “notational variants” if they are translationally equivalent. However, we will show that this cannot be quite right, since first-order logic and propositional logic are translationally equivalent. Others have claimed that for two logics to be notational variants, they must at least be compositionally intertranslatable. The definition of compositionality these accounts use, however, is too strong, as the standard translation from modal logic to first-order logic is not compositional in this sense. In light of this, we will explore a weaker version of this notion that we will call schematicity and show that there is no schematic translation either from first-order logic to propositional logic or from intuitionistic logic to classical logic

"Revolution? What Revolution?" Successes and limits of computing technologies in philosophy and religion

Computing technologies like other technological innovations in the modern West are inevitably introduced with the rhetoric of "revolution". Especially during the 1980s (the PC revolution) and 1990s (the Internet and Web revolutions), enthusiasts insistently celebrated radical changes— changes ostensibly inevitable and certainly as radical as those brought about by the invention of the printing press, if not the discovery of fire.\ud These enthusiasms now seem very "1990s�—in part as the revolution stumbled with the dot.com failures and the devastating impacts of 9/11. Moreover, as I will sketch out below, the patterns of diffusion and impact in philosophy and religion show both tremendous success, as certain revolutionary promises are indeed kept—as well as (sometimes spectacular) failures. Perhaps we use revolutionary rhetoric less frequently because the revolution has indeed succeeded: computing technologies, and many of the powers and potentials they bring us as scholars and religionists have become so ubiquitous and normal that they no longer seem "revolutionary at all. At the same time, many of the early hopes and promises instantiated in such specific projects as Artificial Intelligence and anticipations of virtual religious communities only have been dashed against the apparently intractable limits of even these most remarkable technologies. While these failures are usually forgotten they leave in their wake a clearer sense of what these new technologies can, and cannot do

Visual Representations of Gender and Computing in Consumer and Professional Magazines

Studies in the nineteen-eighties showed that advertising images of computers were gendered, with women relatively less represented, and shown with less empowered roles, problems or presented as sexual objects. This paper uses a mix of content and interpretative analysis to analyse current imagery in consumerist and professional society publications. It reveals the present variation and complexity of the iconography of computers and people across different domains of representation, with the continuation of gender bias in subtle forms

Menorah Review (No. 3, Spring, 1985)

Apathy, Anti-Semitism, and Authority -- Shakespeare\u27s Shylock, and Ours -- Varieties of Mysticism -- R.S.V.P. -- The Ethiopian Jewish Community -- Out of the Classroo

Freezing line of the Lennard-Jones fluid: a Phase Switch Monte Carlo study

We report a Phase Switch Monte Carlo (PSMC) method study of the freezing line of the Lennard-Jones (LJ) fluid. Our work generalizes to soft potentials the original application of the method to hard sphere freezing, and builds on a previous PSMC study of the LJ system by Errington (J. Chem. Phys. {\bf 120}, 3130 (2004)). The latter work is extended by tracing a large section of the Lennard-Jones freezing curve, the results for which we compare to a previous Gibbs-Duhem integration study. Additionally we provide new background regarding the statistical mechanical basis of the PSMC method and extensive implementation details.Comment: 18 pages, 6 figure

Making the Invisible Heard: German-Kurdish Cultural Organizations and Transnational Networks

The increasing corpus of theoretical literature on transnationalism remains to be applied to many of the transnational migrant communities which have developed since the advent of modern globalization. This literary essay seeks to provide a perspective on the German-Kurdish community in Berlin, and how they fit into the larger European and Kurdish contexts. It illustrates the convergence of opportunities and disadvantages that German-Kurds face in Berlin, while also investigating what it means to be a Berliner-Kurd. The literary essay accordingly explores the role of language, cultural organizations, and regional networks. In doing so, it is hoped that topics about German-Kurds and transnationalism can be highlighted for further study