?

Log in

No account? Create an account
 

Pirates, Logical Proof, & Flickr - A Recovering Physicist's Apology

About Pirates, Logical Proof, & Flickr

Previous Entry Pirates, Logical Proof, & Flickr Apr. 24th, 2009 @ 11:26 pm Next Entry
I updated my flickr page. It contains some great pictures of the garden and two of a kimono exhibit we went to in Canton. Finally there are pictures from the Good Year Blimp. My parents got to ride it while I was at school T_T



And as an added bonus, please enjoy this logical proof:

I’m not a fan of pirates (I’ve always been pro-ninja) but what really gets my goat is how these Somali criminals are being called pirates, when they logically cannot be. Here is the proof:

1. ∀x(Px→Gx)
2. ∀x(Mx→~Gx)
3. Ms // ~Ps
4. Ps→Gs U.I. 1
5. Ms→~Gs U.I. 2
6. ~Gs M.P. 3,5
7. ~Ps M.T. 4,6

Such that:
Px is “x is a pirate”
Gx is “x drinks grog”
Mx is “x is Muslim”
s is “Somali”

The argument written in English is as follows:
1. All Pirates drink Grog.
2. All Muslims do not drink Grog.
3. The Somalis are Muslim.
4. If the Somalis are Pirates, then they would drink Grog.
5. If the Somalis are Muslims, then they do not drink Grog.
6. Since the Somalis ARE Muslims they do not drink Grog.
7. Therefore, since the Somalis do not drink Grog, they cannot be Pirates.
Add a corollary
[User Picture Icon]
From:pollopeligroso
Date:April 26th, 2009 05:17 am (UTC)
(Link)
The only problem I find with your proof is that not all Somali are Muslim, thus while you cannot have a Muslim pirate, you can have a Somali non-Muslim pirate.
[User Picture Icon]
From:djstomp
Date:April 26th, 2009 05:43 pm (UTC)
(Link)
They might also be non-practicing Muslims. That said, it made me happy to open my friends page and see a logic proof.
[User Picture Icon]
From:biggrumpy
Date:April 27th, 2009 01:24 am (UTC)
(Link)
I hate you all :P

Yeah, I'm yet to finish Carnap's inductive logic, and am not sure how to properly incorporate probabilities into formal proof. So this is pure deduction, baby!
(Add a corollary)
Top of Page Powered by LiveJournal.com