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:

* Model and Proof Theory of Non-Classical Logics
* Algebraic Aspects of Non-Classical Logics
* Computability Theory
* Foundations of Set Theory
* Philosophy of Logic

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.