Realizing public announcements by justifications

Modal public announcement logics study how beliefs change after public announcements. However, these logics cannot express the reason for a new belief. Justification logics fill this gap since they can formally represent evidence and justifications for an agent's belief. We present OPAL(K) and JPAL(K) , two alternative justification counterparts of Gerbrandy–Groeneveld's public announcement logic PAL(K) . We show that PAL(K) is the forgetful projection of both OPAL(K) and JPAL(K) . We also establish that JPAL(K) partially realizes PAL(K) . The question whether a similar result holds for OPAL(K) is still open.

Logical omniscience as infeasibility

Logical theories for representing knowledge are often plagued by the so-called Logical Omniscience Problem. The problem stems from the clash between the desire to model rational agents, which should be capable of simple logical inferences, and the fact that any logical inference, however complex, almost inevitably consists of inference steps that are simple enough. This contradiction points to the fruitlessness of trying to solve the Logical Omniscience Problem qualitatively if the rationality of agents is to be maintained. We provide a quantitative solution to the problem compatible with the two important facets of the reasoning agent: rationality and resource boundedness. More precisely, we provide a test for the logical omniscience problem in a given formal theory of knowledge. The quantitative measures we use are inspired by the complexity theory. We illustrate our framework with a number of examples ranging from the traditional implicit representation of knowledge in modal logic to the language of justification logic, which is capable of spelling out the internal inference process. We use these examples to divide representations of knowledge into logically omniscient and not logically omniscient, thus trying to determine how much information about the reasoning process needs to be present in a theory to avoid logical omniscience.

An arranged marriage for precision medicine: hypoxia and genomic assays in localized prostate cancer radiotherapy

Prostate cancer (CaP) is the most commonly diagnosed malignancy in males in the Western world with one in six males diagnosed in their lifetime. Current clinical prognostication groupings use pathologic Gleason score, pre-treatment prostatic-specific antigen and Union for International Cancer Control-TNM staging to place patients with localized CaP into low-, intermediate- and high-risk categories. These categories represent an increasing risk of biochemical failure and CaP-specific mortality rates, they also reflect the need for increasing treatment intensity and justification for increased side effects. In this article, we point out that 30-50% of patients will still fail image-guided radiotherapy or surgery despite the judicious use of clinical risk categories owing to interpatient heterogeneity in treatment response. To improve treatment individualization, better predictors of prognosis and radiotherapy treatment response are needed to triage patients to bespoke and intensified CaP treatment protocols. These should include the use of pre-treatment genomic tests based on DNA or RNA indices and/or assays that reflect cancer metabolism, such as hypoxia assays, to define patient-specific CaP progression and aggression. More importantly, it is argued that these novel prognostic assays could be even more useful if combined together to drive forward precision cancer medicine for localized CaP.

Socrates on the Moral Mischief of Misology

In Plato’s dialogues, the Phaedo, Laches, and Republic, Socrates warns his interlocutors about the dangers of misology. Misology is explained by analogy with misanthropy, not as the hatred of other human beings, but as the hatred of the logos or reasonable discourse. According to Socrates, misology arises when a person alternates between believing an argument to be correct, and then refuting it as false. If Socrates is right, then misanthropy is sometimes instilled when a person goes from trusting people to learning that others sometimes betray our reliance and expectations, and finally not to placing any confidence whatsoever in other people, or, in the case of misology, in the correctness or trustworthiness of arguments. A cynical indifference to the soundness of arguments generally is sometimes associated with Socrates’ polemical targets, the Sophists, at least as Plato represents Socrates’ reaction to these itinerant teachers of rhetoric, public speaking and the fashioning of arguments suitable to any occasion. Socrates’ injunctions against misology are largely moral, pronouncing it ‘shameful’ and ‘very wicked’, and something that without further justification we must ‘guard against’, maintaining that we will be less excellent persons if we come to despise argument as lacking the potential of leading to the truth. I examine Socrates’ moral objections to misology which I show to be inconclusive. I consider instead the problem of logical coherence in the motivations supposedly underlying misology, and conclude that misology as Socrates intends the concept is an emotional reaction to argumentation on the part of persons who have not acquired the logical dialectical skills or will to sort out good from bad arguments. We cannot dismiss argument as directed toward the truth unless we have a strong reason for doing so, and any such argument must itself presuppose that at least some reasoning can be justified in discovering and justifying belief in interesting truths. The relevant passages from Socrates’ discussion of the soul’s immortality in the Phaedo are discussed in detail, and set in scholarly background against Socrates’ philosophy more generally, as represented by Plato’s dialogues. I conclude by offering a suggestive list of practical remedies to avoid the alienation from argument in dialectic with which Socrates is concerned.

