Reconstructive Dreams: A Pragmatic Fantastic After Postmodernism

This dissertation focuses on the use of fantastic elements in the work of a young generation of writers which explore the possibilities of literary development after and beyond postmodernism. By overtly declaring the fictionality of their fantastic stories by means of frame narratives, texts like Jonathan Safran Foer’s Everything is Illuminated (2002), Michael Chabon’s The Amazing Adventures of Kavalier and Clay (2000), Mark Danielewski’s House of Leaves (2000), David Mitchell’s number9dream (2001) and Yann Martel’s Life of Pi (2001) reassess the communicative value of genre boundaries in an attempt to move beyond postmodern relativity and breakdown of communicability. This clear focus on pragmatic concerns marks a shift in the use of the fantastic which calls for a reconsideration of some of the general critical assumptions about the workings of the mode. Though the relation between reality and fiction remains a central issue, the main concern shifts away from such epistemological and ontological considerations, towards questions concerning the pragmatic function of literary fiction in general and different genres in particular. Instead of dwelling on the typically postmodern concerns about the fictionality of reality and the instability of meaning, the works under discussion emphasise the constructive role fiction plays in dealing with reality, the uses to which it can be put and the functions it fulfils in fashioning our being in the world. Drawing on Iser’s theory of the fictive, Irmtraud Huber therefore suggests a reconceptualisation of the fantastic mode, which newly foregrounds its underlying pragmatic structure. She bring this adapted understanding to bear in a close textual analysis of the above mentioned literary texts, with the aim to account for their use of the mode in their commitment to a larger literary endeavour of a new generation that engages with the inheritance of postmodernism and struggles to come into its own.

The Nature of Scientific Proof in the Age of Simulations. Is numerical mimicry a third way of establishing truth?

Is numerical mimicry a third way of establishing truth? Kevin Heng received his M.S. and Ph.D. in astrophysics from the Joint Institute for Laboratory Astrophysics (JILA) and the University of Colorado at Boulder. He joined the Institute for Advanced Study in Princeton from 2007 to 2010, first as a Member and later as the Frank & Peggy Taplin Member. From 2010 to 2012 he was a Zwicky Prize Fellow at ETH Z¨urich (the Swiss Federal Institute of Technology). In 2013, he joined the Center for Space and Habitability (CSH) at the University of Bern, Switzerland, as a tenure-track assistant professor, where he leads the Exoplanets and Exoclimes Group. He has worked on, and maintains, a broad range of interests in astrophysics: shocks, extrasolar asteroid belts, planet formation, fluid dynamics, brown dwarfs and exoplanets. He coordinates the Exoclimes Simulation Platform (ESP), an open-source set of theoretical tools designed for studying the basic physics and chemistry of exoplanetary atmospheres and climates (www.exoclime.org). He is involved in the CHEOPS (Characterizing Exoplanet Satellite) space telescope, a mission approved by the European Space Agency (ESA) and led by Switzerland. He spends a fair amount of time humbly learning the lessons gleaned from studying the Earth and Solar System planets, as related to him by atmospheric, climate and planetary scientists. He received a Sigma Xi Grant-in-Aid of Research in 2006

A feasible theory of truth over combinatory algebra

We define an applicative theory of truth TPT which proves totality exactly for the polynomial time computable functions. TPT has natural and simple axioms since nearly all its truth axioms are standard for truth theories over an applicative framework. The only exception is the axiom dealing with the word predicate. The truth predicate can only reflect elementhood in the words for terms that have smaller length than a given word. This makes it possible to achieve the very low proof-theoretic strength. Truth induction can be allowed without any constraints. For these reasons the system TPT has the high expressive power one expects from truth theories. It allows embeddings of feasible systems of explicit mathematics and bounded arithmetic. The proof that the theory TPT is feasible is not easy. It is not possible to apply a standard realisation approach. For this reason we develop a new realisation approach whose realisation functions work on directed acyclic graphs. In this way, we can express and manipulate realisation information more efficiently.

Evaluating an e-mental health program (“deprexis”) as adjunctive treatment tool in psychotherapy for depression: design of a pragmatic randomized controlled trial

Background Major depressive disorder (MDD) places a significant disease burden on individuals as well as on societies. Several web-based interventions for MDD have shown to be effective in reducing depressive symptoms. However, it is not known whether web-based interventions, when used as adjunctive treatment tools to regular psychotherapy, have an additional effect compared to regular psychotherapy for depression. Methods/design This study is a currently recruiting pragmatic randomized controlled trial (RCT) that compares regular psychotherapy plus a web-based depression program (¿deprexis¿) with a control condition exclusively receiving regular psychotherapy. Adults with a depressive disorder (N?=?800) will be recruited in routine secondary care from therapists over the course of their initial sessions and will then be randomized within therapists to one of the two conditions. The primary outcome is depressive symptoms measured with the Beck Depression Inventory (BDI-II) at three months post randomization. Secondary outcomes include changes on various indicators such as anxiety, somatic symptoms and quality of life. All outcomes are again assessed at the secondary endpoint six months post randomization. In addition, the working alliance and feasibility/acceptability of the treatment condition will be explored. Discussion This is the first randomized controlled trial to examine the feasibility/acceptability and the effectiveness of a combination of traditional face-to-face psychotherapy and web-based depression program compared to regular psychotherapeutic treatment in depressed outpatients in routine care.