Paraconsistency in classical logic

Classical propositional logic can be characterized, indirectly, by means of a complementary formal system whose theorems are exactly those formulas that are not classical tautologies, i.e., contradictions and truth-functional contingencies. Since a formula is contingent if and only if its negation is also contingent, the system in question is paraconsistent. Hence classical propositional logic itself admits of a paraconsistent characterization, albeit “in the negative”. More generally, any decidable logic with a syntactically incomplete proof theory allows for a paraconsistent characterization of its set of theorems. This, we note, has important bearing on the very nature of paraconsistency as standardly characterized.     

Mental contrasting of counterfactual fantasies attenuates disappointment,regret, and resentment

Negative emotions elicited by positive counterfactuals about an alternative past—“if only” reconstructions of negative life events—are functional in preparing people to act when opportunities to restore the alternative past will arise. If the counterfactual past is lost, because restorative opportunities are absent, letting go of the negative emotions should be the better solution, sheltering people from feelings of distress. In six experimental studies, the self-regulation strategy of mental contrasting (Oettingen, European Review of Social Psychology 23:1–63, 2012) attenuated the negative emotions elicited by positive fantasies about a lost counterfactual past, specifically, disappointment, regret and resentment. Mental contrasting (vs. relevant control conditions) led people to feel less disappointed when evaluating their lost counterfactual past compared with their current reality, indicating reduced commitment to the lost counterfactual past (Studies 1, 2, 3, and 4), and it attenuated post-decisional regret and resentment (Studies 5 and 6). These findings held when participants were induced to focus on lost counterfactual pasts for which they were responsible (Studies 4 and 5), for which they blamed another person (Study 6), or for which they deemed no one responsible (Studies 2 and 3). The findings are relevant for building interventions that help people to come to terms with their lost counterfactual past.     

Intended persistence: comparing academic and creative challenges in high school

How do high school students approach academic and creative challenges? This study compares the content of academic and creative challenges for 190 high school students, and examines students’ intentions to persist. Students reported experiencing academic and creative challenges in different areas: academic challenges were described primarily in math/science and English, with themes related to time management and striving to improve, while creative challenges were described overwhelmingly in art and music and concerned problem solving difficulties. Students reported more interest and intention to persist in the creative than academic challenges. Interest was the strongest predictor of persistence across both academic and creative challenges. The divergent perceptions of creative and academic challenges suggest that capitalizing on the creative elements of academic assignments could boost student interest and subsequent persistence.     

Lassoing Skill Through Learner Choice

