O Organon
Leibniz sonhou com uma linguagem universal onde as divergencias se dissolvem em computacao. Vinte filosofos agora governam cada decisao de design em Cyra — da sintaxe a semantica, dos tipos aos trade-offs.
O Conselho
Os filosofos estao organizados em oito grupos. Cada grupo responde a uma pergunta diferente. Juntos, formam um tribunal de pesos e contrapesos — nenhuma voz unica domina.
O que e certo?
Cinco pensadores classicos fornecem virtude, equilibrio e sabedoria. Eles definem o padrao do que e um bom design — raciocinio estruturado, solucoes proporcionais, coragem baseada em principios.
O que funciona na pratica?
Os Idealistas assumem que a virtude se sustenta sozinha. Maquiavel lida com a realidade — onde a politica se sobrepoe a logica, onde entregar e melhor que perfeito, onde restricoes forcam escolhas dificeis.
O que e computavel?
Sete logicos matematicos que construiram as bases formais da computacao em si. Eles fornecem a ponte entre o pensamento abstrato e o codigo executavel.
Como escolher entre equivalentes?
Os engenheiros formalizam. Mas quando multiplas formalizacoes sao igualmente validas, como escolher? Poincaré diz: escolha a convencao que e mais simples, mais coerente e mais estavel sob perturbacao.
O que pode ser conhecido?
Outros filosofos dizem como agir. Kant faz a pergunta anterior: voce esta raciocinando de forma valida? E sequer possivel saber isso? Ele audita a propria estrutura do raciocinio.
O que sobrevive a realidade?
Eles garantem que as solucoes sobrevivam ao contato com o mundo real — por meio de falsificacao, alinhamento de linguagem e insistencia em consequencias praticas concretas.
Como sintetizar tradicoes opostas?
O conselho gera muitas perspectivas. Aquino faz a pergunta anterior: voce ouviu as objecoes mais fortes? Seu metodo da Summa — enumerar objecoes e depois resolver — e o mais refinado protocolo de revisao de design ja criado.
Onde a investigacao deve focar?
Tempo finito, opcoes infinitas. O metodo bayesiano de Swinburne diz: investigue primeiro e mais profundamente a hipotese de maior probabilidade. Explicacoes simples merecem maior confianca a priori. Muitos sinais fracos convergindo sao evidencia forte.
Os vinte
Cada filosofo contribui com principios especificos e acionaveis. Nao sao ornamentos — sao ferramentas de engenharia.
Estrutura & Equilibrio
Resiliencia & Perspectiva
Disciplina & Preparacao
Investigacao & Clareza
Economia & Compostura
Realismo Estrategico
Linguagem Universal
Logica como Algebra
Sintaxe & Escopo
Limites da Prova
Computabilidade
Teoria da Informacao
Calculo Lambda
Convencao & Estabilidade
Auditor Epistemico
Falsificacao
Linguagem & Significado
Pragmatismo
Integracao Sistematica
Investigacao Bayesiana
Protocolo de Decisao
Para cada decisao nao trivial — arquitetural, de design ou de trade-off — o conselho segue um protocolo estruturado. Quatro fases, vinte e dois portoes.
“Os idealistas dizem o que e certo. Maquiavel diz o que funciona. Os engenheiros dizem o que e computavel. Poincaré diz como escolher entre equivalentes. Kant diz o que voce pode e nao pode saber. Popper diz para atacar seu proprio trabalho. Wittgenstein diz para alinhar a linguagem antes do codigo. Peirce diz que a verdade e o que sobrevive ao contato com a realidade. Aquino diz para ouvir as objecoes mais fortes antes de decidir. Swinburne diz onde focar seu tempo finito de investigacao.”