“Trends in Logic XVI: Consistency, Contradiction, Paraconsistency, and Reasoning - 40 years of CLE” is being organized by the Centre for Logic, Epistemology and the History of Science at the State University of Campinas (CLEUnicamp) from September 12th to 15th, 2016, with the auspices of the Brazilian Logic Society, Studia Logica and the Polish Academy of Sciences. The conference is intended to celebrate the 40th anniversary of CLE, and is centered around the areas of logic, epistemology, philosophy and history of (...) science, while bringing together scholars in the fields of philosophy, logic, mathematics, computer science and other disciplines who have contributed significantly to what Studia Logica is today and to what CLE has achieved in its four decades of existence. It intends to celebrate CLE’s strong influence in Brazil and Latin America and the tradition of investigating formal methods inspired by, and devoted to, philosophical views, as well as philosophical problems approached by means of formal methods. The title of the event commemorates one of the three main areas of CLE, what has been called the “Brazilian school of paraconsistency”, combining such a pluralist view about logic and reasoning. (shrink)

This is the report on the XVI BRAZILIAN LOGIC CONFERENCE (EBL 2011) held in Petrópolis, Rio de Janeiro, Brazil between May 9–13, 2011 published in The Bulletin of Symbolic Logic Volume 18, Number 1, March 2012. -/- The 16th Brazilian Logic Conference (EBL 2011) was held in Petro ́polis, from May 9th to 13th, 2011, at the Laboratório Nacional de Computação o Científica (LNCC). It was the sixteenth in a series of conferences that started in 1977 with the aim of (...) congregating logicians from Brazil and abroad, furthering interest in logic and its applications, stimulating cooperation, and contributing to the development of this branch of science. EBL 2011 included more than one-hundred and fifty participants, all of them belonging to prominent research institutes from Brazil and abroad, especially Latin America. The conference was sponsored by the Academia Brasileira de Ciências (ABC), the As- sociation for Symbolic Logic (ASL), Universidade Estadual de Campinas (UNICAMP), Centre for Logic, Epistemology and the History of Sciences (CLE), Laboratório Nacional de Computação o Científica (LNCC), Pontif ́ıcia Universidade Cato ́lica do Rio de Janeiro (PUC- Rio), Sociedade Brasileira de Lógica (SBL), and Universidade Federal Fluminense (UFF). Funding was provided by Conselho Nacional de Desenvolvimento Cient ́ıfico e Tecnolo ́ gico (CNPq), Fundac ̧a ̃o de Amparo `a Pesquisa do Estado de São Paulo (FAPESP), Fundação Euclides da Cunha (FEC), and Universidade Federal Fluminense (UFF). The members of the Scientific Committee were: Mário Folhadela Benevides (COPPE- UFRJ), Fa ́bio Bertato (CLE-IFCH-UNICAMP), Jean-Yves Béziau (UFRJ), Ricardo Bianconi (USP), Juliana Bueno-Soler (UFABC), Xavier Caicedo (Universidad de Los An- des), Walter Carnielli (CLE-IFCH-UNICAMP), Oswaldo Chateaubriand Filho (PUC-Rio), Marcelo Esteban Coniglio (CLE-IFCH-UNICAMP), Newton da Costa (UFSC, President), Antonio Carlos da Rocha Costa (UFRG), Alexandre Costa-Leite (UnB), I ́tala M. Loffredo D’Ottaviano (CLE-IFCH-UNICAMP), Marcelo Finger (USP), Edward Hermann Haeusler (PUC-Rio), Décio Krause (UFSC), João Marcos (UFRN), Ana Teresa de Castro Martins (UFC), Maria da Paz Nunes de Medeiros (UFRN), Francisco Miraglia (USP), Luiz Car- los Pereira (PUC-Rio and UFRJ), Elaine Pimentel (UFMG), and Samuel Gomes da Silva (UFBA). The members of the Organizing Committee were: Anderson de Araujo (UNICAMP), Walter Carnielli (CLE-IFCH-UNICAMP), Oswaldo Chateaubriand Filho (PUC-Rio, Co- chair), Marcelo Correa (UFF), Renata de Freitas (UFF), Edward Hermann Haeusler (PUC- RJ), Hugo Nobrega (COPPE-UFRJ), Luiz Carlos Pereira (PUC-Rio e IFCS/UFRJ), Leandro Suguitani (UNICAMP), Rafael Testa (UNICAMP), Leonardo Bruno Vana (UFF), and Petrucio Viana (UFF, Co-chair). (shrink)

The problem of the intensification and remission of qualities was a crux for philosophical, theological, and scientific thought in the Middle Ages. It was raised in Antiquity with this remark of Aristotle: some qualities, as accidental beings, admit the more and the less. Admitting more and less is not a trivial property, since it belongs neither to every category of being, nor to every quality. Rather it applies only to states and dispositions such as virtue, to affections of bodies such (...) as heat and sweetness, and to affections of soul such as anger. However, the property of admitting more and less was a matter of importance for the qualitative physics that had reigned up to about the time of Descartes, a physics which was concerned with concepts such as heat, coldness, lightness, heaviness, and so on. (shrink)

Pierre Bayle shows that, in order to avoid devastating objections, materialism should postulate that the property of thinking does not emerge from certain material combinations but is present in matter from the start and everywhere—a hypothesis recently revived and labelled “panpsychism”. There are reasons for entertaining the idea that Bayle actually considers this enhanced materialism to be tenable, as it might use the same line of defence that Bayle outlined for Stratonism. However, this would lead to a view similar to (...) Locke’s superaddition theory, and I contend that such cannot be Bayle’s position because he embraces the Cartesian principle that each substance has only one principal attribute. This makes untenable, in his eyes, any system that conjoins thought with matter in the same simple substance. By contrast, this makes clear which kinds of metaphysics and epistemology panpsychists need to adopt to defend their view. (shrink)

I first explain the scholastic (Scotist) thesis on the independence of essences Bayle alludes to in the passage of the Continuation des Pensée Diverses where he presents the Stratonicians' and the Chinese philosophers' retorsion. Then, I show that this retorsion applies to the argument of the existence of God based on "aseity", but not to the occasionalist argument based on the "quod nescis" principle. I conclude that materialism (the "Stratonician hypothesis") cannot be, for Bayle, a satisfying system.

Conceptions about the nature of scientific models held by science students frequently involve distorted views, with a tendency to consider them as mere copies of reality. Besides encompassing an untenable view about the nature of science itself, this misconstruction can effectively be a pedagogical impediment to learning. Objectives: We evaluate whether Mario Bunge’s epistemology might contribute to tackling issues related to the nature of models in science education contexts. De-sign: After identifying Bunge’s main model categories, we employ them to examine (...) aspects of the historical development of atomic models and contrast the resulting framework with issues about model conceptions in science education, as pointed out in the literature. Setting and participants: Due to this research’s theoretical nature, this study did not include human participants other than authors from the literature and the theoretical framework. Data collection and analysis: We per-formed a constant comparative analysis to identify patterns of meanings shared between the historical case and the theoretical framework. Results: Features of models pointed out by Bunge were identified in the development of atomic models and could provide consistent and explanatory viewpoints about key issues related to model conceptions in science education. Conclusions: Bunge’s framework might help to clarify aspects of the nature of models relevant to science education contexts. -/- . (shrink)

The article explores critical elements to understand how Origen elaborates his mystical theology in his Commentary on John. The spiritual progress process implies that rational beings are guided, by God’s Logos, from the practical life to the theoretical one becoming son or daughter of God, in the likeness of the Logos. This process aims at knowing the Father as he is known by the Logos. The article has two parts: 1. The Father’s presence, through the Logos, in rational beings, and (...) 2. a brief characterisation of the salvation, particularly in the perspective of the mediation by the Son of God. (shrink)

The Dominican theologian Durand of Saint-Pourçain (ca. 1275–1334), breaking from the wide consensus, made a two-pronged attack on concurrentism (i.e., the theory according to which God does more than conserving creatures in existence and co-causes all their actions). On the one hand, he shows that the concurrentist position leads to the unacceptable consequence that God is the direct cause of man’s evil actions. On the other hand, he attacks the metaphysical foundations of concurrentism, first in the version offered by Thomas (...) Aquinas and Giles of Rome, and then in a more general way. Against Thomas and Giles, he challenges Neoplatonic assumptions about causality and being. More generally, he establishes that God’s action and a creature’s action can be neither identical nor different, and thus cannot both be direct causes of the same effect. Without claiming that Durand’s series of objections are definitely unanswerable, we may at least observe that they have generally been underestimated (which earned him the lowly role of the mere foil of the concurrentist view in the history of philosophy) and are able to do considerable damage to concurrentism. (shrink)

I examine Bayle's infamous statement that Christian mysteries are not only "above" human reason, but are "against" it. I put it back in the context of 16th-17th century Reformed thought. I then discuss the relation between reason and faith according to Bayle.

This paper examines two alleged limitations in the use of formal languages: on the one hand, the trade-offs between expressive and inferential power, and on the other, the phenomenon of system imprisonment. After reconceptualizing the issue, we consider the role played by modality in the understanding of certain aspects of mathematical structures and argue for its centrality.

El pasado 8 de junio 2020, Fernando Soler Escalona, estudiante de nuestra Facultad, obtuvo el grado académico de Doctor en Teología, con una tesis sobre El sentido teológico de las metáforas de comer y beber en la obra de Orí-genes, redactada bajo la supervisión de Samuel Fernández, Profesor Titular de Patrología. La defensa fue inusual: la pandemia de COVID-19 obligó a realizarla por videoconferencia, para mantener el aislamiento físico entre los participantes. En la espera de la publicación integral de (...) la tesis, reproducimos a continuación la presentación que el Doctorando hizo de sus investigaciones durante la defensa. (shrink)

El artículo estudia algunas aportaciones de Ratzinger para una correcta visión de las relaciones de la Iglesia con la política. En primer lugar, afirma que su visión de las relaciones entre fe y razón influye decisivamente en el enfoque de la materia. Después estudia: su respuesta al antiteísmo y al relativismo escéptico; su visión del dualismo cristiano como algo que niega el poder total del Estado; su crítica de las teologías políticas; la fe como cantera de criterios morales para la (...) política. Se concluye que Ratzinger es un referente para construir una renovada teoría de las relaciones entre Iglesia y Estado. (shrink)

Contrary to what many interpretations claim, according to Bayle faith does not completely eliminate reason. It intervenes to reveal factual truths that can only be known through revelation (for example, that God allowed Adam and Eve to sin). To these factual truths can be applied a rational principle (an axiomatic and evident one, according to Bayle, which he calls a "common notion"), namely, that "what God does is well done." God allowed sin, so we must think it was justified, even (...) if we don't understand why. This approach is what I call, cum grano salis, Pierre Bayle's theodicy. (shrink)

Bringing together two aspects of Thomas Aquinas's thought that have been studied separately: his theory of God's concurrence and his theory of instrumental causality, I show how he uses the latter (which I discuss first) to clarify the Proclusian principle that the first cause has a greater influence on an effect than the proximate causes. Thanks to this theory, Aquinas accounts for the fact that it is God who confers existence to every new being that is produced by natural processes, (...) without however negating the agency of secondary, created causes. (shrink)

In this paper, I examine the problem of Bayle's skepticism. I show that he is not a wholesale skeptic. Rather, he thinks that reason is plagued by internal conflicts. But its principles, which clash with each other, can be adopted separately from each other. It is often what we have to do when dealing with metaphysical problems. This also entails that reason is not to be rejected as a whole when it happens to be contradicted by faith; only some of (...) its principles have to be denied, and solely in that case. Further, Bayle believes that we possess absolute certainly in our knowledge of ethical principles. I show how this is compatible with his relativism in other domains by putting back his contention in the context of Reformed thought. (shrink)

As part of the development of an epistemology for mathematics, some Platonists have defended the view that we have (i) intuition that certain mathematical principles hold, and (ii) intuition of the properties of some mathematical objects. In this paper, I discuss some difficulties that this view faces to accommodate some salient features of mathematical practice. I then offer an alternative, agnostic nominalist proposal in which, despite the role played by mathematical intuition, these difficulties do not emerge.

The data analyzed in this paper are part of the results described in Bueno et al. (2000). Three cytogenetics endpoints were analyzed in three populations of a species of wild rodent – Akodon montensis – living in an industrial, an agricultural, and a preservation area at the Itajaí Valley, State of Santa Catarina, Brazil. The polychromatic/normochromatic ratio, the mitotic index, and the frequency of micronucleated polychromatic erythrocites were used in an attempt to establish a genotoxic profile of each area. (...) It was assumed that the three populations were in the same conditions with respect to the influence of confounding factors such as animal age, health, nutrition status, presence of pathogens, and intra- and inter-populational genetic variability. Therefore, any differences found in the endpoints analyzed could be attributed to the external agents present in each area. The statistical models used in this paper are mixtures of negative-binomials and Poisson variables. The Poisson variables are used as approximations of binomials for rare events. The mixing distributions are beta densities. The statistical analyzes are under the bayesian perspective, as opposed to the frequentist ones often considered in the literature, as for instance in Bueno et al. (2000). (shrink)

Quantifier variance faces a number of difficulties. In this paper we first formulate the view as holding that the meanings of the quantifiers may vary, and that languages using different quantifiers may be charitably translated into each other. We then object to the view on the basis of four claims: (i) quantifiers cannot vary their meaning extensionally by changing the domain of quantification; (ii) quantifiers cannot vary their meaning intensionally without collapsing into logical pluralism; (iii) quantifier variance is not an (...) ontological doctrine; (iv) quantifier variance is not compatible with charitable translation and as such is internally inconsistent. In light of these troubles, we recommend the dissolution of quantifier variance and suggest that the view be laid to rest. (shrink)

In this paper, we examine two conceptions of the application of logic and assess their comparative merits. The first is a platonist monist conception that characterizes the logical consequence relation as an abstract relation among propositions. We argue that this proposal, which insists on logic’s topic neutrality, accommodates very well the objectivity of logic. From this perspective, there are no constraints on particular topics. As a result, we have the universality that allows us to go through a wide scope of (...) contexts where logic is applied. In contrast, a non-platonist pluralist conception is examined, and it characterizes the variety of logical consequence relations as concrete, context-dependent in particular cases, and topic-dependent. As will become clear, this conception is particularly well suited to make room for the applications of logic. We conclude that, in order to solve the ontological debate about logic, we need to go beyond its applications. (shrink)

Nosso intuito, nesse trabalho, é compreender a maneira como as produções textuais próprias da internet colocam em jogo noções como as de autoria, legitimidade, circulação, formulação e arquivo. No procedimento de (des)montagem do corpus, recorremos aos trabalhos da Análise de Discurso Materialista, principalmente relacionados ao Discurso da Escritoralidade (GALLO,2011),ao efeito-rumor (SILVEIRA, 2015) e aos processos de legitimação no digital(ADORNOde OLIVEIRA, 2015). Assim,a descrição do conjunto heterogêneo do arquivo de referência para análise, assim como as primeiras entradas analíticas do vídeo “A (...) desinformação do whatsapp e facebook“, de Felipe Castanhari,começa a apontar para uma tomada de posição que se sustenta, contraditoriamente, pela recusa dos saberes legitimados advindos das instâncias midiáticas tradicionais, ao mesmo tempo em que parece se sustentar em um senso comum que permite retomar um discurso advindo dessas mesmas mídias, reforçando, desse modo, a noção de legitimidade como evidente de um campo institucional. Equívocos do político imbricados no funcionamento dissimétrico da memória discursiva. (shrink)

The present paper has as its theme the sociological aspect of the use of slang in a socio educational environment. Its main purpose is to describe and analyze the social distance in a learning environment, according to Bourdieu's concepts of cultural capital and habitus. In order to develop the classwork, some workshops about a slang dictionary have been held. The qualitative data provided by the pedagogical practice are presented, based on the reports of the meetings so that we have been (...) able to analyze the concepts presented by the young people. From this, it has been verified the symbolic character of words and expressions as a vector of social distancing by the incorporated cultural capital. (shrink)

A linha mestra que orientou as discussões que resultaram neste livro foi a mudança nos padrões da política e do estado, do meio ambiente e das novas tecnologias que implicam conflitos e novos desafios ao Direito, especialmente no direito público, foco principal da obra concebida. Novas perspectivas com grandes repercussões ambientais, sindicais, políticas, tributárias e, por que não, em toda a sociedade mundial. Além da coleção de trabalhos resultantes nesta obra foi lançado, também os anais dos artigos apresentados pelos inscritos (...) nos grupos de trabalhos coordenados pelos professores. (shrink)

Amazon Book Review Series of “Wild Wise Weird”.

Amazon Book Review Series of “Meandering Sobriety”.

Las prioridades estratégicas que definió la Organización Mundial de la Salud para su labor en la década 2020-2030 son el sustrato de este trabajo. El mismo grupo interdisciplinario de profesionales de la salud que reflexionó en la primera entrega sobre las prioridades relacionadas con lograr poblaciones más sanas, continúa con otras prioridades orientadas a lograr una cobertura sanitaria universal y un mejor manejo de las emergencias sanitarias. En las conclusiones de la segunda entrega se destaca la importancia de desarrollar cada (...) una de las prioridades involucrando a la sociedad civil, la familia y los medios de comunicación. La manera de hacerlo será haciendo girar todas las iniciativas de ejecución alrededor de estrategias educativas adecuadamente planteadas en todos los niveles, sin que se admitan injerencias ni presiones, para recuperar así la confianza necesaria para conseguir las soluciones que son buenas para el ser humano, el ecosistema y las futuras generaciones. -/- . (shrink)

Entrepreneurship education is among the key drivers of the country’s economy, and teachers are primarily responsible for its integration into teaching and finding the best and most useful method. The purpose of this research is to determine the level of entrepreneurial competence and teaching methods among entrepreneurship education teachers. Focusing on the concept of entrepreneurial competencies combining conceptual, human relations, strategic, commitment, opportunity, organizational and strategic competencies. Using quantitative – descriptive survey, the study tested its significant difference and relationship when (...) grouped with the profile variables. The findings indicate a significant correlation between the variables particularly, with the technical competence which has the strongest correlation. The paper sheds some light concerning the status of the current entrepreneurial competence of the teachers in the division and recommends training curriculum to develop their competencies in handling the subject. (shrink)

Building on findings that self-uncertainty motivates attempts to restore certainty about the self, particularly in ways that highlight one’s distinctiveness from others, we show that self-uncertainty, relative to uncertainty in general, increases creative generation among individualists. In Studies 1 to 3, high (but not low) individualists performed better on a creative generation task after being primed with self-uncertainty as opposed to general uncertainty. In Study 4, this effect emerged only among those who were told that the task measured creative as (...) opposed to analytical thinking, suggesting that the positive effects of self-uncertainty on performance are specific to tasks that bolster perceptions of uniqueness. In Study 5, self-uncertain individualists experienced a restoration of self-clarity after being induced to think about themselves as more (vs. less) creative. Implications for compensatory responses to self-uncertainty and factors that influence creativity are discussed. (shrink)

Justo antes de la pandemia por COVID-19, la Organización Mundial de la Salud definió unas prioridades de trabajo para la década 2020-2030. Un grupo interdisciplinario de profesionales de la salud reflexiona sobre estas prioridades, determinando unas categorías de análisis y, desde una perspectiva bioética, analiza cada una de ellas, ve su pertinencia, algunos eventos causales, las implicaciones que pueden tener si no son enfrentadas adecuadamente y hace sugerencias sobre la forma de llevarlas a cabo. En esta primera entrega se analiza (...) el primer grupo de prioridades estratégicas: “poblaciones más sanas”. En las conclusiones se destaca la conveniencia de acometer cada una de ellas de una manera colaborativa, gubernamental y privada; de reestructurar el sector salud con base en estas prioridades, aprovechando la experiencia obtenida en la lucha contra el COVID-19. La relación del ser humano con el medio ambiente también debe cambiar, apelando a la responsabilidad humana por el cuidado del planeta. (shrink)

Nosotres, biólogues, ecologistas y otres profesionales dedicados a proteger la vida, les escribimos con una solicitud urgente. Les pedimos muy comedidamente que su organización o institución emita un comunicado oficial condenando la crisis en curso y abordando los impactos ambientales y humanitarios en Palestina.