The aim of this paper is to propose an antithesis to the overreliance on scientific facts and objectivity to counter mis- and disinformation in media literacy education. Through conceptual examination of meaning, care, and facts, I demonstrate the ontological priority of meaning and values in the life-world. I then discuss conspiracy theories as a textual genre in which the crisis of meaning manifests as a prominent factor. Given the centrality of meaning, I claim that literacy education needs to go beyond (...) the matters of fact and address matters of concern in this supposedly post-truth world. (shrink)

De Rijke introduced a unary interpretability logic $$\textbf{il}$$, and proved that $$\textbf{il}$$ is the unary counterpart of the binary interpretability logic $$\textbf{IL}$$. In this paper, we find the unary counterparts of the sublogics of $$\textbf{IL}$$.

Kei Yoshida’s recent book Philosophy of the Social Sciences: An Introduction is the first introductory textbook on the philosophy of the social sciences written in Japanese. It concisely expounds on a wide range of topics in the discipline, while its explication of those topics is not impartial or neutral as the author himself says. This paper gives a critical review of the book. The first half of it briefly overviews and assesses the book as a whole. The latter half of (...) the paper reconstructs the gist of the author’s exposition of the naturalism/interpretivism debate and criticizes it. (shrink)

We study modal completeness and incompleteness of several sublogics of the interpretability logic. We introduce the sublogic, and prove that is sound and complete with respect to Veltman prestructures which are introduced by Visser. Moreover, we prove the modal completeness of twelve logics between and with respect to Veltman prestructures. On the other hand, we prove that eight natural sublogics of are modally incomplete. Finally, we prove that these incomplete logics are complete with respect to generalized Veltman prestructures. As a (...) consequence of these investigations, we obtain that the twenty logics studied in this paper are all decidable. (shrink)

本巻は、「他者」とされた異教・女性・被差別民の問題と、「境界」に位置した北海道・沖縄という異文化に焦点をあて、宗教との関価を論じる。.

The underlying mechanisms of the effectiveness of mindfulness-based interventions for emotional well-being remain poorly understood. Here, we examined the potential mediating effects of cognitive reactivity and self-compassion on symptoms of depression, anxiety and stress using data from an earlier randomised controlled school trial. A moderated time-lagged mediation model based on multilevel modelling was used to analyse the data. The findings showed that post-treatment changes in cognitive reactivity and self-coldness, an aspect of self-compassion, mediated subsequent changes in symptoms of depression, anxiety (...) and stress. These results suggest that cognitive reactivity and self-coldness may be considered as transdiagnostic mechanisms of change of a mindfulness-based intervention programme for youth. (shrink)

Those formulas which are valid in every Kripke model having constant domain whose base is the ordered set R of real numbers (or, the ordered set Q of rational numbers) are characterized syntactically.

Research ethics consultation services (RECS), which function as an advisory service to facilitate the resolution of complex ethical issues in clinical research, have been proliferating over the last decade. However, the qualification of an individual who provides RECS, or “a research ethics consultant,” has not been thoroughly investigated, in contrast to healthcare ethics consultants, whose core competencies have been discussed and clarified to a great extent. In this study, we investigated core competencies necessary for research ethics consultants, referring to the (...) core competency models of ethics consultants developed in the healthcare practice context, and propose a competency model for research ethics consultants. (shrink)

A structure A for the language L, which is the first-order language (without equality) whose only nonlogical symbol is the binary predicate symbol , is called a quasi -struoture iff (a) the universe A of A consists of sets and (b) a b is true in A ([p) a = {p } & p b] for every a and b in A, where a(b) is the name of a (b). A quasi -structure A is called an -structure iff (c) {p (...) } A whenever p a A. Then a closed formula in L is derivable from Leniewski's axiom x, y[x y u (u x) u; v(u, v x u v) u(u x u y)] (from the axiom x, y(x y x x) x, y, z(x y z y x z)) iff is true in every -structure (in every quasi -structure). (shrink)

