1

SOBRE A DEFINIO MATEMTICA DE SISTEMA: ALGUNS ASPECTOS

HISTRICOS, NOVAS PROPOSTAS E LGICAS SISTMICAS ASSOCIADAS
Fbio Maia BERTATO
CLE Unicamp

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 um 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
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 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

1
Segundo a datao, na entrada correspondente, do dicionrio 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.
2

[...]
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 inter-relacionamento 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); [...] (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:
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
3

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).
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.
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,
2
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.
3

[
4

.
, ,
.]
5

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
( )
coro () =
comunho musical
vozes(?) (?)
concerto ()
navio Tripulao piloto viagem prspera

2
: .
3
Segundo Callicratdas, a famlia divide-se em o homem e suas posses ( ). Esposa,
filhos, escravos e agregados incluem-se nesta ltima.
4
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.
5
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).
4

() ( ) () ()
famlia
()
Parentes
()
senhor da casa
()
concrdia
()

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, 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
[]. O mesmo no se d na traduo de Edward Seymour Forster (1879 - 1950): To speak
generally, all the arguments that can be used to prove that the whole and its parts are not the same are
useful [...].
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
5

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

Segundo Sir Alan Henderson Gardiner (1879 - 1963), baseado nos trabalhos de Georg Mller (1876
- 1921), os hierglifos , , , , e , que representam as fraes

,
respectivamente, formam o hierglifo ( , wDAt, wedjet, olho saudvel, completo,
GARDINER, 1979, p.197; MLLER, 1909, I, p. 67; 1965, II, p. 62).
7

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


Como visto acima, possvel encontrar, por meio de outros termos, uma teoria sistmica
em Aristteles. No somente com 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,
9
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.

6
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 Horus seized the testicles of Seth. It was Thoth who did this with his fingers (GRIFFITHS, 1958, p. 184).
Para outra traduo, com pequenas variaes, v. RENOUF & NAVILLE, 1904, p. 36.
7
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 wDAt, 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.
8
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, pp. 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).
9
Sine Thoma, Aristoteles mutus esset. Tal sentence 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.
6

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

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

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

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 (processio amoris como

10
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, pp. 69-102) e dos excelentes contedos de clssicos da literatura Tomista
disponveis pelo projeto Corpus Thomisticum (http://www.corpusthomisticum.org/).
8

operao da vontade). Em cada processo h duas relaes opostas: a do termo procedendo do
princpio (Filiao e Espirao Passiva);
11
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

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

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
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, entendem-se 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 confessamos.
12


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

11
No texto de Toms de Aquino, esta ltima no tem nome prprio. denominada apenas de Processo.
12
Transcrio, com formatao adaptada, da traduo brasileira em STO. TOMS DE AQUINO, 2001.
9

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 ,

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

so opostas. A questo saber se ,

. Como nessas relaes no

pode haver pares , , necessrio que ,

ou ,

. 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: A system can be defined as a set of
elements standing in interrelations. Para Bertallanffy, uma inter-relao (interrelation) significa que h
interao entre as relaes, no sentido de que o comportamento de um elemento p em uma
relao R diferente de seu comportamento em outra relao R.
10

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.
13
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 um conjunto de relaes definedas 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 no-vazio 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. 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.


13
A system is a set of objects together with relationships between the objects and between their attributes (HALL &
FAGEN, p. 18, 1956).
11

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 =

, ,

pertence a , dizemos que satisfaz a

relao .
Notao: ou .

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, = .
14

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.
A lista

, ,

denominada assinatura de R.

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


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)
15
a estrutura relacional S D, R, onde D ,
, U e R um conjunto de relaes com domnio D.
Neste caso, D denominado domnio sistmico, D um objeto, 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 D, R, com D = ou R = , denominado trivial.

Teorema 1. No existe o conjunto de todos os estados sistmicos.
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!

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

, ,

.


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

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 ,

, ,

, ,

.
16

Aps a ordenao dos elementos de

, obtemos:

, ,

,
onde o nmero de elementos do conjunto

, ,

.
Cada

-upla

, ,

codificada por

, onde

, ,

e
,

.
A partir da -upla

, ,

definimos:

.
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 meio do passeio de Cantor e
da frmula de Gauss. denominado nmero de Gdel do estado sistmico .

Exemplo.
S D, R = , , , , ,


16
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.
14

D = ,

= 1
= 2
= 2


R =

