Elimination problems in logic: a brief history

A common aim of elimination problems for languages of logic is to express the entire content of a set of formulas of the language, or a certain part of it, in a way that is more elementary or more informative. We want to bring out that as the languages for logic grew in expressive power and, at the same time, our knowledge of their expressive limitations also grew, elimination problems in logic underwent some change. For languages other than that for monadic second-order logic, there remain important open problems.     

Was ist seit BGHSt 45, 164 geschehen? Ein Überblick über die neuere Rechtsprechung des Bundesgerichtshofs zur Beurteilung der Glaubhaftigkeit von Zeugenaussagen

Zusammenfassung  Der 1. Strafsenat des Bundesgerichtshofs hat in seinem Urteil vom 30. Juli 1999 (BGHSt 45, 164) die wissenschaftlichen Anforderungen beschrieben, die an eine aussagepsychologische Begutachtung (Glaubhaftigkeitsgutachten) zu stellen sind, und die Richter verpflichtet, zukünftig darauf zu achten, dass diese Mindeststandards bei der Erstattung von Gutachten eingehalten werden. Ausgehend von dieser Entscheidung stellt der Beitrag die seitherige Entwicklung der Rechtsprechung zur Glaubhaftigkeitsbeurteilung von Zeugenaussagen dar. Er geht dabei über die an das Gutachten zu stellenden Anforderungen hinaus und befasst sich auch damit, wann ein solches Gutachten erforderlich, von wem es zu erstatten und in welcher Weise es vom Richter in den Entscheidungsgründen darzustellen ist. Zudem schildert er, welchen Einfluss die Anerkennung der hypothesengeleiteten, kriterienorientierten Aussageanalyse auf die Beweiswürdigung durch den Tatrichter und deren überprüfung durch das Revisionsgericht hat.

On Similarity Coefficients for 2×2 Tables and Correction for Chance

This paper studies correction for chance in coefficients that are linear functions of the observed proportion of agreement. The paper unifies and extends various results on correction for chance in the literature. A specific class of coefficients is used to illustrate the results derived in this paper. Coefficients in this class, e.g. the simple matching coefficient and the Dice/Sørenson coefficient, become equivalent after correction for chance, irrespective of what expectation is used. The coefficients become either Cohen’s kappa, Scott’s pi, Mak’s rho, Goodman and Kruskal’s lambda, or Hamann’s eta, depending on what expectation is considered appropriate. Both a multicategorical generalization and a multivariate generalization are discussed.     

Perspective-dependence and Critical Thinking

Recent theories of critical thinking have stressed the importance of taking into consideration in critical enquiry the perspectives, or presuppositions, of both the speaker whose statements are under scrutiny and the critic himself. The purpose of the paper is to explore this idea from an epistemological (rather than a pedagogical or psychological) point of view. The problem is first placed within the general context of critical thinking theory. Three types of perspective-dependence are then described, and the consequences of each for the possibility of critical discussion discussed. It is concluded that although it is essential in critical discussion to take the other’s perspective into consideration, perspective-dependence does not exclude the possibility of criticism.     

Impaired embodiment and intersubjectivity

This paper considers the importance of the body for self-esteem, communication, and emotional expression and experience, through the reflections of those who live with various neurological impairments of movement and sensation; sensory deafferentation, spinal cord injury and Möbius Syndrome (the congenital absence of facial expression). People with severe sensory loss, who require conscious attention and visual feedback for movement, describe the imperative to use the same strategies to reacquire gesture, to appear normal and have embodied expression. Those paralysed after spinal cord injury struggle to have others see them as people rather than as people in wheelchairs and have been active in the disability movement, distinguishing between their medical impairment and the social induced disability others project onto them. Lastly those with Möbius reveal the importance of the face for emotional expression and communication and indeed for emotional experience itself. All these examples explore the crucial role of the body as agent for social and personal expression and self-esteem.     

Methodische Grundlagen der Kriminalprognose

Zusammenfassung   Gesetzestexte sehen bei bestimmten strafrechtlichen Entscheidungen die Unterstützung des Richters durch Prognosegutachter vor. Ihre Aufgabe ist es, die Rechtsentscheidung in ihren prognostischen Aspekten auf eine rationale, wissenschaftlich fundierte Grundlage zu stellen. Methodisch lassen sich dabei wissenschaftlich fundierte Prognosen auf unterschiedlichen Wegen erstellen. Der eine Weg beruht auf empirisch gesicherten Erfahrungen über die Rückf?lligkeit von T?tern und über die die Rückfallwahrscheinlichkeit beeinflussenden Tat- und T?termerkmale. Prognosemethoden nach diesem Modell bemühen sich, diese Erfahrungen auch für individualprognostische Zwecke nutzbar zu machen. Der andere Weg führt über eine systematische retrospektive Analyse der individuellen Ursachen der bisherigen Delinquenz des T?ters und schreibt diese individuellen Bezüge prognostisch fort. Prognosemethoden nach diesem Modell bemühen sich vor allem, den erforderlichen Urteilsbildungsprozess zu systematisieren und eine hinreichende Beurteilungsgrundlage zu gew?hrleisten. Der vorliegende Beitrag stellt beide Ans?tze in ihren methodischen Grundzügen und wissenschaftlichen Bew?hrungen vor und diskutiert ihre jeweiligen Vorzüge und Begrenzungen im Kontext der Mindestanforderungen für Prognosegutachten im Strafrecht.      

Bounded contraction and Gentzen-style formulation of Łukasiewicz logics

In this paper, we consider multiplicative-additive fragments of affine propositional classical linear logic extended with n-contraction. To be specific, n-contraction (n 2) is a version of the contraction rule where (n+ 1) occurrences of a formula may be contracted to n occurrences. We show that expansions of the linear models for (n + 1)- valued ukasiewicz logic are models for the multiplicative-additive classical linear logic, its affine version and their extensions with n-contraction. We prove the finite axiomatizability for the classes of finite models, as well as for the class of infinite linear models based on the set of rational numbers in the interval [0, 1]. The axiomatizations obtained in a Gentzen-style formulation are equivalent to finite and infinite-valued ukasiewicz logics.Presented by Jan Zygmunt