Meeting 30 - April 01, 2021

Meeting 30 - April 01, 2021

Resumo: Nesta apresentação, discutiremos alguns dos principais problemas das abordagens aos nomes ficcionais baseadas na lógica clássica e em lógicas livres. Apresentaremos, em seguida, um tratamento alternativo para modelar raciocínios nos quais nomes ficcionais ocorrem, propondo que enunciados sejam avaliados como sendo realmente ou ficcionalmente verdadeiros (ou falsos). Formalmente, nossa abordagem envolve a formulação de duas lógicas que diferem-se pela maneira como os valores de verdade reais e ficcionais interagem entre si. Ambas as lógicas, bem como os sistemas dedutivos correspondentes, também serão discutidos no decorrer da apresentação.