Socratic Proofs and Paraconsistency: A Case Study

This paper develops a new proof method for two propositional paraconsistent logics: the propositional part of Batens' weak paraconsistent logic CLuN and Schütte's maximally paraconsistent logic Φ_v. Proofs are de.ned as certain sequences of questions. The method is grounded in Inferential Erotetic Logic.     

The difficulty with the well-formedness of ontological statements

When Russell argued for his ontological convictions, for instance that there are negative facts or that there are universals, he expressed himself in English. But Wittgenstein must have noticed that from the point of view of Russell's ideal language these ontological statements appear to be pseudo-propositions. He believed therefore that what these statements pretend to say, could not really be said but only shown. Carnap discovered a way out of this mutism: what in the material mode of speech of the object language looks like a pseudo-proposition can be translated into a perfectly meaningful proposition in the formal mode of speech (in the metalinguistic mode of speech of the logical syntax of language). But is this ascent into the metalanguage necessary? Taking advantage of Lésniewski's logical system there exists another way outwe can expand the number of categories of our ideal language. But Le?niewski's formulas raise another profound problem, the problem of “semantical muteness” (cf. W. G. Lycan ‘Semantic Competence and Funny Functors’ Monist 64 (1979), 209–222).     

The Differential Contributions of Conceptual Representation Format and Language Structure to Levels of Semantic Abstraction Capacity

This paper reviews some controversies concerning the original and revised versions of the ‘hub-and-spoke’ model of conceptual representations and their implication for abstraction capacity levels. The ‘hub-and-spoke’ model, which is based on data gathered in patients with semantic dementia (SD), is the most authoritative model of conceptual knowledge. Patterson et al.’s (Nature Reviews Neuroscience, 8(12), 976-987, 2007) classical version of this model maintained that conceptual representations are stored in a unitary ‘amodal’ format in the right and left anterior temporal lobes (ATLs), because in SD the semantic disorder cuts across modalities and categories. Several authors questioned the unitary nature of these representations. They showed that the semantic impairment is ‘multi-modal’only in the advanced stages of SD, when atrophy affects the ATLs bilaterally, but that impariments can be modality-specific in lateralised (early) stages of the disease. In these cases, SD mainly affects lexical-semantic knowledge when atrophy predominates on the left side and pictorial representations when atrophy prevails on the right side. Some aspects of the model (i.e. the importance of spokes, the multimodal format of representations and the graded convergence of modalities within the ATLs), which had already been outlined by Rogers et al. (Psychological Review, 111(1), 205–235, 2004) in a computational model of SD, were strengthened by these results. The relevance of these theoretical problems and of empirical data concerning the neural substrate of concrete and abstract words is discussed critically. The conclusion of the review is that the highest levels of abstraction are due more to the structuring influence of language than to the format of representations.     

Fibred Security Language

We study access control policies based on the says operator by introducing a logical framework called Fibred Security Language (FSL) which is able to deal with features like joint responsibility between sets of principals and to identify them by means of first-order formulas. FSL is based on a multimodal logic methodology. We first discuss the main contributions from the expressiveness point of view, we give semantics for the language both for classical and intuitionistic fragment), we then prove that in order to express well-known properties like ‘speaks-for’ or ‘hand-off’, defined in terms of says, we do not need second-order logic (unlike previous approaches) but a decidable fragment of first-order logic suffices. We propose a model-driven study of the says axiomatization by constraining the Kripke models in order to respect desirable security properties, we study how existing access control logics can be translated into FSL and we give completeness for the logic.     

Dynamische Komplexität in der Therapeut-Klient-Interaktion

The importance of client-therapist-relationship in psychotherapy has often been stressed. On the one hand, the quality of this relationship has proved to be an important predictor of therapy outcome, on the other hand the relationship itself is realized as a complex dynamic pattern of interpersonal interaction. It seems appropriate to investigate this dynamics by a microprocess analysis with high resolution. Interactive plans (idiographic self-presentation unities) of client and therapist were coded by a sampling frequency of 10 seconds. The coding system of plan activation follows the idea of synchronous musical score notation of different orchestra instruments. It allows for the representation of contextualized interactive behaviors. The context is introduced by the consideration of synchronous and diachronous plan-activation patterns of the interaction partners. The observed dynamic patterns are fulfilling the prerequisites of usual definitions of “chaos”: irregularity of the process, restricted prediction horizon, and still some global order of the dynamic process. Based on nominal data (on-off-patterns), a method for the identification of order within irregular patterns of plan activations is presented. The frequency distributions of plans realize the shape of 1/f^α-noise, indicating features of self-organized criticality within the dynamic system of client-therapist-interaction.     

Implicit happiness and sadness are associated with ease and difficulty: evidence from sequential priming

Psychological Research - Three experiments tested the hypothesis of implicit associations between happiness and the performance ease concept and between sadness and the performance difficulty...     

Optimal training design for procedural motor skills: a review and application to laparoscopic surgery

This literature review covers the choices to consider in training complex procedural, perceptual and motor skills. In particular, we focus on laparoscopic surgery. An overview is provided of important training factors modulating the acquisition, durability, transfer, and efficiency of trained skills. We summarize empirical studies and their theoretical background on the topic of training complex cognitive and motor skills that are pertinent to proficiency in laparoscopic surgery. The overview pertains to surgical simulation training for laparoscopy, but also to training in other demanding procedural and dexterous tasks, such as aviation, managing complex systems and sports. Evidence-based recommendations are provided for facilitating efficiency in laparoscopic motor skill training such as session spacing, adaptive training, task variability, part-task training, mental imagery and deliberate practice.