Ênio José da Costa Brito apresenta Uma leitura da escravidão pela ótica dos desafios do antiescravismo . Trata-se de minuciosa nota bibliográfica sobre a obra de Seymour Drescher: DRESCHER, Seymour. Abolição: Uma história da Escravidão e do Antiescravismo. São Paulo: Editora UNESP, 2011, 736p. ISBN 978-85-393-0184-3.

This paper is a critic analysis of a doctorate thesis and a master dissertation, which subjects are the samba and the afro religions in the city of São Paulo. Both consider the samba and the religion as manifestations and cultural expressions through which the black population in afro-diaspora rebuilded and reupdated memories via religiosity, rythm, dance and performan.

Os Rosários dos Angolas realiza um estudo da Irmandade de Nossa Senhora do Rosário dos Pretos das Portas do Carmo( Bahia) A novidade do estudo está nos subsidios coletados na Africa, Portugal e Brasil , no resgate da presença banto na Bahia e na abertura para um dialogo das cosmovisões banto e cristã. REGINALDO, Lucilene. Os Rosários dos Angolas : Irmandades de africanos e crioulos na Bahia setecentista. São Paulo: Alameda, 2011. 416p. ISBN 978-85-7939-082-1.

Este artigo dialoga com autores que estudam a temática juventude e escola, problematizando a função da escola como locus de socialização. Parte do pressuposto de que muitos problemas enfrentados pelos jovens na escola é resultado de uma realidade em que as culturas juvenis, caracterizadas por determinadas formas de comportamento, como, gostos, atitudes, estilo de vida, forma de ser, vestir, dançar, falar, se divertir e se relacionar não podem se fazer presentes. Em virtude disso, analisa a desarticulação da escola com as (...) perspectivas dos jovens, ao acharem-na desinteressante por não contemplar seus anseios e suas necessidades e tampouco reconhecer a realidade em que estão inseridos. Parte da concepção de que a escola deve contemplar espaços e situações que promovam experiências de sociabilidade. Busca uma reflexão acerca do papel da escola diante das tensões e dos dilemas juvenis. (shrink)

A comunicação apresenta a síntese de alguns verbetes do Dicionário da Escravidão e Liberdade, lançado em 2018 pela editora Companhia das Letras com a intenção de dar a conhecer um pouco do seu rico conteúdo. Duas atitudes são exigidas diante de uma obra deste nível: a coragem de conhecê-la e a disposição de difundi-la.

RESENHA: DOMEZI, Maria Cecilia. Deus em guerra e pacto na América Latina colonial. São Paulo: Idéias & Letras, 2015. A autora revisita a Conquista Espiritual sob a ótica da luta dos deuses no continente Latino Americana.

Within a sequence of studies on slavery in Brazil in 50 years, we have the original study on the political dimension of this slavery from original documentation (Annals and Archives) carried forward by Tamis Parron. In the nineteenth century occurred, according to the author, a politicization of slaveholding issues rather than the development of a policy of slavery. The smuggling of slaves and the defense of slavery are too significant to be set aside by historiography events. To Parron, external aspects (...) such as change in American policy slavery and the position of England clearly interfered in the internal politics of Brazil. However, to the author, what existed was not only the defense of slavery with the clear involvement of the state, but also political game scenes by those who had different opinions. Some indirect events such as the Land Law and the domestic slave trade were part of a politicization of the issue of slavery and consequently, the maintenance of the slave society. (shrink)

Esta Comunicação objetiva apresentar dois trabalhos acadêmicos de Luis Cláudio Cardoso Bandeira. A dissertação de mestrado, intitulada Entidades africanas em “troca de águas”: diásporas religiosas desde o Ceará, apresenta a pesquisa sobre tradições africanas no Ceará. No doutorado, Bandeira trata de Rotas e raízes itinerantes e destaca veredas desafiadoras do diálogo entre história e religião. Participando das duas bancas, tive a oportunidade de perceber as nuances do caminho acadêmico percorrido por ele. Neste texto , faço memória dessas duas participações, sintetizando (...) brevemente esses trabalhos realizados. Começo destacando, brevemente, uma das fontes importantes de Bandeira no doutorado: as pesquisas que Agenor Sarraf Pacheco tem realizado sobre Memórias, Identidades, Saberes, Religiosidades letradas e de matrizes orais afroindigenas em circuitos da Amazônia . Segundo Pacheco, para se conhecer a presença dos negros na Amazônia é fundamental investigar essa relação com as culturas e sabedorias indígenas. Palavras-chave : Tradições africanas. Diásporas religiosas. Estudos culturais. História da África. Pensamento pós-colonial. (shrink)

