| Name: | Description: | Size: | Format: | |
|---|---|---|---|---|
| 298.11 KB | Adobe PDF |
Advisor(s)
Abstract(s)
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).
Description
Keywords
Cálculo Cálculo Paraconsistente Análise Não-Standard Lógica Paraconsistente Aplicabilidade
Citation
Carvalho, Tadeu Fernandes & D’Ottaviano, Itala Maria Loffredo (2011). Ferramentas Lógicas e Matemáticas Contemporâneas. Millenium, 41 (julho/dezembro). Pp. 17-35