This volume presents the proceedings from the Eleventh Brazilian Logic Conference on Mathematical Logic held by the Brazilian Logic Society in Salvador, Bahia, Brazil. The conference and the volume are dedicated to the memory of professor Mario Tourasse Teixeira, an educator and researcher who contributed to the formation of several generations of Brazilian logicians. Contributions were made from leading Brazilian logicians and their Latin-American and European colleagues. All papers were selected by a (...) careful refereeing processs and were revised and updated by their authors for publication in this volume. There are three sections: Advances in Logic, Advances in Theoretical Computer Science, and Advances in Philosophical Logic. Well-known specialists present original research on several aspects of model theory, proof theory, algebraic logic, category theory, connections between logic and computer science, and topics of philosophical logic of current interest. Topics interweave proof-theoretical, semantical, foundational, and philosophical aspects with algorithmic and algebraic views, offering lively high-level research results. (shrink)

This is the book of abstracts of the 19th Brazilian Logic Conferences. The Brazilian Logic Conferences (EBL) is one of the most traditional logic conferences in South America. Organized by the Brazilian Logic Society (SBL), its main goal is to promote the dissemination of research in logic in a broad sense. It has been occurring since 1979, congregating logicians of different fields — mostly philosophy, mathematics and computer science — and with (...) different backgrounds — from undergraduate students to senior researchers. The meeting is an important moment for the Brazilian and South American logical community to join together and discuss recent developments of the field. The areas of logic covered in the conference spread over foundations and philosophy of science, analytic philosophy, philosophy and history of logic, mathematics, computer science, informatics, linguistics and artificial intelligence. Previous editions of the EBL have been a great success, attracting researchers from all over Latin America and elsewhere. -/- The 19th edition of EBL takes place from May 6-10, 2019, in the beautiful city of João Pessoa, at the northeast coast of Brazil. It is conjointly organized by Federal University of Paraíba (UFPB), whose main campus is located in João Pessoa, Federal University of Campina Grande (UFCG), whose main campus is located in the nearby city of Campina Grande (the second-largest city in Paraíba state) and SBL. It is sponsored by UFPB, UFCG, the Brazilian Council for Scientific and Technological Development (CNPq) and the State Ministry of Education, Science and Technology of Paraíba. It takes place at Hotel Luxxor Nord Tambaú, privileged located right in front Tambaú beach, one of João Pessoa’s most famous beaches. (shrink)

This volume corresponds to the Proceedings of the XIII Brazilian Logic Conference held at the CLE - Centre for Logic, Epistemology and the History of Science in Campinas, SP, Brazil from May 26-30, 2003 under the auspices of the SBL - Brazilian Logic Society and the ASL - Association for Symbolic Logic.

“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 (...) class='Hi'>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)

Since its conception nearly 20 years ago, Logic Programming - the idea of using logic as a programming language - has been developed to the point where it now plays an important role in areas such as database theory, artificial intelligence and software engineering. However, there are still many challenging research issues to be addressed and the UK branch of the Association for Logic Programming was set up to provide a forum where the flourishing research community could (...) discuss important issues of Logic Programming which were often by-passed at the large international conferences. This volume contains the twelve papers which were presented at the ALPUK's 3rd conference which was held in Edinburgh, 10-12 April 1991. The aim of the conference was to give a broad but detailed technical insight into the work currently being done in this field, both in the UK and by researchers as far afield as Canada and Bulgaria. The breadth of interest in this area of Computer Science is reflected in the range of the papers which cover - amongst other areas - massively parallel implementation, constraint logic programming, circuit modelling, algebraic proof of program properties, deductive databases, specialised editors and standardisation. The resulting volume gives a good overview of the current progress being made in the field and will be of interest to researchers and students of any aspects of logic programming, parallel computing or database techniques and management. (shrink)

