THE CENTRE FOR LOGIC, EPISTEMOLOGY AND THE HISTORY OF SCIENCE
Areas of Work

Though mainly of interdisciplinary character, the research developed
in the CENTER FOR LOGIC, EPISTEMOLOGY AND THE HISTORY OF SCIENCE (CLE)
is organized into four individual areas:

The area of EPISTEMOLOGY AND PHILOSOPHY OF SCIENCE concentrates
its activities under what we could call an analytic perspective,
if we understand by this term the application of rigorous methods
(including formal ones) both to formulate and to solve philosophical
problems. The main interests of the researchers in this area are:

Philosophy of Formal Sciences

Their main publication is MANUSCRITO.

The area of HISTORY OF SCIENCE concentrates its activities presently in the History of Physics, albeit the natural difficulties due to the lack of tradition in this field in Brazil.
The CLE maintains an Archive for Documentation in the History of Sciences which primarily collects and organizes material from Brazilian and Latin-American sources.


Their main publication is CADERNOS.

The area of INTERDISCIPLINARY STUDIES constitute one of the touchstones of the CLE since its foundation. The rise of groups of mixed specialists in both natural and formal sciences, philosophers, linguists and researchers in the human sciences has been encouraged as to make explicit the nature of questions of crossing areas, their underlying difficulties, the methodology employed under the distinct approaches and the structural or ideological limits which would affect the epistemological perspectives.

Since 1986, the CLE has sponsored a biweekly Seminar on Interdisciplinary Studies, aiming not only to divulgate proposals and empirical results from elsewhere but also to produce original contributions to relevant problems raised by the scientific community. This Seminar on Interdisciplinary Studies has already completed a cycle on ORDER AND DISORDER,and is presently dedicated to the questions of SELF-ORGANIZATION.

The area of LOGIC congregates, from 1993 on, mainly the group of logicians which once belonged to the Department of Mathematics of the State University of Campinas and are now part of the Department of Philosophy of that same University.

This group, formed by Walter Carnielli, Itala D'Ottaviano, Carlos Lungarzo, Antonio Mário Sette and Luiz Paulo de Alcantara,has helped to consolidate the area of Logic and Foundations of Formal Sciences in the Department of Philosophy, where Carlos Lungarzo and José Alexandre Guerzoni are still active, and where Andrés Raggio, Osvaldo Porchat,Elias Alves and Andrea Loparic had worked for a long time (they are now retired). Much impetus was obtained from the pioneer work of Newton C. A. da Costa (now working at USP), and both Ayda Ignez Arruda and Mario Tourasse Teixeira (passed away). The newest member of the group is Marcelo Coniglio, hired by the end of last year.


The Graduate Program in Logic and Philosophy of Science

The GRADUATE PROGRAM IN LOGIC AND PHILOSOPHY OF SCIENCE is officially sponsored by the Department of Philosophy of the Institute of Human Sciences of the State University of Campinas, but works on close contact with the CLE.
Working now completely separated from the Graduate Program in Philosophy, the Graduate Program in Logic and Philosophy of Science offers degrees of Master and Doctor with research options among the following themes:
 

The Program has received candidates from all over the country and also from South-American neighbor countries, and counts presently with about 20 Students in different levels of work in progress. Students who have already
received their degrees have reached positions in several public and private universities in Brazil.

The Group for Theoretical and Applied Logic (GTAL)

Due to the similarity of interests, some researchers have unified their research perspectives, hence creating the GROUP FOR THEORETICAL AND APPLIED LOGIC (GTAL), formed by:

One of the main interests of this Group is the investigation of the concept of TRANSLATIONS BETWEEN LOGICAL SYSTEMS, theme of a project financed by FAPESP ("Projeto Traduções", coordinated by W.A. Carnielli) and congregating ten researchers from the University of São Paulo, State University of São Paulo at Rio Claro and Marilia, and Federal University of Uberlandia.
This project concentrates in the recovering of the historical sources of the concept of translation and interpretation between logical systems,the significance of translations, an abstract definition of translation between
logical systems, and an investigation of concrete cases of translations between well-known logical systems.

The Group has produced other works mainly in the areas of:

The term CONTEMPORARY LOGIC(*) has been coined in substitution to
Non-Classical Logic, based on the acknowledgement of the fact that most of
the current research in formal logic (and also in computer science) falls
under the label "non-classical". Contemporary Logic, thus, seems to be a
more appropriate descriptive name for this area which has received so much attention of an evergrowing number of researchers and has proved to be not only of practical interest but also subject of a considerable philosophical attention.


The Colloquium Logicae and the Visitors

The Group for Theoretical and Applied Logic (GTAL) maintains an advanced seminar, the Colloquium Logicae, open to the whole academic community, where visitors are regularly invited to talk.
The Group has received several visitors, including

The Journal of Non-Classical Logics and The Journal of Applied Non-Classical Logics

As part of the regular publications of the CLE, The Journal of Non-Classical Logics (JNCL) was founded in 1982. Sponsored by funds of the State University of Campinas (UNICAMP) and from FAPESP, the JNCL had edited fourteen numbers in 8 volumes, until it was unified with the Journal of Applied Non-Classical Logics, which had started tobe edited in 1991 in Toulouse, France.
Nowadays the publication corresponding to the fusing of the two journals has L. Fariñas del Cerro (Toulouse) as the editor-in-chief and Walter Carnielli (Campinas) as the editor for Latin America, and several of the members of the board of the JNCL have joined thenew journal. This unification had the objective of avoiding the dispersion of efforts, concentrating the common interest into one and only front line.

Publications By and About the GTAL
 
Proceedings of Latin American Symposia on Mathematical Logic:

1. "Non-Classical Logic, Model Theory and Computability", Studies in Logic and the Foundations of Mathematics, North-Holland Pub. Co., 1977, editors A.I. Arruda, N.C.A. da Costa and R. Chuaqui.

2. "Mathematical Logic in Latin America", Studies in Logic and the Foundations of Mathematics, North-Holland Pub. Co., 1979, editors A.I. Arruda, N.C.A. da Costa and R. Chuaqui.

3. "Methods in Mathematical Logic", Lecture Notes in Mathematics 1130,
Springer-Verlag, 1983, editor C.A. Di Prisco.

4. "Methods and Applications of Mathematical Logic", Contemporary
Mathematics vol. 69, American Mathematical Society, 1988, editors
W.A. Carnielli and L.P. de Alcantara.


Proceedings of Brazilian Conferences on Mathematical Logic:
 
5. "Mathematical Logic", Lecture Notes in Pure and Applied Mathematics,
vol. 39, Marcel Dekker Inc., 1978, editors A.I. Arruda, N.C.A. da Costa
and R. Chuaqui.

6. "Proceedings of the Third Brazilian Conference on Mathematical Logic",
Sociedade Brasileira de Lógica, 1980, editors A.I. Arruda,
N.C.A. da Costa and A.M. Sette.

7. "Logic, Sets and Information", Coleção CLE, vol. 14, CLE-UNICAMP
1995, editors W.A. Carnielli and L.C.P.D. Pereira.

8. "Proceedings of the XI Brazilian Logic Meeting", to appear.


Citations in Encyclopediae
9. "Lexikon bedeutender Mathematiker", Verlag Harri Deutsch,
Thun-Frankfurt, 1990, organized by S. Gottwald, H.J. Ilgaudes
and K.H. Schlote.

10. "Logique et Analyse", to appear.