The first great Brazilian social movement: the abolitionist campaign.

Este artigo dialoga com autores que estudam a temática juventude e escola, problematizando a função da escola como locus de socialização. Parte do pressuposto de que muitos problemas enfrentados pelos jovens na escola é resultado de uma realidade em que as culturas juvenis, caracterizadas por determinadas formas de comportamento, como, gostos, atitudes, estilo de vida, forma de ser, vestir, dançar, falar, se divertir e se relacionar não podem se fazer presentes. Em virtude disso, analisa a desarticulação da escola com as (...) perspectivas dos jovens, ao acharem-na desinteressante por não contemplar seus anseios e suas necessidades e tampouco reconhecer a realidade em que estão inseridos. Parte da concepção de que a escola deve contemplar espaços e situações que promovam experiências de sociabilidade. Busca uma reflexão acerca do papel da escola diante das tensões e dos dilemas juvenis. (shrink)

Da Costa and French explore the consequences of adopting a 'pragmatic' notion of truth in the philosophy of science. Their framework sheds new light on issues to do with belief, theory acceptance, and the realism-antirealism debate, as well as the nature of scientific models and their heuristic development.

This paper intends to introduce the three issues of Principia which will appear in a sequel honoring Newton da Costa’s 80th birthday. Instead of presenting the papers one by one, as it is common in presentations such as this one, we have left the papers speak by themselves, and instead we have preferred to present to the Brazilian readers, specialty to our students, some aspects of Newton da Costa’s conception of science and of the scientific activity, grounded on (...) the concept of quasi-truth, which he contributed to develop in a rigorous way. Da Costa is known as one of the founding fathers of paraconsistent logic, but his contributions go also to the foundations of physics, theoretical computation, model theory, algebraic logic, lattice theory, applications of non-classical logics to law and technology, etc. But perhaps his main contribution was to provide a basis for the birth of a school of logic in our country, serving as teacher and inspiring new researchers for generations. It is a pleasure to have had so enthusiastic acceptation from the editors of Principia to organize these volumes. I would like to thank the contributors and the editors of Principia, specially Prof. Cezar Mortari for his help in organizing the issue. (shrink)

We investigate the higher-order modal logic , which is a variant of the system presented in our previous work. A semantics for that system, founded on the theory of quasi sets, is outlined. We show how such a semantics, motivated by the very intuitive base of Schrödinger logics, provides an alternative way to formalize some intensional concepts and features which have been used in recent discussions on the logical foundations of quantum mechanics; for example, that some terms like 'electron' have (...) no precise reference and that 'identical' particles cannot be named unambiguously. In the last section, we sketch a classical semantics for quasi set theory. (shrink)

In this paper, we look at applying the techniques from analyzing superintuitionistic logics to extensions of the cointuitionistic Priest-da Costa logic daC (introduced by Graham Priest as “da Costa logic”). The relationship between the superintuitionistic axioms- definable in daC- and extensions of Priest-da Costa logic (sdc-logics) is analyzed and applied to exploring the gap between the maximal si-logic SmL and classical logic in the class of sdc-logics. A sequence of strengthenings of Priest-da Costa logic is examined (...) and employed to pinpoint the maximal non-classical extension of both daC and Heyting-Brouwer logic HB . Finally, the relationship between daC and Logics of Formal Inconsistency is examined. (shrink)

