Sobre A Definicao Matematica de Sistema

.
Sobre a Definio Matemtica de Sistema:

Alguns Aspectos Histricos, Novas Propostas e
Lgicas Sistmicas Associadas
FBIO MAIA BERTATO
Centro de Lgica, Epistemologia e Histria da Cincia
Universidade Estadual de Campinas
Campinas, SP
fmbertato@cle.unicamp.br
Resumo: Nosso objetivo neste artigo duplo: (i) contribuir com algumas
consideraes acerca da (pr-)histria da Teoria de Sistemas e (ii) apresentar uma

definio matemtica de sistema que contemple uma possvel variao no tempo.
Em especial, procuramos mostrar como a soluo apresentada por Toms de
Aquino para a questo do Filioque pode ser considerada sistmica e como a
definio de sistema como estrutura relacional pode ser assumida mesmo que se
considere que um sistema melhor descrito por uma funo matemtica.
Palavras-chave: definio de sistema; matemtica; lgica; estruturas relacionais;
histria da Teoria de Sistemas.
1. Praeambulum
O presente artigo divide-se em duas partes. Na primeira parte, fazemos algumas consideraes sobre a palavra sistema em seu
uso mais ou menos ordinrio, sobre sua etimologia e apresentamos
algumas contribuies para a (pr-)histria da Teoria de Sistemas,
em especial, mostramos como a soluo para a questo do Filioque,
apresentada por So Toms de Aquino, pode ser considerada uma
soluo sistmica, se por sistema entende-se uma estrutura formada
por uma coleo de objetos e uma coleo de relaes entre esses
objetos. Na segunda parte, que pode ser considerada mais tcnica,
apresentamos nossa proposta para uma definio matemtica de
sistema e uma srie de definies e alguns resultados que permitem
o aprofundamento das investigaes utilizando ferramentas bem
desenvolvidas, como a Teoria de Modelos, segundo o approach de
Bresciani Filho, E.; DOttaviano, I.M.L.; Gonzalez, M.E.Q.; Pellegrini, A.M.; Andrade, R.S.C. de (orgs.).
Auto-organizao: estudos interdisciplinares. Coleo CLE, v. 66, p. 55-99, 2014.
Fbio Maia Bertato
56
Bruno Poizat, o Realismo Conceptual de Nino Cocchiarella e a Anlise de Conceito Formal de Bernhard Ganter.
1.1. Breve nota etimolgica do vocbulo sistema
Antes de efetuarmos o estudo e a crtica das definies de
sistema, a proposio de uma nova definio e a anlise de suas
implicaes, no contexto dos fundamentos da Teoria Geral de Sistemas, parece-nos salutar efetuarmos algumas consideraes preliminares acerca da etimologia e das denotaes e conotaes que tal
vocbulo apresenta na linguagem ordinria. O vocbulo portugus
sistema, cujo primeiro registro conhecido em nosso idioma data
de 1702,1 provm do grego e foi incorporado ao vocabulrio latino em sua forma transliterada systma.
sistema systma
Abaixo transcrevemos as acepes do dicionrio Houaiss
que mais se relacionam com a noo de sistema que desejamos
estudar:
sistema, m.,
1 conjunto de elementos, concretos ou abstratos, intelectualmente organizado
1.1 conjunto concebido pelo esprito (como hipteses, crenas
etc.) de objetos de reflexo, ou convico, unidos por um fundamento; doutrina, ideologia, teoria, tese
1.2 conjunto de idias logicamente solidrias, consideradas nas
suas relaes
1.3 conjunto de regras ou leis que fundamentam determinada
cincia, fornecendo explicao para uma grande quantidade de
1
Segundo a datao, na entrada correspondente, do Houaiss o mais antigo registro est em VARELA, Pe. Sebastio Pacheco. Nmero Vocal, Exemplar Catlico
e Poltico, proposto ao maior entre os Santos, o glorioso Joo Batista etc. Lisboa,
1702.
Sobre a Definio Matemtica de Sistemas
57
fatos; teoria
1.4 distribuio de um conjunto de objetos numa ordem que
torna mais fcil sua observao e estudo
[...]
2 estrutura que se organiza com base em conjuntos de unidades
inter-relacionveis por dois eixos bsicos: o eixo das que podem
ser agrupadas e classificadas pelas caractersticas semelhantes
que possuem, e o eixo das que se distribuem em dependncia
hierrquica ou arranjo funcional
[...]
2.1 Derivao: por extenso de sentido.
qualquer conjunto natural constitudo de partes e elementos
interdependentes
Ex.: <s. planetrio> <s. animal, vegetal, mineral etc.> <s.
auditivo> <s. nervoso>
2.2 Derivao: por extenso de sentido.
arrolamento de unidades e combinao de meios e processos que
visem produo de certo resultado.
Ex.: <s. eleitoral> <s. curricular> <s. educacional> <s.
financeiro>
2.2.1 Derivao: por extenso de sentido.
inter-relao das partes, elementos ou unidades que fazem
funcionar uma estrutura organizada
Ex.: <s. computacional> <s. de irrigao> <s. de sinais de
trnsito> <s. virio>
2.2.1.1 Derivao: por extenso de sentido. Uso: informal,
pejorativo.
qualquer estrutura que devesse funcionar com este interrelacionamento timo entre as partes
Ex.: a fila do banco estava enorme, o s. estava fora do ar
[...]
Antnimos: dessistema
[...]
lat. systma, tis, reunio, juntura, sistema, do gr. sustma, atos
conjunto, multido, corpo de tropas, conjunto de doutrinas,
sistema filosfico, prov. pelo fr. systme (1552); [...]
Fbio Maia Bertato
58
(HOUAISS, 2001).
Das acepes que configuram nos dicionrios de Latim
consultados, destacamos:
systma, tis, n., = ,
I. um todo consistindo de vrias partes, um todo complexo, um
sistema. (cf. LEWIS & SHORT, 1879).
Dentre as acepes do vocbulo grego, salientam-se as seguintes:
-, , ,
I. um todo composto de vrias partes ou membros, sistema.
II. governo organizado, constituio, comunidade, comit.
III. corpo de soldados, tripulao.
IV. colgio de sacerdotes ou magistrados.
V. mquina, aparato. (cf. LIDDELL & SCOTT, 1940).
Podemos observar que de algum modo a noo de sistema
correlata, em maior ou menor grau, dos termos todo, organizado, complexo, partes, comum, inter-relao, resultado,
etc.
O vocbulo est relacionado com o verbo
(sunstemi, juntar, combinar, unir, organizar).
Tal verbo obtido a partir da preposio (junto, em companhia de) e do verbo (ficar, permanecer).
1.2. Alguns aspectos histricos do conceito de sistema
Ludwig Von Bertalanffy (1901-1972), considerado o fundador da Teoria Geral de Sistemas, afirma o seguinte sobre a noo de
sistema:
59
Em certo sentido pode-se dizer que a noo de sistema to antiga

quanto a filosofia europeia. [...] [A] Filosofia e sua descentente,[a]
cincia, nasceram quando os primeiros gregos aprenderam a
considerar ou encontrar, no mundo experenciado, uma ordem ou
kosmos que era inteligvel e, portanto, controlado por pensamento e
ao racional.
Uma formulao desta ordem csmica foi a viso de mundo
aristotlica com suas noes holsticas e teleolgicas. A afirmao de
Aristteles de que O todo mais do que a soma de suas partes,
uma definio do problema bsico de sistema que ainda vlido.2
Alm da forte afirmao de Bertalanffy de que a noo de

sistema to antiga quanto a Filosofia Ocidental, abundam outros
exemplos na histria da cincia, da antiguidade do pensamento
sistmico, como a abordagem holstica da Medicina tradicional
chinesa, a suposta proposio de Aristteles (384-322 a.C.) de que o
todo mais do que a soma das partes, a noo de coincidentia oppositorum de Nicolau de Cusa (1401-1464), a mathesis universalis de
Gottfried Leibniz (1646-1716), etc. Apesar da palavra sistema
nunca ter sido enfatizada antes de sua introduo formal na cincia
moderna, podemos encontrar em diversos autores antigos, termos
explanatrios relacionados com tal conceito, sugerindo que a abordagem sistmica uma espcie de arqutipo quase universal.
2
In a certain sense it can be said that the notion of system is as old as
European philosophy. [...] Philosophy and its descendant, science, was born when
the early Greeks learned to consider or find, in the experienced world, an order or
kosmos which was intelligible and, hence, controllable by thought and rational
action.
One formulation of this cosmic order was the Aristotelian world view with its
holistic and telelogical notions. Aristotles statement, The whole is more than the
sum of its parts, is a definition of the basic system problem which is still valid.
(BERTALANFFY, 1972, p. 407)
Fbio Maia Bertato
60
A mais antiga definio conhecida do termo sistema

atribuda a Callicratdas Laconis, Pitagrico (c. 500 a.C.). Em sua
obra Sobre a Felicidade da Famlia,3 afirma:
A famlia, pois, deve ser considerada um sistema ou uma comunho de
parentes. Todo sistema, verdadeiramente, composto de certos
[elementos] opostos e dessemelhantes e organizado em referncia a um
certo [elemento] que o melhor e tambm para proveito comum.4
[ 5
.
, ,
.]6
Na tabela abaixo, resumimos alguns exemplos dados por

