This paper is dedicated to Alonzo Church, who died in August 1995 after a long life devoted to logic. To Church we owe lambda calculus, the thesis bearing his name and the solution to the Entscheidungsproblem.His well-known book Introduction to Mathematical LogicI, defined the subject matter of mathematical logic, the approach to be taken and the basic topics addressed. Church was the creator of the Journal of Symbolic Logicthe best-known journal of the area, which he edited for several decades This (...) paper is in three sections. The first is written in journalistic style:the story of the life of AlonzoChurch is told, including some of the many anecdotes I have collected from different sources. The secondpart is devoted to his work, but is far from being exhaustive. The last part is more original; in it I attempto show that Church’s great discovery was lambda calculus and that his remaining contributions weremainly inspired afterthoughts in the sense that most of his contributions as well as some of his pupils derivefrom that initial achievement. Included are Kleene’s Recursion Theory and the completeness proof ofHenkin. I have added an appendix in which is presented the typed lambda calculus and a proof of theundecidability of first-order logic. (shrink)

En la primera parte del artículo se propone un análisis de la insuficiencia constitucional del ser humano en el contexto de la filosofía griega. Se presenta una crítica al concepto de autarquía y se analiza el carácter contracultural de los movimientos filosóficos del cinismo, estoicismo y epicureísmo. La negación relativa y absoluta de la alteridad son igualmente analizadas. En la segunda parte, se analiza la insuficiencia constitucional desde el concepto de pobreza en el contexto de la orden franciscana y su (...) renuncia a la propiedad. También se hace referencia a los argumentos de los teólogos de la escuela de Salamanca y finalmente se plantea en qué medida el discurso franciscano está presente hoy como discurso político revolucionario. El objetivo general de las dos partes es presentar dos momentos anómalos de nuestra historia filosófica y su posible carácter contracultural válido para una crítica al capitalismo actual. (shrink)

This chapter examines Bunge’s distinction between the logical concept of existence and the ontological one. We introduce a new conceptual existence predicate in an intensional environment that depends on the evaluation world. So that we can investigate restricted areas where the different kinds of concepts might exist. We hope this new predicate would encompass Bunge’s philosophical position which he designates as conceptualist and fictional materialism. The basic hybridization acts as a bridge between intensions and extensions because @ works as a (...) useful rigidifier. In hybrid logic, the accessibility relation and many properties this relation might have can be easily expressed in the formal language. The initial hypothesis is that hybridization and intensionality can serve as unifying tools in the areas involved in this research; namely, Logic, Philosophy of Science and Linguistics. (shrink)

Drawing on feminist and sociocultural theories of emotion that focus on the social, political, and dynamic nature of emotions in history teachers’ pedagogical decision-making, this article presents findings from the analysis of interviews with two white teachers on the role of emotions in their teaching of history in comprehensive, urban high schools. While the teachers perceived that students’ emotional connection to historical content was a necessary step in learning history, each teacher negotiated different emotional rules in their classrooms, creating unique (...) learning experiences for their students. This study demonstrates the significance of emotions in history teaching, providing examples of the complexity of how teachers navigate dominant discourses about students and education and their own personal goals when it comes to teaching about the past. (shrink)

Although the skeptical crisis at the dawn of modern philosophy can be properly labelled Pyrrhonian specific features of the academic school of skepticism played an important role in this crisis. Academic skepticism becomes even more influential in post-Cartesian skepticism from Foucher to Hume.

Creating a mobile software-based exploration (artwork?/app?) puts the artist-coder in a position to interact with the mediated image streams that connect people on the Internet. The mediated streams often contain portraits and self-portraits, selfies, of the participants. These selfies are visual status messages of the people participating in the data streams. They can be used by the poster to identify themselves in the data stream and represent a way the creator of the selfie wants to be seen by the social (...) circle in which the image is posted. These images could reveal recognizable characteristics of the subject. The characteristics could be recognizable by people and software along the mediated path that the image traverses. Algorithmic intervention on the image affects the human and software interpretation of the image. In the works #autoselfie and FIFO ribbon, images are modified on a pixel level, in a way that the user of the app/work cannot control completely. The modifications reveals the potential power of the software systems to modify the imagery that people use to identify themselves in mediated communication environments. Moreover, the changes applied are chosen by the artist coder to impede recognition by software systems downstream but make human recognition possible in some cases. The alterations make the software in the app visible on a pixel level. The works then let the user post the altered images on Twitter or Google+ social media streams. The framing of this work as artwork or mobile app creates a tension, which affects audience interpretation and user experience choices made by the artist. These ideas are explored in the 2013 work #autoselfie and the 2014 work FIFO ribbon that runs on Android devices. #autoselfie was used to remix images created by winners of the South African 2013 Sanlam National Portrait Award, to explore the intervention of algorithms on mediated portraits and self-portraits. (shrink)