The issue of what consequences to draw from the existence of non-classical logical systems has been the subject of an interesting debate across a diversity of fields. In this paper the matter of alternative logics is considered with reference to a specific belief system and its propositions :the Azande are said to maintain beliefs about witchcraft which, when expressed propositionally, appear to be inconsistent. When the Azande have been presented with such inconsistencies, they either fail to see them as such (...) or else accept them as non-problematical. Is our knowledge of logical truths a relative and culturally determined phenomenon, or is there some (transcendent) criterion that allows us to adjudicate between alternative logical systems? The authors propose an approach for resolving disputes about the status of Azande reasoning which assumes a paraconsistent framework, thus providing a new perspective on this debate. (shrink)

Da Costa's C systems are surveyed and motivated, and significant failings of the systems are indicated. Variations are then made on these systems in an attempt to surmount their defects and limitations. The main system to emerge from this effort, system CC , is investigated in some detail, and dual-intuitionistic semantical analyses are developed for it and surrounding systems. These semantics are then adapted for the original C systems, first in a rather unilluminating relational fashion, subsequently in a more (...) illuminating way through the introduction of impossible situations where and and or change roles. Finally other attempts to break out of impasses for the original and expanded C systems, by going inside them, are looked at, and further research directions suggested. (shrink)

The mathematical concept of pragmatic truth, first introduced in Mikenberg, da Costa and Chuaqui (1986), has received in the last few years several applications in logic and the philosophy of science. In this paper, we study the logic of pragmatic truth, and show that there are important connections between this logic, modal logic and, in particular, Jaskowski's discussive logic. In order to do so, two systems are put forward so that the notions of pragmatic validity and pragmatic truth can (...) be accommodated. One of the main results of this paper is that the logic of pragmatic truth is paraconsistent. The philosophical import of this result, which justifies the application of pragmatic truth to inconsistent settings, is also discussed. (shrink)

An introduction to the model-theoretic approach in the philosophy of science is given and it is argued that this program is further enhanced by the introduction of partial structures. It is then shown that this leads to a natural and intuitive account of both "iconic" and mathematical models and of the role of the former in science itself.

Physical superpositions exist both in classical and in quantum physics. However, what is exactly meant by ‘superposition’ in each case is extremely different. In this paper we discuss some of the multiple interpretations which exist in the literature regarding superpositions in quantum mechanics. We argue that all these interpretations have something in common: they all attempt to avoid ‘contradiction’. We argue in this paper, in favor of the importance of developing a new interpretation of superpositions which takes into account contradiction, (...) as a key element of the formal structure of the theory, “right from the start”. In order to show the feasibility of our interpretational project we present an outline of a paraconsistent approach to quantum superpositions which attempts to account for the contradictory properties present in general within quantum superpositions. This approach must not be understood as a closed formal and conceptual scheme but rather as a first step towards a different type of understanding regarding quantum superpositions. (shrink)

Da Costa's C systems are surveyed and motivated, and significant failings of the systems are indicated. Variations are then made on these systems in an attempt to surmount their defects and limitations. The main system to emerge from this effort, system $CC_{\omega}$ , is investigated in some detail, and "dual-intuitionistic" semantical analyses are developed for it and surrounding systems. These semantics are then adapted for the original C systems, first in a rather unilluminating relational fashion, subsequently in a more (...) illuminating way through the introduction of impossible situations where and and or change roles. Finally other attempts to break out of impasses for the original and expanded C systems, by going inside them, are looked at, and further research directions suggested. (shrink)

Seismic resolution plays an important role in the delineation of structural and stratigraphic features. The resolution improvement directly affects the seismic attributes and, consequently, the interpretation of a given feature. However, the broadband data do not necessarily provide the best insight for seismic attribute evaluation. Particularly, geologic discontinuities, such as karsts, faults, and fractures, can have different seismic expressions according to their intrinsic scales, and, therefore, they are better illuminated in a given frequency range. To extract dissimilar characteristics in different (...) frequency bands, we have combined a recently developed spectral enhancement method based on differential resolution and similarity attributes. The DR algorithm is simultaneously used for frequency enhancement and acting as a pseudofilter, allowing us to compute similarity attributes at different frequency bands. The similarity computation follows the reflector dip of each DR subband and adjusts its analysis window accordingly to the dominant frequency within the subbands. Then, the subband similarities are combined in the red-green-blue-alpha color space, allowing a more detailed view of the geology under investigation. Although more expensive in terms of processing time because of all the steps needed for each subband, the proposed strategy proved to be a great improvement over the conventional procedure of detecting and delineating discontinuities in fault and karst structures when treating seismic data from an offshore carbonate field in Campos Basin, Brazil. (shrink)