The modal logic S4.2 is S4 with the additional axiom ◊□A ⊃ □◊A. In this article, the sequent calculus GS4.2 for this logic is presented, and by imposing an appropriate restriction on the application of the cut-rule, it is shown that, every GS4.2-provable sequent S has a GS4.2-proof such that every formula occurring in it is either a subformula of some formula in S, or the formula □¬□B or ¬□B, where □B occurs in the scope of some occurrence of □ (...) in some formula of S. These are just the K5-subformulas of some formula in S which were introduced by us to show the modied subformula property for the modal logics K5 and K5D : 115–122, 2001). Some corollaries including the interpolation property for S4.2 follow from this. By slightly modifying the proof, the finite model property also follows. (shrink)

Let EOA be the elementary ontology augmented by an additional axiom S (S S), and let LS be the monadic second-order predicate logic. We show that the mapping which was introduced by V. A. Smirnov is an embedding of EOA into LS. We also give an embedding of LS into EOA.

Sequent calculi for trilattice logics, including those that are determined by the truth entailment, the falsity entailment and their intersection, are given. This partly answers the problems in Shramko-Wansing.

Strong completeness of S. Titani's system for lattice valued logic is shown by means of Dedekind cuts.

No agreed-upon account of mirror reversal is currently available although it has been discussed for more than two thousand years since Plato. Mirror reversal usually refers to recognized left-right reversal of a mirror image. Depending on the nature and layout of a reflected object, however, top-bottom reversal may be recognized instead of left-right reversal; no reversal at all may be recognized; and the presence or absence of reversal may not be decidable. Takano (1998) proposed a psycho-optic theory to explain (...) all these cases of mirror image recognition in a consistent manner. The proposed theory assumes different causes of mirror reversal depending on whether an object's left-right axis is parallel or perpendicular to a mirror's surface. This theory was later criticized in that it provided no explanation when the left-right axis is neither parallel nor perpendicular but at an intermediate angle between zero and 90 degrees with a mirror. This article completes the theory by presenting psycho-optic anal.. (shrink)

A sequential axiomatization is given for the 16-valued logic that has been proposed by Shramko-Wansing as a candidate for the basic logic of logical bilattices.

The present study used the experience sampling method to detect fluctuations in thinking, such as self-focus or concreteness in daily life, and to examine their relationship with depressive symptoms and concurrent negative affect. Thirty-one undergraduates recorded their negative affect, ruminative self-focus, and concreteness of thinking eight times a day for 1 week. Multilevel modeling showed that individuals with increasing levels of depression showed lower levels of concreteness in their daily thinking. Further analysis revealed a significant positive association between momentary ruminative (...) self-focus and concurrent negative affect only with low concreteness of thinking. These results suggested that individuals with increasing levels of depression chronically process self-related information on an abstract level, which reflects a malfunction of their self-regulatory cycle and might serve to maintain or even exacerbate dysphoric moods. (shrink)

A modified subformula property for the modal logic KD with the additionalaxiom □ ◊ ⊃ □ ◊ A ∨ □ ◊B is shown. A new modification of the notion of subformula is proposed for this purpose. This modification forms a natural extension of our former one on which modified subformula property for the modal logics K5, K5D and S4.2 has been shown. The finite model property as well as decidability for the logic follows from this.

For each ordinal $\alpha > 0, L(\alpha)$ is the intermediate predicate logic characterized by the class of all Kripke frames with the poset α and with constant domain. This paper will be devoted to a study of logics of the form L(α). It will be shown that for each uncountable ordinal of the form α + η with a finite or a countable $\eta (> 0)$ , there exists a countable ordinal of the form β + η such that L(α (...) + η) = L(β + η). On the other hand, such a reduction of ordinals to countable ones is impossible for a logic L(α) if α is an uncountable regular ordinal. Moreover, it will be proved that the mapping L is injective if it is restricted to ordinals less than ω ω , i.e. α ≠ β implies L(α) ≠ L(β) for each ordinal $\alpha,\beta. (shrink)