Truth and paradox: consequences of the liar's paradox for formal theories of truth

• Grant number: 20/02402-2
• Support Opportunities: Scholarships in Brazil - Master
• Start date: May 01, 2020
• End date: March 31, 2023
• Field of knowledge: Humanities - Philosophy - Logic
• Principal Investigator: Edelcio Gonçalves de Souza
• Grantee: Fernanda Birolli Abrahão
• Host Institution: Faculdade de Filosofia, Letras e Ciências Humanas (FFLCH). Universidade de São Paulo (USP). São Paulo , SP, Brazil
• Associated scholarship(s): 21/08273-2 - Truth and paradox: consequences of the liar's paradox for formal theories of truth, BE.EP.MS

Abstract

This project aims to study the concept of truth in formal theories. How can we understand the notion of formal truth in a consistent way? This creates a series of problems, the Liar paradox being one of the main ones. There are some alternatives to solve it towards a formal notion of truth. The first of them gives as a solution the abandonment of classical logic and adopts non-classical logic. The second is composed of different strategies, united by the fact that they intend to maintain the classical logic and, for that, they restrict the principles of capture and release (which will be exposed ahead). The third alternative turns to some sub-structural approaches, which, unlike the others, shape deep structures of logical reasoning to solve the paradox. (AU)

Academic Publications

(References retrieved automatically from State of São Paulo Research Institutions)

ABRAHÃO, Fernanda Birolli. Liars and Circles: essays on truth, self-reference and paradoxes. 2023. Master's Dissertation - Universidade de São Paulo (USP). Faculdade de Filosofia, Letras e Ciências Humanas (FFLCH/SBD) São Paulo.