FROM GENERATIVE LINGUISTICS TO CATEGORIAL GRAMMARS: OVERT SUBJECTS IN CONTROL INFINITIVES

A PRESENTE TESE SITUA-SE NA INTERFACE DA LÓGICA E DA LINGUÍSTICA; O SEU OBJETO DE ESTUDO SÃO OS PRONOMES LEXICAIS EM SENTENÇAS DE CONTROLE EM TRÊS LÍNGUAS ROMÂNICAS: PORTUGUÊS, ITALIANO E ESPANHOL. ESSE ASSUNTO TEM RECEBIDO MAIS ATENÇÃO NA LINGUÍSTICA GERATIVA, ESPECIALMENTE NOS ANOS RECENTES, DO QUE NA GRAMÁTICA DE CUNHO LÓGICO. TALVEZ COMO CONSEQUÊNCIA DISSO, HÁ AINDA MUITO A SER ENTENDIDO SOBRE ESSAS ESTRUTURAS LINGUÍSTICAS E AS SUAS PROPRIEDADES LÓGICAS. ESSA TESE TENTA PREENCHER AS LACUNAS NA LITERATURA— OU, PELO MENOS, AVANÇAR NESSA DIREÇÃO— COLOCANDO QUESTÕES QUE NÃO FORAM SUFICIENTEMENTE EXPLORADAS ATÉ AGORA. PARA TAL EFEITO AVANÇAMOS DUAS PERGUNTAS-CHAVES, UMA LINGUÍSTICA E A OUTRA LÓGICA. ELAS SÃO, RESPECTIVAMENTE: QUAL É O ESTATUTO SINTÁTICO DOS PRONOMES LEXICAIS EM ESTRUTURAS DE CONTROLE? E: QUAIS SÃO OS MECANISMOS DISPONÍVEIS, EM UMA GRAMÁTICA LÓGICA LIVRE DE CONTRAÇÃO, PARA SE REUSAR RECURSOS SEMÂNTICOS? A TESE DIVIDE-SE, CONSEQUENTEMENTE, EM DUAS PARTES: LINGUÍSTICA GERATIVA E GRAMÁTICA CATEGORIAL. NA PARTE I REVISAMOS ALGUMAS DAS PRINCIPAIS TEORIAS DE CONTROLE GERATIVISTAS E A RECENTE DISCUSSÃO ACERCA DAS CLÁUSULAS INFINITIVAS COM SUJEITO LEXICAL. NA PARTE II REVISAMOS A LITERATURA CATEGORIAL, ATENDENDO PRINCIPALMENTE ÀS PROPOSTAS ACERCA DAS ESTRUTURAS DE CONTROLE E DOS PRONOMES ANAFÓRICOS. EM ÚLTIMA INSTÂNCIA, MOSTRAREMOS QUE AS PROPOSTAS LINGUÍSTICAS E LÓGICAS PRÉVIAS PRECISAM SER MODIFICADAS PARA SE EXPLICAR O FENÔMENO LINGUÍSTICO EM QUESTÃO. COM EFEITO, NOS CAPÍTULOS FINAIS DE CADA UMA DAS PARTES AVANÇAMOS PROPOSTAS ALTERNATIVAS QUE, A NOSSO VER, RESULTAM MAIS ADEQUADAS QUE AS SUAS RIVAIS. MAIS ESPECÍFICAMENTE, NA PARTE I AVANÇAMOS UMA PROPOSTA LINGUÍSTICA NA LINHA DO CÁLCULO DE CONTROLE T/AGR DE LANDAU. NA PARTE II APRESENTAMOS DUAS PROPOSTAS CATEGORIAIS, UMA NA LINHA DO CÁLCULO CATEGORIAL COMBINATÓRIO E A OUTRA, NA GRAMÁTICA LÓGICA DE TIPOS. FINALMENTE MOSTRAMOS A IMPLEMENTAÇÃO DA ÚLTIMA PROPOSTA EM UM ANALISADOR SINTÁTICO E DE DEMONSTRAÇÃO CATEGORIAL (CATEGORIAL PARSER/THEOREM-PROVER).