AN EVALUATION OF EVIDENCE‐BASED INTERVENTIONS TO INCREASE COMPLIANCE AMONG CHILDREN WITH AUTISM

We evaluated 4 evidence‐based interventions to increase compliance. Three children with autism who exhibited noncompliance when asked to relinquish a preferred toy were exposed sequentially to interventions that included a reduction in response effort, differential reinforcement, and guided compliance. Results indicated that effort reduction alone was ineffective and that each participant's compliance improved after exposure to a different intervention; these results highlight the need to individualize treatments for compliance.     

An analysis of modifications to the three-step guided compliance procedure necessary to achieve compliance among preschool children

After a 3‐step guided compliance procedure (vocal prompt, vocal plus model prompt, vocal prompt plus physical guidance) did not increase compliance, we evaluated 2 modifications with 4 preschool children who exhibited noncompliance. The first modification consisted of omission of the model prompt, and the second modification consisted of omitting the model prompt and decreasing the interprompt interval from 10 s to 5 s. Each of the modifications effectively increased compliance for 1 participant. For the remaining 2 participants, neither modification was effective; differential reinforcement in the form of contingent access to a preferred edible item was necessary to increase compliance. Problem behavior varied across participants, but was generally higher during guided compliance conditions and lower during differential reinforcement conditions.     

Bilateralism in Proof-Theoretic Semantics

The paper suggests a revision of the notion of harmony, a major necessary condition in proof-theoretic semantics for a natural-deduction proof-system to qualify as meaning conferring, when moving to a bilateral proof-system. The latter considers both forces of assertion and denial as primitive, and is applied here to positive logics, lacking negation altogether. It is suggested that in addition to the balance between (positive) introduction and elimination rules traditionally imposed by harmony, a balance should be imposed also on: (i) negative introduction and elimination rules, and (ii) positive and negative introduction rules. The paper suggests a proof-theoretical definition of duality (not referring to truthtables), using which double harmony is defined. The paper proves that in a doubly-harmonious system, the coordination rule, typical to bilateral systems, is admissible.     

Situating Emotions: From Embodied Cognition to Mindreading

In this article we analyze the strengths and weaknesses of mindreading versus embodied cognition approaches to emotion understanding. In the first part of the article we argue that mindreading explanations of how we understand the emotions of others (TT, ST or hybrid) face a version of the frame problem, i.e. the problem of how to limit the scope of the information that is relevant to mindreading. Also, we show that embodied cognition explanations are able to by-pass this problem because they provide a characterization of social understanding as being essentially situated. However, embodied cognition explanations seem to be limited in scope insofar as they do not target the more sophisticated forms of emotion understanding that have traditionally been the main focus of mindreading explanations. In the second part of the article we discuss Goldie’s account of emotion understanding as a possible way to complement embodied cognition approaches without re-introducing the frame problem. We offer two suggestions that might further the integration of Goldie’s account of emotion understanding within the framework of embodied cognition.     

Relational Semantics of the Lambek Calculus Extended with Classical Propositional Logic

We show that the relational semantics of the Lambek calculus, both nonassociative and associative, is also sound and complete for its extension with classical propositional logic. Then, using filtrations, we obtain the finite model property for the nonassociative Lambek calculus extended with classical propositional logic.