El artículo trata de abordar algunos aspectos de articulación entre pluralismo y justicia. Más concretamente, las posibilidades de profundizar en una teoría de la justicia que sea capaz de acoger en un mismo marco político a ciudadanos de culturas y valores heterogéneos. Ello conduce a destacar algunas de las deficiencias de posturas relativistas y monistas y a defender una posición que parta de la posición del liberalismo político y la supere con el fin de conducir a un marco político ni (...) neutral ni perfeccionista. (shrink)

The current research explored the effect of anger on hypothesis confirmation—the propensity to seek information that confirms rather than disconfirms one's opinion. We argued that the moving against action tendency associated with anger leads angry individuals to seek out more disconfirming information than sad individuals, attenuating the confirmation bias. We tested this hypothesis in two studies of experimentally primed anger and sadness on the selective exposure to hypothesis confirming and disconfirming information. In Study 1, participants in the angry condition were (...) more likely to choose disconfirming information than those in the sad or neutral condition when given the opportunity to read more about a social debate, and reading the disconfirming information affected their subsequent attitude. Study 2 measured participants' opinions and information selection about the 2008 US Presidential Election and their desire to “move against” a person or object. Participants in the angry condition reported a greater tendency to oppose a person or object, which resulted in the attenuation of the confirmation bias. (shrink)

Estas reflexões visam aproximar os conceitos linguístico-filosóficos vistos a partir da filosofia da linguagem nos diferentes períodos da história da civilização ocidental. A intenção é mostrar o modo como foram compreendidos os conceitos mais importantes da filosofia no campo da linguagem. Evidentemente, uma história repleta de detalhes, conceitos e circunstanciada por vários e complexos elementos culturais não poderia ser exposta de forma completa em poucas páginas. Assim, a nossa finalidade é antes mostrar os conceitos linguísticos considerados a partir de uma (...) perspectiva filosófica, de sorte que procuraremos enfatizar a maneira pela qual a linguagem foi vista e estudada através da tradição linguística, filosófica e cultural. (shrink)

Resumen La argumentación es una forma de discurso en la que un hablante defiende una postura en una discusión. El presente trabajo se enfoca en la complejidad argumentativa y los recursos evaluativos y evidenciales que caracterizan las disputas de niños de diverso nivel socioeconómico. Se analizaron 94 disputas entre niños de 4 años y otros niños (5 a 10 años) en situaciones de juego espontáneo registradas en hogares de sectores socioeconómicos medio y bajo. El análisis identificó diferencias marginales en la (...) complejidad argumentativa entre los grupos. Por su parte se hallaron diferencias significativas en recursos de evaluativos de emocionalidad y en los evidenciales deónticos y exclamativos a favor de los sectores de nivel socioeconómico bajo. Los sectores medios registraron un mayor empleo de expresiones de causalidad y conectores. Los resultados se discuten a la luz de los hallazgos de investigaciones previas. Abstract Argumentation is a type of discourse in which a speaker defends a claim in a discussion. The present work focuses on the argumentative complexity and the evaluative and evidential resources that characterize the disputes of children of different socioeconomic levels. We analyzed 94 disputes between 4-year-old children and other children (5 to 10 years old) in situations of spontaneous play registered in homes of middle and low socioeconomic status (SES). The analysis identified marginal differences in argumentative complexity between the groups. On the other hand, significant differences were found in evaluative expressions of emotion and in deontic and exclamatory evidential markers, more frequently used by the low SES group. The mid SES group tends to use a higher number of expressions of causality and connectors. The results are discussed with reference to the findings of previous research. (shrink)

Un análisis de la situación actual del estado de salud mental de un alto número de la población global basta para dar cuenta de la gravedad del asunto y plantear diversas posibles soluciones. El transhumanismopropone mejorar al ser humano mediante innovación tecnológica. En este trabajo se explica cómo esa innovación pude mejorar el bienestar del ser humano, analizando las consecuencias éticas y sociales de la propuesta del superbienestar y discutiendo también las críticas al transhumanismo por parte de los bioconservadores.

