This paper begins the study of first-order functions, which are a generalization of truth-functions. The concepts of truth-table and systems of truth-functions, both introduced in propositional logic by Post, are also generalized and studied in the quantificational setting. The general facts about these concepts are given in the first five sections, and constitute a “general theory” of first-order functions. The central theme of this paper is the relation of definition among notions expressed by formulas of first-order logic. We emphasize that (...) logic is not concerned only with the consequence relation among notions expressed by formulas. It also attends to the relation of definition among notions, where a notion is defined from other notions. Sections 5 and 6 deal exclusively with the relation of definition among notions expressed by formulas of first-order logic. In these sections, we study the systems of first-order functions, which are the sets of first-order functions closed under definitions. Sections 7 and 8 are concerned with the relativization of first-order functions to a class of structures. The relativization to a class of structures is a fundamental operation which is used in order to relate the theory of first-order functions with set theory and first-order model theory, a subject which we have barely scratched the surface. The apparatus developed in this paper enables us to define what is a vehicle for the foundation of classical mathematics in set theory, and, in Sect. 8, we prove that first-order logic with one binary predicate variable is not a minimal vehicle for the foundation of classical mathematics in set theory. Sections 9 and 10 introduce further operations and ideals of first-order functions. Besides some results on the influence of the arguments of a first-order function, a result about definability is proved in Sect. 10.1. It is this theorem that provides necessary and sufficient conditions for a first-order function to be in a finitely generated ideal. In Sect. 11, this result is applied to the problem of predicate definability in classes of structures, the problem with which Beth’s theorem dealt in the case of elementary classes. (shrink)

The aim of the present paper is to provide a robust classification of valid sentences in set theory by means of existence and related notions and, in this way, to capture similarities and dissimilarities among the axioms of set theory. In order to achieve this, precise definitions for the notions of productive and nonproductive assertions, constructive and nonconstructive productive assertions, and conditional and unconditional productive assertions, among others, will be presented. These definitions constitute the result of a semantical analysis of (...) the notions involved. The conceptual clarification developed here results in a classification of valid sentences of set theory that goes against the standard view that extensionality is not an existence assertion. (shrink)

The minimal ordinal-connection axiom $$MOC$$ was introduced by the first author in R. Freire. (South Am. J. Log. 2:347–359, 2016). We observe that $$MOC$$ is equivalent to a number of statements on the existence of certain hierarchies on the universe, and that under global choice, $$MOC$$ is in fact equivalent to the $${{\,\mathrm{GCH}\,}}$$. Our main results then show that $$MOC$$ corresponds to a weak version of global choice in models of the $${{\,\mathrm{GCH}\,}}$$ : it can fail in models of (...) the $${{\,\mathrm{GCH}\,}}$$ without global choice, but also global choice can fail in models of $$MOC$$. (shrink)

The technique of forcing is almost ubiquitous in set theory, and it seems to be based on technicalities like the concepts of genericity, forcing names and their evaluations, and on the recursively defined forcing predicates, the definition of which is particularly intricate for the basic case of atomic first order formulas. In his [3], the first author has provided an axiomatic framework for set forcing over models of $\mathrm {ZFC}$ that is a collection of guiding principles for extensions over which (...) one still has control from the ground model, and has shown that these axiomatics necessarily lead to the usual concepts of genericity and of forcing extensions, and also that one can infer from them the usual recursive definition of forcing predicates. In this paper, we present a more general such approach, covering both class forcing and set forcing, over various base theories, and we provide additional details regarding the formal setting that was outlined in [3]. (shrink)

In this article, we analyse the ontological import of adding classes to set theories. We assume that this increment is well represented by going from ZF system to NBG. We thus consider the standard techniques of reducing one system to the other. Novak proved that from a model of ZF we can build a model of NBG (and vice versa), while Shoenfield have shown that from a proof in NBG of a set-sentence we can generate a proof in ZF of (...) the same formula. We argue that the first makes use of a too strong metatheory. Although meaningful, this symmetrical reduction does not equate the ontological content of the theories. The strong metatheory levels the two theories. Moreover, we will modernize Shoenfields proof, emphasizing its relation to Herbrands theorem and that it can only be seen as a partial type of reduction. In contrast with symmetrical reductions, we believe that asymmetrical relations are powerful tools for comparing ontological content. In virtue of this, we prove that there is no interpretation of NBG in ZF, while NBG trivially interprets ZF. This challenges the standard view that the two systems have the same ontological content. (shrink)

