Definition talk:Occurrence (Predicate Logic)

I might have been tempted to keep the target page (Occurrence (Formal Systems)) structured in the same way as this one was, with the subpages transcluded in with it. Then the concept of "free" and "bound" occurrence are on the same page and can be compared directly without having to switch back and forward between pages. --prime mover 16:04, 18 June 2012 (EDT)

It's possible, I don't oppose it. It may even have didactic advantages to do so; so practice as you preach. Your authority is at least as good as mine. --Lord_Farin 17:15, 18 June 2012 (EDT)

Aagh. It's just occurred to me that Free Occurrences and Bound Occurrences are defined only for PredCalc and not for general formal systems.

Why has this page been deconstructed? I envisaged this as being a useful PredCalc example of an Occurrence (Formal Systems) for which the concepts pertaining to PredCalc are all placed together on the same page. Losing this page means you'd lose this coherence. --prime mover 17:32, 18 June 2012 (EDT)

I deconstructed it because of the policy that different things (i.e., bound, free, and occurrence itself) should have different pages. It might not have been the best course of action to actually delete the material from this page, but at that point I was mainly trying to structure def's and redirects to avoid octothorpe'd redirects. Apologies if this resulted in didactic decoherence. --Lord_Farin 17:40, 18 June 2012 (EDT)

I tend to work with the rule: if there are a lot of things on one page that all merit their own pages, then I transclude those pages onto the main page from which they originate. When I originally put these pages together, I had no idea that the technique of transclusion was available, or I would have done it like that to start with. So now it looks the way I think it ought to. --prime mover 17:50, 18 June 2012 (EDT)

I'll try to keep it in mind. Sometimes certain parts of me get overzealous. --Lord_Farin 17:52, 18 June 2012 (EDT)