English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Tools annual

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Tools monthly

Global: Zendy Plus monthly

Presents the access of premium content as premium feature

Premium Content

Global: Zendy Plus annual

Global: Zendy Free Plan

Uma teoria da verdade em matematica deveria sustentar ao menos dois pontos importantes, primeiro a possibilidade de conhecimento matematico, haja vista as frutiferas e variadas aplicacoes desse proprio conhecimento. E, segundo, essa teoria da verdade deve manter uma homogeneidade conceitual acerca do que e a verdade com outras areas nao-matematicas para que seja possivel um dialogo entre elas. Entretanto, apesar da razoabilidade desses pontos importantes, eles nos levam a um dilema, pois nao parece possivel manter os dois ao mesmo tempo, como nos mostra Paul Benacerraf. As teorias que se ocupam em manter uma epistemologia razoavel assumem que, diferente de areas nao-matematicas, o conhecimento matematico e produzido por sua derivabilidade formal de suas sentencas a partir de um dado conjunto de axiomas. Entretanto, encontra a dificuldade de justificar a verdade dos proprios axiomas envolvidos. Por outro lado, para as teorias que se ocupam em manter uma homogeneidade semântica temos a dificuldade de entender qual a relacao causal que as entidades matematicas podem manter com nossas outras crencas, tornando problematica a nocao de crenca justificada em matematica e, portanto, de conhecimento matematico. Como uma possivel solucao para tal dilema apresentaremos neste texto a proposta de Quine acerca do conhecimento matematico que propoe uma justificacao pragmatica deste tipo de conhecimento que nao seria distinta da justificacao de qualquer outro conhecimento nao-matematico. Assim, Quine formula uma teoria semântica unica entre as diferentes areas de conhecimento, mas, ao mesmo tempo, garante, pela sustentacao mutua entre os tipos de conhecimento, a razoabilidade epistemologica

O ARGUMENTO DA INDISPENSABILIDADE DA MATEMÁTICA COMO POSSÍVEL SAÍDA AO PROBLEMA DE ESTABELECER UMA TEORIA DA VERDADE EM MATEMÁTICA