Every Finitely Reducible Logic has the Finite Model Property with Respect to the Class of ♦-Formulae

In this paper a unified framework for dealing with a broad family of propositional multimodal logics is developed. The key tools for presentation of the logics are the notions of closure relation operation and monotonous relation operation. The two classes of logics: FiRe-logics (finitely reducible logics) and LaFiRe-logics (FiRe-logics with local agreement of accessibility relations) are introduced within the proposed framework. Further classes of logics can be handled indirectly by means of suitable translations. It is shown that the logics from these classes have the finite model property with respect to the class of -formulae, i.e. each -formula has a -model iff it has a finite -model. Roughly speaking, a -formula is logically equivalent to a formula in negative normal form without occurrences of modal operators with necessity force. In the proof we introduce a substantial modification of Claudio Cerrato's filtration technique that has been originally designed for graded modal logics. The main core of the proof consists in building adequate restrictions of models while preserving the semantics of the operators used to build terms indexing the modal operators.     

Proof-Theoretic Modal PA-Completeness III: The Syntactic Proof

This paper is the final part of the syntactic demonstration of the Arithmetical Completeness of the modal system G; in the preceding parts [9] and [10] the tools for the proof were defined, in particular the notion of syntactic countermodel. Our strategy is: PA-completeness of G as a search for interpretations which force the distance between G and a GL-LIN-theorem to zero. If the GL-LIN-theorem S is not a G-theorem, we construct a formula H expressing the non G-provability of S, so that ⊢_GL-LIN ∼ H and so that a canonical proof T of ∼ H in GL-LIN is a syntactic countermodel for S with respect to G, which has the height θ(T) equal to the distance d(S, G) of S from G. Then we define the interpretation ξ of S which represents the proof-tree T in PA. By induction on θ(T), we prove that ⊢_PA S^ξ and d(S, G) > 0 imply the inconsistency of PA. This revised version was published online in June 2006 with corrections to the Cover Date.     

Using finite mixture of GLMs to explore variability in children's flexibility in a task-switching paradigm

The present study illustrates the usefulness of finite mixture of generalized linear models (GLMs) to examine variability in cognitive strategies during childhood. More precisely, it addresses this variability in set-shifting situations where task-goal updating is endogenously driven. In a task-switching paradigm 5–6-year-olds had to switch between color- and shape-matching rules as a function of a predetermined, predictable task sequence. A finite mixture of GLMs was fitted to explore individual differences in performance. The statistical model revealed five response profiles, defined by accuracy and response times. These response profiles likely correspond to different cognitive strategies with varying efficiency and differential relations to working memory capacity (assessed by backward digit span). These results illustrate the heuristic value of statistical modeling to reveal the behavioral and cognitive variability in the temporal dynamics of children's cognitive functioning.     

王夫之“阴阳向背”说的本体意义

王夫之阴阳十二位向背是根据乾坤并建之体的性质及体用一源的原理引申、推论出来的,他用这一原理来批评象数学的机械排比和框定,并用事物的自然自足、自立自全的性质,证明《序卦传》的三种卦序说不能成立,为自己独特的卦序说奠立基础。他要证明的哲学原理是,显现有向背,阳阳无或缺;本体所具有的性质与功能,同时就具于个体之中,个体因此而有了主体性、能动性,和自由地独立活动的品格。     

孔子是怎样解释《周易》的

孔子与《易》是有密切关系的,抛开《史记》和帛书的记载不言,仅就《论语》中两条最直接的材料来看确实如此。"加我数年……"当为孔子五十之前所说。五十之前,孔子也曾学《易》,而孔子认为知天命之年尤需学《易》。"不占而已"表明孔子解《易》以德,判定吉凶不需要占筮,而是取决于人的德性。孔子以"生生之德性"解《易》,以"道德必然性"解"天命",通过揭去《周易》的神秘外衣,发掘并发展其天人之学,将隐微难言的性与天道托诸于显著的人道德性,发展出天人合一的德性学说。     

Multi‐Criteria Evaluation for Collaborative Circulating Farming with Collective Operations Between Arable and Cattle Farmers

