Fabiobertato - Kíneis

SOBRE O MTODO DE CLCULO COM AEL DE POLIMIOS:
ATECEDETES HISTRICOS E POSSIBILIDADES DE PESQUISA

O THE POLYOMIAL RIG CALCULUS: HISTORICAL BACKGROUD
AD RESEARCH POSSIBILITIES

Fbio Maia Bertato
1

Resumo: Este artigo aborda os antecedentes histricos e as possibilidades do mtodo de
Clculo com Anis de Polinmios (PRC), por meio do estudo de sua aplicabilidade a
diversas lgicas e, em particular, sobre o possvel desenvolvimento deste sistema
algbrico de prova aplicado Lgica de Primeira Ordem.

Palavras-chave: Lgica; Anis de Polinmios; Algebrizao; Lgicas Clssicas e No-
Clssicas.

Abstract: In this paper we consider the historical background and the possibilities of
the method of the Polynomial Ring Calculus (PRC), studying some of its applicability
to different logics and, in particular, the possible development of this algebraic system
of proof applied to the First Order Logic.

Keywords: Logic; Polynonial Rings; Algebrization; Classical and Non-Classical
Logics.

***

1 - Consideraes histricas

Durante a Idade Mdia, por tradio greco-romana, o indivduo culto era
educado no sistema das Sete Artes Liberais. Tal sistema consistia no estudo do Trivium
e do Quadrivium. O Trivium, que representava as Humanidades, consistia da Gramtica,
Retrica e Dialtica (Lgica). Os mais avanados estudavam ento as Matemticas: a
Aritmtica, a Geometria, a Astronomia e a Msica, disciplinas que compunham o
Quadrivium. Os versados nestas podiam ento se dedicar s investigaes da Filosofia,
Teologia, Direito e Medicina, ver [1] [2] e [3]. Nota-se que a Lgica, considerada como
criao de Aristteles, no era classificada como uma disciplina matemtica. Todavia,
sua influncia evidente nas obras dos matemticos desde tempos mais remotos. A obra
Os Elementos de Euclides um exemplo da marca indelvel da Lgica aristotlica
aplicada, especialmente quando se compara o mtodo dedutivo euclidiano com o
conjunto de textos conhecidos por Organon.

1
Pesquisador (Carreira Pq da Unicamp) do Centro de Lgica, Epistemologia e Histria da Cincia (CLE -
Unicamp). E-mail: fmbertato@cle.unicamp.br.
Sobre o mtodo de clculo com anel de polinmios
2 Knesis, Vol. V, n 10, Dezembro 2013, p. 1 - 18

A Lgica contempornea um ramo da Matemtica e da Filosofia. Nas
universidades de todo mundo possvel averiguar-se a existncia de cursos de Lgica
em departamentos de ambas, com intenso intercmbio. A Lgica, cincia do raciocnio
vlido, est subjacente a todas as investigaes no domnio do puramente racional e
converteu-se em disciplina matemtica ([4]). Tal converso tem razes nos trabalhos de
Leibniz, Peacock, De Morgan, Boole, Frege e Gdel,
2
entre outros.
Leibniz considerado o primeiro a desenvolver uma lgica simblica. Seu
simbolismo, denominado characteristica universalis, poderia representar relaes
lgicas e constituir a base para uma lgebra lgica, o calculus ratiocinator, ver [7]. Tais
ferramentas permitiriam que quaisquer desacordos entre indivduos ou naes fossem
solucionados por meio de simples clculos.
3

Consideramos que os primeiros passos dados por George Peacock (1791 - 1858)
e Augustus De Morgan (1806 - 1871) na libertao da lgebra muito influenciaram
no desenvolvimento da Lgica Matemtica. Peacock distinguiu em sua obra Treatise on
Algebra (1845) dois tipos de lgebra: a lgebra aritmtica e a lgebra simblica, ver
[8]. A primeira era a aritmtica universal dos reais no-negativos e os smbolos
representavam tais nmeros e as operaes com os mesmos. J na lgebra simblica
os smbolos independiam de qualquer particular interpretao. As operaes com os
smbolos eram derivadas das manipulaes com os nmeros ([9]).
De Morgan reconheceu que as leis da lgebra poderiam ser criadas
independentemente de analogias com a Aritmtica. Basicamente, De Morgan defendia
que um sistema algbrico poderia ser criado a partir de certos smbolos e um conjunto
de regras para oper-los, sendo uma interpretao algo a posteriori ([9]).
4
Apesar disso,
no criou um sistema que obedecesse regras distintas da Aritmtica.

