Short-Term Kinesthetic Training for Sensorimotor Rhythms: Effects in Experts and Amateurs

The authors’ aim was to examine whether short-term kinesthetic training affects the level of sensorimotor rhythm (SMR) in different frequency band: alpha (8–12 Hz), lower beta (12.5–16 Hz) and beta (16.5–20 Hz) during the execution of a motor imagery task of closing and opening the right and the left hand by experts (jugglers, practicing similar exercises on an everyday basis) and amateurs (individuals not practicing any sports). It was found that the performance of short kinesthetic training increases the power of alpha rhythm when executing imagery tasks only in the group of amateurs. Therefore, kinesthetic training may be successfully used as a method increasing the vividness of motor imagery, for example, in tasks involving the control of brain–computer interfaces based on SMR.     

The Relationships of Spatial Ability and Sex to Formal Reasoning Capabilities

The relationships of spatial ability and sex to performance on formal easoning tasks were examined for a group of 34 male and female college tudents. It was hypothesized that spatial ability is positively related to ormal reasoning task performance which is also related to male superiority on formal reasoning task performance. Results indicated that spatial ability vas unrelated to formal reasoning task performance and that sex differinces occurred with the balance task and the pendulum task which sugested that males were superior to females at manifesting the scheme of jroportionality and at being able to isolate variables.     

The first formalized proof of the indestructibility of a subsistent form

The article presents a formalization of Thomas Aquinas proof for the indestructibility of the human soul. The author of the formalization—the first of its kind in the history of philosophy—is Father Joseph Maria Bocheński. The presentation involves no more than updating the logical symbolism used and accompanies the logical formulae with ordinary language paraphrases in order to ease the reader’s understanding of the formulae. “The fundamental idea of the Thomist proof is of utmost simplicity: things which are destructible are destructible either per se or per accidens; but the human soul is destructible neither per se nor per accidens: therefore the human soul is not destructible”. Bochenski’s words required him to devote considerable effort for the sake of precision of the symbolic language that would be maximally adequate to Thomas’ discourse. Moreover, I have thought it necessary to provide an ample commentary to the traditional and contemporary semantical presuppositions of Aquinas philosophical anthropology in light of Bocheński’s interpretation thereof.     

Giant African Pouched Rats as Detectors of Tuberculosis in Human Sputum: Comparison of Two Techniques for Sputum Presentation

Previous studies have shown that pouched rats can detect the presence of Mycobacterium tuberculosis, which causes tuberculosis, in human sputum samples obtained from clinical facilities. Although pouched rats evaluate sputum samples quickly, preparing the samples is relatively slow. The present study evaluated whether the rats can detect tuberculosis in microscope slides, which are routinely prepared at these facilities. Results indicate that they can do so, but their accuracy is considerably lower than that of rats exposed to pots containing sputum, as in prior studies.

     

Socratic Trees

The method of Socratic proofs (SP-method) simulates the solving of logical problem by pure questioning. An outcome of an application of the SP-method is a sequence of questions, called a Socratic transformation. Our aim is to give a method of translation of Socratic transformations into trees. We address this issue both conceptually and by providing certain algorithms. We show that the trees which correspond to successful Socratic transformations—that is, to Socratic proofs—may be regarded, after a slight modification, as Gentzen-style proofs. Thus proof-search for some Gentzen-style calculi can be performed by means of the SP-method. At the same time the method seems promising as a foundation for automated deduction.