Glossario Libertario

AQL – Auctoritas Quasi-Legis Princípio tomista de autoridade moral sem coerção estatal, base do direito natural.

AN-CAP – Anarco-Capitalismo Doutrina que defende a abolição da dependência de indivíduos do Estado e o uso de contratos privados e defesa voluntária.

ARISTOTELISMO TOMISTA Corrente filosófica que une a metafísica de Aristóteles à teologia cristã de Tomás de Aquino, fundamentando a lei natural.

BHA – Bens de Hierarquia Absoluta Conceito escotista: valores que não admitem troca ou subordinação, como a vida e a liberdade.

CATALLAXIA Termo de Hayek para designar a ordem espontânea surgida da livre interação de indivíduos no mercado.

COACTIO Coerção; elemento ausente em sociedades libertárias, substituído por responsabilidade contratual.

DUNS SCOTUS Filósofo escolástico que distingue 'necessidade absoluta' e 'consequente', influenciando debates modernos sobre lógica modal.

ETHOS LIBERTATIS Princípio moral que prioriza a autonomia individual sobre a autoridade política.

IUS NATURALE Direito natural, base do libertarianismo clássico, reconhecido antes de qualquer legislação positiva.

MARGINALISMO Teoria econômica que substitui o valor-trabalho pelo valor subjetivo da utilidade marginal.

NOMOS AUTONOMOS Ordem social baseada em leis emergentes e contratos, sem imposição estatal.

ORDO SPONTANEOUS Ordem espontânea; harmonia natural resultante da cooperação livre sem planejamento central.

PACTA SUNT SERVANDA Princípio jurídico: os contratos devem ser cumpridos, base ética do livre mercado.

PRAXEOLOGIA Ciência da ação humana proposta por Ludwig von Mises; estuda decisões individuais livres de coerção.

PROPERTY AXIOM Postulado de auto-propriedade e apropriação original (Locke-Rothbard).

SCOTISMO MODAL Tradição filosófica que diferencia necessidade metafísica e contingência lógica, antecessora da lógica modal moderna.

SUBSIDIARIEDADE Ideia de que decisões devem ser tomadas no menor nível possível de autoridade, preferencialmente individual.

VOLUNTARISMO Ética baseada na cooperação livre e contratos voluntários em vez de coerção legal.

XOR PRINCIPLE Aplicação cibernética libertária: toda escolha implica renúncia a outra, base da escassez e da responsabilidade.

AXIOMA DE ANDERSON Reformulação do argumento ontológico de Gödel feita em 1990 por C. Anthony Anderson, que redefine as noções de essência (Ess*) e divindade (G*) para evitar o colapso modal.

COLAPSO MODAL Problema lógico identificado por Jordan Howard Sobel em 1987, onde toda verdade (φ) torna-se necessariamente verdadeira (□φ), eliminando a distinção entre contingência e necessidade.

ESSÊNCIA (Ess*) Em Anderson, o conjunto exato de propriedades positivas que definem um ser, e não todas as propriedades positivas possíveis, prevenindo a universalização da necessidade.

EXISTÊNCIA NECESSÁRIA (NE*) Condição reformulada na versão Anderson-Fitting para limitar a propagação da necessidade apenas a entidades com essência definida, preservando a contingência modal.

G* – SER DIVINO Definição revisada por Anderson: o ser que possui exatamente as propriedades positivas por definição, evitando o colapso de Gödel-Scott.

LEIBNIZIANISMO MODAL Vertente metafísica que trata da possibilidade e necessidade em termos de mundos possíveis e essências, inspirando o argumento ontológico moderno.

LÓGICA MODAL S5 Sistema lógico usado nas versões formais do argumento ontológico; permite a equivalência entre “possivelmente necessário” e “necessário”.

PROPRIEDADE POSITIVA No contexto de Gödel, uma característica moral ou ontologicamente perfeita. Anderson redefine esse conceito para impedir a propagação indevida da necessidade.

PROVAS AUTOMÁTICAS DE TEOREMAS Ferramentas como Isabelle/HOL e Leo-II usadas por Benzmüller e Woltzenlogel Paleo para verificar formalmente as versões de Gödel, Scott e Anderson.

VERSÃO ANDERSON-FITTING Reformulação de 1990–2016 que combina as restrições modais de Anderson com a formalização lógica de Melvin Fitting, garantindo consistência e ausência de colapso.

ACCOUNT DISPOSICIONALISTA Interpretação proposta por Alexander Pruss: as possibilidades modais derivam das disposições reais dos seres, e não de mundos possíveis abstratos.

BENZMÜLLER–WOLTZENLOGEL PALEO Pesquisadores que demonstraram computacionalmente, entre 2013 e 2016, a consistência da versão Anderson-Fitting e a inconsistência do modelo Gödel-Scott.

MODALIDADE METAFÍSICA Campo que estuda a diferença entre o que é logicamente possível e o que é ontologicamente necessário, base para os argumentos ontológicos formais.

NECESSIDADE ABSOLUTA Termo escotista que designa verdades imutáveis por natureza, em oposição à necessidade consequente — conceito resgatado por Anderson.

NECESSIDADE CONSEQUENTE Condição derivada de causas ou definições específicas; distinta da necessidade absoluta. Central para restaurar a contingência no sistema modal.

ONTOLOGIA FORMAL Estudo matemático das propriedades do ser e sua representação lógica; base dos argumentos de Gödel e suas variantes computacionais.

φ→□φ Forma simbólica do colapso modal, onde toda proposição verdadeira se torna necessariamente verdadeira; o problema central corrigido na revisão de Anderson.

SCOTISMO COMPUTACIONAL Tendência contemporânea que une as distinções metafísicas de Duns Scotus à lógica formal validada por provadores automáticos de teoremas.