In his thesis Para uma Teoria Geral dos Homomorfismos (1944), the Portuguese mathematician José Sebastião e Silva constructed an abstract or generalized Galois theory, that is intimately linked to F. Klein’s Erlangen Program and that foreshadows some notions and results of today’s model theory; an analogous theory was independently worked out by M. Krasner in 1938. In this paper, we present a version of the theory making use of tools which were not at Silva’s disposal. At the same time, we (...) tried to keep in mind, so much as possible, the gist of his standpoint. (shrink)

Problems of logical theory choice are current being widely dis- cussed in the context of anti-exceptionalist views on logic. According to those views, logic is not a special science among others, so, in particular, the methodology for theory choice should be the same in logic as for other scientific disciplines. Richard Routley advanced one such methodology which meshes well with anti-exceptionalism, and argued that it leads one to choosing one single logic, which is a kind of ultralogic. We argue that (...) the choice for only one correct system of logic may be rejected on the basis of the methodology proposed by Routley and, furthermore, that taking anti-exceptionalism about logic seriously recommends that a pluralist view of logic should be accepted. We call this view “full-blooded anti-exceptionalism”, and the resulting view on logic, lacking a proper name, “local pluralism”. (shrink)

In the past thirty years, two fundamental issues have emerged in the philosophy of science. One concerns the appropriate attitude we should take towards scientific theories--whether we should regard them as true or merely empirically adequate, for example. The other concerns the nature of scientific theories and models and how these might best be represented. In this ambitious book, da Costa and French bring these two issues together by arguing that theories and models should be regarded as partially rather (...) than wholly true. They adopt a framework that sheds new light on issues to do with belief, theory acceptance, and the realism-antirealism debate. The new machinery of "partial structures" that they develop offers a new perspective from which to view the nature of scientific models and their heuristic development. Their conclusions will be of wide interest to philosophers and historians of science. (shrink)

There are several conceptions of truth, such as the classical correspondence conception, the coherence conception and the pragmatic conception. The classical correspondence conception, or Aristotelian conception, received a mathematical treatment in the hands of Tarski (cf. Tarski [1935] and [1944]), which was the starting point of a great progress in logic and in mathematics. In effect, Tarski's semantic ideas, especially his semantic characterization of truth, have exerted a major influence on various disciplines, besides logic and mathematics; for instance, linguistics, the (...) philosophy of science, and the theory of knowledge. The importance of the Tarskian investigations derives, among other things, from the fact that they constitute a mathematical, formal mark to serve as a reference for the philosophical (informal) conceptions of truth. Today the philosopher knows that the classical conception can be developed and that it is free from paradoxes and other difficulties, if certain precautions are taken. We believe that is not an exaggeration if we assert that Tarski's theory should be considered as one of the greatest accomplishments of logic and mathematics of our time, an accomplishment which is also of extraordinary relevance to philosophy, as we have already remarked. In this paper we show that the pragmatic conception of truth, at least in one of its possible interpretations, has also a mathematical formulation, similar in spirit to that given by Tarski to the classical correspondence conception. (shrink)

We discuss the hypothesis that the debate about the interpretation of the orthodox formalism of quantum mechanics might have been misguided right from the start by a biased metaphysical interpretation of the formalism and its inner mathematical relations. In particular, we focus on the orthodox interpretation of the congruence relation, '=', which relates equivalent classes of different mathematical representations of a vector in Hilbert space, in terms of metaphysical identity. We will argue that this seemingly "common sense" interpretation, at the (...) semantic level, has severe difficulties when considering the syntactic level of the theory. (shrink)

