This is the ASL report on the 7th Latin American Symposium on Mathematical Logic held in Campinas, SP, Brazil, from July 29- August 02, 1985.

Provability, Computability and Reflection.

Provability, Computability and Reflection.

(or not oveA-complete.) . Let * be a unary operator defined on the set F of formulas of the language £ (ie, if A is a formula of £, then *A is also a ...

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 publication refers to the proceedings of the Seventh Latin American on Mathematical Logic held in Campinas, SP, Brazil, from July 29 to August 2, 1985. The event, dedicated to the memory of Ayda I. Arruda, was sponsored as an official Meeting of the Association for Symbolic Logic. Walter Carnielli. -/- The Journal of Symbolic Logic Vol. 51, No. 4 (Dec., 1986), pp. 1093-1103.

"Contains a balanced account of recent advances in set theory, model theory, algebraic logic, and proof theory, originally presented at the Tenth Latin American Symposium on Mathematical Logic held in Bogata, Columbia. Traces new interactions among logic, mathematics, and computer science. Features original research from over 30 well-known experts worldwide.".

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)

For Latin American philosophers, the quality of their own philosophy is a recurrent issue. Why hasn’t it produced any internationally recognized figure, tradition, or movement? Why is it mostly unknown inside and outside Latin America? Although skeptical answers to these questions are not new, they have recently shifted to some critical-thinking competences and dispositions deemed necessary for successful philosophical theorizing. Latin American philosophers are said to lack, for example, originality in problem-solving, problem-making, argumentation, and to (...) some extent, interpretation. Or does the problem arise from their vices of “arrogant reasoning?” On my view, all of these answers are incomplete, and some even self-defeating. Yet they cast some light on complex, critical-thinking virtues and vices that play a significant role in philosophical thinking. (shrink)

Royal versus Divine Authority: 7th Symposium on Egyptian Royal Ideology. Edited by Filip Coppins; Jiří Janák; and Hana Vymazalová. Königtum, Staat und Gesellschaft früher Hochkulturen, vol. 4,4. Wiesbaden: Harrassowitz Verlag, 2015. Pp. 358, illus. €84.

The Joint International Conference on Logic Programming, sponsored by the Association for Logic Programming, is a major forum for presentations of research, applications, and implementations in this important area of computer science. Logic programming is one of the most promising steps toward declarative programming and forms the theoretical basis of the programming language Prolog and its various extensions. Logic programming is also fundamental to work in artificial intelligence, where it has been used for nonmonotonic and commonsense (...) reasoning, expert systems implementation, deductive databases, and applications such as computer-aided manufacturing. Krzysztof R. Apt is project leader at the Centre for Mathematics and Computer Science in Amsterdam and part-time Professor in Computer Science at the University of Amsterdam. Topics covered: Theory Foundations. Programming Languages. Implementation. Programming Methodologies and Tools. Applications. Deductive Databases. Artificial Intelligence. Parallelism. (shrink)

