Symbolic 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.

Cogito ergo sum
Logic and rhetoric
Key articles
General logic
Bad logic
v - t - e

Example

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

This article is a stub.
You can help RationalWiki by expanding it.
gollark: 4 drives to a server would allow... 12MB? each, which is much more than you can do now, and would give each node a decent amount of computation power (especially with data cards), but splitting everything across the network would be sloooow.
gollark: You could possibly make some sort of storage clustering thing - servers can have 4 drives each, after all, and use all of them for remote-accessible storage if they network-boot with an EEPROM.
gollark: But accessed as one peripheral *from another computer*, I mean.
gollark: Except for another computer and some network cards, but latency.
gollark: Well, it's a shame there's no way to have some sort of controller system group together a bunch of floppies so they can be accessed as one peripheral.
This article is issued from Rationalwiki. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.