This book constitutes the refereed proceedings of the 5th Kurt Gödel Colloquium on Computational Logic and Proof Theory, KGC '97, held in Vienna, Austria, in August 1997. The volume presents 20 revised full papers selected from 38 submitted papers. Also included are seven invited contributions by leading experts in the area. The book documents interdisciplinary work done in the area of computer science and mathematical logics by combining research on provability, analysis of proofs, proof search, and complexity.

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 present special issue of Disputatio brings together some of the best work recently done in Brazil and Portugal in the tradition of analytic philosophy (broadly conceived). Over the past ten years or so we have witnessed an impressive growth of analytic philosophy in both countries, either in terms of quantity or in terms of quality of the produced philosophy. We hope that this volume capture, at least partly, the dynamics and strength of such development. The range of philosophical problems (...) and topics covered by the contributed essays is vast, cutting across several philosophical disciplines. Indeed, one can find therein issues in philosophical logic, meta-philosophy, ethics, aesthetics, philosophy of science, philosophy of language, philosophy of mathematics and metaphysics. Such variety of subject-matter is also a trait of recent Luso-Brazilian analytic philosophy. (shrink)

Proceedings of the Tenth Brazilian Conference on Mathematical Logic. Coleção CLE, volume 14, 1995. Centro De Lógica, Epistemologia e História da Ciência, Unicamp, Campinas, SP, Brazil.

I Introduction In recent years there have arisen from several quarters, even within analytic philosophy itself, various challenges to the "positivist" ...

It is widely asserted that we are now living in a post-truth society. What that means, this book argues, is that the contemporary global world is thoroughly infested not only with trickster figures but an entire and operational trickster logic; or, that we now live in a Trickster Land - an argument advanced by the claim that in modernity liminality has become permanent; or that modern life is patently absurd. The first part of the book presents a series (...) of 'guides' to this condition, in the form of key thinkers and writers who can help us understand and navigate our Trickster Land. Such guides include Hermann Broch, Lewis Hyde, Roberto Calasso, Michel Serres, Sándor Márai, Colin Thubron, and Albert Camus. The second part goes on to discuss five main regions of Trickster Land: art, thought, the economy, politics, and society. This last, central chapter of the book contrasts trickster logic with the basic, foundational logic of social life, presented as gift-giving by Marcel Mauss and as sociability by Georg Simmel, and which is expressed here, combining Heraclitus and Plato with the Gospel of John, by three basic terms of ancient Greek culture, as arkhé charis logos: meaningful social life originally and in its essence is animated by the power of kind benevolence. This volume will appeal to scholars of social theory, anthropology and sociology with interests in political thought and contemporary culture. (shrink)

We argue that many-valued logics can be useful in analysing informational conflicts by using society semantics. This work concentrates on four-valued Łukasiewicz logic. SSs were proposed by Carnielli and Lima-Marques to deal with conflicts of information involving rational agents that make judgements about propositions according to a given logic within a society, where a society is understood as a collection $\mathcal{A}$ of agents. The interesting point of such semantics is that a new logic can (...) be obtained by combining the logic of the agents under some appropriate rules. Carnielli and Lima-Marques defined SSs for the three-valued logics $I^{1}$ and $P^{1}$. In this kind of semantics, all the agents reason according to classical logic and the molecular formulas behave in the same way as in CL. Marcos provided SSs with classical agents for the three-valued Łukasiewicz logic Ł$_{3}$, but in this case, the molecular formulas do not behave classically. We prove here that one can characterize Ł$_{4}^{\prime}$, a conservative extension of Ł$_{4}$ obtained by adding a connective $\blacktriangledown$, by means of a closed society where the agents reason according to Ł$_{3}$. We shall emphasize the importance of recovery operators in the construction of this class of societies. Moreover, we shall relate this semantics to Suszko’s view on the ‘two-valuedness’ of logic. (shrink)

The so-called phenomenon of collective intelligence is now a burgeoning movement, with several guises and examples in many areas. We briefly survey some relevant aspects of collective intelligence in several formats, such as social software, crowdfunding and convergence, and show that a formal version of this paradigm can also be posed to logic systems, by employing the notion of logic societies. The paradigm of logical societies has lead to a new notion of distributed semantics, the society semantics, (...) with theoretical advances in defining new forms of n-valued semantics in terms of k-valued semantics, for, and applications to flying security protocols. We summarise the main advances of society semantics, commenting on their general case, the possible-translations semantics and pointing to some conceptual points and some problems and directions still to be explored. (shrink)

