Social communication patterns of attention-deficit-disordered boys

This study was designed to compare the social communication patterns of attention-deficit-disordered (ADD) and normal boys. This was accomplished by employing a TV Talk Show social role-playing procedure in which the task required different strategies for the roles of host and guest. Groups of ADD and normal elementary-age boys were formed, and each boy was paired with a normal classmate. Measures of communication competence were coded from videotapes made of subject and partner social interactions while performing both roles. Results indicated that the ADD boys, in contrast to the control group, failed to modulate their social communication behaviors as task demands shifted. Additionally, the behavior of the ADD boys resulted in their normal partners' altering their response patterns in order to maintain the equilibrium in the dyadic interaction. These results suggest that the social behavior of ADD children is relatively independent of environmental requirements and may contribute to the inappropriate responding of others.     

A matched-subject comparison of underachievers with normals on intellectual,behavioral, and emotional variables

Children labeled as under achievers are compared to a matched group functioning normally within the classroom. Factor analyses of the data from several tests reveal that the normal children not only have achieved higher academic performance but also have better learning aptitude. The inference may be made that many underachievers actually have a low general aptitude when carefully measured.This study was supported from funds from the Holden Foundation at the Children's Hospital of Michigan. The authors extend their thanks to Mrs. Barrie Lowy, Mrs. Sheila Kempler, and Ms. Enid Braun.     

Hypothetical speech: A developmental perspective

The definitional responses on standardized tests of 49 children, ages 3–15, give evidence of a transitional stage in defining which is called hypothetical. Definitions of this stage are indicated by hypothetical markers. Five hypothetical markers are described briefly and one,like, in greater detail. The relationship oflike to taxonomic conceptual structure and to synonymy is stressed. The roles oflike in language development, logical inference, and communication are discussed.     

On seeing oneself as “left out”: The chronically complaining patient in psychotherapy

A clinical observation regarding patients who complain about feeling left out and/or second best provides the framework for this paper. What is expressed is a form of separation anxiety coupled with a loser self-concept. It is suggested that these patients represent a milder form of the moral masochism. Early theoretical formulations include Freud and his emphasis on the superego and Reich's emphasis on the masochist's fear of being left alone. Kramer's little man phenomenon is an example of a more current theoretical formulation which takes account of the complexities of the ego, and composite self and identity in the clinical phenomena observed. A case of a latency-aged child is provided.     

On a complexity-based way of constructivizing the recursive functions

Let g _E(m, n)=o mean that n is the Gödel-number of the shortest derivation from E of an equation of the form (m)=k. Hao Wang suggests that the condition for general recursiveness mn(g _E(m, n)=o) can be proved constructively if one can find a speedfunction _{s s}, with _s(m) bounding the number of steps for getting a value of (m), such that mn _s(m) s.t. g _E(m, n)=o. This idea, he thinks, yields a constructivist notion of an effectively computable function, one that doesn't get us into a vicious circle since we intuitively know, to begin with, that certain proofs are constructive and certain functions effectively computable. This paper gives a broad possibility proof for the existence of such classes of effectively computable functions, with Wang's idea of effective computability generalized along a number of dimensions.We are grateful to an anonymous referee for Studia Logica for valuable advice leading to substantial improvements in the presentation of the main definitions and theorem.     

Nietzsche's agon with ressentiment: towards a therapeutic reading of critical transvaluation

This paper examines the therapeutic implications of Nietzsche's critique of ressentiment and revenge as our signature malady. §I examines the obstacles to a therapeutic reading of Nietzsche's thought, including his anti-teleological tendencies and the value he places on sickness. Then there is the energetic problem of finding resources to tackle ressentiment, given the volitional exhaustion of modern nihilism. Finally, the self-referential implications of Nietzsche's critique of slave values threaten to trap his thought in a futile ressentiment against ressentiment. If the impulse to cure or redeem us from revenge through critical destruction repeats the logic of revenge, then the challenge for a therapeutic reading is to think through the transformation of revenge on the basis of repetition.An agonal reading of Nietzsche's philosophical practice is proposed to tackle these problems in §II.In Homer's Contest (1872), Nietzsche describes the transference (Übertragung) of Hesiod's evil Eris – goddess of war and destruction – into the good Eris of the contest or agon: destructive impulses are affirmed as stimulants, but also transformed into culture-building forces through an agonal regime of limited aggression. By superimposing this regime, as a model for Nietzsche's textual confrontations, on their unconscious text of embodied ressentiment, a therapeutic perspective emerges, based on three principles: affirmation; mutual empowerment; and externalisation. The agon performs an affirmative transformation of revenge on the basis of a fertile repetition: destructive affects (as in ressentiment) are transferred into constructive deeds of mutual antagonism. Through Nietzsche's agonal discourse, a reactive regime of internalised aggression is externalised in active deeds of limited philosophical aggression – a therapeutic transformation of (self-)destructive into constructive, philosophical impulses.     

Reflection-impulsivity and information seeking in emotionally disturbed children