Tracing the Evidence: The Use of Evaluation Results in Direct-Democratic Campaigns

Although research on direct-democratic campaigns in Switzerland has intensified in the last decade, detailed information on the use of evidence in campaigns is still lacking. Our research aims to contribute both to research on direct democracy and to research on evidence-based policy making, by analyzing how evaluation results are used in directdemocratic campaigns. In this conceptual paper, the formulation of our hypothesis is based on a model of evaluation influence that traces the different uses of evaluation results in the process of a direct-democratic campaign. We assume that the policy analytical capacity of individual members in parliament, government and administration in the (pre)-parliamentary process fosters the use of evidence in campaigns. In the course of the campaign, symbolic use of evaluation in the form of justification, persuasion or mobilization prevails. We assume that the media is an important player in making transparent how political actors use evidence to support their positions. Evidence itself often remains ambiguous and uncertain, and evaluations are influenced by the values of the evaluator. To be able to make the right decisions, therefore, citizens should learn about possible interpretations in argumentative processes. For us, the context of direct democracy in Switzerland provides the setting for such a discourse that, besides evidence, brings up different opinions, values and beliefs.

Sectio caesarea: actual controversy

Caesarean section is one of the most frequently performed operations in human medicine. It has become a routine procedure with a very low morbidity and mortality. Over the centuries, it has emerged an essential achievement in obstetric medicine. In the presence of cephalo-pelvic-disproportion, cervical dystocia, malpresentation, preterm birth, macrosomia, placental insufficiency, placenta praevia or fetal distress it is crucial to improve the perinatal morbiditiy and mortality of mother and child. The procedure has become much more frequent over the past 20 years for multiple reasons. There is variety in incidence between countries but also regional differences. It's occurrence is being influenced by level of education and socio-economic status of the pregnant woman. In the meantime, also the longterm consequences of cesarean section are well known. The potential hazards for future pregnancies and deliveries are well described. Actual controversy addresses cesarean section on demand without any medical indication, which in fact is only seldom performed in Switzerland. The ethical justification of this procedure needs to be discussed in view of the current tendency towards autonomy and self-determination of the pregnant woman.

Intuitionistic common knowledge or belief

Starting off from the usual language of modal logic for multi-agent systems dealing with the agents’ knowledge/belief and common knowledge/belief we define so-called epistemic Kripke structures for intu- itionistic (common) knowledge/belief. Then we introduce corresponding deductive systems and show that they are sound and complete with respect to these semantics.

Cardiovascular-renal axis disorders in the domestic dog and cat: a veterinary consensus statement.

OBJECTIVES There is a growing understanding of the complexity of interplay between renal and cardiovascular systems in both health and disease. The medical profession has adopted the term "cardiorenal syndrome" (CRS) to describe the pathophysiological relationship between the kidney and heart in disease. CRS has yet to be formally defined and described by the veterinary profession and its existence and importance in dogs and cats warrant investigation. The CRS Consensus Group, comprising nine veterinary cardiologists and seven nephrologists from Europe and North America, sought to achieve consensus around the definition, pathophysiology, diagnosis and management of dogs and cats with "cardiovascular-renal disorders" (CvRD). To this end, the Delphi formal methodology for defining/building consensus and defining guidelines was utilised. METHODS Following a literature review, 13 candidate statements regarding CvRD in dogs and cats were tested for consensus, using a modified Delphi method. As a new area of interest, well-designed studies, specific to CRS/CvRD, are lacking, particularly in dogs and cats. Hence, while scientific justification of all the recommendations was sought and used when available, recommendations were largely reliant on theory, expert opinion, small clinical studies and extrapolation from data derived from other species. RESULTS Of the 13 statements, 11 achieved consensus and 2 did not. The modified Delphi approach worked well to achieve consensus in an objective manner and to develop initial guidelines for CvRD. DISCUSSION The resultant manuscript describes consensus statements for the definition, classification, diagnosis and management strategies for veterinary patients with CvRD, with an emphasis on the pathological interplay between the two organ systems. By formulating consensus statements regarding CvRD in veterinary medicine, the authors hope to stimulate interest in and advancement of the understanding and management of CvRD in dogs and cats. The use of a formalised method for consensus and guideline development should be considered for other topics in veterinary medicine.

Does perpetrator punishment satisfy victims' feelings of revenge?