2
A bem conhecida importncia deste ltimo pode ser resumida com as palavras de Simon Kochen (segundo R.
Goldstein): Gdel ps a lgica no mapa matemtico. Todo departamento matemtico importante agora tem um
representante da lgica em sua equipe. Podem ser apenas um ou dois lgicos, mas pelo menos haver algum ([5]).
3
Quo facto, quando orientur controversiae, non magis disputatione opus erit inter duos philosophos, quam inter
duos computistas. Sufficiet enim calamos in manus sumere sedereque ad abacos et sibi mutuo...dicere, calculemus!
[Quando surgissem controvrsias, no seria necessrio a disputa entre dois filsofos seno de dois calculistas.
Para tanto seria suficiente que tomassem seus lpis em mos, sentassem juntos a seus bacos e dissessem um ao
outro...: Calculemos!] ([6]).
4
"We may try this in a small way with three symbols, and one rule of connexion. Given symbols M, , +, and one
sole relation of combination, namely that M + is the same result (be it of what kind soever) as + M. Here is a
symbolic calculus: how can it be made a significant one? In the following ways, among others. 1. M and may be
magnitudes, + the sign of addition of the second to the first. 2. M and may be numbers, and + the sign of
multiplying the first by the second. 3. M and may be lines, and + a direction to make a rectangle with the
antecedent for a base, and the consequent for an altitude. 4. M and may be men, and + the assertion that the
antecedent is the brother of the consequent. 5. M and may be nations, and + the sign of the consequent having
fought a battle with the antecedent: and so on" ([10])

Coube a George Boole (1815 - 1864) a tarefa de explorar tal liberdade algbrica
e levar o estudo da Lgica ao domnio da Matemtica.
5
Boole publicou suas idias em
um pequeno livro intitulado The Mathematical Analysis of Logic (1847) e ampliando-o,
publicou em 1854 sua famosa obra An Investigation of the Laws of Thought. O objetivo
de Boole em sua obra era investigar as leis fundamentais das operaes da mente, pelas
quais o raciocnio se desenvolve, e dar a essas operaes uma linguagem simblica de
um Clculo, para servir de fundamento da Lgica, ver [12]. A primeira proposio de
sua obra bastante representativa de suas idias:

Proposition I.

All the operations of Language, as an instrument of
reasoning, may be conducted by a system of signs
composed of the following elements, viz.:

1st. Literal symbols, as x, y, &c., representing things as
subjects of our conceptions.
2nd. Signs of operation, as +, -, x, standing for those
operations of the mind by which the conceptions of things
are combined or resolved so as to form new conceptions
involving the same elements.
3rd. The sign of identity, =.

And these symbols of Logic are in their use subject to
definite laws, partly agreeing with and partly differing
from the laws of the corresponding symbols in the science
of Algebra.

Uma letra poderia representar o nome de alguma coisa, ou alguma qualidade ou
circunstncia relacionada a ela. Por exemplo, x sozinho poderia representar "coisas
brancas", y sozinho "ovelha" e xy representaria "ovelha branca". Boole concluiu que a
ordem em que os dois smbolos so escritos indiferente, isto , xy = yx. E se os dois
smbolos tm o mesmo significado, sua combinao no expressa nada mais do que um
deles sozinho, isto , xy = x, o que nos leva a xx = x. Segue ento que os smbolos da
Lgica obedecem lei especial
x
2
= x (1)

5
Segundo J. L. Bell, Bertrand Russell observou certa vez que Boole descobriu a Matemtica Pura [11].

A grande inovao de Boole dada em seu passo seguinte, ao avaliar a ltima
equao como uma equao algbrica, que admite apenas as razes 0 e 1:

Hence, instead of determining the measure of formal
agreement of the symbols of Logic with those of umber
generally, it is more immediately suggested to us to
compare them with symbols of quantity admitting only the
values 0 and 1. Let us conceive, then, of an Algebra in
which the symbols x, y, z, &c. admit indifferently of the
values 0 and 1, and of these values alone. The laws, the
axioms, and the processes, of such an Algebra will be
identical in their whole extent with the laws, the axioms,
and the processes of an Algebra of Logic. Difference of
interpretation will alone divide them. Upon this principle
the method of the following work is established.

As interpretaes dadas por Boole aos smbolos 0 e 1 so o ada e o Universo,
respectivamente. A partir disso, conclui que 1 x representa a classe suplementar ou
contrria da classe representada por x. Portanto, escrevendo (1) na forma x x
2
= 0,
segue-se que x(1 x) = 0, o que significa que o Princpio da Contradio, considerada
por Aristteles como axioma fundamental de toda Filosofia, (cf. Metaphysica III, 3,
[13]), uma conseqncia de (1), denominada Equao Fundamental do Pensamento.

1.1 - Abordagem algbrica para a Lgica