= , ;

= ,

= ,
, = , , = , = 63

= , =

= , = 2 143

= ,
= , = 4
= , = 8

= , = ,

= , , = 4 002

= ,
= , , = 178 370 537 447 842

= ,

= 15 908 024 314 716 600 000 000 000 000


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
, ,

, ,

,
onde

, ,

a assinatura de R.

Definio 11. Dados dois estados sistmicos

, de mesmo tipo de
similaridade , diz-se que

um sub-estado sistmico de

se, e somente se,

, 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:

.
15


Definio 13. Sejam dois estados sistmicos

, de mesmo tipo de
similaridade , e

uma funo. Diz-se que um homomorfismo de

em

(denotado por

) se, e somente se,

, ,

, ,

,
para cada e para quaisquer

, ,

.
Se uma bijeo e vale a recproca em , diz-se que um isomorfismo de

em

.
Notao:

.

Definio 14. Sejam dois estados sistmicos

, 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 ):

.
Variveis (formam o conjunto VAR):

, .
16

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

o menor conjunto tal que:

1. Se

TER, ento

FOR;
2. Se

, ,

TER, ento

FOR;
3. Se , FOR, ento , , , , FOR;
4. Se FOR e VAR ento , FOR.
As frmulas na forma

so ditas frmulas atmicas e sero denotadas

por

, ,

, respectivamente. Faremos uso e omisso de parnteses

conforme a 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:
17

1.

, para cada

;
2.

, para cada

;
3.

, 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

.

Definio 21. Sejam = , , .

um modelo para

, p =

e .
Denomina-se o resultado da substituio da -sima coordenada de p por a seguinte -upla:
p

, ,

, ,

, .
Seja TER, ento p determina recursivamente um elemento p , denominado o valor de
em p, do seguinte modo:
1. Se

, ento p=

;
2. Se

, ento p=

;
3. Se

VAR, ento p=

;

Definio 22. Sejam FOR, um modelo para

e p

. Dizemos que p satisfaz

em , denotado por p , se, e somente se,
1. Se

TER, ento
p p

;

2. Se

, ,

, e

, ,

TER, ento
p

,, p

;

3. Se , FOR, ento
p p;

4. Se , , FOR, ento
p p e p;

18

5. Se , , FOR, ento
p p ou p;

6. Se , , FOR, ento
p p ou p;

7. Se , , FOR, ento
p p e p;

8. Se

VAR e FOR, ento

p p

, para todo

;

9. Se

VAR e FOR, ento

p p

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

Teorema 3. Sejam um modelo para

, FOR, cujas variveis livres so os elementos de

, ,

, e p =

, , q =

, tais que

, para .
Ento,
p q.
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 verdadeira em um modelo se, e somente se,
p, para todo p

.
Neste caso, diz-se que satisfeita por , ou satisfaz , ou um modelo de e
denota-se por .
Diz-se que falsa em se, e somente se, p, para todo p

.

Definio 24. Uma frmula vlida (ou logicamente verdadeira) se, e somente se,
verdadeira em todo modelo de

.
Notao: .
19

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) , onde no livre em .
(A6)

, onde no

.
(A7)

, 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): e .
(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:

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

Portanto, podemos assumir todos os resultados conhecidos sobre a Lgica de Predicados:
Indecidibilidade,
17
Lwenheim-Skolem,
18
Compacidade,
19
Lindstrm,
20
etc.

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

Definio 25. Um conjunto , munido de uma relao , dito linearmente ordenado se, e
somente se, para todo , , , valem as seguintes propriedades:
1. Antissimtrica: = ;
2. Transitiva: ;
3. Totalidade: .
A relao ser subentendida ao se tratar de conjuntos linearmente ordenados.
21


Definio 26. Seja um conjunto linearmente ordenado. Um sistema uma funo

,
que associa a cada um estado sistmico

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,
22


17
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.
18
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 .
19
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.
20
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.
21
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.
22
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.
21

quer dizer quais palavras so mais adequadas como sinnimos em um dado momento 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};

23

, onde

= amusing, amazing, awful, awesome, artificial, artful e

= amusing, comical, awful, horrible, artificial, unnatural.

24




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
, ,

, ,

, ,
,
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

23
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.
24
Para simplificao, omitimos os pares simtricos e consideramos que as relaes no so reflexivas.
22

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.
Seja um sistema

, tal que a cada associa-se um estado

