The traditional view concerning the Fregean paradigm of logic has as its high point the concept of validity, and reduces to this the notion of reasoning, considering that reasoning is reduced to practicing the notion of logical consequence. Although with great success with regard to reasoning in mathematics, the formal sciences and much of the natural sciences, it does not seem obvious that such an approach can be applied with equal success to so-called common sense reasoning or practical reasoning or even qualitative reasoning. This project is dedicated to investigating this and other questions, emphasizing the following aspects:
- Logical Systems and Translations
- Semantics of Possible Translations
- Modulated Semantics, Preferential Models and Qualitative Reasoning
- Logical-mathematical approaches to the theory of science
Additional information and data about other ANPOF GT's
Acess here
Dept. of Philosophy, UNICAMP- Campinas, SP (coordinator)
Dept. of Philosophy, UNICAMP - Campinas, SP (vice-coordinator)
Dept. of Philosophy, USP- São Paulo, SP
Dept. of Philosophy, UNICAMP-Campinas, SP
Dept. of Mathematics, UFPR-Curitiba, PR
Dept. of Informatics, PUC- Rio de Janeiro, RJ
Dept. of Mathematics, UNESP-Rio Claro, SP
Dept. of Mathematics, UNESP-Marília, SP
Dept. of Computer and Dept. of Philosophy, UFC-Fortaleza, CE
Dept. of Mathematics, , UNESP-Bauru, SP
Univ. from Uberaba, Uberaba, MG
UFRGS, Santa Maria, RS
(PhD student)
(PhD student)
(PhD student)
(PhD)
(PhD student)
(PhD student)
(Master's Student)
(Master's Student)
Polish Academy of Sciences, Poland
University of Lodz, Poland
Nicolaus Copernicus University, Torun, Poland
University of Karlsruhe, Germany
University of Saarland, Germany