Criminal victimization often provokes strong feelings of revenge. Two studies were conducted to investigate whether legal punishment of the perpetrator reduces victims’ feelings of revenge. A cross-sectional study of 174 crime victims revealed that punishment severity does not predict feelings of revenge at a time several years after the trial. A longitudinal study of 31 crime victims revealed that, for the time interval from a few weeks before the trial to a few weeks after the trial, punishment severity significantly predicts a decrease in feelings of revenge; nevertheless intraindividual and interindividual stability of these feelings was high. Taken together, results of the two studies suggest that perpetrator punishment only partially, and moreover only transitorily, satisfies victims’ feelings of revenge. Therefore, satisfaction of victims’ feelings of revenge cannot be taken as empirical justification for tightening of sentencing norms.

Car, parce que, puisque’ revisited: Three empirical studies on French causal connectives

In French, a causal relation is often conveyed by the connectives car, parce que or puisque. Since the seminal work of the Lambda-l Group (1975), it has generally been assumed that parce que, used to relate semantic content, contrasts with car and puisque, both used to connect either speech act or epistemic content. However, this analysis leaves a number of questions unanswered. In this paper, I present a reanalysis of this trio, using empirical methods such as corpus analysis and constrained elicitation. Results indicate that car and parce que are interchangeable in many contexts, even if they are still prototypically used in their respective domain in writing. As for puisque, its distribution does not overlap with car, despite their similar domains of use. I argue that the specificity of puisque with respect to the other two connectives is to introduce a cause with an echoic meaning.

A MANAGEMENT INFORMATION SYSTEM AND EVALUATION SCHEME FOR THE UNIVERSITY OF TEXAS EMPLOYEE ASSISTANCE PROGRAMS

Early Employee Assistance Programs (EAPs) had their origin in humanitarian motives, and there was little concern for their cost/benefit ratios; however, as some programs began accumulating data and analyzing it over time, even with single variables such as absenteeism, it became apparent that the humanitarian reasons for a program could be reinforced by cost savings particularly when the existence of the program was subject to justification.^ Today there is general agreement that cost/benefit analyses of EAPs are desirable, but the specific models for such analyses, particularly those making use of sophisticated but simple computer based data management systems, are few.^ The purpose of this research and development project was to develop a method, a design, and a prototype for gathering managing and presenting information about EAPS. This scheme provides information retrieval and analyses relevant to such aspects of EAP operations as: (1) EAP personnel activities, (2) Supervisory training effectiveness, (3) Client population demographics, (4) Assessment and Referral Effectiveness, (5) Treatment network efficacy, (6) Economic worth of the EAP.^ This scheme has been implemented and made operational at The University of Texas Employee Assistance Programs for more than three years.^ Application of the scheme in the various programs has defined certain variables which remained necessary in all programs. Depending on the degree of aggressiveness for data acquisition maintained by program personnel, other program specific variables are also defined. ^

Time-Limited Property Rights and Investment Incentives

Although it is axiomatic that property rights of infinite duration are necessary for owners to make efficient long term investments in their property, time limits on property rights are pervasive in the law. This paper provides an economic justification for such limits by arguing that they actually enhance property values in the presence of various sorts of market failure. The analysis offers a coherent approach for understanding what otherwise appear to be unrelated doctrines in the law.

Criminal Solicitation, Entrapment, and the Enforcement of Law

This paper examines the optimal use of criminal solicitation as a law enforcement strategy. The benefits are greater deterrence of crime (due to the greater likelihood of apprehension), and the savings in social harm as some offenders are diverted away from committing actual crimes through solicitation. The costs are the expense of hiring undercover cops and the greater likelihood of punishment. The optimal use of solicitation balances these factors. The paper also examines the justification for the entrapment defense, which exonerates those caught in a criminal solicitation but who otherwise had no predisposition to commit a crime.

A Bargaining Model of Holdouts and Takings

The holdout problem is commonly cited as the justification for eminent domain, but the nature of the problem is not well understood. This paper models the holdout problem in a bargaining framework, where a developer seeks to acquire several parcels of land for a large-scale development. We show that in the absence of eminent domain, holdouts are inevitable, threatening costly delay. However, if the developer has the power to use eminent domain to acquire the land from holdouts, all sellers will bargain, thus avoiding delay. An offsetting cost is that owners may negotiate prices below their true value, possibly resulting in excessive transfer of land to the developer.

Criminal Solicitation, Entrapment, and the Enforcement of Law

This paper examines the optimal use of criminal solicitation as a law enforcement strategy. The benefits are greater deterrence of crime (due to the greater likelihood of apprehension), and the savings in social harm and apprehension costs as some offenders are diverted away from committing actual crimes through solicitation. The costs are the expense of hiring undercover cops and the greater likelihood of punishment. The optimal use of solicitation balances these factors. The paper also examines the justification for, and impact of, the entrapment defense, which exonerates those caught in a solicitation but otherwise not predisposed to commit a crime.