Multimodalidades anódicas e catódicas: a negação controlada em lógicas multimodais e seu poder expressivo

O presente trabalho tem por objetivo investigar o papel da negação.no âmbito das modalidades, de forma a poder esclarecer até que ponto.a negação pode ser atenuada, controlada ou mesmo totalmente eliminada.em favor da melhor expressabilidade lógica de certas teorias, asserções ou.raciocíios que sofrem os efeitos da negação. Contudo, atenuar ou eliminar a.negaçãoo tem um alto preçco: métodos tradicionais em lógica podem deixar de.ser válidos e certos resultados, como teoremas de completude para sistemas.lóogicos, podem ser derrogados..Do ponto de vista formal, a questão central que investigamos aqui é até.que ponto tais métodos podem ser restabelecidos. Com tal .nalidade, iniciamos.nosso estudo a partir do que denominamos """"sistemas anódicos"""" (sem.negação) e, a posteriori, introduzimos gradativamente o elemento \cat.odico"""".(negações, com diversas gradações e diferentes característiicas) nos sistemas.modais por meio de combinações com certas lógicas paraconsistentes, as.chamadas lógicas da inconsistência formal (LFIs)..Todos os sistemas tratados sãoo semanticamente caracterizados por semânticas.de mundos possíveis; resultados de incompletude são também obtidos.e discutidos. Obtemos ainda semânticas modais de traduções possíveis para.diversos desses sistemas. Avançamos na direção das multimodalidades, investigando.os assim chamados sistemas multimodais anódicos e catódicos..Finalmente, procuramos avaliar criticamente o alcance e o interesse dos.resultados obtidos na direção da racionalidade sensível à negaçÕ.