Cut-free sequent and tableau systems for propositional Diodorean modal logics

We present sound, (weakly) complete and cut-free tableau systems for the propositional normal modal logicsS4.3, S4.3.1 andS4.14. When the modality is given a temporal interpretation, these logics respectively model time as a linear dense sequence of points; as a linear discrete sequence of points; and as a branching tree where each branch is a linear discrete sequence of points.Although cut-free, the last two systems do not possess the subformula property. But for any given finite set of formulaeX the superformulae involved are always bounded by a finite set of formulaeX* _L depending only onX and the logicL. Thus each system gives a nondeterministic decision procedure for the logic in question. The completeness proofs yield deterministic decision procedures for each logic because each proof is constructive.Each tableau system has a cut-free sequent analogue proving that Gentzen's cut-elimination theorem holds for these latter systems. The techniques are due to Hintikka and Rautenberg.Presented byDov M. Gabbay     

Personality factors in relation to violent crimes

The personalities of a group of 54 persons (51 men and 3 women), imprisoned for the perpetration of violent crimes, were evaluated. The results were then compared to a normative group. This study considers personality factors and dimensions on three levels: (a) Basic factors: the "Big Five", (b) Personality disorders and clinical syndromes, (c) Personality dimensions related to personal wellbeing and social adaptation said to define a psychologically healthy individual. The results of the study show that it is not possible to define a basic personality profile for this group of violent delinquents based on the "Big Five" factors. It is, however, possible to find two habitual patterns of behaviour if the Millon Model (1990) is applied. These two behaviour patterns and attitudes towards life situations will be named "Dependent with compulsive traits" and "Psychopath tendencies". Both relate to indicators of mental health.     

Thinking Without Words: An Overview for Animal Ethics

In Thinking without Words I develop a philosophical framework for treating some animals and human infants as genuine thinkers. This paper outlines the aspects of this account that are most relevant to those working in animal ethics. There is a range of different levels of cognitive sophistication in different animal species, in addition to limits to the types of thought available to non-linguistic creatures, and it may be important for animal ethicists to take this into account in exploring issues of moral significance and the obligations that we might or might not have to non-human animals. I am grateful for comments on an earlier version from Robert Francescotti and Clare Palmer.     

French norms of imagery for pictures, for concrete and abstract words]

This paper deals with French norms for mental image versus picture agreement for 138 pictures and the imagery value for 138 concrete words and 69 abstract words. The pictures were selected from Snodgrass et Vanderwart's norms (1980). The concrete words correspond to the dominant naming response to the pictorial stimuli. The abstract words were taken from verbal associative norms published by Ferrand (2001). The norms were established according to two variables: 1) mental image vs. picture agreement, and 2) imagery value of words. Three other variables were controlled: 1) picture naming agreement; 2) familiarity of objects referred to in the pictures and the concrete words, and 3) subjective verbal frequency of words. The originality of this work is to provide French imagery norms for the three kinds of stimuli usually compared in research on dual coding. Moreover, these studies focus on figurative and verbal stimuli variations in visual imagery processes.     

Social context,student's motivation,and academic achievement: Toward a process model

The purpose of the present research was to propose and test a motivational process model of academic achievement. The model posits that parental, teachers, and school administration support for students' autonomy positively influences students' perceived school competence and autonomy. In turn, perceived school competence and autonomy affect positively self-determined school motivation which in turn influences academic achievement. Two studies using a prospective design tested the adequacy of the model. In Study I, participants were 1,623 ninth-grade students. Results from structural equation modeling supported the motivational model. Participants in Study 2 were 1,098 tenth-grade students. Results from this study corroborated those of Study 1 controlling for students' prior achievement in the ninth grade. The role of self-determinod school motivation in academic achievement is discussed and avenues for future research are considered. This research is part of a larger project that is being funded by grants from the William and Flora Hewlett Foundation; the San Francisco Foundation; the Robert Wood Johnson Foundation; the Danforth Foundation; the Smart Foundations; the Pew Charitable Trusts; the John D. and Catherine T. MacArthur Foundation; the Annenberg Foundation; Spunk Fund, Inc.; the DeWitt Wallace-Reader's Digest Fund, Inc.; Louise and Claude Rosenberg; and the Center for Substance Abuse Prevention, U.S. Department of Health and Human Services. The views expressed in the paper are those of the authors and not necessarily of the funders. We are grateful to the many educators, students, and colleagues who cooperated with us on this project and to several anonymous reviewers who provided helpful suggestions.     

