Sequent Calculi for Some Strict Implication Logics

We introduce various sequent systems for propositional logicshaving strict implication, and prove the completeness theoremsand the finite model properties of these systems.The cut-eliminationtheorems or the (modified) subformula properties are provedsemantically.     

Haptic face identification activates ventral occipital and temporal areas: an fMRI study

Many studies in visual face recognition have supported a special role for the right fusiform gyrus. Despite the fact that faces can also be recognized haptically, little is known about the neural correlates of haptic face recognition. In the current fMRI study, neurologically intact participants were intensively trained to identify specific facemasks (molded from live faces) and specific control objects. When these stimuli were presented in the scanner, facemasks activated left fusiform and right hippocampal/parahippocampal areas (and other regions) more than control objects, whereas the latter produced no activity greater than the facemasks. We conclude that these ventral occipital and temporal areas may play an important role in the haptic identification of faces at the subordinate level. We further speculate that left fusiform gyrus may be recruited more for facemasks than for control objects because of the increased need for sequential processing by the haptic system.     

Geographical profiling incorporating neighbourhood-level factors using spatial interaction modelling

The aim of this study was to examine the applicability of methods that use spatial interaction modelling to predict the most probable area for an offender's residence. Tokyo, which is the capital of Japan and is divided into 1507 square-kilometre zones, was selected as the study area. We analysed 4316 criminal trips to commit residential burglaries by 1089 offenders who lived in Tokyo. The following neighbourhood-level factors, and a distance-decay effect between zones, were incorporated into the proposed model: the size of the residential population aged 15–59 years in origin zones, the numbers of households living in detached houses, newcomers, the number of police facilities in destination zones, and the spatial structures of the criminal trips. Search areas calculated by the proposed model were smaller than previous models, suggesting that neighbourhood-level factors are important for predicting the location of an offender's residence.     

A Generalized Syllogistic Inference System based on Inclusion and Exclusion Relations

We introduce a simple inference system based on two primitive relations between terms, namely, inclusion and exclusion relations. We present a normalization theorem, and then provide a characterization of the structure of normal proofs. Based on this, inferences in a syllogistic fragment of natural language are reconstructed within our system. We also show that our system can be embedded into a fragment of propositional minimal logic.     

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,...