Introducing Indirect Proof
Indirect proof, or reductio ad absurdum, is a method for proving something by showing that the assumption of its opposite would entail a contradiction.
Video
Proving Distribution with Conditional Proof
This symbolic logic lesson goes over proofs of both forms of the rule of Distribution, which is one of the rules of replacement.
Proving Disjunctions with Conditional Proof
This lesson in symbolic logic focuses on how to use conditional proof to prove disjunctions.
Nesting Conditional Proofs
Here we take a closer look at how to nest conditional proofs, illustrating it with a proof of the rule of exportation.
Rules of Inference for Biconditionals
To keep the lines in our proofs shorter, this introduces rules of inference for introducing or eliminating biconditionals.
Who Thinks for You? Awake! Article on Propaganda from 1947
In 1947, the Jehovah’s Witness magazine Awake! published a very informative article on the tricks propagandists use to manipulate people’s thoughts and opinions.
Introducing Conditional Proof
Conditional proof is a method for proving a conditional by assuming its antecedent and deriving its consequent. Read this post or watch the video to learn how it’s done.
If you don’t believe in God, why live?
Is life meaningless or worthless without God? No, meaningful lives are available even without God, and life is the sort of thing that is inherently worthwhile. This article, and its accompanying video, explain why the lives of atheists can be both meaningful and worthwhile.
There is no Eternal Damnation in Hell
Hell is understood here as a place of ceaseless torment, going on forever. Hell couldn’t exist without a being as powerful as God to maintain it. But even if God did exist, Hell would be incompatible with God’s goodness and justice. So, whether or not God exists, there is no Hell. Watch the video or read the article to learn why.
Matt Slick’s Transcendental Argument for God’s Existence
The Transcendental argument maintains that eternal conceptual truths require the existence of an eternal mind, which is understood to be God. I maintain that eternal truths, such as the laws of logic, are part of the fabric of reality, not conceptual truths in the sense Matt Slick intends. Read the article to learn in more detail why the Transcendental argument fails to prove God’s existence.