We explore the possibility and some potential payoffs of using the theory of accessible categories in the study of categories of logics. We illustrate this by two case studies focusing on the category of finitary structural logics and its subcategory of algebraizable logics.

Leituras em Educação — volume 8 — constitui importante contribuição às discussões que se formulam sobre o ensino e a prática pedagógica - da leitura, da literatura infantojuvenil, da iniciação científica no Ensino Médio, dos infinitos diálogos com Paulo Freire. Esta coletânea, em seus cinco artigos, explora de modo consistente pressupostos teóricos que explicitam a importância da educação e sua construção em saberes, incluindo a tecnologia, quando refletem sobre a aprendizagem. Todas as leituras examinam, de maneira cuidadosa, a prática (...) pedagógica oferecendo minuciosos roteiros de trabalhos, mostrando com maturidade e espírito crítico algumas respostas obtidas. (shrink)

Resumen: El presente trabajo investiga la forma en que las ciencias sociales, principalmente chilenas, están respondiendo a las dispares demandas que reciben actualmente y que consisten en aportar a la comprensión crítica de fenómenos relevantes para la sociedad y adecuarse a las recientes transformaciones en la forma de producir y comunicar conocimiento científico incorporando mayores niveles de internacionalización, globalización, especialización y complejización. Para ello se realiza una revisión sistemática de la producción científica publicada sobre el movimiento estudiantil chileno, que constituye (...) uno de los movimientos sociales más relevantes de la historia reciente de Chile. Se sistematizaron 149 publicaciones editadas entre el año 2000 y el 2016. Los resultados muestran que la capacidad de las ciencias sociales chilenas para abordar estas demandas contradictorias es parcial, pues sus análisis críticos tienden a ser uniformes y de alcance temporal limitado, mientras que sus estudios empíricos no siempre poseen los niveles de internacionalización y complejidad demandados actualmente para participar en los circuitos internacionales de publicación.: The present work investigates the way in which social sciences, mainly Chilean, are responding to different demands that they are currently receiving and that consist of contribute to the critical understanding of phenomena relevant to society and adapt to recent transformations in the way of producing and communicating scientific knowledge, incorporating higher levels of internationalization, globalization, specialization and complexity. To this end, a systematic review of the scientific production published on the Chilean student movement is made. This movement is one of the most relevant in Chile's recent history. 149 publications were systematized, published between 2000 and 2016. The results show that the capacity of the Chilean social sciences to deal with these contradictory demands is partial, since their critical analyzes tend to be uniforms and limited in time, while their empirical studies do not always have the levels of internationalization and complexity currently demanded in international publishing circuits. (shrink)

El Test de Turing es un método tan controvertido como desafiante en Inteligencia Artificial. Se basa en la imitación de la conducta lingüística de humanos, y tiene como objetivo recabar evidencia empírica en favor de la tesis de que las máquinas programadas podrían pensar. Alan Turing, su creador, ha sido catalogado como conductista por la mayor parte de los comentaristas. En este capítulo muestro que no lo es. Por el contrario, Turing es un funcionalista, porque todo el énfasis del juego (...) de la imitación está en el engaño de la máquina hacia los humanos. Por ello el género es importante en dicho juego, al menos en su versión preliminar. (shrink)

