On Modal μ-Calculus and Non-Well-Founded Set Theory

A finitary characterization for non-well-founded sets with finite transitive closure is established in terms of a greatest fixpoint formula of the modal -calculus. This generalizes the standard result in the literature where a finitary modal characterization is provided only for wellfounded sets with finite transitive closure. The proof relies on the concept of automaton, leading then to new interlinks between automata theory and non-well-founded sets.     

The Suspended Aesthetic: Slavoj Žižek on Eastern European Film

Slavoj iek's writings on Krzysztof Kies´lowski and Andrej Tarkovskij represent direct challenges to the Central and Eastern European tradition of spiritual art and to dominant aesthetic concepts as such. He refuses to separate the solemn films of Kies´lowski and Tarkovskij from popular culture and stresses their import as ethical statements by their directors. Despite this ethical emphasis, iek makes an important contribution to philosophical aesthetics. He implicitly defines art as a suspension of reality which reveals time in its fragility and potentiality. Defining iek's aesthetics in terms of suspension helps to explain his partiality for Kies´lowski and Tarkovskij and bears comparison to the Russian tradition of philosophical aesthetics, in particular Aleksej Losev and Alexander Bakshy.     

Young children's sensitivity to probabilistic phonotactics in the developing lexicon

A series of three experiments examined children's sensitivity to probabilistic phonotactic structure as reflected in the relative frequencies with which speech sounds occur and co-occur in American English. Children, ages 212 and 312 years, participated in a nonword repetition task that examined their sensitivity to the frequency of individual phonetic segments and to the frequency of combinations of segments. After partialling out ease of articulation and lexical variables, both groups of children repeated higher phonotactic frequency nonwords more accurately than they did low phonotactic frequency nonwords, suggesting sensitivity to phoneme frequency. In addition, sensitivity to individual phonetic segments increased with age. Finally, older children, but not younger children, were sensitive to the frequency of larger (diphone) units. These results suggest not only that young children are sensitive to fine-grained acoustic-phonetic information in the developing lexicon but also that sensitivity to all aspects of the sound structure increases over development. Implications for the acoustic nature of both developing and mature lexical representations are discussed.     

Free Łukasiewicz and Hoop Residuation Algebras

Hoop residuation algebras are the {, 1}-subreducts of hoops; they include Hilbert algebras and the {, 1}-reducts of MV-algebras (also known as Wajsberg algebras). The paper investigates the structure and cardinality of finitely generated free algebras in varieties of k-potent hoop residuation algebras. The assumption of k-potency guarantees local finiteness of the varieties considered. It is shown that the free algebra on n generators in any of these varieties can be represented as a union of n subalgebras, each of which is a copy of the {, 1}-reduct of the same finite MV-algebra, i.e., of the same finite product of linearly ordered (simple) algebras. The cardinality of the product can be determined in principle, and an inclusion-exclusion type argument yields the cardinality of the free algebra. The methods are illustrated by applying them to various cases, both known (varieties generated by a finite linearly ordered Hilbert algebra) and new (residuation reducts of MV-algebras and of hoops).     

The "what" and "where" of object representations in infancy

Four-month-olds' memory for surface feature and location information was tested following brief occlusions. When the target objects were images of female faces or monochromatic asterisks infants showed increased looking times following a change in identity or color but not following a change in location or combinations of feature and location information. When the target objects were images of manipulable toys, the infants showed increased looking times following a change in location but not identity or the binding of location and identity information. This evidence is consistent with the idea that young infants are unable to maintain the information processed separately in both the dorsal and ventral visual streams during occlusions. Our results suggest that it is the target's affordance for action that determines whether the dorsal or ventral information is selectively maintained during occlusion.     

The effects of extinction,noncontingent reinforcement and differential reinforcement of other behavior as control procedures

Several techniques have been used in applied research as controls for the introduction of a reinforcement contingency, including extinction, noncontingent reinforcement (NCR), and differential reinforcement of other behavior (DRO). Little research, however, has examined the relative strengths and limitations of these "reversal" controls. We compared the effects of extinction with those of NCR and DRO in both multi-element and reversal designs, with respect to (a) rate and amount of response decrement, (b) rate of response recovery following reintroduction of reinforcement, and (c) any positive or negative side effects associated with transitions. Results indicated that extinction generally produced the most consistent and rapid reversal effects, with few observed negative side effects.     

Functional analysis and treatment of self-injurious behavior in young children a summary of 30 cases

The assessment and treatment of self-injurious behavior (SIB) has received much attention in the literature; however, few studies have focused on early intervention for this behavior. In the current study, functional analyses with developmentally appropriate modifications were conducted in an outpatient clinic with 30 children (aged 10 months to 4 years 11 months) to assess SIB and problem behavior in its early stages. The reported mean age of SIB onset was 17 months, and head banging was the most prevalent topography. Functional analyses identified sources of reinforcement for SIB in 62.1% of cases; with the inclusion of all forms of problem behavior, sources of reinforcement were identified for 87.5% of cases. Function-based treatments were developed for 24 cases, with functional communication training prescribed most often (70.8% of cases). Implications of these findings for the development of early intervention programs for SIB are discussed.     

Effects of teacher-directed versus student-directed instruction on self-management of young children with disabilities

In this study, students worked independently by setting goals, selecting assignments, and recording and evaluating their results after receiving one of two different types of self-management training. During teacher-directed training, the teacher set goals, assigned work, and recorded and evaluated results for students. During student-directed training, students performed those tasks themselves. The results indicated that students engaged in the self-management behaviors more frequently during independent work following student-directed instruction than following teacher-directed instruction.     

The effects of differential negative reinforcement of other behavior and noncontingent escape on compliance

The present study evaluated the effects of noncontingent escape and differential negative reinforcement of other behavior in reducing problem behaviors and increasing compliance in 2 children with disabilities. Results showed that both methods reduced problem behavior and increased compliance for both children.     

On Alternative Geometries,Arithmetics, and Logics; a Tribute to Łukasiewicz

The paper discusses the similarity between geometry, arithmetic, and logic, specifically with respect to the question of whether applied theories of each may be revised. It argues that they can - even when the revised logic is a paraconsistent one, or the revised arithmetic is an inconsistent one. Indeed, in the case of logic, it argues that logic is not only revisable, but, during its history, it has been revised. The paper also discusses Quine's well known argument against the possibility of logical deviancy.