9th and 10th Nov. 2013 at Kyoto University. Organizers: Takeshi Sato and Shunsuke Sugimoto.

In the natural deduction system for classical propositional logic given by G. Gentzen, there are some inference rules with assumptions discharged by the rule. D. Prawitz calls such inference rules improper, and others proper. Improper inference rules are more complicated and are often harder to understand than the proper ones. In the present paper, we distinguish between proper and improper derivations by using sequent systems. Specifically, we introduce a sequent system \(\vdash_{\bf Sc}\) for classical propositional logic with only structural rules, (...) and prove that \(\vdash_{\bf Sc}\) does not allow improper derivations in general. For instance, the sequent \(\Rightarrow p \to q\) cannot be derived from the sequent \(p \Rightarrow q\) in \(\vdash_{\bf Sc}\). In order to prove the failure of improper derivations, we modify the usual notion of truth valuation, and using the modified valuation, we prove the completeness of \(\vdash_{\bf Sc}\). We also consider whether an improper derivation can be described generally by using \(\vdash_{\bf Sc}\). (shrink)

Examining the interconnections between genes and culture is crucial for a more complete understanding of psychological processes. Genetic predispositions may predict different outcomes depending on one's cultural context, and culture may predict different outcomes depending on genetic predispositions - that is, genes and culture interact. Less is understood, however, about how genes and culture interact, or the psychological mechanisms through which gene–culture interactions occur. In this Element, Joni Y. Sasaki and Heewon Kwon review key findings and theories in gene–culture (...) interaction research. They then go on to discuss current issues and future directions in gene–culture research that may illuminate the path toward an explanatory framework. (shrink)

Volume 20, Issue 8, August 2020, Page 32-36.

This paper describes the situation of philosophy in Japan with respect to the question of internationalism. For more than a hundred years, Japan took Western culture as its model and European philosophy as the authentic philosophy. This tendency was paradoxically strengthened by the post‐war humanism. It gave us Japanese philosophers a clear discipline to work in but cut us off from our own native culture, history, and philosophical traditions. In wishing to recover this loss, I argue that it is necessary (...) to distinguish between two forms of internationalism: humanistic and merely fashionable. The latter in fact derives from domestic reasons. (shrink)

Hobbs (2010) introduced ‘clause-internal coherence’ (CIC) to describe inferences in, e.g., ‘A jogger was hit by a car,’ where the jogging is understood to have led to the car-hitting. Cohen & Kehler (2021) argue that well-known pragmatic tools cannot account for CIC, motivating an enrichment account familiar from discourse coherence research. An outstanding question is how to compositionally derive CIC from coherence relations. This paper takes strides in answering this question. It first provides experimental support for the existence of CIC (...) via offline evidence that attributive (non-)deverbal adjectives can trigger the same causal inferences within clauses that their predicative counterparts can trigger across clauses, albeit more weakly. To explain the experimental results, we use tools in Segmented Discourse Representation Theory (SDRT), which allows us to show that causal inferences can be derived in various ways, depending on whether deverbal adjectives are used attributively or predicatively. If the former, they are presupposition triggers and the coherence relations Elaboration/Continuation compete with Background; if the latter, Explanation/Result compete with Background. These different competitions -- cashed out in terms of interaction between default axioms -- correlate with the difference in the relative salience of the causal inferences. (shrink)

The simple substitution property provides a systematic and easy method for proving a theorem from the additional axioms of intermediate prepositional logics. There have been known only four intermediate logics that have the additional axioms with the property. In this paper, we reformulate the many valued logics S' n defined in Gödel [3] and prove the simple substitution property for them. In our former paper [9], we proved that the sets of axioms composed of one prepositional variable do not have (...) the property except two of them. Here we provide another proof for this theorem. (shrink)

The idea of interpretability logics arose in Visser [Vis90]. He introduced the logics as extensions of the provability logic GLwith a binary modality. The arithmetic realization of A B in a theory T will be that T plus the realization of B is interpretable in T plus the realization of A. More precisely, there exists a function f on the formulas of the language of T such that T + B C implies T + A f.The interpretability logics were considered (...) in several papers. An arithmetic completeness of the interpretability logic ILM, obtained by adding Montagna ''s axiom to the smallest interpretability logic IL, was proved in Berarducci [Ber90] and Shavrukov [Sha88]. [Vis90] proved that the interpretability logic ILP, an extension of IL, is also complete for another arithmetic interpretation. The completeness with respect to Kripke semantics due to Veltman was, for IL, ILMand ILP, proved in de Jongh and Veltman [JV90]. The fixed point theorem of GLcan be extended to ILand hence ILMand ILP. The unary pendant "T interprets T + A" is much less expressive and was studied in de Rijke [Rij92]. For an overview of interpretability logic, see Visser [Vis97], and Japaridze and de Jongh [JJ98]. (shrink)

