CONSEQUÊNCIA LÓGICA E MODELOS: UMA INVESTIGAÇÃO LÓGICO-FILOSÓFICA

O OBJETIVO DESTE TRABALHO É REALIZAR UMA INVESTIGAÇÃO LÓGICO-FILOSÓFICA ACERCA DA CONSEQUÊNCIA LÓGICA. MAIS ESPECIFICAMENTE, ANALISAREMOS A CONSEQUÊNCIA LÓGICA A PARTIR DO RECORTE DA TEORIA DE MODELOS, I.E., A CONSEQUÊNCIA LÓGICA MODELO-TEORÉTICA. EM VISTA DESTE RECORTE METODOLÓGICO, NOSSA INVESTIGAÇÃO INICIARÁ PELO LOCUS FUNDAMENTAL DA CONSEQUÊNCIA LÓGICA MODELO-TEORÉTICA, A SABER: OS TRABALHOS DE METAMATEMÁTICA DO LÓGICO E MATEMÁTICO POLONÊS ALFRED TARSKI. A PROPOSTA MODELO-TEORÉTICA DE TARSKI, POR SUA VEZ, DADA SUA GRANDE INFLUÊNCIA, ACABOU POR ECLIPSAR A CONSEQUÊNCIA LÓGICA TOUT COURT. A CONSEQUÊNCIA LÓGICA ACABOU POR SE TORNAR NADA MAIS NADA MENOS DO QUE A CONSEQUÊNCIA MODELO-TEORÉTICA. É NESSE CONTEXTO QUE SURGE O SED CONTRA À PROPOSTA MODELO-TEORÉTICA, CONDENSADA NAS CRÍTICAS DE JOHN ETCHEMENDY. CONTUDO, TAIS CRÍTICAS PRODUZIRAM REPOSTAS CONSERVADORAS E REVISIONISTAS NO QUE CONCERNE À PROPOSTA MODELO-TEORÉTICA. ESTE TRABALHO, PORTANTO, VALENDO-SE DESSE CONTEXTO DIALÉTICO, PROCURA EMPREENDER UMA INVESTIGAÇÃO LÓGICO-FILOSÓFICA QUE PERMITA ARTICULAR PRELIMINARMENTE UMA TEORIA DA CONSEQUÊNCIA\VERDADE LÓGICA. SENDO ESTE O CASO, EM PRIMEIRO LUGAR, APRESENTAMOS O TRATAMENTO DA CONSEQUÊNCIA LÓGICA POR PARTE DE TARSKI, ARTICULADO EM TRÊS NÍVEIS: CONSEQUÊNCIA LÓGICA COMO OPERADOR, COMO NOÇÃO PROVA-TEORÉTICA E COMO NOÇÃO MODELO-TEORÉTICA. POR CONSEGUINTE, APRESENTAMOS E AVALIAMOS AS CRÍTICAS DE JOHN ETCHEMENDY, JUNTAMENTE COM AS RESPOSTAS ÀS SUAS CRÍTICAS. NO CAPÍTULO SEGUINTE, APRESENTAMOS TRÊS PROPOSTAS REVISIONISTAS TEORICAMENTE SUBSTANTIVAS. NO ÚLTIMO CAPÍTULO, PROCURAMOS ARTICULAR UMA SÍNTESE DESSE CONTEXTO DIALÉTICO QUE PERMITA ESBOÇAR UMA TEORIA INCOATIVA DA CONSEQUÊNCIA LÓGICA.