Kripke semantics for knowledge representation logics

This article provides an overview of development of Kripke semantics for logics determined by information systems. The proposals are made to extend the standard Kripke structures to the structures based on information systems. The underlying logics are defined and problems of their axiomatization are discussed. Several open problems connected with the logics are formulated. Logical aspects of incompleteness of information provided by information systems are considered.     

Verisimilitude based on concept analysis

In the paper ordering relations for comparison of verisimilitude of theories are introduced and discussed. The relations refer to semantic analysis of the results of theories, in particular to analysis of concepts the theories deal with.     

Liberalism in Poland: What Is Left?

Studies in East European Thought -     

Book reviews

Science as Salvation: a Modern Myth and its Meaning, Mary Midgley, 1994. London, Routledge x +256pp., Hb 04 15062713, £35; Pb 04 15107733, £8.99

Philosophical Naturalism, David Papineau, 1993 Oxford, Basil Blackwell xii +219pp., Hb 0631189025, £40; Pb 0631189033, £14.99

F. H. Bradley, Writings on Logic and Metaphysics, James W. Allard & Guy Stock (Eds), 1994. Oxford, Clarendon Press xv+357pp, Hb 0–198–24445–2, £40.00; Pb 0–198–24438‐X, £14.95

Invariance and Heuristics: Essays in Honour of Heinz Post, Steven French & Harmke Kamminga (Eds), 1993 Boston Studies in the Philosophy of Science, Vol. 148 Kluwer Academic Publishers, Dordrecht

Beyond Reason: Essays on the Philosophy of Paul Feyerabend, GONZALO MUNÉVAR (Ed.), 1991. Dordrecht, Kluwer Academic Publishers xxi + 535pp., hb, ISBN 0–7923–1272–4, £104.20

World Changes: Thomas Kuhn and the Nature of Science, Paul Horwich (Ed.), 1993. Cambridge, MA, Bradford Books/MIT Press vi + 356pp., pb, ISBN 0262581388, £14.95

Realism Rescued: How Scientific Progress is Possible, Jerold L. Aronson, Rom Harré & Eileen Cornell Way, 1994 London, Duckworth vii +213pp., Hb 0715624768, £30.00

Scientific Nihilism: On the Loss and Recovery of Physical Explanation, Daniel Athearn, 1994. State University of New York Press, Albany ix + 387pp., Hb ISBN 0–7914–1807–3, £52

Theism, Atheism, and Big Bang Cosmology, William Lane Craig & Quentin Smith, 1993. Oxford, Clarendon Press x +342pp., Hb 0198263481, £35; Pb 019826383X, £13.95     

Being skeptical about the medical humanities

In this paper the author challenges the prevailing view that contemporary writing in the medical humanities is serving the needs of the various health care disciplines. The current medical humanities literature assumes that physicians are the appropriate target group. This is most notably the case within health care ethics literature. There appears to be an unexamined assumption that physician-centric approaches to clinical ethical decision-making are the standard by which appropriate ethical practice is judged. The author challenges this assumption and addresses the problems that this approach engenders. The medical humanities literature appears to reinforce hierarchical, patriarchal arrangements which are themselves not morally neutral.     

Three-element nonfinitely axiomatizable matrices

There are exactly two nonfinitely axiomatizable algebraic matrices with one binary connective o such thatx(yz) is a tautology of . This answers a question asked by W. Rautenberg in [2], P. Wojtylak in [8] and W. Dziobiak in [1]. Since every 2-element matrix can be finitely axiomatized ([3]), the matrices presented here are of the smallest possible size and in some sense are the simplest possible.Presented byWolfgang Rautenberg     

Prevalence of traumatic brain injury in an inpatient psychiatric population

This study investigated the prevalence of traumatic brain injury (TBI) in an inpatient psychiatric population. We hypothesized increased prevalence of TBI relative to the general population due to a variety of risk factors observed in psychiatric patients. One hundred (mean age = 34) psychiatric inpatients completed the revised Head Injury Questionnaire. Chart review of 17 subjects reporting injuries established whether injuries were documented in medical records. Sixty-eight percent of this psychiatric population reported one or more injuries in which they were unconscious or dazed. This number is higher than the prevalence in the general population. Injuries were generally of mild to moderate severity; multiple injuries were common. Chart review of 17 subjects reporting TBI indicated that histories of TBI had not been noted in the medical record. Finally, 63% of TBI subjects reported that their injury predated the onset of their psychiatric symptoms. These results suggest a possible role of TBI in psychiatric symptomatology and have implications for psychiatric treatment in this population.     

Finite structural axiomatization of every finite-valued propositional calculus

In [2] A. Wroski proved that there is a strongly finite consequence C which is not finitely based i.e. for every consequence C ⁺ determined by a finite set of standard rules C C ⁺. In this paper it will be proved that for every strongly finite consequence C there is a consequence C ⁺ determined by a finite set of structural rules such that C(Ø)=C ⁺(Ø) and = (where , are consequences obtained by adding to the rules of C, C ⁺ respectively the rule of substitution). Moreover it will be shown that under certain assumptions C=C ⁺.