TEOLOGIA MODAL Área que explora o uso da lógica modal para descrever atributos divinos e suas implicações metafísicas, unindo filosofia medieval e lógica moderna.

AXIOMAS ARBITRÁRIOS Crítica de Graham Oppy às versões do argumento ontológico de Gödel, que dependem de postulados conceituais não demonstráveis sobre positividade e existência necessária.

COMPOSSSIBILIDADE DE PROPRIEDADES Ideia de que nem todas as propriedades positivas podem coexistir num mesmo ser; um ponto central das objeções de Oppy contra a consistência do sistema de Gödel.

CRÍTICA DE PLAUSIBILIDADE Argumento filosófico que rejeita sistemas lógicos não por inconsistência formal, mas por dependerem de definições metafisicamente duvidosas ou ad hoc.

GÖDELIAN ONTOLOGICAL ARGUMENTS Conjunto de revisões e críticas ao argumento ontológico de Gödel, abordadas por Oppy em 2013, centradas na arbitrariedade das propriedades e na ausência de critério empírico.

GRAHAM OPPY Filósofo australiano contemporâneo, autor de “Ontological Arguments and Belief in God” (2006), conhecido por desconstruir as versões modernas do argumento ontológico sob bases lógicas e epistemológicas.

ONTOLOGICAL ARGUMENTS AND BELIEF IN GOD Obra de 2006 de Graham Oppy que analisa argumentos ontológicos desde Anselmo até as formulações modais contemporâneas, criticando seus pressupostos conceituais.

POSITIVIDADE DE PROPRIEDADES No contexto de Gödel, refere-se ao caráter moral ou ontológico perfeito de um predicado; Oppy critica essa definição como circular e semanticamente arbitrária.

REVISÃO GÖDEL-SCOTT Versão intermediária do argumento ontológico que antecede a reformulação de Anderson, alvo das objeções de Oppy por manter axiomas vagos de positividade e compossibilidade.

VALIDAÇÃO FORMAL VS. PLAUSIBILIDADE METAFÍSICA Dilema levantado por Oppy: um sistema pode ser formalmente consistente, mas filosoficamente implausível, se basear-se em definições conceituais artificiais.

VEROSSIMILHANÇA LÓGICA Critério alternativo sugerido por Oppy para avaliar argumentos modais — a coerência intuitiva e ontológica das premissas, além da consistência matemática.

ATEÍSMO MATEMÁTICO Crença de que a estrutura lógica e formal do universo basta para explicar sua consistência, sem necessidade de princípio transcendente; criticado por Heisenberg e Scotus por exigir fé em leis sem causa.

COLAPSO MODAL COMO METÁFORA COSMOLÓGICA Analogias entre a perda de distinção modal (φ→□φ) e teorias físicas que eliminam a contingência no universo, sugerindo um determinismo absoluto.

CONSISTÊNCIA COSMOLÓGICA Problema filosófico: se o universo é consistente mas baseado em indeterminação fundamental, sua coerência deve derivar de um princípio externo — argumento teológico e lógico simultâneo.

CRIAÇÃO EX NIHILO Conceito teológico de origem cristã: o universo foi criado “do nada” por um ato de vontade divina, rompendo com a noção grega de matéria eterna.

DER TEIL UND DAS GANZE Obra autobiográfica de Werner Heisenberg (1969) onde ele discute a interrelação entre física e filosofia, e como a física quântica reabre questões metafísicas antigas.

HEISENBERG, WERNER Físico e filósofo alemão, formulador do princípio da incerteza; viu na física moderna uma aproximação com a metafísica cristã da criação racional e do logos divino.

INDETERMINAÇÃO FUNDAMENTAL Ideia central da mecânica quântica: certos eventos físicos não possuem causa determinística, apenas distribuição probabilística — vista por Heisenberg como indício de transcendência.

LOGOS JOANINO Conceito teológico do Evangelho de João (“No princípio era o Verbo”) que associa a racionalidade do cosmos à palavra divina; reinterpretado por Heisenberg como analogia à ordem matemática natural.

MONISMO MATEMÁTICO Doutrina segundo a qual toda realidade é redutível a estruturas matemáticas; criticada por exigir um “salto de fé” na causalidade das abstrações.

PADRES GREGOS Teólogos como Basílio de Cesareia e Gregório de Nissa, que formularam a doutrina da criação ex nihilo e do cosmos como expressão racional do logos.

PHYSICS AND PHILOSOPHY Livro de Werner Heisenberg (1958) que explora as implicações filosóficas da mecânica quântica, defendendo que o mundo físico reflete uma ordem racional transcendente.

PRINCÍPIO DA INCERTEZA Fundamento da física quântica que limita a precisão simultânea de certas medições; usado por Heisenberg como base para discutir a relação entre liberdade e necessidade.

REALISMO FÍSICO CERRADO Postura epistemológica que vê o universo como sistema fechado e autossuficiente; contestada por Heisenberg por ignorar a origem da própria consistência física.

SCOTISMO COSMOLÓGICO Aplicação do pensamento de Duns Scotus à cosmologia moderna: a necessidade absoluta da verdade perfeita implica um fundamento divino para a coerência do universo.

SISTEMA FECHADO Modelo ontológico que nega elementos externos à realidade física; criticado por Heisenberg como incoerente se a indeterminação for real.

TRANSCENDÊNCIA CONSISTENTE Tese filosófica segundo a qual a racionalidade e a ordem natural implicam a existência de um princípio externo — não empírico, mas necessário para a inteligibilidade do cosmos.

UNIVERSO CONSISTENTE Hipótese de que o cosmos é coerente internamente e matematicamente descritível; Heisenberg sugere que essa consistência depende de uma origem racional além da matéria.