Live Tracks: The Mighty Have Fallen

Here are some live performances from our last show at Red Rock, back in 2010.  Now, of course, Anita and I are living far away from our band-mates, working on solo musical projects in our apartment, many of which having been posted on this blog.

New Song: I Want To Know

Here is a new song Anita and I worked on.  I'm really happy with the three-part-harmony chorus.  I wrote and recorded the music, and Anita pointed out that it seemed to lend itself to lyrics on indecision, which fits our life right now because so much is wide open - where will we live, what schools will accept us, what jobs will employ us...  So, here's the result:

I Want To Know by tmhfband

Here are the lyrics:

My head takes my heart and yanks it back

My heart pounds my head like a heart attack

My hands grab a hold and try to bring it in

My luck’s always with me but I think it’s fading

My ears never listening to what I’m saying

My mouth’s always at a loss for words

I wanna know where I’m going

As if I ain’t controlling

I wanna know

My throat’s feeling sore cause my heart’s in it

My back’s feeling tired from the way I sit

My leg’s feeling antsy to get on with it

My fingers are stretched cause they’re trying to grab

My nails are so sharp from trying to take a stab

My chest has got marks all over it   

Proving the Validity of Meat Loaf

An exercise we did in class today was to prove Meat Loaf's song, "I Would Do Anything For Love (But I Won't Do That)" using Natural Deduction.

It's not hard to do, provided you understand three rules: Simplification, Conjunction, and Commutativity.

Simplification says that when two propositions are joined together with an "and," "but," or any conjoining operative, you can assert the first proposition by itself.  So, for instance, if you have "Mike is hot and Mike is tall," you can use simplification to just assert "Mike is hot."  Just as this phrase is absolutely true in the complex proposition that has two simple propositions, it is absolutely true by itself.

Conjunction says that if you have two simple distinct ideas: "Mike is hot" and "Mike is tall," you can put them together and say, simply, "Mike is hot and Mike is tall."  They hold as much truth value separately as they do together.

The Commutativity merely means that, in certain cases, you can switch the order of certain propositions without changing their truth value.  One example is "Mike is hot and Mike is tall" can be expressed as "Mike is tall and Mike is hot" without changing its truth value.

So, now we can prove Meat Loaf's wisdom to be valid:

1. And I would do anything for love
2. I’d run right into hell and back
3. I would do anything for love
4. I’ll never lie to you and that’s a fact, but I’ll never stop dreaming of you every night of my life -- Oh no -- no way --

Conclusion:  I would do anything for love, but I won’t do that.

We can symbolize it as follows, with the ~'s meaning 'not':

1.  A
2.  R
3.  A
4.  ~ L dot (and) ~ D     /  And the conclusion: A dot ~ D  ("That" refers to "I'll never stop dreaming...")

So, using our rules...

5.  ~ D dot ~ L  (Commutative, line 4)
6.  ~ D  (Simplification, line 5)
7.  A dot ~ D  (Conjunction, lines 1 and 6)

And there you have it: Meat Loaf ain't lying when he says he'll do anything for love, with the exception of THAT!!!

Soundcloud Hits!

Soundcloud is a very cool website service that allows you to post audio files and share them.  We (The Mighty Have Fallen) have been using soundcloud for some time now, and these are our most popular tracks.

1.  Grenade: over 1200 plays, it is our acoustic cover of the popular Bruno Mars tune.

Grenade by tmhfband

2.  The Wedding: Another cover of a song by a group called Fernando.  It's had almost 200 plays, and it's just a great, solid tune.

The Wedding by tmhfband

3.  Allison:  This song I wrote for my niece is up to about 100 plays, a lot of those in the last week, so it's starting to be noticed.

Allison by tmhfband

4.  Smile:  This song features some great guitar work by my friend/musician/recording engineer Jon Hasz and bass work by my dear friend Daven Tyler.

Smile by tmhfband

Hope you enjoy the music!

Is Rick Astley consistent in his song?

The question that most concerns me here is, is Rick Astley consistent in his song, "Never Gonna Give You Up"?  The way to prove that he is, is to start by assuming all his lyrics are true, and then see if there is any contradiction in holding them as all true simultaneously.  Let's see (there is a little license taken here with the lyrics):

Statement #1: Never gonna give you up and never gonna let you down.
Statement #2: Never gonna both run around and desert you.
Statement #3: If I'm never gonna make you cry then I'm never gonna let you down.
Statement #4: Never gonna give you up nor hurt you.

For those of you who know symbolic logic, this would go as follows:

~G dot ~D / ~ (R dot D) / ~C horseshoe ~D / ~ (G v H)

Assume they are all true:

~G dot ~D / ~ (R dot D) / ~C horseshoe ~D / ~ (G v H)
       T           T                               T                 T

Fill in for the last statement:

~G dot ~D / ~ (R dot D) / ~C horseshoe ~D / ~ (G v H)
       T            T                              T                 T      F

G and H must be false:

~G dot ~D / ~ (R dot D) / ~C horseshoe ~D / ~ (G v H)

 TF   T         T                              T                 T  F F F

D must be false:

~G dot ~D / ~ (R dot D) / ~C horseshoe ~D / ~ (G v H)

 TF   T  TF   T            F                 T        TF   T   F F F

R can be True

~G dot ~D / ~ (R dot D) / ~C horseshoe ~D / ~ (G v H)

 TF   T  TF   T  T   F  F                 T        TF   T   F F F

And C can be True

~G dot ~D / ~ (R dot D) / ~C horseshoe ~D / ~ (G v H)

 TF   T  TF   T  T   F  F    FT         T        TF   T   F F F

And there you have it - it is definitely possible that all these propositions can be true simultaneously.  

WE CAN TRUST RICK ASTLEY!!!

And you've been officially RickRolled!