Abstract
Large language models (LLMs) have demonstrated impressive capabilities innatural language understanding and generation, but they exhibit problems withlogical consistency in the output they generate. How can we harness LLMs'broad-coverage parametric knowledge in formal reasoning despite theirinconsistency? We present a method for directly integrating an LLM into theinterpretation function of the formal semantics for a paraconsistent logic. Weprovide experimental evidence for the feasibility of the method by evaluatingthe function using datasets created from several short-form factualitybenchmarks. Unlike prior work, our method offers a theoretical framework forneurosymbolic reasoning that leverages an LLM's knowledge while preserving theunderlying logic's soundness and completeness properties.