Concurrent incorrectness separation logic

Incorrectness separation logic (ISL) was recently introduced as a theory of under-approximate reasoning, with the goal of proving that compositional bug catchers find actual bugs. However, ISL only considers sequential programs. Here, we develop concurrent incorrectness separation logic (CISL), which extends ISL to account for bug catching in concurrent programs. Inspired by the work on Views, we design CISL as a parametric framework, which can be instantiated for a number of bug catching scenarios, including race detection, deadlock detection, and memory safety error detection. For each instance, the CISL meta-theory ensures the soundness of incorrectness reasoning for free, thereby guaranteeing that the bugs detected are true positives.

Casus Andersa Breivika. Analiza wyselekcjonowanych wymiarów

Spektakularny casus Andersa Breivika wywołał, i wywołuje daleko idące reperkusje społeczne. W artykule analizowano dochodząc drogą Metody Ugruntowanej (Konecki K.T., 2018, Classic Grounded Theory–The Latest Version: Interpretation of Classic Grounded Theory as a Meta-Theory for Research , „Symbolic Interaction”, 41, s. 547–564), dzięki której z ogromnej ilości materiału i możliwych zmiennych, udało się „wydestylować” cztery podstawowe wymiarów jako konstytutywne i jednocześnie, jak można było stwierdzićpóźniej - wspólne dla wielu innych przypadków, które miały miejsce przed zamachem 22/7 i po nim. Wymiarami tymi są: dysfunkcjonalne relacje społeczne w dzieciństwie, narcyzm,uzależnienie od Internetu i status incela oraz doświadczanie wstydu. Wszystkie te wymiary występują wspólnie i w ekstremalnym nasileniu. Dzięki temu uzyskano rodzaj matrycy konceptualnej pozwalającej na przyjęcie swoistego approach w analizach podobnych przypadków. Matryca ta umożliwia też zrozumienie toksycznych źródeł osadzonych we współczesnej cywilizacji okcydentu.

Outside The City of Grace: appraising dystopia and global sustainability

'The City of Grace: An Urban Manifesto' (Wadley, 2020) models an ecotech settlement, aiming to achieve economic and social sustainability over a substantial period. The City is intended to be anti-dystopian and non-exclusive, with the possibility of replication in receptive settings. In this rejoinder to the book, the potential for dystopia attending population and sustainability issues in the outside world is appraised. Foundations are established in general systems, complexity and chaos theories, and an interpretation of procedural and substantive rationality. Two possible global failure modes are examined, one contained within the human sphere involving the future of capital and labour, and an external one founded in the familiar problematics of the human-environment nexus. Dilatory responses in advanced societies to these dilemmas are outlined. The subsequent prognosis regarding population and sustainability co-opts a meta-theory from environmental management to assess the viability of possible counterstrategies to dystopia although, in conclusion, its existence is instantiated.

A Systems View of Emotion in Socio-political Context

Most work to date in psychology and related sciences has examined simple, unidirectional causal processes of emotion affecting socio-political context or vice versa. In this classic, mechanistic view of science, each empirical observation stands on its own as a piece of some grander, not yet understandable, puzzle of nature. There have been repeated calls to eschew classic approaches in favor of systems meta-theory in psychology and related sciences. In this paper, we join these calls by arguing that systems meta-theory can better enable the study of emotions in socio-political contexts. We offer a brief primer on systems meta-theory, delineating three key beneficial features: multi-leveled, complex, and dynamic. Viewing emotion as a system of systems—within the person, their relationships (to others), and within the world (locally and globally)—enables fresh theory, method, and statistical analysis well suited to the study of emotion in a socio-political context.

Copulatory Urgency: An Evolutionary Perspective of Women’s Sexual Desire

Despite the extensive empirical exploration of sexual desire, only one field explains the proper biological function of this phenomenon—evolutionary psychology. This chapter reviews women’s copulatory urgency—individual differences in the experience or intensity of sexual desire—from an evolutionary psychological perspective. An evolutionary psychological perspective of the function of sexual desire can shed light on how deficits in this motivational force may emerge, which may be useful for clinicians when helping patients understand the etiology of sexual desire concerns. An evolutionary psychological perspective of sexual desire further reveals: (1) why men and women differ in their experiences of sexual desire, (2) how natural selection produces individual differences in sexual desire, and (3) how extremes in sexual desire may be associated with hypersexuality, paraphilias, or an evolutionary mismatch between the adaptive problems faced during our species’ past and the challenges we face today. I begin the chapter by presenting a brief history of research on sexual desire and highlighting the limitations of early models of sexual responding. Next, I discuss the difficulties of measuring sexual desire, and explain how evolutionary meta-theory can be fruitful when examining context-dependent individual differences in sexual desire. I then describe the impact of several important contextual factors (e.g., age, relationship length, parental effort, partner habituation) on variation in women’s sexual desire responses and highlight avenues for future research. The chapter ends by discussing the qualities of compulsive sexual behavior and proposing that extreme variations in sexual desire as we currently understand them may be the result of an evolutionary mismatch. In sum, I suggest that scientists distinguish between sexual desire and sexual arousal, consider evolutionary meta-theory when thinking about context-dependent variation in sexual desire, and be cognizant of potential confounds when examining women’s sexual desire responses.