Deontic logic and possible worlds semantics: A historical sketch

This paper describes and compares the first step in modern semantic theory for deontic logic which appeared in works of Stig Kanger, Jaakko Hintikka, Richard Montague and Saul Kripke in late 50s and early 60s. Moreover, some further developments as well as systematizations are also noted.     

Evaluation of drug toxicity in clinical trials

An increasing number of drugs removed from the market because of unacceptable toxicity raises concerns regarding preapproval testing of drug safety. In the present paper it is postulated that the non-inferiority type of trial should be abandoned in favor of the superiority trial with active controls and less stringent (p<0.1, both for efficacy and toxicity) statistics. This approach will increase sensitivity of detection of drug-induced adverse effects at the expense of increasing false positive results regarding the difference in efficacy between the tested and reference drug. Such a move will increase the protection of future patients. In addition, the proposed design is far more acceptable from the clinical (e.g. no need to specify the statistically expected “unimportant” number of deaths) and ethical points of view, as well as being favored by the strong incentive of involved parties. In the second part of this paper arguments are presented in favor of the hypothesis that placebo (still used in some superiority trials) does not induce adverse effects. The assertion that placebo may induce adverse effects is probably biased by the nature of the clinical experiment. Such a conclusion is supported by studies indicating that placebo-induced adverse effects are disease — and treatment — specific. The modification of clinical trials according to the proposed changes may increase the trials’ sensitivity at detecting adverse effects of drugs. A lecture on the subject of this paper was presented at the 6th International Bioethics Conference on the subject of ‘The Responsible Conduct of Basic and Clinical Research’, held in Warsaw, Poland, 3–4 June 2005.     

The Pentus Theorem for Lambek Calculus with Simple Nonlogical Axioms

The Lambek calculus introduced in Lambek [6] is a strengthening of the type reduction calculus of Ajdukiewicz [1]. We study Associative Lambek Calculus L in Gentzen style axiomatization enriched with a finite set Γ of nonlogical axioms, denoted by L(Γ).It is known that finite axiomatic extensions of Associative Lambek Calculus generate all recursively enumerable languages (see Buszkowski [2]). Then we confine nonlogical axioms to sequents of the form p → q, where p and q are atomic types. For calculus L(Γ) we prove interpolation lemma (modifying the Roorda proof for L [10]) and the binary reduction lemma (using the Pentus method [9] with modification from [3]). In consequence we obtain the weak equivalence of the Context-Free Grammars and grammars based on L(Γ).     

Hemispheric dominance in schizophrenics as determined on extrapyramidal side effects of neuroleptics

Phenomena observed during treatment with neuroleptics were clinically measured in an attempt to determine the difference in vulnerability of the two hemispheres and the relation between this difference and schizophrenic diseases. In the group of systematic schizophrenias the increase in tonus was significantly higher in the dominant hemisphere. This finding is considered a verification of the nosological hypothesis of schizophrenias.