Transmatemática e o Espçao dos Mundos Possíveis
Tiago S. dos Reis
Doutor pelo HCTE/UFRJ Professor do IFRJ
tiago.reis@ifrj.edu.br
Resumo: No presente trabalho fazemos uma síntese do que foi proposto durante o
doutoramente deste autor no que diz respeito a uma aplicação dos números transreais e da transmatemática na lógica, mais especificamente no estudo do Espaço dos Mundos Possíveis. Os números transreais são um novo conjunto numérico que permite a divisão por zero. O Espaço Transreal dos Mundos Possíveis é um modelo matemático para a ideia lógica de mundos possíveis motivada no pensamento de Leibniz. Neste modelo matemático, demonstramos que existem mundos universais, a saber, mundos que se comunicam com qualquer outro mundo.
Palavras-chave: transmatemática; números transreais; mundos possíveis.
1. Introdução
O objetivo deste texto é divulgar um dos temas pesquisados por este autor durante seu doutoramente no Programa de Pós-Graduação em História das Ciências e das Técnicas e Epistemologia (HCTE). Pesquisa esta feita em parceria com os professores Walter Gomide e James Anderson. As demonstrações dos teoremas e demais detalhes técnicos podem ser encontrados em (REIS, 2015a).
lineares a mundos possíveis. Mostramos que este conjunto é um espaço topológico métrico de modo que podemos medir distâncias entre mundos possíveis. Definimos relações de acessibilidade entre mundos possíveis em termos de transformações lineares. Provamos a existência de mundos hipercíclicos neste espaço transreal de todos os mundos possíveis, o que significa dizer que existem mundos universais, qualquer um deles aproxima todos os mundos por aplicações recursivas de um único operador linear.
2. Os Números Transreais e a Semântica Total
No início dos anos 2000 o cientista da computação James Anderson propôs um sistema onde a divisão por zero é permitida, chamado de conjunto dos números transreais e denotado por ℝ𝑇 (ANDERSON, 2005). Em ℝ𝑇, o resultado de qualquer
uma das quatro operações básicas (adição, subtração, multiplicação e divisão) entre números transreais é um número transreal. Os números transreais são formados por todos os números reais e mais três novos elementos, −∞, ∞ e Φ, denominados respectivamente por menos infinito, infinito e nullity. Desta forma, ℝ𝑇 = ℝ ∪ −∞, ∞, Φ . Por definição: −𝑘 0 = −1 0 ≔ −∞ , 𝑘 0 = 1 0≔ ∞ para todo 𝑘 ∈ ℝ e 0 0≔ Φ
(ANDERSON, VÖLKER e ADAMS, 2007).
Podemos destacar algumas das propriedades dos números transreais. Para todo número real 𝑘, segue que ∞ < 𝑘 < ∞. Para todo número transreal 𝑥, segue que Φ ≮ 𝑥 e Φ ≯ 𝑥. Os números transreais possuem um, e apenas um, ponto isolado, a saber, o nullity. Além disso, nullity é um número absorvente com respeito às operações aritméticas: Φ + 𝑥 = 𝑥 + Φ = Φ, Φ − 𝑥 = 𝑥 − Φ = Φ, Φ × 𝑥 = 𝑥 × Φ = Φ e Φ ÷ 𝑥 = 𝑥 ÷ Φ = Φ para todo número transreal 𝑥.
A semântica total é baseada no conjunto dos números transreais (GOMIDE, REIS e ANDERSON, 2015a, 2015b) em virtude do fato de o resultado de quaisquer operações aritméticas aplicadas a números transreais ser um número transreal.
Fonte: Reis, Gomide e Anderson (2016)
O conjunto dos valores semânticos é definido como ℝ𝑇. Na semântica total, o
infinito negativo é o Falso clássico; o infinito positivo é o Verdadeiro clássico; o conjunto dos números reais são os valores fuzzy; o zero é um valor paraconsistente, que é igualmente Falso e Verdadeiro; e nullity é um valor de indeterminação, que é nem falso nem verdadeiro. Os conectivos lógicos são definidos a partir de funções transreais. A negação é dada por ¬(𝑥) = −𝑥; a conjunção é dada por 𝑥 ∧ 𝑦 = Φ, se 𝑥 = Φ ou 𝑦 = Φ e 𝑥 ∧ 𝑦 = min{𝑥, 𝑦}, caso contrário; e a disjunção é dada por 𝑥 ∨ 𝑦 = Φ, se 𝑥 = Φ ou 𝑦 = Φ e 𝑥 ∨ 𝑦 = max{𝑥, 𝑦}, caso contrário.
3. O Espaço Transreal dos Mundos Possíveis
De acordo com Leibniz, Deus tem em sua mente todos os mundos que poderiam ser criados. Ele escolhe um desses mundos para ser o mundo real (o melhor mundo que ele poderia criar). De acordo com Leibniz existem leis ou declarações que são verdadeiras em cada mundo, estas são proposições necessárias ou verdades da razão, enquanto algumas outras proposições são verdadeiras para o mundo real, mas não em todos os mundos: há um mundo em que essas proposições contingentes não se sustentam (LEIBNIZ, 1998). Temos, na abordagem de Leibniz, uma base para interpretar a relação entre proposições e mundos possíveis.
Intuitivamente, um mundo possível é uma evaluação das proposições nos valores semânticos. Como todas as proposições são compostas por uma ou mais proposições atômicas, um mundo possível é uma evaluação das proposições atômicas nos valores semânticos. Isto é, em um dado mundo possível, cada proposição atômica assume um valor semântico em ℝ𝑇. Assumimos que o conjunto
{𝑃𝑖; 𝑖 ∈ ℕ} = {𝑃1, 𝑃2, 𝑃3, …}
onde 𝑃𝑖 ≠ 𝑃𝑗 sempre que 𝑖 ≠ 𝑗. Desta forma, podemos interpretar um mundo possível como uma função de {𝑃1, 𝑃2, 𝑃3, … } em ℝ𝑇. Isto forma uma sequência de elementos
de ℝ𝑇. Assim, denotando por (ℝ𝑇)ℕ o conjunto das sequências de elementos de ℝ𝑇,
adotamos a seguinte definição.
Definição 1. Chamamos cada elemento de (ℝ𝑇)ℕ de mundo possível e, portanto,
(ℝ𝑇)ℕ de conjunto dos mundos possíveis.
Desta forma, cada mundo possível é um ponto no espaço (ℝ𝑇)ℕ. Dado um
mundo possível 𝑤 = (𝑤𝑖)𝑖∈ℕ, para cada 𝑖 ∈ ℕ, 𝑤𝑖 corresponde ao valor semântico de 𝑃𝑖 em 𝑤.
Uma questão que surge é se existe alguma relação entre os mundos possíveis. Motivados na lógica modal de Kripke (1963), nos perguntamos como se dão as interações entre mundos possíveis, isto é, como eles se comunicam. Kripke oferece uma semântica para a lógica com base na noção de uma “estrutura modal”. A estrutura modal é um par, < 𝑊, 𝑅 >, onde 𝑊 é um conjunto de mundos possíveis e 𝑅 é uma relação binária entre mundos possíveis. Essa relação é chamada de “relação de acessibilidade”. Intuitivamente, a relação de acessibilidade pode ser vista como um “caminho” entre os mundos. Propomos um objeto matemático que possa fazer o papel da relação de acessibilidade. Isto é, para dizermos que existe uma relação de acessibilidade de um mundo possível 𝑤 em um mundo possível 𝑢 queremos que exista um objeto matemático 𝑇 que relacione 𝑤 a 𝑢 e que satisfaça as propriedades reflexiva e transitiva. A existência de uma transformação linear 𝑇 em (ℝ𝑇)ℕ tal que 𝑇(𝑤) = 𝑢 é uma relação com tais características, como demonstrado
em (REIS, 2015a). Assim, denotando por (ℝ𝑇)ℕ o conjunto das sequências de
elementos de ℝ𝑇, adotamos a seguinte definição.
Definição 2. Dados dois mundos possíveis 𝑤, 𝑢 ∈ (ℝ𝑇)ℕ arbitrários, dizemos que
𝑇: (ℝ𝑇)ℕ → (ℝ𝑇)ℕ é uma comunicação de 𝑤 em 𝑢 se, e só, se 𝑇 é uma
i) para cada 𝑣 = (𝑣𝑖)𝑖∈ℕ ∈ (ℝ𝑇)ℕ tal que 𝑣
𝑖 = 𝑣1 para todo 𝑖 ∈ ℕ, 𝑇(𝑣) = 𝑣 e
ii) 𝑇(𝑤) = 𝑢.
Definição 3. Dados dois mundos possíveis 𝑤, 𝑢 ∈ (ℝ𝑇)ℕ arbitrários, dizemos que
𝑤𝑅𝑢 se, e só se, existe uma comunicação de 𝑤 em 𝑢. Chamamos a relação 𝑅 de
relação de acessibilidade. Dizemos que 𝑤 acessa 𝑢 ou que 𝑢 é acessível por 𝑤
se, e só se, 𝑤𝑅𝑢.
A relação de acessibilidade, 𝑅, possui as propriedades reflexiva e transitiva. Isto é, para todos 𝑤, 𝑢, 𝑣 ∈ (ℝ𝑇)ℕ, segue que 𝑤𝑅𝑤 e se 𝑤𝑅𝑢 e 𝑢𝑅𝑣, então 𝑤𝑅𝑣, como
demonstrado em (REIS, 2015a).
O conjunto dos mundos possíveis (ℝ𝑇)ℕ é um espaço topológico, como
também demonstrado em (REIS, 2015a). Um espaço topológico é um espaço que nos permite falar de vizinhanças, proximidade e convergência. Num espaço topológico podemos dar um sentido exato à noção de “estar próximo de”. Ora, de acordo com nosso modelo, mundos possíveis são pontos do espaço topológico (ℝ𝑇)ℕ. Isto nos permite falar em proximidade e convergência com respeito a mundos
possíveis. Isto é, temos o sentido exato de “um mundo possível está próximo de outro” ou de “uma sucessão de mundos possíveis converge para um outro determinado”.
Teorema 4. Existe um operador hipercíclico no Espaço dos Mundos Possíveis
(ℝ𝑇)ℕ.
Poderíamos considerar cada mundo universal como uma teoria de tudo. Primeiramente, um mundo universal seria uma teoria no sentido de fornecer uma descrição. Segundo, um mundo universal seria uma teoria de tudo, no sentido de que operá-lo produz descrições de todos os mundos possíveis em nosso universo lógico.
Em termos topológicos, um vetor hipercíclico tem uma infinidade de componentes. Em um procedimento mecânico, o operador hipercíclico, aplicado a um vetor, produz um novo vetor, diferente em geral, que se encontra na órbita de seu gerador hipercíclico. O procedimento mecânico pode ser aplicado uma infinidade de vezes, em cujo caso a órbita é densa em todo o espaço. Além disso, mundos na órbita podem ser selecionados em seqüências que convergem para qualquer mundo particular. Se considerarmos um vetor hipercíclico como uma teoria, digamos, em virtude de ser uma ligação entre todos os predicados atômicos possíveis a valores semânticos, então um procedimento mecânico gera teorias que estão próximas a cada mundo e podemos refinar o procedimento construindo uma sequência de teorias que converge para uma descrição de qualquer mundo particular. Isso tem uma implicação para a filosofia da ciência. Nosso mundo real poderia ser descrito por uma infinidade de mundos possíveis. É concebível que as mentes humanas, em nosso mundo atual, possam acessar um mundo hipercíclico, construindo uma descrição dele, e continuem, por meios mecânicos ou mais direcionados, a descobrir tudo com precisão arbitrária!
4. Referências Bibliográficas
ANDERSON, J. A. D. W.; VÖLKER, N.; ADAMS A. A. Perspex Machine VIII: Axioms of transreal arithmetic. Vision Geometry XV Proceedings of the SPIE, v. 6499, p. 649903.1-649903.12, 2007.
FLOYD, Juliet. Wittgenstein on Philosophy of Logic e Mathematics. In Stewart Shapiro, editor, Oxford Handbook of Philosophy of Logic e Mathematics, capítulo 4, páginas 75--128. Oxford University Press, 2005.
GOMIDE, W; REIS, T. S. dos; ANDERSON, J. A. D. W. Transreal Logical Space of All Propositions. In: Haeng Kon Kim; Mayhar A. Amouzegar; Sio-Iong Ao. (Org.). Transactions on Engineering Technologies, World Congress on Engineering and Computer Science. London: Springer, 2015a, p. 227-242.
GOMIDE, W; REIS, T. S. dos; ANDERSON, J. A. D. W. Transreal Proof of the Existence of Universal Possible Worlds. In: 5th World Congress and School on Universal Logic, 2015, Istambul. Handbook of the 5th World Congress and School on Universal Logic, p. 240-241, 2015b.
GROSSE-ERDMANN, K.-G; PERIS, A. Linear Chaos. Springer, 2011.
KRIPKE, S. Semantical considerations on modal logic. Acta Philosophica Fennica, v. 16, p. 83 – 94, 1963.
LEIBNIZ, G. Monadology. In: R. Franks and R. S. Woolhouse. Leibniz Philosophical Texts. Oxford Philosophical Texts, 1998.
REIS, T. S. dos. Números transreais e o espaço lógico. In: SCIENTIARUM HISTORIA: VIII CONGRESSO DE HISTÓRIA DAS CIÊNCIAS DAS TÉCNICAS E EPISTEMOLOGIA, 2015. Rio de Janeiro. Anais... Universidade Federal do Rio de Janeiro, 2015b.