. Basta
considerarmos o estado sistmico

,
onde

=



e

= {H},
com H =

: ,

.

Exemplo. Seja um sistema

, onde
= , ;

= , ,

, com

= , ;

= , , ,

, com

= , e

= , , , .

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:

=

,

,
23

munido de uma relao H, como definida acima, denominada histria do sistema .

Quando um sistema real modelo matematicamente, podemos ter em seu universo
elementos que no tm mais existncia ou ainda no 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 um par = (U, M), onde M =

.
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 de atributos, define-se

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

.

Definio 30. Um conceito formal do contexto = (G, M) um par (, ), onde G,
M, = e = .
denominada extenso e denominada intenso do conceito (, ).

24

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

, construdo a partir de uma assinatura

fixada, o
conjunto

, 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:
25

Disjuno:
Bicondicional:
Identidade:
Quantificador universal possibilista:
Quantificador universal atualista:

Quantificador existencial possibilista:
Quantificador existencial atualista:

Portanto,

VAR {, , , , , , ,

, ,

}
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

VAR.
3.2.3 - Frmulas (

)
Definio 29. O conjunto

de frmulas de

o menor conjunto tal que:

1. Se

, ento

;
2. Se

, ,

, ento

;
3. Se ,

, ento , , , ,

;
4. Se

e VAR ento ,

, ,

.
As mesmas consideraes feitas para a linguagem

devem ser efetuadas sobre as

notaes das frmulas atmicas,

, ,

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

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 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.
ARISTTELES. Topica [Loeb Classical Library No. 391]. Trad. E. S. Forster. London: Harvard University
Press, 1960.
ARISTTELES. 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, Ludwig 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.
BERTALANFFY, Ludwig von. General System Theory. Foundations, Development, Applications. Revised Edition.
New York: George Braziller, 1993.
CIFUENTES, Jos Carlos. O Mtodo dos Isomorfismos Parciais. Campinas: Coleo CLE [Vol. X], 1992.
CLAVIUS, Christophorus. 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.
COCCHIARELLA, Nino. 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, Bernhard. Formal Concept Analysis. Mathematical Foundations. Berlin: Springer, 1999.
GARDINER, Alan. Egyptian Grammar. 3rd Ed.. Oxford: University Press, 1979.
27

GILLINGS, Richard J.. Mathematics in the Time of the Pharaohs. New York: Dover, 1972.
GRIFFITHS, J. Gwyn. 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, Mark F.. What is a System? Social Networks 3, pp. 29 - 40, 1981.
HOUAISS, Antnio. 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.
JOANNES STOBAEUS. = 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, Charlton T.; SHORT, Charles. A Latin Dictionary. Founded on Andrews edition of Freunds Latin
dictionary. Revised, enlarged, and in great part rewritten by. Oxford: Clarendon Press, 1879.
LIDDELL, Henry George; SCOTT, Robert. A Greek-English Lexicon. Revised and augmented throughout by
Sir Henry Stuart Jones, with the assistance of Roderick McKenzie. Oxford: Clarendon Press, 1940.
LIN, Yin. General Systems Theory. A Mathematical Approach. IFSR International Series on Systems Science and
Engineering, Vol 12. New York: Kluwer, 2002.
MARGARIS, Angelo. 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, Georg. Hieratische Palographie. Erster Band. Leipzig: J. C. Hinrichssche Buchhandlung, 1909.
MLLER Georg. Hieratische Palographie. Neudruck der zweiten verbesserten Auflage 1927. Osnabrck: Otto
Zeller, 1965.
MULLACH, Friedrich Wilhelm August. Fragmenta Philosophorum Graecorum. Vol. II. Parisiis: Ed. Firmin-Didot,
1881.
RENOUF, P. Le Page; NAVILLE, E. The Egyptian Book of the Dead. London: The Society of Biblical
Archaeology, 1904.
RITTER, James. 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 Aristotle`s Metaphysics. Trad. John P. Rowan. Notre Dame:
Dumb Ox Books, 1995.
STO. TOMS DE AQUINO. 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, Eleonore. Aquinas. New York: Routledge, 2005.
TARSKI, Alfred. A Simplified Formalization of Predicate Logic with Identity. Archiv fr Mathematische Logik
und Grundlagenforschung, Vol. 7, pp. 61-79, 1965.
WOLKENHAUER, Olaf; HOFMEYR, Jan-Hendrik 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.