000			01903nam a2200313 i 4500
001			santoandre-con_detalhe-153415
003			SANTOANDRE
005			20260717130642.0
008			260717s2007 bl ||||| |||| 00| 0 por d
040			_aSANTOANDRE _bpor _erda _dKoha
099			_acon_detalhe:153415
245	1	0	_aCONCEPCAO SEMANTICA DA VERDADE (A): TEXTOS CLASSICOS DE TARSKI
100	1		_aTARSKI, ALFRED, 1901-1983 _eAutor
700	1		_aMORTARI, CEZAR AUGUSTO _eOrganizador
700	1		_aDUTRA, LUIZ HENRIQUE DE ARAUJO _eOrganizador
250			_a1 ed.
264		1	_aSAO PAULO _bED. UNESP _c2007
300			_a251P. ILUS. 21CM. BROCH.
546			_aPORTUGUES
500			_aTRADUCAO DE: THE SEMANTIC CONCEPTION OF TRUTH. BIBLIOGRAFIA: P. 247-251.
520			_aESTE 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.
650		4	_aVERDADE
650		4	_aEPISTEMOLOGIA
650		4	_aLOGICA
650		4	_aCONHECIMENTO
655		4	_aLIVRO
856	4	0	_uhttps://www.santoandre.sp.gov.br/pesquisa/con_detalhe.asp?ID=153415&vHistoryNovo=sim _yRegistro de origem
942			_cBK
999			_c132014 _d132014