Compactadores Inferenciais de Terceiro Nível

 

                            É evidente que tudo isso de sistematização da lógica começou com Aristóteles e depois foi dado um salto imenso até a assunção ou elevação contemporânea (portanto, depois de 1789, com vários deles: Frege, Carnap, Russell/Whitehead, Popper e outros), coisa de quase 2,2 mil anos. Isso vem se prolongando como teoria durante 150 anos até que agora começaram a aparecer os instrumentos PRÁTICOS de inferência, como o Prolog, o Isabelle, o PVS e outros, a par dos traçadores de gráficos (como o Maple e outros).

                            NÍVEIS

·       Primeiro: Aristóteles e a Escola Peripatética dele;

·       Segundo: faixa contemporânea (Popper morreu em 1994);

·       Terceiro (a surgir): faixa pós-contemporânea (depois de 1991, queda da URSS).

Ninguém propôs isso, estou dizendo.

É como geração de computador, só que esta é curtinha, de alguns anos; mas na PROGRAMAÇÃO PRATEÓRICA DE INFERÊNCIA também estão sendo dados saltos. É uma surpresa, embora tivéssemos esperado para antes. Os matemáticos estiveram dormindo no ponto, mais uma vez. É detestável tudo isso.

Vitória, segunda-feira, 02 de maio de 2005.

 

                            ARISTÓTELES

Aristóteles (384-322 a.C.), filósofo e cientista grego. Estudou em Atenas, na Academia de Platão. Foi tutor de Alexandre III o Grande. Microsoft ® Encarta ® Encyclopedia 2002. © 1993-2001 Microsoft Corporation. Todos os direitos reservados.

                            FREGE

Frege, Gottlob (1848-1925), matemático e filósofo alemão; foi o fundador da lógica matemática moderna. Nasceu em Wismar e estudou nas universidades de Göttingen e Iena, tornando-se mais tarde professor de Matemática nesta última. Microsoft ® Encarta ® Encyclopedia 2002. © 1993-2001 Microsoft Corporation. Todos os direitos reservados.

                            RUSSELL E WHITEHEAD

Russell, Bertrand (1872-1970), filósofo e matemático britânico. Em suas primeiras obras — Princípios das matemáticas (1902) e Principia Mathematica (1910-1913), esta última realizada em colaboração com Alfred North Whitehead — Russell transportou a matemática para a área da filosofia lógica, mais concretamente, da lógica simbólica. Microsoft ® Encarta ® Encyclopedia 2002. © 1993-2001 Microsoft Corporation. Todos os direitos reservados.

Whitehead, Alfred North Whitehead, Alfred North (1861-1947), matemático e metafísico britânico. Trabalhou no desenvolvimento da lógica simbólica e escreveu, junto com Bertrand Russell, Principia matemática (1910-1913). Oposto aos conceitos do materialismo científico, Whitehead desenvolveu seu “método de abstração extensivo”, cujo objetivo era formular uma filosofia da ciência natural. Microsoft ® Encarta ® Encyclopedia 2002. © 1993-2001 Microsoft Corporation. Todos os direitos reservados.

                            CARNAP

Carnap, Rudolf (1891-1970), filósofo alemão. Destacada figura do movimento filosófico positivismo ou empirismo lógico. Microsoft ® Encarta ® Encyclopedia 2002. © 1993-2001 Microsoft Corporation. Todos os direitos reservados.

                            POPPER

Popper, Karl Raimund (1902-1994), filósofo britânico de origem austríaca. Simpatizou com a atitude científica da Escola de Viena (ver Positivismo). Microsoft ® Encarta ® Encyclopedia 2002. © 1993-2001 Microsoft Corporation. Todos os direitos reservados.

INFERÊNCIA (no Aurélio Século XXI)

[Do lat. med. inferência. ] S. f. 1. Ato ou efeito de inferir; indução, conclusão, ilação. 2. Lóg.  Passagem da premissa à conclusão; ilação.  Inferência imediata.  Lóg.  1. Passagem de uma proposição a outra que dela deriva sem mediação. [São tipos de inferência imediata a contraposição, a conversão, a obversão, a oposição. ]

INFERÊNCIA NA ENCARTA E NA INTERNET

Filosofia da ciência Filosofia da ciência, investigação sobre a natureza geral da prática científica. Busca saber como se desenvolvem, se avaliam e se transformam as teorias científicas e se a ciência é capaz de revelar a verdade de entidades ocultas e dos processos da natureza. Microsoft ® Encarta ® Encyclopedia 2002. © 1993-2001 Microsoft Corporation. Todos os direitos reservados.

(Publicado em Cadernos de História e Filosofia da Ciência, série 3, 6 (1): 45-73, 1996.) A inferência abdutiva e o realismo científico [Nota 1] SILVIO SENO CHIBENI