Decidability for some justification logics with negative introspection

Justification logics are modal logics that include justifications for the agent's knowledge. So far, there are no decidability results available for justification logics with negative introspection. In this paper, we develop a novel model construction for such logics and show that justification logics with negative introspection are decidable for finite constant specifications.

A syntactic realization theorem for justification logics

Justification logics are refinements of modal logics where modalities are replaced by justification terms. They are connected to modal logics via so-called realization theorems. We present a syntactic proof of a single realization theorem that uniformly connects all the normal modal logics formed from the axioms \$mathsfd\$, \$mathsft\$, \$mathsfb\$, \$mathsf4\$, and \$mathsf5\$ with their justification counterparts. The proof employs cut-free nested sequent systems together with Fitting's realization merging technique. We further strengthen the realization theorem for \$mathsfKB5\$ and \$mathsfS5\$ by showing that the positive introspection operator is superfluous.

Effects of expectation and caffeine on arousal, well-being, and reaction time

The objective of this study is to determine the impact of expectation associated with placebo and caffeine ingestion. We used a three-armed, randomized, double-blind design. Two three-armed experiments varying instruction (true, false, control) investigated the role of expectations of changes in arousal (blood pressure, heart rate), subjective well-being, and reaction time (RT). In Experiment 1 (N = 45), decaffeinated coffee was administered, and expectations were produced in one group by making them believe they had ingested caffeinated coffee. In Experiment 2 (N = 45), caffeinated orange juice was given in both experimental groups, but only one was informed about the true content. In Experiment 1, a significant effect for subjective alertness was found in the placebo treatment compared to the control group. However, for RT and well-being no significant effects were found. In Experiment 2, no significant expectancy effects were found. Caffeine produced large effects for blood pressure in both treatments compared to the control group, but the effects were larger for the false information group. For subjective well-being (alertness, calmness), considerable but nonsignificant changes were found for correctly informed participants, indicating possible additivity of pharmacologic effect and expectations. The results tentatively indicate that placebo and expectancy effects primarily show through introspection.

A Note on the Use of Sum in the Logic of Proofs

The Logic of Proofs~LP, introduced by Artemov, encodes the same reasoning as the modal logic~S4 using proofs explicitly present in the language. In particular, Artemov showed that three operations on proofs (application~$\cdot$, positive introspection~!, and sum~+) are sufficient to mimic provability concealed in S4~modality. While the first two operations go back to G{\"o}del, the exact role of~+ remained somewhat unclear. In particular, it was not known whether the other two operations are sufficient by themselves. We provide a positive answer to this question under a very weak restriction on the axiomatization of LP.

Shakespeare, the Middle Ages and the Luck of the British: Medievalism and National Identity in The Hollow Crown (2012)

Images of the medieval past have long been fertile soil for the identity politics of subsequent periods. Rather than “authentically” reproducing the Middle Ages, medievalism therefore usually tells us more about the concerns and ideological climate of its own time and place of origin. To dramatise the nascent nation, Shakespeare resorts to medievalism in his history plays. Centuries later, the BBC-produced television mini-serial The Hollow Crown – adapting Shakespeare’s second histories tetralogy – revamps this negotiation of national identity for the “Cultural Olympiad” in the run-up to the 2012 London Olympics. In this context of celebratory introspection, The Hollow Crown weaves a genealogical narrative consisting of the increasingly “glorious” medieval history depicted and “national” Shakespearean heritage in order to valorise 21st-century “Britishness”. Encouraging a reading of the histories as medieval history, the films construct an ostensibly inclusive, liberal-minded national identity grounded in this history. Moreover, medieval kingship is represented in distinctly sentimentalising and humanising terms, fostering emotional identification especially with the no longer ambivalent Hal/Henry V and making him an apt model for present-day British grandeur. However, the fact that the films in return marginalise female, Scottish, Irish and Welsh characters gives rise to doubts as to whether this vision of Shakespeare’s Middle Ages really is, as the producers claimed, “for everybody”.

“Crye Fredome”? Medievalism and Twenty-First-Century Scottish National Identity

It is a well-documented fact that the Middle Ages have had a long history of instrumentalisation by nationalisms. 19th-century Eu¬rope in particular witnessed an origins craze during the process of nation-building. In the post-Shoah, post-modern West, on the other hand, we might expect this kind of medievalist master nar¬rative to have been consigned to the dustbin of history. And yet, as nationalism surges again in Europe, negotiations of national identi¬ties in medieval dress seem to have become fashionable once more. In order to come to terms with the fragmented and often contradictory presence of the Middle Ages in these discourses of national identity, I propose we consider medievalism a utilitarian product of the cultural memory. Rather than representing any ‘real’ Middle Ages, then, medievalism tailors available knowledge of the medieval past to the diverse social needs and ideologies of the present. This paper looks at a selection of Scottish examples of present-day medievalism in an attempt to investigate, in particular, the place of the medieval Wars of Scottish Independence in contemporary negotiations of ‘Scottishness’. Both the relationships envisioned between self and other and the role played by ‘the land’ in these cultural, social and political instances of national introspection offer starting points for critical inquiry. Moreover, the analysis of a scholarly intervention in the run-up to the 2014 Scottish independence referendum indicates an intriguing dialogue of academic and non-academic voices in the context of Scottish medievalist cultural memory. We thus find a wide array of uses of the Scottish Middle Ages, some of which feed into the burgeoning nationalism of recent years, while others offer more pensive and ambivalent answers to the question of what it means to be Scottish in the 21st century.