SOBRE NOÇÕES DE CONSEQUÊNCIA GENERALIZADAS E LÓGICAS PLURIVALENTES

AS DENOMINADAS “LO´GICAS MULTIVALORADAS” SURGEM DO DESCONTENTAMENTO DE QUE O RACIOCI´NIO LO´GICO DEVA SE LIMITAR APENAS A ENUNCIADOS VERDADEIROS E FALSOS, OU SEJA, NAO-VERDADEIROS. O RESULTADO CONHECIDO COMO REDUC¸AO DE SUSZKO DEMONSTRA, CONTUDO, QUE TODAS AS LO´GICAS PODEM SER CARACTERIZADAS POR SEMA^NTICAS COM APENAS DOIS VALORES-DE-VERDADE. SENDO ASSIM, AS LO´GICAS PODE SER DITAS BIVALENTES, MESMO QUE SUAS SEMA^NTICAS SEJAM MULTIVALORADAS. COMO ALTERNATIVA A` IMPOSIC¸AO DA BIVALE^NCIA DADA POR ESTE RESULTADO, MALINOWSKI (1990A) INTRODUZIU UMA NOC¸AO DE CONSEQUE^NCIA GENERALIZADA, ASSOCIADA A FORMALISMOS TRIVALENTES: A QUASI-CONSEQUE^NCIA. A QUASI-CONSEQUE^NCIA POSSIBILITOU UM NOVO OLHAR SOBRE A PLURIVALE^NCIA DAS LO´GICAS, ABRINDO CAMINHO PARA A DEFINIC¸AO DE NOVAS NOC¸OES DE CONSEQUE^NCIA TAIS COMO A QUASI-CONSEQUE^NCIA DUAL (MALINOWSKI, 2000) DEFINIDA PARA LO´GICAS INFERENCIALMENTE PARACONSISTENTES E A CONSEQUE^NCIA PLAUSI´VEL (FRANKOWSKI, 2004A). NAO OBSTANTE, ESTAS NOC¸OES DE CONSEQUE^NCIA ASSOCIADAS A LO´GICAS PLURIVALENTES NAO POSSUEM AO MENOS UMA DENTRE AS PROPRIEDADES MAIS BA´SICAS DA NOC¸AO DE CONSEQUE^NCIA PADRAO: A REFLEXIVIDADE E A TRANSITIVIDADE. NA PRESENTE TESE, APRESENTAMOS AS NOC¸OES DE QUASI-CONSEQUE^NCIA E DE CONSEQUE^NCIA PLAUSI´VEL EM UMA VERSAO COM CONCLUSAO MU´LTIPLA E SUAS RESPECTIVAS NOC¸OES DUAIS JUNTO AOS RESULTADOS DE ADEQUAC¸AO DESTAS A SEMA^NTICAS TRIVALENTES. PROPOMOS TAMBE´M A LO´GICA TETRAVALENTE EB INSPIRADA NA LO´GICA DE DUNN-BELNAP FIRST DEGREE ENTAILMENT JUNTO A UM CA´LCULO DE SEQUENTES ADEQUADO. A LO´GICA EB ESTA´ ASSOCIADA A UMA RELAC¸AO DE CONSEQUE^NCIA SEMA^NTICA QUE EXPRESSA DIVERSOS TIPOS DE RACIOCI´NIO — O B-ENTAILMENT. APRESENTAMOS, A SEGUIR, A CONTRAPARTE ABSTRATA DO B-ENTAILMENT, A B-CONSEQUENCE, E SEUS RESPECTIVOS RESULTADOS DE ADEQUAC¸AO A SEMA^NTICAS TETRAVALENTES. A B-CONSEQUENCE GENERALIZA E PERMITE COMPARAR DIVERSAS NOC¸OES DE CONSEQUE^NCIA, INCLUINDO A NOC¸AO DE CONSEQUE^NCIA PADRAO, A QUASI-CONSEQUE^NCIA E SUA DUAL, A CONSEQUE^NCIA PLAUSI´VEL E SUA DUAL, E TAMBE´M NOC¸OES DE CONSEQUE^NCIA APENAS MONOTO^NICAS. A B-CONSEQUENCE MOSTRA-SE, ASSIM, SER UM ARCABOUC¸O CONCEITUAL PROMISSOR PARA PESQUISAS SOBRE LO´GICAS PLURIVALENTES E SEMA^NTICAS MULTIVALORADAS, INCLUINDO SEMA^NTICAS NAO-DETERMINI´STICAS E PARCIAIS. ESTA NOC¸AO E´ TAMBE´M UMA FERRAMENTA ROBUSTA PARA A COMPARAC¸AO DE DIFERENTES LO´GICAS E PARA A DEFINIC¸AO DE SISTEMAS LO´GICOS. OS ESTUDOS SOBRE A B-CONSEQUENCE AINDA CONTRIBUEM TANTO PARA A COMPREENSAO DO CONCEITO DE RELAC¸AO DE CONSEQUE^NCIA LO´GICA, QUANTO PARA OS DEBATES SOBRE O PLURALISMO LO´GICO.