Juliane Garcia

This paper is concerned with the ancient discussion on privative negation (e.g., 'unjust') and infinite negation (e.g., 'not-just'). We formalize and compare the positions of Aristotle and Alexander of Aphrodisias, of Proclus and Ammonius Hermiae, and of Porphyry (as presented by Boethius). Each of these formalizations takes the form of a logical system, which is intended to capture the main tenets of the position it formalizes. As an additional point of reference, we also discuss the system of contemporary, Boolean predicate logic. Our comparison focuses on the diagrams that each position gives rise to, and we show how our formalizations provide a unified and systematic perspective on these diagrams. In particular, we argue that the ancient discussion on privative and infinite negation can be understood through the lens of the so-called 'logic-sensitivity' of Aristotelian diagrams. © 2025 Elsevier B.V., All rights reserved.

Background: Current interventions to enhance patient self-efficacy, a key mediator of health behavior, have limited primary care application. Objective: To explore the effectiveness of an office-based intervention for training resident physicians to use self-efficacy-enhancing interviewing techniques. Design: Randomized controlled trial. Participants: Family medicine and internal medicine resident physicians at an academic medical center. Measurements: Resident use of SEE IT was coded from audio recordings of the physician-patient portion of two standardized patient instructor training visits and two unannounced post-training SP visits, all involving common physical and mental health conditions and behavior change issues. One post-training SP visit involved health conditions similar to those experienced in training, while the other involved new conditions. Results: Experimental group residents demonstrated significantly greater use of SEE IT than controls, starting after the first training visit and sustained through the final post-training visit. The mean effect of the intervention was significant [adjusted incidence rate ratio for increased use of SEE IT∈=∈1.94 ]. There were no significant effects of resident gender, race/ethnicity, specialty, training level, or SP health conditions. Conclusions: SP instructors can teach resident physicians to apply SEE IT during SP office visits, and the effects extend to health conditions beyond those used for training. Future studies should explore the effects of the intervention on practicing physicians, physician use of SEE IT during actual patient visits, and its influence on patient health behaviors and outcomes.

This chapter argues that the instrumentalist's conception of practical reasoning favoured by consequentialists is inadequate. Despite Amartya Sen's formidable defence of consequentialism, it is argued that consequentialism is incapable of protecting one from the moral horrors of the twentieth century, which almost always arise from its affinity to a kind of sympathy for humanity as a whole. The chapter offers an alternative to the moral life. It is constituted by four planks: (i) moral features derive from one's role-relationships to other people; (ii) it is virtue based, that is, it makes judgments of attitudinal responses deemed either virtuous or vicious; (iii) it is patient focused, that is, the fundamental attitudes of virtues are those directed towards the persons with whom the agent is related in the relevant role; and (iv) it is input-driven, that is, the moral status of an act is determined by its motivational input, not its consequential output.

Code-based cryptography is currently the second most promising post-quantum mathematical tool for quantum-resistant algorithms. Since in 2022 the first post-quantum standard Key Encapsulation Mechanism, Kyber (a latticed-based algorithm), was selected to be established as standard, and after that the National Institute of Standards and Technology post-quantum standardization call focused in code-based cryptosystems. Three of the four candidates that remain in the fourth round are code-based algorithms. In fact, the only non-code-based algorithm (SIKE) is now considered vulnerable. Due to this landscape, it is crucial to update previous results about these algorithms and their functioning. The Fujisaki-Okamoto transformation is a key part of the study of post-quantum algorithms and in this work we focus our analysis on Classic McEliece, BIKE and HQC proposals, and how they apply this transformation to obtain IND-CCA semantic security. Since after security the most important parameter in the evaluation of the algorithms is performance, we have compared the performance of the code-based algorithms of the NIST call considering the same architecture for all of them.