About
Alexander V. Gheorghiu is a logician and philosopher working at the intersection of proof theory, semantics, and theoretical computer science. His research addresses a foundational question: What is the relationship between meaning and reasoning?
Gheorghiu is the pioneer of mathematical inferentialism, the position that mathematical objects as constituted by their inferential role rather than as pre-existing abstract structures. This framework provides a constructive account of mathematical consequence that avoids ontological commitment to a completed mathematical universe while preserving classical logical strength --- offering a principled reconciliation between constructivist and classical approaches to mathematics.
Gheorghiu has been central in transforming proof-theoretic semantics from a philosophically motivated proposal into a mathematically rigorous and widely applicable methodology. His technical contributions extend the framework beyond intuitionistic logic to encompass classical, first-order, higher-order, and substructural systems. His work demonstrates that meta-level semantic reasoning and object-level proof theory are fundamentally unified rather than merely aligned asymptotically.
His research has practical applications in computer science, including resource-sensitive logics and formal verification for access control systems. These applications exemplify his core thesis: that formal systems are best understood through their inferential dynamics rather than static denotational semantics.