The Logical Song(s)

[sylvar]

"Safety Dance" has a logical argument embedded in it:

We can dance if we want to
We can leave your friends behind
'Cause your friends don't dance and if they don't dance
Well they're no friends of mine

You can symbolize the statements "we want to dance", "we can dance", "your friends are my friends", etc. and restate this verse in logical form. (It's not a valid argument, though.)

What other fairly well-known songs have logic in them? The more, the merrier. Here's another example:

If you like piña coladas
And getting caught in the rain
If you're not into yoga
If you have half a brain
If you'd like making love at midnight
In the dunes on the Cape
Then I'm the love that you've looked for
Write to me and escape.

I know I've got a lot of smart friends, so come on, y'all, make some suggestions!

Comments

[discogravy.livejournal.com]

http://qwantz.livejournal.com/28155.html

and if you're into hip-hop: http://www.aclevercookie.com/rap-lyrics-explained-with-charts-and-graphs/ (i particularly enjoy the "today was a good day" flow-chart)

[segnbora.livejournal.com]

For just jf-then statements, I checked allmusic.com for "if" songs and found (just the ones I know and think are at least OK):

• If - Bread
  
• If I Fell - The Beatles
  
• I Can't Help It If I'm Still In Love With You - Jerry Lee Lewis
  
• If I Had a Hammer - Peter, Paul and Mary
  
• If I Had My Way - Peter, Paul and Mary
  
• If Ever I Would Leave You - Camelot soundtrack
  
• If I Can't Have You - Yvonne Elliman
  
• If You Don't Know Me By Now - someone in the '70s and later Simply Red
  
• If I Were A Carpenter - loads of people, I know the Johnny Cash version I think
  
• If Loving You Is Wrong - also loads of people, I know Rod Stewart doing it.
  

Can't think of any other thing to search for; Intro to Logic was 15 years ago.