Liars and Circles: essays on truth, self-reference and paradoxes

Author(s)

Fernanda Birolli Abrahão

• Document type: Master's Dissertation
• Press: São Paulo.
• Institution: Universidade de São Paulo (USP). Faculdade de Filosofia, Letras e Ciências Humanas (FFLCH/SBD)
• Defense date: 2023-06-26

Examining board members

Edelcio Gonçalves de Souza; Itala Maria Loffredo D'Ottaviano; Michael Glanzberg; Daniel Arvage Nagase

• Advisor: Edelcio Gonçalves de Souza

Abstract

Esta dissertação de mestrado consiste em quatro capítulos que investigam aspectos filosóficos e lógicos relacionados aos seguintes temas: paradoxos, auto-referência e circularidade. O primeiro capítulo aborda a questão "o que é um paradoxo?" Inicialmente, são exploradas a etimologia da palavra "paradoxo" e sua possível ligação ao conceito de "nonsense" (não-sentido), com base nas concepções dos filósofos Wittgenstein e Deleuze. O capítulo conclui com uma análise de argumentos lógicos específicos e uma avaliação de sua natureza paradoxal. No segundo capítulo, realizo um estudo formal dos paradoxos lógicos, incluindo o Mentiroso, o Heterológico e o Paradoxo de Yablo. Durante a discussão sobre este último paradoxo, identifico a falta de definições explícitas dos conceitos de autorreferência e circularidade. Estes conceitos são abordados em maior detalhe no terceiro capítulo, no qual são apresentadas definições precisas para os conceitos de referência, auto-referência e circularidade, utilizando interpretações modelo-teóricas. Além disso, são demonstradas propriedades relacionadas a paradoxos bem conhecidos. O quarto capítulo concentra-se nas linguagens e teorias semanticamente fechadas, fornecendo uma definição formal e construção de uma linguagem de primeira ordem semanticamente fechada bissortida. Também discuto se as linguagens cotidianas, como o português ou o inglês, são semanticamente fechadas. Esta dissertação oferece uma exploração aprofundada dos conceitos de verdade, auto-referência e paradoxos, estabelecendo uma conexão entre a filosofia e a lógica formal. (AU)

• FAPESP's process: 20/02402-2 - Truth and paradox: consequences of the liar's paradox for formal theories of truth
• Grantee: Fernanda Birolli Abrahão
• Support Opportunities: Scholarships in Brazil - Master