Podemos ver que a Lgica Matemtica em suas origens notadamente algbrica
e, em particular, a abordagem de Boole essencialmente polinomial, ver [32], [33] e
[34]. Muitos problemas encontrados por ele poderiam ser solucionados se trabalhasse
com polinmios sobre Corpos de Galois.
6

No necessrio discutir os bem conhecidos progressos posteriores na Lgica
Clssica, as origens das Lgicas No-Clssicas e a aplicabilidade destas na Cincia da
Computao, na Inteligncia Artificial, na Lingstica, nas Cincias Cognitivas, em
todo tipo de tecnologias, etc.
A abordagem algbrica tem se mostrado muito frtil no tratamento de problemas
da Lgica. Para citar apenas um exemplo, o prprio ukasiewicz introduz as Lgicas
Polivalentes de forma essencialmente algbrica e tal o tratamento dado por Chang, que

6
Por exemplo, seria possvel a generalizao x
n
= x, rejeitada por Boole.

introduz as MV-lgebras e chama a ateno sobre suas relaes com a Teoria dos
Grupos Abelianos Ordenados. Chang, utiliza mtodos algbricos para a demonstrao
da completude dos Clculos Infinitovalentes, ver [14] e [15].
As vantagens dos sistemas algbricos de prova tm despertado a ateno dos
pesquisadores e, em especial, o emprego de anis de polinmios sobre corpos de Galois
parece bastante promissor, visto que alm de resgatar o esprito original no estudo das
Lgicas, tambm possibilita o desenvolvimento de procedimentos de prova automtica
e a investigao sobre a complexidade de algoritmos. Destaca-se o Clculo com Anis
de Polinmios como mtodo algbrico de prova, sobretudo por ser inovador no estudo
das Lgicas No-Clssicas. Apesar de resultados relacionados com os Clculos
Proposicionais, os Clculos dos Anis de Polinmios para as Lgicas de Primeira
Ordem e de ordens superiores no foram suficientemente estudados.

2 - Universo de Discurso

Para maior clareza apresentamos, a seguir, os elementos bsicos que formam o
universo de discurso deste artigo e, tendo em vista que o mtodo algbrico de prova por
meio de Clculo com Anis de Polinmios uma teoria nascente, apresentamos uma
viso panormica sobre as principais idias e resultados envolvidos.

2.1 - Elementos

2.1.1 - Relao de Conseqncia

Dada uma linguagem L, uma relao de conseqncia uma relao
( (For) For)) , ou seja, uma relao entre subconjuntos e elementos de
For. Os elementos de For so interpretados como frmulas e os subconjuntos de For
como teorias.
Uma relao pode ser definida sintaticamente, por meio de axiomas
especficos, ou semanticamente, por meio de uma interpretao semntica. Em geral
satisfaz as seguintes condies:


i.(Re flexividade) Se A ento A
ii.(Transitividade) Se A e ,A B ento ,A B
iii.(Monotonicidade) Se A e ento A
iv.(Estruturalidade) Se A ento ( ) (A), para toda
substituio
v. (
Finitariedade) Se A ento A, para algum conjunto

finito

2.1.2 - Operadores de Conseqncia

Um operador de conseqncia um operador de fecho Cl sobre um conjunto S
de frmulas, ou seja, ( ) ( ) Cl : S S , tal que para todo X, Y S, vale:

i.(Extensividade) X Cl(X)
ii.(Monotonia e/ou Isotonia) Se X Y ento Cl(X) Cl(Y)
iii.(Idempotncia) Cl(Cl(X))=Cl(X)

2.1.3 - Lgicas e Sistemas Dedutivos

Uma Lgica pode ser definida como um par ,Cl = L L , onde L um
conjunto no-vazio e Cl um operador de conseqncia sobre L. Um sistema
dedutivo ou um sistema lgico S simplesmente uma estrutura S = For, (cf.
[20]).

2.1.4 - Procedimentos de Clculo com Anis de Polinmios

Os Sistemas Algbricos de prova so sistemas que exploram mtodos e
resultados da lgebra para expressar demonstraes. Tais sistemas podem ser aplicados
em procedimentos de prova automtica e em investigaes acerca da complexidade de
algoritmos.
O mtodo das bases de Grbner um mtodo algbrico bem conhecido. Este
fundamentado na Teoria dos Ideais e utiliza o Teorema do ullstellensatz de Hilbert e
foi introduzido por Buchberger em 1965, ver [16], [17], [18] e [19].
Dentre as pesquisas atuais, destaca-se o mtodo algbrico mais simples e mais
amplo denominado Clculo com Anis de Polinmios (Polynomial Ring Calculus,

PRC), proposto por Carnielli em [21], ver [22], [23] e [24]. Este faz uso da estrutura de
corpos finitos (corpos de Galois) e, diferentemente do mtodo das bases de Grbner,
pode englobar todas as lgicas multivalentes verofuncionais e uma significante classe
de lgicas no-verofuncionais.