Tokachi sub‐prefecture in Hokkaido is one of the most famous dairy and crop farming regions in Japan. It is known that Tokachi is faced with various difficult problems such as soil degradation, water contamination and unpleasant odours because of the excessive use of chemical fertilizers and inappropriate treatment of livestock excretion. In this paper, we focus on Shihoro town where agricultural outputs are relatively large in Tokachi, and propose collaborative circulating farming with collective operations between arable and cattle farmers. Under the assumption that the decision‐maker in this problem is a representative of a farming organization who hopes for sustainable agricultural development and values the intentions of local residents including arable and cattle farmers in this region, we employ multi‐attribute utility theory in order to evaluate multiple alternatives of the farming management problem. Copyright © 2012 John Wiley & Sons, Ltd.     

The gap that makes us desperate: Paths from language to mental health

Although past research provided some clues about the relation of language use with mental health, the mediatory functions of personality variables in this relationship have been ignored. This research examined the mediatory role of self‐concept clarity in the relationship between language use perceived by individuals and mental health indicators including anxiety, depression, and alexithymia. Based on the theoretical framework suggested by ?im?ek (2010), two studies sought to test two alternative structural equation models in data from university students in the first study (n = 250) and data from other groups in the second study (n = 331). The first model assumed that the relationship of language use with anxiety, depression, and alexithymia was mediated by self‐concept clarity. The second model tested the mediatory role of both anxiety and self‐concept clarity in this relationship. The results of the first study showed that the second model fitted better to the data than the first. Consistent with the first study, the results of the second study confirmed that the second model produced better goodness of fit statistics than the first model.     

An evaluation of the stimulus equivalence paradigm to teach single-subject design to distance education students via blackboard

The purpose of the current study was to examine the degree to which instruction based on stimulus equivalence procedures could be used to teach single-subject design methodology to graduate-level professionals through a Web-based course management system known as Blackboard (see http://www.blackboard.com). Specifically, we used the stimulus equivalence paradigm to teach relations among the names, definitions, graphical representations of the designs, and two practical scenarios of when it would be appropriate to implement each design. Most participants demonstrated the emergence of untaught relations, and some participants showed generalization to novel vignettes and graphs. Relations largely were not maintained at follow-up but were retaught.     

Individual Differences in the Predictions of Behavioral Intentions

Abstract

We examined individual differences in the formation of behavioral intentions by American female students. Within the frameworks of the Fishbein-Ajzen and Triandis models of behavioral intentions, we measured the relative emphasis given to intention predictors for 40 behavioral intentions and examined how this emphasis was related to authoritarianism. In addition, empirical evidence was sought for the conceptual distinction between a personal norm (internalized norm) and a subjective norm (perceptions of significant other' opinions concerning a given action). Relative to low authoritarians, high authoritarians took subjective norms less into account, placed greater emphasis on personal norms, and emphasized less the consequences of action in forming behavioral intentions. The results suggest that subjective and personal norms can be distinguished empirically.     

EFFECTS OF A SIGNALED DELAY TO REINFORCEMENT IN THE PREVIOUS AND UPCOMING RATIOS ON BETWEEN-RATIO PAUSING IN FIXED-RATIO SCHEDULES

Domestic hens responded under multiple fixed‐ratio fixed‐ratio schedules with equal fixed ratios. One component provided immediate reinforcement and the other provided reinforcement after a delay, signaled by the offset of the key light. The components were presented quasirandomly so that all four possible transitions occurred in each session. The delay was varied over 0, 4, 8, 16, and 32 s with fixed‐ratio 5 schedules, and over 0, 8 and 32 s with fixed‐ratio 1, 15 and 40 schedules. Main effects of fixed‐ratio value and delay duration were detected on between‐ratio pauses. Pauses were longer when the multiple‐schedule stimulus correlated with a delayed‐reinforcer component was presented, with the longest pauses occurring at the transition from a component with an immediate reinforcer to one with a delayed reinforcer. Pause durations were shortest during immediate components. Overall, both the presence or absence of a delay in the upcoming component, and the presence or absence of a delay in the preceding component affected pause length, but the upcoming delay had the larger effect. Thus changes in delay had similar effects to past reports of the effects of changes in response force, response requirement, and reinforcer magnitude in multiple fixed‐ratio fixed‐ratio schedules.