the romance of logic

Or maybe the logic of romance (<–read on to see why I’m cringing at this).

Sometimes, modal logic can be so sweet and idealistic:

Then we shall say that a wff γ of propositional modal logic and a wff δ of modal LPC are mates iff δ is the result of uniformly replacing each pi in γ by φixi. Clearly, each wff γ of propositional modal logic will have a unique mate δ …

Aww. <3

But then sometimes, not so sweet and less idealistic:

When the relation R has this property, let us call it – and the model M itself – incestual (since it means that the offspring β and γ of a common parent α have themselves an offspring δ in common).

Also, as far as I can tell,incestuality is extremely important (in modal logic), while mate-hood plays only a pretty minor role. Maybe that says something, too.

Just some food for thought on a Saturday evening.


3 responses to this post.

  1. Posted by Nic on April 17, 2011 at 1:35 am

    haha … I’m *so* glad I didn’t take this class.

  2. Posted by Kathie King on April 19, 2011 at 11:36 am

    You have too much time on your hands

  3. Posted by yolanda on April 19, 2011 at 8:51 pm

    Ha!! Who would have thought there is a logic in the romance?
    In this case there is no logic between Romeo and Juliet. ah ha :)

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Google+ photo

You are commenting using your Google+ account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )


Connecting to %s

%d bloggers like this: