The strong normalization theorem is uniformly proved for typed λ-calculi for a wide range of substructural logics with or without strong negation.

Inequality and injustice in education have been viewed from the perspective of social justice. Since the emergence of John Rawls’s A Theory of Justice, social justice issues have attracted the attention of social and political philosophers. Theoretical consequences of social and political philosophy have been actively incorporated into the field of education. However, the issue of educational justice remains controversial and requires further philosophical consideration. To further philosophical consideration, this paper explores how the class or the classroom can generate space (...) and time for democracy, by focusing on the educational specificity of the classroom community, which is called ‘Gakkyu’ in Japanese. Social justice in education is not only a policy issue, but also a practical issue which should be tackled in the classroom. Rethinking the ways of democracy to face conflicts arising due to differences and equality of children in the classroom is an important method of bridging social justice and education. In this paper, the following question will be explored: how classroom democracy can be nurtured and the classroom community transformed into a democratic place where children from various background and experiences gather and learn from each other. (shrink)

Varieties of natural deduction systems are introduced for Wansing’s paraconsistent non-commutative substructural logic, called a constructive sequential propositional logic (COSPL), and its fragments. Normalization, strong normalization and Church-Rosser theorems are proved for these systems. These results include some new results on full Lambek logic (FL) and its fragments, because FL is a fragment of COSPL.

Motor learning is the process of updating motor commands in response to a trajectory error induced by a perturbation to the body or vision. The brain has a great capability to accelerate learning by increasing the sensitivity of the memory update to the perceived trajectory errors. Conventional theory suggests that the statistics of perturbations or the statistics of the experienced errors induced by the external perturbations determine the learning speeds. However, the potential effect of another type of error perception, a (...) self-generated error as a result of motor command updates, on the learning speeds has not been examined yet. In this study, we dissociated the two kinds of errors by controlling the perception of the aftereffect using a channel-force environment. One group experienced errors due to the aftereffect of the learning process, while the other did not. We found that the participants who perceived the aftereffect of the memory updates exhibited a significant decrease in error-sensitivity, whereas the participants who did not perceive the aftereffect did not show an increase or decrease in error-sensitivity. This suggests that the perception of the aftereffect of learning attenuated updating the motor commands from the perceived errors. Thus, both self-generated and externally induced errors may modulate learning speeds. (shrink)

Exploiting the skills of others enables individuals to reduce the risks and costs of resource innovation. Social corvids are known to possess sophisticated social and physical cognitive abilities. However, their capacity for imitative learning and its inter-individual transmission pattern remains mostly unexamined. Here we demonstrate the large-billed crows' ability to learn problem-solving techniques by observation and the dominance-dependent pattern in which this technique is transmitted. Crows were allowed to observe one of two box-opening behaviours performed by a dominant or subordinate (...) demonstrator and then tested regarding action and technique. The observers successfully opened the box on their first attempts by using non-matching actions but matching techniques to those observed, suggesting emulation. In the subsequent test sessions, dominant observers (i.e. those dominant to the bird acting as demonstrator) consistently used the learned technique, whereas subordinates (i.e. those subordinate to the bird acting as demonstrator) learned alternative techniques by explorative trial and error. Our findings demonstrate crows' capacity to learn by observing behaviours and the effect of dominance on transmission patterns of behavioural skills. Keywords: social learning; imitation; emulation; affordance; culture; innovation. (shrink)

Exploiting the skills of others enables individuals to reduce the risks and costs of resource innovation. Social corvids are known to possess sophisticated social and physical cognitive abilities. However, their capacity for imitative learning and its inter-individual transmission pattern remains mostly unexamined. Here we demonstrate the large-billed crows' ability to learn problem-solving techniques by observation and the dominance-dependent pattern in which this technique is transmitted. Crows were allowed to observe one of two box-opening behaviours performed by a dominant or subordinate (...) demonstrator and then tested regarding action and technique. The observers successfully opened the box on their first attempts by using non-matching actions but matching techniques to those observed, suggesting emulation. In the subsequent test sessions, dominant observers consistently used the learned technique, whereas subordinates learned alternative techniques by explorative trial and error. Our findings demonstrate crows' capacity to learn by observing behaviours and the effect of dominance on transmission patterns of behavioural skills. Keywords: social learning; imitation; emulation; affordance; culture; innovation. (shrink)