Formal Logic for Theology and Philosophy

Suggestions of Scientia Et Veritas

• The Formal Tools for Philosophy and Theology (A Short Guide by Christopher G. Weaver)

• Potter, Michael. Set Theory and its Philosophy | Set theory
• Gustason, William & Dolph E. Ulrich. Elementary Symbolic Logic | Propositional logic
• Gustason, William & Dolph E. Ulrich. Elementary Symbolic Logic | First-Order Logic
• Partee, Barbara H., Alice ter Meulen & Robert E. Wall. Mathematical Methods in Linguistics | First-Order Logic
• Eagle, Anthony. Philosophy of Probability: Contemporary Readings | Probability
• Gillies, Donald. Philosophical Theories of Probability | Probability
• Lewis, David. Counterfactuals | Counterfactual logic
• Hughes and Cresswell. A New Introduction to Modal Logic | Propositional Modal Logic
• Fitting and Mendelsohn. First Order Modal Logic | First-Order Modal Logic
• Goble, Lou. The Blackwell Guide to Philosophical Logic | Philosophical Logic
• Simon, Peter. Parts: A Study in Ontology | Mereology

Logos logic resources

• Come, Let Us Reason: An Introduction to Logical Thinking | Norman L. Geisler and Ronald M. Brooks
• Maimonides’ Treatise on Logic | Israel Efros translator
• Biblical Logic in Theory & Practice: Refuting the Fallacies of Humanism, Darwinism, Atheism, and Just Plain Stupidity | Joel McDurmon
• Exegetical Fallacies | D. A. Carson
• Kant’s Kritik of Judgment | J. H. Bernard, translator
• The Works of Aristotle, Volume I |

• A brief English tract of logick |
• Artis logicæ compendium |
• The art of logick; or, The entire body of logick in English | Zachary Coke of Grays-Inn
• Logic, or, The art of thinking in which, besides the common, are contain’d many excellent new rules, very profitable for directing of reason and acquiring | H. Sawbridge
• The arte of logick Plainely taught in the English tongue, according to the best approued authors | M. Blundevile
• The rule of reason, conteinyng the arte of logique, set forth in Englishe | Thomas Vuilson
• An introduction to the art of logick composed for the use of English schools, and all such who having no opportunity of being instructed in the Latine tongue | John Newton
• A compendium of the art of logick and rhetorick in the English tongue Containing all that Peter Ramus, Aristotle, and others have writ thereon |
• The arte of reason, rightly termed, witcraft teaching a perfect way to argue and dispute |
• The lavviers logike exemplifying the præcepts of logike by the practise of the common lawe | Abraham Fraunce
• The artes of logike and rethorike [sic] plainelie set foorth in the English tounge, easie to be learned and practised |
• The abridgement of logique |

Basics by theologians

• Rojek, Pawel. “Towards a Logic of Negative Theology”
• Sutanto, Nathaniel Gray. “Two theological accounts of logic: theistic conceptual realism and a reformed archetype-ectype model”
• Kreeft, Peter. Socratic Logic: A Logic Text using Socratic Method, Platonic Questions, and Aristotelian Principles
• Poythress, Vern S. Logic: A God-Centered Approach to the Foundation of Western Thought
• Ritschl, Dietrich. The Logic of Theology
• Brozek, Bartosz and Adam Olszewski. Logic in Theology
• Sion, Avi. Judaic Logic: A Formal Analysis of Biblical, Talmudic and Rabbinic Logic | reservations on recommending
• Gensler, Harry J. Formal Ethics