Symbolic Logic: Conditional/Indirect Proofs and Proving Theorems

Hey guys! So, this time, we're going look at other methods we can use to construct proofs when just deriving from the premises isn't enough. Conditional Proof (CP) The setup: Basically, you use this method when the conclusion or a part of the conclusion you want is a conditional. This makes it so you assume…

Symbolic Logic: 10 Replacement Rules

This is part two of our little intro to Symbolic Logic. We're going to expand our repertoire of rules we can employ in our proofs. These rules are all about putting logic statements into an alternative form. A lot of these rules will be familiar as they're used in mathematics. One of the differences between…

Symbolic Logic: 8 Basic Inference Rules

Hi y'all! So, if you're computer science majors/philosophy major/etc., you probably have to take this class in college. I love this stuff because it's very procedural and the proofs they give for you to solve are like puzzles and puzzles are super fun. Today, we're gonna look at the 8 basic rules and then we'll…

Plato’s Republic Books IV-IX: An Analysis Essay

There is much to be learned from the great thinkers of the past. Studying the thousands-years old writings of Plato, we explore what the ideal civilisation is made of and what justice is. In doing so, there are lessons uncovered that casts a different light on the state of affairs today.

Logical Biases: Preserving Fact from Perception

I tell you, our subconcious's fear of cognitive dissonance is something to be feared (and rightly so).

The Ultimate Logical Loophole: The Devil’s Proof

Out of all the potential fallacies and blind corners that logical systems of thought often make, the most frustrating is the occurrence of what is called The Devil's Proof. With this, anyone can claim the outrageous and lay waste to scientific research and logic. To put it simply, the Devil's Proof is the fact that…