Da Semântica para Demonstrações de Consistência e a Volta
v. 6 n. 2 (2018) Dossiê "Colóquio UnB-USP de Lógica e Filosofia da Lógica" • Revista de Filosofia Moderna e Contemporânea
Autor: Rodrigo A. Freire, Luiza S. P. Ramos
Resumo:
O presente artigo contém duas teses principais. Primeiro, que o ponto de partida em uma demonstração de consistência de um sistema formal é uma noção semântica. Essa tese é apresentada a partir de uma análise das etapas pelas quais uma demonstração de consistência passa, uma vez que um atributo de fórmulas com base em alguma interpretação deve ser estipulado já na etapa inicial. Para avançar cada uma das etapas, uma demonstração de consistência deve produzir um ganho de entendimento correspondente em relação ao sistema. Confirmamos a tese por um estudo de casos de três sistemas em que três demonstrações construtivas de consistência correspondentes são analisadas. O estudo é restrito a demonstrações construtivas pois no caso modelo-teórico a tese é evidente. Estudamos a lógica de primeira ordem, a aritmética sem indução, também conhecida como aritmética de Robinson, e a aritmética com indução ou de Peano. Em seguida, consideramos a relação entre consistência e verdade na aritmética sob o prisma do estudo de casos. A partir disso, podemos formular a segunda tese: há uma concepção da verdade aritmética que não se compromete de partida com a consistência. Tal tese é motivada tendo em vista as limitações para demonstrações de consistência apresentadas.
DOI: https://doi.org/10.26512/rfmc.v6i2.19201
Texto Completo: http://periodicos.unb.br/index.php/fmc/article/view/19201
Palavras-Chave: demonstração de consistência,construtividade,
Revista de Filosofia Moderna e Contemporânea
A Revista de Filosofia Moderna e Contemporânea caracteriza-se como um periódico digital, idealizado por um grupo de professores do Departamento de Filosofia da UnB (Universidade de Brasília), cujos interesses de pesquisa convergem para a interpretação e o debate dos pressupostos e dos desdobramentos históricos da tradição filosófica iniciada por volta do século XVII, centrada na discussão das faculdades do sujeito, dos modelos de organização política e social, dos valores e normas de conduta, assim como da natureza do belo e dos fundamentos da arte.
A Revista pretende ser um espaço de divulgação de estudos interpretativos e discussões acerca de temas, questões e autores de destaque na história da filosofia moderna e contemporânea. Neste sentido, ela se propõe a publicar artigos originais, bem como traduções e resenhas, relativos ao pensamento filosófico moderno e contemporâneo, redigidos em português, espanhol, francês, italiano, inglês e alemão, cujos autores sejam doutores, doutorandos ou mestres em filosofia (ou áreas afins).
Não será solicitado aos autores o pagamento de qualquer custo, referente tanto à submissão quanto ao processamento dos seus trabalhos.