Do we need a new theory of truthmaking? Some comments on Disjunction Thesis, Conjunction Thesis, Entailment Principle and explanation

In the paper we discuss criticisms against David Armstrong’s general theory of truthmaking by Gonzalo Rodriguez-Pereyra, Peter Schulte and Benjamin Schnieder, and conclude that Armstrong’s theory survives these criticisms. Special attention is given to the problems concerning Entailment Principle, Conjunction Thesis, Disjunction Thesis and to the notion of explanation.     

Infinitary Action Logic: Complexity, Models and Grammars

Action logic of Pratt [21] can be presented as Full Lambek Calculus FL [14, 17] enriched with Kleene star *; it is equivalent to the equational theory of residuated Kleene algebras (lattices). Some results on axiom systems, complexity and models of this logic were obtained in [4, 3, 18]. Here we prove a stronger form of *-elimination for the logic of *-continuous action lattices and the –completeness of the equational theories of action lattices of subsets of a finite monoid and action lattices of binary relations on a finite universe. We also discuss possible applications in linguistics. Presented by Jacek Malinowski     

Does Transcranial Direct Current Stimulation Affect the Learning of a Fine Sequential Hand Motor Skill with Motor Imagery?

Learning a fine sequential hand motor skill, like playing the piano or learning to type, improves not only due to physical practice, but also due to motor imagery. Previous studies revealed that transcranial direct current stimulation (tDCS) and motor imagery independently affect motor learning. In the present study, we investigated whether tDCS combined with motor imagery above the primary motor cortex influences sequence-specific learning. Four groups of participants were involved: an anodal, cathodal, sham stimulation, and a control group (without stimulation). A modified discrete sequence production (DSP) task was employed: the Go/NoGo DSP task. After a sequence of spatial cues, a response sequence had to be either executed, imagined, or withheld. This task allows to estimate both non-specific learning and sequence-specific learning effects by comparing the execution of unfamiliar sequences, familiar imagined, familiar withheld, and familiar executed sequences in a test phase. Results showed that the effects of anodal tDCS were already developing during the practice phase, while no effects of tDCS on sequence-specific learning were visible during the test phase. Results clearly showed that motor imagery itself influences sequence learning, but we also revealed that tDCS does not increase the influence of motor imagery on sequence learning.     

Temperament and Anxiety: The Mediating Role of Metacognition

The present study examines a simple model for the relationship between temperament, anxiety and maladaptive metacognition. A clinical sample of patients diagnosed with anxiety disorders (n?=?216) completed a set of self-reported questionnaires measuring temperament dimensions, state anxiety and metacognitions. Three temperament traits were included in the hypothesized model: emotional reactivity, perseveration and briskness. A structural equation modeling analysis supported a model in which the relationship between the three temperament traits and anxiety were fully mediated by metacognition. Dissimilar models were identified for the male and female subgroups, and also with reference to individual categories of maladaptive metacognition. The findings support the significance of metacognition as a factor influencing the temperament-anxiety relationship. Moreover, they confirm the roles both of emotional reactivity and of perseveration, being major traits related to anxiety which also turned out to be strongly associated with metacognition. In case of the models for the categories of metacognition, emotional reactivity was associated with negative beliefs, perseveration with negative and positive beliefs, while briskness predicted anxiety independently of metacognition. These results suggest the existence of more specific associations between temperament traits, anxiety, and various types of metacognition.     

Comparing Semantics of Logics for Multi-Agent Systems

We draw parallels between several closely related logics that combine — in different proportions — elements of game theory, computation tree logics, and epistemic logics to reason about agents and their abilities. These are: the coalition game logics CL and ECL introduced by Pauly 2000, the alternating-time temporal logic ATL developed by Alur, Henzinger and Kupferman between 1997 and 2002, and the alternating-time temporal epistemic logic ATEL by van der Hoek and Wooldridge (2002). In particular, we establish some subsumption and equivalence results for their semantics, as well as interpretation of the alternating-time temporal epistemic logic into ATL. The focus in this paper is on models: alternating transition systems, multi-player game models (alias concurrent game structures) and coalition effectivity models turn out to be intimately related, while alternating epistemic transition systems share much of their philosophical and formal apparatus. Our approach is constructive: we present ways to transform between different types of models and languages.     

On Reduction Systems Equivalent to The Lambek Calculus with the Empty String

The paper continues a series of results on cut-rule axiomatizability of the Lambek calculus. It provides a complete solution of a problem which was solved partially in one of the author's earlier papers. It is proved that the product-free Lambek Calculus with the empty string (L ₀) is not finitely axiomatizable if the only rule of inference admitted is Lambek's cut rule. The proof makes use of the (infinitely) cut-rule axiomatized calculus C designed by the author exactly for this purpose.     

On the relationship between temperament, metacognition, and anxiety: independent and mediated effects

Abstract The present study examined the relations between temperamental traits distinguished in regulative theory of temperament, state anxiety, and metacognition as postulated in self-regulatory executive function (S-REF) theory of emotional disorder. Data analysis (n=315) consisted of independent and mediated effect analyses. Of the six traits, briskness, emotional reactivity and perseveration correlated significantly with both state anxiety and metacognitions (emotional reactivity and perseveration correlated positively, and briskness - negatively). These traits were predictors of state anxiety. Metacognition predicted state anxiety and relationships were independent of temperament. A mediating effect of metacognition was confirmed for the general index as well as negative and positive belief subscales. The findings support the metacognitive model of psychopathology and suggest that temperament is associated with metacognitions implicated in psychopathology and may have both direct and metacognitively mediated effects on anxiety.