Ferramentas Lógicas e Matemáticas Contemporâneas

• Main Authors: Tadeu Fernandes Carvalho (Author), Itala Maria Loffredo D'Ottaviano (Author)
• Format: Book
• Published: Instituto Politécnico de Viseu, 2016-02-01T00:00:00Z.
• Subjects: article
• Online Access: Connect to this object online.
• Notes: 0873-3015; 1647-662X
• Keywords: Cálculo; Cálculo Paraconsistente; Análise Não-Standard; Lógica Paraconsistente; Aplicabilidade; Special aspects of education; LC8-6691; Public aspects of medicine; RA1-1270
• Source: Millenium, Vol 0, Iss 41, Pp 17-35 (2016)

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).