2025 RationalWiki 'Oregon Plan' Fundraiser

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.

Fighting pseudoscience isn't free.
We are 100% user-supported! Help and donate $5, $10, $20 or whatever you can today with PayPal Logo.png!
Donations so far: $10064.65Goal: $10000

Symbolic logic

From RationalWiki
Jump to navigation Jump to search
Cogito ergo sum
Logic and rhetoric
Icon logic.svg
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