The history of ideas about addiction often comes down to a history of debates over the use and meaning of language. Nowhere is this more clear than in the interminable “Is addiction a ‘disease’?” debate. In Marc Lewis’ excellent Biology of Desire and in his paper that centers this issue, there is far more agreement between his work and mine than there is disagreement on the “disease” question. Here, however, I make a case for greater compatibility between the “disease” view (...) and learning models of addiction than Lewis does, because I think the nuance is worth exploring. Indeed, if addiction science and ethics paid more attention to nuance in general, the whole field would be far better off. (shrink)

This article reviews Alex Anievas and Kerem Nişancıoğlu’sHow the West Came to Rule: The Geopolitical Origins of Capitalism(2015). It argues that the book offers a stimulating and ambitious approach to solving the problems of Eurocentrism and the origins of capitalism in growing critical scholarship in historical sociology and International Relations. However, by focusing on the ‘problem of the international’ and proposing a ‘single unified theory’ based on uneven and combined development, the authors present a history of international relations that trades (...) off methodological openness and legal complexity for a structural and exclusive consequentialism driven by anti-Eurocentrism. By misrepresenting the concept of social-property relations in terms of the internal/external fallacy, and by confusing different types of ‘internalism’ required by early-modern jurisdictional struggles, the book problematically conflates histories of international law and capitalism. These methodological problems are contextualised by examples from the Spanish, French and British empires’ conceptions of sovereignty and jurisdiction and their significant legal actors and processes. (shrink)

Este artigo procura estabelecer os fundamentos filosóficos e epistemológicos que permitam suportar a educação para a cidadania, tendo em vista um novo conceito de cidadania que responda às necessidades da sociedade contemporânea. Neste âmbito, o artigo confronta autores clássicos com o intuito de indagar acerca dos limites e da natureza do conhecimento e da ação humana. A obra destes autores será relacionada com o trabalho de investigadores recentes, na área da epistemologia experimental e da psicologia. Isto permitirá tirar as conclusões (...) desejadas, não perdendo de vista as caraterísticas e os desafios da sociedade contemporânea. (shrink)

In this paper I firstly examine the contents of Escur. Φ III 11, which includes a medical section, an anthology of texts both sacred and profane, and the epistolar exchange between Gregorius Acindynus and Eirene Choumnos. Secondly I go through Eirene’s intellectual background and the books transcribed under her patronage. Thirdly I explain the role played by this Escurialensis in Eirene’s library and in the anti-Palamite circles. Fourthly, basing on different kinds of arguments, I attribute the copying of ff. 83r-156v (...) to Matthew Blastares. (shrink)

Josef Sudek, the 'Poet of Prague', had a legendary career spanning almost six decades. His craftsmanship and technical virtuosity were unparalleled among his contemporaries. Faced with the legacy of cubism, surrealism and the Czech avantgarde, Sudek sought his own approach, characterized by a striking mastery of light.

El artículo explora algunos de los principales rasgos políticos de la época globalizada y defiende la necesidad de entidades políticas representativas que superen el marco del Estado nación. A continuación se pregunta bajo qué presupuestos ético-políticos podría defenderse un modelo político-jurídico global para un mundo axiológicamente diverso y qué concepciones políticas y valores podrían proponerse como referente normativo para una gobernanza global cuya meta habría de ser el ejercicio legítimo del poder. Teniendo en cuenta las dificultades de tal empresa, se (...) presentan posibles estrategias y razones que invitan a considerar que la posibilidad de un acuerdo global no es del todo implausible. (shrink)

This article explores the correlations between linguistic figurative features and their corresponding conceptual representations, by considering their respective continuities and discontinuities in language shift. I compare the figurative encoding of emotions in Kriol, a creole of northern Australia, with those of Dalabon, one of the languages replaced by this creole, with a particular focus on evidence from metaphorical gestures. The conclusions are three-fold. Firstly, the prominent figurative association between the body and the emotions observed in Dalabon is, overall, not matched (...) in Kriol. Secondly, although this association is not prominent in Kriol, it is not entirely absent. It surfaces where speakers are less constrained by linguistic conventions: in non-conventionalized tropes, and gestures in particular. Indeed, some of the verbal emotion metaphors that have disappeared with language shift are preserved as gestural metaphors. Thus, Kriol speakers endorse the conceptual association between emotions and the body, in spite of the lower linguistic incidence of this association. The third conclusion is that therefore, in language shift, conceptual figurative representations and linguistic figurative representations are independent of each other. The former can persist when the latter largely disappear. Conversely, the fact that speakers endorse a certain type of conceptual representation does not entail that they will use corresponding linguistic forms in the new language. The transfer of linguistic figurative representations seems to depend, instead, upon purely linguistic parameters. (shrink)

