The semantic effects of verb raising and its consequences in second language grammars

This article considers whether highly proficient second language speakers of English can distinguish meaning contrasts associated with constructions where there is a raising be, and constructions where there is a non-raising thematic verb, as illustrated in the difference between (1a) and (1b): 1a. Kim is reading a novel (`event-in-progress/existential ? interpretation

Preaching to Episodic Ears: Practicing a Dramaturgical Homiletic

This article is a critical attempt to develop a homiletic methodology for preaching to the episodic self of the 21st century. The British philosopher Galen Strawson contends that postmodern people today do not regard themselves as living out their lives in a diachronic or narrative sense, but rather in an episodic-existential sense. This episodic-existential way of perceiving one’s life has recently posed a significant challenge to the current preaching practice that is mostly composed and delivered from the pulpit through a narrative. This article provides a considerate response to that episodic-existential challenge. Specifically, the article proposes a dramaturgical narrative form of preaching, in close collaboration with Paul Tillich’s existential theology, as a creative alternative to the conventional narrative way(s) of preaching

Existential witness extraction in classical realizability and via a negative translation

We show how to extract existential witnesses from classical proofs using Krivine's classical realizability---where classical proofs are interpreted as lambda-terms with the call/cc control operator. We first recall the basic framework of classical realizability (in classical second-order arithmetic) and show how to extend it with primitive numerals for faster computations. Then we show how to perform witness extraction in this framework, by discussing several techniques depending on the shape of the existential formula. In particular, we show that in the Sigma01-case, Krivine's witness extraction method reduces to Friedman's through a well-suited negative translation to intuitionistic second-order arithmetic. Finally we discuss the advantages of using call/cc rather than a negative translation, especially from the point of view of an implementation.Comment: 52 pages. Accepted in Logical Methods for Computer Science (LMCS), 201

Relational Parametricity and Control

We study the equational theory of Parigot's second-order λμ-calculus in connection with a call-by-name continuation-passing style (CPS) translation into a fragment of the second-order λ-calculus. It is observed that the relational parametricity on the target calculus induces a natural notion of equivalence on the λμ-terms. On the other hand, the unconstrained relational parametricity on the λμ-calculus turns out to be inconsistent with this CPS semantics. Following these facts, we propose to formulate the relational parametricity on the λμ-calculus in a constrained way, which might be called ``focal parametricity''.Comment: 22 pages, for Logical Methods in Computer Scienc

Derek Mahon’s Affiliations with Albert Camus

Zadanie pt. „Digitalizacja i udostępnienie w Cyfrowym Repozytorium Uniwersytetu Łódzkiego kolekcji czasopism naukowych wydawanych przez Uniwersytet Łódzki” nr 885/P-DUN/2014 dofinansowane zostało ze środków MNiSW w ramach działalności upowszechniającej nauk

Hip Hop Hermeneutics: How the Culture Influences Preachers

Hip Hop Hermeneutics essay lays out findings of current research into how Hip Hop culture has been formational for African American preachers, and how that culture informs their preaching. There is a generation of preachers leading congregations today that have grown up with Hip Hop. Hip Hop culture has left an indelible mark upon them; just as the church has. How does the cultural influence of Hip Hop affect their preaching? Hip Hop hermeneutics is the response put forth by this article. This article traces the practice and theology of early African American preachers, the work of James Cone in Black Liberation theology, and Womanist theologians to demonstrate how Black theology has always included the Black experience as part of its theological norm. The article then posits that the next generation of Black theology must take into account that Hip Hop is also part of that Black experience, before going on to delineate a Hip Hop hermeneutic. A Hip Hop hermeneutic is a particular way of reading scripture that embraces the honest and raw fullness of the Black experience

Geometrically closed rings

We develop the basic theory of geometrically closed rings as a generalisation of algebraically closed fields, on the grounds of notions coming from positive model theory and affine algebraic geometry. For this purpose we consider several connections between finitely presented rings and ultraproducts, affine varieties and definable sets, and we introduce the key notion of an arithmetic theory as a purely algebraic version of coherent logic for rings.Comment: 18 page