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)

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)

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)

0 From Sansui to Keshiki My subject here is the nature of landscape. The word “landscape” is to be understood in what follows in the aesthetic sense: I wish to clarify what we experience in landscape as a typical scene of natural beauty. For most people, the nature of this experience may be so transparent that its analysis is superfluous. I don’t, however, find the matter so straightforward. The fact that “a landscape” can also signify a landscape painting would seem (...) to indicate that landscap... (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)

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)

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 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)

In this paper, we discuss semantical properties of the logic \(\textbf{GL}\) of provability. The logic \(\textbf{GL}\) is a normal modal logic which is axiomatized by the the Löb formula \( \Box (\Box p\supset p)\supset \Box p \), but it is known that \(\textbf{GL}\) can also be axiomatized by an axiom \(\Box p\supset \Box \Box p\) and an \(\omega \) -rule \((\Diamond ^{*})\) which takes countably many premises \(\phi \supset \Diamond ^{n}\top \) \((n\in \omega )\) and returns a conclusion \(\phi \supset (...) \bot \). We show that the class of transitive Kripke frames which validates \((\Diamond ^{*})\) and the class of transitive Kripke frames which strongly validates \((\Diamond ^{*})\) are equal, and that the following three classes of transitive Kripke frames, the class which validates \((\Diamond ^{*})\), the class which weakly validates \((\Diamond ^{*})\), and the class which is defined by the Löb formula, are mutually different, while all of them characterize \(\textbf{GL}\). This gives an example of a proof system _P_ and a class _C_ of Kripke frames such that _P_ is sound and complete with respect to _C_ but the soundness cannot be proved by simple induction on the height of the derivations in _P_. We also show Kripke completeness of the proof system with \((\Diamond ^{*})\) in an algebraic manner. As a corollary, we show that the class of modal algebras which is defined by equations \(\Box x\le \Box \Box x\) and \(\bigwedge _{n\in \omega }\Diamond ^{n}1=0\) is not a variety. (shrink)

In this paper, we discuss semantical properties of the logic \(\textbf{GL}\) of provability. The logic \(\textbf{GL}\) is a normal modal logic which is axiomatized by the the Löb formula \( \Box (\Box p\supset p)\supset \Box p \), but it is known that \(\textbf{GL}\) can also be axiomatized by an axiom \(\Box p\supset \Box \Box p\) and an \(\omega \) -rule \((\Diamond ^{*})\) which takes countably many premises \(\phi \supset \Diamond ^{n}\top \) \((n\in \omega )\) and returns a conclusion \(\phi \supset (...) \bot \). We show that the class of transitive Kripke frames which validates \((\Diamond ^{*})\) and the class of transitive Kripke frames which strongly validates \((\Diamond ^{*})\) are equal, and that the following three classes of transitive Kripke frames, the class which validates \((\Diamond ^{*})\), the class which weakly validates \((\Diamond ^{*})\), and the class which is defined by the Löb formula, are mutually different, while all of them characterize \(\textbf{GL}\). This gives an example of a proof system _P_ and a class _C_ of Kripke frames such that _P_ is sound and complete with respect to _C_ but the soundness cannot be proved by simple induction on the height of the derivations in _P_. We also show Kripke completeness of the proof system with \((\Diamond ^{*})\) in an algebraic manner. As a corollary, we show that the class of modal algebras which is defined by equations \(\Box x\le \Box \Box x\) and \(\bigwedge _{n\in \omega }\Diamond ^{n}1=0\) is not a variety. (shrink)

The volume D'al-Khwārizmī à Descartes is a monumental contribution to the world history of mathematical sciences, showing clearly that Arabic mathematics was an indispensable predecessor of early modern European mathematics. Roshdi Rashed is known, first of all, as an editor of classical mathematical writings in Arabic by such authors as al-Khwārizmī, Thābit ibn Qurra, Ibrāhīm ibn Sinān, Ibn al-Haytham, al-Khayyām, Sharaf al-Dīn al-Ṭūsī, as well as of the Arabic versions of Apollonius' Conics , Diophantus' Arithmetica , and Diocles' Burning Mirrors (...) . As the volume under review shows, he is also a historian of mathematics of the first class who has transformed historiography. This book is, in a sense, a manifesto of Prof. Rashed's entire œuvre. (shrink)

「西欧」と「近代」を相対化し、今、エスニックの次元から『日本哲学』を創始すること=「われわれの問題に発して思索する」スタイルを提唱。.

「西欧」と「近代」を相対化し、今、エスニックの次元から『日本哲学』を創始すること=「われわれの問題に発して思索する」スタイルを提唱。.

Članek je razdeljen na dva dela. V prvem delu je obravnavan aktivni značaj gledanja. Ta je tako aktiven, da angažira naše celotno bitje v izkustvenem polju. V drugem delu je nasprotno poudarjena aktivna moč sveta: neprosojni pojav, ki poseduje to močno privlačnost, se imenuje v japonščini »oko« – ravno tako kot organ vida. Po teh analizah je obravnavana specifičnost vida med petimi čutili.