This paper contains a careful derivation of principles of Interpretability Logic valid in extensions of I0+1.

In this paper, we characterize the strength of the predicative Frege hierarchy, , introduced by John Burgess in his book [J. Burgess, Fixing frege, in: Princeton Monographs in Philosophy, Princeton University Press, Princeton, 2005]. We show that and are mutually interpretable. It follows that is mutually interpretable with Q. This fact was proved earlier by Mihai Ganea in [M. Ganea, Burgess’ PV is Robinson’s Q, The Journal of Symbolic Logic 72 619–624] using a different proof. Another consequence of the our (...) main result is that is mutually interpretable with Kalmar Arithmetic . The fact that interprets EA was proved earlier by Burgess. We provide a different proof. Each of the theories is finitely axiomatizable. Our main result implies that the whole hierarchy taken together, , is not finitely axiomatizable. What is more: no theory that is mutually locally interpretable with is finitely axiomatizable. (shrink)

This article critically analyzes the assumption that land is becoming increasingly scarce and that, therefore, farmland values are bound to rise across the globe. It investigates the process of land value creation, as well as its flipside: value erosion and stagnation, looking at the various mechanisms involved in each. As such, it is a study of how the financialization of agriculture affects the process of land commoditization. I show that, for farmland to be turned into an asset, a whole range (...) of conditions have to be fulfilled, presenting a typology of asset making in the context of farmland. Asset making, like commoditization, is a process of assemblage, and it is less straightforward and less stable than generally assumed. Further, I argue that ‘asset making’ is not a one-way process. The article is based on an analysis of global data on land values and the case of farmland investment in post-Soviet farmland. (shrink)

Little is known empirically about the role of supervisor listening and the emotional conditions that listening facilitates. Having the opportunity to speak is only one part of the communication process between employees and supervisors. Employees also react to whether they perceive the supervisor as actively listening. In two studies, this paper examines three important outcomes of employee perceptions of supervisor listening. Furthermore, positive and negative affect are investigated as distinct mediating mechanisms. Results from Study 1 revealed that employee perceptions of (...) supervisor listening reflected supervisors’ self-ratings of how they listen to their employees and these perceptions were associated with the three work outcomes. Study 2 replicated the findings in a larger sample and found evidence for two explanatory mechanisms. Positive affect mediated the effects of perceived supervisor listening on organizational citizenship behavior and turnover intention, whereas negative affect mediated listening effects on emotional exhaustion and turnover intention. Implications for organizational research and managerial practice concerning workforce sustainability are discussed. (shrink)

In this paper we study essential hereditary undecidability. Theories with this property are a convenient tool to prove undecidability of other theories. The paper develops the basic facts concerning essentially hereditary undecidability and provides salient examples, like a construction of essentially hereditarily undecidable theories due to Hanf and an example of a rather natural essentially hereditarily undecidable theory strictly below. We discuss the (non-)interaction of essential hereditary undecidability with recursive boolean isomorphism. We develop a reduction relation essential tolerance, or, in (...) the converse direction, lax interpretability that interacts in a good way with essential hereditary undecidability. We introduce the class of $$\Sigma ^0_1$$ Σ 1 0 -friendly theories and show that $$\Sigma ^0_1$$ Σ 1 0 -friendliness is sufficient but not necessary for essential hereditary undecidability. Finally, we adapt an argument due to Pakhomov, Murwanashyaka and Visser to show that there is no interpretability minimal essentially hereditarily undecidable theory. (shrink)

Gender, age, and culturally specific beliefs are often considered relevant to observed variation in social interactions. At present, however, the scientific literature is mixed with respect to the significance of these factors in guiding moral judgments. In this study, we explore the role of each of these factors in moral judgment by presenting the results of a web-based study of Eastern (i.e., Russia) and Western (i.e., USA, UK, Canada) subjects, male and female, and young and old. Participants ( n = (...) 659) responded to hypothetical moral scenarios describing situations where sacrificing one life resulted in saving five others. Though men and women from both types of cultures judged (1) harms caused by action as less permissible than harms caused by omission, (2) means-based harms as less permissible than side-effects, and (3) harms caused by contact as less permissible than by non-contact, men in both cultures delivered more utilitarian judgments (save the five, sacrifice one) than women. Moreover, men from Western cultures were more utilitarian than Russian men, with no differences observed for women. In both cultures, older participants delivered less utilitarian judgments than younger participants. These results suggest that certain core principles may mediate moral judgments across different societies, implying some degree of universality, while also allowing a limited range of variation due to sociocultural factors. (shrink)