2.1.5 - Clculo com Anis de Polinmios

Seja L uma lgica p
n
-valente e D o conjunto de valores-verdade de L. A
seguir descrevemos o Clculo com Anis de Polinmios (PRC).
7

Definio 1. Seja <F,+,.,0,1> um anel abeliano com unidade 1 e zero 0. Seja F[X]
o anel de todos os polinmios finitos nas variveis x
= x
1
,x
2
,...,x
m
,... com grau
arbitrrio e caracterstica p
n
. Uma proposio do Anel de Polinmios para L ou
simplesmente uma proposio polinomial qualquer polinmio f F[X] sobre as
variveis x
.

Definio 2. Dada uma lgica L, uma interpretao polinomial para L uma
interpretao : L F[X], que associa a cada fbf um polinmio ( )
F[X].

Definio 3. Uma proposio polinomial f satisfazvel se existe uma valorao em F
que produz d D F.

otao: f(x
)= d ou simplesmente f = d;
f g significa que f = g para todas as valoraes em F;
f d (d F) significa que f coincide com o polinmio constante d.

Observao:
Metavariveis sobre variveis: x,y,z,..., x
1
,x
2
,...
Metavariveis sobre polinmios: f,g,h,...

7
As definies e resultados apresentados a seguir com poucas alteraes so encontrados em [21] e [22].

Definio 4. Seja p um nmero primo e n um natural no-nulo. Define-se (p,n)-
PRC para L sobre o corpo de Galois GF(p
n
) do seguinte modo:

i. Os termos so as variveis e as frmulas so os polinmios de GF(p
n
)[X];

ii. (Regras do Anel)
f,g,h GF(p
n
)[X] e
( (GF(p
n
)[X])GF(p
n
)[X]):
(a) f (g h) (f g) h
(b) f g g f
(c) f 0 f
(d) f ( f) 0
(e) f (g h) (f g) h
(f) f (g h) f g f h
+ + + +
+ +
+
+

+ +

(Regras Polinomiais):
n
n
p vezes
i j k
(g) p x x x ... x 0
(h) x x x(mod q(x)),

= + + +

para
n
k i j(mod(p 1)) + , onde q(x) um polinmio primitivo
conveniente (i.e., um polinmio irredutvel de grau n com coeficientes em
p
Z )

iii. (Meta-regras):

Substituio Uniforme (SU):
f g
f[x : h] g[x : h]

Regra de Leibniz (RL):
f g
h[x : f] h[x : g]
,
onde f[x:g] denota o resultado da substituio uniforme de x por g em
f.


A regra (SU) permite a substituio de todas as ocorrncias de certa varivel x
no polinmio por outro polinmio e a regra (RL) permite a substituio de x em um
polinmio por polinmios "equivalentes".
Se { } f uma coleo de proposies polinomiais, uma derivao de f a
partir de , denotada por f
, uma seqncia finita de frmulas polinomiais

que ou esto em ou so obtidas de frmulas anteriores pela aplicao das regras de
(p,n)-PRC. Se f
ento f denominado um teorema e tal fato denotado

por f
. Das aplicaes das regras (SU) e (RL), obtm-se o seguinte resultado sobre
a relao de conseqncia
:

Teorema 5. As seguintes regras so derivadas, para qualquer conjunto de polinmios
e e polinmios f, g e h:

1. ,f f
2. Se ,f g e ,g h ento , ,f h
3. Se ,f g ento , ,f g
4. Se f 0 ento g f 0
5. Se f g ento h f h g e f h g h
6. Se f g ento h f h g e f h g h
7. Se f 0 e g 0 ento e f h g

+ + + +
+

n
0
8. (n f) 0 e f f.

Para se definir um PRC para uma dada lgica L necessria uma interpretao
: L GF(p
n
)[X] de frmulas em polinmios de modo que sejam preservadas as
condies de uma classe de valoraes para L.

2.1.6 - Um Clculo com Anel de Polinmios para a Lgica Proposicional Clssica

Como exemplo de um PRC para uma lgica particular, consideraremos a seguir
a Lgica Proposicional Clssica (LPC).
Seja For o conjunto de fbfs de LPC sobre o alfabeto { } , , e sejam as
metavariveis sobre frmulas representadas por A, B, C, etc. Uma valorao para
LPC a funo v: { } For 0,1 tal que


(2.1) ( ) ( ) v A 1 see v A 0 = =
(2.2) ( ) ( ) ( ) v A B 1 see v A 1 ou v B 1 = = =
(2.3) ( ) ( ) ( ) v A B 1 see v A 1 e v B 1 = = =

Seja a interpretao booleana dada pela interpretao polinomial
: LPC
2
[X], definida por