Partimos de que en sociedades políticas complejas, aun siendo el Estado un artificio necesario para evitar situaciones de dominación, su entramado institucional no está exento de reproducir análogas situaciones a aquellas cuya eliminación justificaba su existencia. Analizaremos desde esta óptica las críticas de Rawls y Nozick al utilitarismo, al que acusan de amparar actuaciones injustas por parte del colectivo hacia los individuos. En concreto, abordaremos el problema de los derechos inviolables desde estas tres líneas de pensamiento para concluir que, a (...) pesar de que existen marcadas diferencias en sus respectivos planteamientos metodológicos, hay en las tres líneas de convergencia en lo sustantivo. Concluiremos con una réplica a las objeciones antiutilitaristas y una defensa, siguiendo a John Stuart Mill de la mayor adecuación de esta escuela a la hora de defender la inviolabilidad de ciertos derechos fundamentales. (shrink)

International Indigenous rights coalitions increasingly involve Indigenous and non-Indigenous civil society organizations with diverse backgrounds and interests. As these organizations more frequently interact and partner with one another, what issues are being emphasized in their advocacy efforts? This study utilizes content analysis of 60 Indigenous rights organizations’ websites, as well as interviews of several leaders and staff, to explore whether African Indigenous organizations emphasize different aspects of Indigenous rights in their messaging and advocacy than their other Indigenous and non-Indigenous coalition (...) partners, We find that African Indigenous CSOs discuss issues of unequal treatment more frequently, and issues of self-determination and assimilation less frequently, than their coalition partners. The messaging of Indigenous organizations outside of Africa contained similar themes as that of non-Indigenous CSOs. This raises questions regarding why these messages differ: do African Indigenous groups have distinct concerns and/or are there other reasons for the variance in messaging across international Indigenous rights coalitions. (shrink)

This article presents the first systematic typological study of emotional expressions involving body parts at the scale of a continent, namely the Australian continent. The role of body parts in figurative descriptions of emotions, a well-established phenomenon across the world, is known to be widespread in Australian languages. This article presents a typology of body-based emotional expressions across a balanced sample of 67 languages, where we found that at least 30 distinct body parts occur in emotional expressions. The belly is (...) by far the most frequent, and a dozen others also have significant representation. The study shows how the properties of these body parts – e.g., whether they are internal organs or visible facial parts – partly determine which historical scenarios led to their linguistic associations with emotions, and in turn, their semantic and figurative properties. (shrink)

This is a critical review of Herman Cappelen’s Fixing Language (2018), an excellent and thought-provoking introduction to a hot topic in metaphilosophy: conceptual engineering, which defines the process of evaluating and improving/revising our representational devices (popularly known as concepts). Here, I first present an overview of the book, summarizing his General Theory of conceptual engineering. Second, I point out some limits of the General Theory, in particular the putative consequence of his semantic externalism, the Lack of Control thesis. According to (...) it, the processes behind changes in meaning are too complex and amorphous for revisionary projects to be generally successful. However, I claim that a proper investigation of Lack of Control demands us to look at the sciences, especially the social sciences, something absent in Cappelen’s book. Furthermore, I remember that many conceptual engineers do not put forward large-scale revisions, but rather local ones – i.e., restricted to specific scientific and institutional contexts, and therefore more feasible and potentially relevant. (shrink)

This paper focuses on the evolution of the notion of completeness in contemporary logic. We discuss the differences between the notions of completeness of a theory, the completeness of a calculus, and the completeness of a logic in the light of Gödel's and Tarski's crucial contributions.We place special emphasis on understanding the differences in how these concepts were used then and now, as well as on the role they play in logic. Nevertheless, we can still observe a certain ambiguity in (...) the use of the close notions of completeness of a calculus and completeness of a logic. We analyze the state of the art under which Gödel's proof of completeness was developed, particularly when dealing with the decision problem for first-order logic. We believe that Gödel had to face the following dilemma: either semantics is decidable, in which case the completeness of the logic is trivial or, completeness is a critical property but in this case it cannot be obtained as a corollary of a previous decidability result. As far as first-order logic is concerned, our thesis is that the contemporary understanding of completeness of a calculus was born as a generalization of the concept of completeness of a theory. The last part of this study is devoted to Henkin's work concerning the generalization of his completeness proof to any logic from his initial work in type theory. (shrink)

