Proof Theory for Reasoning with Euler Diagrams: A Logic Translation and Normalization

Proof-theoretical notions and techniques, developed on the basis of sentential/symbolic representations of formal proofs, are applied to Euler diagrams. A translation of an Euler diagrammatic system into a natural deduction system is given, and the soundness and faithfulness of the translation are proved. Some consequences of the translation are discussed in view of the notion of free ride, which is mainly discussed in the literature of cognitive science as an account of inferential efficacy of diagrams. The translation enables us to formalize and analyze free ride in terms of proof theory. The notion of normal form of Euler diagrammatic proofs is investigated, and a normalization theorem is proved. Some consequences of the theorem are further discussed: in particular, an analysis of the structure of normal diagrammatic proofs; a diagrammatic counterpart of the usual subformula property; and a characterization of diagrammatic proofs compared with natural deduction proofs.     

Associative learning acquisition and retention depends on developmental stage in Lymnaea stagnalis

Associative learning dependent on visual and vestibular sensory neurons and the underlying cellular mechanisms have been well characterized in Hermissenda but not yet in Lymnaea. Three days of conditioning with paired presentations of a light flash (conditional stimulus: CS) and orbital rotation (unconditional stimulus: UCS) in intact Lymnaea stagnalis results in a whole-body withdrawal response (WBWR) to the CS. In the current study, we examined the optimal stimulus conditions for associative learning, including developmental stage, number of stimuli, interstimulus interval, and intertrial interval. Animals with a shell length longer than 18 mm (sexually mature) acquired and retained the associative memory, while younger ones having a shell length shorter than 15 mm acquired but did not retain the memory to the following day. For mature animals, 10 paired presentations of the CS and UCS presented every 2 min were sufficient for the induction of a WBWR to the CS. Furthermore, animals conditioned with the UCS presented simultaneously with the last 2 s of the CS also exhibited a significant WBWR in response to the CS. Blind animals did not acquire the associative memory, suggesting that ocular photoreceptors, and not dermal photoreceptors, detected the CS. These results show that maturity was key to retention of associative learning.     

健康、公正和全球性治理

卫生保健在国际水平上的不平等(这些不平等应视为不公正)要求实行全球性体制,依照全球公正的基本原则来实现人类基本的卫生保健需求.     

Tactile perception of nonpainful unpleasantness in relation to perceived roughness: effects of inter-element spacing and speed of relative motion of rigid 2-D raised-dot patterns at two body loci

Rigid surfaces consisting of spatially jittered 2-D raised-dot patterns with different inter-element spacings were moved back and forth across the skin at three different speeds (10-fold range). Within each psychophysical experiment, participants numerically estimated the perceived magnitude of either unpleasantness (nonpainful) or roughness of 2-D raised-dot surfaces applied to two stationary body sites (experiment 1: fingers; experiment 2: forearm). The psychophysical functions for the two types of perceptual judgment were highly similar at both body loci; more specifically, the perceived magnitude of unpleasantness and roughness both increased monotonically as a power function of increasing inter-element spacing, with the rate of growth declining at the upper end of the continuum. These results suggest that inter-element spacing is a critical determinant of the perceived magnitude of unpleasantness (nonpainful), as well as of roughness. Each perceptual judgment also increased as a function of increasing relative speed at both body loci. However, the magnitude of this effect was significantly greater for perceived unpleasantness than for perceived roughness; conversely, the speed effect was significantly greater on the forearm than on the fingers. Several possible explanations for these findings are considered.     

The Effect of Episodic Future Thinking on Learning Intention: Focusing on English Learning Goal-Relevant Future Thinking in University Students1,2

We examined the effects of episodic future thinking related to achieving important learning goals on university students' learning intentions. Japanese university students (N = 70) participated in this experiment. Participants in the episodic future thinking condition were asked to imagine and describe events they would experience if they achieved their goals. In the semantic future thinking condition, we asked participants to describe their future selves after university graduation and rate the relevance of their future selves to their learning goals. Participants were then asked to respond to the learning intentions measures. Participants in the control condition responded to the measures of learning intentions after completing a questionnaire unrelated to future thinking. When the importance of goal attainment was high, participants in the episodic future thinking condition planned to study for significantly longer than those in the other conditions. Episodic future thinking related to achieving important learning goals strengthens learning intentions more than simple awareness of the future self and learning goals.     