(2.4)
i i i
(p ): x se p uma varivel proposicional =
(2.5) ( ) ( ) A : A 1 = +
(2.6) ( ) ( ) ( ) ( ) ( ) A B : A B A B = + +
(2.7) ( ) ( ) ( ) A B : A B =

Das regras polinomiais sobre
2
[X], temos que

(2.8) x x 0
+
(2.9) x x x

Se um polinmio f
2
[X] tal que f c { } 0,1 , ento possvel
verificar que aps um nmero finito de sucessivas aplicaes de (2.8) e (2.9)
obtm-se f c
e vice-versa.
Generalizando tal fato, obtemos o seguinte resultado:

Teorema 6. Seja f GF(p
n
)[X]. Tem-se que f c D GF(p
n
) see
f c
em (p,n)-PRC.

Atribuindo-se os valores 0 ou 1 para as variveis em X, verifica-se que
preserva as valoraes de LPC, pois

(2.10) ( ) ( ) A 1 see A 0

(2.11) ( ) ( ) ( ) A B 1 see A 1 ou B 1

(2.12) ( ) ( ) ( ) A B 1 see A 1 e B 1

.


Segue, como corolrio do teorema anterior:

Teorema 7. Seja ( )
1 k
A(p ,...,p ) f = (x
1
,...,x
k
). Tem-se que
f(x
1
,...,x
k
)1, (x
1
,...,x
k
)
k
2
, see
LPC 1 k
A(p ,...,p ) .

Utilizando tal teorema exibimos dois exemplos de provas polinomiais de
teoremas de LPC:

(a)
LPC
A A , para toda fbf A.

Prova
De (2.5) e (2.6), temos:
( ) A A = ( ) ( ) ( ) A A A 1 + +
( ) ( ) A A 1 + +
0 1 +
1 .

(b)
LPC
A A , para toda fbf A.

Prova
( ) A A = ( ) ( ) ( ) A A A 1 + + =
( ) ( ) ( ) ( ) ( ) A 1 A A 1 1 = + + + + =
( ) ( ) ( )
( ) ( ) ( ) ( )
A 1 1 A A 1 1 1 = + + + + + +
( ) ( ) ( ) ( ) ( ) ( ) ( ) A 1 1 A A 1 1 1 + + + + + +
( ) ( ) ( ) ( ) ( ) A 0 A A 0 1 + + + +
( ) ( ) ( ) A A A 1 + +
( ) ( ) A A 1 + +
0 1 +
1 .


Se a valorao v: { } For 0,1 for expandida para uma funo
v: [ ] For 0,1 , a mesma interpretao polinomial , juntamente com as
aplicaes das regras de RPC o resultado uma Lgica Polinomial Minimal (Minimal
Polynomial Logic, MPL), introduzida por Poli et al., ver [28], cujas possveis
semnticas so similares a Lgica Probabilstica de Nilsson [26] e [27] ou a Lgica
Fuzzy [29], [30] e [31].

2.1.7 - Lgicas de ukasiewicz na forma polinomial

Como um exemplo particular da aplicao de RPC para as Lgicas de
ukasiewicz, apresentamos a interpretao polinomial para o clculo proposicional da
lgica trivalente
3
:
Seja For o conjunto de fbfs dos clculos proposicionais de ukasiewicz (
n
)
sobre o alfabeto { } , e sejam as metavariveis sobre frmulas representadas por A,
B, C, etc.
Uma valorao das frmulas no intervalo [ ] 0,1 uma funo v:
[ ] For 0,1 tal que

(2.13) ( ) ( ) v A v A =
(2.14) ( ) ( ) ( ) v A B v A v B = ,
onde para x,y [ ] 0,1 ,
(2.15) x : 1 x = e ( ) x y : min 1,1 x y = + .
Para
3
, D =
{ }
[ ]
1
0, ,1 0,1
2
e as tabelas-verdade de e so:

x
x
0 1
1/2 1/2
1 0
x y
x\y 0 1/2 1
0 1 1 1
1/2 1/2 1 1
1 0 1/2 1


Utilizando a bijeo t:
{ }
{ }
1
0, ,1 0,1,2
2
dada por t(0)= 0,
t(1/2)=1 e t(1)=2, obtemos as seguintes tabelas-verdade:

X
x
0 2
1 1
2 0

x y
x\y 0 1 2
0 2 2 2
1 1 2 2
2 0 1 2

Uma interpretao polinomial :
3
3
[X], definida por:

(2.16) ( ) ( ) A : 2 A 2 = +
(2.17)
( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) A B : 2 A B 1 A B B 1 2 = + + + +

Logo, para { } x,y 0,1,2 a interpretao polinomial dos conectivos e
so:

(2.18) x 2x 2 = + e x y 2x(y 1)(xy y 1) 2 = + + + + .

O conectivo dado por x y x y = . Como exemplo,
consideremos a prova polinomial de A A :

Das regras polinomiais, temos que 3x = 0 e x
3
= x, logo

x x = x x = ( ) ( ) 2x 2 2x 2 + + =
= ( ) ( ) ( )
( )
2
2 2x 2 2x 2 1 2x 2 2x 2 1 2 + + + + + + + + =
= ( ) ( )
2
4x 4 2x 4x 8x 4 2x 2 + + + + + =
= ( ) ( )
2
x 1 2x x 2x 1 2x 2 + + + + + =
=
( ) ( )
2 2
2x 2x x x 1 2 + + + + =

=
4 3 2 3 2
2x 2x 2x 2x 2x 2x 2 + + + + + + =
=
2 2 2
2x 2x 2x 2x 2x 2x 2 + + + + + + =
=
2
6x 6x 2 2 + + =

Pelo Teorema 2.5 em [21], temos que
3
PC
A A .

Outros exemplos de aplicaes, como para Lgica Paraconsistente mbC, a
Teoria dos silogismos, etc, podem ser vistos em [21], [22] e [23] e [24].

2.1.8 - Lgica de Primeira Ordem e Polinmios Infinitos

Os exemplos considerados e explorados limitam-se aos Clculos Proposicionais,
estando em aberto as extenses deste mtodo algbrico do RPC para as Lgicas
quantificadas. No caso da Lgica de Primeira Ordem (FOL), como sugere Carnielli em
[21], a interpretao polinomial de LPC pode ser expandida para uma interpretao
: FOL
2
[X], de modo que

i. Para cada constante c
i
, ( )
A
i i
A(c ) x =
ii. ( )
A
i
i 1
zA(z) x
=
=

.

De (i) temos que cada A(c
i
) interpretado como uma nova varivel em
2

e de (ii), temos que ( ) zA(z) = ( ) z A(z) =
( )
A
i
i 1
1 1 x
=
+ +
.

Interpretar frmulas quantificadas em FOL (ou em Lgicas de ordem superior)
como sries formais reduz as tcnicas de prova a um ramo da Anlise Funcional.

3 - Problemas em aberto e possveis perspectivas

Baseado nas ideias acima expostas, apresenta-se a necessidade de se desenvolver
um Clculo com Anel de Polinmios para a Lgica de Primeira Ordem, bem como as

possveis extenses para Lgicas de ordem superior. Um possvel caminho seria por
meio de um estudo das relaes entre RPC e a Anlise Funcional.
Como a Completude da LPC equivalente ao Axioma da Escolha, em termos de
Anis de Polinmios, deve ser equivalente a algum resultado da Anlise. Carnielli
conjecturou, conforme comunicao pessoal, que a Completude de LPC esteja
relacionada com alguma variao do Teorema de Hahn-Banach, que mostra que todos
funcionais lineares definidos em um subespao de determinado espao vetorial podem
ser estendidos a todo o espao. Portanto, de grande interesse o estudo do(s)
possvel(is) princpio(s) de polinmios que garantem a Completude da Lgica de
Primeira Ordem, no referido contexto.
Em recente tese de Doutoramento junto Universidade Estadual de Campinas
(2013, [35]), Mariana Matulovic, sob orientao de Carnielli, definiu uma verso da
Lgica de Primeira Ordem (LPO) nas formas sinttica e semntica, supondo que a
noo de consequncia sinttica seja caracterizada pela noo de consequncia
semntica. Define um domnio de sries formais generalizadas por produtos (SGP),
que generaliza a noo de polinmios finitos e infinitos. Deste modo, torna-se possvel
traduzir as frmulas da LPO em SGP, na qual se reduz a satisfatibilidades lgica
prova finitria, com elementos infinitos. Como a LPO considerada correta e
completa, conclui-se que a derivabilidade lgica caracterizada pela solubilidade
algbrica em SGP. Deste modo, Matulovic define a LPO em uma verso polinomial (ou
polinmica) e demonstra os teoremas de correo e completude (fraca e forte) para o
sistema.
8

