There is no RationalWiki without you. We are a small non-profit with no staff — we are hundreds of volunteers who document pseudoscience and crankery around the world every day. We will never allow ads because we must remain independent. We cannot rely on big donors with corresponding big agendas. We are not the largest website around, but we believe we play an important role in defending truth and objectivity. If everyone seeing this today donates $5, we will meet our goal for 2018. |
Fighting pseudoscience isn't free. We are 100% user-supported! Help and donate $5, $20 or whatever you can today with ! |
Symbolic logic
Part of the series on Logic and rhetoric |
Key articles |
General logic |
Bad logic |
Symbolic logic is a logical technique that allows reduction of a logical argument stated in natural language to mathematical logic. This helps to avoid issues of semantics that plague many logical debates. A proof in symbolic logic is only as true as its premises.
Example[edit]
Let A be defined as "Water has memory of chemicals dissolved in it"
Let B be defined as "Nearly every chemical has been dissolved in the oceans at some point"
Let C be defined as "The oceans have memory of nearly every chemical"
Let D be defined as "The oceans are as effective a homeopathic treatment as anything you could buy."
Postulates:
1: A
2: B
3: A&B→C
4: C→D
Proof:
Line a: By 1, 2, and 3: C
Line b: By 4 and a:D
Conclusion:
D
You can help RationalWiki by expanding it.