Forty-four emotionally disturbed children were administered the Matching Familiar Figures Test by one examiner after which the 13 most impulsive and 13 most reflective were chosen. A second examiner administered the Fixed Alternatives Question-Asking Game in whichSs sought information by asking questions that could be answered either yes or no. These questions were classified on a developmental basis; reflective children were found to employ more mature questions than did impulsive ones. Indirect comparisons between the present results and those obtained with normalSs were made.     

Linear programming techniques for multidimensional analysis of preferences

This paper offers a new methodology for analyzing individual differences in preference judgments with regard to a set of stimuli prespecified in a multidimensional attribute space. The individual is modelled as possessing an ideal point denoting his most preferred stimulus location in this space and a set of weights which reveal the relative saliences of the attributes. He prefers those stimuli which are closer to his ideal point (in terms of a weighted Euclidean distance measure). A linear programming model is proposed for external analysisi.e., estimation of the coordinates of his ideal point and the weights (involved in the Euclidean distance measure) by analyzing his paired comparison preference judgments on a set of stimuli, prespecified by their coordinate locations in the multidimensional space. A measure of poorness of fit is developed and the linear programming model minimizes this measure overall possible solutions. The approach is fully nonmetric, extremely flexible, and uses paired comparison judgments directly. The weights can either be constrained nonnegative or left unconstrained. Generalizations of the model to consider ordinal or interval preference data and to allow an orthogonal transformation of the attribute space are discussed. The methodology is extended to perform internal analysis,i.e., to determine the stimuli locations in addition to weights and ideal points by analyzing the preference judgments of all subjects simultaneously. Computational results show that the methodology for external analysis is unbiased—i.e., on an average it recovers the true ideal point and weights. These studies also indicate that the technique performs satisfactorily even when about 20 percent of the paired comparison judgments are incorrectly specified.The authors wish to express their deep appreciation to J. Douglas Carroll and Joseph B. Kruskal for their most valuable comments on an earlier version of this paper.     

Die Wüste Des Realen: Slavoj Žižek Und Der Deutsche Idealismus

Part of Slavoj iek's philosophical background is located in German idealism. In this article, his relation to German idealism is critically assessed, and the key to this assessment is found in iek's favorite medium: film. In film, reality can only appear as a new image, replacing an old reality as fictitious, the real itself, however, remains unreachable by thought. At this point, a parallel with German idealism appears: it was Kant who turned reality into a desert, and Hegel and Schelling who tried to retrieve it. Siding with Adorno and Heidegger, iek reaches a negative conclusion that does justice to neither German idealism nor indeed Schelling. His use of German idealism is one-sided and selective, regardless of the fact that it allows him to formulate an adequate critique of Western society. Perceiving a parallel between iek's conception of cinema and Kantian imagination [Einbildungskraft], the final conclusion is that he approaches German idealism not in terms of its conceptual system-character, but in terms of sensual multiplicity, not seeking unity in it, but precisely fragmentation.     

Cut-free tableau calculi for some propositional normal modal logics

We give sound and complete tableau and sequent calculi for the prepositional normal modal logics S4.04, K4B and G ⁰(these logics are the smallest normal modal logics containing K and the schemata A A, A A and A ( A); A A and AA; A A and ((A A) A) A resp.) with the following properties: the calculi for S4.04 and G ⁰are cut-free and have the interpolation property, the calculus for K4B contains a restricted version of the cut-rule, the so-called analytical cut-rule.In addition we show that G ⁰is not compact (and therefore not canonical), and we proof with the tableau-method that G ⁰is characterised by the class of all finite, (transitive) trees of degenerate or simple clusters of worlds; therefore G ⁰is decidable and also characterised by the class of all frames for G ⁰.Research supported by Fonds zur Förderung der wissenschaftlichen Forschung, project number P8495-PHY.Presented by W. Rautenberg     

Some modifications of Scott's theorem on injective spaces

D. Scott in his paper [5] on the mathematical models for the Church-Curry -calculus proved the following theorem.A topological space X. is an absolute extensor for the category of all topological spaces iff a contraction of X. is a topological space of Scott's open sets in a continuous lattice.In this paper we prove a generalization of this theorem for the category of , -closure spaces. The main theorem says that, for some cardinal numbers , , absolute extensors for the category of , -closure spaces are exactly , -closure spaces of , -filters in , >-semidistributive lattices (Theorem 3.5).If = and = we obtain Scott's Theorem (Corollary 2.1). If = 0 and = we obtain a characterization of closure spaces of filters in a complete Heyting lattice (Corollary 3.4). If = 0 and = we obtain a characterization of closure space of all principial filters in a completely distributive complete lattice (Corollary 3.3).     

Is “some-other-time” sometimes better than “sometime” for proving partial correctness of programs?

