The effect of unilateral hand contractions on psychophysiological activity during motor performance: Evidence of verbal-analytical engagement

ObjectivesConscious engagement in movement control can influence motor performance. In most cases, the left hemisphere of the brain plays an important role in verbal-analytical processing and reasoning, so changes in the balance of hemispheric activation may influence conscious engagement in movement. Evidence suggests that unilateral hand contractions influence hemispheric activation, but no study has investigated whether there is an associated effect of hand contractions on verbal-analytical processing during motor performance. This study utilized psychophysiological (and behavioural) measures to examine whether pre-performance unilateral hand contraction protocols change verbal-analytical engagement during motor performance.DesignA repeated measures crossover design was employed.MethodsTwenty-eight participants completed three hand contraction protocols in a randomised order: left-, right- and no-hand contractions. Electroencephalography (EEG) measures of hemispheric asymmetry were computed during hand contractions. A golf putting task was conducted after each protocol. EEG connectivity between sites overlying the left verbal-analytical temporal region (T7) and the motor planning region (Fz) was computed for the 3 sec prior to movement initiation. Additionally, electrocardiography (ECG) and electromyography (EMG) signals were analysed 6 sec prior to movement initiation until 6 sec after. Golf putting performance (distance from the target) and putter swing kinematics were measured.ResultsContralateral hemisphere activity was revealed for the left-hand and right-hand contraction conditions. During motor planning, the left-hand contraction protocol led to significantly lower T7-Fz connectivity, and the right-hand contraction protocol led to significantly higher T7-Fz connectivity than the other conditions. EMG, ECG and kinematic measures did not differ as a function of condition. Importantly, T7-Fz connectivity mediated the relationship between hand squeezing and motor performance (distance from the target).ConclusionThe EEG results suggest that pre-performance unilateral hand contractions influence the extent of verbal-analytical engagement during motor planning, which in turn influences motor performance. However, the hand contractions did not influence cardiac activity, muscle activity or kinematics.     

Kripke Semantics, Undecidability and Standard Completeness for Esteva and Godo's Logic MTL∀

The present paper deals with the predicate version MTL of the logic MTL by Esteva and Godo. We introduce a Kripke semantics for it, along the lines of Ono's Kripke semantics for the predicate version of FL_ew (cf. [O85]), and we prove a completeness theorem. Then we prove that every predicate logic between MTL and classical predicate logic is undecidable. Finally, we prove that MTL is complete with respect to the standard semantics, i.e., with respect to Kripke frames on the real interval [0,1], or equivalently, with respect to MTL-algebras whose lattice reduct is [0,1] with the usual order.     

Coherentist Contraction

A model of coherentist belief contraction is constructed. The outcome of belief contraction is required to be one of the coherent subsets of the original belief set, and a set of plausible properties is proposed for this set of coherent subsets. The contraction operators obtained in this way are shown to coincide with well-known belief base operations. This connection between coherentist and foundationalist approaches to belief change has important implications for the philosophical interpretation of models of belief change.     

Severe Withdrawal (and Recovery)

The problem of how to remove information from an agent's stock of beliefs is of paramount concern in the belief change literature. An inquiring agent may remove beliefs for a variety of reasons: a belief may be called into doubt or the agent may simply wish to entertain other possibilities. In the prominent AGM framework for belief change, upon which the work here is based, one of the three central operations, contraction, addresses this concern (the other two deal with the incorporation of new information). Makinson has generalised this work by introducing the notion of a withdrawal operation. Underlying the account proffered by AGM is the idea of rational belief change. A belief change operation should be guided by certain principles or integrity constraints in order to characterise change by a rational agent. One of the most noted principles within the context of AGM is the Principle of Informational Economy. However, adoption of this principle in its purest form has been rejected by AGM leading to a more relaxed interpretation. In this paper, we argue that this weakening of the Principle of Informational Economy suggests that it is only one of a number of principles which should be taken into account. Furthermore, this weakening points toward a Principle of Indifference. This motivates the introduction of a belief removal operation that we call severe withdrawal. We provide rationality postulates for severe withdrawal and explore its relationship with AGM contraction. Moreover, we furnish possible worlds and epistemic entrenchment semantics for severe withdrawals.     

Quadriceps Torque,Peak Variability and Strength Endurance in Patients after Anterior Cruciate Ligament Reconstruction: Impact of Local Muscle Fatigue

Abstract