Callicratdas em sua obra:
organizado () e
refere-se () ao:
Sistema
()
Elementos
opostos e
dessemelhantes
Melhor
elemento
Proveito
comum
()
(
)
(?)
concerto
(
)
coro
() =
vozes(?)
:
.
4
Segundo Callicratdas, a famlia divide-se em o homem e suas posses
( ). Esposa, filhos, escravos e agregados incluem-se nesta ltima.
5
Em outra verso: [...]. H, neste caso, outra traduo: O
Universo, pois, deve ser considerado um sistema ou uma associao de [elementos]
de mesmo tipo. Cf. JOANNES STOBAEUS, 1824, p. 154; e 1856, p. 140.
6
Para fundamentar e efetuar as tradues do grego e do latim, alm das referncias bibliogrficas correspondentes, beneficiamo-nos dos timos recursos da Perseus Digital Library, particularmente das ferramentas Greek Word Study Tool e
Latin Word Study Tool (v. http://www.perseus.tufts.edu).
61
comunho
musical
()
navio
Tripulao
piloto
()
viagem
prspera
()
()
(
)
famlia
Parentes
senhor da casa
concrdia
()
()
()
()
Fonte: Quadro elaborado pelo autor
Podemos dizer que para Callicratdas, um sistema um

composto centralizado de elementos, organizado para uma finalidade. Sendo centralizado (pelo ) e organizado, entende-se que
h nele relaes entre os elementos.
frequente encontrar a sentena o Todo mais do que a
soma de suas partes, atribuda a Aristteles. Alguns autores afirmam que esta se encontra em sua obra Metaphysica. Apesar da ideia
estar presente no texto mencionado, no se pode efetuar uma constatao literal de tal proposio, que denominaremos afirmao
mereolgica. A frase mais prxima de Aristteles a respeito dessa
afirmao, encontra-se em sua outra obra Topica:
No o mesmo, as partes e o todo.
(ARISTTELES, Topica, VI, 13, 150a 15).
[ ]
[non idem esse partes et Totum]
(ARISTTELES, 1848, p. 252).
Na traduo inglesa de William Adair Pickard-Cambridge

(1879-1957) incluiu-se a expresso the sum of (a soma de),
talvez por uma tradio anterior ou apenas para adequao
gramatical: In general, too, all the ways of showing that the whole
is not the same as the sum of its parts are useful [](Em geral,
tambm, todos os modos de mostrar que o todo no o mesmo que
a soma de suas partes so teis). O mesmo no se d na traduo
de Edward Seymour Forster (1879-1950): To speak generally, all
Fbio Maia Bertato
62
the arguments that can be used to prove that the whole and its parts
are not the same are useful [...] (Para falar de modo geral, todos
os argumentos que podem ser usados para provar que o todo e suas
partes no so o mesmo so teis).
Tambm no se pode encontrar uma verso latina, equivalente afirmao mereolgica, nos florilgios medievais e renascentistas. Talvez, tal formulao seja oriunda de uma afirmao de uma
posio holstica baseada na quinta Noo Comum dos Elementos
de Euclides:
O todo maior do que a parte.
[ [].]
(EUCLIDES, 1953, p. 232).
[Et totum parte maius est]
(CLAVIUS, 1607, p. 27).
Uma afirmao contrria de que o todo igual a soma de

suas partes (Omne totum aequale est omnibus suis partibus simul
sumptis), onde soma entendida more geometrico, foi introduzida
como axioma por Christophorus Clavius (1537-1612), em sua edio comentada dos Elementos (CLAVIUS, 1607, p. 33).
Outro exemplo, concernente ao tema, pode ser encontrado
em tpico familiar aos historiadores da Matemtica. Na mitologia
egpcia, Set matou e desmembrou seu irmo Osris. Sua esposa e
irm, sis, juntou novamente os membros de Osris, trazendo-o
novamente a vida, a fim de conceber um filho, Hrus. Durante um
duelo para vingar seu pai, Hrus teve seu olho arrancado e despedaado por Set. O Olho de Hrus, importante smbolo com supostas propriedades mgicas e medicinais, foi recomposto por Thoth, o
escriba dos deuses, com seus prprios dedos.7 Segundo Sir Alan
7
Supe-se aqui uma relao entre dedos e contagem, visto que Thoth tambm , para os egpcios antigos, o deus criador das cincias, em particular da Matemtica. O relato do duelo entre Hrus e Set encontra-se no Livro Egpcio dos Mortos, captulo XVII. Seguimos aqui a traduo de John Gwyn Griffiths (1911-2004):
I [Thoth] have filled the eye when it was injured on this day of the conflict of the
Two Rival Gods. What is that, the conflict of the Two Rival Gods? That is the day
on which Horus fought with Seth, when he (Seth) wounded the face of Horus, when
63
Henderson Gardiner (1879 - 1963), baseado nos trabalhos de Georg

Mller (1876 - 1921), os hierglifos
, ,
, ,
e , que
representam as fraes , , , , e , respectivamente, formam o
hierglifo
(
, wd3t, wedjet, olho saudvel, completo, GARDINER, 1979, p. 197; MLLER, 1909, I, p. 67; 1965,
II, p. 62).8
Considerando que os antigos egpcios tenham feito, em algum perodo, tal relao entre as fraes consideradas e as partes do
Olho de Hrus, teramos um exemplo bastante antigo de um todo
que no redutvel as suas partes, visto que a soma aritmtica da
srie geomtrica de seis termos resulta em , ou seja, falta alguma
coisa, um algo a mais presente anteriormente no todo, que supostamente teria sido providenciado magicamente pelo deus Thoth.9
Como visto acima, possvel encontrar, por meio de outros
termos, uma teoria sistmica em Aristteles. No somente com
Horus seized the testicles of Seth. It was Thoth who did this with his fingers (Eu
[Thoth] consertei o olho quando este foi ferido neste dia do conflito dos Dois
Deuses Rivais. O que isso, o conflito dos Dois Deuses Rivais? Esse o dia em que
Hrus lutou com Set, quando ele (Set) feriu o rosto de Hrus, quando Hrus
agarrou os testculos de Seth. Foi Thoth quem fez isso com os dedos)
(GRIFFITHS, 1958, p. 184). Para outra traduo, com pequenas variaes, v.
RENOUF & NAVILLE, 1904, p. 36.
8
Segundo Thomas Eric Peet (1882-1934), Mller foi o primeiro a perceber que os
smbolos de fraes indicados podem ser arranjados para formar a figura do wd3t
ainda que tal possibilidade no implicasse necessariamente na origem mitolgica de
tais representaes, posto que as formas hierticas, que no apresentam as semelhanas necessrias com as partes do olho, so mais antigas que os correspondentes
hierglifos (PEET, 1923, p. 25-26; cf. RITTER, 2001, p. 117). Para comparar as
formas hieroglficas e hierticas, v. GILLINGS, 1972, p. 211.
9
Que os escribas egpcios tinham conhecimento de que tal soma no resultava
em um inteiro, pode ser inferido a partir da Tablita de Madeira de Akhmin (Cairo
Cat. 25367, v. DARESSY, 1906, p. 64-65, para transcrio), cujo primeiro problema, a saber, efetuar o clculo de de 1 heqat, solucionado utilizando-se o fato de
que 1 igual a + + + + + + 5 ro (1 ro = ). Heqat uma unidade
egpcia de medida para gros, cujas fraes so representadas pelos hierglifos em
questo, como pode ser visto no Papiro de Ahmes ou Rhind (Plates S, 64; T, 68; W,
80 e 81. Cf. PEET, 1923).
Fbio Maia Bertato
64
relao questo mereolgica, mas em termos das relaes e da

organizao de certos objetos e de nveis de organizao. Talvez no
seja exagero afirmar que sua Metaphysica pode ser considerada uma
espcie de tratado de Teoria aristotlica de sistemas, especialmente
os Livros de V a VII. Como para muitos autores medievais e renascentistas, sem Toms, Aristteles seria mudo,10 supomos que seja
importante a investigao, de uma perspectiva histrica, das doutrinas de So Toms de Aquino, O.P. (1225 - 1274) como influncia
abrangente nos pensadores ocidentais, seja para concordar, seja para
discordar.
Parece-nos que a doutrina tomista passou despercebida, aos
investigadores da rea, como uma teoria que utiliza uma abordagem
que pode ser denominada sistmica. No faremos as consideraes
que deveriam ser efetuadas a respeito, mas apresentaremos uma
soluo sistmica para um importante problema como mais um
exemplo histrico.
Apenas para evidenciar a existncia de um interessante contedo ligado s noes de sistema e organizao, citamos um trecho
do livro de Eleonore Stump, que afirma que na metafsica de So
Toms de Aquino:
Uma coisa material de nvel macro matria organizada ou
configurada de algum modo, em que a organizao ou configurao
mais dinmica do que esttica. Isto , a organizao da matria inclui
relaes causais entre os components materiais da coisa, bem como
caractersticas estticas tais como forma e localizao espacial. Essa
configurao dinmica ou organizao o que [Toms de] Aquino
denomina forma. Uma coisa tem as propriedades que tem, incluindo
suas potncias causais, em virtude de ter a configurao que tem; as
operaes prprias e funes de uma coisa derivam de sua forma.11
10
Sine Thoma, Aristoteles mutus esset. Tal sentena chegou a ns por meio
de Pico della Mirandola (1463 - 1494). Tambm parece verdade a espcie de
recproca proposta por Ralph McInerny (1929-2010): Sine Aristotele, Thoma non
esset.
11
A macro-level material thing is matter organized or configured in some
way, where the organization or configuration is dynamic rather than static. That is,
the organization of the matter includes causal relations among the material
65
1.3. A questo do Filioque e sua soluo sistmica: um exemplo

histrico
Desde suas origens, a Igreja crist elaborou Profisses de F
que sintetizavam seus principais dogmas. A polmica do Filioque,
que perdura at os nossos dias, um interessante exemplo de um
problema que pode ser resolvido como consequncia do estudo das
propriedades de um conjunto de relaes. No artigo sobre o Esprito
Santo, diz o Credo Niceno-Constantinopolitano (Niceia, 325; Constantinopla, 381):
Creio no Esprito Santo, Senhor que d a vida, e procede do Pai e do
Filho; [...]
[ N, , ,
C [...]]
[Et in Spiritum Sanctum, Dominum, et vivificantem: qui ex Patre
Filioque procedit [...]]
No trecho indicado, em grego, os sobrescritos N e C, indicam

onde termina o artigo em questo nos credos de Niceia e Constantinopla, respectivamente. Note-se que no h, no grego a expresso (e do Filho). A incluso Filioque (e do
Filho) efetuada no Credo baseou-se no Evangelho de Joo XV, 26:
O Advogado, que vos mandarei de junto do Pai, o Esprito da Verdade
que procede do Pai. Quando vier, dar testemunho de Mim.
[
, ,
, ]
[Vulgata: cum autem venerit paracletus quem ego mittam vobis a Patre
Spiritum veritatis qui a Patre procedit ille testimonium perhibebit de me.]
components of the thing as well as such static features as shape and spatial
location. This dynamic configuration or organization is what Aquinas calls form.
A thing has the properties it has, including its causal powers, in virtue of having the
configuration it does; the proper operations and functions of a thing derive from its
form (STUMP, 2005, p. 36).
Fbio Maia Bertato
66
Baseada no Cnon VII do Conclio de feso (431), que declarava antema quem fizesse alteraes nas proposies estabelecidas no Conclio de Niceia, includa a Profisso de F do Credo, a
Igreja grega acusou a Igreja Latina de heresia. Muitas discusses e
polmicas acerca da questo do Filioque ocorreram, entre os sculos
IX e XI, culminado no Grande Cisma Bizantino (1054), juntamente
com outras questes culturais e polticas. No que tange questo do
Filioque, o problema se deve a uma questo lingstica: os gregos e
latinos no interpretam do mesmo modo o vocbulo proceder.
verbo substantivo

procedo processio
As distines semnticas entre o vocbulo grego

(ekpreusis) e sua traduo latina processio podem ser
verificadas por suas etimologias. A preposio significa fora
de, a partir de. A preposio pro, por sua vez significa antes,
ante, diante, em frente de ou em face de. O verbo grego
associado a (ekporeo) que quer dizer
fazer sair, sair, buscar ou marchar para fora. O verbo latino
procedo, por seu turno, significa ir antes, ir frente, avanar,
proceder. Tais divergncias implicam nas seguintes interpretaes
de processo:
Gregos: interpretao de sentido estrito: Pai
como origem de todas as processes.
Latinos: interpretao de processio sentido amplo: a do termo
procedendo do princpio (Filiao e Processo ou Espirao
67
passiva) e a do prprio princpio (Paternidade e Espirao ativa).
Na Filosofia e Teologia latinas, existe um Deus que uno

segundo a essncia (verdade alcanada pela Razo e pela Revelao) e
trino segundo as Pessoas (verdade revelada), ou seja, a essncia nica
da divindade, de forma indisiva, existe em trs Pessoas distintas. So
Toms de Aquino, em uma honestidade intelectual que lhe prpria,
reconhece que o Mistrio da Trindade s pode ser conhecido pela
Revelao (cf. Summa Theologiae, I, q. XXXII, a. 1).
Distinguem-se as Pessoas no pela essncia ou substncia, mas
por relaes de origem (Gerao e Processo simpliciter). Para o
Aquinate, relao (relatio) uma ordem, referncia ou proporo de
uma coisa outra. Distinguem-se em transcendentais (relatio secundu
dici) e predicamentais (relatio simpliciter). Uma relao transcendental
uma relao, includa em uma realidade absoluta, a um termo exterior,
que concorre para defini-la, por exemplo, a inteligncia ao ser, a
potncia ao seu objeto, a materia forma e vice-versa. A relao
predicamental, por sua vez, no possui outra realidade seno referir-se
ao outro.12
Uma relao predicamental pode ser conceitual (lgica ou
racional), isto , existe apenas como objeto do pensamento na mente
que a concebe; ou real, ou seja, existe independentemente da mente.
Um exemplo de uma relao conceitual a relao do homem abstrato
com o homem real. Um exemplo de uma relao real a relao entre
pai e filho (cf. De Veritate, q. II, a. 2).
Para So Toms de Aquino, s se pode entender relaes reais
em Deus, nas quais h processo interior. H apenas duas
processes interiores: a processo do Verbo (processio verbi como
operao do intelecto, denominada Gerao); e a processo do Amor
12
Para nossa exposio bastante simplificada dos termos e expresses utilizadas
por So Toms de Aquino, alm da consulta das obras citadas, valemo-nos do Vocabulrio do Pe. Marie-Joseph Nicolas, O.P. (STO TOMS DE AQUINO, 2001, p.
69-102) e dos excelentes contedos de clssicos da literatura Tomista disponveis
pelo projeto Corpus Thomisticum (http://www.corpusthomisticum.org/).
Fbio Maia Bertato
68
(processio amoris como operao da vontade). Em cada processo

h duas relaes opostas: a do termo procedendo do princpio
(Filiao e Espirao Passiva);13 e a do prprio princpio (Paternidade e Espirao) (cf. Summa Theologiae, I, q. XXVIII, a. 4).
Como o termo Pessoa significa, neste contexto, a relao
enquanto realidade subsistente na natureza divina, segue-se que h
vrias Pessoas em Deus (idem, q. XXX, a. 2). Mas se h quatro
relaes divinas, como pode haver apenas trs Pessoas Divinas? A
Paternidade e a Filiao so relaes opostas, mas a Espirao
(Ativa) no as opem, pois tanto o Pai como o Filho podem
satisfaz-la, afirmando-se o Filioque.
O Esprito Santo procede do Filho? Esta exatamente a
indagao da Quaestio XXVI, articulus 2, da primeira parte da
Summa Theologiae de So Toms. A soluo do Doutor Anglico
para a questo do Filioque estupenda. Eis o extrato do principal da
argumentao:
Texto Latino
Traduo
Respondeo
dicendum
quod
necesse est dicere spiritum
sanctum a filio esse. Si enim non
esset ab eo, nullo modo posset ab
eo personaliter distingui.
Quod ex supra dictis patet. Non
enim est possibile dicere quod
secundum
aliquid
absolutum
divinae personae ab invicem
distinguantur, quia sequeretur
quod non esset trium una essentia;
quidquid enim in divinis absolute
dicitur, ad unitatem essentiae
pertinet.
Relinquitur ergo quod solum
relationibus divinae personae ab
Respondo. necessrio afirmar

que o Esprito Santo procede do
Filho. Se ele no procedesse dele,
no poderia de nenhum modo se
distinguir dele como Pessoa.
Isso se torna claro pelo que foi dito
acima. Com efeito, no se pode
dizer que as pessoas divinas
distinguem-se uma da outra por
algo absoluto. Seguir-se-ia que os
trs no teriam essncia nica,
pois tudo o que se atribui a Deus
de modo absoluto pertence
unidade da essncia.
Conclui-se, portanto, que as
pessoas divinas distinguem-se
13
No texto de Toms de Aquino, esta ltima no tem nome prprio. denominada apenas de Processo.
invicem distinguantur.
Relationes
autem
personas
distinguere non possunt, nisi
secundum quod sunt oppositae.
Quod ex hoc patet, quia pater
habet duas relationes, quarum una
refertur ad filium, et alia ad
spiritum sanctum; quae tamen,
quia non sunt oppositae, non
constituunt duas personas, sed ad
unam personam patris tantum
pertinent. Si ergo in filio et in
spiritu sancto non esset invenire
nisi duas relationes quibus
uterque refertur ad patrem, illae
relationes non essent ad invicem
oppositae; sicut neque duae
relationes quibus pater refertur ad
illos. Unde, sicut persona patris
est una, ita sequeretur quod
persona filii et spiritus sancti esset
una, habens duas relationes
oppositas duabus relationibus
patris. Hoc autem est haereticum,
cum tollat fidem Trinitatis.
Oportet ergo quod filius et spiritus
sanctus ad invicem referantur
oppositis relationibus.
Non autem possunt esse in divinis
aliae relationes oppositae nisi
relationes originis, ut supra
probatum est. Oppositae autem
relationes originis accipiuntur
secundum
principium,
et
secundum quod est a principio.
Relinquitur ergo quod necesse est
dicere vel filium esse a spiritu
sancto, quod nullus dicit, vel
spiritum sanctum esse a filio, quod
nos confitemur.
69
entre si unicamente por relaes.

Mas essas relaes no podem
distinguir as pessoas, a no ser
como opostas. A prova disso que
o Pai tem duas relaes: por uma
se refere ao Filho, pela outra ao
Esprito Santo. Entretanto, como
essas relaes no se opem, elas
no constituem duas pessoas,
pertencem a uma s pessoa, do
Pai. Se, portanto, no Filho e no
Esprito Santo s se pudessem
encontrar duas relaes pelas
quais cada um se refere ao Pai,
elas no seriam opostas entre si,
como as duas relaes pelas quais
o Pai se relaciona com eles. Ento,
do mesmo modo que o Pai uma s
pessoa, seguir-se-ia igualmente que
o Filho e o Esprito Santo seriam
uma s pessoa, possuindo duas
relaes opostas s duas relaes do
Pai. Mas isso uma heresia porque
destri a f na Trindade. Portanto,
preciso que o Filho e o Esprito
Santo refiram-se um ao outro por
relaes opostas.
Ora, em Deus no pode haver
outras relaes opostas seno as
de origem, como acima ficou
provado. E essas relaes de
origem, opostas entre si, entendemse as de princpio e as que
procedem do princpio.
Conclui-se, portanto, que se deve
afirmar ou que o Filho procede do
Esprito Santo, mas ningum o diz;
ou ento que o Esprito Santo
procede do Filho. Eis o que
Fbio Maia Bertato
70
confessamos.14
Percebe-se no raciocnio apresentado por Toms de Aquino,

uma abordagem que poderamos denominar sistmica, como tratamento de uma importante questo de doutrina crist e da histria do
pensamento e da civilizao ocidental. Na abordagem efetuada pelo
Aquinate, o Deus dos cristos pode ser considerado como um sistema , onde a noo de sistema corresponde a de uma estrutura formada por um conjunto de objetos e um conjunto de relaes entre
esses objetos. Esta noo de sistema, como veremos, est de acordo
com as definies dadas por alguns autores, definies estas que
consideramos inicialmente insatisfatrias, mas que todavia so teis
e podem ser melhoradas.
Em uma releitura matemtica, So Toms apresenta Deus como uma estrutura relacional , isto , o par ordenado dado por
,
onde os objetos
so as Pessoas, Pai, Filho e Esprito Santo,
respectivamente, e
so as relaes paternidade, filiao,
espirao ativa e espirao passiva, respectivamente. Nesse sistema,
no vale a igualdade usual, a distino entre os objetos dada
apenas pelas relaes, quer dizer, dois objetos intercambiveis em
todas as relaes so indistinguveis para o sistema. O sistema no
enxerga as distines das pessoas
, sem remeter-se s relaes
. Temos tambm que h dois pares de relaes opostas
(simtricas), isto ,
e
so relaes opostas se, e somente se,
equivalente a
, que significa que dizer que o
objeto est relacionado com pela relao
o mesmo que dizer que o objeto est relacionado com pela relao oposta
e
vice-versa. Sabe-se que
e
so relaes
opostas. Sabe-se ainda que
,
e que
e
so
opostas. A questo saber se
. Como nessas relaes no
pode haver pares
, necessrio que
ou
.
14
Transcrio, com formatao adaptada, da traduo brasileira em STO.

TOMS DE AQUINO, 2001.
71
Caso contrrio, se
e
, e seriam indistinguveis, j que seriam intercambiveis nas quatro relaes. Como
ningum afirma
, conclui o Aquinate, necessrio que se
tenha
e, consequentemente
.
A partir deste exemplo, podemos verificar que a igualdade
em um sistema pode ser dada de modo no-usual, por meio das prprias relaes do sistema. uma ideia interessante que provavelmente exploraremos em outros trabalhos.
1.4. Algumas definies de sistema
Parece paradoxal o fato de que diversos ramos do conhecimento, que obtm to fabulosos resultados, estejam fundados
sobre noes e conceitos, cujas definies, que necessariamente
devem ser precisas, no sejam consenso entre os seus investigadores. No h, por exemplo, consenso sobre a definio de informao, na era da informao e no h acordo sobre o que vida
entre os pesquisadores das reas da Biologia. Tal a nossa situao:
h relativa concordncia nas situaes em que se apresentam sistemas auto-organizados, mas no h consenso no que sistema ou o
que auto-organizao. Apresentaremos, a seguir, algumas das definies de sistema dadas por alguns autores, antes de apresentarmos
a nossa proposta feita em uma abordagem matemtica.
Como vimos acima, h uma certa tendncia de se considerar
sistema como algo que os matemticos denominariam estrutura
relacional, isto , um par ordenado composto por um conjunto de
objetos e um conjunto de relaes entre esses objetos. Esta , aproximadamente, a definio dada por Bertalanffy, pai da Teoria
Geral de Sistemas: Um sistema pode ser definido como um
conjunto de elementos que esto em inter-relaes.15 Para
Bertallanffy, uma inter-relao (interrelation) significa que h
interao entre as relaes, no sentido de que o comportamento de
15
A system can be defined as a set of elements standing in interrelations

(BERTALANFFY, 1993).
Fbio Maia Bertato
72
um elemento p em uma relao R diferente de seu comportamento

em outra relao R.
Hall e Fagen, em seu artigo intitulado Definition of system,
apresentam uma definio, que eles afirmam que no almeja ser
filosfica ou matemtica, para a qual um sistema um conjunto de
objetos junto com relaes entre os objetos e seus atributos.16 Tratam ainda, no mencionado artigo, de interessantes pontos acerca dos
objetos, relaes, atributos, sistemas fsicos, etc.
Um definio matemtica de sistema dada por Mihajlo D.
Mesarovic e Yasuhiko Takahara (1964). Para eles, um sistema
(geral) uma relao sobre conjuntos (abstratos) no-vazios
, onde denota o produto cartesiano e um conjunto de ndices. Curiosamente, Mesarovic e Takahara consideram
um sistema no como uma estrutura relacional e sim como uma
relao. possvel provar que h uma certa correspondncia entre
um sistema nesse sentido e no sentido de uma estrutura relacional.
Uma outra definio matemtica dada por Jeffrey Yi-Lin
Forrest (2002). Tal definio explicitamente considera um sistema
como uma estrutura relacional. Para ele, um sistema um par
ordenado de conjuntos S = (M, R), tal que M o conjunto de todos
os objetos de S, e R um conjunto de relaes definidas sobre M.
Finalmente, Itala DOttaviano e Ettore Bresciani (2004)
apresentam a seguinte definio:
Um sistema pode ser inicialmente definido como uma entidade unitria,
de natureza complexa e organizada, constituda por um conjunto novazio de elementos ativos que mantm relaes, com caractersticas de
invariana no tempo, que lhe garantem sua prpria identidade. Nesse
sentido, um sistema consiste de um conjunto de elementos que formam
uma estrutura, a qual possui uma funcionalidade.
Todas as definies consideradas e as abordagens dos autores citados produziram uma quantidade respeitvel de resultados.
16
A system is a set of objects together with relationships between the objects

and between their attributes (HALL & FAGEN, 1956, p. 18).
73
Apesar das definies dadas acima pertencerem a uma mesma classe

de equivalncia, por assim dizer, podemos notar alguns importantes
detalhes (que no necessariamente no sejam contemplados pelas
demais, ao menos implicitamente). Para Bertalanffy, em um sistema
h inter-relaes. Para Hall e Fagen, h em um sistema relaes
entre objetos e seus atributos (que podemos considerar como relaes mondicas). Mesarovic, Takahara e Yi Lin fazem uso das ferramentas matemticas disponveis. DOttaviano e Bresciani explicitam caractersticas de invariana no tempo e introduzem a ideia de
funcionalidade. Esta ltima, ainda que no totalmente aclarada,
parece ser um diferencial com relao s demais definies. Alm
disso, a meno ao tempo destaca um aparente ponto fraco das
outras definies: o fato de que um sistema considerado como uma
estrutura relacional no parece contemplar a noo intuitiva de sistemas dinmicos, isto , tais definies parecem considerar apenas
sistemas estticos ou ainda instantneos do que se quer denominar sistema.
Parece-nos, portanto, que seja necessria outra definio de
sistema, considerando as estruturas relacionais como estados sistmicos e sistema como uma funo, cujo domnio emula a nossa
noo de tempo e o contra-domnio o conjunto de estados sistmicos sobre um universo dado. Veremos que possvel salvar a
noo de sistema como um par formado por um conjunto de objetos
e um conjunto de relaes sobre esse objeto, por meio de uma relao que denominamos histria do sistema. No sabemos se a noo
de funcionalidade pode ser definida matematicamente. Talvez a
relao histria do sistema possa ser uma aproximao. Na segunda
a parte, a seguir, efetuaremos as consideraes necessrias sobre a
definio matemtica de sistemas, tendo como ponto de partida, a
definio matemtica de relao.
Fbio Maia Bertato
74
2. Definio Matemtica de Sistemas

2.1. Estados sistmicos
Definio 1. Sejam um conjunto D e
. Denomina-se uma
relao
-ria com domnio D qualquer conjunto
.
Dizemos que a aridade ou o comprimento da relao .
Definio 2. Se uma -upla =
dizemos que satisfaz a relao .
Notao:
ou
pertence a
Definio 3. Sejam e duas relaes -rias, com domnios D

e D , respectivamente. Denomina-se um isomorfismo de em
uma bijeo
tal que
Para todo
=
Neste caso, dizemos que
.
e
so relaes isomorfas.
Definio 4. Sejam
uma relao -ria com domnio D e um
conjunto
. Denomina-se a restrio de a E a relao -ria
com domnio E, cujos elementos so as -uplas
que
satisfazem .
Neste caso, dizemos que
uma extenso de
Definio 5. A cardinalidade de uma relao com domnio D,

denotada por
, o nmero de elementos de seu domnio, ou seja,
=
.17
17
Algumas definies podem no ser usuais, mas foram escolhidas pensando

em se preparar terreno para outras investigaes em outros ramos da Matemtica e
da Lgica. Por exemplo, pode-se tranquilamente enveredar em alguma investigao
sobre estados sistmicos no mbito da Teoria de Modelos, conforme a abordagem
de Bruno Poizat em A Course in Model Theory: An Introduction to Contemporary
Mathematical Logic (2000).
75
Se o domnio de uma relao finita, dizemos que

finita. Note-se que, de fato, sobre um domnio finito no existe uma
relao -ria com um nmero infinito de -uplas.
Definio 6. Denomina-se uma multirrelao com domnio D o
conjunto R
de relaes com domnio D, de aridades
, respectivamente.
denominada assinatura de R.
A lista
Definio 7. Denomina-se uma estrutura relacional o par = B,

, onde B o domnio da estrutura, cada
uma relao
-ria com domnio B e I um conjunto de ndices.
Note-se que
no necessariamente finito.
Definio 8. Dado um conjunto U

, denomina-se estado sistmico ou configurao sistmica (ou simplesmente estado)18 a estrutura relacional S D, R , onde D
,
,
Ue
R um conjunto de relaes com domnio D.
objeto,
Neste caso, D denominado domnio sistmico,

D um
o conjunto de indivduos e U o universo sistmico.
O conjunto
o conjunto de todos os estados sistmicos sobre o universo U.

Um estado sistmico S
denominado trivial.
D, R , com D =
ou R = ,
Teorema 1. No existe o conjunto de todos os estados sistmicos.
18
A estrutura tambm poderia denominar-se sistema de estado nico.
Fbio Maia Bertato
76
Prova. Suponha, por absurdo, que exista o conjunto F de todos os

estados sistmicos. Temos ento que ,
F, para qualquer conjunto . Seja
. Como ,
,
temos que
, para qualquer conjunto . Portanto,
, para qualquer conjunto . Absurdo, pois, pelo Axioma da
Separao, poderamos definir o conjunto de todos os conjuntos, isto
, o conjunto universo
.
Corolrio 2. No existe o estado sistmico cujos objetos so todos
os estados sistmicos.
Em outras palavras, no existe o estado sistmico de todos
os estados sistmicos!
2.1.1 Codificao de estados sistmicos finitos

Definio 9. Um estado sistmico no-trivial S D, R denominado
finito se, e somente se, D um conjunto finito e R
uma multirrelao sobre D, com assinatura

.
Seja
. Cada objeto em S codificado por um
nmero
, tal que
. Cada relao de
pode, portanto, ser reescrita como uma relao com domnio
.
Se desejamos codificar vrios sistemas de modo nico, isto , de
modo que dois domnios distintos no tenham o mesmo cdigo,
basta codificar cada elemento do universo sistmico por um nmero
natural
, tal que
.
Cada
ordenada segundo a ordem lexicogrfica
isto ,
77
.19
Aps a ordenao dos elementos de
, obtemos:
=
onde
o nmero de elementos do conjunto

.
Cada
-upla
, onde
codificada por
e
.
A partir da
definimos:
-upla
=
Como R
.
, a partir da
-upla
definimos:
=
Finalmente, o cdigo do estado sistmico S dado por:

=
Concluso: Todo estado sistmico finito pode ser codificado por um nmero natural de forma nica, tal que dado nmero
obtm-se o sistema e vice-versa. Tal codificao denominada
aritmetizao de Gdel e baseada na codificao do plano, por
19
Neste texto, fazemos uso de meta-conectivos, i.e., os smbolos , , ,
e
so abreviaes de existe, para todo, e, se, e somente se, e se, ..., ento, respectivamente. No confundir com os conectivos que sero introduzidos abaixo.
Fbio Maia Bertato
78
meio do passeio de Cantor e da frmula de Gauss.

minado nmero de Gdel do estado sistmico .
deno-
Exemplo.
S
D, R =
D=
R=
=1
=2
=2
=
=
=
=
= 63
=
=
=
= 2 143
=
=
=
=
=
=4
=8
=
= 4 002
=
= 178 370 537 447 842
=
=
= 15 908 024 314 716 600 000 000 000 000

O exemplo evidencia que tal codificao contempla um
procedimento puramente especulativo, sem considerar a sua
viabilidade computacional efetiva.
79
2.2. Tipo de similaridade de um estado sistmico

Definio 10. Dado um estado sistmico S D, R , onde R
=
, denomina-se o tipo de similaridade de S a terna
,
, , onde o conjunto de indivduos de S e
uma funo (denominada funo aridade) que associa a cada
a aridade
da relao
.
No caso em que S um estado sistmico finito, seu tipo de
similaridade pode ser representado por
,
a assinatura de R.
onde
Definio 11. Dados dois estados sistmicos

,
e
,
, de mesmo tipo de similaridade , diz-se que
um
sub-estado sistmico de
se, e somente se,
e
=
, para toda relao de .

Notao:
Definio 12. Dado

, o sub-estado sistmico gerado por o
menor sub-estado sistmico de S D, R tal que seu domnio
sistmico.
Notao:
Definio 13. Sejam dois estados sistmicos

,
, de mesmo tipo de similaridade , e
funo. Diz-se que um homomorfismo de
em
por
) se, e somente se,
para cada
e para quaisquer
e
uma
(denotado
Fbio Maia Bertato
80
Se uma bijeo e vale a recproca em

um isomorfismo de em .
Notao:
, diz-se que
Definio 14. Sejam dois estados sistmicos

e , de mesmo tipo
de similaridade . Uma funo
denominada mergulho
se, e somente se, existe um sub-estado
,
de , tal que
.
2.3. Linguagens sistmicas formais
Para a expressabilidade formal de diversas classes de estados sistmicos, construiremos uma linguagem formal de 1 ordem
para cada tipo de similaridade . Para tanto, consideraremos fixado
um tipo de similaridade .
Definio 15. Uma assinatura para um tipo de similaridade
, ,
uma terna
, , , onde um conjunto de
smbolos para indivduos, um conjunto de smbolos para objetos,
,
,
e um conjunto de smbolos ,
,
de relaes
-rias.
2.3.1. A linguagem
2.3.1.1. Alfabeto bsico (ALF)
Definio 16. O alfabeto bsico de
, construdo a partir de
uma assinatura fixada, o conjunto ALF, cujos elementos so:
Smbolos de objetos (formam o conjunto de contrapartidas simblicas para os nomes de cada objeto indivduo ou
subconjunto de indivduos do estado sistmico):
;
.
Smbolos de relaes -rias (formam o conjunto
de
contrapartidas simblicas de relaes ou predicados -rios
da linguagem natural, para algum
):
81
.
Variveis (formam o conjunto VAR):
,
.
Smbolos lgicos:
Negao:
Implicao:
Conjuno:
Disjuno:
Bicondicional:
Identidade:
Quantificador universal:
Quantificador existencial:
Portanto,
ALF
VAR {,
, , , , , ,
2.3.1.2. Termos (TER)

Definio 17. Os smbolos de objetos e os smbolos de variveis
formam o conjunto dos termos de
, isto , o conjunto dos
termos determinado por
TER =
VAR.
2.3.1.3. Frmulas (FOR)

Definio 18. O conjunto FOR de frmulas de
conjunto tal que:
o menor
1. Se
TER, ento
FOR;
2. Se
e
TER, ento
3. Se ,
FOR, ento , , ,
,
FOR;
4. Se
FOR e
VAR ento
,
FOR.
FOR;
As frmulas na forma
e
so ditas frmulas
atmicas e sero denotadas por
e
, respectivamente. Faremos uso e omisso de parnteses conforme a
Fbio Maia Bertato
82
conveno usual. Diz-se que a ocorrncia de uma varivel em uma

frmula ligada se est sob o escopo de um quantificador que a
quantifica. Caso contrrio, a ocorrncia dita livre. Uma frmula
sem variveis livres denominada sentena.
Definio 19. A linguagem de primeira ordem para os estados
sistmicos de tipo de similaridade dada pelo conjunto
= ALF TER FOR.
2.3.2. Semntica
Definio 20. Denomina-se um modelo (ou interpretao) para
a terna
=
. , onde
um conjunto no-vazio,
e . uma funo definida em
tal que:
1.
2.
3.
, para cada
, para cada
;
, para cada
Neste caso,
;
.
chamado domnio de , denotado por .
Observe-se que todo estado sistmico S = D, R , de tipo de similaridade , induz naturalmente um modelo
=
.
para
, com
, para cada
. Por outro lado, todo modelo para
determina um estado sistmico
=
,
de tipo de similaridade .
Tambm possvel se obter modelos a partir de estados sistmicos S de tipo de similaridade , tal que
(alguns objetos
ou relaes de S simplesmente podem no ser interpretaes).
Um estado sistmico em uma das condies mencionadas
acima dito um modelo para
.
83
Definio 21. Sejam

=
.
um modelo para
, p =
e
. Denomina-se o resultado da substituio da -sima coordenada de p por a seguinte -upla:
=
Seja
p
TER, ento p determina recursivamente um elemento

, denominado o valor de em p, do seguinte modo:
1. Se
2. Se
3. Se
, ento p = ;
, ento p = ;
VAR, ento p = ;
Definio 22. Sejam

FOR, um modelo para
Dizemos que p satisfaz
em , denotado por
somente se,
1. Se
2. Se
4. Se
5. Se
6. Se
7. Se
FOR, ento
.
, se, e
;
TER, ento
;
3. Se
ep
TER, ento
FOR, ento
FOR, ento
ou
FOR, ento
ou
FOR, ento
Fbio Maia Bertato
84
8. Se
9. Se
VAR e
FOR, ento
, para todo
VAR e
FOR, ento
, para algum
Uma linguagem
, munida de uma noo de satisfabilidade, como a definida acima, constitui uma lgica ou um sistema
lgico. Neste caso, a lgica definida semanticamente uma lgica
de primeira ordem clssica
. Alterando-se adequadamente os
itens 1-9 possvel se obter lgicas no-clssicas.
FOR, cujas vari,ep=
,
. Ento,
Teorema 3. Sejam um modelo para

,
veis livres so os elementos de
,
q=
, tais que = , para
Prova. Por induo sobre a complexidade da frmula .

O resultado anterior garante que a satisfabilidade de em
depende apenas dos valores assumidos pelas variveis livres de .
Definio 23. Uma frmula
somente se,
ou
verdadeira em um modelo
, para todo p
falsa em
se, e
Neste caso, diz-se que satisfeita por

um modelo de e denota-se por .
Diz-se que
todo p
.
, ou
se, e somente se,
satisfaz ,
, para
Definio 24. Uma frmula vlida (ou logicamente verdadeira)

se, e somente se, verdadeira em todo modelo de
.
Notao: .
85
2.3.3. Axiomas da Lgica Sistmica de 1 ordem com identidade

.
Sejam , ,
FOR,
VAR e
TER. Todas
as instncias dos esquemas abaixo so axiomas da Lgica Sistmica
de 1 ordem com identidade
:
(A1)
(A2)
(A3)
(A4)
(A5)
(A6)
(A7)
, onde
, onde
no livre em .
no
, onde e so frmulas atmicas e obtida a partir de pela substituio de

uma ocorrncia de por .
Consideraremos que os smbolos lgicos , e so definidos a partir de e

da maneira usual, ou seja, , e
so abreviaes de
,
e
, respectivamente.
As nicas regras de inferncia so modus ponens (MP) e
generalizao universal (GU), onde significa um teorema de
:
(MP):
(GU):
A Completude (i.e., que uma frmula teorema se, e somente se, vlida) da lgica axiomatizada acima foi provada por
Alfred Tarski (1901-1983) e em uma verso modificada por Donald
Kalish (1919-2000) e Richard Montague (1930-1971) (TARSKI,
1965; KALISH & MONTAGUE, 1965). Portanto, segue-se o seguinte resultado:
Fbio Maia Bertato
86
Teorema da Completude: Para toda
FOR,
Alm disso, os axiomas para

fornecem todas e somente as verdades lgicas da Lgica de Predicados de 1 ordem com
identidade ou igualdade (COCCHIARELLA, 2007, p. 33). Portanto,
podemos assumir todos os resultados conhecidos sobre a Lgica de
Predicados: Indecidibilidade,20 Lwenheim-Skolem,21 Compacidade,22
Lindstrm,23 etc.
3. Sistemas
Em rigoroso desenvolvimento, [a] teoria de sistema geral seria de
uma natureza axiomtica; isto , da noo de sistema e de um
conjunto adequado de axiomas, proposies expressando
propriedades de sistema e princpios seriam deduzidos
(BERTALANFFY).24
20
No existe um procedimento efetivo que determina se uma frmula arbitrria
um teorema. Na verdade, a Lgica de Predicados semidecidvel, posto que h
um procedimento efetivo para gerar teoremas mas no h um procedimento para
verificar que uma frmula no teorema.
21
O Teorema de Lwenheim-Skolem garante que se uma teoria de 1 ordem admite um modelo infinito, ento tambm admite um modelo de cardinalidade , para
todo cardinal infinito .
22
O Teorema da Compacidade garante que um conjunto de sentenas de uma
teoria de 1 ordem tem modelo se, e somente se, todos os seus subconjuntos finitos
tm modelo.
23
O Teorema de Lindstrm garante que as propriedades acima caracterizam a
Lgica de Predicados, i.e., que qualquer lgica que a contenha, e que ou (1) satisfaz
Lwenheim-Skolem e Compacidade; ou (2) satisfaz Lwenheim-Skolem e semidecidvel, equivalente a Lgica de Predicados.
24
In rigorous development, general system theory would be of an axiomatic
nature; that is, from the notion of system and a suitable set of axioms propositions
expressing system properties and principles would be deduced (BERTALANFFY,
1993, p. 55).
87
Definio 25. Um conjunto , munido de uma relao

nearmente ordenado se, e somente se, para todo , ,
as seguintes propriedades:
1. Antissimtrica:
2. Transitiva:
3. Totalidade:
, dito li, valem
= ;
;
.
A relao
ser subentendida ao se tratar de conjuntos
linearmente ordenados.25
Definio 26. Seja
ma uma funo
sistmico =
,
um conjunto linearmente ordenado. Um siste, que associa a cada

um estado
sobre um universo .
Cada elemento
denominado instante.
Exemplo. Diz-se que aps a visita recm-construda

Catedral de So Paulo (St. Pauls Cathedral, Londres), o Rei
Jaime II (1633-1701) deu o seguinte veredicto a Sir
Christopher Wren (1632-1723), seu projetista:
amusing, awful, artificial.
Tal elogio serve para exemplificar a evoluo diacrnica de trs vocbulos da lngua inglesa, em um processo
denominado de pejorao (pejoration). Nosso exemplo
consiste em um sistema de dois estados, cujos domnios
contm nove objetos (vocbulos) e possuem uma relao cada.
As relaes que utilizaremos representam a relao de
sinonmia do uso corrente,26 quer dizer quais palavras so
mais adequadas como sinnimos em um dado momento
25
As propriedades de um conjunto linearmente ordenado so as propriedades

mnimas que desejamos preservar para um conjunto que represente o tempo e pode
ser vazio, finito, infinito, discreto ou contnuo.
26
Sinonmia entendida aqui como uma relao semntica entre lexemas da
mesma categoria morfossinttica que possuem significado (aproximadamente)
equivalente. Por uso corrente, queremos dizer que se excluem as acumulaes de
acepes anteriores ao perodo em questo.
Fbio Maia Bertato
88
histrico (instante):
Considere o sistema
, cujo universo sistmico
o conjunto de todas as palavras de lngua inglesa, determinado por
= {1677, 2012};
=
= {amusing, awful, artificial, horrible,
comical, unnatural, amazing, awesome, artful};27
=
, onde
amusing, amazing , awful, awesome , artificial, artful

e
=
amusing, comical , awful, horrible , artificial, unnatural .28
Teorema 4. No existe o conjunto de todos os sistemas.

Prova. Suponhamos, por absurdo, que F seja o conjunto de todos os
sistemas. Temos que
um sistema, para qualquer
conjunto , desde que seja um conjunto linearmente ordenado.
Tomemos, para cada ,
=
. Temos ento que
=
dom
cod
. Como
=
,
temos que
27
Para maior fidelidade, verificamos que todos os vocbulos apresentados

existiam em 1677. Suas dataes so, segundo o Online Etymology Dictionary
(http://www.etymonline.com/), c. 1600, c. 1300, final do sc. XIV, c. 1300, incio
do sc. XV, idem, ibidem, c. 1590 e c. 1610, respectivamente.
28
Para simplificao, omitimos os pares simtricos e consideramos que as
relaes no so reflexivas.
89
para qualquer conjunto . Absurdo!

Corolrio 5. No existe o estado de todos os sistemas.
Corolrio 6. No existe o sistema de todos os sistemas.
Em outras palavras, no existe o sistema cujos objetos so
todos os sistemas (nem em um nico estado nem distribudo em
vrios estados).
3.1. Sistemas representados como estados sistmicos
Nosso prximo objetivo a investigao acerca da possibilidade de representao de sistemas como estados sistmicos. Tal
possibilidade de interesse dado que j obtivemos alguns importantes resultados em nosso estudo sobre estados sistmicos. Ademais, poderemos estabelecer se razovel a definio de sistema
como estrutura relacional.
Por representao de um sistema como um estado sistmico,
entendemos a possibilidade de se definir um estado sistmico que
preserve as propriedades de um dado sistema, tal que a partir do
sistema obtemos o estado e vice-versa, de modo que seja possvel
determinar quais elementos ou subconjuntos de seu universo so
objetos, em quais instantes so objetos e quais objetos esto
relacionados, em quais relaes e em quais instantes.
Como todo sistema
subconjunto de
,
fcil ver que uma relao com domnio
. Portanto, o
teorema abaixo imediato. Todavia, exibiremos outro modo de
determinar um estado sistmico correspondente a um dado sistema
por meio de uma nica relao.
Teorema 7. Todo sistema pode ser representado por um estado
sistmico.
Prova.
Fbio Maia Bertato
90
Seja um sistema
, tal que a cada
associa-se
um estado =
,
. Basta considerarmos o estado sistmico
=
,
,
=
onde
= {H},
.
ou
com H =
Exemplo. Seja um sistema
, onde
=
, com
, com =
,( ,
.
( ,
Temos que
=
Ento, o estado sistmico correspondente
, onde
=
= {H}, com
H=
Para representar por um estado sistmico sobre o mesmo

universo U de seus estados sistmicos, podemos considerar o
seguinte estado:
=
munido de uma relao H, como definida acima, denominada histria do sistema .
91
Quando um sistema real modelado matematicamente, podemos ter em seu universo elementos que no tm mais existncia
ou que ainda no tenham existncia. Portanto, podemos construir
uma lgica que d conta de elementos possveis e atuais. Em 3.2,
damos algumas indicaes de como fazer isso.
A seguir, mais definies que formalizam algumas noes
importantes para nosso estudo.
Definio 27. Um contexto formal para U
M), onde M =
,
.
um par
= (U,
Os elementos de M so denominados atributos. Cada

uma relao unria que representa um predicado mondico. Para
expressar que o objeto
possui um atributo
, denota-se
ou
ou ainda
.
Note-se que um contexto formal um estado sistmico
Definio 28. Dado um conjunto
de objetos, define-se
.
denominado o conjunto dos atributos comuns aos objetos de .

Analogamente, dado um conjunto
define-se
de atributos,
.
denominado o conjunto dos objetos que possuem todos os

atributos de .
Definio 29. Seja um estado sistmico =
,
sobre . Sejam
= ( , ),
,e
=( ,
) contextos formais para
e , respectivamente. Dizemos que um atributo
de
uma
propriedade emergente no contexto
se, e somente se,
,
para algum
e
.
Fbio Maia Bertato
92
Definio 30. Um conceito formal do contexto

par ( , ), onde
G,
M, = e = .
denominada extenso e
( , ).
= (G, M) um
denominada intenso do conceito
Com estas definies, indicamos a possibilidade de se efetuar

investigaes seguindo a Anlise de Conceito Formal (cf. GANTER,
1999).
3.2. A linguagem
da Lgica Sistmica Possibilista
Atualismo: Tudo que (possui ser), existe. (Ser = Existncia).

Possibilismo: Alguns objetos possivelmente existem, mas no
existem em ato (Ser Existncia).
Se desejarmos distinguir os objetos atuais dos demais objetos possveis de um estado sistmico, devemos destacar o conjunto
dos indivduos atuais como subconjunto do conjunto de indivduos possveis, isto ,
. Neste caso, consideraremos o tipo
de similaridade do estado sistmico de objetos atuais e possveis a
quntupla =
,
,
,
, , onde
o
conjunto de objetos atuais, o conjunto dos objetos possveis e
uma funo aridade. Uma assinatura para o tipo de similaridade
uma quntupla
= E, , , , , onde E um conjunto de
smbolos para indivduos atuais, um conjunto de smbolos para
indivduos possveis,
um conjunto de smbolos para objetos atuais,
um conjunto de smbolos para objetos possveis, E
,
,
,
e
um conjunto de smbolos ,
, de relaes
-rias.
3.2.1. Alfabeto bsico (
Definio 27. O alfabeto bsico de

uma assinatura
fixada, o conjunto
93
, construdo a partir de
, cujos elementos so:
Smbolos de objetos atuais (formam o conjunto

de contrapartidas simblicas para os nomes de cada objeto atual
indivduo ou subconjunto de indivduos do estado sistmico):
;
.
Smbolos de objetos possveis (formam o conjunto
de
contrapartidas simblicas para os nomes de cada objeto possvel indivduo ou subconjunto de indivduos do estado
sistmico):
;
.
Smbolos de relaes -rias (formam o conjunto
de
contrapartidas simblicas de relaes ou predicados -rios
da linguagem natural, para algum
):
.
Variveis (formam o conjunto VAR):
,
.
Smbolos lgicos:
Negao:
Implicao:
Conjuno:
Disjuno:
Bicondicional:
Identidade:
Quantificador universal possibilista:
Quantificador universal atualista:
Quantificador existencial possibilista:
Quantificador existencial atualista:
Portanto,
VAR {,
, , , , , ,
, ,
}.
Fbio Maia Bertato
94
3.2.2. Termos (
Definio 28. Os smbolos de objetos e os smbolos de variveis

formam o conjunto dos termos de
, isto , o conjunto dos termos determinado por
=
)
3.2.3. Frmulas (
Definio 29. O conjunto

conjunto tal que:
1. Se
2. Se
VAR.
de frmulas de
, ento
o menor
;
, ento
e
;
3. Se
, ento ,
;
4. Se
VAR ento
.
As mesmas consideraes feitas para a linguagem
devem
ser efetuadas sobre as notaes das frmulas atmicas,
e
, sobre a omisso de parnteses, sobre as variveis
livres e ligadas e sentenas.
Definio 30. A linguagem de primeira ordem possibilista para
os estados sistmicos de tipo de similaridade
dada pelo conjunto
=
Em trabalhos futuros pretendemos utilizar a linguagem

possibilista e evidenciar as possveis investigaes no mbito da Ontologia Formal e do Realismo Conceptual (cf. COCCHIARELLA,
2007).
95
4. Consideraes finais
Neste artigo apresentamos algumas consideraes como
contribuio para a investigao da Histria da Teoria de Sistemas,
oferecendo exemplos que podem indicar a presena do conceito de
sistema e de algumas posies que poderiam denominar-se sistmicas, mesmo que no sejam explicitamente declaradas. Cremos
que tais estudos sejam de relevncia para os investigadores de
Sistmica e Auto-Organizao interessados em seu desenvolvimento
histrico. Tambm apresentamos algumas definies de sistema,
particularmente aquelas concernentes concepo de sistema como
estruturas relacionais, isto , determinada como um par ordenado,
constitudo por um conjunto de objetos e um conjunto de relaes
sobre estes objetos. Acreditamos que tais definies falham por no
considerar, aparentemente, um sistema como algo dinmico. Segundo nossa interpretao, um sistema est mais para uma sequncia
de estruturas relacionais do que para uma estrutura relacional
determinada. Portanto, definimos sistema como uma funo que
associa a cada elemento de um conjunto que pode ser interpretado
como tempo (contnuo ou discreto), uma estrutura relacional denominada estado sistmico. Provamos alguns teoremas correspondentes a esta abordagem, que confirmam resultados das outras. Provamos tambm que possvel representar um sistema interpretado
como funo, por meio de uma estrutura relacional, verificando que
a crtica inicial s definies anteriores pode ser relativizada. Ainda
apresentamos alguns resultados e indicaes associados s denominadas lgicas sistmicas. Tais definies e construes servem de
ponto de partida para aprofundamentos, em uma perspectiva formal,
nas reas de Lgica Matemtica e Teoria dos Modelos, Anlise de
Conceito Formal, Ontologia Formal e Realismo Conceptual, como
teorias que fundamentem a investigao de sistemas, incluindo os
sistemas auto-organizados. Pretendemos efetuar investigaes
posteriores nesse sentido. Entendemos que uma definio clara e
precisa de sistema deve ser o primeiro passo para a investigao do
estatuto epistemolgico dos sistemas auto-organizados. Nosso
prximo objetivo, aps a reflexo e discusso com demais colegas
pesquisadores sobre a noo de funcionalidade, tentar efetuar a
96
Fbio Maia Bertato
investigao sobre a possibilidade de se apresentar uma definio

matemtica de auto-organizao.
5. Referncias bibliogrficas
ASHBY, W. R.. Principles of the self-organizing system. Principles
of Self-Organization: Transactions of the University of Illinois
Symposium, H. Von Foerster and G. W. Zopf, Jr. (eds.),
Pergamon Press: London, UK, pp. 255-278, 1962.
ARISTTELES. Aristotelis Opera omnia: graece et latine. Vol. I.
Parisiis: Ed. Ambrosio Firmin Didot, 1848.
_______. Topica [Loeb Classical Library No. 391]. Trad. E. S.
Forster. London: Harvard University Press, 1960.
_______. Topica [The Works of Aristotle, Vol. 1]. Trad. W. A.
Pickard-Cambridge. Oxford: Clarendon Press., 1928.
BERLINSKI, David. On System Analysis: An Essay concerning the
limitations of some Mathematical Methods in the Social,
Political, and Biological Sciences. Cambridge: The MIT Press,
1978.
BERTALANFFY, L. von. The History and Status of General
Systems Theory. The Academy of Management Journal, Vol.
15, No. 4, General Systems Theory, pp. 407 - 426, 1972.
_______. General System Theory. Foundations, Development,
Applications. Revised Edition. New York: George Braziller,
1993.
CIFUENTES, J. C. O Mtodo dos Isomorfismos Parciais.
Campinas: Coleo CLE [Vol. X], 1992.
CLAVIUS, C. Evclidis Elementorvm libri XV.: Accessit liber XVI.
de solidorum regularium cuiuslibet intra quodlibet
comparatione. Omnes perspicvis demonstrationibus, etc.
Francofurti [Frankfurt]: Ex Officina Typographica Nicolai
Hoffmanni, 1607.
97
COCCHIARELLA, N. Formal Ontology and Conceptual Realism.

Synthese Library, no 339. New York: Springer, 2007.
DARESSY, G. Calculs gyptiens du Moyen-Empire. Recueil de
Travaux Relatifs a la Philologie et a lArchologie gyptiennes
et Assyriennes. Vol. XXVIII. Liv. 1 et 2. Paris, 1906.
DOTTAVIANO, I. M. L., BRESCIANI, E. Sistmica, auto-organizao e criao. Revista Multicincia Seo Rede Interdisciplinar, A mente humana, COCEN/UNICAMP, v.3, pp.1-23,
2004.
EUCLIDES. The Thirteen Books of Euclids Elements. Trad., introd.
e notas de Sir Thomas L. Heath. v.1. New York: Dover
Publications, 1953.
GANTER, B. Formal Concept Analysis. Mathematical Foundations.
Berlin: Springer, 1999.
GARDINER, A. Egyptian Grammar. 3rd Ed.. Oxford: University
Press, 1979.
GILLINGS, R. J. Mathematics in the Time of the Pharaohs. New
York: Dover, 1972.
GRIFFITHS, J. G. Remarks on the Mythology of the Eyes of Horus.
Chronique dgypte. Tome XXXIII, n. 66. Association
gyptologique Reine lisabeth. pp. 182-193, 1958.
HALL, A. D.; FAGEN, R. E. Definition of System. General
Systems 1, pp. 18-28, 1956.
HARARY, Frank; BATELL, M. F. What is a System? Social
Networks 3, pp. 29 - 40, 1981.
HOUAISS, A. Dicionrio Houaiss da Lngua Portuguesa. Rio de
Janeiro: Ed. Objetiva, 2001.
JOANNES STOBAEUS. =
Ioannis Stobaei florilegium. Ad manuscriptorum fidem
emendavit et supplevit: Thomas Gaisford, A.M.. Vol. III.
Oxonii: Typographeo Clarendoniano, 1824.
98
Fbio Maia Bertato
_______. = Ioannis Stobaei

florilegium. Recognovit August Meineke. Vol. III. Lipsiae:
Teubner, 1856.
KALISH, D.; MONTAGUE, R. On Tarskis Formalization of
Predicate Logic with Identity. Archiv fr Mathematische Logik
und Grundlagenforschung, vol. 7, pp. 81-101, 1965.
LEWIS, C. T.; SHORT, C. A Latin Dictionary. Founded on
Andrews edition of Freunds Latin dictionary. Revised,
enlarged, and in great part rewritten by. Oxford: Clarendon
Press, 1879.
LIDDELL, H. G.; SCOTT, R. A Greek-English Lexicon. Revised
and augmented throughout by Sir Henry Stuart Jones, with the
assistance of Roderick McKenzie. Oxford: Clarendon Press,
1940.
LIN, Y. General Systems Theory. A Mathematical Approach. IFSR
International Series on Systems Science and Engineering, Vol
12. New York: Kluwer, 2002.
MARGARIS, A. First Order Mathematical Logic. New York:
Dover, 1990.
MESAROVIC, M. D.; TAKAHARA, Y. General Systems theory:
Mathematical Foundations. Mathematics in Science and
Engineering. Vol. 113. New york: Academic Press, 1975.
MLLER, G. Hieratische Palographie. Erster Band. Leipzig: J. C.
Hinrichssche Buchhandlung, 1909.
_______. Hieratische Palographie. Neudruck der zweiten
verbesserten Auflage 1927. Osnabrck: Otto Zeller, 1965.
MULLACH, F. W. A. Fragmenta Philosophorum Graecorum. Vol.
II. Parisiis: Ed. Firmin-Didot, 1881.
RENOUF, P. L. P.; NAVILLE, E. The Egyptian Book of the Dead.
London: The Society of Biblical Archaeology, 1904.
99
RITTER, J. Egyptian Mathematics. In: SELIN, Helaine;

D'AMBRSIO, Ubiratan. Mathematics Across Cultures: The
History of Non-Western Mathematics. Vol. 2. Dordrecht:
Kluwer, 2001.
STO TOMS DE AQUINO. Commentary on Aristotles Metaphysics. Trad. John P. Rowan. Notre Dame: Dumb Ox Books,
1995.
_______. Suma Teolgica. V. 1. Coord. geral Carlos-Josaphat Pinto
de Oliveira, O.P.. So Paulo: Loyola, 2001. [Introd. e notas de
Thomas dAquin - Somme thologique, Les ditions du Cerf,
Paris, 1984].
STUMP, E. Aquinas. New York: Routledge, 2005.
TARSKI, A. A Simplified Formalization of Predicate Logic with
Identity.
Archiv
fr
Mathematische
Logik
und
Grundlagenforschung, Vol. 7, pp. 61-79, 1965.
WOLKENHAUER, O.; HOFMEYR, J.-H. S. An abstract cell model
that describes the self-organization of cell function in living
systems. Journal of Theoretical Biology 246, pp. 461-476,
2007.

Sobre A Definicao Matematica de Sistema

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Sobre A Definicao Matematica de Sistema

Enviado por

Direitos autorais:

Formatos disponíveis

.

Sobre a Definio Matemtica de Sistema:

consideraes acerca da (pr-)histria da Teoria de Sistemas e (ii) apresentar uma

histria da Teoria de Sistemas.

Fbio Maia Bertato

Sobre a Definio Matemtica de Sistemas

Fbio Maia Bertato

Sobre a Definio Matemtica de Sistemas

Em certo sentido pode-se dizer que a noo de sistema to antiga

Alm da forte afirmao de Bertalanffy de que a noo de

Fbio Maia Bertato

A mais antiga definio conhecida do termo sistema

Na tabela abaixo, resumimos alguns exemplos dados por

Sobre a Definio Matemtica de Sistemas

Fonte: Quadro elaborado pelo autor

Podemos dizer que para Callicratdas, um sistema um

Na traduo inglesa de William Adair Pickard-Cambridge

Fbio Maia Bertato

Uma afirmao contrria de que o todo igual a soma de

Sobre a Definio Matemtica de Sistemas

Henderson Gardiner (1879 - 1963), baseado nos trabalhos de Georg

Fbio Maia Bertato

relao questo mereolgica, mas em termos das relaes e da

Sobre a Definio Matemtica de Sistemas

1.3. A questo do Filioque e sua soluo sistmica: um exemplo

No trecho indicado, em grego, os sobrescritos N e C, indicam

Fbio Maia Bertato

As distines semnticas entre o vocbulo grego

Sobre a Definio Matemtica de Sistemas

passiva) e a do prprio princpio (Paternidade e Espirao ativa).

Na Filosofia e Teologia latinas, existe um Deus que uno

Fbio Maia Bertato

(processio amoris como operao da vontade). Em cada processo

Respondo. necessrio afirmar

Sobre a Definio Matemtica de Sistemas

entre si unicamente por relaes.

Fbio Maia Bertato

Percebe-se no raciocnio apresentado por Toms de Aquino,

Transcrio, com formatao adaptada, da traduo brasileira em STO.

Sobre a Definio Matemtica de Sistemas

A system can be defined as a set of elements standing in interrelations

Fbio Maia Bertato

um elemento p em uma relao R diferente de seu comportamento

A system is a set of objects together with relationships between the objects

Sobre a Definio Matemtica de Sistemas

Apesar das definies dadas acima pertencerem a uma mesma classe

Fbio Maia Bertato

2. Definio Matemtica de Sistemas

Definio 3. Sejam e duas relaes -rias, com domnios D

Neste caso, dizemos que

Definio 5. A cardinalidade de uma relao com domnio D,

Algumas definies podem no ser usuais, mas foram escolhidas pensando

Sobre a Definio Matemtica de Sistemas

Se o domnio de uma relao finita, dizemos que

Definio 7. Denomina-se uma estrutura relacional o par = B,

Definio 8. Dado um conjunto U

Neste caso, D denominado domnio sistmico,

o conjunto de todos os estados sistmicos sobre o universo U.

Teorema 1. No existe o conjunto de todos os estados sistmicos.

A estrutura tambm poderia denominar-se sistema de estado nico.

Fbio Maia Bertato

Prova. Suponha, por absurdo, que exista o conjunto F de todos os

2.1.1 Codificao de estados sistmicos finitos