This paper is concerned with the logical structure of arithmetical theories. We survey results concerning logics and admissible rules of constructive arithmetical theories. We prove a new theorem: the admissible propositional rules of Heyting Arithmetic are the same as the admissible propositional rules of Intuitionistic Propositional Logic. We provide some further insights concerning predicate logical admissible rules for arithmetical theories.

This paper is about even in downward entailing contexts. Karttunen and Peters (1979) have shown that there are two different sets of implicatures of even in such contexts. They argue that the two sets of implicatures are derived by allowing even to take scope either higher or lower than a negative polarity licenser. Rooth (1985) argues that even is lexically ambiguous, that is, there is a negative polarity even. I argue against Rooth's ambiguity theory and show that within Rooth's theory (...) of focus, a scope theory of even has better empirical coverage. I also answer objections to the scope theory raised by Rooth (1985) and Karttunen and Karttunen (1977). (shrink)

Vardanyan's theorem states that the set of PA-valid principles of Quantified Modal Logic, QML, is complete Π0 2. We generalize this result to a wide class of theories. The crucial step in the generalization is avoiding the use of Tennenbaum's Theorem.

A série Moças Quitandeiras (2019 - ) nasce do meu desejo de homenagear aquelas que foram umas das primeiras confeiteiras em solo brasileiro, mulheres negras escravizadas e libertas que vendiam doces e outros alimentos em seus tabuleiros durante o período colonial.

This book explores the ways in which memory sites contribute to the dynamics of identity-based conflicts, fuelling fears, sharpening divisions, and justifying violence. Through an analysis of the dynamics of identity-based conflicts, the book shows how memory sites become intertwined with the transformations of social boundaries and perceptions of relative deprivation, outgroup threat, collective axiology, and power relations. It posits that these two sets of factors - the functioning of collective memory as an ideological construct and the transformation of conflictual (...) social relations - define the role and influence of memory sites in the dynamics of identity-based conflicts. Through multiple case studies representing different dynamics -- dealing with fascist and communist pasts in Italy, post-colonial relations between South Korea and Japan, ethnic conflict in Kosovo, and tribal acknowledgement for Native American Nations - the book discusses how memory sites contribute to competition over ownership, fights for legitimacy, claims of entitlements, and negative portrayals of the Other. In doing so, it outlines four major functions of memory sites - enhancing, ascribing, interacting, and legitimizing - and shows how they contribute to and shape the structure and dynamics of conflict. Concentrating on the linkages between memory sites, violence prevention, and reconciliation, the book proposes solutions for promoting peace, including the focus on plurality of heritage, recognition of fluidity of meanings, and resistance to singular interpretations and manipulations by identity entrepreneurs. This volume will be of much interest to students of peace and conflict studies, memory studies and International Relations in general. (shrink)

Political Insults proposes a theory of international insult that focuses on interrelations between social identity and power. The book analyses conflicts between the U.S. and North Korea, sovereignty contestations around islands in the Japanese sea, Pussy Riot in Russia, veterans in Ukraine, and Nagorno-Karabakh.

Ethics regulation for human-subject research has been established for about 20 years in Brazil. However, compliance with this regulation is controversial for non-biomedical sciences, particularly for human and social sciences, the source of a recent debate at the National Commission for Research Ethics. We hypothesized that for these fields, formal requirements for compliance with HSR regulation in graduate programs, responsible for the greatest share of Brazilian science, would be small in number. We analyzed institutional documents from 171 graduate programs at (...) six prestigious Brazilian universities in São Paulo and Rio de Janeiro, the states that fund most of the science conducted in Brazil. Among these programs, 149 were in HSS. The results suggest that non-compliance with standard regulation seems to be the rule in most of these programs. The data may reflect not only a resistance from scientists in these fields to comply with standard regulations for ethics in HSR but also a disciplinary tradition that seems prevalent when it comes to research ethics in HSR. However, recent encounters between Brazilian biomedical and non-biomedical scientists for debates over ethics in HSR point to a changing culture in the approach to research ethics in the country. (shrink)