In the name of democracy: The value of democracy explains leniency towards wrongdoings as a function of group political organization

According to the “democracy‐as‐value” hypothesis, democracy has become an ideological belief system providing social value to democratic individuals, groups and institutions, granting legitimacy to their actions (even if dishonest or violent), and protecting them from consecutive punishments. The present research investigates the extent to which this legitimizing process is based on the individual endorsement of democratic principles. Across four experiments, following the misdeed of a (few) group member(s), respondents who valued democratic group organization and democracy in general expressed more lenient retributive justice judgments towards democratic (as compared with nondemocratic) offender groups. These findings shed light on the ways in which democratic ideology infuses justice judgments. Copyright © 2015 John Wiley & Sons, Ltd.     

Development of Different Forms of Skill Learning Throughout the Lifespan

The acquisition of complex motor, cognitive, and social skills, like playing a musical instrument or mastering sports or a language, is generally associated with implicit skill learning (SL). Although it is a general view that SL is most effective in childhood, and such skills are best acquired if learning starts early, this idea has rarely been tested by systematic empirical studies on the developmental pathways of SL from childhood to old age. In this paper, we challenge the view that childhood and early school years are the prime time for skill learning by tracking age‐related changes in performance in three different paradigms of SL. We collected data from participants between 7 and 87 years for (1) a Serial Reaction Time Task (SRT) testing the learning of motor sequences, (2) an Artificial Grammar Learning (AGL) task testing the extraction of regularities from auditory sequences, and (3) Probabilistic Category Learning in the Weather Prediction task (WP), a non‐sequential categorization task. Results on all three tasks show that adolescence and adulthood are the most efficient periods for skill learning, since instead of becoming less and less effective with age, SL improves from childhood into adulthood and then later declines with aging.     

Employment Qualifications,Person–Job Fit,Underemployment Attributions,and Hiring Recommendations: A three‐study investigation

Using an experimental design across three studies and four samples, we investigated the effects of employment qualification level (i.e., underqualified, adequately qualified, or overqualified) on hiring recommendations, and how the relationship was influenced by person–job (P‐J) fit and underemployment attributions. In Study 1, we tested and found support for the strength and effectiveness of the employment qualification level manipulation. In Study 2, the results demonstrated that overqualified applicants received higher ratings on objective P‐J fit, subjective P‐J fit, and hiring recommendations than underqualified applicants. Also, overqualified applicants were rated higher on objective and subjective P‐J fit than adequately qualified applicants. However, the results indicated no significant differences between adequately qualified and overqualified applicants on hiring recommendations. Finally, P‐J fit was found to fully mediate the employment qualification level–hiring recommendation relationship, but only subjective P‐J fit (i.e., and not objective P‐J fit) was a significant mediator. In Study 3, we assessed the potential effects of underemployment attribution (i.e., internal‐controllable vs. external‐uncontrollable) on interviewer hiring recommendation. Results demonstrated that applicants who made an external‐uncontrollable attribution for their overqualification were perceived negatively and received lower ratings on hiring recommendations than applicants who made an internal‐controllable attribution for their underemployment. Furthermore, the underemployment attribution‐hiring recommendation relationship was found to be fully mediated by subjective (but not objective) P‐J fit. Contributions of these results to theory, research, and practice, strengths and limitations, and directions for future research are discussed.     

Dual Equivalent Two-valued Under-determined and Over-determined Interpretations for Łukasiewicz’s 3-valued Logic Ł3

?ukasiewicz three-valued logic ?3 is often understood as the set of all 3-valued valid formulas according to ?ukasiewicz’s 3-valued matrices. Following Wojcicki, in addition, we shall consider two alternative interpretations of ?3: “well-determined” ?3a and “truth-preserving” ?3b defined by two different consequence relations on the 3-valued matrices. The aim of this paper is to provide (by using Dunn semantics) dual equivalent two-valued under-determined and over-determined interpretations for ?3, ?3a and ?3b. The logic ?3 is axiomatized as an extension of Routley and Meyer’s basic positive logic following Brady’s strategy for axiomatizing many-valued logics by employing two-valued under-determined or over-determined interpretations. Finally, it is proved that “well determined” ?ukasiewicz logics are paraconsistent.