We tested if ACL-reconstructed participants show a decreased quadriceps torque, a lower muscle endurance capacity and a higher peak torque variability compared to unimpaired control participants prior to and following local muscle fatigue. Participants (n?=?19, 10 women; 25?±?5yrs.) with unilateral hamstrings autograft ACL-reconstruction and a matched unimpaired control group were recruited. Participants performed two maximal isometric voluntary force (MIVF) contractions of the knee extensors. In between, standardized local muscle fatigue was induced. ACL-reconstructed knees display a lower peak torque of the knee extensors in comparison to the contralateral limb (3.2?±?.3Nm/kg vs. 3.5?±?.3 Nm/kg). Peak torque variability and fatigue resistance were not affected by local muscle fatigue (p > .05). Participants with ACL-reconstructed knees show a persistent quadriceps muscle dysfunction. This dysfunction and lower limb side asymmetries might be risk factors for ACL re-ruptures.     

The Micro-Structure of Tapping Movements in Children

In order to investigate the development of movement speed in relation to movement organization, children of 5, 6, 7, 8 and 9 years of age and adults carried out a reciprocal tapping task, in which time pressure and distance were manipulated. The duration, velocity, acceleration and accuracy of the movements were compared between age groups. Age differences appeared mainly in the homing time, not in the duration of the distance covering movement phase. Accuracy and velocity of the distance covering movement phase differed with age. Time pressure affected the homing time, but not the duration of the distance covering phase. Distance manipulation affected mainly the velocity and duration of the distance covering movement phase and the homing time. In the discussion it is contended that age differences in homing time may be related to both the accuracy of the distance covering movement phase and the rate of information processing of the subject.     

New Foundations for a Relational Theory of Theory-revision

AGM-theory, named after its founders Carlos Alchourrón, Peter Gärdenfors and David Makinson, is the leading contemporary paradigm in the theory of belief-revision. The theory is reformulated here so as to deal with the central relational notions ‘J is a contraction of K with respect to A’ and ‘J is a revision of K with respect to A’. The new theory is based on a principal-case analysis of the domains of definition of the three main kinds of theory-change (expansion, contraction and revision). The new theory is stated by means of introduction and elimination rules for the relational notions. In this new setting one can re-examine the relationship between contraction and revision, using the appropriate versions of the so-called Levi and Harper identities. Among the positive results are the following. One can derive the extensionality of contraction and revision, rather than merely postulating it. Moreover, one can demonstrate the existence of revision-functions satisfying a principle of monotonicity. The full set of AGM-postulates for revision-functions allow for completely bizarre revisions. This motivates a Principle of Minimal Bloating, which needs to be stated as a separate postulate for revision. Moreover, contractions obtained in the usual way from the bizarre revisions, by using the Harper identity, satisfy Recovery. This provides a new reason (in addition to several others already adduced in the literature) for thinking that the contraction postulate of Recovery fails to capture the Principle of Minimal Mutilation. So the search is still on for a proper explication of the notion of minimal mutilation, to do service in both the theory of contraction and the theory of revision. The new relational formulation of AGM-theory, based on principal-case analysis, shares with the original, functional form of AGM-theory the idealizing assumption that the belief-sets of rational agents are to be modelled as consistent, logically closed sets of sentences. The upshot of the results presented here is that the new relational theory does a better job of making important matters clear than does the original functional theory. A new setting has been provided within which one can profitably address two pressing questions for AGM-theory: (1) how is the notion of minimal mutilation (by both contractions and revisions) best analyzed? and (2) how is one to rule out unnecessary bloating by revisions?     

Basic Infobase Change

Generalisations of theory change involving arbitrary sets of wffs instead of belief sets have become known as base change. In one view, a base should be thought of as providing more structure to its generated belief set, and can be used to determine the theory change operation associated with a base change operation. In this paper we extend a proposal along these lines by Meyer et al. We take an infobase as a finite sequence of wffs, with each element in the sequence being seen as an independently obtained bit of information, and define appropriate infobase change operations. The associated theory change operations satisfy the AGM postulates for theory change. Since an infobase change operation produces a new infobase, it allows for iterated infobase change. We measure iterated infobase change against the postulates proposed by Darwiche et al. and Lehmann.     

Adding Involution to Residuated Structures

Two constructions for adding an involution operator to residuated ordered monoids are investigated. One preserves integrality and the mingle axiom x ²x but fails to preserve the contraction property xx ². The other has the opposite preservation properties. Both constructions preserve commutativity as well as existent nonempty meets and joins and self-dual order properties. Used in conjunction with either construction, a result of R.T. Brady can be seen to show that the equational theory of commutative distributive residuated lattices (without involution) is decidable, settling a question implicitly posed by P. Jipsen and C. Tsinakis. The corresponding logical result is the (theorem-) decidability of the negation-free axioms and rules of the logic RW, formulated with fusion and the Ackermann constant t. This completes a result of S. Giambrone whose proof relied on the absence of t.