General frames are often used in classical modal logic. Since they are duals of modal algebras, completeness follows automatically as with algebras but the intuitiveness of Kripke frames is also retained. This paper develops basics of general frames for relevant modal logics by showing that they share many important properties with general frames for classical modal logic.

A logic is called metacomplete if formulas that are true in a certain preferred interpretation of that logic are theorems in its metalogic. In the area of relevant logics, metacompleteness is used to prove primeness, consistency, the admissibility of γ and so on. This paper discusses metacompleteness and its applications to a wider class of modal logics based on contractionless relevant logics and their neighbours using Slaney’s metavaluational technique.

Kripke-completeness of every classical modal logic with Sahlqvist formulas is one of the basic general results on completeness of classical modal logics. This paper shows a Sahlqvist theorem for modal logic over the relevant logic Bin terms of Routley- Meyer semantics. It is shown that usual Sahlqvist theorem for classical modal logics can be obtained as a special case of our theorem.

dai 1-kan-dai 2-satsu. Zuihitsu bu -- dai 3-satsu. Shiden, shokan bu -- dai 4-satsu. Ronben bu -- dai 5-6-satsu. Kaisetsu bu.

dai 1-satsu. Zuihitsu bu, dai I -- dai 2-satsu. Zuihitsu bu, dai II, oyobi Shibun bu -- dai 3-satsu. Kaisetsu bu, oyobi Zatsu bu -- dai 4-satsu. Kaisetsu bu, dai II, Zuihitsu bu, dai III.

The?-admissibility is one of the most important problems in the realm of relevant logics. To prove the 7-admissibility, either the method of normal models or the method using metavaluations may be employed. The?-admissibility of a wide class of relevant modal logics has been discussed in Part I based on a former method, but the?-admissibility based on metavaluations has not hitherto been fully considered. Sahlqvist axioms are well known as a means of expressing generalized forms of formulas with modal operators. This (...) paper shows that? is admissible for relevant modal logics with restricted Sahlqvist axioms in terms of the method using metavaluations. (shrink)

Halldén completeness closely resembles the relevance property. To prove Halldén completeness in terms of Kripke-style semantics, the van Benthem–Humberstone theorem is often used. In relevant modal logics, the Halldén completeness of Meyer–Fuhrmann logics has been obtained using the van Benthem–Humberstone theorem. However, there remain a number of Halldén-incomplete relevant modal logics. This paper discusses the Halldén completeness of a wider class of relevant modal logics, namely, those with some Sahlqvist axioms.

The admissibility of Ackermann’s rule γ is one of the most important problems in relevant logic. While the γ-admissibility of normal modal logics based on the relevant logic R has been previously discussed, the case for weaker relevant modal logics has not yet been considered. The method of normal models has often been used to prove the γ-admissibility. This paper discusses which relevant modal logics admit γ from the viewpoint of the method of normal models.

The admissibility of Ackermann's rule γ is one of the most important problems in relevant logics. The admissibility of γ was first proved by an algebraic method. However, the development of Routley-Meyer semantics and metavaluational techniques makes it possible to prove the admissibility of γ using the method of normal models or the method using metavaluations, and the use of such methods is preferred. This paper discusses an algebraic proof of the admissibility of γ in relevant modal logics based on (...) modern algebraic models. (shrink)

Résumé : Cet article examine un dialogue important mais peu étudié entre Sartre et le philosophe du langage Brice Parain. Les deux écrivains constatent un mal du langage, issu de la Grande Guerre de 1914-18 et de ses traumatismes que les mots proférés par les survivants sont incapables de prendre en charge. Dans ce monde « inhumain », où trouver un remède? Pour Parain et Sartre le retour à n’importe quel humanisme implique une réflexion sur le langage. A travers sa (...) lecture de Parain et ce qu’il propose, Sartre repense les bases de sa propre conception du langage d’une manière qui lui permet de développer son propre humanisme et les principes de la littérature engagée. Mais la dimension religieuse de l’argumentation de Parain, écartée par Sartre, laisse-t-elle des traces sur la conception sartrienne de l’auteur?: In this paper we examine the dialogue between Sartre and one of his contemporaries, the philosopher of language, Brice Parain. First, after clarifying what is common and different in their backgrounds, we will see that Sartre and Parain share a common belief that language itself has taken ill, as a result of the First World War, an illness for which both feel a need to find a remedy. Secondly, we will show how Sartre’s reading of Parain allowed him to construct a theory of language that is consistent with his own humanism and the principles of committed literature. Finally, we will examine the influence of the religious dimension of Parain’s argument on Sartre’s theory of authorship. (shrink)

Metacompleteness is used to prove properties such as the disjunction property and the existence property in the area of relevant logics. On the other hand, the disjunction property of several basic propositional substructural logics over FL has been proved using the cut elimination theorem of sequent calculi and algebraic characterization. The present paper shows that Meyer’s metavaluational technique and Slaney’s metavaluational technique can be applied to basic predicate intuitionistic substructural logics and basic predicate involutive substructural logics, respectively. As a corollary (...) of metacompleteness, the disjunction property, the existence property, and the admissibility of certain rules in such logics can be proved. (shrink)