8
Gostaria de expressar meus sinceros agradecimentos a Walter Carnielli e a Mariana Matulovic pelas informaes
sobre os mais recentes resultados na referida rea de investigao. Registre-se, todavia, que quaisquer imprecises na
exposio devem ser a mim imputadas. Segue uma sinopse da tese de Matulovic:
Captulo 1: Apanhado histrico acerca do desenvolvimento dos polinmios, culminando com uma anlise sobre as
inter-relaes entre lgica e lgebra e, consequentemente, sobre a algebrizao da lgica. Alm disso, introduz-se os
conceitos primordiais a respeito do mtodo de anis de polinmios e so delineamos alguns dos resultados j obtidos
na aplicao do mtodo ao Clculo Proposicional Clssico e ao fragmento mondico da Lgica de Primeira Ordem.
Captulo 2: Dedicado s Lgicas da Inconsistncia Formal (LFIs) e alguns avanos no j obtido por Carnielli para as
lgicas mbC e mCi, definindo verses polinmicas para as seguintes LFIs: bC, Ci, mbCe, mCie, bCe, Cie e LFI1.
Ademais, apresenta-se algumas melhorias as apresentaes polinomiais para os sistemas mbC e mCi.
Captulo 3: Aplicabilidade no mtodo de anis de polinmios em sistemas lgicos cujas semnticas so no-
determinsticas.
Captulo 4: Investigao da perda da verofuncionalidade em sistemas n-valorados que foram reduzidos em
bivalorados, pela chamada Reduo de Suszko.
Captulo 5: Definio da Lgica de Primeira Ordem (LPO) em uma verso polinmica, onde os quantificadores esto
fundamentados em uma nova estrutura algbrica, denominada domnio de sries generalizadas por produtos (SGP)
que permite operar com somas e produtos infinitos.


Evidencia-se deste modo, a riqueza de possibilidades que o Mtodo de Clculo
com Anel de Polinmios propicia para o estudo e anlise de diversos problemas em
Lgica e Matemtica.

4 - Referncias Bibliogrficas

[1] BERTATO, Fbio Maia; DOTTAVIANO, Itala M. Loffredo. Luca Pacioli and the
"Controversy of the Perspective": the classification of the mathematics from the
classical antiquity to the end of the quattrocento. Revista Brasileira de Histria da
Matemtica, Rio Claro, Especial n
o
1, - Festschrift Ubiratan DAmbrosio, p. 505-525,
dez. 2008.
[2] BERTATO, Fbio Maia. A "De Divina Proportione" de Luca Pacioli - Traduo
Anotada e Comentada. xlivp., 292p. Tese de Doutorado (Filosofia). Instituto de
Filosofia e Cincias Humanas, Universidade Estadual de Campinas. Campinas, 2008.
[3] BERTATO, Fbio Maia. A "De Divina Proportione" de Luca Pacioli - Traduo
Anotada e Comentada. Campinas: Coleo CLE, 2010, v. 56, 344p.
[4] D'OTTAVIANO, Itala M. Loffredo; FEITOSA, Hrcules. A. Histria da lgica e o
surgimento das lgicas no clssicas. Coleo Histria da Matemtica para
Professores, SBHM/UNESP, v. 1, p. 01-66, 2003.
[5] GOLDSTEIN, Rebecca. Incompletude: a prova e o paradoxo de Kurt Gdel.
Trad. Ivo Korytowski. So Paulo: Companhia das Letras, 2008.
[6] BUSCHE, Hubertus. Leibniz' Weg ins perspektivische Universum: eine
Harmonie im Zeitalter der Berechnung. Hamburg: Felix Meiner Verlag, 1997.
[7] CARRUCCIO, Ettore; Mathematics and Logic in History and in Contemporary
Thought. Trad. Isabel Quigly. Chicago: Aldine Transaction, 2006.
[8] PEACOCK, George. Treatise on Algebra. 1845.
[9] KATZ, Victor J. A History of Mathematics: An Introduction. New York:
HarperCollins, 1993.
[10] DE MORGAN, Augustus. Trigonometry and Double Algebra. London: Taylor,
1849.
[11] SLOMSON, A. B.; BELL, J. L. Models and Ultraproducts: An Introduction.
Amsterdam: North-Holland, 1969.
[12] BOOLE, George. An investigation of the laws of thought: on which are
founded the mathematical theories of logic and probabilities. London: Walton and
Maberly, 1854.
[13] ARISTTELES. YEBRA, Valentn Garcia (ed.). Metafsica. Madrid: Editorail
Gredos, 1970. v.1. (Edio Trilnge: Grego, Latim e Espanhol).
[14] CIGNOLI, Roberto. L. O.; D'OTTAVIANO, Itala. M. L.; MUNDICI, Daniele.
Algebraic foundations of many-valued reasoning. Dordrecht: Kluwer Academic
Publishers, 2000. v. 2.
[15] CIGNOLI, Roberto. L. O.; D'OTTAVIANO, Itala. M. L.; MUNDICI, Daniele.
lgebras das lgicas de Lukasiewicz. Coleo CLE, v. 12, (2 Ed.). Campinas:
CLE/UNICAMP, 1995.
[16] BUCHBERGER, Bruno. Ein Algorithmus zum Auffinden der Basiselemente
des Restklassenriges nach einem nulldimensionalen Polynomideal. Tese de
doutorado (Filosofia). Universitt Innsbruck. Innsbruck, 1965.

