Self-referentiality in Constructive Semantics of Intuitionistic and Modal Logics

This thesis explores self-referentiality in the framework of justification logic. In this framework initialed by Artemov, the language has formulas of the form t:F, which means the term t is a justification of the formula F. Moreover, terms can occur inside formulas and hence it is legal to have t:F(t), which means the term t is a justification of the formula F about t itself. Expressions like this is not only interesting in the semantics of justification logic, but also, as we will see, necessary in applications of justification logic in formalizing constructive contents implicitly carried by modal and intuitionistic logics. Works initialed by Artemov and followed by Brezhnev and others have successfully extracted constructive contents packaged by modality in many modal logics. Roughly speaking, they offer methods of substituting modalities by terms in various justification logics, and then computing the exact structure of each term. After performing these methods, each formula prefixed by a modality becomes a formula prefixed by a term, which intuitively stands for the justification of the formula being prefixed. In terminology of this framework, we say that modal logics are realized in justification logics. Within the family of justification logics, the Logic of Proofs LP is perhaps the most important member. As Artemov showed, this logic is not only complete w.r.t. to arithmetical semantics about proofs, but also accommodates the modal logic S4 via realization. Combined with Godel\u27s modal embedding from intuitionistic propositional logic IPC to S4, the Logic of Proofs LP serves as an intermedium via which IPC receives its provability semantics, also known as Brouwer-Heyting-Kolmogorov semantics, or BHK semantics. This thesis presents the candidate\u27s works in two directions. (1) Following Kuznets\u27result that self-referentiality is necessary for the realization of several modal logics including S4, we show that it is also necessary for BHK semantics. (2) We find a necessary condition for a modal theorem to require self-referentiality in its realization, and using this condition to derive many interesting properties about self-referentiality

Tracing Syntactic Change in a Kleinkorpussprache: Two Case Studies from Old Albanian

The paper presents a methodological discussion on the possibilites of a (micro)parametric approach to syntactic reconstruction of Old and pre-literary Albanian, illustrated by a formal analysis of the position of clitics and the verb and the (morpho)syntax of definiteness in the 16th and 17th-century Old Albanian texts. It is argued that, in contrast to Modern Albanian, Old Albanian lacked (that is, was in the process of gradually acquiring) overt V-movement with imperatives in the sentential domain and overt N-movement in the DP domain

New Considerations Propounded in Little Magazines of American Innovative Poetry

A finales del siglo XX las pequeñas revistas americanas centradas en la publicación de poesía y poética alcanzaron una importancia inusitada. En sus páginas aparecieron nuevas proposiciones formales que se alejaban del estilo narrativo centrado en el yo y propiciaron discursos más fragmentarios tomados de diversas fuentes y que establecían una relación entre el individuo, la escritura y la sociedad. Los poetas americanos innovadores fueron los principales impulsores de esta nueva conciencia, especialmente visible a través de las pequeñas revistas que aparecieron con fuerza a partir de los años setenta del siglo XX, al tomar referencias intelectuales sólidas que le supusieron un reconocimiento internacional.During the last two decades of the twentieth century little magazines played a significant role in the American avant-garde poetic scene. The new formal considerations propounded in these magazines violated narrative style centered on the self and gave rise to fragmentary inquisitive discourses on the relationship between the individual, writing and society. We see this clearly in the works of the so-called innovative poets, in which the prevalence of a new consciousness was developed mainly through the publication of little magazines emerging in the 1970s. They favored debates among poets and intellectuals and achieved an international audience

Amnesiac Passages: Melville’s Pierre, Blanchot and the Question of Psychoanalytic Reading

No abstract (available)

Sixth Force and Photonic Overman

In contrast to the Nietzschean conception of Übermensch as signifying, hitherto, a supermanhood in moral terms alone, the principle of the latter lies in its being antithetical to the present human status, and in its thus proving altogether superior both ontologically and physically. With this premise the notions of Sixth Force and Photonic Frame are now associated. Set forth after a qualitative fashion, while the former is related to the thus far known elemental constituents of matter, as well as to forces and interactions between matter particles, and under this form deemed to intangibly account for all the chaos, indeterminacy and otherwise imperfection or limit found so peculiar to man, the latter refers to an ultimate trait in the actual Overman touching a most luminous and unparalleled corporeality. An original conception of geometry in photonic terms is also propounded. Illustrations meeting at length with a semiotic process and literary hints add to the suggestion

Interstory: A Study of Reader Participation and Networked Narrative in Media Convergence

Recently we have seen the proliferation of narratives developing in media convergence: simultaneously on websites, blogs, multimedia platforms, books, magazines, etc. In this thesis, I propose the term interstory to characterize this narrative tendency. Interstory is a narrative constituted by a network of story pieces published in different media and compiled by readers. To illustrate the concept of interstory I take as a study case Hernán Casciari’s and Christian Basilis’ Orsai, which in two years has incorporated into its narrative three blogs, a print magazine, and a web magazine. Orsai has been a successful project thanks to the formation of a solid online/offline community of readers around it. Because of the media characteristics and large-scale of the object under examination, I propose a methodology for the study of narrative as a network composed of authors, texts, media of publication, readers, and readers’ input. This has allowed the exploration of which narrative contents are encompassed by the project, where they are published, when and where, as well as how the readers’ respond to them. A methodology for the study of readers’ practices in Orsai’s different media was also developed. I propose that narrative is by no means in crisis in the digital age. As a matter of fact, readers are avid participants of narrative enterprises building a highly prosocial environment of interaction. Nonetheless, as I show in this thesis, the expectations of readers and the media currently available are having an impact on how narrative is created, distributed and consumed

‘In from the periphery’? Re-framing the reach of the nineteenth-century French literary-scientific imagination

By investigating what it calls the literary-scientific imagination, this article refocuses critical attention towards new nineteenth-century French scientific knowledge in texts outside the realist “canon”. Chateaubriand’s Atala (1801) reveals French natural scientific nomenclatures illuminating significant, non-Western, knowledge. Scientific discovery in “provincial” France proves discipline- and genre-defining in Adrien Cranile’s little-studied Solutré (1872). Sand’s fantastical-dystopian Laura ou Voyage dans le Cristal (1864) demonstrates important re-educational review of imperial scientific progress. The shared peripheral visions, effets de l’irréel and critical-creative scientific possibility of these indicative texts demonstrate the richness of the (nineteenth-century) French literary-scientific imagination for onward study.Publisher PDFPeer reviewe