This paper presents and discusses the most influential attempts to characterize physicalism without postulating relations of identity between the physical and the prima facie non-physical. The first section deals with a possible criticism that these attempts are misguided, since they contradict the physicalist slogan “everything there is physical.” In the second section, I elucidate the different formulations of the physicalist supervenience claim, and argue that none of them consists in an adequate characterization of physicalism. Three reasons are given in favor (...) of this conclusion: their compatibility with forms of dualism ; the fact that the supervenience relation is left unexplained; and Kim’s causal exclusion argument, which asserts that merely supervenient entities must be epiphenomenal. The third section presents the general features of another identity-independent attempt to characterize physicalism, namely realization physicalism. According to this view, tokens of prima facie non-physical types are realized by tokens of strictly physical types performing functional roles that specify the nature of the former. The third section also shows how realization physicalism deals with the objections that make physicalist supervenience claims inadequate for characterizing physicalism. Resumo O artigo apresenta e discute as tentativas mais influentes de caracterizar o fisicalismo sem postular relações de identidade entre o que é físico e o que é prima facie não físico. A primeira seção trata da possível crítica de que essas tentativas são equivocadas, porque contradizem o bordão fisicalista “tudo o que existe é físico”. Na segunda seção, elucido as diferentes formulações da tese fisicalista da superveniência, e argumento que nenhuma delas consiste em uma caracterização adequada do fisicalismo. Três razões são oferecidas em favor dessa conclusão: sua compatibilidade com formas de dualismo ; o fato de que a relação de superveniência é mantida sem explicação; e o argumento de Kim da exclusão causal, segundo o qual entidades meramente supervenientes devem ser epifenomenais. A terceira seção apresenta os aspectos gerais de outra tentativa de caracterizar o fisicalismo independente da identidade, a saber, o fisicalismo de realização. De acordo com essa posição, ocorrências de tipos prima facie não físicos são realizadas por ocorrências de tipos físicos quando estes executam os papéis funcionais que especificam a natureza dos primeiros. A terceira seção também revela como o fisicalismo de realização lida com as objeções que tornam as teses fisicalistas da superveniência inadequadas para a caracterização do fisicalismo. (shrink)

The common notion of artifacts characterizes them as the products of successful activities of their makers, guided by intentions that such objects would instantiate certain features, such as their specific functions. Many counterexamples, however, reveal the unsuitability of the common notion. In the face of this acknowledgment, the paper explores the possibility that features of artifacts, and more specifically, the possession of their functions, may arise, at least partially, from collective assignments. In order to achieve the mentioned goal, the paper (...) critically examines some notions and theses put forward by John Searle and others. Its main result, however, consists in offering and elucidating an original thesis, namely, that the functions of many artifacts would be maintained, partially, by forms of continuous collective intentionality, which can involve conscious or unconscious, active or inactive collective intentional states. Keywords: Artifacts, assignment of function, collective intentionality, maintenance of function. (shrink)

Current Perspectives in Philosophy of Biology.

En este artículo argumentamos que la naturaleza pública o privada de la educación tiene una incidencia directa en las instituciones que conforman la realidad social. Para sustentar lo anterior, en primer lugar discutimos cómo, según Searle, habitamos un mundo de instituciones gobernadas por reglas y poderes deónticos, ontológicamente irreductibles. Luego, postulamos que la intencionalidad colectiva requiere de la confianza para mantenerse, y esta aumenta cuando gobiernan reglas y poderes deónticos en circunstancias normales. Finalmente, planteamos que la educación pública es una (...) institución que, a diferencia de la privada, privilegia el espacio de lo común. Sócrates es un ejemplo de esto, al proponer una filosofía que no solo busca la verdad, sino que además privilegia el reconocimiento de la ley por sobre la satisfacción inmediata de deseos e inclinaciones personales. De todo esto se explica el círculo virtuoso: la educación pública, al ser inclusiva y beneficiar a todos, potencia las instituciones sociales que tutelan ese interés y, dentro de ellas, el servicio público. (shrink)

Current Perspectives in Philosophy of Biology.