A collection of 24 out of the 35 papers presented at the Fourth Scandinavian Logic Symposium and First Soviet-Finnish Logic Conference, which took place simultaneously in Finland in 1976. Topics covered are proof theory, set theory, model theory, recursion theory, infinitary languages, generalized quantifiers, truthlikeness, natural language, and "philosophical logic." There is a paper by George Kreisel which discusses an intriguing distinction between the theory of proofs and general proof theory, the latter being the study of (...) the allegedly definitional or essential property of proofs, the former being the study of structural features such as length of proofs and of relations between proofs and other things. There is a paper by Hintikka in which he applies his "game-theoretical semantics" developed elsewhere to quantifiers in natural languages, e.g., the analysis of sentences like "some novel by every novelist is mentioned by every critic". I found the most interesting paper to be the one by Bengt Hansson, which studies the nature of paradoxes by articulating an analogy with mathematical equations, the crucial property about the latter being that they do not always have solutions. Almost all papers are highly technical and thus aimed at experts of the specialties mentioned in the book’s title.—M.A.F. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Philosophy and Rhetoric 35.2 (2002) 91-95 [Access article in PDF] From: A Symposium on Rhetoric, Writing, and Culture Jeffrey Walker For who does not know, except them, that the art of using letters is fixed and unchanging, so that we always use the same letters for the same purposes, but in the art of discourse the case is entirely the reverse? —Isocrates, Against the SophistsThe essays composing this (...) issue of Philosophy and Rhetoric are based on papers that originally were presented at a symposium on "Rhetoric, Writing, and Culture," sponsored by the Emory University Center for Teaching and Curriculum, Department of English, and Hightower Fund, in March 2001. The ostensible purpose of the symposium was to consider the double nature and status of rhetoric: on one hand, a hermeneutic/theoretical discipline with applications across the humanities (in the analysis of texts, events, culture, argumentative practices, ideologies, and so forth); and, on the other hand, a practical "art of discourse," a techne, whose central or distinctive application is the training of skilled writers and speakers. The former tends to be emphasized in contemporary rhetorical studies, while the latter is the most familiar (though not necessarily essential) characteristic of "classical" or ancient rhetoric. Likewise, we can connect these two orientations, respectively, with rhetorical cultural studies and with the teaching of writing, speaking, and communication in general. While the natural assumption is that these two orientations are mutually supporting, that is not always or necessarily the case. One can argue that the first pulls in the direction of "philosophy" (however that may be defined), while the second pulls in the direction of sheer technique—and at one time or another, each has been [End Page 91] open to criticism for its lack of attention to the other: philosophers are ineffective rhetoricians, and cannot intervene in the public sphere; orators are superficial thinkers, and practice an irresponsible, demagogic art of manipulation and domination. This tension goes all the way back to the first critiques of the sophists, and plays out through the entire history of rhetoric. The symposium's speakers, then, were asked to reflect, in any way that seemed suitable to them, on either or both aspects of rhetoric's double nature, and/or the relationships between them.A symposium, inevitably, as a rhetorical event, always takes its own somewhat unpredictable trajectory, as papers are produced and presented, and as the ensuing discussion unfolds. And the four essays presented here—Steven Mailloux on Frederick Douglass and the nineteenth-century American debate over slavery; Susan Wells on "double consciousness" in S. Weir Mitchell's account of the case of Mary Reynolds and W. E. B. Du Bois's The Souls of Black Folk; James L. Kastely on the discontinuity between the "philosophical" and "technical" halves of Plato's Phaedrus;and Richard Doyle on the strange intersection between the emergence of LSD and the evolution of biotechnological understandings of DNA—are all revisions and expansions of the original presentations, reflecting the contingencies of their invention and reinvention. Nevertheless, the original motives of the symposium are still in evidence.As different as these essays are, it can be said that one or two underlying themes run through them, and provide a reply to the original topic proposed for the symposium. Perhaps the keynote is what Mailloux describes as "rhetorical paths of thought": that is, the "migration" and "evolution" of topoi, figures, lines of arguments, bits of narratives, and rhetorical traditions themselves (or fragments of them?) "from one community to another... [and] from one cultural moment to the next," as Frederick Douglass takes in the rhetorical traditions, practices, tropes and arguments exemplified in the Columbian Orator, as well as Aristotle's arguments on slavery, and as they become enabling parts of his own rhetorical repertoire in the debate on abolition. In Wells's essay, this appears as the "refunctioning" or reworking of topoi, as the notion of "double consciousness" is adapted as part of a "new logic of scientific authority" in Mitchell's account of "split personality," and also as a way of understanding and performing public discourse and identity in... (shrink)

In Latin America, policies on inclusive education in the university are implemented in an irrelevant way, despite the foundations that seek a university that guarantees in all students the learning, skills and competences they need. To try to provide solutions, the Social Model of Inclusive Education (MSEI) is proposed, which allows identifying management in inclusive education, by calculating the effectiveness index, using the cause-effect structure among three variables: i) policies in inclusive education, ii) conditions presented by students and iii) (...) attitudes towards students. The variables are derived into indicator variables, developing items that allow the collection of information with all the members of a higher education institution; thus formalizing a mathematical model of structural equations. The MSEI was applied as a pilot plan in a higher education institution in Ecuador, showing that the management effectiveness index in inclusive education is 60.3%, related to a work of greater weight in indicator variables such as: support that provides the educational institution to the students, the socio-economic situation of the students and the differentiated assessment of learning. (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)

In this exciting new study, Eugene Gogol interweaves three strands that form the intellectual bedrock for the concept of the Other in the Latin American context: Hegel's dialectic of negativity, Marx's humanism, and autochthonal emancipatory thought. From this foundation, the book explores the relation of liberatory philosophic thought to today's social and class movements. Gogol considers the logic of capitalism on Latin American soil, the ecological crisis in Latin America, and the concept and practice (...) of self-liberation. Still one of the most contested terrains of Latin American thought, the Other has been of central concern for many luminary thinkers including Leopoldo Zea, Octavio Paz, and José Carlos Mariátegui. While these writers may not garner much publicity in the world press, the highly public and ongoing struggles of the Zapatistas and Brazil's Landless Workers Movement demonstrate the continuing need to theorize the volatile nature of Latin American social reality. (shrink)