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.