The main result of this paper belongs to the field of the comparative study of program verification methods as well as to the field called nonstandard logics of programs. We compare the program verifying powers of various well-known temporal logics of programs, one of which is the Intermittent Assertions Method, denoted as Bur. Bur is based on one of the simplest modal logics called S5 or sometime-logic. We will see that the minor change in this background modal logic increases the program verifying power of Bur. The change can be described either technically as replacing the reflexive version of S5 with an irreflexive version, or intuitively as using the modality some-other-time instead of sometime. Some insights into the nature of computational induction and its variants are also obtained.This project was supported by the Hungarian National Foundation for Scientific Research, Grant No. 1810.     

Ghost Gestures: Phenomenological Investigations of Bodily Micromovements and Their Intercorporeal Implications

This paper thematizes the operative kinaesthetic style of world-experiencing life by turning to the ongoing how of our habitual bodily comportment: to our deeply sedimented way(s) of making a body; to schematic inner vectors or tendencies toward movement that persist as bodily ghost gestures even if one is not making the larger, visible gestures they imply; and to inadvertent isometrics, i.e., persisting patterns of trying, bracing, freezing, etc. All such micromovements witness to our sociality insofar as they are not only socially shaped, but perpetuate certain styles of intercorporeal interaction and sustain certain modes of responsivity. Reactivating the sediment -- retrieving the tacit choreography of everyday life from its anonymity and sensing our ongoing ways of living out the legacy of our communal body -- not only allows one's individual bodily style to shift, but can open new possibilities for healthy interkinaesthetic comportment. Such work can thus contribute to an embodied ethics in both theory and practice.     

Michael Balint's Group Approach: The Boston Balint Group

Michael Balint was a physician/psychoanalyst who trained in Hungary and emigrated to England in 1939 when Nazi Germany began to dominate Europe. At the Tavistock Clinic, he and his wife met with social workers and physicians around case discussion seminars. With his strong interest in medicine and his curiosity about the patient-physician relationship, he initiated research/training groups with interested physicians, which ultimately led to publication of the now-classic The Doctor, His Patient, and the Illness, a rich text that has become a virtual staple of family practice residencies, along with Balint Groups for training. Balint refrained from considering his groups psychotherapy in order to minimize resistance of his physician-students. But because the groups lasted sometimes for years and explored transference and countertransference in patient-physician relationships, he acknowledged that the result was personal growth of the participants. His techniques are described and an example of a Balint Group (Boston Group) are presented here.     

Utility theory with inexact preferences and degrees of preference

a–b* c–d is taken to mean that your degree of preference for a over b is less than your degree of preference for c over d. Various properties of the strength-of-preference comparison relation * are examined along with properties of simple preferences defined from *. The investigation recognizes an individual's limited ability to make precise judgments. Several utility theorems relating a–b * c–d to u(a)–u(b) are included.     

A Translation of Intuitionistic Predicate Logic into Basic Predicate Logic

Basic Predicate Logic, BQC, is a proper subsystem of Intuitionistic Predicate Logic, IQC. For every formula in the language {, , , , , , }, we associate two sequences of formulas 0,1,... and 0,1,... in the same language. We prove that for every sequent , there are natural numbers m, n, such that IQC , iff BQC n m. Some applications of this translation are mentioned.     

The Self in Post-Freudian Psychoanalytic Theory

This article relates a theory of the duplex self constituted by consciousness and experienced as I and me to the various post-Freudian interpretations of the self.     

Cooperation,Knowledge, and Time: Alternating-time Temporal Epistemic Logic and its Applications

Branching-time temporal logics have proved to be an extraordinarily successful tool in the formal specification and verification of distributed systems. Much of their success stems from the tractability of the model checking problem for the branching time logic CTL, which has made it possible to implement tools that allow designers to automatically verify that systems satisfy requirements expressed in CTL. Recently, CTL was generalised by Alur, Henzinger, and Kupferman in a logic known as Alternating-time Temporal Logic (ATL). The key insight in ATL is that the path quantifiers of CTL could be replaced by cooperation modalities, of the form , where is a set of agents. The intended interpretation of an ATL formula is that the agents can cooperate to ensure that holds (equivalently, that have a winning strategy for ). In this paper, we extend ATL with knowledge modalities, of the kind made popular in the work of Fagin, Halpern, Moses, Vardi and colleagues. Combining these knowledge modalities with ATL, it becomes possible to express such properties as group can cooperate to bring about iff it is common knowledge in that . The resulting logic — Alternating-time Temporal Epistemic Logic (ATEL) — shares the tractability of model checking with its ATL parent, and is a succinct and expressive language for reasoning about game-like multiagent systems.     

Логистическая система, исходными связками которой являются эквивалентность и дизъюнкция

- Allatum est die 5 Martii 1970     

Given Time and the Gift of Life

Given Time and the Gift of Life explores the following nexus in Derrida's thought: the gift, the mother, and life. The first section examines life within the trajectory of the gift, the excess of gift over return in the gift of life, and the rewriting of Aristotelian generation in differantial species-being. The second section shows the quasi-transcendental nature of Derrida's thought. The conclusion sketches some of the political consequences of the gift of life thought as the quasi-transcendental gift of differantial species-being.