Sobre disjunções, confluências e o centro de gravidade da lógica filosófica

No dizer de Burgess [B2009], o centro de gravidade da Lógica Filosófica é, hoje em dia, a área científica que, em Inglês, se designa por Theoretical Computer Science. Não sei bem como traduzir esta designação, mas, se assim é, a área científica assim designada parece ser relevante num painel sobre Matemática e Ciências da Computação, integrado num colóquio sobre as disjunções e confluências entre Humanidades e Ciências. O pequeno trabalho técnico sobre o qual vou aqui escrever pertence à Teoria da Demonstração – pertence, portanto, a um dos compartimentos principais da Lógica Matemática, dos mais próximos da Theoretical Computer Science; e é relativo às distinções entre lógicas clássicas e não-clássicas – ora o estudo das lógicas não-clássicas é outra definição da Lógica Filosófica. O referido trabalho técnico ocupa a segunda parte deste artigo e debruça-se (curiosamente) sobre a operação lógica de disjunção, no contexto da lógica clássica. O objectivo do exercício não é tanto o de publicitar o resultado final, mas antes o de ilustrar como, através de exercícios técnicos deste género, que constituem o dia-a-dia de alguns lógicos, se tocam indirectamente questões que talvez possam ser do interesse de alguns colegas das Humanidades. Esta tentativa de confluência ocupará a terceira parte deste artigo. Depois de explicitado o objectivo do artigo, é evidente qual será o seu tom: o cientista tentará, numa linguagem que não é a sua, falar ao humanista em problemas estranhos a este, sem perder a esperança de ser transparente. A ver vamos.Fundação para a Ciência e a Tecnologia (FCT