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.

Reconsidering the logic of World Federation of Neurosurgical Societies grading in patients with severe subarachnoid hemorrhage.

OBJECT Current data show a favorable outcome in up to 50% of patients with World Federation of Neurosurgical Societies (WFNS) Grade V subarachnoid hemorrhage (SAH) and a rather poor prediction of worst cases. Thus, the usefulness of the current WFNS grading system for identifying the worst scenarios for clinical studies and for making treatment decisions is limited. One reason for this lack of differentiation is the use of "negative" or "silent" diagnostic signs as part of the WFNS Grade V definition. The authors therefore reevaluated the WFNS scale by using "positive" clinical signs and the logic of the Glasgow Coma Scale as a progressive herniation score. METHODS The authors performed a retrospective analysis of 182 patients with SAH who had poor grades on the WFNS scale. Patients were graded according to the original WFNS scale and additionally according to a modified classification, the WFNS herniation (hWFNS) scale (Grade IV, no clinical signs of herniation; Grade V, clinical signs of herniation). The prediction of poor outcome was compared between these two grading systems. RESULTS The positive predictive values of Grade V for poor outcome were 74.3% (OR 3.79, 95% CI 1.94-7.54) for WFNS Grade V and 85.7% (OR 8.27, 95% CI 3.78-19.47) for hWFNS Grade V. With respect to mortality, the positive predictive values were 68.3% (OR 3.9, 95% CI 2.01-7.69) for WFNS Grade V and 77.9% (OR 6.22, 95% CI 3.07-13.14) for hWFNS Grade V. CONCLUSIONS Limiting WFNS Grade V to the positive clinical signs of the Glasgow Coma Scale such as flexion, extension, and pupillary abnormalities instead of including "no motor response" increases the prediction of mortality and poor outcome in patients with severe SAH.

Beyond a logic of effectiveness: Horizontal coordination, democratic legitimacy and accountability

Horizontal coordination, where actors join together to accomplish a common task, has been applauded for its output legitimacy. However, such processes often face challenges due to opposition from local actors who raise concerns about democratic legitimacy and accountability. Moving beyond a logic of effectiveness, we aim to show how and why other forms of legitimacy such as input and throughput dimensions also affect horizontal coordination, in addition to output criteria. Beyond the assumed positive relationship between coordination and effectiveness, we additionally expect horizontal coordination to be (a) impeded by local actors' fear of losing democratic legitimacy; and (b) fostered by accountability in terms of the steering capacity of the state. A comparative case study analysis of water supply structures at the regional level in Switzerland shows, in contrast to our expectation, that effectiveness has mixed impacts on horizontal coordination. Rather than being solely a positive factor for horizontal coordination, certain output criteria such as financial redistribution are found to be a key hindrance. We also find that democratic legitimacy may, indeed, impede horizontal coordination whereas increased accountability positively affects such coordination.

Representation via Probabilities: Models of Probabilistic Modeling

How do probabilistic models represent their targets and how do they allow us to learn about them? The answer to this question depends on a number of details, in particular on the meaning of the probabilities involved. To classify the options, a minimalist conception of representation (Su\'arez 2004) is adopted: Modelers devise substitutes (``sources'') of their targets and investigate them to infer something about the target. Probabilistic models allow us to infer probabilities about the target from probabilities about the source. This leads to a framework in which we can systematically distinguish between different models of probabilistic modeling. I develop a fully Bayesian view of probabilistic modeling, but I argue that, as an alternative, Bayesian degrees of belief about the target may be derived from ontic probabilities about the source. Remarkably, some accounts of ontic probabilities can avoid problems if they are supposed to apply to sources only.

Mind the gap: Do proportional electoral systems foster a more equal representation of women and men, poor and rich?

Female gender and low income are two markers for groups that have been historically disadvantaged within most societies. The study explores two research questions related to their political representation: (1) ‘Are parties biased towards the ideological preferences of male and rich citizens?’; and (2) ‘Does the proportionality of the electoral system moderate the degree of under-representation of women and poor citizens in the party system?’ A multilevel analysis of survey data from 24 parliamentary democracies indicates that there is some bias against those with low income and, at a much smaller rate, women. This has systemic consequences for the quality of representation, as the preferences of the complementary groups differ. The proportionality of the electoral system influences the degree of under-representation: specifically, larger district magnitudes help in closing the considerable gap between rich and poor.

Street-level bureaucrats and new modes of governance - How conflicting roles affect the implementation of the Swiss Ordinance on Verterinary Drugs

Lipsky’s seminal concept of street-level bureaucrats (SLBs) focuses on their role as public servants. However, in the course of new modes of governance, private actors have gained an additional role as implementation agents. We explore the logic of private SLBs during the implementation of the Swiss Ordinance on Veterinary Medicinal Products (OVMP) where veterinarians are simultaneously implementing agents, policy addressees, and professionals with economic interests. We argue that, because of contradictory reference systems, it is problematic for the output performance if an actor is simultaneously the target group of a policy and its implementing agent.

Regulation of the Telecommunications in Switzerland: A Network Approach to Assess the Regulatory Agencies' Independence

The liberalization process of the Swiss telecommunications sector follows a logic of ‘autonomous adaptation’ to the regulations of the European Union (EU). Switzerland, which is not a Member State of the EU, voluntarily adapts to the European policy without being for- mally required to do so (Sciarini et al., 2004). This process went hand in hand with the partial privatization of the legal statute and assets of the former monopolist and with the re-regulation of the liberalized telecommunications sector.