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.

What is the Relation between Human Practical Action and an Accompanying Discourse? Discussing the Status of Practical Theory

The article discusses the function of an accompanying discourse in relation to the genesis of human practical action. On the one side, theory cannot be taken as the ground for practical action; practical action is not a realisation of intentions. On the other hand, human practical action is accompanied by series of explanations, justifications, declarations of intent, pre‑ and post-rationalisations, motivations etc. These accompanying discourses seem in one way or the other to be necessary for the actual realisation of human practical action. Following Pierre Bourdieu, it is suggested that an accompanying discourse cannot in a meaningful manner be separated from the human practical action, that practical theory should be regarded not as theory but as part of practice, and that practical theory first of all provides a common language for talking about practice and hence for reproducing a fundamentally arbitrary idea of the genesis of human practical action. Parallels are drawn to the education/formal training of semi-professionals.

A practical posture for hand grip dynamometry in the clinical setting

The optimal testing position for hand grip strength, which is a useful functional measure of nutritional status, is open to debate. We therefore examined the systematic difference between different postures in order to establish a methodology that is clinically relevant, easy to perform and reproducible.