A Catedral da Lógica Teológica em Prolog
A Fé que Procura a Compreensão Computacional
Este projeto ousa aplicar o rigor da Programação Lógica em Prolog para mapear a estrutura formal da fé católica. Nosso objetivo não é "provar" Deus matematicamente, mas modelar a consistência interna das definições dogmáticas, revelando a teologia como um sistema coerente de proposições interconectadas, fundamentadas na Revelação e na Tradição.
Utilizando árvores de inferência, decompomos dogmas complexos em cadeias dedutivas. O sistema demonstra passo a passo como as verdades de fé se sustentam logicamente umas nas outras, unindo o estudo teológico clássico (Escrituras, Concílios, Padres da Igreja) aos fundamentos da Ciência da Computação de forma incremental e transparente.
Convidamos tanto o crente quanto o cético a percorrer esse caminho. Para o crente, é uma oportunidade de aprofundamento intelectual, descobrindo as ricas implicações lógicas daquilo que já se professa pela fé. Para o não-familiarizado, esta é uma janela para entender a racionalidade que sustenta o catolicismo: ao aceitar o "primeiro passo" do dogma, descobre-se todo um edifício de verdades que dele decorrem. Ressaltamos, contudo, que a fé precede a compreensão; a lógica é uma ferramenta de luz, mas a aceitação plena da Verdade é um dom do Espírito Santo.
"Este trabalho dá continuidade, com as ferramentas do século XXI, à tradição de fides quaerens intellectum — demonstrando a harmonia entre a razão formal e a revelação."
— Princípio Epistemológico do ProjetoOs Pilares do Sistema
Para formalizar proposições doutrinárias em código executável, o sistema estabelece uma analogia estrita entre dogmas teológicos e sistemas axiomáticos formais.
O Que é um Dogma?
No Catolicismo, um dogma é uma verdade divinamente revelada e proposta de forma infalível pelo Magistério. Possui propriedades lógicas idênticas aos axiomas de um sistema formal:
- • Absoluto e Definitivo: Imutável, pois deriva da Verdade Divina.
- • Infalível: Sua formulação é imune ao erro teológico.
- • Irrevogável: Não admite contradição lógica posterior.
A Ferramenta: Prolog
A linguagem Prolog baseia-se na Lógica de Predicados de Primeira Ordem. Em vez de comandos imperativos, declara-se a base de fatos e regras de inferência:
- • Predicados & Objetos: Representação de identidades (`jesus`, `maria`) e atributos (`divino(X)`).
- • Resolução de Horn: O motor Prolog deduza verdades automaticamente através de unificação e retrocesso.
- • Consistência: Detecção imediata de incongruências e objeções resolvidas.
Explorador de Dogmas
Selecione uma categoria abaixo para visualizar os dogmas modelados e catalogados na base oficial.
Explorador de Provas
Navegue visualmente pelas cadeias dedutivas que ligam axiomas e versículos bíblicos às definições dogmáticas finais.
Explorador Epistêmico & Grafo Geral
Acesse a interface dedicada com Dossiê Epistêmico imediato, Grafo Geral da Doutrina (estilo Obsidian) com filtros de cores para dogmas, revelações e pressupostos, e árvores de causalidade D3.
Fontes Primárias & Compêndios Oficiais
A escolha e catalogação dos 44 dogmas principais e a validação de cada proposição apoiam-se rigorosamente no Magistério da Igreja Católica, em documentos conciliares e compêndios teológicos de referência universal.
Denzinger-Hünermann (DH)
Enchiridion Symbolorum, Definitionum et Declarationum de Rebus Fidei et Morum. É a compilação oficial de todos os credos, cânones de Concílios Ecumênicos e declarações papais ex cathedra da história da Igreja.
Catecismo da Igreja Católica
Promulgado pela Constituição Apostólica Fidei Depositum (1992) pelo Papa São João Paulo II. Constitui o texto de referência autêntico para o ensino da doutrina e exposição orgânica da Fé Católica.
Ludwig Ott (Compêndio)
Fundamentals of Catholic Dogma (1952). Obra clássica de Teologia Dogmática que sistematiza as definições da Igreja em 44 dogmas fundamentais classificados sob nota teológica De Fide Definita.
Ferramenta Auxiliar: Magisterium REST API & Pesquisa Oficial
Para garantir a fidelidade das citações e links públicos dos documentos do Vaticano, o projeto utiliza consultas automatizadas via Magisterium API (REST). Todas as fontes retornadas passam por curadoria e aprovação manual antes de serem promovidas como fatos aprovados na base de conhecimento em Prolog.
Novas Vistas para uma Ciência Antiga
A aplicação da lógica computacional à teologia não visa substituir o mistério da fé pela razão instrumental, mas sim utilizar o rigor do formalismo para demonstrar a extraordinária consistência e não-contradição da doutrina católica.
Perspectivas e Próximos Passos
Catalogação contínua de todas as definições dos 21 Concílios Ecumênicos.
Modelagem de obrigações morais e verdades necessárias vs. contingentes.
Entre em Contato
Este é um projeto aberto de estudo e pesquisa. Se você deseja enviar sugestões, recomendações teológicas, correções de conteúdo ou colaborar com o desenvolvimento, será muito bem-vindo!
Contato via E-mail
Envie uma mensagem para trocar ideias sobre a modelagem dos dogmas, sugerir novas fontes do Magistério ou tirar dúvidas.
Enviar E-mail (joao30henrique@gmail.com) →Repositório GitHub
Acompanhe o código-fonte em Prolog, abra issues ou contribua diretamente via Pull Requests no GitHub.
Ver Repositório no GitHub ↗