Artificial intelligence is a general-purpose technology (GPT), term given to technologies that shape an entire era and reorient innovations by reconfiguring the economy’s logic and functioning and bringing in new business models. AI offers unprecedented opportunities and risks. The benefits of AI are extraordinary, as are its potential harms. Potential damage does not have the same degree of problematization, since the intensity and extent of the damage varies according to the domain and the object of application. To address the (...) scale of this challenge, regulation is necessary but not sufficient. Standards, unwritten codes of compliance and arbitration procedures, supervision and auditability, AI governance, international agreements, compliance with current local and global standards and laws. All of this needs to be integrated. Society seems to have no alternative to facing the challenges of at least mitigating the damage already identified and trying to predict future damage in advance. The purpose of this article is to encourage reflection regarding the main initiatives that are available to society to protect its citizens and organizations from the potential harm caused by AI models, vis-à-vis the technology’s own limits to act in ethical and legal compliance. (shrink)

With a special reference to Jaina epistemology and logic.

Partimos do pressuposto que a arte é a revelação da profundidade do ser humano e que manifesta a sua busca pela verdade e pelo sentido de sua existência. O nosso objetivo foi descrever os fundamentos da arte barroca na consolidação e na propagação de verdades religiosas e políticas. Teremos como principal referência a igreja barroca de Santo Antônio, componente do Centro Cultural de São Francisco, localizada na cidade de João Pessoa, no nordeste do Brasil. A metodologia utilizada foi a pesquisa (...) descritiva tendo como instrumento a análise textual discursiva por meio da qual fizemos uma breve recapitulação do contexto nascente do barroco na Europa. Em seguida, apresentamos as suas características e, por último, as suas peculiaridades no Brasil. Como primeiro resultado da pesquisa foi possível considerar o barroco e o seu imaginário como fontes de verdade, superando a lógica binária do terceiro excluído, e, reconhecendo que o barroco funcionou como amálgama da sociedade colonial brasileira por meio das práticas religiosas e das vicissitudes políticas. Palavras-chave : Barroco. Política. Imaginário. Arte.We assume that art is the revelation of the depth of the human being and it expresses the human search for truth and meaning of the existence. This text aims to describe the basis of Baroque art in the consolidation and spread of political and religious truths. We will have as main reference the baroque church of St. Anthony, a component of the Cultural Center of San Francisco, located in the city of João Pessoa, in northeastern Brazil. The methodology used was descriptive and textual analysis as a tool through which we did a brief recapitulation of the context of the nascent Baroque in Europe. Then, we will present the characteristics of Baroque and finally its peculiarities in Brazil. As a first result of the research it was possible to consider the Baroque and its imagery as a source of truth, overcoming the binary logic of the excluded middle, and, recognizing that Baroque functioned as the amalgam of the Brazilian colonial society through religious practices and political setbacks. Keywords: Baroque. Politics. Art and Imagination. Setbacks. (shrink)

This volume, The Brazilian Studies in the Philosophy and History of Science, is the first attempt to present to a general audience, works from Brazil on this subject. The included papers are original, covering a remarkable number of relevant topics of philosophy of science, logic and on the history of science. The Brazilian community has increased in the last years in quantity and in quality of the works, most of them being published in respectable international journals on (...) the subject. The chapters of this volume are forwarded by a general introduction, which aims to sketch not only the contents of the chapters, but it is conceived as a historical and conceptual guide to the development of the field in Brazil. The introduction intends to be useful to the reader, and not only to the specialist, helping them to evaluate the increase in production of this country within the international context. (shrink)

Introduction -- The sciences of society in the early nineteenth century -- The politics of the American experience -- The notion of civilization -- Projected science of society -- Historical knowledge and the theory of social change -- The science of the formation of character -- The science and art of political economy -- The politics of the Irish land question -- Conclusion.

The question of sociological truth-finding is posed in the light of the view that logical formalizations, along with other arguments, only acquire relevance in illocutionary contexts, where it is not so much the abstract correctness of a sentence as the stating of it that counts. In order to become a counterfactual an argument requires its antecedent to be recognized as being contrary to the 'facts'. To this extent there is a clear link with 'reality' or with a view of the (...) world that is taken as factually given. Social science develops on the basis not only of generalizations but also of historical facts and political requirements. The question arises: in terms of what world-view or purpose can we unambiguously declare a conditional to be a counterfactual - and a significant or non-trivial one at that? Further, can Elster's clarifications help identify political agents and the proper entities within and through which political action is performed? Finally, the problem-solving capacity of the concept of closeness of one possible world to another or to the actual world, especially with regard to counterfactuals and causality, is questioned. (shrink)

