INVESTIGAÇÕES EM SEMÂNTICA CONSTRUTIVA

AS SEMÂNTICAS CONSTRUTIVAS OFERECEM UMA NOVA ABORGEM SEMÂNTICA PARA AS CONSTANTES LÓGICAS. ESSAS SEMÂNTICAS GOZAM DE FORTES MOTIVAÇÕES ?LOSÓ?CAS AD- VINDAS DA ?LOSO?A DA LINGUAGEM E DA ?LOSO?A DA MATEMÁTICA. NÓS INVESTIGAMOS ESSA NOVA ABORDAGEM SEMÂNTICA DA LÓGICA E SUA CONCEPÇÃO DE VALIDADE LÓGICA SOB A LUZ DE SUAS PRÓPRIAS ASPIRAÇÕES ?LOSÓ?CAS, EM ESPECIAL AQUELAS REPRESENTADAS PELO TRABALHO DE DUMMETT (1991).DENTRENOSSOSRESULTADOS,DESTACAMOSAVALIDADEDA REGRA DE PEIRCE EM RELAÇÃO A UM PROCEDIMENTO JUSTI?CATÓRIO BASEADO NAS REGRAS DE INTRODUÇÃO PARA AS CONSTANTES LÓGICAS PROPOSICIONAIS. ESSA É UMA SITUAÇÃO INDESE- JÁVEL, POIS A REGRA DE PEIRCE NÃO É CONSIDERADA ACEITÁVEL DE UM PONTO DE VISTA CONS- TRUTIVO. NÓS PROPOMOS ALGUMAS MEDIDAS PARA CONTORNAR O PROBLEMA APOIANDO-NOS NO TRABALHO DE GENTZEN (1935)EMDETRIMENTODAINTERPRETAÇÃOBHK.