After a brief promenade on the several notions of translations that appear in the literature, we concentrate on three paradigms of translations between logics: ( conservative ) translations , transfers and contextual translations . Though independent, such approaches are here compared and assessed against questions about the meaning of a translation and about comparative strength and extensibility of a logic with respect to another.

In 1999, da Silva, D'Ottaviano and Sette proposed a general definition for the term translation between logics and presented an initial segment of its theory. Logics are characterized, in the most general sense, as sets with consequence relations and translations between logics as consequence-relation preserving maps. In a previous paper the authors introduced the concept of conservative translation between logics and studied some general properties of the co-complete category constituted by logics and conservative translations between them. In this paper we (...) present some conservative translations involving classical logic, Lukasiewicz three-valued system L3, the intuitionistic system I1 and several paraconsistent logics, as for instance Sette's system P1, the D'Ottaviano and da Costa system J3 and da Costa's systems Cn, 1≤ n≤ω. (shrink)

The ``Many Sides of Logic'' is a volume containing a selection of the papers delivered at three simultaneous events held between 11-17 May 2008 in Paraty, RJ, Brazil, continuing a tradition of three decades of Brazilian and Latin-American meetings and celebrating the 30th anniversary of an institution congenital with the mature interest for logic, epistemology and history of sciences in Brazil: CLE 30 - 30th Anniversary of the Centre for Logic, Epistemology and the History of Science at the State University (...) of Campinas (UNICAMP) XV EBL -15th Brazilian Logic Conference XIV SLALM - 14th Latin-American Symposium on Mathematical Logic Several renowned logicians, philosophers and mathematicians gathered in colonial Paraty, a historic village on the Brazilian coast founded in the 17th Century and surrounded by the luscious Atlantic rain forest to deliver lectures and talks celebrating the many sides of logic: the philosophical, the mathematical, the computational, the historical, and the multiple facets therein. The topics of the joint conferences, well represented here, included philosophical and mathematical Logic and applications with emphasis on model theory and proof theory, set theory, non-classical logics and applications, history and philosophy of logic, philosophy of the formal sciences and issues on the foundations of mathematics. The events have been preceded by a Logic School planned for students and young researchers held at the UNICAMP campus in Campinas, SP. (shrink)

O principal objetivo deste artigo é apresentar uma identidade possível entre os conceitos de forma e de qualidade na filosofia de Charles Sanders Peirce, por meio de seus argumentos em sua Semiótica e em sua Cosmologia. Em outras palavras, nosso objetivo é mostrar que a primeiridade consiste em uma forma, parte constitutiva da natureza da terceiridade, na medida em que a tendência à generalização ou à aquisição de hábitos estava prefigurada na origem do cosmos. De natureza indutiva, o passo do (...) nada absoluto para uma unidade de qualidades prefigura um universo inteligível de natureza formal. Esta unidade já pode ser considerada uma restrição de uma potencialidade de força maior presente naquele nada germinal: a primeira categoria é configurada, então, como sendo de natureza potencial qualitativa. O adjetivo “qualitativa” apresenta uma espécie de restrição da potencialidade para a qual nos referimos: tal potencial é desta ou daquela espécie. A segunda categoria, por sua vez, surge de um caos de sentimentos: não é a interação entre tais sentimentos que traz a segunda categoria à realidade, mas a mera manifestação do sentimento que é, por sua vez, caracterizado como a aparência momentânea da qualidade. Esta aparência não é potencial, mas atual. Ela já é um fato; ela já é uma restrição da potencialidade qualitativa. Sentimento enquanto atualidade e qualidade em seu estado potencial prefiguram a origem do outro que se apresenta: este outro está, portanto, inscrito na natureza da qualidade e já apresenta a dualidade objeto e objeto representado. Por fim, a tendência à generalização é reconhecida por meio das relações que as qualidades estabelecem entre si: na medida em que o aparecimento de uma ou mais qualidades se manteve insistente, tais qualidades começaram a estabelecer relações entre si, permitindo a formação indutiva de leis e objetos mais complexos, mas sempre devedores do material disponível prefigurado na origem: qualidades. (shrink)