Piecewise Boolean Algebras and Their Domains

We characterise piecewise Boolean domains, that is, those domains that arise as Boolean subalgebras of a piecewise Boolean algebra. This leads to equivalent descriptions of the category of piecewise Boolean algebras: either as piecewise Boolean domains equipped with an orientation, or as full structure sheaves on piecewise Boolean domains.Comment: 11 page

Rigorous Results, Cross-Model Justification, and the Transfer of Empirical Warrant: The Case of Many-Body Models in Physics

This paper argues that a successful philosophical analysis of models and simulations must accommodate an account of mathematically rigorous results. Such rigorous results may be thought of as genuinely model-specific contributions, which can neither be deduced from fundamental theory nor inferred from empirical data. Rigorous results provide new indirect ways of assessing the success of models and simulations and are crucial to understanding the connections between different models. This is most obvious in cases where rigorous results map different models on to one another. Not only does this put constraints on the extent to which performance in specific empirical contexts may be regarded as the main touchstone of success in scientific modelling, it also allows for the transfer of warrant across different models. Mathematically rigorous results can thus come to be seen as not only strengthening the cohesion between scientific strategies of modelling and simulation, but also as offering new ways of indirect confirmation

BAP guidelines on the management of weight gain, metabolic disturbances and cardiovascular risk associated with psychosis and antipsychotic drug treatment

Excess deaths from cardiovascular disease are a major contributor to the significant reduction in life expectancy experienced by people with schizophrenia. Important risk factors in this are smoking, alcohol misuse, excessive weight gain and diabetes. Weight gain also reinforces service users’ negative views of themselves and is a factor in poor adherence with treatment. Monitoring of relevant physical health risk factors is frequently inadequate, as is provision of interventions to modify these. These guidelines review issues surrounding monitoring of physical health risk factors and make recommendations about an appropriate approach. Overweight and obesity, partly driven by antipsychotic drug treatment, are important factors contributing to the development of diabetes and cardiovascular disease in people with schizophrenia. There have been clinical trials of many interventions for people experiencing weight gain when taking antipsychotic medications but there is a lack of clear consensus regarding which may be appropriate in usual clinical practice. These guidelines review these trials and make recommendations regarding appropriate interventions. Interventions for smoking and alcohol misuse are reviewed, but more briefly as these are similar to those recommended for the general population. The management of impaired fasting glycaemia and impaired glucose tolerance (‘pre-diabetes’), diabetes and other cardiovascular risks, such as dyslipidaemia, are also reviewed with respect to other currently available guidelines.These guidelines were compiled following a consensus meeting of experts involved in various aspects of these problems. They reviewed key areas of evidence and their clinical implications. Wider issues relating to primary care/secondary care interfaces are discussed but cannot be resolved within guidelines such as these

A Dynamic-Logical Perspective on Quantum Behavior

In this paper we show how recent concepts from Dynamic Logic, and in particular from Dynamic Epistemic logic, can be used to model and interpret quantum behavior. Our main thesis is that all the non-classical properties of quantum systems are explainable in terms of the non-classical flow of quantum information. We give a logical analysis of quantum measurements (formalized using modal operators) as triggers for quantum information flow, and we compare them with other logical operators previously used to model various forms of classical information flow: the "test" operator from Dynamic Logic, the "announcement" operator from Dynamic Epistemic Logic and the "revision" operator from Belief Revision theory. The main points stressed in our investigation are the following: (1) The perspective and the techniques of "logical dynamics" are useful for understanding quantum information flow. (2) Quantum mechanics does not require any modification of the classical laws of "static" propositional logic, but only a non-classical dynamics of information. (3) The main such non-classical feature is that, in a quantum world, all information-gathering actions have some ontic side-effects. (4) This ontic impact can affect in its turn the flow of information, leading to non-classical epistemic side-effects (e.g. a type of non-monotonicity) and to states of "objectively imperfect information". (5) Moreover, the ontic impact is non-local: an information-gathering action on one part of a quantum system can have ontic side-effects on other, far-away parts of the system