On the conditions for a comparison of ontological commitment between theories

• Grant number: 17/21020-0
• Support Opportunities: Scholarships abroad - Research Internship - Doctorate (Direct)
• Start date: February 01, 2018
• End date: January 31, 2019
• Field of knowledge: Humanities - Philosophy - Logic
• Principal Investigator: Walter Alexandre Carnielli
• Grantee: Alfredo Roque de Oliveira Freire Filho
• Supervisor: Joel David Hamkins
• Host Institution: Centro de Lógica, Epistemologia e História da Ciência (CLE). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brazil
• Institution abroad: City University of New York, New York (CUNY), United States
• Associated to the scholarship: 16/10497-8 - Compared study of ontological commitment of classes and sets theories, BP.DD

Abstract

In this internship proposal we are interested in going to the Graduate Center at the City University of New York to advance our ongoing research in compared ontological commitment between first order theories. The focus of the research will be on comparisons among set theories, particularly the Zermelo-Fraenkel set theory (ZFC) and von Neumann-Bernays-G\"odel class theory (NBG), envisioning the establishment of a general methodology of the ontological comparisons. (AU)

Scientific publications

(References retrieved automatically from Web of Science and SciELO through information on FAPESP grants and their corresponding numbers as mentioned in the publications by the authors)

FREIRE, ALFREDO ROQUE; HAMKINS, JOEL DAVID. BI-INTERPRETATION IN WEAK SET THEORIES. JOURNAL OF SYMBOLIC LOGIC, v. 86, n. 2, p. 609-634, JUN 2021. (17/21020-0)