Utilize este identificador para referenciar este registo: http://hdl.handle.net/10400.19/1224
Título: Ferramentas Lógicas e Matemáticas Contemporâneas
Autor: Carvalho, Tadeu Fernandes
D’Ottaviano, Itala Maria Loffredo
Palavras-chave: Cálculo
Cálculo Paraconsistente
Análise Não-Standard
Lógica Paraconsistente
Aplicabilidade
Data: Dez-2011
Editora: Instituto Politécnico de Viseu
Citação: Carvalho, Tadeu Fernandes & D’Ottaviano, Itala Maria Loffredo (2011). Ferramentas Lógicas e Matemáticas Contemporâneas. Millenium, 41 (julho/dezembro). Pp. 17-35
Relatório da Série N.º: ;41
Resumo: Neste artigo apresentamos um panorama objetivo do surgimento e das características da Análise Não- Standard (ANS) de Abraham Robinson, da Lógica Paraconsistente e do Cálculo Diferencial Paraconsistente (CDP) de Newton Carneiro Affonso da Costa, entre outras considerações acerca das ferramentas lógicas e matemáticas contemporâneas. Destacamos o CDP como um Cálculo ainda em construção, intimamente relacionado com teorias que preservam as mais importantes propriedades do Cálculo clássico e que, da mesma forma, apresenta inegáveis potencialidades para aplicações concretas. De facto, o Cálculo Paraconsistente estende o Cálculo tradicional e aproxima ideias presentes na Análise Infinitesimal de Newton e Leibniz e na Análise Não-Standard de Robinson, sob o uso da lógica paraconsistente e de teorias paraconsistentes de conjuntos (ver Batens et al., 2000; Robinson, 1996; da Costa, 1963, 1993; e D’Ottaviano, 1990).
Peer review: yes
URI: http://hdl.handle.net/10400.19/1224
Aparece nas colecções:RE - Número 41 - Dezembro de 2011

Ficheiros deste registo:
Ficheiro Descrição TamanhoFormato 
Ferramentas Lógicas e Matemáticas.pdf298,11 kBAdobe PDFVer/Abrir


FacebookTwitterDeliciousLinkedInDiggGoogle BookmarksMySpace
Formato BibTex MendeleyEndnote Degois 

Todos os registos no repositório estão protegidos por leis de copyright, com todos os direitos reservados.