There are very few (published) accounts of editorial misconduct, and those that do exist are almost exclusively focused on medicine-related areas. In the present article we detail a case of editorial misconduct in a rather underexplored domain, the social sciences. This case demonstrates that although legal systems provide different instruments of protection to avoid, compensate for, and punish misconduct on the part of journal editors, the social and economic power unbalance between authors and publishers suggests the importance of alternative solutions (...) before or instead of bringing a lawsuit to court. It puts forward strong arguments in favour of the need for effective regulatory bodies so as to achieve and maintain a culture of research integrity by all involved in the process. (shrink)

The apparently paradoxical nature of self-deception has attracted a great deal of controversy in recent years. Focussing on those aspects of the phenomenon which involve the holding of "contradictory" beliefs, it is our intention to argue that this presents no "paradox" if a non-classical, "paraconsistent", doxastic logic is adopted. (On such logics, see, for example, N. C. A. da Costa, 'On the theory of inconsistent formal systems', Notre Dame J Formal Logic 11(1974), 497-510, and A. I. Arruda, 'A survey (...) of paraconsistent logic', in A. I. Arruda, N. C. A da Costa and R Chuaqui, _Mathematical Logic in Latin America, North-Holland, 1984, pp. 1-41.). (shrink)

This paper is concerned with the particular problems raised by observations of phenomena outside the common course of nature for their validation as knowledge. It examines to what extent the content of the reports and, in particular, their lack of intrinsic plausibility affected the methods used in their authentication and the assessment of testimony at the Royal Society in the first half of the eighteenth century. I show that literary strategies were usually necessary but not sufficient for the validation of (...) these kinds of observations. Next, I discuss why visual representations were especially useful in establishing the singularity of the observations, but I point out that their high costs and other restrictions meant that they were not so widespread. In contrast I show that, for a long period of time, testimony was used in the majority of the reports as the true stamp of authenticity. I note, however, that the Royal Society accepted reports by authors of varied social status, level of education and occupation, and I discuss some of the factors responsible for the complexity of the handling of testimony at the Society. I argue against Shapin that in the case of reports of extraordinary phenomena, the competence of the reporter and witnesses was often more important than their social status. The increasing role of expertise in the assessment of observations at the Society become especially apparent by the middle of the eighteenth century.Author Keywords: Authentication; Competence; Monstrous births; Singular; Testimony; Royal Society of London. (shrink)

The present paper intends to discuss the process of design and its peculiar location at the threshold between the unknown and already established, well-accepted knowledge. The process of design is known for its catalyzing possibilities, often suggesting connections between conceptions, ideas, and solutions to problems by linking an initial formulation with the innovative and upcoming development of a project within a given design context. Thus, the process of design has the power to provide a space for playing, where experiments of (...) thought, the testing of conceptions, the assembling of elements of these conceptions, and the serendipitous conflation of different parts of ideas can take place. Charles S. Peirce’s theory of inquiry—with especial emphasis on the systemic character of semiotics in relation to phaneroscopy, esthetics, logic of abduction and pragmatism—informs the chosen theoretical framework of this paper. Because it also emphasizes the process of discovery, Peirce’s theory of inquiry will be here mobilized to analyze, within the theory of the design process, the transition between critical predicament and an undecided—still to be formed—future. This task consists of stating in futuro the unthinkable in order to render any design project feasible. (shrink)

Abstract A general framework is proposed for accommodating the recent results of studies into ?natural? decision making. A crucial element of this framework is the notion of a ?partial structure?, recently introduced into the semantic approach to scientific theories. It is through the introduction of this element that connections can be made with certain problems regarding inconsistency and rationality in general.

We apply the recently elaborated notions of 'pragmatic truth' and 'pragmatic probability' to the problem of the construction of a logic of inductive inference. It is argued that the system outlined here is able to overcome many of the objections usually levelled against such attempts. We claim, furthermore, that our view captures the essentially cumulative nature of science and allows us to explain why it is indeed reasonable to accept and believe in the conclusions reached by inductive inference.

Priest (2009) formulates a propositional logic which, by employing the worldsemantics for intuitionist logic, has the same positive part but dualises the negation, to produce a paraconsistent logic which it calls 'Da Costa Logic'. This paper extends matters to the first-order case. The paper establishes various connections between first order da Costa logic, da Costa's own Cω, and classical logic. Tableau and natural deductions systems are provided and proved sound and complete.