Logic and Majority Voting

Journal of Philosophical Logic - To investigate the relationship between logical reasoning and majority voting, we introduce logic with groups Lg in the style of Gentzen’s sequent calculus,...     

Motivational control of impulsive behavior interacts with choice opportunities

Impulsive behavior has been investigated through choice between a smaller/immediate reinforcer and a larger/delayed reinforcer, or through performance on a differential reinforcement of low rate (DRL) schedule. In the present study, we investigated a methodological divergence between these two procedures: in the former procedure, delay is a consequence of the subject's own choice, whereas in the later procedure, subjects are explicitly reinforced for delaying a response. In Experiment 1, 7 rats maintained at 80% of their free-feeding weights showed poorer efficiency of lever-pressing responses on a DRL 30-s schedule than when they were maintained at 90% of free-feeding weight. In Experiment 2, 16 rats were subjected to a concurrent chain schedule: the initial link was concurrent fixed ratio 1 fixed ratio 1, and each of these alternatives was followed by a short-DRL requirement with a one pellet reinforcer or a long-DRL requirement with a three pellet reinforcer. In one block of trials, rats were not allowed to choose between the two terminal links (forced-choice), whereas in the other block of trials rats were allowed to choose freely between the two terminal links (free-choice). Compared with rats maintained at 95% of their free-feeding weights, rats maintained at 80% of their free-feeding weights showed poorer efficiency in the terminal links’ DRL schedule performance (just as in Experiment 1), but this difference was shown only in the forced-choice blocks. These results indicate that motivational control of DRL schedule performance interacts with type of choice-making opportunity and highlight the direct comparison of motivational control of impulsive choice and DRL schedule performance.     

The personality profile of IPS employment specialists,and how it relates to job satisfaction: A longitudinal cohort study

The role of the Individual Placement and Support (IPS) employment specialist is a new type of occupation within mental healthcare. High turnover among employment specialists necessitates improvement in their recruitment and retention. One element that impacts retention is job satisfaction. We assessed the personality of 38 employment specialists (Big 5 Inventory-2) and measured job satisfaction over three time periods. Compared to norm data, employment specialists were significantly higher on Extraversion (ΔT = 8.0, CI: 5.59–10.42), Agreeableness (ΔT = 7.8, CI: 5.56–10.12), Conscientiousness (ΔT = 3.3, CI: 0.8–5.84), Open-mindedness (ΔT = 3.5, CI: 0.97–6.07), while lower on Negative emotionality (ΔT = −3.5, CI: −6.5 to −0.42). Extraversion had a substantial longitudinal positive effect on job satisfaction (β at T1 = 0.39; CI: 0.10–0.73) (β at T2 = 0.40; CI: 0.03–0.80), while Negative emotionality – a substantial negative effect (β at T1 = −0.60; CI: −0.90 to −0.30) (β at T2 = −0.50; CI: −0.90 to −0.12). Male gender was significantly associated with higher job satisfaction at the time point 1 (β = −0.46; CI: −0.80 to −0.14). Age, length of employment in the role, Agreeableness, Conscientiousness and Open-mindedness were not found to have substantial significant effects on job satisfaction of employment specialists. Recruiting employment specialists who score high on Extraversion and low on Negative emotionality may be a good fit for the role and job satisfaction.     

Haptic roughness perception of linear gratings via bare finger or rigid probe

The magnitude of perceived roughness was haptically estimated as subjects freely explored linear gratings with either the bare finger or a rigid stylus-shaped probe. A considerably expanded range of ridge and groove width was investigated, relative to the extant literature. The four experiments collectively indicate that, for both finger and probe-end effectors, the variance in the estimates of perceived roughness was predominantly predicted by a single parameter: groove width. The functions relating perceived roughness to groove width increased over a narrow band relative to the full range of values, then flattened. These data have archival values for models of roughness perception involving both direct and indirect touch.     

Recapturing Dynamic Logic of Relation Changers via Bounded Morphisms

Studia Logica - The present contribution shows that a Hilbert-style axiomatization for dynamic logic of relation changers is complete for the standard Kripke semantics not by a well-known rewriting...