Independent Consulting Practice

Reason, Language,
and Intelligence

At the intersection of formal logic, philosophy, and artificial intelligence

Analogia Entis brings rigorous philosophical and formal expertise to the most pressing questions surrounding AI — its foundations, its limits, and its human implications. We help organizations think clearly, act wisely, and build responsibly.

Our Services Get in Touch

About Us

Grounded in Rigor.
Applied to Reality.

Analogia Entis is an independent consulting practice specializing in the philosophical and formal foundations of artificial intelligence. The firm draws on deep expertise in formal logic, philosophy of science, and knowledge representation to help organizations navigate the conceptual and technical challenges posed by modern AI.

Founded by Hugolin Bergier — Associate Professor at Regis University and Research Scientist at Phase Change Software — the practice bridges two worlds rarely joined: the analytical precision of mathematical logic and the reflective depth of continental philosophy.

The name Analogia Entis — the analogy of being — reflects our conviction that sound reasoning about intelligence, whether natural or artificial, requires attention to the deep structure of what it means to be, to represent, and to know.

Philosophical Depth

We bring the full resources of analytic and continental philosophy to bear on technology questions — moving beyond surface-level ethics to address the conceptual foundations that shape AI design and governance.

Formal Rigor

Our work is grounded in formal logic, λ-calculus, type theory, and ontology engineering — providing mathematically precise frameworks where others offer vague intuitions.

Practical Focus

From research publications and granted patents to curriculum design and executive advising, we translate theoretical insights into concrete deliverables and actionable guidance.

What We Do

Areas of Practice

01

Symbolic AI & Formal Verification

We design and evaluate formally grounded AI architectures: symbolic reasoning systems, logic-based program analysis, and hybrid symbolic-LLM approaches. We also provide formal verification consulting using theorem provers such as Lean 4, with a focus on correctness, verifiability, and mathematical rigor.

Symbolic AI Formal Verification Lean 4 Combinatory Logic
02

Formal Ontologies & Knowledge Representation

We build and audit formal ontologies for enterprise knowledge systems, archival management, and semantic AI. Our work applies intensional semantics and formal mereology to produce robust conceptual models that scale.

Ontology Engineering Knowledge Graphs Formal Semantics
03

AI Ethics & Governance

We provide philosophical analysis and strategic counsel on AI ethics, agency, and governance — going beyond compliance checklists to engage the fundamental questions about what AI systems can and cannot do, and what we should require of them.

AI Ethics Responsible AI Policy Advisory
04

Research, Teaching & Expert Analysis

We contribute original research, co-author publications, and design rigorous curricula on logic, computation, philosophy of science, and AI. We also provide expert analysis and testimony for complex technology questions requiring philosophical and formal expertise.

Academic Research Curriculum Design Expert Witness

The Practice

Who We Are

Hugolin Bergier

Hugolin BERGIER

Founder & Principal Consultant

Associate Professor · Research Scientist
Philosopher of Logic & AI

Hugolin Bergier holds a PhD from Université Paris-Sorbonne and a DEA from Sciences Po Paris. He has held positions at the University of Chicago and Regis University (Denver), where he is currently Associate Professor of Computer Science and Program Director. He also teaches at UCO Angers and holds affiliate research appointments at the Institut Catholique de Paris and Université Paris-Sorbonne.

As Research Scientist at Phase Change Software, he has developed logic-based AI tools for program understanding, resulting in three granted patents (US, Europe) and publications in computer science, logic, and philosophy. His philosophical work spans formal logic, philosophy and foundations of Computer Science, and the ethics of artificial agency.

Formal Logic λ-calculus Symbolic AI Formal Verification Philosophy of AI Ontology AI Ethics
View Full Curriculum Vitae →

Get in Touch

Contact

We welcome inquiries from organizations, academic institutions, and individuals seeking expert guidance at the intersection of philosophy, formal logic, and artificial intelligence. Engagements range from single consultations to extended advisory relationships.

Location Angers, France & Denver, USA
Email hbergier@regis.edu
Phone +33 7 49 12 09 41
Languages English · French

Areas Open for Engagement

Current areas of consulting availability include: formal verification and theorem proving (Lean 4), symbolic AI system design and review, formal ontology development, AI governance and ethics advisory, philosophy of technology analysis, expert testimony and academic co-authorship, and curriculum development for graduate and executive education programs.