Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/32565
Título: | Sobre disjunções, confluências e o centro de gravidade da lógica filosófica |
Autor(es): | Espírito Santo, José |
Data: | 2014 |
Editora: | Universidade do Minho. Centro de Estudos Humanísticos (CEHUM) |
Resumo(s): | 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. |
Tipo: | Artigo em ata de conferência |
URI: | https://hdl.handle.net/1822/32565 |
Arbitragem científica: | no |
Acesso: | Acesso aberto |
Aparece nas coleções: | CMAT - Outros trabalhos de investigação / Other research works |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
Actas(VersaoRepositorio).pdf | 479,5 kB | Adobe PDF | Ver/Abrir |