The authors examined several issues related to the motor learning benefits resulting from giving learners choices. In 2 experiments, participants practiced a novel task, throwing a lasso. In Experiment 1, giving learners a choice ostensibly irrelevant to performance (color of mat under target) resulted in enhanced learning relative to a control group. The choice group also reported more positive affect. Experiment 2 compared the effectiveness of task-irrelevant (mat color) versus task-relevant (video demonstrations of the skill) choices. In both choice groups, each participant was yoked to a participant in the other group, and each received the same mat color or saw the video demonstration, respectively, as chosen by their counterpart in the other group. In the control group, participants were yoked to their respective counterparts in each of the choice groups. On a retention test, the 2 choice groups did not differ from each other, but both outperformed the control group. The affective and learning effects seen when learners are given choices, and the fact that task-relevant and task-irrelevant choices resulted in similar learning benefits, are consistent with a content-neutral mechanism for the effects of choice on learning, as described in the OPTIMAL theory of motor learning (Wulf &; Lewthwaite, 2016 Wulf, G., &; Lewthwaite, R. (2016). Optimizing performance through intrinsic motivation and attention for learning: The OPTIMAL theory of motor learning. Psychonomic Bulletin &; Review, 23, 1382–1414. https://doi.org/10.3758/s13423-015-0999-9.[Crossref], [PubMed], [Web of Science ®] , [Google Scholar]).     

The automaticity of complex motor skill learning as a function of attentional focus

The present experiment was designed to test the predictions of the constrained-action hypothesis. This hypothesis proposes that when performers utilize an internal focus of attention (focus on their movements) they may actually constrain or interfere with automatic control processes that would normally regulate the movement, whereas an external focus of attention (focus on the movement effect) allows the motor system to more naturally self-organize. To test this hypothesis, a dynamic balance task (stabilometer) was used with participants instructed to adopt either an internal or external focus of attention. Consistent with earlier experiments, the external focus group produced generally smaller balance errors than did the internal focus group and responded at a higher frequency indicating higher confluence between voluntary and reflexive mechanisms. In addition, probe reaction times (RTs) were taken as a measure of the attention demands required under the two attentional focus conditions. Consistent with the hypothesis, the external focus participants demonstrated lower probe RTs than did the internal focus participants, indicating a higher degree of automaticity and less conscious interference in the control processes associated with the balance task.     

Mindsets and pre-conscious open-mindedness to incidental information

Mindset theory (Gollwitzer, 1990) proposes that deliberative mindsets are marked by more open-minded processing of information, whereas implemental mindsets are characterized by more closed-minded processing. Accordingly, deliberative and implemental mindsets should differ in selective processing of incidental information when performing a central task. In three experiments, participants in deliberative and implemental mindsets performed a computer task while randomly presented incidental, unavoidable words. A subsequent recognition memory test assessed selective processing of these incidental words. Results revealed that deliberative mindsets led to superior recognition memory, suggesting increased open-mindedness to processing incidental information. Implications for mindset and goal theories are discussed.     

Cocaine self-administration alters the relative effectiveness of multiple memory systems during extinction

Rats were trained to run a straight-alley maze for an oral cocaine or sucrose vehicle solution reward, followed by either response or latent extinction training procedures that engage neuroanatomically dissociable “habit” and “cognitive” memory systems, respectively. In the response extinction condition, rats performed a runway approach response to an empty fluid well. In the latent extinction condition, rats were placed at the empty fluid well without performing a runway approach response. Rats trained with the sucrose solution displayed normal extinction behavior in both conditions. In contrast, rats trained with the cocaine solution showed normal response extinction but impaired latent extinction. The selective impairment of latent extinction indicates that oral cocaine self-administration alters the relative effectiveness of multiple memory systems during subsequent extinction training.Understanding the psychological and neural mechanisms underlying the acquisition and extinction of drug-seeking behavior has important implications for therapies targeting drug addiction. A better understanding of the neurobiology of extinction can potentially allow for the development of treatments to produce more effective and persistent extinction learning. Dissociable hippocampus-dependent “cognitive” and dorsal striatal-dependent “habit” memory systems are engaged during the initial acquisition of learned behavior (for reviews, see Packard and Knowlton 2002; White and McDonald 2002; Squire 2004). Interestingly, recent evidence indicates that multiple memory systems can also be engaged during the new learning that occurs during behavioral extinction (Gabriele and Packard 2006). For example, the behavior of a rat trained to traverse a straight-alley runway for a food reward can be extinguished using either habit/response or cognitive/latent extinction training procedures. During response extinction, rats are allowed to perform the runway approach response to an empty food cup. In contrast, during latent extinction, rats are placed at the empty food cup without performing the runway approach response. Consistent with evidence indicating a selective role for the hippocampus in cognitive memory, neural inactivation of this brain structure impairs latent extinction and spares response extinction (Gabriele and Packard 2006). Moreover, consistent with evidence that the dorsal striatum selectively mediates habit memory (for review, see Packard and Knowlton 2002), neural inactivation of this brain region impairs response extinction and spares latent extinction (A. Gabriele and M.G. Packard, unpubl.).The transition from initial drug use to eventual addiction may involve, at least in part, the development of compulsive drug-seeking and drug-taking behaviors that are increasingly guided by dorsal striatal-dependent habit learning mechanisms (for reviews, see White 1996; Everitt et al. 2001; Everitt and Robbins 2005; Belin et al. 2008). This hypothesis raises the possibility that once “habit-like” drug-seeking behaviors are firmly acquired, the extinction of such behaviors may be differentially influenced by engaging habit and cognitive memory systems. In the present study, we examined this idea by comparing the relative effectiveness of response and latent extinction training procedures in rats trained to run a straight-alley maze for an oral cocaine reward. Consistent with criteria considered important for demonstrating drug dependence, oral cocaine self-administration produces withdrawal following forced abstinence (Barros and Miczek 1996) and additionally is resistant to reinforcer devaluation (Miles et al. 2003), indicating that this behavior becomes divorced from its consequences in a manner similar to the dorsal striatum-mediated compulsive drug-seeking behavior that may characterize addiction (for reviews, see White 1996; Everitt et al. 2001; Everitt and Robbins 2005; Belin et al. 2008).The apparatus was an elevated (86.4 cm) straight-alley maze with a black Plexiglas floor and clear Plexiglas sides (117.8 cm long, 11.4 cm wide, and 20.3 cm tall). A fluid cup (2.5-cm diameter) was located at the goal end of the maze. The maze was located in a room containing several extra-maze cues.Subjects were 32 adult male Long-Evans rats (275–300 g). Rats were individually housed on a 12:12-h light–dark cycle, with lights on from 8:00 a.m.–8:00 p.m. All animals received food ad libitum.During all behavioral procedures, water bottles were removed from home cages 24 h prior to training, and animals received 15 min/day access to water following each day''s procedures. Training began with 3 d of habituation to the solution to be used during training (cocaine–sucrose [0.1% cocaine HCl/20% sucrose in ddH₂0] or sucrose [20% in ddH₂0] alone). Each habituation day involved presentations of 0.5 mL of the solution in a novel environment consisting of a half-white, half-black box (41.9 cm long, 31.8 cm wide, 35.6 tall) with the fluid cup located in the center of the black side. The number of presentations increased with each habituation day (1, 2, and 4). Each individual presentation had a maximum time of 20 min, and rats were removed when the solution was consumed. Volume consumed and amount of time to consume the solution were recorded for each rat. Each sucrose rat was matched to a cocaine rat to ensure that there were no differences between groups in terms of volume of solution consumed prior to training. For each matched pair, the volume consumed by the rat receiving the cocaine solution during each presentation was measured, and an identical amount was made available to the matched sucrose animal. If, during any given presentation, the cocaine animal did not consume any solution, then the matched sucrose animal received 20 min in the habituation environment with no solution present.Behavioral procedures were similar to those of our previous study using food reward (Gabriele and Packard 2006). During maze training, animals received either the cocaine–sucrose solution or sucrose vehicle solution reward. On days 1–10 of solution-rewarded maze training (six trials per day), rats were placed in the start end and allowed to traverse the maze and drink the available reward solution (0.5 mL). Upon consuming the solution, rats were removed from the maze and placed in an opaque holding box adjacent to the maze for a 30-sec intertrial interval. On each trial, the latency (in seconds) to reach the fluid cup was recorded and used as the measure of task acquisition. If a rat failed to reach the fluid cup within 60 sec, it was removed for the intertrial interval and a latency of 60 sec was recorded.Twenty-four hours following the completion of training (i.e., day 11), rats were assigned to one of two extinction conditions; latent extinction (n = 18, 10 cocaine and eight sucrose) or response extinction (n = 14, seven cocaine and seven sucrose). For both the latent and response conditions, extinction training was administered over 3 d (six trials per day, 30-sec intertrial interval) with no reward solution present. In the latent extinction condition, rats were placed facing the empty fluid cup in the goal end of the maze and were confined for 60 sec by placement of a clear Plexiglas barrier 20 cm from the rear wall of the goal end of the maze. Following confinement, rats were removed from the maze and placed in the holding box for the 30-sec intertrial interval. In the response extinction condition, rats were placed into the start end of the maze as during training and allowed to run to an empty fluid cup at the goal end of the maze. Upon reaching the empty fluid cup and being allowed to discover its emptiness (or after 60 sec if the rat did not reach the reward cup), rats were removed from the maze and placed in the holding box for the 30-sec intertrial interval. Latency to reach the fluid cup was recorded and used as the measure of extinction behavior. On day 3 of extinction, 90 min following the sixth daily extinction trial, all rats were given an additional four extinction “probe” trials in which they were placed in the start end of the maze and latency to reach the empty fluid cup was recorded. These four trials allowed for an assessment of the effectiveness of each extinction procedure.Data from the runway acquisition sessions are presented in Figure 1. A two-way one-repeated-measure ANOVA (Group [cocaine vs. sucrose] × Session) comparing the latencies to reach the fluid cup during acquisition in rats that subsequently received latent extinction revealed a significant effect of Session (F_(9,16) = 61.03, P < 0.001), indicating that latency to reach the fluid cup during acquisition decreased across sessions. However, the absence of a main effect of Group (F_(1,16) = 1.94, n.s.) or interaction between Group and Session (F_(9,16) = 0.53, n.s.) indicates that rats trained to run for cocaine and sucrose acquired the task at similar rates (Fig. 1A). Similar results were observed in rats that subsequently received response extinction (Fig. 1B) in that there was a main effect of Session (F_(9,12) = 13.11, P < 0.001) but no main effect (F_(1,12) = 0.44, n.s.) or interaction (F_(9,12) = 1.50, n.s.) involving drug Group.Open in a separate windowFigure 1.Acquisition of maze runway behavior. (A) Acquisition of maze runway behavior by rats that subsequently received latent extinction. (B) Acquisition of maze runway behavior by rats that subsequently received response extinction. Mean ± SEM of latency (in seconds) to reach the solution cup over training days. For both extinction conditions, there were no group differences in the initial acquisition of runway behavior.The effects of oral cocaine self-administration on latent and response extinction are shown in Figure 2. A two-way ANOVA (Group × Extinction condition) comparing mean runway latencies (collapsed across the four probe trials) for each group revealed a significant main effect of Extinction condition (F_(1,28) = 32.440, P < 0.001), indicating that the response extinction procedures produced greater extinction of the runway response, and a significant interaction effect between Extinction condition and Group (F_(1,28) = 4.813, P < 0.05) but no effect of Group (F_(1,28) = 0.96, n.s.). Simple effects tests showed a significant effect of Group within the latent extinction condition (F_(1,16) = 5.688, P < 0.05) but not the response extinction condition (F_(1,12) = 0.663, n.s.), indicating that oral cocaine self-administration selectively impaired latent but not response extinction. Additionally, a two-way one-repeated-measure ANOVA (Group × Trial) computed on the latencies to reach the fluid cup during response extinction training revealed a main effect of Trial (F_(2,12) = 16.44, P < 0.001), but no significant main effect (F_(1,12) = 2.27, n.s.) or interaction (F_(2,12) = 0.88, n.s.) involving Group, further indicating that oral cocaine did not impair response extinction.Open in a separate windowFigure 2.Effects of oral cocaine self-administration on extinction. The effect of oral cocaine self-administration on runway latent and response extinction. Mean ± SEM latency (in seconds) to reach the fluid cup is shown over the four extinction probe trials. Oral cocaine self-administration impaired latent extinction, but did not impair response extinction.The present experiments investigated the effect of oral cocaine self-administration on response and latent extinction in a straight-alley maze. Following training, rats in the response extinction condition performed the approach response to an empty goal box, whereas rats in the latent extinction condition were placed in the goal box with no reward present. Consistent with previous studies using food reward (e.g., Seward and Levy 1949; Gabriele and Packard 2006), rats rewarded with a sucrose solution were able to extinguish the approach response following both response and latent extinction procedures. In contrast, rats rewarded with a cocaine solution displayed normal response extinction (see also Schoenbaum and Setlow 2005) but impaired latent extinction. The selective impairing effect of oral cocaine self-administration on latent extinction indicates that the drug does not impair processes that contribute to general maze behavior (e.g., motivational, motor, or sensory processes), as any such influence would also likely produce a deficit in response extinction.Previous findings indicate that latent extinction of runway behavior is hippocampus dependent, whereas response extinction is dorsal striatal dependent (Gabriele and Packard 2006; A. Gabriele and M.G. Packard, unpubl.). In view of evidence that the hippocampus and dorsal striatum mediate cognitive and habit learning mechanisms, respectively (for reviews, see Packard and Knowlton 2002; White and McDonald 2002; Squire 2004), the findings suggest that oral cocaine self-administration can affect the relative use of multiple memory systems during extinction learning. The medial prefrontal cortex and basolateral amygdala have been implicated in extinction of several forms of learned behavior, and prior cocaine exposure can impair some forms of extinction learning (Burke et al. 2006; Peters et al. 2008; Quirk and Mueller 2008). However, neural inactivation of medial prefrontal cortex or basolateral amygdala does not affect latent extinction of maze runway behavior (A. Gabriele and M.G. Packard, unpubl.), suggesting that cocaine-induced dysfunction of these structures does not account for the results observed here.One explanation of the cocaine-induced impairment of latent extinction is that the approach response acquired during task acquisition is guided by a supra-normal stimulus-response habit, thereby rendering cognitive learning mechanisms ineffectual during latent extinction training. Consistent with this possibility, drug-seeking behaviors underlying addiction may involve, at least in part, a transition from goal-directed behaviors to habitual behaviors that characterize the function of the dorsal striatal memory system (e.g., Tiffany 1990; White 1996; Packard 1999; Everitt et al. 2001; Porrino et al. 2004; Everitt and Robbins 2005; Belin et al. 2008). Indeed, recent evidence implicates the dorsal striatum in habitual drug-seeking behaviors. For example, intradorsal striatum administration of dopamine antagonists impairs cocaine seeking (Vanderschuren et al. 2005), and inactivation of the dorsal striatum attenuates drug seeking, following both abstinence and extinction (Fuchs et al. 2006; See et al. 2007). Interestingly, disconnection between the ventral and dorsolateral striatum impairs cocaine-seeking behavior (Belin and Everitt 2008), and extended cocaine use enhanced cue-selective firing in the dorsal striatum and reduced cue-selective firing in the ventral striatum in go/no go discrimination learning, indicating an accelerated shift to dorsolateral striatal control (Takahashi et al. 2007). In addition, dopamine release increases in the dorsal striatum of rats following presentation of a response-contingent cue associated with cocaine (Ito et al. 2002). Similar results from fMRI and PET studies of human cocaine addicts showed increased activation in the dorsal striatum (Garavan et al. 2000) and an increase in dopamine release within the dorsal striatum (Volkow et al. 2006) following cue-induced cravings.A second explanation of the cocaine-induced impairment in latent extinction is that drug intake during task acquisition may have affected hippocampal physiology in a manner that negatively impacted the hippocampus-dependent learning that subsequently mediates latent extinction. Consistent with this possibility, chronic cocaine exposure impairs subsequent performance of hippocampus-dependent tasks such as the Morris water maze and the win-shift radial arm maze task (Melnick et al. 2001; Quirk et al. 2001; Mendez et al. 2008). However, it should be noted that the impairments observed in the latter studies were observed following exposure to cocaine doses considerably higher than those used in the present oral self-administration study. Since the current experiments do not explicitly examine the potential neurobiological progression underlying the acquisition of runway responding, further research is necessary to determine whether the cocaine-induced impairment of latent extinction involves the interfering effect of a supra-normal response habit, or a direct impairing effect on hippocampal physiology. It should also be noted that both oral cocaine self-administration and a passive cocaine administration regimen produce results analogous to those presented here, in that they impair “cognitive” representations of rewards (Miles et al. 2003; Schoenbaum and Setlow 2005). However, the relationship between this type of cognitive reward representation (mediated by interactions between basolateral amygdala and orbitofrontal cortex) (Pickens et al. 2003) and cognitive representations in latent extinction mediated by the hippocampus (Gabriele and Packard 2006) is currently unclear.Finally, the selective impairing effect of cocaine self-administration on latent extinction may have implications for understanding the persistent ability of drug-predictive cues and contexts to compel drug-seeking behavior and relapse. Specifically, if the ability to use cognitive learning mechanisms to extinguish drug-seeking behaviors is impaired following the transition from initial to habitual and compulsive drug use, then contextual/relational cues might be expected to maintain greater control over behavior following extinction training. This in turn might suggest that incorporation of response extinction procedures into treatment strategies might provide greater therapeutic efficacy.     

Metacognitions as a predictor of drinking status and level of alcohol use following CBT in problem drinkers: A prospective study

This study investigated the role of negative emotions and metacognitions in predicting problem drinkers' drinking status (absence or presence of drinking) and level of weekly alcohol use at 3, 6 and 12 months after a course of treatment. A total of 70 problem drinkers with a DSM-IV diagnosis of alcohol abuse participated in the study. Depressive symptoms were assessed with the Beck Depression Inventory and symptoms of anxiety were measured with the state anxiety sub-scale of the State-Trait Anxiety Inventory. Metacognitions were measured with the Meta-Cognitions Questionnaire. Results indicated that beliefs about need to control thoughts predicted: (1) drinking status at 3 and 6 months; and (2) level of weekly alcohol use at 3, 6 and 12 months. The contribution of metacognition was independent of negative emotions and initial level of weekly alcohol use. The results support the role of metacognition in problem drinking. Given that metacognitions are a possible risk factor for drinking status and level of weekly alcohol use it is suggested that treatment for problem drinking could target this variable.     

Mind-World Identity Theory and Semantic Realism: Haldane and Boulter on Aquinas

Stephen Boulter, in The Philosophical Quarterly , 48 (1998), pp. 504–13, attacks John Haldane's proposed account of the relationship between mind and world based on Aquinas' theory of cognition. Boulter argues against Haldane's attempt to square metaphysical realism with semantic anti-realism. I argue that even if metaphysical realism and a full-bodied semantic anti-realism may be incompatible, from the stance of the mind-world identity theory, one may nevertheless maintain metaphysical realism together with the negation of semantic realism. I suggest that this is what Haldane actually claimed, and moreover that Aquinas would have accepted it. Aquinas' analogy-based semantics enlarges the recognitional capacities of speakers, and one's capacity to recognize a fact empirically is different from one's capacity to form thoughts about a fact.