In previous research, acoustic characteristics of the male voice have been shown to signal various aspects of mate quality and threat potential. But the human voice is also a medium of linguistic communication. The present study explores whether physical and vocal indicators of male mate quality and threat potential are linked to effective communicative behaviors such as vowel differentiation and use of more salient phonetic variants of consonants. We show that physical and vocal indicators of male threat potential, height and (...) formant position, are negatively linked to vowel space size, and that height and levels of circulating testosterone are negatively linked to the use of the aspirated variant of the alveolar stop consonant /t/. Thus, taller, more masculine men display less clarity in their speech and prefer phonetic variants that may be associated with masculine attributes such as toughness. These findings suggest that vocal signals of men’s mate quality and/or dominance are not confined to the realm of voice acoustics but extend to other aspects of communicative behavior, even if this means a trade-off with speech patterns that are considered communicatively advantageous, such as clarity and indexical cues to higher social class. (shrink)

College students have become more representative as blood donors, mainly to help other people. This study ascertained the association between spirituality and adherence or intention to donate blood in post-graduate students. In this quantitative and cross-sectional study, participants were 281 students from a post-graduate programme at a Brazilian public university. After complying with ethical requirements, data were collected through a questionnaire for sociodemographic characterization and identification of blood donation practices, followed by the Spiritual Well-Being Scale. Descriptive statistics and parametric tests (...) were used for data analysis. A total of 74% of the participants were female and 26% were male. Previous experience and/or intention to donate blood were found in 75.3%; 14.3% donated blood periodically. In addition, 12.2% were not adept to donation and 12.5% were inapt. Spiritual Well-Being scores were similar between individuals who are not adept and those who donate periodically. In conclusion, in the sample, spirituality and blood donation are not associated, but spiritual well-being and gender are. To enhance blood donation, further research is needed. (shrink)

Current Perspectives in Philosophy of Biology.

Discusses the role of education in liberating the oppressed people of the Third World.

Essays by some of the world's leading educators provide a revolutionary portrait of new ideas and developments in education that can influence the possibility of social and political change. The authors take into account such diverse terrain as feminism, ecology, media, and individual liberty in their pursuit of new ideas that can inform the fundamental practice of education and promote a more humane civil society. The book consolidates recent thinking just as it reflects on emerging new lines of critical theory.

We present the findings of a worldwide survey that was administered to business ethic scholars to better understand journal quality within the business ethics academic community. Based upon the data from the survey, we provide a ranking of the top 10 business ethics journals. We then provide a comparison of business ethics journals to other mainstream management journals in terms of journal quality. The results of the study suggest that, within the business ethics academic community, many scholars prefer to publish (...) in the top business ethics academic journals over other mainstream management journals. Furthermore, the results of the study suggest that within the business ethics academic field there are two dominant academic communities: one in Europe and one in North America. Each of these academic communities has its own preferred publication outlets, suggesting a potentially problematic bifurcation of business ethics scholarship. (shrink)

This article proposes an exposition and analysis of perceptions intrinsic to rituals carried out with the use of the jurema plant, especially when mixed with Syrian rue (juremahuasca) in contexts of contemporary esoteric re-actualizations in Brazil. These rituals are conducted by people who look at jurema as a spiritual path, once acquainted with its psychedelic properties. We highlight the mystical attributes and the cultural bricolage elaborated by these individuals, who conduct ceremonies in ritual spaces in which participants experience altered states (...) of perception and consciousness. Considered as an entheogen, jurema leads to states of mystical transformation in people. Such personal changes are often considered by users as the rhetoric of healing. Life stories and ethnographic contexts form the background of the article, which seeks to advance understandings about jurema based on speculations around the intertwining of the themes of consciousness, mysticism, and healing. (shrink)

El artículo aborda la pandemia del covid-19 como elemento contingente y su efecto de develamiento respecto de algunas manifestaciones contemporáneas de la ideología neoliberal en Latinoamérica. De esta forma, en base a conceptos filosóficos y psicoanalíticos de orientación lacaniana planteados fundamentalmente por Slavoj Žižek, se examinan los usos críticos de la noción de ideología en sus diversas manifestaciones: miedo al otro, imposición de la lógica del empresario de sí, destrucción de lazos sociales, extractivismo de recursos naturales y fetichización de los (...) discursos de unidad frente a la pandemia. La hipótesis radica en que la pandemia presenta una oportunidad para repensar la subjetividad contemporánea, mediante la confrontación con el Real que bordea a la simbolización y, en definitiva, a la captura ideológica, a fin de poner en cuestión la afirmación de que no hay alternativa. (shrink)