Ageing is basically a natural or physical phenomenon. For a human being, it belongs to the body. When this fact is noticed, a drama of oldness and life/death begins: ageing is a problem of experience. There are losses and gains in this experience. Indeed, a particular respect was paid to a rhapsodist/bard and a hermit because of their memory power and deep wisdom respectively. Since we recognize in these cases accumulation and maturation, the core subject in the experience of ageing (...) is memory and the time structure. Vis-à-vis the hard memories such as stone monuments and IC memory, the live memory is characterised by a creativity, which vivifies our past time. I pay a particular attention to friendship, because one of the most painful experiences of ageing consists in the loss of dear friends. Recollecting creatively the time shared with them, we can vivify our past, i.e. our being: that is the appropriation of ourselves. (shrink)

In the natural deduction system for classical propositional logic given by G. Gentzen, there are some inference rules with assumptions discharged by the rule. D. Prawitz calls such inference rules improper as opposed to proper ones. Improper inference rules are more complicated than proper ones and more difficult to understand. In 2022, we provided a sequent system based solely on the application of proper rules. In the present paper, on the basis of our system from 2022, we classify improper inference (...) rules. (shrink)

『不思議の国のアリス』の数学観から、古代ギリシャから現代への懐疑主義思想との格闘をたどって、数学的知識の成立根拠を探る。.

The objective of this study is to design a laboratory experiment to explore the effect of ambiguity on a subject’s search behavior in a finite-horizon sequential search model. In so doing, we employ a strategy to observe the potential trend of reservation points that is usually unobserved. We observe that subjects behaving consistently across treatments reduce their reservation points in the face of ambiguity over point distribution. Our result is consistent with the theoretical implication obtained by Nishimura and Ozaki.

Ageing is basically a natural or physical phenomenon. For a human being, it belongs to the body. When this fact is noticed, a drama of oldness and life/death begins: ageing is a problem of experience. There are losses and gains in this experience. Indeed, a particular respect was paid to a rhapsodist/bard and a hermit because of their memory power and deep wisdom respectively. Since we recognize in these cases accumulation and maturation, the core subject in the experience of ageing (...) is memory and the time structure. Vis-à-vis the hard memories such as stone monuments and IC memory, the live memory is characterised by a creativity, which vivifies our past time. I pay a particular attention to friendship, because one of the most painful experiences of ageing consists in the loss of dear friends. Recollecting creatively the time shared with them, we can vivify our past, i.e. our being: that is the appropriation of ourselves. (shrink)

Are mechanisms for social attention influenced by culture? Evidence that social attention is triggered automatically by bottom-up gaze cues and is uninfluenced by top-down verbal instructions may suggest it operates in the same way everywhere. Yet considerations from evolutionary and cultural psychology suggest that specific aspects of one's cultural background may have consequence for the way mechanisms for social attention develop and operate. In more interdependent cultures, the scope of social attention may be broader, focusing on more individuals and relations (...) between those individuals. We administered a multi-gaze cueing task requiring participants to fixate a foreground face flanked by background faces and measured shifts in attention using eye tracking. For European Americans, gaze cueing did not depend on the direction of background gaze cues, suggesting foreground gaze alone drives automatic attention shifting; for East Asians, cueing patterns differed depending on whether the foreground cue matched or mismatched background cues, suggesting foreground and background gaze information were integrated. These results demonstrate that cultural background influences the social attention system by shifting it into a narrow or broad mode of operation and, importantly, provides evidence challenging the assumption that mechanisms underlying automatic social attention are necessarily rigid and impenetrable to culture. (shrink)

The simple substitution property provides a systematic and easy method for proving a theorem by an axiomatic way. The notion of the property was introduced in Hosoi [4] but without a definite name and he showed three examples of the axioms with the property. Later, the property was given it's name as above in Sasaki [7].Our main result here is that the necessary and sufficient condition for a logicL on a finite slice to have the simple substitution property is (...) thatL is finite. Here the necessity part is essentially new, for the sufficiency part has been proved in Hosoi and Sasaki [5]. Also the proof of sufficiency part is improved here. (shrink)

Here, we provide a detailed description of the mutual relation of formulas with finite propositional variables p1, …, pm in modal logic S4. Our description contains more information on S4 than those given in Shehtman (1978) and Moss (2007); however, Shehtman (1978) also treated Grzegorczyk logic and Moss (2007) treated many other normal modal logics. Specifically, we construct normal forms, which behave like the principal conjunctive normal forms in the classical propositional logic. The results include finite and effective methods to (...) find a normal form equivalent to a given formula A by clarifying the behavior of connectives and giving a finite method to list all exact models. (shrink)

Gene regulation involves various cis-regulatory elements that can act at a distance. They may physically interact each other or with their target genes to exert their effects. Such interactions are beginning to be uncovered in the imprinted Igf2/H19 domain.1 The differentially methylated regions (DMRs), containing insulators, silencers and activators, were shown to have physical contacts between them. The interactions were changeable depending on their epigenetic state, presumably enabling Igf2 to move between an active and a silent chromatin domain. The study (...) gives us a novel view on how regulatory elements influence gene expression and how epigenetic modifications modulate their long-range effects. (shrink)