This introduction presents the symposium on Sam Knafo and Benno Teschke’s article in Historical Materialism, ‘Political Marxism and the Rules of Reproduction of Capitalism: A Historicist Critique’ (2021). It briefly summarises the foundations of Political Marxism, discusses the broader implications of the debate raised by Knafo and Teschke for questions of collective knowledge-production and methods in Marxist historiography, and outlines the seven contributions of the symposium. The introduction concludes by tracing, through the evolution of debates in Political Marxism and the (...) contributions of its protagonists, some of the lineages of Marxist historiography as well as of the history of this journal. (shrink)

Equational hybrid propositional type theory ) is a combination of propositional type theory, equational logic and hybrid modal logic. The structures used to interpret the language contain a hierarchy of propositional types, an algebra and a Kripke frame. The main result in this paper is the proof of completeness of a calculus specifically defined for this logic. The completeness proof is based on the three proofs Henkin published last century: Completeness in type theory, The completeness of the first-order functional calculus (...) and Completeness in propositional type theory. More precisely, from and we take the idea of building the model described by the maximal consistent set; in our case the maximal consistent set has to be named, \-saturated and extensionally algebraic-saturated due to the hybrid and equational nature of \. From, we use the result that any element in the hierarchy has a name. The challenge was to deal with all the heterogeneous components in an integrated system. (shrink)

Equational hybrid propositional type theory ) is a combination of propositional type theory, equational logic and hybrid modal logic. The structures used to interpret the language contain a hierarchy of propositional types, an algebra and a Kripke frame. The main result in this paper is the proof of completeness of a calculus specifically defined for this logic. The completeness proof is based on the three proofs Henkin published last century: Completeness in type theory, The completeness of the first-order functional calculus (...) and Completeness in propositional type theory. More precisely, from and we take the idea of building the model described by the maximal consistent set; in our case the maximal consistent set has to be named, \-saturated and extensionally algebraic-saturated due to the hybrid and equational nature of \. From, we use the result that any element in the hierarchy has a name. The challenge was to deal with all the heterogeneous components in an integrated system. (shrink)

Una escala de valores se puede definir mediante dos componentes: un conjunto de valores y una relación de orden. Estos dos componentes dan cuenta de algunas opiniones populares sobre las escalas de valores que favorecen una suerte de relativismo axiológico. En esta contribución proponemos una estrategia de reducción que nos permite aceptar dichos componentes sin necesariamente implicar un relativismo axiológico.

It has often been asserted that burnout is primarily linked to occupational-context factors, and only secondarily to individual-level and non-work factors. We evaluated the validity of this view by examining the links between burnout and an array of 22 work-situated, work-unrelated, dispositional, and intersecting variables. The study involved schoolteachers from three different countries: France, Spain, and Switzerland. Burnout was assessed with the Maslach Burnout Inventory for Educators. Most of our predictors were assessed based on widely used measures. In order to (...) assess sentimental accomplishment and familial accomplishment, we created two self-reported measures, namely, the Sentimental Accomplishment Inventory and the Familial Accomplishment Inventory. The SAI and the FAI both showed strong reliability and high factorial validity. Exploratory structural equation modeling bifactor analysis and Mokken scaling suggested that both instruments could be considered essentially unidimensional. The study results showed that neuroticism, job strain, skill development, security in daily life, and work–non-work conflict were consistently associated with burnout across the three samples. Sample-specific predictors of burnout included sex, age, unreasonable work tasks, weekly working hours, job autonomy, support in work life, sentimental accomplishment, leisure activities, support in personal life, and non-work–work conflict. Relative weight analysis indicated that neuroticism was the best predictor of burnout in each sample. Our findings suggest that burnout’s nomological network may not be primarily job-related. We conclude that the tendency to de-emphasize individual-level and non-work factors in burnout research is unwise. This tendency may constitute a roadblock in the development of effective interventional strategies. The implications of our findings for burnout’s conceptual status are discussed. The neuroticism-burnout link should be further examined in longitudinal studies. (shrink)