Famous Brazilian educational and social theorist Paulo Freire presents his ideas on community solidarity in moving toward social justice in schools and society in a set of talks and interviews shortly before his death, supplemented with ...

Por incorporar a esperança na pedagogia crítica para, um só tempo, humanizar radicalmente a educação e transformar a sociedade, ele faz aumentar nossas expectativas sobre o que são capazes de fazer uma teoria e uma pedagogia ao construir um caminho que demonstra a indissociabilidade de ordem teórica e prática.

Are feelings an essential part or aspect of emotion? Cases of unconscious emotion suggest that this is not the case. However, it has been claimed that unconscious emotions are better understood as either (a) emotions that are phenomenally conscious but not reflectively conscious, or (b) dispositions to have emotions rather than emotions proper. Here, I argue that these ways of accounting for unconscious emotions are inadequate, and propose a view of emotions as non-phenomenal attitudes that regard their contents as relevant (...) to one's motivations. (shrink)

DNA replication is both highly conserved and controlled. Problematic DNA replication can lead to genomic instability and therefore carcinogenesis. Numerous mechanisms work together to achieve this tight control and increasing evidence suggests that post‐translational modifications (phosphorylation, ubiquitination, SUMOylation) of DNA replication proteins play a pivotal role in this process. Here we discuss such modifications in the light of a recent article that describes a novel role for the deubiquitinase (DUB) USP7/HAUSP in the control of DNA replication. USP7 achieves this function (...) by an unusual and novel mechanism, namely deubiquitination of SUMOylated proteins at the replication fork, making USP7 also a SUMO DUB (SDUB). This work extends previous observations of increased levels of SUMO and low levels of ubiquitin at the on‐going replication fork. Here, we discuss this novel study, its contribution to the DNA replication and genomic stability field and what questions arise from this work. (shrink)

Os textos reunidos neste livro foram originalmente apresentados no Colóquio Internacional Kátharsis, realizado pelo programa de pós-graduação em Filosofia da FAFICH/UFMG. Os textos têm como tema compartilhado o conceito de catarse e apresentam perspectivas bem distintas - vão desde a origem do conceito na Grécia antiga até sua atualidade no mundo contemporâneo, levando em consideração seus diferentes momentos e apresentando grande diversidade nos enfoques adotados pelos colaboradores.

It is generally assumed that emotion concepts are purely descriptive. However, recent investigations suggest that the concept of happiness includes information about the morality of the agent's life. In this study, we argue that normative influences on emotion concepts are not restricted to happiness and are not about moral norms. In a series of studies, we show that emotion attribution is influenced by whether the agent's psychological and bodily states fit the situation in which they are experienced. People consider that (...) emotions are not just about feeling in certain ways, but also about feeling the right way. (shrink)

Can we experience emotion without the feeling of accelerated heartbeats, perspiration, or other changes in the body? In his paper “What is an emotion”, William James famously claimed that “if we fancy some strong emotion and then try to abstract from our consciousness of it all the feelings of its bodily symptoms, we find we have nothing left behind” (1884, p. 193). Thus, bodily changes are essential to emotion. This is known as the Subtraction Argument. The Subtraction Argument is still (...) used to support Embodied theories of emotion. Proponents of Disembodied theories, however, have different intuitions regarding the role of bodily changes in the experience of emotion. In order to advance this debate, I conducted a series of studies testing people’s intuitions regarding the Subtraction Argument. Results show that, against James’ claims, most people consider that their hypothetical (Study 1) and actual (Study 2) emotions persist in the absence of bodily feelings. Furthermore, Study 1 found that participants’ responses were not related to individual differences in reflection or interoceptive awareness. These results pose a problem for Embodied theories of emotion and challenge extant explanations for the persistence of emotional experience in cases of impaired interoception. (shrink)