[17] BUCHBERGER, Bruno. An Algorithm for Finding the Basis Elements in the
Residue Class Ring Modulo a Zero Dimensional Polynomial Ideal. Trad. por M.
Abramson in Journal of Symbolic Computation 41 (2006): 471-511.
[18] BUCHBERGER, Bruno. Ein algorithmisches Kriterium fr die Lsbrakeit eines
algebraischen Gleichungssystems. Aequationes Mathematicae 4 (1970): 374-383.
[19] BUCHBERGER, Bruno; WINKLER, F. (eds.). Grbner Bases and Applications.
Trad. por M. Abramson e Robert Lumbert. London Mathematical Society Lecture
ote Series 251, Cambridge University Press, 1998, 535-545.
[20] D'OTTAVIANO, Itala M. L. ; FEITOSA, Hrcules A. . Deductive systems and
translations. In: Jean-Yves Bziau; Alexandre Costa-Leite. (Org.). Perspectives on
Universal Logic. 1 ed. Itlia: Polimetrica International Scientific Publisher, 2007, v. , p.
125-157.
[21] CARNIELLI, Walter A.. Polynomial ring calculus for many-valued logics. In B.
Werner (ed.). Proceedings of the 35th International Symposium on Multiple-Valued
Logic. Calgary, Canad: IEEE Computer Society, 2005. P. 20-25.
[22] CARNIELLI, Walter A.. Polynomizing: Logic Inference in Polynomial Format and
the Legacy of Boole. Studies in Computational Intelligence. Vol. 64, p. 349-364,
2007.
[23] AGUDELO, Juan C.; CARNIELLI, Walter A.. Unconventional models of
computation through non-standard logic circuits. Lecture otes in Computer Science.
Vol. 4618. Berlin: Springer, p 29-40, 2007.
[24] AGUDELO, Juan C.; CARNIELLI, Walter A.. Polynomial ring calculus for modal
logics: a new semantics and proof method for modalities. CLE e-Prints. Vol.9(4),
2009.
[25] CORCORAN, John. Aristotles Prior Analytics and Booles Laws of Thought.
History and Philosophy of Logic 24, p.261-288, 2003.
[26] NILSSON, N. J.. Probabilistic logic. Artificial Intelligence. Vol. 28(1), p 71-87,
1986.
[27] NILSSON, N. J.. Probabilistic logic revisited. Artificial Intelligence. Vol. 59(1),
p.39-42, 1993.
[28] POLI, R.; RYAN, M.; SLOMAN, A.. A new continuous propositional logic. In C.
Pinto-Ferreira and N. J. Mamede (ed.). Proceedings of 7th Portuguese Conference on
Artificial Intelligence. Madeira Island: EPIA '95, 990 in Lecture Notes in Artificial
Intelligence Funchal, 1995. p. 17-28.
[29] NGUYEN, Hung T.; WALKER, Elbert. A first course in fuzzy logic. CRC Press.
2006.
[30] HJEK, Petr. Metamathematics of Fuzzy Logic. Berlin: Springer. 1998.
[31] ZIMMERMANN, Hans-Jrgen. Fuzzy Set Theory and Its Applications. Berlin:
Springer. 2001.
[32] HALMOS, Paul; GIVANT, Steven. Logic as Algebra. Dolciani Mathematical
Expositions 21. The Mathematical Association of America. 1998.
[33] RICHE, Jacques. From Universal Algebra to Universal Logic. In: Jean-Yves
Bziau; Alexandre Costa-Leite (eds.). Perspectives on Universal Logic. Itlia:
Polimetrica Publisher. p.3-39, 2007.
[34] JENSEN, Christian U.; LENZING, Helmt. Model Theoretic Algebra: with
Particular Emphasis on Fields, Rings, Modules. Algebra, Logic and Applications. Vol.
2. Amsterdan: Gordon and Breach Science Publishers, 1989.
[35] MATULOVIC, Mariana. Demonstraes na Algibeira: Polinmios como um
Mtodo Universal de Prova. Campinas, SP: [s.n.], 2013. Orientador: Walter Alexandre

Carnielli. Tese (doutorado) Universidade Estadual de Campinas, Instituto de Filosofia
e Cincias Humanas.

Fabiobertato - Kíneis

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Fabiobertato - Kíneis

Uploaded by

Copyright:

Available Formats

SOBRE O MTODO DE CLCULO COM AEL DE POLIMIOS:

ATECEDETES HISTRICOS E POSSIBILIDADES DE PESQUISA

Finitariedade) Se A ento A, para algum conjunto

, uma seqncia finita de frmulas polinomiais

ento f denominado um teorema e tal fato denotado

You might also like