LÓGICAS MONÁDICA E BI-SORTIDA DE PRIMEIRA-ORDEM PARA A ANÁLISE DE CONCEITOS FORMAIS

A ANÁLISE DE CONCEITOS FORMAIS (ACF) É UMA TEORIA QUE FORMALIZA AS NOÇÕES DE 'CONCEITO' E 'HIERARQUIA CONCEITUAL'. FOI DESENVOLVIDA INICIALMENTE POR RUDOLF WILLE COMO UMA FERRAMENTA PARA DESCOBRIR DEPENDÊNCIAS ENTRE DADOS DE UM DETERMINADO CONJUNTO E, CONSEQUENTEMENTE, PARA APOIAR A ANÁLISE CONCEITUAL. OS DADOS SÃO REPRESENTADOS POR UMA TABELA CRUZADA CHAMADA 'CONTEXTO FORMAL', QUE DESCREVE CONEXÕES PARTICULARES ENTRE CONJUNTOS DE OBJETOS E CONJUNTOS DE ATRIBUTOS. A NOÇÃO DE UM 'CONCEITO FORMAL' DESSE CONTEXTO FORMAL SURGE QUANDO UM CONJUNTO DE OBJETOS (OU SEJA, A 'EXTENSÃO' DO CONCEITO) ESTÁ CONECTADO AO CONJUNTO DE SEUS ATRIBUTOS COMUNS (OU SEJA, A 'INTENSÃO' DO CONCEITO). TODOS OS CONCEITOS DE UM CONTEXTO FORMAM UMA ESTRUTURA CHAMADA DE 'RETICULADO CONCEITUAL' - OU SEJA, UMA ESTRUTURA HIERÁRQUICA REPRESENTADA POR UM DIAGRAMA DE LINHAS (TAMBÉM CONHECIDO COMO 'DIAGRAMA DE HASSE), DOTADO DE UMA RELAÇÃO DE SUBCONCEITO-SUPERCONCEITO. ESTE TRABALHO APRESENTA DUAS ABORDAGENS LÓGICAS PARA A ANÁLISE DE CONCEITOS FORMAIS (ACF): UMA LÓGICA MONÁDICA DE PRIMEIRA-ORDEM CLÁSSICA E UMA LÓGICA BI-SORTIDA DE PRIMEIRA-ORDEM CLÁSSICA. ESSAS ABORDAGENS PARECEM ESTENDER AS CAPACIDADES DA ACF, FORNECENDO MÉTODOS MAIS PRECISOS, EXPRESSIVOS E FLEXÍVEIS PARA ANALISAR AS RELAÇÕES ENTRE CONCEITOS.