En este artículo el autor analiza la encíclica Caritas in veritate de Benedicto XVI teniendo como clave de lectura el mercado, el Estado y la sociedad civil, los cuales forman una unión osmótica en la que la persona, libre y responsable, puede expresarse en términos de desarrollo integral. El mercado pasa por el contrato, el Estado por las leyes justas y la sociedad civil por el don y la gratuidad. En este contexto, la sociedad civil es esencial para no encerrar (...) al hombre entre el mercado y el Estado. In this article I discuss the encyclical Caritas in veritate, Benedict XVI having as key to reading the market, the state and civil society, which form a union in which the osmotic person, free and responsible, can be expressed in terms of development. The market goes through the contract, the State by just laws and civil society for the gift and gratuity. In this context, civil society is essential to not close man between the market and the state. (shrink)

In this collection on the Kyoto School of Philosophy, the author offers the reader Tanabe's religious philosophy, but also, and for the first time, his ...

This book discusses major milestones in Rohit Jivanlal Parikh’s scholarly work. Highlighting the transition in Parikh’s interest from formal languages to natural languages, and how he approached Wittgenstein’s philosophy of language, it traces the academic trajectory of a brilliant scholar whose work opened up various new avenues in research. This volume is part of Springer’s book series Outstanding Contributions to Logic, and honours Rohit Parikh and his works in many ways. Parikh is a leader in the realm of ideas, (...) offering concepts and definitions that enrich the field and lead to new research directions. Parikh has contributed to a variety of areas in logic, computer science and game theory. In mathematical logic his contributions have been in recursive function theory, proof theory and non-standard analysis; in computer science, in the areas of modal, temporal and dynamic logics of programs and semantics of programs, as well as logics of knowledge; in artificial intelligence in the area of belief revision; and in game theory in the formal analysis of social procedures, with a strong undercurrent of philosophy running through all his work.This is not a collection of articles limited to one theme, or even directly connected to specific works by Parikh, but instead all papers are inspired and influenced by Parikh in some way, adding structures to and enriching “Parikh-land”. The book presents a brochure-like overview of Parikh-land before providing an “introductory video” on the sights and sounds that you experience when reading the book. (shrink)

The concept of an operator is used in a variety of practical and theoretical areas. Operators, as both conceptual and physical entities, are found throughout the world as subsystems in nature, the human mind, and the manmade world. Operators, and what they operate, i.e., their substrates, targets, or operands, have a wide variety of forms, functions, and properties. Operators have explicit philosophical significance. On the one hand, they represent important ontological issues of reality. On the other hand, epistemological operators form (...) the basic mechanism of cognition. At the same time, there is no unified theory of the nature and functions of operators. In this work, we elaborate a detailed analysis of operators, which range from the most abstract formal structures and symbols in mathematics and logic to real entities, human and machine, and are responsible for effecting changes at both the individual and collective human levels. Our goal is to find what is common in physical objects called operators and abstract mathematical structures, with the name operator providing foundations for building a unified but flexible theory of operators. The paper concludes with some reflections on functionalism and other philosophical aspects of the ‘operation’ of operators. (shrink)

This work is a defense of positivism in social theory: Addis is committed to the view that the substantive concerns of physical and social science are essentially the same. Indeed, he states that an adequate philosophy of society presupposes an adequate philosophy of science. He therefore begins with an analysis of various themes from the latter: causation, the notions of process and closed systems, and determinism. It is in fact a basic presumption of the book that some refined theory (...) of determinism is true. The author argues that all "social objects," such as those posited by Durkheim, are no more than properties of, or relations between, individual social beings. In the course of this argument, he develops a detailed treatment of reduction of the social into the physical sciences. It is his belief that logical analysis of the notion of reduction is essential to an understanding of social theory. Reduction is examined in two phases. First, he elaborates on his contention that social objects reduce to individual human beings. Second, he examines the reduction of socio-historical explanations to psycho-physical laws. He then proceeds to apply the preceding discussions to problems of philosophy of history, the relation of ideas to historical process, freedom and purpose in history, and a critique of "Marxism.". (shrink)