On maximal intermediate predicate constructive logics

We extend to the predicate frame a previous characterization of the maximal intermediate propositional constructive logics. This provides a technique to get maximal intermediate predicate constructive logics starting from suitable sets of classically valid predicate formulae we call maximal nonstandard predicate constructive logics. As an example of this technique, we exhibit two maximal intermediate predicate constructive logics, yet leaving open the problem of stating whether the two logics are distinct. Further properties of these logics will be also investigated.Presented by H. Ono     

Psychological Correlates of Populist Attitudes

Studies of demand-side populism with a focus on attitudinal and behavioral factors are becoming more popular, but only a few have explored the phenomenon's psychological determinants. We tackle the lack of conversation between populism scholars and political psychologists and test the impact of conspiracy beliefs, moral disengagement, need for cognition, and belief in simple solutions on populist attitudes. We use the most widespread ideational definition in an attempt to bring clarity to demand-side populism, as the literature often conflates the concept of populism with adjacent ideological and psychological factors. We analyze representative samples from two very different countries (Italy and Turkey) to test our hypotheses. We use two of the most often-used measures of populist attitudes and also explore populism's individual building blocks: people-centrism, antielitism, and a Manichean worldview. We consistently find conspiracy beliefs (and our control variable of institutional trust) as primary sources of populist attitudes, whereas the impact of the other psychological factors is more dependent on context and operationalization. Our article calls for more conceptual clarity, careful theorization, and more work on the refinement of available survey measures. We also highlight the importance of national contexts and the dangers of generalization based on individual country studies.     

Attachment to the Nation and International Relations: Dimensions of Identity and Their Relationship to War and Peace

Since the rise of mass politics, the role national identities play in international relations has been debated. Do they produce a popular reservoir easily tapped for war or bestow dignity thereby fostering cooperation and a democratic peace? The evidence for either perspective is thin, beset by different conceptions of identity and few efforts to identify its effects independent of situational factors. Using data drawn from new national surveys in Italy and the United States, we advance a three‐dimensional conception of national identity, theoretically connecting the dimensions to conflictive and cooperative dispositions as well as to decisions to cooperate with the United Nations in containing Iran's nuclear proliferation and Sudan's humanitarian crisis in Darfur. Attachment to the nation in Italy and the United States is found to associate with less support for militarist options and more support for international cooperation as liberal nationalists expect. This depends, however, on containing culturally exclusive conceptions of the nation and chauvinism.     

Preferential theory revision

Employing a logic program approach, this paper focuses on applying preferential reasoning to theory revision, both by means of preferences among existing theory rules, and by means of preferences on the possible abductive extensions to the theory. And, in particular, how to prefer among plausible abductive explanations justifying observations.     

On Canonicity and Strong Completeness Conditions in Intermediate Propositional Logics

By using algebraic-categorical tools, we establish four criteria in order to disprove canonicity, strong completeness, w-canonicity and strong w-completeness, respectively, of an intermediate propositional logic. We then apply the second criterion in order to get the following result: all the logics defined by extra-intuitionistic one-variable schemata, except four of them, are not strongly complete. We also apply the fourth criterion in order to prove that the Gabbay-de Jongh logic D₁ is not strongly w-complete. This revised version was published online in June 2006 with corrections to the Cover Date.     

Common-sense reasoning as proto-scientific agent activity

We wish to model common-sense reasoning in situations where it contains some of the ingredients typical of proto-scientific reasoning, with a view to future elaboration and proof of concept. To model this proto-scientific narrative, we employ the integrative formal computational machinery we have been developing and implementing for rational cooperative epistemic agents. In our logic-based framework, agents can update their own and each other's theories, which are comprised of knowledge, active rules, integrity constraints, queries, abducibles, and preferences; they can engage in abductive reasoning involving updatable preferences; set each other queries; react to circumstances; plan and carry out actions; and revise their theories and preferences by means of concurrent updates on self and others.