Living Systematic Theology: inviting scrutiny of biblical premises and conclusions

[kenkibbey]

Hello, I’m Ken Kibbey. Testimony’s distinction between checking whether a conclusion follows from its premises and deciding whether those premises faithfully represent Scripture caught my attention. Your emphasis on representing rival interpretations fairly is especially relevant to the kind of criticism I’m seeking.

I maintain Living Systematic Theology (LST), a fallible, Scripture-governed theological project developed with AI-assisted research. Scripture is the authority; neither LST nor an AI verdict is. The project makes its claims and revisions public and welcomes thoughtful biblical examination, including objections and challenges.

LST isn’t a Lean formalization, and I’m not suggesting Testimony validates it. I’d welcome your perspective on a specific biblical premise, an inference that doesn’t follow, or a conclusion stated with too much confidence. Agreement with LST is not required, and differing theological views are welcome.

If that interests you, the repository is https://github.com/kenkibbey/living-systematic-theology . Its Discussions are open for conversation, and the “Challenge a claim” path explains how to submit a formal biblical challenge. I’m sharing this here as a related project, with any detailed LST debate kept over there rather than taking over your development discussions.

Thank you for considering it.
Ken

[deanberris]

Hi @kenkibbey -- thank you for reaching out!

I'm definitely interested in representing Systematic Theology too later on, so the LST is definitely an interesting source I can lean on (pun intended). 😊

It's actually already in the roadmap for the project, and I'm happy to collaborate if you'd like to start bringing in some foundational Systematic Theology concepts/arguments in while I work through the "Sola's". I also rely heavily on AI (Claude in particular).

I'll give the LST a read through soon.

Thanks again! 🙏

[kenkibbey]

Thanks, Dean! I appreciate the invitation, and I enjoyed the Lean pun. :) What interests me most about Testimony is the distinction between checking whether a conclusion follows from its stated premises and checking whether those premises faithfully represent Scripture. LST needs both kinds of scrutiny. I'd be glad to explore a small collaboration when it fits your work on the Solas. For example, LST holds that justification is received through faith apart from works (Romans 3:28; 4:4-5), while also taking seriously Scripture's teaching about judgment according to works (Romans 2:6-13). We could start with one carefully worded claim, identify the biblical evidence and strongest alternative reading, and see how its reasoning might be expressed in Testimony. Lean could check the inference, while the biblical interpretation would remain open to challenge. Neither project would be treated as proving the other correct. There's no rush or expectation of a large integration. I'd welcome any questions or corrections you find as you read LST, and I'd be happy to begin with whichever small claim is most useful to your roadmap. Thanks again for being open to it!

…

On Thu, 29 Oct 2026 23:12:18 -0700, Dean Michael Berris ***@***.***> wrote: Hi ***@***.***(https://github.com/kenkibbey) -- thank you for reaching out! I'm definitely interested in representing Systematic Theology too later on, so the LST is definitely an interesting source I can lean on (pun intended). 😊 It's actually already in the roadmap for the project, and I'm happy to collaborate if you'd like to start bringing in some foundational Systematic Theology concepts/arguments in while I work through the "Sola's". I also rely heavily on AI (Claude in particular). I'll give the LST a read through soon. Thanks again! 🙏 — Reply to this email directly, [view it on GitHub](#166?email_source=notifications&email_token=AQRIP2BXDNSXUZHLRFYN2F35WQWMFA5CNFSNUABIM5UWIORPF5TWS5BNNB2WEL2ENFZWG5LTONUW63SDN5WW2ZLOOQXTCOJSHA3DGMJWUZZGKYLTN5XKO3LFNZ2GS33OUVSXMZLOOSWGM33PORSXEX3DNRUWG2Y#discussioncomment-19286316), or [unsubscribe](https://github.com/notifications/unsubscribe-auth/AQRIP2EJDDUF2WBKT5TKXTD5WQWMFAVCNFSNUABJKJSXA33TNF2G64TZHMYTGNZSGQ2TINJXGM5UI2LTMN2XG43JN5XDWMJRGEZTONBVG6QXMAQ). You are receiving this because you were mentioned.