This article examines whether democracy affects quality of life. Scholars have conducted surveys to investigate whether democracy is likely to lead to good quality of life. There are two contested views to the relationship: some suggest that democracy has a positive causal effect on quality of life, whereas others contend that democracy does not play such a role. Previous findings are supported by cross-national statistical analysis with aggregated survey data. However, aggregated survey data may cause ecological fallacy. Also, in order (...) to ascertain the extant research, it would be beneficial to test the hypothesis by incorporating both individual- and country-level variables. Therefore, this paper applied hierarchical modeling to investigate the regularity. Both individual-level perception of democracy and country-level political regime data were incorporated in our empirical model. Our findings suggest that individual-level satisfaction with democracy has positive causal effect on one's quality of life, whereas the country-level characteristic of the political regime has no effect. (shrink)

『日本唯物論史』などで知られるわが国の唯物論哲学の開拓者・永田廣志の生涯をまとめ、その理論活動の意義を解明。哲学研究者と在野の郷土史家との共同研究が生み出した成果。本邦初公開の貴重な資料や秘蔵写真も多 数紹介。.

Natsume S seki's novel Kokoro (1914) offers an indictment of the loneliness and isolation of a modernized Japan, a Japan in which people ‘feel cut off from every other living thing’. In this essay, I argue that Plato and S seki offer analogous critiques of an eradicated honor culture; an eradication that is rooted in the political exchange of honorific autonomy for honorific heteronomy. Moreover, I suggest that the deprecation and subsequent demise of the Japanese samurai and Greek (...) warrior—individuals for whom self-worth, dignity, and status are rooted in reputation and social regard—exemplify the dramatic cultural shift toward heteronomy. My reading aims to shed light on the rich philosophical connections between seemingly disparate cultures and texts through an exposition and exegesis of the master-protagonists Socrates and Sensei. (shrink)

Here, I combine the semantics of Mares and Goldblatt [20] and Seki [29, 30] to develop a semantics for quantified modal relevant logics extending ${\bf B}$. The combination requires demonstrating that the Mares–Goldblatt approach is apt for quantified extensions of ${\bf B}$ and other relevant logics, but no significant bridging principles are needed. The result is a single semantic approach for quantified modal relevant logics. Within this framework, I discuss the requirements a quantified modal relevant logic must satisfy to (...) be “sufficiently classical” in its modal fragment, where frame conditions are given that work for positive fragments of logics. The roles of the Barcan formula and its converse are also investigated. (shrink)

The Reverend Hozen Seki, President of the American Buddhist Academy, says in his two-page preface that this book is the result of the transcription of five lectures given by Suzuki in the New York Buddhist Church in 1958. It is a detailing of Suzuki's own personal view of what Shin Buddhism is. This is the system that stems from the Japanese saint Shinran of the thirteenth century who was a follower of Honen, the founder of the Pure Land doctrine (...) in Japan. The aim of the book is not to trace down the background of the Pure Land teaching in India, nor is it to present Shinran's teaching as is. Rather, it is an expression of Suzuki's own insights into the Pure Land teaching.--P. J. H. (shrink)

Here I show that the one-variable fragment of several first-order relevant logics corresponds to certain S5ish extensions of the underlying propositional relevant logic. In particular, given a fairly standard translation between modal and one-variable languages and a permuting propositional relevant logic L, a formula $$\mathcal {A}$$ A of the one-variable fragment is a theorem of LQ (QL) iff its translation is a theorem of L5 (L.5). The proof is model-theoretic. In one direction, semantics based on the Mares-Goldblatt [15] semantics for (...) quantified L are transformed into ternary (plus two binary) relational semantics for S5-like extensions of L (for a general presentation, see Seki [26, 27]). In the other direction, a valuation is given for the full first-order relevant logic based on L into a model for a suitable S5 extension of L. I also discuss this work’s relation to finding a complete axiomatization of the constant domain, non-general frame ternary relational semantics for which RQ is incomplete [11]. (shrink)

RESUMO O uso de linguagem codificada e esópica nos trabalhos dos semioticistas que integraram a Escola Semiótica de Tártu-Mosou foi motivado pelo desejo de serem compreendidos pelo círculo e não compreendidos por possíveis intrusos indesejáveis dos órgãos de controle soviéticos. Um dos termos centrais utilizados pela Escola - os “sistemas modelizantes secundários” - foi sugerido por Vladímir Uspiénski com o objetivo de substituir a palavra "semiótica", associada à semiótica ocidental. Ao cotejar o artigo de Iúri Lotman Sobre o problema da (...) tipologia da cultura, de 1967, com a tradução para o português do Brasil de Lucy Seki, que integrou a coletânea Semiótica Russa, organizada por Boris Schnaiderman, objetivo verificar se as peculiaridades do texto original, que surgiram devido às condições histórico-políticos da sua criação, foram preservadas na tradução. ABSTRACT The use of codified and Aesopian language in the works of the semioticians who were members of the Tartu-Moscow Semiotic School was motivated by the desire to be understood by the School members and notunderstood by possible unwanted intruders from Soviet control organizations. One of the key terms they used was secondary modeling systems, which Vladimir Uspensky suggested to replace the word semiotics, associated with Western semiotics. By comparing Yuri Lotman’s essay Problems in the Typology of Culture to Lucy Seki’s translation of the essay into Brazilian Portuguese, which is part of the book Semiótica Russa [Russian Semiotics], edited by Boris Schnaiderman, I intend to verify if particularities of the original text, which resulted from the historical and political context in which the essay was produced, were maintained in the translation. (shrink)