Este artículo estudia los números de la Revista de Psicoanálisis publicados entre 1946 y 1955 en Argentina. En particular, analiza los artículos escritos por los psicoanalistas argentinos que allí aparecen y las notas e informaciones que se incluyen en las últimas páginas de la revista. Se propone, por un lado, rastrear qué es el psicoanálisis en esos años, pensando este saber como un objeto discursivo, y, por el otro, indagar sobre el modo en que se construye la comunidad discursiva psicoanalítica (...) de la APA. Este recorrido ha evidenciado, por un lado, que el psicoanálisis es entendido, en ese entonces, como una teoría científica y una práctica contigua a la práctica médica, limitado al tratamiento individual. Por el otro, ha identificado que la revista, además de constituir un medio de comunicación privilegiado para la institución, contribuye a la consolidación de la comunidad discursiva psicoanalítica. (shrink)

The goal of this article is to show that formal analysis and reconstructions may be useful to discuss and shed light on substantive meta-theoretical issues. We proceed here by exemplification, analysing and reconstructing as a case study a paradigmatic biochemical theory, the Monod-Wyman-Changeux theory of allosterism, and applying the reconstruction to the discussion of some issues raised by prominent representatives of the new mechanist philosophy. We conclude that our study shows that at least in this case mechanicism and more traditional (...) accounts are not rivals but complementary approaches. (shrink)

In this paper we study the idea of theories with containers, like sets, pairs, sequences. We provide a modest framework to study such theories. We prove two concrete results. First, we show that first-order theories of finite signature that have functional non-surjective ordered pairing are definitionally equivalent to extensions in the same language of the basic theory of non-surjective ordered pairing. Second, we show that a first-order theory of finite signature is sequential (is a theory of sequences) iff it is (...) definitionally equivalent to an extension in the same language of a system of weak set theory called WS. (shrink)

The reason of faith -- Thought and language -- Truth -- The Monologion arguments for the existence of God -- The Proslogion argument for the existence of God -- The divine attributes -- Thinking and speaking about God -- Creation and the word -- The Trinity -- Modality -- Freedom -- Morality -- Incarnation and atonement -- Original sin, grace, and salvation.

Generalized anxiety disorder (GAD) and social phobia (SP) are major anxiety disorders identified by the Diagnostic and Statistical Manual of Mental Disorders, 4th edition (DSM-IV). They are comorbid, overlap in symptoms, yet present with distinct features (worry in GAD and fear of embarrassment in SP). Both have also been explained in terms of conditioning-based models. However, there is little reasoning currently to believe that GAD in adulthood reflects heightened conditionability or heightened threat processing—though patients with SP may show heightened processing (...) of social threat stimuli. Moreover, the computational architectures that maintain these disorders in adulthood are different. For GAD this may reflect the development of an inefficient “worrying” strategy of emotional regulation. For SP this appears to reflect the atypical processing of self-referential information. (shrink)

Your smartphone is much more than just a phone. It can tell a more intimate story about you than your best friend. No other piece of hardware in history, not even your brain, contains the quality or quantity of information held on your phone: it ‘knows’ whom you speak to, when you speak to them, what you said, where you have been, your purchases, photos, biometric data, even your notes to yourself – and all this dating back years. In this (...) piece I ask whether, given the role they play in our lives, our devices deserve the same legal protections as our brains and bodies? (shrink)

Este artigo busca aliar as leituras de Adorno e Dewey acerca do papel da educação frente o fenômeno da alienação social, focando principalmente a experiência dentro do processo de emancipação. Ao final, busca-se identificar os ideais de coletividade e compromisso como premissas falsas dos processos educacionais.

This study explored the effect of attitude towards entrepreneurship, need for achievement, risk-taking propensity, proactive personality, self-efficacy, opportunity recognition competency, entrepreneurship education, uncertainty avoidance, and entrepreneurial knowledge on entrepreneurial intention among university students in Malaysia. This quantitative study had adopted the cross-sectional design approach and involved 391 university students in Malaysia via the online survey. The study outcomes revealed that the NFA, PRP, and SLE significantly affect students’ attitudes towards entrepreneurship. Moreover, entrepreneurship education and UNA significantly affect ORC. Finally, ATE (...) has a positive and significant effect on ENIN among university students in Malaysia. As entrepreneurship offers an alternative career path for people seeking economic prosperity and addressing social issues, including unemployment, the government should formulate effective policies and regulations that support entrepreneurship activities. Universities and other institutions should play a pivotal role in providing the proper exposure via entrepreneurship education while honing the essential traits for a career in entrepreneurship. (shrink)