The present study aimed to examine how to improve the effectiveness of moral exemplar-applied interventions based on the pillars of the Self-Determination Theory (SDT) framework, autonomy, competence, and relatedness. Past research has mainly focused on the relatedness and attainability of moral exemplars for predicting motivation outcomes. The data for this study consisted of synthesized data sets from previous studies examining the motivational impacts of distinct moral exemplars and intervention methods. The main syntheses for these data sets used Multilevel Modeling (MLM) (...) focusing on relatability, attainability, and intervention methods, corresponding to relatedness, competence, and autonomy in the SDT, respectively, as predictors. In general, there was a significant interaction effect between the attainability or relatability, and the intervention method. Autonomous instruction methods, which support autonomy, were demonstrated to boost motivational outcomes. Implications from this study support the employment of SDT to examine the use of moral exemplars in moral education and were consistent with previous exemplar studies. (shrink)

Moral circles help define the boundaries of one’s moral consideration. One’s moral circle may provide insight into how one perceives or treats other entities. A data-driven model exploration was conducted to explore predictors and prediction models. Candidate predictors were built upon past research using moral foundations and political orientation. Moreover, we also employed additional moral psychological indicators, i.e., moral reasoning, moral identity, and empathy, based on prior research in moral development and education. We used model exploration methods, i.e., Bayesian model (...) exploration, Bayesian model averaging, and elastic-net regression. The study successfully replicated past research supporting the relationship between moral foundations, political orientation, and the moral circle. Additional moral psychological constructs, such as post-conventional moral reasoning and moral identity, significantly predicted the moral circle width. The identified components of the moral circle were conceptually related to phronesis, i.e., practical wisdom. We discussed the educational implications of the findings, particularly those related to moral education focusing on phronesis cultivation, multiculturalism and global citizenship, and climate justice. (shrink)

We prove that all extensions of Heyting Arithmetic with a logic that has the finite frame property possess the de Jongh property.

This article deals with women-centred prose texts of the 1990s and 2000s in Russia written by women, and focuses especially on generation narratives. By this term the author means fictional texts that explore generational relations within families, from the perspective of repressed experiences, feelings and attitudes in the Soviet period. The selected texts are interpreted as narrating and conceptualizing the consequences of patriarchal ideology for relations between mothers and daughters and for reconstructing connections between Soviet and post-Soviet by revisiting and (...) remembering especially the gaps and discontinuities between (female) generations. The cases discussed are Liudmila Petrushevskaia’s ‘povest’ Vremia noch [The Time: Night] (1991), Liudmila Ulitskaia’s novel Medeia i ee deti [Medea and her Children] (1996) and Elena Chizhova’s novel Vremia zhenshchin [The Time of Women] (2009). These novels reflect on the one hand the woman-centredness and novelty of representation in women’s prose writing in the post-Soviet period. On the other hand, the author suggests that they reflect the diverse methods of representing the Soviet era and experience through generation narratives. The texts reassess the past through intimate, tactile memories and perceptions, and their narration through generational plots draws attention to the process of working through, which needs to be done in contemporary Russia. The narratives touch upon the untold stories of those who suffered in silence or hid the family secrets from the officials, in order to save the family. The narration delves into the different layers of experience and memory, conceptualizing them in the form of multiple narrative perspectives constructing different generations and traditions. In this way they convey the ‘secrets’ hidden in the midst of everyday life routines and give voice to the often silent resistance of women towards patriarchal and repressive ideology. The new women’s prose of the 1980s–90s and the subsequent trend of women-centred narratives and generation narratives employ conceptual metaphors of reassessing, revisiting and remembering the cultural, experiential, and emotional aspects of the past, Soviet lives. (shrink)

There has been a particular emphasis on knowledge and competence as increasingly important resources for successful enterprises. This notion of knowledge is based on “positive knowledge” that knowing is merely a constructive, linear and accumulative process. We will introduce the notion of “negative knowledge” that involves “giving up” or “bracketing” knowledge in certain situations. When experts encounter something that is incompatible with their knowledge, they should be sensitive enough to recognise a new situation by suspending their action. In addition to (...) exploring the idea of “unlearning”, the paper introduces three other aspects of negative knowledge: “to know what we do not know”, “to know what not to do” and the value of failures. Negative knowledge seems to be possible, useful, and even necessary in expert organisations since old ways of thinking or knowing something often prevent us to see new potentials. (shrink)

We investigate the theory IΔ 0 + Ω 1 and strengthen [Bu86. Theorem 8.6] to the following: if NP ≠ co-NP. then Σ-completeness for witness comparison formulas is not provable in bounded arithmetic. i.e. $I\delta_0 + \Omega_1 + \nvdash \forall b \forall c (\exists a(\operatorname{Prf}(a.c) \wedge \forall = \leq a \neg \operatorname{Prf} (z.b))\\ \rightarrow \operatorname{Prov} (\ulcorner \exists a(\operatorname{Prf}(a. \bar{c}) \wedge \forall z \leq a \neg \operatorname{Prf}(z.\bar{b})) \urcorner)).$ Next we study a "small reflection principle" in bounded arithmetic. We prove that for (...) all sentences φ $I\Delta_0 + \Omega_1 \vdash \forall x \operatorname{Prov}(\ulcorner \forall y \leq \bar{x} (\operatorname{Prf} (y. \overline{\ulcorner \varphi \urcorner}) \rightarrow \varphi)\urcorner).$ The proof hinges on the use of definable cuts and partial satisfaction predicates akin to those introduced by Pudlak in [Pu86]. Finally, we give some applications of the small reflection principle, showing that the principle can sometimes be invoked in order to circumvent the use of provable Σ-completeness for witness comparison formulas. (shrink)

We prove that all extensions of Heyting Arithmetic with a logic that has the finite frame property possess the de Jongh property.

Kripke frames (and models) provide a suitable semantics for sub-classical logics; for example, intuitionistic logic (of Brouwer and Heyting) axiomatizes the reflexive and transitive Kripke frames (with persistent satisfaction relations), and the basic logic (of Visser) axiomatizes transitive Kripke frames (with persistent satisfaction relations). Here, we investigate whether Kripke frames/models could provide a semantics for fuzzy logics. For each axiom of the basic fuzzy logic, necessary and sufficient conditions are sought for Kripke frames/models which satisfy them. It turns out (...) that the only fuzzy logics (logics containing the basic fuzzy logic) which are sound and complete with respect to a class of Kripke frames/models are the extensions of the Gödel logic (or the super-intuitionistic logic of Dummett); indeed this logic is sound and strongly complete with respect to reflexive, transitive and connected (linear) Kripke frames (with persistent satisfaction relations). This provides a semantic characterization for the Gödel logic among (propositional) fuzzy logics. (shrink)

We show that any coherent complete partial order is obtainable as the fixed-point poset of the strong Kleene jump of a suitably chosen first-order ground model. This is a strengthening of Visser’s result that any finite ccpo is obtainable in this way. The same is true for the van Fraassen supervaluation jump, but not for the weak Kleene jump.

For a classical theory T, ℋ(T) denotes the intuitionistic theory of T-normal (i.e. locally T) Kripke structures. S. Buss has asked for a characterization of the theories in the range of ℋ and raised the particular question of whether HA is an ℋ-theory. We show that Ti∈ range(ℋ) iff Ti = ℋ(T). As a corollary, no fragment of HA extending iΠ1 belongs to the range of ℋ. A. Visser has already proved that HA is not in the range of (...) H by different methods. We provide more examples of theories not in the range of ℋ. We show PA-normality of once-branching Kripke models of HA + MP, where it is not known whether the same holds if MP is dropped. (shrink)