TY - BOOK AU - TARSKI,ALFRED,1901-1983 AU - MORTARI,CEZAR AUGUSTO AU - DUTRA,LUIZ HENRIQUE DE ARAUJO TI - CONCEPCAO SEMANTICA DA VERDADE (A): TEXTOS CLASSICOS DE TARSKI PY - 2007/// CY - SAO PAULO PB - ED. UNESP KW - VERDADE KW - EPISTEMOLOGIA KW - LOGICA KW - CONHECIMENTO KW - LIVRO N1 - TRADUCAO DE: THE SEMANTIC CONCEPTION OF TRUTH. BIBLIOGRAFIA: P. 247-251 N2 - ESTE VOLUME REUNE OS MAIS IMPORTANTES ARTIGOS DE ALFRED TARSKI, QUE FORMULA CLARAMENTE O PROBLEMA QUE DESEJA RESOLVER: APRESENTAR UMA DEFINICAO MATERIALMENTE ADEQUADA E FORMALMENTE CORRETA DA EXPRESSAO 'SENTENCA VERDADEIRA', O QUE JA CONSTITUI UMA REFORMULACAO BASTANTE PARTICULAR DO PROBLEMA DA VERDADE, E ESPECIFICA AS CONDICOES NAS QUAIS TAL PROBLEMA PODE RECEBER UMA SOLUCAO, ISTO E, AS NOCOES FUNDAMENTAIS DA TEORIA, COMO O FAMOSO ESQUEMA T, E AS ESPECIFICIDADES DA LINGUAGEM FORMAL PARA A QUAL E POSSIVEL TAL DEFINICAO DE SENTENCA VERDADEIRA. APOS ESPECIFICAR A LINGUAGEM DO CALCULO DE CLASSES, O AUTOR APRESENTA SUA DEFINICAO DE SENTENCA VERDADEIRA PARA ESSA LINGUAGEM FORMALIZADA, DISCUTE O CONCEITO DE SENTENCA VERDADEIRA PARA LINGUAGENS DE ORDEM FINITA E INFINITA, COM EXTENSOS COMENTARIOS, MAS TAMBEM COM DEMONSTRACOES QUE REQUEREM CONHECIMENTO DE LOGICA CLASSICA UR - https://www.santoandre.sp.gov.br/pesquisa/con_detalhe.asp?ID=153415&vHistoryNovo=sim ER -